arxiv: v1 [math.co] 31 Oct 2008

Transcription

1 SUMMATION OF HYPERHARMONIC SERIES ISTVÁN MEZŐ arxiv:08.004v [math.co] 3 Oct 008 Abstract. We shall show that the sum of the series formed by the so-called hyperharmoic umbers ca be expressed i terms of the Riema zeta fuctio. More exactly, we give summatio formula for the geeral hyperharmoic series.. Hyperharmoic umbers Itroductio. I 996, J. H. Coway ad R. K. Guy i [CG] have defied the otio of hyperharmoic umbers. The -th harmoic umber is the -th partial sum of the harmoic series: H = k. H () k= := H, ad for all r > let H = k= H (r ) k be the -th hyperharmoic umber of order r. These umbers ca be expressed by biomial coefficiets ad ordiary harmoic umbers: + r () H = (H +r H r ). r It tured out that the hyperharmoic umbers have may combiatorial coectios. To preset this fact, we eed to itroduce the otio of r-stirlig umbers. Gettig deeper isight, see [BGG] ad the refereces give there. r-stirlig umbers. [ ] is the umber of permutatios of the set k r {,..., } havig k disjoit, o-empty cycles, i which the elemets through r are restricted to appear i differet cycles. The followig idetity itegrates the hyperharmoic- ad the r- Stirlig umbers. [ +r ] r+ r! = H. 000 Mathematics Subject Classificatio. B83. Key words ad phrases. hyperharmoic umbers, Euler sums, Riema zeta fuctio, Hypergeometric series.

2 ISTVÁN MEZŐ This equality will be used i the special case r = [GKP]: ] ] () [ +! := [ +! r = H.. Results up to the preset Our goal is to determie the sum of the series has the form H, m for all r ad possible m. To do this, we should determie the asymptotic behaviour of hyperharmoic umbers. I the paper [M] there is a skimped approximatio which helps us to get covergece theorems for hyperharmoic series. Namely, we have that r! r < H < 3 (r) r (r )! r, for all N ad r. Accordig to this result, the followigs were proved: H =, r ζ(s + ) r! < (r )! ζ(s) < 3 (r) r H < 3 (r) r ζ(s) (s > ), r+s (r )! r =, H r s H < r!ζ(s ) (s > ), where ζ is the Riema zeta fuctio ad r. 3. Asymptotic approximatio To have the exact asymptotic behaviour of hyperharmoic umbers we eed the followig iequality from [CG]. (3) ( + ) + l() + γ < H < + l() + γ where γ = is the Euler-Mascheroi costat. Now we formulate our first result. ( N), Lemma. For all N ad for a fixed order r we have H ( r l() ), (r )!

3 SUMMATION OF HYPERHARMONIC SERIES 3 that is, the quotiet of the left ad right had side teds to. Proof. The biomial coefficiet i () has the form + r ( + r )! = = ( + )( + ) ( + r ). r (r )!! (r )! It meas that for a fixed order r + r r (r )! r. For the coveiece let us itroduce the abbreviatio t := r. We should estimate the factor H +t H t i (). Accordig to (3), we get that H +t H t < ( + t) + l( + t) + γ l(t) γ. (t + ) Sice < ad l( + t) l(t) = l ( +t (+t) (+t) t H +t H t < l( + t). ), so The lower estimatio ca be deduced as follows H +t H t > ( + t + ) + l( + t) + γ t l(t) γ > From these we get that whece > l( + t) l(t) = l( + t) l(t e). l( + t) l(t e) < H +t H t < l( + t), l(t e) l( + t) < H +t H t l( + t) <. The limit of the left-had side formula is as teds to ifiity. Therefore (remember that t = r ) H +r H r l( + r ) l(). Collectig the results above we get the statemet of the Lemma. Corollary. The followig series are coverget H < +, m wheever m > r. Proof. Because of Lemma, H < C r l() m m uder the assumptio m r +. < C l() < +

4 4 ISTVÁN MEZŐ 4. Geeratig fuctios, Euler sums ad Hypergeometric Series I this sectio we itroduce the otios eeded i the proof. Geeratig fuctios. Let (a ) N be a real sequece. The the fuctio f(z) := a z is called the geeratig fuctio of (a ) N. If a = H we get that (see [GKP, BGG]) H z l( z) =, z ad i geeral (4) The geeratig fuctio (5) H l( z) z = ( z). r m! ( l( z))m = [ ] z m! ca be foud i [GKP, B]. The well kow polylogarithm fuctios ca also be cosidered as geeratig fuctios belog to a = (for a fixed k). k Li k (z) = z k (k =,,...). The last remarkable fuctio eeded by us is ( z) = + k z. k Euler sums. The geeral Euler sum is a ifiite sum whose geeral term is a product of harmoic umbers divided by some power of, see the comprehesive paper [FS]. The sum H = m m (m + )ζ(m + ) ζ(m k)ζ(k + ) was derived by Euler (see [BB] ad the refereces give there). Related series were studied by De Doelder i [dd] ad She [S], for istace. Hypergeometric series. The Pochhammer symbol is defied by the formula k= (6) (x) = x(x + ) (x + ),

5 SUMMATION OF HYPERHARMONIC SERIES 5 with special cases () =! ad (x) = x. The defiitio of the hypergeometric fuctio (or hypergeometric series) is the followig: a, a,..., a F m b, b,..., b m z (a ) k (a ) k (a ) k z k = (b ) k (b ) k (b m ) k k!. This fuctio will appear i the sum of the hyperharmoic umbers. We shall eed oe more statemet. k=0 Lemma 3. We have l(z) ( z)z dt = Li ( z) + l (z), ad for all r N l(z) ( z)z dz = r l(z) ( z)z r dz l(z) (r )z r (r ) z r, or, equivaletly, l(z) ( z)z dz = Li ( z) + r ( l(z) r l (z) kz + ). k k z k up to additive costats Proof. The defiitio of Li readily gives that Moreover, whece [ ] Li ( z) + l (z) = Li l(z) ( z) = z. [ ] l (z) = l(z), z k= z l(z) + ( z) l(z) ( z)z = l(z) ( z)z. The first statemet is proved. The secod oe also ca be deduced by differetiatio. The derivative of the right-had side has the form l(z) ( z)z (r )zr (r ) l(z)z r (r ) r (r ) (z r ) (r ) z = r = z l(z) ( z)z zr (r ) l(z)z r + r (r )(z r ) (r )z = r = zr+ l(z)(r ) z r ( z) + ( z)(r ) l(z)z r + z r ( z) (r )z r ( z) as we wat. = z l(z) + ( z) l(z) z r ( z) = l(z) z r ( z), =

6 6 ISTVÁN MEZŐ ad 5. The summatio formula For the sake of simplicity, we itroduce the otatios H S(r, m) :=, m B(k, m) := m+ F m (,,...,, k +,,..., ). After these itroductory steps we are ready to prove the mai theorem. Theorem 4. If r ad m r +, the S(r, m) = S(, m) + r k= [S(k, m ) B(k, m)]. k Proof. We begi with the geeratig fuctio (4). Divisio with z ad itegratio gives that H l( z) z = z( z) rdz. A itegral trasformatio gives that l( z) z( z) dz = r = Li (z) + r l ( z) k= k= l(z) ( z)z r dz = ( l( z) k( z) k + k ( z) k Accordig to (4) ad (5) oe ca write H [ ] z z = Li (z) +! ( r k ( ) H z + + k )z. k It is obvious that this series is diverget but the geeratig fuctios works well without ay restrictio. Let us deal with the secod term. The Stirlig umbers satisfy the recurrece relatio [ k ] [ ] = ( ) + k From this [ ] [ ] + = + [ ] = [ ] k ( > 0). [ ] + ( )! ( > 0). ).

7 SUMMATION OF HYPERHARMONIC SERIES 7 Now, () ca be rewritte as follows H = [ ] + =! ( )! Divisio with ad rearragemet give that [ ] = H!. Therefore the secod sum is [ ] z! = H z [ ] +. z. Sice the last member equals to Li (z), it cacels the first member of the sum above. Hece ( H H r z = z + H k z + k )z. k k= A easy iductio shows that (after dividig with z, itegratig, ad repeatig these steps (m )-times ad fially substitutig z = ) (7) H m ( r = S(, m)+ k S(r, m ) k k= ) + k. m The last step is the trasformatio of the last member. + k = ( + k )! m!(k )! = m (k )! ( + )( + ) ( + k ) = m (k )! () k m, because of the defiitio of the Pochhammer symbol i formula (6). O the other had, the defiitio of B(k, m) yields that (!) m (k + ) (k + ) B(k, m) = =. ( + )! m! ( + ) m! The ext coversio should be applied: k!(k + ) (k + )! = = ( + )( + ) ( + k) = ( + ) k.!! It meas that the equality (8) B(k, m) = ( + ) k k! ( + ) = () k m k! m

8 8 ISTVÁN MEZŐ holds. That is, + k = kb(k, m). m Cosiderig this ad (7) the result follows. 6. Tabular of the low-order sums I the followig tabulars we collect the low-order results of the Summatio Theorem. We used the followig idetities which ca be easily derived from (8) ad (6). B(, m) = ζ(m ), B(, m) = (ζ(m ) + ζ(m )), B(3, m) = 6 ζ(m 3) + ζ(m ) + ζ(m ). 3 A computatio with the mathematical package Maple shows that a improved accuracy ca be reached usig Theorem, i spite of calculatig the series term-by-term. Namely, the sum 0 5 H (4) 5 = , ad takes about 500 secods o a average persoal computer, while the closed form show below gives immediately the closer value H (4) 5 = ζ(3) 6 36 ζ(3) ζ(3) + ζ(5) with te digits accuracy , S(, m) Power of Closed form Approx. value m = 3 + ζ(3) m = m = ζ(3) +3ζ(5) ζ(3) m = ζ(7) 540 ζ(3) 90 ζ(3) ζ(5) + 6 m = 7 8 ζ(5)ζ(3) + 4ζ(7) m = 8 4 ζ(5) ζ(9) ζ(3) ζ(5) ζ(5)ζ(3) ζ(7) + 6

9 SUMMATION OF HYPERHARMONIC SERIES 9 m = ζ(7)ζ(3) ζ(5) ζ(9) 6 4 ζ(7) ζ(3) ζ(5) m = ζ() ζ(3) ζ(5) ζ(5) ( 4 ζ(7) ζ(7)ζ(3) 90) ζ(9) + 6 S(3, m) Power of Closed form Approx. value m = 4 ζ(3) + 3ζ(5) m = ζ(3) 3 4 ζ(3) ζ(3) m = ζ(7) 6 ζ(5) ζ(3) + ζ(5) 4 m = ( ) 4 ζ(3) ζ(5)ζ(3) ζ(5) + 6ζ(7) 4 4 m = ζ(5) 90 3ζ(5)ζ(3) + 3 ζ(7) ζ(9) S(4, m) Power of Closed form Approx. value m = 5 6 ζ(3) ζ(3) + ζ(5) m = ζ(3) 59 +ζ(5) ζ(7) m = ( ) ζ(3) ζ(3) ζ(3)ζ(5) 5 ζ(5) ζ(7) 3

10 0 ISTVÁN MEZŐ ( m = ζ(3) ) ζ(3) ( ζ(3)ζ(5) 6 ) ζ(5) ζ(7) ζ(9) Refereces [CG] J. H. Coway ad R. K. Guy, The book of umbers, New York, Spriger-Verlag, p , 996. [BGG] A. T. Bejami, D. Gaebler ad R. Gaebler A combiatorial approach to hyperharmoic umbers, INTEGERS: The Electoric Joural of Combiatorial Number Theory, Vol 3(003), p. -9, #A5. [GKP] R. L. Graham, D. E. Kuth ad O. Patashik, Cocrete Mathematics, Addiso Wesley, 993. [B] A. Z. Broder, The r-stirlig umbers, Disc. Math., 49(984), p [M] I. Mező, Some iequalities for hyperharmoic series, Advaces i Iequalities for Special Fuctios, Nova Sciece Publishers, p. -5. (006). [FS] F. Flajolet, B. Salvy, Euler Sums ad Cotour Itegral Represetatios, Exp. Math. 7(998), No.., p [BB] D. Borwei, J. M. Borwei, O a itriguig itegral ad some series related to ζ(4), Proc. Amer. Math. Soc. 3(995), [dd] P. J. De Doelder, O some series cotaiig ψ(x) ψ(y) ad (ψ(x) ψ(y)) for certai values of x ad y, J. Comp. Appl. Math. 37(99), 5-4. [S] L.-C. She, Remarks o some itegrals ad series ivolvig the Stirlig umbers ad ζ(), Tras. Amer. Math. Soc. 347(995), Istitute of Mathematics, Uiversity of Debrece, Hugary address: imezo@math.klte.hu URL: