Skip to main content
Springer logoLink to Springer
. 2018 Jul 11;2018(1):168. doi: 10.1186/s13660-018-1757-0

Identities between harmonic, hyperharmonic and Daehee numbers

Seog-Hoon Rim 1, Taekyun Kim 2, Sung-Soo Pyo 3,
PMCID: PMC6061537  PMID: 30137896

Abstract

In this paper, we present some identities relating the hyperharmonic, the Daehee and the derangement numbers, and we derive some nonlinear differential equations from the generating function of a hyperharmonic number. In addition, we use this differential equation to obtain some identities in which the hyperharmonic numbers and the Daehee numbers are involved.

Keywords: Hyperharmonic numbers, Daehee numbers, Differential equation

Introduction

For any n, we denote by (x)n the falling factorial (x)0=1,(x)n=x(x1)(x2)(xn+1) and xn for rising factorial x0=1,xn=x(x+1)(x+2)(x+n1). Formally, (x)n=xn=0 if n<0.

The Stirling numbers are defined by xn and (x)n as

xn=k=0nS2(n,k)(x)k,(x)n=k=0nS1(n,k)xk,

where S1(n,k) and S2(n,k) are called the Stirling numbers of the first kind and the second kind, respectively.

As is well known, the unsigned Stirling numbers of the first kind, denoted by |S1(n,k)|, are (1)n+kS1(n,k). The unsigned Stirling numbers of the first kind |S1(n,k)| count the number of permutations of n elements with k disjoint cycles and the definition is given by

xn=k=0n|S1(n,k)|xk.

A derangement is a permutation of the elements of a set, such that no element appears in its original position. In other words, derangement is a permutation that has no fixed points. The number of derangements of a set of size n, denoted by dn, is called the nth derangement number. The generating function of derangement numbers is given by

et1t=n=0dntnn!.

The Cauchy numbers of order r, denoted by Cn(r), are defined by the generating function to be

(tlog(1+t))r=n=0Cn(r)tnn!.

It is well known that the nth harmonic numbers, denoted by Hn, are defined by

Hn=11+12+13++1n 1

with H0=0.

The harmonic numbers have many applications in combinatorics and other areas. Several interesting properties of harmonic numbers can be found in [10].

In [3], the nth hyperharmonic numbers of order r, denoted by Hn(r), are defined by

Hn(r)={0if n0 or r<0,1nif n>0 and r=0,i=1nHi(r1)if r,n1. 2

From (1) and (2), we note that Hn(1) is the ordinary harmonic number Hn. Many authors have studied the hyperharmonic numbers [13, 5, 10, 21].

The Daehee numbers, denoted by Dn, are defined by the generating function to be

log(1+t)t=n=0Dntnn!. 3

It is clear that

D0=1,D1=12,,Dn=(1)nn!n+1. 4

The Daehee numbers serve as an intermediate medium connecting between several special numbers [6, 7, 11, 13, 31]. The higher-order Daehee numbers led to many combinatorial identities [8, 9, 13, 19, 22, 24, 29, 30]. In addition, the degenerate Daehee numbers have been defined and studied [13, 29, 30]. Recently many interesting results have been published regarding the degenerate Daehee numbers.

The higher-order Daehee numbers, denoted by Dn(r), are defined by the generating function,

(log(1+t)t)r=n=0Dn(r)(x)tnn!(see [8, 9, 13, 19, 22, 24, 29, 30]). 5

Recently, a group of mathematicians used a differential equations to study special numbers. In [11, 13], the Daehee and degenerate Daehee numbers are considered by using differential equations arising from the generating function. The identities for ordered Bell numbers [12] and Bernoulli numbers of the second kind [14] were derived arising from the differential equations of the generating functions, and the other identities of special polynomials can be found in [1518, 20, 23, 2527]. In this paper, we present some identities between the Daehee and hyperharmonic numbers. In addition, we derive some nonlinear differential equations from the generating function of the hyperharmonic number. In addition, we use this differential equations to obtain some identities in which the hyperharmonic numbers and the Daehee numbers are involved.

Harmonic numbers and hyperharmonic numbers

Since log(1t)=t+t22+t33+ , the generating function of the harmonic numbers Hn is as follows:

log(1t)1t=n=0Hntn. 6

From the definition of hyperharmonic numbers (2) and the generating function of harmonic numbers (6), we get the generating function of the hyperharmonic numbers:

log(1t)(1t)r=n=0Hn(r)tn. 7

The generating functions of harmonic and hyperharmonic numbers can be found in [1, 5] and [4].

A recurrence relation of the hyperharmonic numbers can be obtained by the generating function as follows:

log(1t)(1t)r(1t)=n=0Hn(r)tnn=0Hn(r)tn+1log(1t)(1t)r(1t)=n=0Hn(r)tnn=1Hn1(r)tnlog(1t)(1t)r(1t)=n=0(Hn(r)Hn1(r))tn,log(1t)(1t)r(1t)=log(1t)(1t)r1log(1t)(1t)r(1t)=n=0Hn(r1)tn.

Therefore we get

Hn(r)=Hn1(r)+Hn(r1)for n1. 8

This recurrence relation (8) is shown in [1], which we obtained in another way.

We note that, for 1sr,

log(1t)(1t)r=log(1t)(1t)rs1(1t)s=l=0Hl(rs)tlk=0(sk)(1)ktk=l=0Hl(rs)tlk=0(s+k1s1)tk=n=0l=0nHl(rs)(s+nl1s1)tn. 9

Equation (9) yields some identities that are presented in [1] as follows:

Hn(r)=m=1n(n+rm1r1)1m,Hn(r)=m=1n(n+rms1rs1)Hm(s),0sn1. 10

Relations between hyperharmonic numbers and Daehee numbers

From the definition of Daehee numbers, we obtain

log(1+t)t=log(1+t)(1+t)1+tt=n=1(1)n+1Hntn(1+1t)=n=1(1)n+1Hntn+n=0(1)nHn+1tn=n=1((1)n+1Hn+(1)nHn+1)tn+H1. 11

Since Hn+1Hn=1n+1, from (4) and (11), we get

D0=H1,Dn=(1)nn!(Hn+1Hn)for n1.

Let us investigate the relationship between the Daehee and hyperharmonic numbers.

log(1+t)t=log(1+t)(1+t)r(1+t)rt=i=1(1)i+1Hi(r)ti1j=0(rj)tj=i=0(1)iHi+1(r)tij=0(rj)tj=n=0i=0n(1)i(rni)Hi+1(r)tn. 12

From (12) and the definition of the Daehee numbers (3), we get the following identity.

Theorem 1

For any non-negative integer n,

Dn=n!i=0n(1)i(rni)Hi+1(r).

From (4), we note that i=0n1(1)iDii!=Hn. Theorem 1 yields the following identity:

Hn=i=0n1k=0i(1)k+iHk+1(r)(rik),for n1.

Let us consider higher-order Daehee numbers:

(log(1+t)t)r=log(1+t)(1+t)k(log(1+t)t)r1(1+t)kt=(i=0(1)iHi+1(k)ti)(j=0Dj(r1)tjj!)(l=0(k)ltll!)=(i=0(1)iHi+1(k)ti)(m=0j=0m(mj)Dj(r1)(k)mjtmm!)=n=0i=0nj=0ni(1)i(nij)(k)nijDj(r1)Hi+1(k)(ni)!tn. 13

The following is found in Eq. (13) along with the definition of higher-order Daehee numbers.

Theorem 2

For any non-negative integer n and k1,

Dn(r)=n!i=0nj=0ni(1)i(nij)(k)nijDj(r1)Hi+1(k)(ni)!.

Now, we want to express Hn as a summation of Dk. We have

log(1t)1t=n=0Hntn=log(1t)tt1t=i=0(1)iDii!tij=1tj=n=1j=0n1(1)jDjj!tn. 14

By comparing coefficients of the first line and fourth line in (14), we get an obvious identity:

Hn=j=0n1(1)jDjj!.

Let us observe the definition of hyperharmonic and Daehee numbers. We have

log(1t)(1t)r=log(1t)tt(1t)r=k=0(1)kDktkk!l=0(r)l(1)ltl+1l!=k=0(1)kDktkk!l=1(r)l1(1)l1ltll!=n=1k=0n1(nk)(1)n1Dk(r)k1(nk)tnn!. 15

Equation (15) yields Theorem 3.

Theorem 3

For any positive integer n,

n!Hn(r)=k=0n1(nk)(1)n1(nk)(r)k1Dk. 16

Theorem 3 shows that hyperharmonic numbers, Hn(r), can be expressed as a kind of sum of Daehee numbers. Naturally we can think of whether it is possible to express the Daehee number Dn in terms of the hyperharmonic numbers Hn(r).

Let us observe Eq. (15) from a different point of view:

log(1t)(1t)r=(log(1t)t)r(tlog(1t))r1t(1t)r=k=0(1)kDk(r)tkk!l=0(1)lCl(r1)tll!m=0(r)m(1)mtm+1m!=k=0(1)kDk(r)tkk!l=0(1)lCl(r1)tll!m=1(r)m1m(1)m1tmm!=k=0(1)kDk(r)tkk!n=1l=0n1(nl)(1)n1Cl(r1)(r)nl1(nl)tnn!=n=1k=0n1l=0n1(nk)(nl)(1)k+1Dnk(r)Cl(r1)(r)nl1(nl)tnn!. 17

Theorem 4

For any positive integer n,

n!Hn(r)=k=0n1l=0n1(nk)(nl)(1)k+1Dnk(r)Cl(r1)(r)nl1(nl). 18

By multiplying the generating function of the hyperharmonic numbers by e1, the following can be observed:

log(1t)(1t)ret=l=0Hl(r)tlk=0(1)kk!tk=n=0l=0nHl(r)(1)nl(nl)!tn. 19

From (19), we get the following identity:

log(1t)(1t)ret=log(1t)(1t)r1et1t=l=0Hl(r1)tlk=0dkk!tk=n=0l=0nHl(r1)dnl(nl)!tn, 20

where dk denotes the kth derangement number. From (19) and (20), we get the following identity.

Theorem 5

For any positive integer n,

l=0nHl(r)(1)nl(nl)!=l=0nHl(r1)dnl(nl)!, 21

where dk denotes the kth derangement number.

Some identities of hyperharmonic numbers and Daehee numbers arising from differential equations

From now on, throughout this article, we set

G=G(t)=log(1t),F=F(t)=log(1+t),

and

FN=F××FN-times,F(0)=F,F(N)=ddtF(N1).

In [28], Kwon et al. showed that F=F(t)=log(1+t) is a solution of the following differential equation:

F(N)=(1)N1(N1)!n=0(1)nNnFnn!. 22

From Eq. (22), some relationships between the Daehee numbers and other special numbers have been found [28].

In [28], the authors presented two identities,

F(N)=(1)N1(N1)!n=0(m=0n(1)mNmS1(n,m))tnn!=n=0(n+N)Dn+N1tnn!. 23

From the definition of G, we get

G=11t=elog(1t)=eG. 24

By differentiation of both sides of Eq. (24), we get

G=eGG=eGeG=e2G,G(3)=e2G(2G)=2e3G.

By repeating this process, we can easily get

G(N)=(N1)!eNG,for N1. 25

From Eq. (12), we obtain

G(N)=(N1)!eNG=N!m=0Nm1Gmm!=N!m=0Nm1(log(1t))mm!=N!m=0Nm1(1)mn=m(1)nS1(n,m)tnn!=N!n=0m=0nNm1(1)n+mS1(n,m)tnn!. 26

From the definition of G and the hyperharmonic numbers,

G(N)=(ddt)N(log(1t)(1t)r(1t)r)=(ddt)N(m=0Hm(r)tmk=0(rk)(1)ktk)=(ddt)N(n=0k=0n(rnk)(1)nkHk(r)tn)=n=0k=0n(ddt)N(rnk)(1)nkHk(r)tn=n=Nk=0n(rnk)(1)nkHk(r)(n)NtnN=n=0k=0n+N(rn+Nk)(1)n+NkHk(r)(n+N)Ntn. 27

Equations (26) and (27) yield the following theorem.

Theorem 6

For any positive integer N and non-negative integer n,

1n!k=0nNk1(1)kS1(n,k)=(n+NN)k=0n+N(rn+Nk)(1)NkHk(r).

We note that

F(t)=G(t). 28

From (28), we have

F(N)(t)=(1)N+1G(N)(t). 29

Apply (29) to (27), then

(1)N+1G(N)(t)=(1)N+1n=0k=0n+N(rn+Nk)(1)NkHk(r)(n+N)Ntn=n=0k=0n+N(rn+Nk)(1)k+1Hk(r)(n+N)Ntn. 30

The definition of the Daehee numbers (3), (29) and (30) yields the following identity. This is a kind of inversion formula associated with Theorem 3.

Theorem 7

For any positive integer N,

Dn+N1=(n+N1)N1k=0n+N(rn+Nk)(1)k+1Hk(r).

From the definition of higher-order Daehee numbers (5),

Gm=(log(1t))m=(log(1t)t)mtm=l=0(1)lDl(m)tl+ml!. 31

Let us observe Eq. (27) in a different way:

G(N)=(N1)!eNG=(N1)!m=0NmGmm!=(N1)!m=0Nmm!k=0(1)kDk(m)(k+m)mtk+m(k+m)!=(N1)!n=0k=0n(1)k(nk)NnkDk(nk)tnn!. 32

From (27) and (32), we have a relation between hyperharmonic and higher-order Daehee numbers.

Theorem 8

For any positive integer N,

k=0n+N(rn+Nk)(1)n+NkHk(r)(n+N)Nn!=(N1)!k=0n(1)k(nk)NnkDk(nk).

Substituting 1et instead of t at (14) and (15), we have

G(N)(1et)=(N1)!n=0(1)nNntnn! 33

and

G(N)(1et)=m=0k=0m+N(rm+Nk)(1)NkHk(r)(m+N)N(et1)m=m=0k=0m+Nn=m(rm+Nk)(1)NkHk(r)(m+N)Nm!S2(n,m)tnn!=n=0m=0nk=0m+N(rm+Nk)(1)NkHk(r)(m+N)Nm!S2(n,m)tnn!. 34

From (33) and (34), we have the following theorem.

Theorem 9

For any positive integer N and non-negative integer n,

(1)n(N1)!Nn=m=0nk=0m+N(rm+Nk)(1)NkHk(r)(m+N)Nm!S2(n,m).

Results and discussion

In this paper, we have studied the harmonic, the hyperharmonic, the Daehee and the higher-order Daehee numbers which are different from the previous research articles. In Sect. 2, we present some elementary identities between the harmonic and the hyperharmonic numbers. In Sect. 3, we study some relations and properties for the harmonic and the hyperharmonic numbers, the Daehee and the higher-order Daehee numbers. Additionally, the derangement numbers and the Cauchy numbers are also studied in Sect. 3. In Sect. 4, we study a nonlinear differential equation arising from the generating function of the harmonic numbers and we give some identities of harmonic and hyperharmonic numbers, the Daehee and higher-order Daehee numbers which are derived from this nonlinear differential equation.

Conclusion

For a long time, research on the harmonic numbers was mainly focused on the study of inequalities. In this paper, we tried to study of the inequalities of the harmonic numbers by showing the relationship between harmonic numbers with other special numbers.

Acknowledgments

Acknowledgements

The authors would link to express their deep gratitude to the referee for his/her carefully reading and invaluable comments.

Availability of data and materials

The dataset supporting the conclusions of this article is included within the article.

Authors’ contributions

All the authors conceived of the study, participated in its design and read and approved the final manuscript.

Funding

This research was done without any support.

Competing interests

The authors declare that they have no competing interests.

Footnotes

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Contributor Information

Seog-Hoon Rim, Email: shrim@knu.ac.kr.

Taekyun Kim, Email: tkkim@kw.ac.kr.

Sung-Soo Pyo, Email: ssoopyo@gmail.com.

References

  • 1.Benjamin A.T., Gaebler D., Gaebler R. A combinatorial approach to hyperharmonic numbers. Integers. 2003;3(A15):1–9. [Google Scholar]
  • 2.Cheon G.S., Mikkawy M.E.A. Generalized harmonic number identities and a related matrix representation. J. Korean Math. Soc. 2007;44:487–498. doi: 10.4134/JKMS.2007.44.2.487. [DOI] [Google Scholar]
  • 3.Conway J.H., Guy R.K. The Book of Numbers. New York: Springer; 1996. [Google Scholar]
  • 4.Dil A., Kurt V. Polynomials related to harmonic numbers and evaluation of harmonic number series. Integers. 2012;12:38. [Google Scholar]
  • 5.Dil A., Mezo I. A symmetric algorithm for hyperharmonic and Fibonacci numbers. Appl. Math. Comput. 2008;206:942–951. [Google Scholar]
  • 6.Do Y., Lim D. On (h,q)-Daehee numbers and polynomials. Adv. Differ. Equ. 2015;2015:107. doi: 10.1186/s13662-015-0445-3. [DOI] [Google Scholar]
  • 7.Dolgy D.V., Kim D.S., Kim T., Mansour T. Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. J. Inequal. Appl. 2015;2015:154. doi: 10.1186/s13660-015-0676-6. [DOI] [Google Scholar]
  • 8.El-Desouky B.S., Mustafa A. New results on higher-order Daehee and Bernoulli numbers and polynomials. Adv. Differ. Equ. 2016;2016:32. doi: 10.1186/s13662-016-0764-z. [DOI] [Google Scholar]
  • 9.El-Desouky B.S., Mustafa A., Abdel-Moneim F.M. Multiparameter higher order Daehee and Bernoulli numbers and polynomials. Appl. Math. 2017;2017:775–785. doi: 10.4236/am.2017.86060. [DOI] [Google Scholar]
  • 10.Graham R., Knuth D., Patashnik K. Concrete Mathematics. Reading: Addison-Wesley; 1989. [Google Scholar]
  • 11.Jang G.W., Kim T. Revisit of identities of Daehee numbers arising from nonlinear differential equations. Proc. Jangjeon Math. Soc. 2017;20:163–177. [Google Scholar]
  • 12.Jang G.W., Kim T. Some identities of ordered Bell numbers arising from differential equation. Adv. Stud. Contemp. Math. 2017;27:385–397. [Google Scholar]
  • 13.Jang G.W., Kwon J., Lee J.G. Some identities of degenerate Daehee numbers arising from nonlinear differential equation. Adv. Differ. Equ. 2017;2017:206. doi: 10.1186/s13662-017-1265-4. [DOI] [Google Scholar]
  • 14.Kim D.S., Kim T. Some identities for Bernoulli numbers of the second kind arising from a non-linear differential equation. Bull. Korean Math. Soc. 2015;52:2001–2010. doi: 10.4134/BKMS.2015.52.6.2001. [DOI] [Google Scholar]
  • 15.Kim D.S., Kim T. A note on nonlinear Changhee differential equations. Russ. J. Math. Phys. 2016;23:88–92. doi: 10.1134/S1061920816010064. [DOI] [Google Scholar]
  • 16.Kim D.S., Kim T. Identities involving degenerate Euler numbers and polynomials arising from non-linear differential equations. J. Nonlinear Sci. Appl. 2016;9:2086–2098. doi: 10.22436/jnsa.009.05.14. [DOI] [Google Scholar]
  • 17.Kim D.S., Kim T. On degenerate Bell numbers and polynomials. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2017;111(2):435–446. doi: 10.1007/s13398-016-0304-4. [DOI] [Google Scholar]
  • 18.Kim D.S., Kim T., Mansour T., Seo J.J. Linear differential equations for families of polynomials. J. Inequal. Appl. 2016;2016:95. doi: 10.1186/s13660-016-1038-8. [DOI] [Google Scholar]
  • 19.Kim D.S., Kim T., Seo J.J. Higher-order Daehee polynomials of the first kind with umbral calculs. Adv. Stud. Contemp. Math. (Kyungshang) 2014;24(1):5–18. [Google Scholar]
  • 20.Kim T. Identities involving Frobenius–Euler polynomials arising from non-linear differential equations. J. Number Theory. 2012;132:2854–2865. doi: 10.1016/j.jnt.2012.05.033. [DOI] [Google Scholar]
  • 21.Kim T., Kim D.S. Identities involving harmonic and hyperharmonic numbers. Adv. Differ. Equ. 2013;2013:235. doi: 10.1186/1687-1847-2013-235. [DOI] [Google Scholar]
  • 22.Kim T., Kim D.S. Degenerate Laplace transform and degenerate gamma function. Russ. J. Math. Phys. 2017;24:241–248. doi: 10.1134/S1061920817020091. [DOI] [Google Scholar]
  • 23.Kim T., Kim D.S., Hwang K.W., Seo J.J. Some identities of Laguerre polynomials arising from differential equations. Adv. Differ. Equ. 2016;2016:159. doi: 10.1186/s13662-016-0896-1. [DOI] [Google Scholar]
  • 24.Kim T., Kim D.S., Komatsu T., Lee S.H. Higher-order Daehee of the second kind and poly-Cauchy of the second kind mixed-type polynomials. J. Nonlinear Convex Anal. 2015;16:1993–2015. [Google Scholar]
  • 25.Kim T., Kim D.S., Kwon H.I., Seo J.J. Revisit nonlinear differential equations associated with Bernoulli numbers of the second kind. Glob. J. Pure Appl. Math. 2016;12:1893–1901. [Google Scholar]
  • 26.Kim T., Kim D.S., Kwon H.I., Seo J.J. Differential equations arising from the generating function of general modified degenerate Euler numbers. Adv. Differ. Equ. 2016;2016:129. doi: 10.1186/s13662-016-0858-7. [DOI] [Google Scholar]
  • 27.Kim T., Yao Y., Kim D.S., Jang G.W. Degenerate r-Stirling numbers and r-Bell polynomials. Russ. J. Math. Phys. 2018;25:44–58. doi: 10.1134/S1061920818010041. [DOI] [Google Scholar]
  • 28.Kwon H.I., Kim T., Seo J.J. A note on Daehee numbers arising from differential equations. Glob. J. Pure Appl. Math. 2016;12(3):2349–2354. [Google Scholar]
  • 29.Park J.W., Kwon J. A note on the degenerate high order Daehee polynomials. Appl. Math. Sci. 2015;9:4635–4642. [Google Scholar]
  • 30.Pyo S.S., Kim T., Rim S.H. Identities of the degenerate Daehee numbers with the Bernoulli numbers of the second kind arising from nonlinear differential equation. J. Nonlinear Sci. Appl. 2017;10:6219–6228. doi: 10.22436/jnsa.010.12.08. [DOI] [Google Scholar]
  • 31.Simsek Y. Identities on the Changhee numbers and Apostol-type Daehee polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 2017;27:199–212. [Google Scholar]

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Data Availability Statement

The dataset supporting the conclusions of this article is included within the article.


Articles from Journal of Inequalities and Applications are provided here courtesy of Springer

RESOURCES