arxiv: v2 [math.nt] 5 Nov 2013

Size: px

Start display at page:

Download "arxiv: v2 [math.nt] 5 Nov 2013"

Harold Russell
7 years ago
Views:

1 arxiv:29.64v2 [math.nt] 5 Nov 23 EULER SUMS OF HYPERHARMONIC NUMBERS Ayha Dil Departmet of Mathematics, Adeiz Uiversity, 758 Atalya Turey adil@adeiz.edu.tr Khristo N. Boyadzhiev Departmet of Mathematics ad Statistics, Ohio Norther Uiversity Ada, Ohio 458, USA, -boyadzhiev@ou.edu Abstract The hyperharmoic umbers are defied by meas of the classical harmoic umbers. We show that the Euler-type sums with hyperharmoic umbers: m ca be expressed i terms of series of Hurwitz zeta fuctio values. This is a geeralizatio of a result of Mező ad Dil. We also provide a explicit evaluatio of σ(r,m) i a closed form i terms of zeta values ad Stirlig umbers of the first id. Furthermore, we evaluate several other series ivolvig hyperharmoic umbers. 2 Mathematics Subject Classificatio: B73, M99 Keywords ad Phrases: Riema zeta fuctio, Hurwitz zeta fuctio, Euler sums, harmoic ad hyperharmoic umbers, Stirlig umbers, Beta fuctio. Itroductio I this paper we are iterested i Euler-type sums with hyperharmoic umbers σ(r,m) (see defiitios () ad (2) below). Such series could be of iterest i aalytic umber theory. We will show that these sums are related to the values of the Riema zeta fuctio. I [7] the authors cosidered the case r =. Here we exted this result to r >. I the secod sectio we express σ(r,m) as a special series ivolvig zeta values. I the third sectiowe evaluateσ(r,m) asafiite sum icludig Stirlig umbers of the first id, zeta values, ad values of the digamma (psi) fuctio.

2 I the last fourth sectio we use certai itegral represetaios to evaluate several series with hyperharmoic umbers. For example, ad (+)...(+r) = π2 6r! B(r+,+) =.. Defiitios ad otatio The -th harmoic umber is defied by the -th partial sum of the harmoic series H := ( N := {,2,3,...}), () where the empty sum H is covetioally uderstood to be zero. Startig with h () = ( N), the th hyperharmoicumberh(r) of order r is defied by (see [4], see also [7]): := h (r ) (r N). (2) It is easy to see that h () := H ( N). These umbers ca be expressed i terms of biomial coefficiets ad ordiary harmoic umbers (see [4, 7]): = ( +r r ) (H +r H r ). (3) The well-ow geeratig fuctios of the harmoic ad hyperharmoic umbers are give as H x = l( x) (4) x ad x = l( x) ( x) r. (5) Euler discovered the followig formula (see, e.g., [5, ])): m 2 2 ζ H (m) = (m+2)ζ(m+) ζ(m )ζ(+) (m N\{}), (6) where ζ H (m) = H ad ζ(s) is the Riema zetafuctio, ad, throughout this paper the empty sum uderstood to be il m. 2

3 For certai pairs of positive itegers r ad m, several authors have evaluated the Euler sums H (r) S(r,m) = m, where H (r) deotes the geeralized harmoic umbers of order r defied by H (r) = + 2 r + + r = r (see [, 5] ad for a elemetary procedure [3]). I the earlier wors have bee doe with S(r,m), i this paper, we wat to give a closed form of the followig sum: h (r) m. Usig the relatio (3), Mező ad Dil ([7], Corollary 3) foud that the series σ(r,m) coverges for m > r, i.e., < (m > r). m A rearragemet trasforms σ(r,m) ito the followig sum ([7], Theorem 4) : h (r ) ζ(m,) (r N; m r+), (7) where ζ(s,a) is the Hurwitz (or geeralized) zeta fuctio defied by ζ(s,a) = = (+a) s ( Re(s) > ; a / Z ), where Z := {,, 2,...}. Usig (6) ad (7), Mező ad Dil ([7], p. 364) obtaied the followigidetity: 2 ζ(m,) m 2 = (m+2)ζ(m+) ζ(m )ζ(+) (m N\{}). 2 Euler Sums of Hyperharmoic Numbers The followig theorem provides a geeral versio of the Equatio (7). (8) 3

4 Theorem For < r < m (,r,m N := N {}), we have m = h (r ) ζ(m,i ), (9) where i i 2 i < Proof. From (7) we have ζ(m,i ) = A rearragemet of () gives h (r) m = i i 2 i <... i =i 2=i j= h (r 2) i =i ζ(m,i ). () h (r 2) j ζ(m,). () ζ(m,i ). (2) i = Usig a similar argumet, after -steps we obtai the desired result. Remar 2 Let us cosider two special cases of (9). To express the Euler sums of hyperharmoic umbers σ(r, m) i terms of the multiple sums of Hurwitz zeta fuctio we set = r to have i ζ(m,i i 2 i r < r ). (3) Also the case = r 2 gives H i i 2 i r 2< ζ(m,i r 2 ), (4) which is a represetatio of σ(r,m) i terms of harmoic umbers ad the multiple sums of Hurwitz zeta fuctio. 3 A closed form of σ(r,m) We shall preset a closed form evaluatio of the followig sum: h (r), where m r+. m I the ext theorem we use a ow closed form evaluatio of the followig series recalled i Lemma 3 below: µ(m,r) = m (+r) ad the usiged Stirlig umbers of the first id [ ]. 4

5 Lemma 3 ( [2]) For every positive iteger m ad every r > µ(m,r) = m ( ) ζ(m +) r + ( )m r m (Ψ(r+)+γ), (5) where Ψ(s) is the Psi (or digamma) fuctio defied by Ψ(s) = Γ (s) Γ(s) ad γ = Ψ() is the Euler-Mascheroi costat. Theorem 4 For r,m N with r < m, we have r [ ] r (r )!. ζ r H (m +) H r ζ(m +)+ µ(m +,j). (6) Proof. Usig the well-ow expasio: we get Hece, h (r+) x(x+)...(x+ ) = j= [ ] x, = ( ) +r = r+ [ ] r+. r r! = r+ [ ] r + (H +r H r ) r! = r+ [ r + r! Now we ca write m = (r )! Therefore, ] ( H r H r ). r [ ] r H m + H r r m + +. m + (+j) m = (r )! r [ ] { r H m + j= j= r H r m + + m + (+j). 5

6 I view of (5), we obtai (6). Next we cosider two particular cases r = 2 ad 3 of σ(r,m). Case r = 2. By cosiderig the case r = 2 i (6) we get σ(2,m) = ζ H (m )+ζ H (m) ζ(m ). (7) With the aid of Theorem, equatio (7) ca be writte as σ(2,m) = H ζ(m,) = ζ H (m )+ζ H (m) ζ(m ). (8) Settig m = 3 i (8) we obtai σ(2,3) = ad for m = 4 we have σ(2,4) = ad so o. Case r = 3. By (9) ad (6) we have H ζ(3,) = 2ζ(3)+ 5 ζ(4) ζ(2) (9) 4 H ζ(4,) = 5 ζ(4)+3ζ(5) ζ(2)ζ(3) ζ(3) (2) 4 σ(3,m) = h (2) ζ(m,) = 2 ζ H (m 2)+ 3 2 ζ H (m )+ζ H (m) 5 4 ζ(m ) 3 4 ζ(m 2) Settig m = 4 i the above equatio we obtai σ(3,4) = h (2) ζ(4,) = 5 6 ζ(4)+ζ H (4) 4 ζ(3) 3 ζ(2). (2) 4 4 Some series with hyperharmoic umbers I this sectio we evaluate some specific series ivolvig hyperharmoic umbers. Propositio 5 (+)(+2)...(+r+) = r! (r N ). (22) 6

7 Proof. Usig the formula (see [6]) we ca write r! r! t ( t) r dt = t ( t) r dt = With the help of (5), we get (+)(+2)...(+r+) = r! This equatio completes the proof, sice (+)(+2)...(+r+), (23) (+)(+2)...(+r +). (24) l( t)dt. (25) l( t)dt =. (26) Propositio 6 (+)...(+r) = π2 6r! (27) Proof. I the same way as i the proof of Propositio 5, usig (23), we ca write t ( t) r dt r! t = (28) (+)...(+r) from which it follows that (+)...(+r) = r! Now, usig the followig ow formula (see [6]): we obtai (27). l( t) dt. (29) t l( t) dt = π2 t 6, (3) Remar 7 Our results i Propositios 5 ad 6 are ivolved i the Beta fuctio B(x,y) defied by (see [9]): B(x,y) = t x ( t) y dt, (3) 7

8 where Re(x) > ad Re(y) >. I view of the followig relatio: B(r+,+) = Γ(r +)Γ(+) Γ(r++2) = r!! (r ++)! = r! (+)(+2)...(+r+), the Equatios (22) ad (27), respectively, ca be writte i the followig forms: h (r) B(r+,+) = (32) ad B(r+,) = π2 6. At theed ofthis sectiowegivetwospecificseriesassociatedwith harmoic umbers. Their proofs cosist of routie maipulatio with the geeratig fuctio (5). Therefore we omit proofs. Propositio 8 The followig equatios hold. ad m= m= ( ) m+ (2m+2+3) (m+)(m+2+2) H m = 2l2 = ( ) m+ 2 (m+)(m+2+) H m = 2l2 Refereces = j j= j= j j ( ), j ( ). [] D. Borwei, J. M. Borwei ad R. Girgesoh, Explicit evaluatio of Euler sums. Proc. Ediburgh Math. Soc. 38 (2), (995), [2] K. N. Boyadzhiev, Evaluatio of Euler-Zagier sums, It. J. Math. Math. Sci. 27 (2), o. 7, [3] K. N. Boyadzhiev, Cosecutive evaluatio of Euler sums. Iterat. J. Math. Math. Sci., 29:9, (22) [4] J. H. Coway ad R. K. Guy, The Boo of Numbers (New Yor, Spriger-Verlag, 996). [5] P. Flajolet ad B. Salvy, Euler Sums ad Cotour Itegral Represetatios. Experimetal Mathematics, 7, (), (998) [6] A. Jeffrey ad D. Zwilliger (editors), Gradshtey ad Ryzhi s Table of Itegrals, Series, ad Products, Seveth Editio, (27). 8

9 [7] I. Mezo ad A. Dil, Hyperharmoic series ivolvig Hurwitz zeta fuctio. Joural of Number Theory, 3, (2) (2) [8] A. P. Prudiov, Yu A. Brychov ad O. I. Marichev, Itegrals ad Series. Elemetary Fuctios (Gordo ad Breach, New Yor-Lodo, 986). [9] A. P. Prudiov, Yu A. Brychov ad O. I. Marichev, Itegrals ad Series. Vol. 2. Special Fuctios (Gordo ad Breach, New Yor- Lodo, 986). [] R. S. R. C. Rao ad A. S. R. Sarma, Some idetities ivolvig the Riema zeta fuctio. Idia J. Pure Appl. Math., (979) Acowledgmet. This wor is supported by the Adeiz Uiversity Scietific Research Projects Uit ad TÜBİTAK (Scietific ad Techological Research Coucil of Turey). 9

A probabilistic proof of a binomial identity

A probabilistic proof of a binomial identity A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two