arxiv: v2 [math.nt] 1 Nov 2018

Transcription

1 WEIGHTED SUM FORMULAS OF MULTIPLE ZETA VALUES WITH EVEN ARGUMENTS arxiv: v [mathnt] 1 Nov 018 ZHONGHUA LI AND CHEN QIN Abstract We prove a weighted sum formula of the zeta values at even arguments, a weighted sum formula of the multiple zeta values with even arguments its zeta-star analogue The weight coefficients are given by (symmetric) polynomials of the arguments These weighted sum formulas for the zeta values for the multiple zeta values were conjectured by L Guo, P Lei J Zhao 1 Introduction For a positive integer n a sequence = ( 1,, n ) of positive integers with 1 > 1, the multiple zeta value ζ() the multiple zeta-star value ζ () are defined by the following infinite series 1 ζ() = ζ( 1,, n ) = ζ () = ζ ( 1,, n ) = m 1> >m n 1 m 1 m n 1 m 1 1 mn n 1 m 1 1 mn n respectively The number n is called the depth In depth one case, both ζ() ζ () are special values of the Riemann zeta function at positive integer arguments The study of these values may be traced bac to L Euler Among other things, L Euler found the following sum formula or equivalently, 1 ζ (i, i) = ( 1)ζ(), 3, i= 1 ζ(i, i) = ζ(), 3 i= There are many generalizations variations of the sum formula, among which we mention some weighted sum formulas at even arguments In [], the following, Date: November, Mathematics Subject Classification 11M3,11B68 Key words phrases Multiple zeta values, Multiple zeta-star values, Bernoulli numbers, Weighted sum formulas The first author is supported by the National Natural Science Foundation of China (Grant No ) Shanghai Natural Science Foundation (grant no 14ZR ) 1

2 formula 1 ζ(i, i) = 3 4 ζ() was proved by using the regularized double shuffle relations of the double zeta values M E Hoffman considered the sum ζ( 1,, n ) in [7], we showed in [9] that the formulas given by M E Hoffman in [7] are consequences of the regularized double shuffle relations of the multiple zeta values Later in [3], new families of weighted sum formulas of the forms F( 1, )ζ( 1 )ζ( ), G( 1,, 3 )ζ( 1 )ζ( )ζ( 3 ) 1 + = 1 + = F( 1, )ζ( 1, ), = = G( 1,, 3 )ζ( 1,, 3 ) were given, where F(x,y) G(x,y,z) are (symmetric) polynomials with rational coefficients And in the end of[3], L Guo, P Lei JZhaoproposedthe following general conjecture Conjecture 11 ([3, Conjecture 47]) Let F(x 1,,x n ) Q[x 1,,x n ] be a symmetric polynomial of degree r Set d = deg x1 F(x 1,,x n ) Then for every positive integer n we have T F( 1,, n )ζ( 1 ) ζ( n ) = e F,l ()ζ(l)ζ( l), (11) F( 1,, n )ζ( 1,, n ) = T c F,l ()ζ(l)ζ( l), (1) where T = max{[(r+n )/],[(n 1)/]}, e F,l (x),c F,l (x) Q[x] depend only on l F, dege F,l (x) r 1 degc F,l (x) d Here as usual, for a real number x, we denote by [x] the greatest integer that not exceeding x The purpose of this paper is to give a proof of Conjecture 11 In fact, we also prove the zeta-star analogue of (1) To prove (11), as in [3], we first establish a weighted sum formula of the Bernoulli numbers In [3], L Guo, P Lei J Zhao used certain zeta functions to study the Bernoulli numbers Here we just use the generating function of the Bernoulli numbers Hence our method seems more elementary After getting the weighted sum formula of the Bernoulli numbers, we obtain the weighted sum formula (11) by using Euler s evaluation formula of the zeta values at even arguments Finally, applying the symmetric sum formulas of M E Hoffman [4], we obtain the weighted sum formula(1) its zeta-star analogue from the formula (11)

3 The paper is organizedas follows In Section, we deal with the weighted sum of the Bernoulli numbers In Section 3, we prove the weighted sum formula (11) And in Section 4, we prove the weighted sum formula (1) its zeta-star analogue Finally, in Section 5, we show that the weighted sum formulas obtained in this paper can be deduced from the regularized double shuffle relations of the multiple zeta values A weighted sum formula of Bernoulli numbers The Bernoulli numbers {B i } are defined by B i i! ti = t e t 1 i=0 It is nown that B 0 = 1, B 1 = 1 B i = 0 for odd i 3 We set f(t) = t e t t = B i (i)! ti, g(t) = t e t t = B i (i)! ti We compute the derivativesofthe even function f(t) Let D = t d dt Then using the formula i=0 h (t) = 1 t e t 1 t (e t 1), we find that for any nonnegative integer m, D m f(t) = m+1 i=0 h(t) = t e t 1 f mi (t)h(t) i (1) Here f mi (t) are polynomials determined by f 00 (t) = 1 t 1, f 01(t) = 1 the recursive formulas f m0 (t) = tf m 1,0 (t) for m 1, f m,m+1 (t) = mf m 1,m (t) for m 1, f mi (t) = tf m 1,i (t)+i(1 t)f m 1,i(t) (i 1)f m 1,i 1 (t) for 1 i m () In particular, for any integers m,i with 1 i m+1, we have f mi (t) Z[t] From (), it is easy to see that for any nonnegative integer m, we have f m0 (t) = 1 t δ m,0, f m,m+1 (t) = ( 1) m m! Lemma 1 For any integers m,i with 1 i m+1, we have degf mi (t) = m+ 1 i, the leading coefficient c mi of f mi (t) satisfies the condition ( 1) m c mi > 0 Proof We use induction on m Assume that m 1 The result for i = m + 1 followsfromf m,m+1 (t) = ( 1) m m! Nowassumetheintegerisatisfiesthecondition 1 i m, f m 1,i (t) = c m 1,i t m i +lower degree terms 3

4 with ( 1) m 1 c m 1,i > 0 Let c m0 = 1 Then we have As f mi (t) = ( ic m 1,i (i 1)c m 1,i 1 )t m+1 i +lower degree terms ( 1) m ( ic m 1,i (i 1)c m 1,i 1 ) =i( 1) m 1 c m 1,i +(i 1)( 1) m 1 c m 1,i 1 > 0, we get the result Therefore we have f m0 (t) = c m0 t δ m,0 with c m0 = 1, for any integers m,i with the condition 1 i m+1, we have with the recursive formula c m,m+1 = ( 1) m m! f mi (t) = c mi t m+1 i +lower degree terms, c mi = ic m 1,i (i 1)c m 1,i 1, (1 i m) Corollary For any nonnegative integer m, we have c m1 = ( 1) m For later use, we need the following lemma Lemma 3 For any nonnegative integer m, we have In particular, we have m+1 ( 1) i 1 f mi (t)t i 1 = 1 (3) m+1 ( 1) i 1 c mi = δ m,0 (4) Proof We proceed by induction on m to prove (3) The case of m = 0 follows from the fact f 01 (t) = 1 Now assume that m 1, using the recursive formula (), we have = m+1 ( 1) i 1 f mi (t)t i 1 = m m ( 1) i 1 f m 1,i(t)t i + ( 1) i 1 if m 1,i (t)t i 1 m m + ( 1) i if m 1,i (t)t i + ( 1) i (i 1)f m 1,i 1 (t)t i 1 +m!t m m ( 1) i 1 (f m 1,i (t)t i ) +( 1) m mf m 1,m (t)t m +m!t m = d dt m ( 1) i 1 f m 1,i (t)t i Then we get (3) from the induction assumption Finally, comparing the coefficients of t m of both sides of (3), we get (4) 4

5 Now we want to express h(t) i by D m g(t) For this purpose, we use matrix computations For any nonnegative integer m, let A m (t) be a (m +1) (m + 1) matrix defined by f 01 (t) f 11 (t) f 1 (t) A m (t) = f m1 (t) f m (t) f m,m+1 (t) Note that for m 1, we have A m (t) = ( Am 1 (t) 0 ) α m (t) ( 1) m m! ( with α m )(t) = (f m1 (t),,f mm (t)) From linear algebra, we now that the matrix A 0 is invertible with C B ( ) 1 ( ) A 0 A = 1 0 C B B 1 CA 1 B 1, provided that A B are invertible square matrices Therefore by induction on m, we find that for all nonnegative integer m, the matrices A m (t) are invertible, the inverses satisfy the recursive formula ( A m (t) 1 = A m 1 (t) 1 0 ( 1) m+1 1 m! α m(t)a m 1 (t) 1 ( 1) m 1 m! For any nonnegative integer m, set g 01 (t) A m (t) 1 g 11 (t) g 1 (t) = g m1 (t) g m (t) g m,m+1 (t) Lemma 4 Let m i be integers ), (m 1) (5) (1) For any m 0, we have g m,m+1 (t) = ( 1) m 1 m! ; () If 1 i m, we have the recursive formula g mi (t) = ( 1) m+1 1 m f mj (t)g j 1,i (t); (6) m! (3) If 1 i m+1, we have g mi (t) Q[t] with degg mi (t) m+1 i; (4) For 1 i m+1, set j=i g mi (t) = d mi t m+1 i +lower degree terms Then we have d m,m+1 = ( 1) m 1 m! for 1 i m d mi = ( 1) m+1 1 m! 5 m c mj d j 1,i (7) j=i

6 Proof The assertions in items (1) () follow from (5) To prove the item (3), we proceed by induction on m For the case of m = 0, we get the result from g 01 (t) = 1 Assume that m 1, then g m,m+1 (t) = ( 1) m 1 m! Q[t] with degree zero For 1 i j m, using the induction assumption, we may set Since we get g j 1,i (t) = d j 1,i t j i +lower degree terms Q[t] f mj (t) = c mj t m+1 j +lower degree terms Z[t], f mj (t)g j 1,i (t) = c mj d j 1,i t m+1 i +lower degree terms Q[t] Using (6), we finally get g mi (t) = ( 1) m+1 1 m c mj d j 1,i t m+1 i +lower degree terms Q[t] m! j=i The item (4) follows from the above proof Corollary 5 For any nonnegative integer m, we have d m1 = ( 1) m Proof Weuseinduction onm Ifm 1, using (7) theinduction assumption, we get d m1 = ( 1) m+1 1 m ( 1) j 1 c mj m! By (4), we have d m1 = ( 1) m+1 1 m! (δ m,0 ( 1) m c m,m+1 ), which implies the result To get h(t) i, we rewrite (1) as g(t) 1 Dg(t) 1 t 1 = A m(t) D m g(t) 1 rewrite (3) as Therefore we find h(t) h(t) = A m(t) 1 h(t) m+1 1 t 1 A m (t) t 1 = ( 1) m t m 1 g(t) Dg(t) D m g(t) 6 h(t) h(t) h(t) m+1 1 t, (8) 1 t t ( 1) m t m

7 Then for any positive integer i, we get i h(t) i = g i 1,j (t)d j 1 g(t)+ 1 ( 1)i t i (9) For the later use, we prepare a lemma Lemma 6 For a nonnegative integer m, the functions 1,g(t),Dg(t),,D m g(t) are linearly independent over the rational function field Q(t) Proof Let p(t),p 0 (t),p 1 (t),,p m (t) Q(t) satisfy p(t)+p 0 (t)g(t)+p 1 (t)dg(t)+ +p m (t)d m g(t) = 0 Using (8), we get p(t)+ 1 m t p j (t)+(p 0 (t),,p m (t))a m (t) j=0 h(t) h(t) m+1 = 0 Since e t is transcendental overq(t), we now e t 1, then h(t) is transcendental over Q(t) Hence we have p(t)+ 1 m t p j (t) = 0, (p 0 (t),,p m (t))a m (t) = 0, j=0 which implies that all p j (t) p(t) are zero functions as the matrix A m (t) is invertible From now on let n be a fixed positive integer, m 1,,m n be fixed nonnegative integers We want to compute D m1 f(t) D mn f(t) On the one h, using (1), we have with Lemma 7 We have D m1 f(t) D mn f(t) = f i (t) = i 1 + +in=i 0 i j m j +1 f 0 (t) = n m 1+ +m n+n i=0 f i (t)h(t) i, f m1i 1 (t) f mni n (t) ( ) 1 t δ m j,0, degf i (t) m 1 + +m n +n i for any nonnegative integer i Proof For integers i 1,,i n with the conditions i i n = i 0 i j m j +1, we have n deg(f m1i 1 (t) f mni n (t)) (m j +1 i j ) = m 1 + +m n +n i, which deduces that degf i (t) m 1 + +m n +n i Then using (9), we get D m1 f(t) D mn f(t) 7

8 with m 1+ +m n+n = m 1+ +m n+n = F j (t) = i f i (t) g i 1,j (t)d j 1 g(t)+ 1 ( 1)i t i +f 0 (t) F j (t)d j 1 g(t)+f 0 (t) F 0 (t) = f 0 (t)+ 1 m 1+ +m n+n i=j m 1+ +m n+n ( 1) i f i (t)t i f i (t)g i 1,j (t), (1 j m 1 + +m n +n) Lemma 8 Let j be a nonnegative integer with j m 1 + +m n +n Then (1) the function F j (t) is even; () we have F 0 (t) = 1 n ( ) 1 t δ m j,0 + 1 n ( ) 1 ( 1)n t+δ m j,0 In particular, degf 0 (t) n; (3) if j > 0, we have degf j (t) m 1 + +m n + n j Moreover, we have degf 1 (t) m 1 + +m n +n provided that n is even or m 1,,m n are not all zero Proof Since D m f(t) D m g(t) are even, we have m 1+ +m n+n F j (t)d j 1 g(t)+f 0 (t) = m 1+ +m n+n Then by Lemma 6, we now all F j (t) are even functions By the definition of f i (t), we have Using (3), we find m 1+ +m n+n i=0 m 1+ +m n+n i=0 ( 1) i f i (t)t i = n ( 1) i f i (t)t i = m j+1 i j=0 F j ( t)d j 1 g(t)+f 0 ( t) ( 1) ij f mji j (t)t ij n (f mj0(t) t) Then we get () from the fact that f m0 (t) = 1 t δ m,0 the expression of f 0 (t) Since degf i (t)g i 1,j (t) (m 1 + +m n +n i)+(i j) = m 1 + +m n +n j, we get degf j (t) m 1 + +m n +n j If we set { 1 c mi = δ m,0 if i = 0, c mi if i 0, 8

9 thenthe coefficientoft m+1 i inf mi (t) is c mi foranyintegersm,iwith the condition 0 i m+1 Since F 1 (t) = m 1+ +m n+n i 1 + +in=i 0 i j m j +1 f m1i 1 (t) f mni n (t)g i 1,1 (t), d i 1,1 = ( 1) i 1, we find the coefficient of t m1+ +mn+n 1 in F 1 (t) is which is m 1+ +m n+n = c m10 c mn0 i 1 + +in=i 0 i j m j +1 n m j+1 i j=0 c m10 c mn0 ( 1) i 1 c m1i 1 c mni n ( 1) ij c mji j, n ( c mj0 δ mj,0) by (4) Then the coefficient of t m1+ +mn+n 1 in F 1 (t) is ( ) n 1 (1 ( 1) n )δ m1,0 δ mn,0, which is zero if n is even or at least one m i is not zero Now for a positive integer j with j m m n + n, let a jl Q be the coefficient of t l in the polynomial F j (t) Then we have F j (t) = [ m 1 + +mn+n j ] If n is even or m 1,,m n are not all zero, we have Hence we have D m1 f(t) D mn f(t) = F 1 (t) = m 1+ +m n+n [ m 1 + +mn+n ] Changing the order of the summation, we have T D m1 f(t) D mn f(t) = where Since T = {[ n 1 ] [ m1+ +m n+n D j 1 g(t) = a jl t l (10) a 1l t l [ m 1 + +mn+n j ] m 1+ +m n+n l ] i=0 9 a jl t l D j 1 g(t)+f 0 (t) a jl t l D j 1 g(t)+f 0 (t), if m 1 = = m n = 0, otherwise (i) j 1 B i (i)! ti,

10 we get D m1 f(t) D mn f(t) min{t,} = =0 m 1+ +m n+n l a jl ( l) j 1 B l ( l)! t +F 0 (t) Then the coefficient of t in D m1 f(t) D mn f(t) is min{t,} m 1+ +m n+n l j 1 a jl ( l) j 1 B l ( l)!, (11) provided that n On the other h, since D m f(t) = (i) m B i (i)! ti, we find the coefficient of t in D m1 f(t) D mn f(t) is ( 1 ) m1 ( n ) mn B 1 B n ( 1 )! ( n )! (1) Finally, comparing (11) with (1), we get a weighted sum formula of the Bernoulli numbers Theorem 9 Let n, be positive integers with n Then for any nonnegative integers m 1,,m n, we have B m1 1 n mn 1 B n = min{t,} m 1+ +m n+n l ( 1 )! ( n )! a jl l)j 1 m1+ +mn j+1( B l ( l)!, (13) where T = max{[(m 1 + +m n +n )/],[(n 1)/]} a jl are determined by (10) Note that in [11, Theorem 1], A Petojević H M Srivastava had considered the case of m 1 = = m n = 0 See also [1, Theorems 1 ] In the end of this section, we list some explicit examples of n = 4 Note that some examples of n = n = 3 were given in [3] Example 10 Let be a positive integer with 4 Set = We have B1 B B 3 B 4 ( 1 )!( )!( 3 )!( 4 )! 1 B 1 B B 3 B 4 ( 1 )!( )!( 3 )!( 4 )! (4 6+3) 4 = ( +1)( +1)( +3) 3 B ()! 3 +1)( +1)( +3)(4 +3) = ( 10 B 5 ( )! 160 ( 4)!, 10 B = B ( )!, B ()!

11 3 B 1 B B 3 B 4 1 ( 1 )!( )!( 3 )!( 4 )! = ( +1)( +1)( +3)( ) B 40 ()! ( ) 96 B ( )! ( 5)(13 9) 960 Set B 1,, 3, 4 = B 1 B B 3 B 4 ( 1)!( )!( 3)!( 4)! Using the formulas 1 B 1,, 3, 4 = B1, 4, 3, 4, B 4 ( 4)! 1 B 1,, 3, 4 = B1, 1, 3, B 1,, 3, 4, 1 B 1,, 3, 4 = 3 1 B 1,, 3, B 1,, 3, 4, 1 3 B 1,, 3, 4 = 3 B1, 4, 3, 4 1 B 1,, 3, B 1,, 3, 4, one can wor out other weighted sum formulas of the Bernoulli numbers with the condition m 1 +m +m 3 +m Weighted sum formulas of zeta values at even arguments Euler s formula claims that for any positive integer, ζ() = ( 1) +1 B ()! (π) (31) Then from Theorem 9, we get the following weighted sum formula for zeta values at even arguments Theorem 31 Let n, be positive integers with n Then for any nonnegative integers m 1,,m n, we have min{t,} m1 1 n mn ζ( 1 ) ζ( n ) = ( 1) n m 1+ +m n+n l a jl l)j 1 m1+ +mn+n j 1( (l)! B l ζ(l)ζ( l), (3) where T = max{[(m 1 + +m n +n )/],[(n 1)/]} a jl are determined by (10) Finally, we obtain the weighted sum formula (11) Theorem 3 Let n, be positive integers with n Let F(x 1,,x n ) Q[x 1,,x n ] be a polynomial of degree r Then we have F( 1,, n )ζ( 1 ) ζ( n ) = min{t,} e F,l ()ζ(l)ζ( l), where T = max{[(r+n )/],[(n 1)/]}, e F,l (x) Q[x] depends only on l F, dege F,l (x) r+n l 1 11

12 Note that the polynomial F(x 1,,x n ) in Theorem 3 need not be symmetric, the upper bound for the degree of the polynomial e F,l (x) is different from that in Conjecture 11 In Conjecture 11, the upper bound for dege F,l (x) is r 1, which should be a typo See the examples below Example 33 Set = For a positive integer with 4, we = have ( +1)( +1)( +3) ζ(1 )ζ( )ζ( 3 )ζ( 4 ) = ζ() ζ()ζ( ), 4 ( +1)( +1)( +3)(4 +3) 1 ζ( 1 )ζ( )ζ( 3 )ζ( 4 ) = ζ() 960 (4 6 +3) 9( 5) ζ()ζ( )+ ζ(4)ζ( 4), ζ( 1 )ζ( )ζ( 3 )ζ( 4 ) = ( +1)( +1)( +3)( ) ζ() 190 ( ) 3( 5)(13 9) ζ()ζ( )+ ζ(4)ζ( 4), 3 16 which can deduce all other weighted sums (3) under the conditions n = 4 m 1 +m +m 3 +m 4 3 as explained in Example 10 4 Weighted sum formulas of multiple zeta values with even arguments To treat the weighted sum of the multiple zeta values with even arguments its zeta-star analogue, we recall the symmetric sum formulas of M E Hoffman [4, Theorems 1 ] For a partition Π = {P 1,P,,P i } of the set {1,,,n}, let l j = P j c(π) = i (l j 1)!, c(π) = ( 1) n i c(π) We also denote by P n the set of all partitions of the set {1,,,n} Then the symmetric sum formulas are ζ( σ(1),, σ(n) ) = (41) σ S n Π P n c(π)ζ(,π) σ S n ζ ( σ(1),, σ(n) ) = Π P n c(π)ζ(,π), (4) where = ( 1,, n ) is a sequence of positive integers with all i > 1, S n is the symmetric group of degree n for a partition Π = {P 1,,P i } P n, i ζ(,π) = ζ l l Pj 1

13 Now let = ( 1,, n ) with all i positive integers Using (41) (4), we have σ S n ζ( σ(1),, σ(n) ) = n ( 1) n i l 1 + +l i =n l 1 l i 1 i (l j 1)! ζ ( σ(1),, σ(n) ) σ S n n i = (l j 1)! l 1 + +l i =n l 1 l i 1 ζ(,π) (43) Π={P 1,,P i } Pn ζ(,π) (44) Π={P 1,,P i } Pn From now on, let,n be fixed positive integers with n, let F(x 1,,x n ) be a fixed symmetric polynomial with rational coefficients It is easy to see that F( 1,, n ) =n! σ S n ζ( σ(1),, σ(n) ) F( 1,, n )ζ( 1,, n ) =n! F( 1,, n ) σ S n ζ ( σ(1),, σ(n) ) F( 1,, n )ζ ( 1,, n ) On the other h, for a partition Π = {P 1,,P i } P n with P j = l j, we have F( 1,, n )ζ(,π) = t 1 + +t i = t j l1 =t 1 l1 + +l i n=t i F( 1,, n )ζ(t 1 ) ζ(t i ) (45) To treat the inner sum about F( 1,, n ) in the right-h side of (45), we need the following lemmas Lemma 41 For any positive integer any nonnegative integers p 1,p, we have 1 i p1 ( i) p 13

14 = ( 1) i,j 0 p 1 i+j p 1 +p ( )( j+p 1 i+j p i i+j p 1 ) Bi j +1 ( 1)j+1 p1+p i j (46) In particular, the right-h side of (46) is a polynomial of with rational coefficients of degree p 1 +p +1 Proof Let S p1,p () = 1 i p1 ( i) p let G (t 1,t ) = be the generating function We have p 1,p 0 S p1,p () tp1 1 tp p 1!p! 1 G (t 1,t ) = e it1+( i)t = (1 e( 1)(t1 t) )e t e t t1 1 Using the definition of the Bernoulli numbers, we get G (t 1,t ) = ( 1) i B i i!j!l! ( 1)j l (t 1 t ) i+j 1 t l i 0,j 1,l 0 = i,j,l 0 Finally, we obtain the expansion G (t 1,t ) = i,j,l 0 0 m i+j B i ( 1) i i!(j +1)!l! ( 1)j+1 l (t 1 t ) i+j t l ( 1) j+m ( i+j m ) B i i!(j +1)!l! ( 1)j+1 l t m 1 ti+j+l m Comparing the coefficient of tp 1 p 1!p!, we get (46) Then as a polynomial of, the degree of the right-h side of (46) is less than or equal to p 1 +p +1, the coefficient of p1+p+1 is p 1+p ( ) p 1 j p 1 j +1, which is Since 1 tp j=p 1 ( 1) j+p1 p j=0 we find the coefficient of p1+p+1 is 1 which is nonzero More generally, we have 0 ( ) ( 1) j p j 1 j +p 1 +1 p ( ) x p1 (1 x) p = ( 1) j p x j+p1, j j=0 x p1 (1 x) p dx = B(p 1 +1,p +1) = 14 p 1!p! (p 1 +p +1)!,

15 Lemma 4 Let n be integers with n 1, let p 1,,p n be nonnegative integers Then there exists a polynomial f(x) Q[x] of degree p p n +n 1, such that p1 1 pn n = f() Proof We proceed by induction on n If n = 1, we may tae f(x) = x p1 For n > 1, since p1 1 pn n = 1 + = l 1 + +l n 1 = 1 l j 1 using the induction assumption we have p1 1 pn n = 1 + = 1 lpn 1 l p1 g( 1 ) pn, n 1 pn, where g(x) Q[x] is of degree p 1 + +p n 1 +n Then the result follows from Lemma 41 Now we return to the computation of the right-h side of (45) Using Lemma 4, there exists a polynomial f t1,,t i (x 1,,x i ) Q[x 1,,x i ] of degree degf + n i, such that F( 1,, n )ζ(,π) Therefore we get where = t 1 + +t i = t j 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ) F( 1,, n )ζ( 1,, n ) = 1 n! i (l j 1)!n(l 1,,l i ) t 1 + +t i = t j 1 F( 1,, n )ζ ( 1,, n ) = 1 n! i (l j 1)!n(l 1,,l i ) n(l 1,,l i ) = t 1 + +t i = t j 1 n ( 1) n i l 1 + +l i =n l 1 l i 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ) n l 1 + +l i =n l 1 l i 1 f t1,,t i (t 1,,t i )ζ(t 1 ) ζ(t i ), n! i n l j! {m 1 m i, m = j}! 15

16 is the number of partitions Π = {P 1,,P i } P n with the conditions P j = l j for j = 1,,,i Applying Theorem 3, we then prove the weighted sum formula (1) its zeta-star analogue Theorem 43 Let n, be positive integers with n Let F(x 1,,x n ) Q[x 1,,x n ] be a symmetric polynomial of degree r Then we have F( 1,, n )ζ( 1,, n ) = F( 1,, n )ζ ( 1,, n ) = min{t,} min{t,} c F,l ()ζ(l)ζ( l) c F,l ()ζ(l)ζ( l), where T = max{[(r+n )/],[(n 1)/]}, c F,l (x),c F,l (x) Q[x] depend only on l F, degc F,l (x),degc F,l (x) r+n l 1 Note that in Theorem43, the upper bound for the polynomial c F,l (x) is different from that in Conjecture 11 In Conjecture 11, the upper bound for degc F,l (x) is deg x1 F(x 1,,x n ) It seems that one may obtain this upper bound but need more efforts Example 44 After getting the weighted sum formulas (3) with n = n = 3, we can obtain the weighted sum formulas of the multiple zeta values (resp the multiple zeta-star values) of depth four Here are some examples For multiple zeta values, we have ζ(1,, 3, 4 ) = ζ() 5 ζ()ζ( ), 16 ( ) ζ(1,, 3, 4 ) = 7(10 3) ζ() ζ()ζ( )+ 3( 5) ζ(4)ζ( 4), 3 16 ( ) +3 ζ(1,, 3, 4 ) = 7( ) ζ() ( 5)(3 +) ζ()ζ( )+ ζ(4)ζ( 4), 18 3 for multiple zeta-star values, we have ζ ( 1,, 3, 4 ) = (4 5)(8 0+3) ζ() ζ()ζ( ), 16 ( 1 + ) ζ ( 1,, 3, 4 ) = ( ) ζ() 190 ( 3)( ) ζ()ζ( ) ζ(4)ζ( 4), 16

17 ( ) ζ ( 1,, 3, 4 ) = ( ) ζ() ζ()ζ( ) 18 15( 4)( 5) + ζ(4)ζ( 4) 3 Here is a positive integer with 4 = = 5 Regularized double shuffle relations weighted sum formulas In this section, we briefly explain that the weighted sum formulas in Theorems 31, 3 43 can be deduced from the regularized double shuffle relations of the multiple zeta values (For the details of the regularized double shuffle relations, one can refer to [8, 1] or [9]) We get Theorem 31 hence Theorem 3 just from (13) Euler s formula (31) While (13) is an equation about the Bernoulli numbers Euler s formula can be deduced from the regularized double shuffle relations ([9]) Hence we get Theorems 31 3 from the regularized double shuffle relations We get Theorem 43 from Theorem 3 the symmetric sum formulas While the symmetric sum formulas are consequences of the harmonic shuffle products ([6, Theorem 3]) In fact, let Y = {z = 1,,} be an alphabet with noncommutative letters let Y be the set of all words generated by letters in Y, which contains the empty word 1 Y Let h 1 = Q Y be the noncommutative polynomial algebra over Q generated by Y As in [5, 10], we define two bilinear commutative products on h 1 by the rules 1 Y w = w 1 Y = w, z w 1 z l w = z (w 1 z l w )+z l (z w 1 w )+z +l (w 1 w ); 1 Y w = w 1 Y = w, z w 1 z l w = z (w 1 z l w )+z l (z w 1 w ) z +l (w 1 w ), where w,w 1,w Y,l are positive integers Let h 0 = Q1 Y + Qz 1 z n n, 1,,n 1 1 be a subalgebra of h 1, which is also a subalgebra with respect to either the product or the product Let Z : h 0 R Z : h 0 R be the Q-linear maps determined by Z(1 Y ) = Z (1 Y ) = 1 Z(z 1 z n ) = ζ( 1,, n ), Z (z 1 z n ) = ζ ( 1,, n ), wheren, 1,, n 1with 1 It is nownthat both the mapsz : (h 0, ) R Z : (h 0, ) Rarealgebrahomomorphisms Hencefromthe followinglemma, we now that the symmetric sum formulas are consequences of the harmonic shuffle products And therefore Theorem 43 is also deduced from the regularized double shuffle relations 17

18 Lemma 51 Let n be a positive integer = ( 1,, n ) be a sequence of positive integers We have z σ(1) z σ(n) =,P1 z,pi (51) σ S n Π={P 1,,P i} P n c(π)z where z,pj = z l P j l σ S n z σ(1) z σ(n) = Π={P 1,,P i} P n c(π)z,p1 z,pi, (5) Proof Tobe selfcontained, wegiveaproofhere We prove(51) one canprove (5) similarly We proceed by induction on n The case of n = 1 is obvious Now assume that (51) is proved for n Let = ( 1,, n ) = ( 1,, n+1 ) Since z n+1 n+1 z σ(1) z σ(n) = z σ(1) z σ(j 1) z n+1 z σ(j) z σ(n) σ S n σ S n + n z σ(1) z σ(j 1) z σ(j) + n+1 z σ(j+1) z σ(n) = σ S n σ S n+1 z σ(1) z σ(n+1) + n σ S n z (j) σ(1) z (j) σ(n) with (j) = ( 1,, j 1, j + n+1, j+1,, n ) = ( (j) 1,,(j) n ), using the induction assumption on (j) with j = 1,,n, we have z σ(1) z σ(n+1) =,P1 z,pi z n+1 σ S n+1 Π={P 1,,P i} P n c(π)z n Π={P 1,,P i} P n c(π)z (j),p 1 z (j),p i Because any Π P n+1 must satisfy can only satisfy one of the following two conditions: (i) there exists one P Π, such that P = { n+1 }; (ii) for any P Π, P { n+1 }, we see that the right-h side of the above equation is just Π={P 1,,P i} P n+1 c(π)z,p 1 z,p i Hence we get (51) References [1] K Dilcher, Sums of products of Bernoulli numbers, J Number Theory 60 (1996), 3-41 [] H Gangl, M Kaneo D Zagier, Double zeta values modular forms, In Automorphic Forms Zeta Functions, Proceedings of the Conference in memory of Tsuneo Araawa S Böcherer, T Ibuiyama, M Kaneo, F Sato (eds), World Scientific, New Jersey, ,

19 [3] L Guo, P Lei J Zhao, Families of weighted sum formulas for multiple zeta values, Int J Number Theory 11 (3) (015), [4] M E Hoffman, Multiple harmonic series, Pacific J Math 15 () (199), [5] M E Hoffman, The algebra of multiple harmonic series, J Algebra 194 () (1997), [6] M E Hoffman, Quasi-symmetric functions mod p multiple harmonic sums, Kyushu J Math 69 (015), [7] M E Hoffman, On multiple zeta values of even arguments, Int J Number Theory 13 (017), [8] K Ihara, M Kaneo D Zagier, Derivation double shuffle relations for multiple zeta values, Compos Math 14 () (006), [9] Z Li C Qin, Some relations deduced from regularized double shuffle relations of multiple zeta values, preprint, arxiv: [10] S Muneta, Algebraic setup of non-strict multiple zeta values, Acta Arith 136 (1) (009), 7-18 [11] A Petojević H M Srivastava, Computation of Euler s type sums of the products of Bernoulli numbers, Appl Math Lett (009), [1] G Racinet, Doubles melanges des polylogarithmes multiples aux racines de l unite, Publ Math Inst Hautes Études Sci 95 (00), School of Mathematical Sciences, Tongji University, No 139 Siping Road, Shanghai 0009, China address: zhonghua li@tongjieducn School of Mathematical Sciences, Tongji University, No 139 Siping Road, Shanghai 0009, China address: 014chen qin@tongjieducn 19