# Summation Formulas Involving Binomial Coefficients, Harmonic Numbers, and Generalized Harmonic Numbers

Authors: Junesang Choi
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

A variety of identities involving harmonic numbers and generalized harmonic numbers have been investigated since the distant past and involved in a wide range of diverse fields such as analysis of algorithms in computer science, various branches of number theory, elementary particle physics, and theoretical physics. Here we show how one can obtain further interesting and (almost) serendipitous identities about certain finite or infinite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers by simply applying the usual differential operator to well-known Gauss’s summation formula for2F1(1).


---

## Body

## 1. Introduction and Preliminaries

The generalized harmonic numbersHn(s) of order s which are defined by (cf. [1]; see also [2, 3], [4, page 156], and [5, Section 3.5])
(1)Hn(s)∶=∑j=1n‍1js(n∈N;s∈C),(2)Hn∶=Hn(1)=∑j=1n‍1j(n∈N)
are the harmonic numbers. Here N and C denote the set of positive integers and the set of complex numbers, respectively, and we assume that
(3)H0∶=0,H0(s)∶=0(s∈C∖{0}),H0(0)∶=1.
The generalized harmonic functions Hn(s)(z) are defined by (see [2, 6]; see also [7, 8])
(4)Hn(s)(z)∶=∑j=1n‍1(j+z)s(n∈N;s∈C∖Z-;Z-∶={-1,-2,-3,…}),
so that, obviously,
(5)Hn(s)(0)=Hn(s).Equation (1) can be written in the following form:
(6)Hn(s)=ζ(s)-ζ(s,n+1)(R(s)>1;n∈N),
by recalling the well-known (easily derivable) relationship between the Riemann zeta function ζ(s) and the Hurwitz (or generalized) zeta function ζ(s,a) (see [4, equation 2.3(9)]):
(7)ζ(s)=ζ(s,n+1)+∑k=1n‍k-s(n∈N0∶=N∪{0}).The polygamma functionsψ(n)(s)(n∈N) are defined by
(8)ψ(n)(s)∶=dn+1dzn+1log⁡⁡Γ(s)=dndsnψ(s)kk(n∈N0;s∈C∖Z0-∶=Z-∪{0}),
where Γ(s) is the familiar gamma function and the psi-function ψ is defined by
(9)ψ(s)∶=ddslog⁡⁡Γ(s),ψ(0)(s)=ψ(s)(s∈C∖Z0-).A well-known (and potentially useful) relationship between the polygamma functionsψ(n)(s) and the generalized zeta function ζ(s,a) is given by
(10)ψ(n)(s)=(-1)n+1n!∑k=0∞‍1(k+s)n+1=(-1)n+1n!ζ(n+1,s)k(n∈N;s∈C∖Z0-).
It is also easy to have the following expression (cf. [4, equation 1.2(54)]):
(11)ψ(m)(s+n)-ψ(m)(s)=(-1)mm!Hn(m+1)(s-1)kkkkkkkkkk(m,n∈N0),
which immediately gives Hn(s) another expression for Hn(s) as follows (cf. [9, equation (20)]):
(12)Hn(m)=(-1)m-1(m-1)![ψ(m-1)(n+1)-ψ(m-1)(1)]kkkkkkkkkkkkkkkkk(m∈N;n∈N0).The following identity was discovered by Euler in 1775 and has a long history (see, e.g., [10, page 252et seq.]):
(13)∑n=1∞‍Hn(n+1)2=12∑n=1∞‍Hnn2=ζ(3).
Identity (13) is a special case of the following more general sum due to Euler:
(14)2∑k=1∞‍Hkkn=(n+2)ζ(n+1)-∑k=1n-2‍ζ(n-k)ζ(k+1)KKKKKk(n∈N∖{1})
or, equivalently,
(15)2∑k=1∞‍Hk(k+1)n=nζ(n+1)-∑k=1n-2‍ζ(n-k)ζ(k+1)KKKKiKK(n∈N∖{1}),
where (and in what follows) an empty sum is understood to be nil.Many different techniques have been used, in the vast mathematical literature, in order to evaluate harmonic sums of the types (13) and (15). For example, D. Borwein and J. M. Borwein [11] established the following interesting sums by applying Parseval's identity to a Fourier series and contour integrals to a generating function:
(16)∑n=1∞‍(Hnn+1)2=114ζ(4),(17)∑n=1∞‍(Hnn)2=174ζ(4),(18)∑n=1∞‍Hnn3=54ζ(4),
where, in light of Euler sum (18), nonlinear harmonic sums (16) and (17) are substantially the same, since it is easily verified that
(19)∑k=1∞‍(Hkk)2=∑k=1∞‍(Hkk+1)2+32ζ(4).Euler started this line of investigation in the course of his correspondence with Goldbach beginning in 1742 and he was the first to consider the linear harmonic sums:(20)Sp,q∶=∑n=1∞‍Hn(p)nq.Euler, whose investigations were completed by Nielsen in 1906 (see Nielsen [12]), showed that the linear harmonic sums in (20) can be evaluated in terms of zeta values in the following special cases: p=1, p=q, p+q odd, and p+q even, but with the pair (p,q) being restricted to a finite set of the so-calledexceptional configurations {(2,4),(4,2)} (see Flajolet and Salvy [13]). Of these special cases, in the ones with p≠q, if Sp,q is known, then Sq,p can be found by means of the symmetry relation:
(21)Sp,q+Sq,p=ζ(p)ζ(q)+ζ(p+q),
andvice versa (see also [1, page 140, Proposition 6]. Some typical examples are
(22)∑n=1∞‍Hn(2)n2=74ζ(4),(23)∑n=1∞‍Hn(2)n5=5ζ(2)ζ(5)+2ζ(3)ζ(4)-10ζ(7).Rather extensive numerical search for linear relations between linear Euler sums and polynomials in zeta values (see Bailey et al. [14]; see also Flajolet and Salvy [13]) strongly suggests that Euler found all the possible evaluations of linear harmonic sums.The nonlinear harmonic sums involve products of at least two harmonic numbers. LetP=(p1,…,pk) be a partition of an integer p into k summands, so that p=p1+⋯+pk and p1≦p2≦⋯≦pk. The Euler sum of index P, q is defined by
(24)SP,q∶=∑n=1∞‍Hn(p1)Hn(p2)⋯Hn(pk)nq,
where the quantity q+p1+⋯+pk is called theweight and the quantity k is thedegree. A few basic nonlinear sums were recently evaluated by de Doelder [15] by invoking their relations with the Eulerian beta integrals or with polylogarithm functions. A detailed numerical search was conducted by Bailey et al. [14] who showed the existence of many surprising evaluations like
(25)∑n=1∞‍(Hn)3n4=23116ζ(7)-514ζ(3)ζ(4)+2ζ(2)ζ(5).
Flajolet and Salvy [13] clearly and extensively analyzed most of the hitherto known evaluations for Euler sums and multiple zeta functions (see also Hoffman [16] and Zagier [17]). For a remarkably clear and insightful exposition of several important results and conjectures concerning multiple polylogarithms and the multiple zeta functions (includingespecially a broad survey of recent works on multiple zeta series and Euler sums of arbitrary degree), the interested reader should refer also to a survey-cum-expository paper by Bowman and Bradley [18], which contains a fairly comprehensive bibliography of as many as 83further references on the subject.Shen [19] investigated the connections between the Stirling numbers s(n,k) of the first kind and the Riemann zeta function ζ(n) by means of the Gauss summation formula (28) for the hypergeometric series. In the course of his analysis, Shen [19] proved some known identities like (13), (18), and (22). In fact, by employing the univariate series expansion of classical hypergeometric formulas, Shen [19] and Choi and Srivastava [20, 21] investigated the evaluation of infinite series related to generalized harmonic numbers. On the other hand, more summation formulas have been systematically derived by Chu [22] and Chu and de Donno [23] who developed fully this approach to the multivariate case. We chose to recall two identities:
(26)∑n=1∞‍Hn-13-3Hn-1Hn-1(2)+2Hn-1(3)n2=6ζ(5),∑n=1∞‍(Hn(2)n3+3Hnn4)=92ζ(5).Many formulas of finite series involving binomial coefficients, the Stirling numbers of the first and second kinds, harmonic numbers, and generalized harmonic numbers have also been investigated in diverse ways (see, e.g., [2, 23–32]).Here we show how one can obtain further interesting and (almost) serendipitous identities about certain finite or infinite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers by simply applying the usual differential operator to well-known Gauss’s summation formula for2F1(1). For example, see the identities in Corollary 5:
(27)∑n=1∞‍(Hn)3-HnHn(2)(n+1)(n+2)=4(1+ζ(2)+ζ(3));∑n=1∞‍(Hn)4-3(Hn)2Hn(2)+2HnHn(3)(n+1)(n+2)=12(1+ζ(2)+ζ(3)+ζ(4)).
Relevant connections between some of the identities presented here with those in earlier works are also pointed out.


## 2. Infinite Series Involving Binomial Coefficients, Harmonic Numbers, and Generalized Harmonic Numbers

We begin by recalling well-known Gauss’s summation formula for2F1(1):
(28)2F1(a,b;c;1)∶=∑n=0∞‍(a)n(b)nn!(c)n=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)KKKKKK(R(c-a-b)>0;c∉Z0-),
where (α)n denotes the Pochhammer symbol defined (for α∈C) by
(29)(α)n∶={1,(n=0),α(α+1)⋯(α+n-1),(n∈N).For convenient reference, without proof, we collect a set of easily derivable formulas necessary to provide further interesting identities about certain finite or infinite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers asserted as in the following lemma.Lemma 1.
Each of the following identities holds true:(30)ddα(α)n=(α)nHn(1)(α-1)(n∈N0;α∈C∖Z0-);ddα1(α)n=-Hn(1)(α-1)(α)n(n∈N0;α∈C∖Z0-);d2dα2(α)n=(α)n[{Hn(1)(α-1)}2-Hn(2)(α-1)]KKKKKKKKK(n∈N0;α∈C∖Z0-);d2dα21(α)n=1(α)n[{Hn(1)(α-1)}2+Hn(2)(α-1)]KKKKKKKKKk(n∈N0;α∈C∖Z0-);dldzlHn(s)(z)=(-1)l(s)lHn(s+l)(z)Kk(n∈N;l∈N0;s∈C∖Z-);dda{Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)}=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)(ψ(c-a)-ψ(c-a-b));ddc{Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)}=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)·(ψ(c)+ψ(c-a-b)KKKKKK.KKKKKKKk-ψ(c-a)-ψ(c-b)).Now we are ready to present certain general identities of infinite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers as in the following theorem.Theorem 2.
Each of the following summation formulas holds true:(31)∑n=1∞‍(a)n(b)nn!(c)nHn(1)(a-1)=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)(ψ(c-a)-ψ(c-a-b));(32)∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(a-1)}2-Hn(2)(a-1)]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)·[(ψ(c-a)-ψ(c-a-b))2=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)·k-(ψ′(c-a)-ψ′(c-a-b))];(33)∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(a-1)}3-3Hn(1)(a-1)Hn(2)(a-1)∑n=1∞‍(a)n(b)nn!(c)n+2Hn(3)(a-1){Hn(1)(a-1)}3]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)[(ψ(c-a)-ψ(c-a-b))3KKKKKKKKkKkkKKk-3(ψ(c-a)-ψ(c-a-b))KKKKKKKKKkkkKKk×(ψ′(c-a)-ψ′(c-a-b))KKKKKKKKkkkKkK+(ψ(2)(c-a)-ψ(2)(c-a-b))(ψ(c-a)-ψ(c-a-b))3];(34)∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(a-1)}4-6{Hn(1)(a-1)}2Hn(2)(a-1)KKKKKK.K+8Hn(1)(a-1)Hn(3)(a-1)KKKKKK.K+3{Hn(2)(a-1)}2-6Hn(4)(a-1){Hn(1)(a-1)}4]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)[(ψ(c-a)-ψ(c-a-b))4KKKKKKKkkkkKKKKk-6(ψ(c-a)-ψ(c-a-b))2KKKKKKKKkkkkKKKk×(ψ′(c-a)-ψ′(c-a-b))KKKKKKKkkkkKKKKk+4(ψ(c-a)-ψ(c-a-b))KKKKKKkkkkKKKKKk×(ψ(2)(c-a)-ψ(2)(c-a-b))KKKKKkkkkKKKKKKk+3(ψ′(c-a)-ψ′(c-a-b))2KKKKkkkkKKKKKKKk-(ψ(3)(c-a)-ψ(3)(c-a-b))(ψ(c-a)-ψ(c-a-b))4];(35)∑n=1∞‍(a)n(b)nn!(c)nHn(1)(a-1)Hn(1)(b-1)=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)·[ψ′(ψ(c-a)-ψ(c-a-b))KKKKkkkkKKKKKKKKk×(ψ(c-b)-ψ(c-a-b))KKKKKKkkkKKKKKKKk+ψ′(c-a-b)];(36)∑n=1∞‍(a)n(b)nn!(c)n[Hn(1)(a-1){Hn(1)(b-1)}2KKKKKKkK-Hn(1)(a-1)Hn(2)(b-1){Hn(1)(b-1)}2]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)[ψ′(ψ(c-a)-ψ(c-a-b))KKKKKkkkkkKKKKK×(ψ(c-b)-ψ(c-a-b))2KKKKKkKkkkkKKKK+2(ψ(c-a)-ψ(c-a-b))KKKKKkkkkKKkKKK×ψ′(c-a-b)-ψ(2)(c-a-b)KKKKKkkkkKKKkKK-(ψ(c-a)-ψ(c-a-b))KKKKKkkkkKKKKkK×(ψ′(c-b)-ψ′(c-a-b))];(37)∑n=1∞‍(a)n(b)nn!(c)n[Hn(1)(a-1){Hn(1)(b-1)}3KKKKKKKK-3Hn(1)(a-1)Hn(1)(b-1)Hn(2)(b-1)KKKKKKKK+2Hn(1)(a-1)Hn(3)(b-1){Hn(1)(b-1)}3]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)[ψ(2)(ψ(c-a)-ψ(c-a-b))KKKKkkkKKKKKKk×(ψ(c-b)-ψ(c-a-b))3KKKKKkkkKKKKKk+3(ψ(c-b)-ψ(c-a-b))2KKKKKkkkKKKKKk×ψ′(c-a-b)+ψ(3)(c-a-b)KKKKKKkkkKKKKk-3(ψ(c-a)-ψ(c-a-b))KKKKKKkkkKKKKk×(ψ(c-b)-ψ(c-a-b))KKKKKKkkkKKKKk·(ψ′(c-b)-ψ′(c-a-b))KKKKKkkkKKKKKk-3(ψ(c-b)-ψ(c-a-b))KKKKkkkKKKKKKk×ψ(2)(c-a-b)-3ψ′(c-a-b)KKKKKkkkKKKKKk×(ψ′(c-b)-ψ′(c-a-b))KKKKKkkkKKKKKk+(ψ(c-a)-ψ(c-a-b))KKKKKKkkKKKKKk×(ψ(2)(c-b)-ψ(2)(c-a-b))];(38)∑n=1∞‍(a)n(b)nn!(c)n[Hn(1)(a-1){Hn(1)(b-1)}4KKKKKKKK-6Hn(1)(a-1){Hn(1)(b-1)}2Hn(2)(b-1)KKKKKKKK+8Hn(1)(a-1)Hn(1)(b-1)Hn(3)(b-1)KKKKKKKK+3Hn(1)(a-1){Hn(2)(b-1)}2KKKKKKKK-6Hn(1)(a-1)Hn(4)(b-1){Hn(1)(b-1)}4]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)[(ψ(3))(ψ(c-a)-ψ(c-a-b))KKKKKKKkKKkkkK×(ψ(c-b)-ψ(c-a-b))4KKKKKKKkkkkKKK+4(ψ(c-b)-ψ(c-a-b))3KKKKKKKkkkkKKK×ψ′(c-a-b)-ψ(4)(c-a-b)KKKKKKKKkkkkKK-6(ψ(c-a)-ψ(c-a-b))KKKKKKKKkkkkKK×(ψ(c-b)-ψ(c-a-b))2KKKKKKKkkkKKkK·(ψ′(c-b)-ψ′(c-a-b))KKKKKkkkKKKKKk-6(ψ(c-b)-ψ(c-a-b))2KKKKkkkKKKkKKK×ψ(2)(c-a-b)KKKKkkkKKKKkKK-12(ψ(c-b)-ψ(c-a-b))KKKKkkkKKKKKkK×(ψ′(c-b)-ψ′(c-a-b))KKKKkkkKKKKKkK×ψ′(c-a-b)KKKKKKKkkkkKKK+4(ψ(c-a)-ψ(c-a-b))KKKKKKKkkkkKKK×(ψ(c-b)-ψ(c-a-b))KKKKKKKkkkkKKK·(ψ(2)(c-b)-ψ(2)(c-a-b))KKKKKKKKkkkkKK+4(ψ(c-b)-ψ(c-a-b))KKKKKKKKkkkkKK×ψ(3)(c-a-b)KKKKKKKKkkkkKK+3(ψ(c-a)-ψ(c-a-b))KKKKKKKKkkkkKK×(ψ′(c-b)-ψ′(c-a-b))2KKKKKKKKkkkKkK+6(ψ′(c-b)-ψ′(c-a-b))KKKKKKKKKkkkkK×ψ(2)(c-a-b)+4ψ′(c-a-b)KKKKKKKkKKkkkK×(ψ(2)(c-b)-ψ(2)(c-a-b))KKKKKKKKkKkkkK-(ψ(c-a)-ψ(c-a-b))KKKKKKKKkkkkKK×(ψ(3)(c-b)-ψ(3)(c-a-b))].Proof.
Differentiating each side of (28) with respect to the variable a and using some suitable identities in Section 1 and Lemma 1, we obtain (31). Differentiating each side of (31) with respect to the variable a, we get (32). Similarly we prove (33) and (34). Differentiating each side of (31) with respect to the variable b and using some suitable identities in Section 1 and Lemma 1, we obtain (35). Similarly we prove (36), (37), and (38).Settingc=2 and a=b=1 in (31) to (34) and using some suitable identities in Section 1, we obtain some interesting identities involving harmonic numbers and generalized harmonic numbers given in the following corollary.Corollary 3.
Each of the following identities holds true:(39)∑n=1∞‍Hn(n+1)(n+2)=1;∑n=1∞‍1(n+1)(n+2)[(Hn)2-Hn(2)]=2=1·2;∑n=1∞‍1(n+1)(n+2)[(Hn)3-3HnHn(2)+2Hn(3)]=6=2·3;∑n=1∞‍1(n+1)(n+2)[(Hn(2))2(Hn)4-6(Hn)2Hn(2)KKKKKKKKKKkk+8HnHn(3)+3(Hn(2))2-6Hn(4)]=24=6·4.Differentiatingonly the left-hand side of (34) with respect to the variable a twice and setting c=3 and a=b=1 in each expression, in view of the identities (39), we may guess two identities asserted by the following conjecture.Conjecture 4.
Each of the following identities may hold true:(40)∑n=1∞‍1(n+1)(n+2)[(Hn)5-10(Hn)3Hn(2)+20(Hn)2Hn(3)KKKKKKKKKKK+15Hn(Hn(2))2-30HnHn(4)KKKKKKKKKKK-20Hn(2)Hn(3)+24Hn(5)]=120=24·5;∑n=1∞‍1(n+1)(n+2)[(Hn)6-15(Hn)4Hn(2)+40(Hn)3Hn(3)KKKKKKKKKKK+45(Hn)2(Hn(2))2-90(Hn)2Hn(4)KKKKKKKKKKK-120HnHn(2)Hn(3)+144HnHn(5)KKKKKKKKKKK-15(Hn(2))3+90Hn(2)Hn(4)+40(Hn(3))2KKKKKKKKKKK-120Hn(5)]=720=120·6.Settingc=3 and a=b=1 in (35) to (44) and using some suitable identities in Section 1 and Lemma 1, we obtain a set of very interesting identities in the following corollary.Corollary 5.
Each of the following identities holds true:(41)∑n=1∞‍(Hn)2(n+1)(n+2)=2(1+ζ(2));(42)∑n=1∞‍(Hn)3-HnHn(2)(n+1)(n+2)=4(1+ζ(2)+ζ(3));(43)∑n=1∞‍(Hn)4-3(Hn)2Hn(2)+2HnHn(3)(n+1)(n+2)=12(1+ζ(2)+ζ(3)+ζ(4));(44)∑n=1∞(((Hn(2))2(Hn)5-6(Hn)3Hn(2)+8(Hn)2Hn(3)KKkK+3Hn(Hn(2))2-6HnHn(4))kkk×((n+1)(n+2))-1((Hn(2))2(Hn)5-6(Hn)3Hn(2)+8(Hn)2Hn(3))=48(1+ζ(2)+ζ(3)+ζ(4)+ζ(5)).Differentiatingonly the left-hand side of (38) with respect to the variable b twice and setting c=3 and a=b=1 in each expression, in view of the identities (41) to (44), we may guess two identities asserted by the following conjecture.Conjecture 6.
Each of the following identities may hold true:(45)∑n=1∞‍1(n+1)(n+2)[(Hn)6-10(Hn)4Hn(2)+20(Hn)3Hn(3)KKKKKKKKKKK+15(Hn)2(Hn(2))2-30(Hn)2Hn(4)KKKKKKKKKKK-20HnHn(2)Hn(3)+24HnHn(5)]=240(1+ζ(2)+ζ(3)+ζ(4)+ζ(5)+ζ(6));(46)∑n=1∞‍1(n+1)(n+2)[(Hn(3))2(Hn)7-15(Hn)5Hn(2)+40(Hn)4Hn(3)KKKKKKKKKKK+45(Hn)3(Hn)2-90(Hn)3Hn(4)KKKKKKKKKKK-120(Hn)2Hn(2)Hn(3)+144(Hn)2Hn(5)KKKKKKKKKKK-15Hn(Hn(2))3+90HnHn(2)Hn(4)KKKKKKKKKKK+40Hn(Hn(3))2-120HnHn(6)]=1440(1+ζ(2)+ζ(3)+ζ(4)+ζ(5)+ζ(6)+ζ(7)).Remark 7.
It is interesting to observe that the number of terms in the numerator of each of the left-hand sides of (41) to (46) is equal to the number of partitions of k-1  (k=2,3,4,5,6,7), respectively. For example, for (46), all the partitions of 7-1=6 are as follows:
(47)7=1+1+1+1+1+1+1=1+1+1+1+1+2=1+1+1+2+2=1+2+2+2=1+1+1+1+3=1+1+2+3=1+3+3=1+1+1+4=1+1+5=1+2+4,
where k denotes Hn(k)  (k=1,2,3,4,5) and + is translated into a multiplication of its corresponding Hn(k). The coefficient of each of the right-hand sides of (41) to (46) has the following rule:
(48)2,4=2·2,12=4·3,48=12·4,240=48·5,1440=240·6,….
The remaining thing is to find a rule that dominates the coefficients of each term of the numerator of the left-hand sides of (41) to (46).Differentiating each side of (28) with respect to the variable c successively and using some suitable identities in Section 1 and Lemma 1, we obtain a set of infinite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers different from those in Theorem 2 as in the following theorem.Theorem 8.
Each of the following summation formulas holds true:(49)∑n=1∞‍(a)n(b)nn!(c)nHn(1)(c-1)=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)×(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b));∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(c-1)}2+Hn(2)(c-1)]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)×[(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))2kk(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))2-(ψ′(c-a)+ψ′(c-b)-ψ′(c)-ψ′(c-a-b))];∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(c-1)}3+3Hn(1)(c-1)KKKKiKK×Hn(2)(c-1)+2Hn(3)(c-1){Hn(1)(c-1)}3]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)×[(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))3KKKKK-3(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))KKKKK·(ψ′(c-a)+ψ′(c-b)-ψ′(c)-ψ′(c-a-b))KKKKK+(ψ(2)(c-a)+ψ(2)(c-b)kkkkkkkkk-ψ(2)(c)-ψ(2)(c-a-b))];∑n=1∞‍(a)n(b)nn!(c)n[{Hn(1)(c-1)}4+6{Hn(1)(c-1)}2KKKKKKKK×Hn(2)(c-1)+8Hn(1)(c-1)Hn(3)(c-1)KKKKKKKK+3{Hn(2)(c-1)}2+6Hn(4)(c-1)]=Γ(c)Γ(c-a-b)Γ(c-a)Γ(c-b)×[(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))4KKKKK-6(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))2KKKKK·(ψ′(c-a)+ψ′(c-b)-ψ′(c)-ψ′(c-a-b))KKKKK+4(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))KKKKK·(ψ(2)(c-a)+ψ(2)(c-b)-ψ(2)(c)KKKKK.K-ψ(2)(c-a-b))KKKKK+3(ψ′(c-a)+ψ′(c-b)-ψ′(c)KKKKiKKK-ψ′(c-a-b))2KKKKK-(ψ(3)(c-a)+ψ(3)(c-b)-ψ(3)(c)KKKKiKK-ψ(3)(c-a-b))(ψ(c-a)+ψ(c-b)-ψ(c)-ψ(c-a-b))4].Settingc=1 and a=b=-1/2 in (49) and using some suitable identities in Section 1 and special values of ψ-function (see, e.g., [4, Section 1.2] and [5, Section 1.3]), we obtain a set of interesting infinite series involving binomial coefficients and harmonic numbers given in the following corollary.Corollary 9.
Each of the following identities holds true:(50)∑n=1∞‍(2nn)2(2n-1)224nHn=4π(3-4log⁡2);∑n=1∞‍(2nn)2(2n-1)224n[(Hn)2+Hn(2)]=4π[(3-4log⁡2)2+7-4ζ(2)];∑n=1∞‍(2nn)2(2n-1)224n[(Hn)3+3HnHn(2)+2Hn(3)]=4π[(3-4log⁡2)3-3(3-4log⁡2)(4ζ(2)-7)KiKKk-24ζ(3)+30(3-4log⁡2)3];∑n=1∞‍(2nn)2(2n-1)224n[(Hn(2))2(Hn)4+6(Hn)2Hn(2)KKKKKK.KKK+8HnHn(3)+3(Hn(2))2+6Hn(4)]=4π[(3-4log⁡2)4-6(3-4log⁡2)2(4ζ(2)-7)KKKKK+24(3-4log⁡2)(5-4ζ(3))+3(4ζ(2)-7)2KKKKK+186-168ζ(4)(3-4log⁡2)4].


## 3. Finite Series Involving Binomial Coefficients, Harmonic Numbers, and Generalized Harmonic Numbers

Settingb=-N∈N in some chosen formulas in Theorems 2 and 8 and using some suitable identities in Section 1 and the following known and easily derivable formula:
(51)(-N)n={(-1)nN!(N-n)!,(0≤n≤N;N∈N),0,(n>N),={(-1)nn!(Nn),(0≤n≤N;N∈N),0,(n>N),
we obtain a set of finite series involving binomial coefficients, harmonic numbers, and generalized harmonic numbers given in the following theorem.Theorem 10.
Each of the following finite summation formulas holds true:(52)∑n=1N‍(-1)n+1(a)n(c)n(Nn)Hn(1)(a-1)=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)HN(1)(c-a-1)(N∈N0),
where the empty sum is (as usual) understood to be nil throughout this paper,
(53)∑n=1N‍(-1)n(a)n(c)n(Nn)[{Hn(1)(a-1)}2-Hn(2)(a-1)]=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)[{HN(1)(c-a-1)}2KKKKKKKKKKKKk-HN(2)(c-a-1){HN(1)(c-a-1)}2](N∈N0);∑n=1N‍(-1)n+1(a)n(c)n(Nn)[{Hn(1)(a-1)}3-3Hn(1)(a-1)KKKKKKKKKKKK×Hn(2)(a-1)+2Hn(3)(a-1){Hn(1)(a-1)}3]=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)[{HN(1)(c-a-1)}3KKKKKKKKKKKKKKK-3HN(1)(c-a-1)KKKKKKKKKKKKKKK×HN(2)(c-a-1)KKKKKKKKKKKKKKK+2HN(3)(c-a-1){HN(1)(c-a-1)}3]KKKKKKKKKKKKKiKKKKKKK(N∈N0);∑n=1N‍(-1)n(a)n(c)n(Nn)[{Hn(1)(a-1)}4-6{Hn(1)(a-1)}2KKKKKKKKKiKK×Hn(2)(a-1)+8Hn(1)(a-1)KKKKKKKKKiKK×Hn(3)(a-1)+3{Hn(2)(a-1)}2KKKKKKKKKiKK-6Hn(4)(a-1){Hn(1)(a-1)}4]=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)[{HN(1)(c-a-1)}4KKKKKKKKKKkkkKK-6{HN(1)(c-a-1)}2KKKKKKKKKKkkkKK×HN(2)(c-a-1)KKKKKKKkkkKKKKK+8HN(1)(c-a-1)HN(3)(c-a-1)KKKKKKKkkkKKKKK+3{HN(2)(c-a-1)}2KKKKKKKkkkKKKKK{HN(1)(c-a-1)}4-6HN(4)(c-a-1)](N∈N0);∑n=1N‍(-1)n(a)n(c)n(Nn)Hn(1)(c-1)=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)[HN(1)(c-1)-HN(1)(c-a-1)]KKKKKKKKKKKKKKKKKKKKKKKKKK(N∈N0);∑n=1N‍(-1)n(Nn)(a)n(c)n[{Hn(1)(c-1)}2+Hn(2)(c-1)]=Γ(c-a+N)Γ(c)Γ(c-a)Γ(c+N)[{HN(1)(c-1)-HN(1)(c-a-1)}2KKKKKKKKk.kKKKKK+HN(2)(c-1)-HN(2)(c-a-1){Hn(1)(c-1)}2{HN(1)(c-1)-HN(1)(c-a-1)}2]KKKKKKKKKKKKKKKKKKKKKKKKKKKk(N∈N0).Settinga=1 and c=2 in (52) to (53) and using some suitable identities in Section 1, we obtain a set of interesting identities involving binomial coefficients, harmonic numbers, and generalized harmonic numbers given in the following corollary.Corollary 11.
Each of the following identities holds true:(54)∑n=1N‍(-1)n+1n+1(Nn)Hn=HNN+1(N∈N0);∑n=1N‍(-1)nn+1(Nn)[(Hn)2-Hn(2)]=(HN)2-HN(2)N+1(N∈N0);∑n=1N‍(-1)n+1n+1(Nn)[(Hn)3-3HnHn(2)+2Hn(3)]=1N+1[(HN)3-3HNHN(2)+2HN(3)](N∈N0);∑n=1N‍(-1)nn+1(Nn)[(Hn(2))2(Hn)4-6(Hn)2Hn(2)+8HnHn(3)KKKKKKKKK+3(Hn(2))2-6Hn(4)]=1N+1[(Hn(2))2(HN)4-6(HN)2HN(2)+8HNHN(3)KKKKkKK+3(HN(2))2-6HN(4)](N∈N0);∑n=1N‍(-1)n+1n+1(Nn)Hn(1)(1)=N(N+1)2(N∈N0);∑n=1N‍(-1)n+1n+1(Nn)[{Hn(1)(1)}2+Hn(2)(1)]=2N(N+1)3(N∈N0).



---

*Source: 501906-2014-07-21.xml*