arxiv: v3 [math.nt] 9 May 2011

Transcription

1 ON HARMONIC SUMS AND ALTERNATING EULER SUMS arxiv:02.592v3 [math.nt] 9 May 20 ZHONG-HUA LI Department of Mathematics, Tongji University, No. 239 Siping Road, Shanghai , China Graduate School of Mathematical Sciences, The University of Toyo, 3-8- Komaba, Meguro, Toyo , Japan address: lizhmath@gmail.com Abstract. The explicit formulas expressing harmonic sums via alternating Euler sums (colored multiple zeta values) are given, some explicit evaluations are given as applications. Keywords: Harmonic sums, Alternating Euler sums, Multiple zeta values. 200MSC: M32, 40B05. Introduction Let N be the set of natural numbers. For n,r N, a generalized harmonic number H n (r) is defined by n H n (r) := j r, j= which is a natural generalization of the harmonic number n H n := H n () = j. Similarly, let H (r) n := n j= j= ( ) j+ denote the alternating harmonic numbers. Let Z be the set of integers. For n,r,r 2,...,r l Z\{0} with n 2, we define the harmonic sum (.) S(n;r,r 2,...,r l ) := = j r X (r) X (r2) X (r l) ( +) n, where X (ri) = H (ri) if r i > 0, X (ri) = H ( ri) otherwise. In below, if r < 0, we will denote it by r. Similarly, for n N, we define S( n;r,r 2,...,r l ) := ( ) +X(r) X (r2) X (r l) (.2) ( +) n. = We call n + r + + r l the weight of the harmonic sum S(n;r,...,r l ). Note that for any permutation σ S l, we have S(n;r σ(),...,r σ(l) ) = S(n;r,...,r l ).

2 For example, for n,m N with n 2, we have ( S(n;{} m ) = ) m ( +) n, = which is just S h (m,n) defined in [, 4], S(n;{ } m ) = ( = ( )+ ) m ( +) n, which is just S a (m,n) defined in [, 4]. For n,m N, we have ( S( n;{} m ) = ) m ( ) + ( +) n, = which is just a h (m,n) defined in [, 4], ) m S( n;{ } m 2 ( )+ ( ) + ) = ( + + ( +) n, = which is just a a (m,n) defined in [, 4]. Here we adopt the convenience that {s} m means the string s repeats m times. The study of these harmonic sums was started by Euler. After that many different methods, including partial fraction expansions, Eulerian Beta integrals, summation formulas for generalized hypergeometric functions contour integrals, have been used to evaluate these sums. For details historical introductions, please see [, 3, 4, 7, 8, 9, 0, 4] references therein. As in [6], for,..., n N, we define the alternating Euler sums (colored multiple zeta values) by σ m σn mn (.3) ζ(,..., n ;σ,...,σ n ) :=, (,σ ) (,), m mn n m > >m n>0 where σ i = ± for all i n. We call + + n the weight n the depth. As usual, if σ i = then i will be used. For example, we have ( ) n ζ( ) = ζ(; ) = = log2. n m= If σ = = σ n =, then we get the well studied multiple zeta value ζ(,..., n ) =, ( 2). m mn n m > >m n>0 Whenl =, theharmonicsumss(n;r )reducetodoublealternatingeulersums. In fact, we have S(n;r) = ζ(n,r) S(n; r) = ζ(n, r) for n 2, r, S( n;r) = ζ( n,r) S( n; r) = ζ( n, r) for n,r. More generally, Flajolet Salvy stated in [0] that every S(n;r,...,r l ) for n,r,...,r l N with n 2 is a Q-linear combination of multiple zeta values. However they didn t give the explicit formula didn t use this fact as their main tools of [0]. Now alternating Euler sums, especially multiple zeta values, are well developed since 990s. (One can find the list of references on multiple zeta values Euler sums till now in the web of homepage of Professor M. E. Hoffman.) So we thin it is the time to give the explicit relation between the harmonic sums S(n;r,...,r l ) alternating Euler sums, then treat S(n;r,...,r l ) using the results of alternating Euler sums. 2

3 This short note is devoted to this tas. In Section 2, we give the explicit formulas expressing harmonic sums by alternating Euler sums. In Section 3, we give some explicit evaluations as applications. 2. Represented by alternating Euler sums Let S be the free abelian group generated by all finite sequences of nonzero integers. For two sequences α = (,..., l ),β = ( l+,..., l+r ) S, we define (α,β) to be the sequence (,..., l, l+,..., l+r ) concatenating α β. Then for α = a i α i,β = b j β j S with a i,b j Z α i,β j being sequences, we define (α,β) = a i b j (α i,β j ). Now we define the harmonic shuffle product in S by linearities the axioms: where α = α = α, for any sequence α; (,α) (l,β) = (,α (l,β)) + (l,(,α) β) + (p( + l),α β), for any,l Z\{0} any sequences α,β, +l, if,l > 0, p( +l) = l, if,l < 0, l, if > 0,l < 0, +l, if < 0,l > 0, is the length zero sequence. For example, we have () () = (,)+(,)+(2) = 2(,)+(2), () () () = 2() (,)+() (2) = (3)+3(,2)+3(2,)+6(,,), () ( 2) = (, 2)+( 2,)+( 3), ( ) ( 2) = (, 2)+( 2, )+(3). If we only consider sequences of positive integers, the harmonic product is just the one defined algebraically in [2, 3]. For any α = a i α i S, we define ζ(α) = a i ζ(α i ) if ζ(α i ) exists for any i. For example, if α = 2(, )+(2), we have ζ(α) = 2ζ(, )+ ζ(2). Then it is easy to see that ζ(α)ζ(β) = ζ(α β), where α = (,..., n ),β = (l,...,l m ) S with 2 if > 0 l 2 if l > 0. Now by the definitions, we obtain the main theorem of this section. Theorem 2.. For any n,r,r 2,...,r l Z\{0} with n 2 if n > 0, we have (2.) S(n;r,r 2,...,r l ) = ( ) ζ(n,(r ) (r 2 ) (r l )), 3

4 where = {i r i < 0}. In particular, every S(n;r,...,r l ) is a Z-linear combination of alternating Euler sums of weight n + r + + r l depth at most l+. A special case of the above theorem is Theorem 2.2. For any n,r,r 2,...,r l N with n 2, we have (2.2) S(n;r,r 2,...,r l ) = ζ(n,(r ) (r 2 ) (r l )). In particular, every S(n;r,...,r l ) is a Z-linear combination of multiple zeta values of weight n+r + +r l depth at most l+. (2.3) (2.4) (2.5) (2.6) For example, we have S(n;{} 2 ) =ζ(n,2)+2ζ(n,,), S(n;{} 3 ) =ζ(n,3)+3ζ(n,2,)+3ζ(n,,2)+6ζ(n,,,), S(n;{ } 2 ) =ζ(n,2)+2ζ(n,, ), S(n;{ } 3 ) = ζ(n, 3) 3ζ(n,2, ) 3ζ(n,,2) 6ζ(n,,, ), S(n;, 2) = ζ(n, 3) ζ(n,, 2) ζ(n, 2,), S(n;, 2) = ζ(n,3)+ζ(n,, 2)+ζ(n, 2, ). In the special case r = r 2 =... = r l, we can get more explicit formula as stated in the following corollary. Corollary 2.3. For any n Z\{0},r N with n 2 if n > 0, we have S(n;{r}! (2.7) ) = a! a l! ζ(n,ra,ra 2,...,ra l ), (2.8) where we define (2.9) S(n;{ r} ) =( ) a + +a l = a i >0 a + +a l = a i >0 ra i, if a i is even, ra i = ra i, if a i is odd.! a! a l! ζ(n, ra, ra 2,..., ra l ), The corollary is an immediate consequence of Theorem 2. the following lemma. Lemma 2.4. For any,r N, we have (r)! (2.0) = a! a l! (ra,ra 2,...,ra l ), (2.) ( r) = a + +a l = a i >0 a + +a l = a i >0! a! a l! ( ra, ra 2,..., ra l ), 4

5 where ra i is defined in (2.9). Proof. We give the proof of (2.). The proof of (2.0) is similar easier. We use induction on. The initial value = is trivial. We now assume that > 0. By induction assumption, we have Now we have ( r) = ( r) a + +a l = a i >0 ( )! a! a l! ( ra, ra 2,..., ra l ). l+ ( r) ( ra, ra 2,..., ra l ) = ( ra,..., ra i, r, ra i+,..., ra l ) which induces (2.2) ( r) = + i= + l ( ra,..., ra i, r(ai +), ra i+,..., ra l ), i= b + +b l = b j >0, b i = l i= ( )! b!...b l! ( rb,..., rb l ) b + +b l = b j >0,b i > ( )!b i b! b l! ( rb,..., rb l ). The second term of the right-h side of (2.2) equals l i= + b + +b l = b j > l l a= i= ( )!b i b! b l! ( rb,..., rb l ) b + +b l = b j >0,ba=,b i > ( )!b i b! b l! ( rb,..., rb l ), which is + b + +b l = b j > l a= l i= i a! b! b l! ( rb,..., rb l ) b + +b l = b j >0,ba=,b i > ( )!b i b! b l! ( rb,..., rb l ). The equation (2.) follows from the above formula (2.2). We remar that one can also prove Corollary 2.3 by using the multinomial theorem (x +x 2 + +x n )! = a! a n! xa xan n. a + +an= a i 0 5

6 We give two more examples. For n Z\{0} with n 2 if n > 0, we have (2.3) (2.4) S(n;{} 4 ) =ζ(n,4)+4ζ(n,3,)+4ζ(n,,3)+6ζ(n,2,2)+2ζ(n,2,,) +2ζ(n,,2,)+2ζ(n,,,2)+24ζ(n,,,,), S(n;{ } 4 ) =ζ(n,4)+4ζ(n, 3, )+4ζ(n,, 3)+6ζ(n,2,2)+2ζ(n,2,, ) +2ζ(n,,2, )+2ζ(n,,,2)+24ζ(n,,,, ). In the end of this section, we state a result, which can be regarded as a generalization of [0, Theorem 5. (i)]. Proposition 2.5. For any positive integers n,m with n 2, we have m ( ) m l S(n;r,...,r l ) = ζ(n,{} m ). l! r r l r + +r l =m r i >0 The above proposition is a direct consequence of Theorem 2.2 the following lemma. Lemma 2.6. For any m N, we have m ( ) m l (2.5) l! r + +r l =m r i >0 r r l (r ) (r 2 ) (r l ) = ({} m ), which holds in S + Z Q, where S + is the free abelian group generated by all finite sequences of positive integers. Proof. Let h = Q x,y be the Q-algebra of polynomials in two noncommutative variablesx y. It hasa subalgebrah = Q+hy, which is a free algebragenerated by z = x y for =,2,... There is a commutative product in h, we can identity S + Z Q with (h, ) by the identification (,..., n ) z z n (see [2, 3]). Now the equivalent equation of (2.5) in h is the following m ( ) m l (2.6) z r z r2 z rl = y m. l! r r l r + +r l =m r i >0 We compute the generating function of the left-h side of (2.6) as the following m ( ) m l + z r z r2 z rl u m l! r r l = m= r + +r l =m r i >0 ( ( ) l ) l ( ( ) n ) l! n z nu n ( ) n = exp z n u n. n l=0 n= Then equation (2.6) is equivalent to ( ) ( ) n exp z n u n = n n= which is a special case of [3, Eq. 4.6]. We list some examples. For m = 2, we get n= yu, S(n;,) = ζ(n,2)+2ζ(n,,). 6

7 which is just the last equation in [4]. When m = 3, we get S(n;,,) 3S(n;2,) = 2ζ(n,3)+6ζ(n,,,), which can deduce the fact that if n is even, then S(n;,,) 3S(n;2,)is expressible in terms of zeta values ([0, Theorem 5.(i)]). When m = 4, we get S(n;{} 4 ) 6S(n;2,,)+8S(n;3,)+3S(n;2,2) = 6ζ(n,4)+24ζ(n,{} 4 ), whichimpliesthatifnisodd, thens(n;{} 4 ) 6S(n;2,,)+8S(n;3,)+3S(n;2,2) is expressible in terms of zeta values. We first give a typical example (3.) S(2;,) = 3. Some explicit evaluations n= which is [4, Eq.(2)]. By (2.3), we have ( ) 2 n (n+) 2 = 4 ζ(4), S(2;,) = ζ(2,2)+2ζ(2,,). Hence (3.) follows from the facts ζ(2,2) = 3 4ζ(4) ζ(2,,) = ζ(4). Through this example, we see that using Theorem 2. to treat harmonic sums, one should now the information of alternating Euler sums as much as possible. 3.. Relations evaluations for multiple zeta values. We first recall some relations among multiple zeta values, including duality formula, sum formula, double shuffle relation Aomoto-Drinfel d-zagier formula. For a sequence = (a +,{} b,a 2 +,{} b2,...,a s +,{} bs ) with a,b,...,a s,b s,s N,thedualsequenceofisdefinedas = (b s +,{} as,...,b 2 +,{} a2,b +,{} a ). Then the duality formula ([5]) claims that (3.2) ζ() = ζ( ). Sum formula was conjectured in [5] first proved in [], which says that the sum of multiple zeta values of fixed weight depth is independent of depth. More explicitly, for any,n N with > n, we have (3.3) ζ(,..., n ) = ζ(). + +n= 2, 2,...,n Double shuffle relation is deduced from the fact that we have two ways to write a product of two multiple zeta values as a Z-linear combination of multiple zeta values. We may state this relation as (3.4) ζ()ζ(l) = ζ( l) = ζ( Xl), where = (,..., n ),l = (l,...,l m ) are sequences of positive integers with,l 2, X is the shuffle product. For details, one can refer to [3]. The Aomoto-Drinfel d-zagier formula reads ( ) ζ(m+,{} n )x m y n = exp ζ(n) xn +y n (x+y) n (3.5), n m,n= 7 n=2

8 which implies that for anym,n N, the multiple zeta value ζ(m+,{} n ) can be represented as a polynomial of zeta values with rational coefficients. In particular, one can find explicit formulas for small weights. Now we list some evaluations of multiple zeta values via zeta values, which will be used in the next subsection. For weight 5, we have (3.6) (3.7) (3.8) ζ(4,) = ζ(2)ζ(3)+2ζ(5), ζ(3,2) = 3ζ(2)ζ(3) 2 ζ(5), ζ(2,3) = 2ζ(2)ζ(3)+ 9 2 ζ(5). We give the proof of the above evaluations. The evaluation (3.6) follows from Aomoto-Drinfel d-zagier formula. Double shuffle relation ζ(2)ζ(3) = ζ(2, 3) + ζ(3,2)+ζ(5) = ζ(2,3)+3ζ(3,2)+6ζ(4,) (3.6) deduce (3.7) (3.8). For weight 6, we have (3.9) (3.0) ζ(5,) = 2 ζ(3) ζ(6), ζ(4,2) = ζ(3) ζ(6), (3.) (3.2) (3.3) (3.4) (3.5) (3.6) ζ(3,3) = 2 ζ(3)2 2 ζ(6), ζ(2,4) = ζ(3) ζ(6), ζ(4,,) = ζ(3) ζ(6), ζ(3,2,) = 3ζ(3) ζ(6), ζ(3,,2) = 3 2 ζ(3) ζ(6), ζ(2,2,2) = 3 6 ζ(6). The evaluations (3.9) (3.3) follow from Aomoto-Drinfel d-zagier formula under the helps of the facts ζ(2) = π 2 /6, ζ(4) = π 4 /90 ζ(6) = π 6 /945. The harmonic shuffle product ζ(3)ζ(3) = 2ζ(3, 3) + ζ(6) gives (3.). The double shuffle relation ζ(2)ζ(4) = ζ(2,4)+ζ(4,2)+ζ(6) = ζ(2,4)+4ζ(4,2)+2ζ(3,3)+8ζ(5,), evaluations for ζ(3, 3), ζ(5, ), ζ(2), ζ(4), ζ(6) deduce (3.0) (3.2). Using the duality ζ(2,3,) = ζ(3,,2), we have the double shuffle relation ζ(2)ζ(3,) =ζ(3,2,)+2ζ(3,,2)+ζ(5,)+ζ(3,3) =4ζ(3,2,)+2ζ(3,,2)+9ζ(4,,), which together with evaluations for ζ(5,),ζ(4,,),ζ(2),ζ(3,) imply (3.4) (3.5). Finally, the evaluation (3.6) is a special case of the following more general formula ζ({2} n π 2n ) =, (n N). (2n+)! The above evaluations should have appeared in the existing literatures. We list prove them here is to emphasize that we can obtain them formally. 8

9 3.2. Evaluations for S(n;{} ). We give the formal proofs of some evaluations of S(n;{} ) listed in [, Table 3] of weights up to 6. Proposition 3.. The following evaluations hold (3.7) (3.8) (3.9) S(2;{} 3 ) =ζ(2)ζ(3)+ 5 2 ζ(5), S(3;{} 3 ) = 33 6 ζ(6)+2ζ(3)2, S(2;{} 4 ) =3ζ(3) ζ(6). Note that (3.9) is an experimental detected formula in []. Proof. We have S(2;{} 3 ) = ζ(2,3)+3ζ(2,2,)+3ζ(2,,2)+6ζ(2,,,). Duality formula gives that ζ(2,2,) = ζ(3,2), ζ(2,,2) = ζ(2,3) ζ(2,,,) = ζ(5). Hence we have Now we get (3.7) by (3.7) (3.8). We have S(2;{} 3 ) = 4ζ(2,3)+3ζ(3,2)+6ζ(5). S(3;{} 3 ) = ζ(3,3)+3ζ(3,2,)+3ζ(3,,2)+6ζ(3,,,). Then the duality ζ(3,,,) = ζ(5,) (3.9), (3.4), (3.5) imply (3.8). Finally, we have S(2;{} 4 ) =ζ(2,4)+4ζ(2,3,)+4ζ(2,,3)+6ζ(2,2,2)+2ζ(2,2,,) Sum formula gives +2ζ(2,,2,)+2ζ(2,,,2)+24ζ(2,,,,). ζ(2,2,,)+ζ(2,,2,)+ζ(2,,,2) = ζ(6) ζ(3,,,), ζ(2,3,)+ζ(2,,3)+ζ(2,2,2) = ζ(6) ζ(3,2,) ζ(3,,2) ζ(4,,). Hence we have S(2;{} 4 ) =40ζ(6) 2ζ(5,)+ζ(2,4) 4ζ(4,,) 4ζ(3,2,) 4ζ(3,,2)+2ζ(2,2,2). Here we have used the dualities ζ(3,,,) = ζ(5,) ζ(2,,,,) = ζ(6). Now the evaluation (3.9) follows from (3.9), (3.2), (3.3), (3.4), (3.5) (3.6). Of course, we thin one can continue to give formal proofs of the other experimentally detected formulas for S(n;{} ) in [, Table 3]. In fact, we have checed that the formulas for S(4;{} 3 ), S(3,{} 4 ) S(2;{} 5 ) in [, Table 3] should be proved if we adopt the evaluation formulas for triple zeta values of weight 7 given in [5]. 9

10 3.3. Alternating harmonic sums. We present here, as an example, the evaluations of alternating harmonic sums of weight 3. As done in above, we have to obtain the evaluations of alternating Euler sums of weight 3. First, note that ζ( ) = log2 ζ( n) = (2 n )ζ(n) for n N with n 2. Then using (regularized) double shuffle relation([2, 6]), we obtain the following formulas: ζ(,) = 2 log2 2, ζ(, ) = 2 log2 2 2 ζ(2), ζ(2, ) = 3 2 ζ(2)log2+ζ(3), ζ( 2,) = 8 ζ(3), ζ( 2, ) = 3 3 ζ(2)log2 2 8 ζ(3), ζ(,2) = 2 ζ(2)log2 4 ζ(3), ζ(, 2) = ζ(2)log ζ(3), ζ(,,) = 6 log3 2, ζ(,, ) = 6 log ζ(3), ζ(,,) = 6 log ζ(2)log2 7 8 ζ(3), ζ(,, ) = 6 log ζ(2)log2 4 ζ(3). Note that they are the same as that given in [2]. The two formulas of weight 2 follow from the double shuffle relation ζ( )ζ( ) = 2ζ(, ) + ζ(2) = 2ζ(,). For the weight 3 cases, we have 4 pairs double shuffle relations: ζ(2)ζ( ) = ζ(2, )+ζ(,2)+ζ( 3) = ζ(2, )+ζ( 2, )+ζ(, 2), ζ( 2)ζ( ) = ζ( 2, ) + ζ(, 2) + ζ(3) = ζ(,2) + 2ζ( 2,), ζ( )ζ(,) = 2ζ(,,) + ζ(,, ) + ζ(2,)+ζ(, 2) = 3ζ(,,), ζ( )ζ(, ) = 3ζ(,, )+ζ(2, )+ζ(,2) = 2ζ(,, )+ ζ(,, ). By computing the shuffle harmonic shuffle of () ( 2), we get a regularized double shuffle relation ζ( 2, )+ζ( 3) = ζ(2, )+ζ( 2, ). Then using these 9 equations the evaluations for weight 2, we obtain the evaluations for weight 3. Now we have the evaluations for alternating harmonic sums of weight 3. Proposition 3.2. We have the evaluations S(2; ) = 3 2 ζ(2)log2 ζ(3), S( 2;) = 8 ζ(3), S( 2; ) = 3 3 ζ(2)log ζ(3), S( ;2) = 2 ζ(2)log2 4 ζ(3), S( ;,) = 3 log ζ(2)log2 4 ζ(3), S( ;, ) = 3 log ζ(2)log2+ 8 ζ(3), S( ;, ) = 3 log ζ(2)log2 3 4 ζ(3). 0

11 Proof. The evaluations follow from Theorem 2. evaluation formulas for alternating Euler sums of weight 3 given above. We finally remar that using the table in [2] for alternating Euler sums of weight 4, one can obtain evaluation formulas for harmonic sums of weight 4 in terms of log2,ζ(2),ζ(3),ζ(4) an undetermined sum ζ( 3,), which can be represented via Li 4 (/2) by using duality formula for ζ(,,,). References [] D. H. Bailey, J. M. Borwein R. Girgensohn, Experimental evaluation of Euler sums, Experimental Math. 3()(994), [2] M. Bigotte, G. Jacob, N. E. Oussous M. Petitot, Lyndon words shuffle algebras for generating the coloured multiple zeta values relations tables, Theoretical Computer Sciences 273(2002), [3] D. Borwein J. M. Borwein, On an intriguing integral some series related to ζ(4), Proc. Amer. Math. Soc. 23(4)(995), [4] D. Borwein, J. M. Borwein R. Girgensohn, Explicit evaluation of Euler sums, Proc. Edinburgh Math. Soc. 38(995), [5] J. M. Borwein R. Girgensohn, Evaluation of triple Euler sums, Electron. J. Combin. 3(996), #R23, -27. [6] J. M. Borwein, D. M. Bradley D. J. Broadhurst, Evaluations of -fold Euler/Zagier sums: a compendium of results for arbitrary, Electron. J. Combin. 4(2)(997), #R5, -2. [7] J. Choi H. M. Srivastava, Explicit evaluation of Euler related sums, Ramanujan J. 0(2005), [8] W. Chu, Hypergeometric series the Riemann zeta function, Acta Arith. 82(997), [9] P. J. de Doelder, On some series containing ψ(x) ψ(y) (ψ(x) ψ(y)) 2 for certain values of x y, J. Comput. Appl. Math. 37(99), [0] P. Flajolet B. Salvy, Euler sums contour integral representations, Experimental Math. 7()(998), [] A. Granville, A decomposition of Riemann zeta-function, in Analytic Number Theory, London Math. Soc. Lecture Notes Ser., Vol. 247, Cambridge University Press, Cambridge, 997, [2] M. E. Hoffman, The algebra of multiple harmonic series, Journal of Algebra, 94(997), [3] K. Ihara, M. Kaneo D. Zagier, Derivation double shuffle relations for multiple zeta values, Compositio Math. 42(2006), [4] L. -C. Shen, Remars on some integrals series involving the Stirling numbers ζ(n), Trans. Amer. Math. Soc. 347(4)(995), [5] D. Zagier, Values of zeta functions their applications, in First European Congress of Mathematics, Vol. II (Paris, 992), volume 20 of Progr. Math., pages Birhäuser, Basel, 994. [6] J. Zhao, On a conjecture of Borwein, Bradley Broadhurst, J. reine angew. Math. 639(200),