Analytic Aspects of the Riemann Zeta and Multiple Zeta Values

Transcription

1 Analytic Aspects of the Riemann Zeta and Multiple Zeta Values Cezar Lupu Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA PhD Thesis Overview, October 26th, 207, Pittsburgh, PA

2 Outline of the Presentation The Riemann and Hurwitz zeta functions, Apery s constant and new rational series representations involving ζ(2k) Multiple Zeta and Hurwitz Zeta Values, evaluation of certain families of MZV, Zagier s evaluation of Hoffman elements Other projects in progress

3 A quick overview of the Riemann zeta function. The Riemann zeta function is defined by ζ(s) =, Re s >. ns Originally, Riemann zeta function was defined for real arguments. Also, Euler found another formula which relates the Riemann zeta function with prime numbrs, namely ζ(s) = p ( p s ), where p runs through all primes p = 2, 3, 5,....

4 A quick overview of the Riemann zeta function. Moreover, Riemann proved that the following ζ(s) satisfies the following integral representation formula: where Γ(s) = ζ(s) = Γ(s) 0 0 u s e u du, Re s >, t s e t dt, Re s > 0 is the Euler gamma function. Also, another important fact is that one can extend ζ(s) from Re s > to Re s > 0. By an easy computation one has and therefore we have ( 2 s )ζ(s) = ( ) n n s,

5 A quick overview of the Riemann function. ζ(s) = 2 s ( ) n, Re s > 0, s. ns It is well-known that ζ is analytic and it has an analytic continuation at s =. At s = it has a simple pole with residue. We have lim (s ) ζ(s) =. s Let us remark that the alternating zeta function is called the Dirichlet eta function and it is defined as η(s) = ( ) n, Re s > 0, s. ns

6 A quick overview of the Hurwitz zeta function. Another important function is the Hurwitz (generalized) zeta function defined by ζ(s, a) =, Re s >, a 0,, 2,.... (n + a) s As the Riemann zeta function, Hurwitz zeta function is analytic over the whole complex plane except s = where it has a simple pole. Also, from the two definitions, one has ζ(s) = ζ(s, ) = 2 s ζ ( s, 2 ) = + ζ(s, 2).

7 A quick overview of the Hurwitz zeta function. It can also be extended by analytic continuation to a meromorphic function defined for all complex numbers s. At s = it has a simple pole with residue. The constant term is given by lim s ( ζ(s, a) s ) = Γ (a) Γ(a) = Ψ(a), where Ψ is the digamma function. Also, the Hurwitz zeta function is related to the polygamma function, Ψ m (z) = ( ) m+ m!ζ(m +, z).

8 A quick overview of the Dirichlet beta function. Last but not least, we define the Dirichlet beta function as β(s) = ( ) n, Re s > 0. (2n + ) s Alternatively, one can express the beta function by the following formula: β(s) = (ζ(s, /4) ζ(s, 3/4)). 4s Equivalently, β(s) has the following integral representation: ζ(s) = t s e t dt. Γ(s) 0 + e 2t

9 A quick overview of the Dirichlet beta function. Note that β(2) = G (Catalan s constant), β(3) = π3 32, and β(2n + ) = ( )n E 2n π 2n+ 4 n+ (2n)! where E n are the Euler numbers in the Taylor series Other special values include 2 e t + e t = E n n! tn. β(0) = 2, β() = π 4, β( k) = E k 2.

10 What is known about the values of ζ(s) at integers? ζ( 2n) = 0 for n =, 2,... (trivial zeros) ζ( n) = ( ) n B n+ n+ ; with ζ( ) = 2 The values ζ(2n), for n =, 2,... have been found by Euler in 740 The values ζ( 2n + ), for n =, 2,... can be evaluated in terms of ζ(2n). In fact, we have ζ( 2n + ) = 2(2π) 2n ( ) n (2n )!ζ(2n). There is a mystery about ζ(2n + ) values ζ(0) = 2 ζ() does not exist, but one has the following ( lim ζ(s) ) = γ. s s

11 Another quick look at ζ(2n) and ζ(2n + ) In 734, Euler produced a sensation when he discovered that n 2 = π2 6. Later, the same Euler generalized the above formula, ζ(2n) = ( ) n+ B2n2 2n π 2n, (2n)! where the coefficients B n are the so-called Bernoulli numbers and they satisfy z e z = B n n! zn, z < 2π.

12 Another quick look at ζ(2n) and ζ(2n + ) An elementary but sleek proof of Euler s result was recently given in E. De Amo, M. Diaz Carrillo, J. Hernandez-Sanchez, Another proof of Euler s formula for ζ(2k), Proc. Amer. Math. Soc. 39 (20), The authors proved Euler s formula using the Taylor series for the tangent function and Fubini s theorem. Unlike ζ(2n), the values ζ(2n + ) are still mysterious! One of the most important results was produced by Roger Apery in 979, when he proved that ζ(3) is irrational by using the "fast converging" series representation ζ(3) = 5 2 ( ) n n 3( ). 2n n

13 Another quick look at ζ(2n) and ζ(2n + ) Amazingly, there exist similar formulas for ζ(2) and ζ(4), namely ζ(2) = 3 n 2( ), ζ(4) = 36 2n 7 n n 4( ). 2n n Recently, other substantial results were obtained. In 2002, K. Ball and T. Rivoal proved the following K. Ball, T. Rivoal, Irrationalite d une infinite de la fonction zetaaux entiers impairs, Invent. Math. 46 (200), Theorem There are infinitely many irrational values of the Riemann zeta function at odd positive integers. Moreover, if N(n) = #{irrational numbers among ζ(3), ζ(5),..., ζ(2n + )}, then N(n) log n for large n. 3

14 Another quick look at ζ(2n) and ζ(2n + ) Other remarkable results in this direction are given by Rivoal (200) and Zudilin (200), Theorem At least four numbers ζ(5), ζ(7),..., ζ(2) are irrational. and W. Zudilin, One of the numbers ζ(5), ζ(7), ζ(9), ζ() is irrational, Russ. Math. Surv. 56 (200), Theorem At least one of the four numbers ζ(5), ζ(7), ζ(9), ζ() is irrational.

15 Some Taylor series representations For the sake of completeness we display the Taylor series for the tangent, cotangent, secant and cosecant functions: tan x = csc x = cot x = ( ) n 2 2n (2 2n )B 2n x 2n, x < π (2n)! 2 sec x = () ( ) n 2 2n B 2n x 2n, x < π (2) (2n)! ( ) n E 2n x 2n, x < π (2n)! 2 (3) ( ) n+ 2(2 2n )B 2n x 2n, x < π (4) (2n)!

16 Clausen integral The Clausen function (Clausen integral), introduced by Thomas Clausen in 832, is a transcendental special function of single variable and it is defined by Cl 2 (θ) := k= sin kθ k 2 θ ( ( x )) = log 2 sin 0 2 It is intimately connected with the polylogarithm, inverse tangent integral, polygamma function, Riemann zeta function, Dirichlet eta function, and Dirichlet beta function. Some well-known properties of the Clausen function include periodicity in the following sense: Cl 2 (2kπ ± θ) = Cl 2 (±θ) = ± Cl 2 (θ). dx.

17 Clausen integral Moreover, it is quite clear from the definition that Cl 2 (kπ) = 0 for k integer. For example, for k = we deduce π 0 ( ( x )) log 2 sin 2 ( π By periodicity we have Cl 2 2 the Catalan constant defined by G := π 2 dx = 0, log(sin x) dx = π log ) ( ) 3π = Cl 2 = G, where G is 2 ( ) n (2n + )

18 Clausen integral. Evaluation of some elementary integrals More generally, one can express the above integral as the following: θ 0 θ 0 log(sin x) dx = 2 Cl 2(2θ) θ log 2, log(cos x) dx = 2 Cl 2(π 2θ) θ log 2, and θ 0 log( + cos x) dx = 2 Cl 2 (π θ) θ log 2, θ 0 log( + sin x) dx = 2G 2 Cl 2 ( π 2 + θ ) θ log 2.

19 Clausen acceleration formula Theorem We have the following representation for the Clausen function Cl 2 (θ), Cl 2 (θ) θ = log θ + ζ(2n) (2π) 2n n(2n + ) θ2n, θ < 2π. (5) Sketch of the proof. Integrating by parts the function xy cot(xy) and using the product formulas for the sine function, we have π 2 0 xy cot(xy)dx = π ( πy ) 2 log π 2 2 k= ( y 2 4k 2 ) n n + π log 2+ 2

20 Clausen acceleration formula + 2y Cl 2(πy). On the other hand, by the Taylor series for the cotangent function, we obtain π 2 0 Therefore, we obtain xy cot(xy) dx = π 2 2 ζ(2n) ( ) π 2n+ 2 π 2n (2n + ) y 2n. π 2 2 ζ(2n) ( ) π 2n+ 2 π 2n (2n + ) y 2n = π 2 log(πy) π 2 Equate the coefficients of y 2n and we obtain our formula. ζ(2n) n4 n y 2n + 2y Cl 2(πy).

21 Clausen acceleration formula. Some remarks. In particular case of θ = π 2, using the fact that Cl 2( π 2 ) = G, we obtain ζ(2n) n(2n + )6 n = 2G ( π ) π + log. (6) 2 Recently, Wu, Zhang and Liu developed the following representation for the Clausen function, J. Wu, X. Zhang, D. Liu, An efficient calculation of the Clausen functions, BIT Numer. Math. 50 (200), ( Cl 2 (θ) = θ θ log 2 sin θ ) 2 2ζ(2n) (2n + )(2π) 2n θ2n+, θ < 2π. (7)

22 Clausen acceleration formula. Some well-known representation for ζ(3). It is interesting to see that integrating the above formula from 0 to π/2 we have the following representation for ζ(3) due to Choi, Srivastava and Adamchik, H. M. Srivastava, M. L. Glasser, V. S. Adamchik, Some definite integrals associated with the Riemann zeta function, J. Z. Anal. Anwendungen. 9 (2000), ζ(3) = 4π2 35 ( 2 + 2G ) π ζ(2n) (n + )(2n + )6 n. (8)

23 Other representations for ζ(3) Also, Strivastava, Glasser and Adamchik derive series representations for ζ(2n + ) by evaluating the integral π/ω 0 t s cot tdt, s, ω 2 integers in two different ways. One of the ways involves the generalized Clausen functions. When they are evaulated in terms of ζ(2n + ) one obtains the following formula for ζ(3), ζ(3) = 2π2 9 ( log ) ζ(2n) (2n + 3)4 n. (9)

24 Other representations for ζ(3) Other representations for Apery s constant are given by Cvijovic and Klinowski, D. Cvijovic, J. Klinowski, New rapidly convergent series representations for ζ(2n + ), Proc. Amer. Math. Soc. 25 (997), and ζ(3) = π2 3 (2n + 5)ζ(2n). (0) (2n + )(2n + 2)(2n + 3)22n ζ(3) = 4π2 7 ζ(2n). () (2n + )(2n + 2)22n

25 New series representations for Apery s constant ζ(3) Theorem ζ(3) = 4π2 35 ( 3 ( π ) 2 log + 2 ( ζ(3) = 64 4 ( π ) 3π β(4)+8π2 9 3 log 2 and ) ζ(2n) n(n + )(2n + )6 n, (2) + 3 ) ζ(2n) n(2n + )(2n + 3)6 n, (3) ( ζ(3) = 64 6π2 β(4)+ 3π G ) π 3 ζ(2n) (2n + )(2n + 3)6 n, (4)

26 Ideas of the proof The main ingredients in the proof of the above theorem are the following: Fubini s theorem, Clausen acceleration formulas and π/4 u log(sin u)du = ζ(3) πg 8 π2 log 2 to find 32 0 π/2 0 Cl 2 (y) = ζ(3). It can be proven using Fubini s theorem a formula for π 2 /4 0 Cl 2 ( y)dy which combined with the polygamma formula related to the Hurwitz zeta function give us π 2 /4 0 Cl 2 ( y)dy = 3π ζ(3) + 2β(4). 32

27 Rational series representation involving ζ(2n) We shall call rational ζ-series of a real number x, the following representation: x = q n ζ(n, m), n=2 where q n is a rational number and ζ(n, m) is the Hurwitz zeta function. For m > integer, one has m x = ζ(n) j n. n=2 q n j= J. M. Borwein, D. M. Bradley, R. E. Crandall, Computational strategies for the Riemann zeta function, J. Comp. Appl. Math. 2 (2000),

28 Rational series representation involving ζ(2n). Examples In the particular case m = 2, one has the following series representations: = γ = log 2 = (ζ(n) ) n=2 n=2 n=2 (ζ(n) ) n (ζ(2n) ), n where γ is the Euler-Mascheroni constant.

29 New rational series representation involving ζ(2n) Theorem The following representation is true ζ(2n) n4 n ( ) 2n = m m m ( ( 2ζ(m) ) ) 2 m m odd, m even. (5)

30 Some corollaries In particular cases we obtain the following Corollary We have and ζ(2n) = log π. (6) n(2n + )4n

31 Some corollaries Corollary We have the following series representations ζ(2n) 4 n = 2, (7) ζ(2n)(2n )(2n 2) 4 n =, (8) ζ(2n)(2n ) 4 n = π2 8 2, (9) ζ(2n)n 4 n = π2 6, (20)

32 New rational series representation involving ζ(2n) Theorem We have the following series representation ζ(2n) n6 n ( ) 2n = m ( β(m)) m m m ( ( ζ(m) ) ) 2 m odd, m even, (22)

33 Some corollaries again From the previous theorem we recover some well-known rational series representations for π Corollary and ζ(2n) n6 n ( ) π = log 2, (23) 2 ζ(2n) 6 n = 4 π. (24) 8

34 Some corollaries again and again Corollary We have the following series ζ(2n) n4 n ( ) ( ) 2n 4 n = ζ(2k) ( 4 ) 2k 2k k, (25) and ζ(2n) n4 n ( ) ( ) 2n β(2k + ) 4 n = 2k + 2k +. (26)

35 And one more... Corollary We have ζ(2n)(2n ) 6 n = π2 6 2, (27) ζ(2n)(2n )(2n 2) 6 n = π3 96, (28) ζ(2n)n 2 ζ(2n)n 6 n = π ( π ) 6 2, (29) 6 n = π 32 ( ) 3π 2 π2 4. (30)

36 An introduction to the Multiple Zeta Values (MZV) Multiple zeta values (Euler-Zagier sums) are the numbers defined by the following convergent series ζ(k, k 2,..., k r ) = n <n 2 <...<n r n k nk , nkr r where k, k 2,..., k r are positive integers with k r 2. Although it looks simple, it seems that these numbers have deep connections with Galois representation theory or they even appear in calculating Feynman integrals from quantum field theory. We call the above series a multiple zeta of weight k and depth r, where k = k + k k r. Obviously, 0 < r < k and there are ( ) k 2 r multiple zeta values of given weight k and depth r.

37 Multiple Zeta Values: Drinfel d-kontsevich integral representation Also, the MZVs can be rewritten as nested sums such as ζ(k, k 2,..., k r ) = n r = n kr r n 3... n 2 = n k 2 2 n 2 n = Moreover, due to Kontsevich, the multiple zeta values can be expressed as iterated integrals (or Drinfel d integrals) defined by ζ(k, k 2,..., k r ) = 0<t <t 2 <...<t k < Ω Ω 2... Ω k = 0 n k. Ω Ω 2... Ω k, where Ω j = { dtj t j, j =, k +,..., k + k k r + otherwise dt j t j,.

38 Examples of integral representation of the MZVs The following identity holds true: ζ(2) = 0 t t 2 dt t dt 2 t 2 = ( t2 0 0 ) dt dt 2. t t 2 Now, for 0 t < we have the geometric series expansion, = t n, and thus t n t2 0 dt t = n t2 0 t n dt = t2 n n. n Therefore, we get 0 t 2 t2 0 dt t dt 2 = 0 n t n 2 n dt 2 t 2 = n n 0 t2 n dt 2 = n 2. n

39 Examples of integral representation of the MZVs Similarly, one has the following integral representation: dt dt 2 dt 3 ζ(, 2) =. t t 2 t 3 0 t t 2 t 3 <

40 Multiple Hurwitz zeta values and multiple t-values Similarly, one can define the multiple Hurwitz zeta values and multiple t-values as and ζ(k, k 2,..., k r ; a, a 2,..., a r ) = = (n + a ) k (n2 + a 2 ) k 2... (nr + a r ) kr n <n 2 <...<n r t(k, k 2,..., k r ) = 2 (k +k k r ) ζ(k, k 2,..., k r ; 2, 2,..., 2 ) = = (2n ) k (2n2 ) k 2... (2n ) k n <n 2 <...<n r

41 Some important evaluations of the MZV Euler, 775: Hoffman, 992: ζ(, 2) = ζ(3). ζ({} r, 2) = ζ(r + 2) and ζ({, 2} r ) = ζ({3} r ). Hoffman & Zagier (independently), 992: ζ({2} r ) = π 2r (2r + )!. Zagier s conjecture (992) and solved by Broadhurst (998): ζ({, 3} r ) = 4 r ζ({4} r ) = 2π4r (4r + 2)!

42 Some important evaluations of the MZV Drinfel d duality (996): Granville (997): k +k k r =m Bowman & Bradley (2002): k k 2n =m ζ({} m, n + 2) = ζ({} n, m + 2). ζ(k, k 2,..., k r + ) = ζ(m + ). ζ({2} k 0, 3, 2 k,, {2} k 2,..., {2} k 2n 2, 3, {2} k 2n,, {2} k 2 ( ) m + 2n π 2m+4n = m (2n + )(2m + 4n + )!

43 Some important evaluations of the MZV: Zagier s formula Zagier (202): a+b+ ζ({2} a, 3, {2} b ) = 2 ( ) r ca,b r ζ(2r + )ζ({2}a+b+ r ), r= where a, b are nonnegative integers and ( ) ( 2r ca,b r = ) ( ) 2r 2a r. 2b + D. Zagier, Evaluation of the multiple zeta values ζ(2,..., 2, 3, 2,... 2), Ann. Math. 75 (202),

44 Zagier s formula and Brown s work on the MZV F. C. Brown showed (using motivic arguments) that ζ({2} a, 3, {2} b ) are Q-linear combinations of products π 2m ζ(2n + ) with m + n = a + b +. F. C. S. Brown, Mixed Tate motives over Z, Ann. Math. 75 (202), The evaluation of Zagier s formula is important in showing that all multiple zeta values can be expressed as Q-linear combinations of multiple zeta values of the same weight when all arguments are 2 s and 3 s.

45 Taylor series for integer powers of arcsin Using Taylor series expansion of exp(a arcsin x) and iterated integrals, one can derive the following formula: arcsin 2r (x) = (2r)! where H (n) = 4 and H r+ (n) := 4 n n = H r (n)4 n n 2( ) x 2n, x 2n n n (2n ) 2 n 2 = n r (2n 2 ) 2... n r = (2n r ) 2.

46 Taylor series for integer powers of arcsin Similarly, we also have the following formula: arcsin 2r+ (x) = (2r + )! where G 0 (n) = and n G r (n) = n =0 (2n + ) 2 n n 2 =0 G r (n) ( ) 2n n (2n + )4 n x 2n+, x n r (2n 2 + ) 2... n r =0 (2n r + ) 2 J. Borwein, M. Chamberland, Integer powers of arcsin, Int. J. Math. Sci. Art. ID 938 (2007), 0 pp.

47 Taylor series for integer powers of arcsin In other words we have the following formulas: arcsin 2r (x) (2r)! = 4 r 4 n n 2( 2n n ) x 2n n 2 n <n 2 <...n r n n2 r and arcsin 2r+ (x) (2r + )! ( 2n ) n = (2n + )4 n x 2n+ r i= (2n i + ) 2 0 n <n 2 <...<n r

48 Coefficients in the hypergeometric functions Gauss hypergeometric function is defined for x < by the power series 2F (a, b, c; x) = (a) n (b) n (c) n x n n!, where (q) n = q(q + )... (q + n ) is the Pochhammer symbol. The even and odd integer powers from the Taylor series of arcsin can be obtained by comparing the coefficients like powers of λ in the formulas: cos(λ arcsin(x)) = 2 F ( λ 2, λ 2 ; 2 ; x 2 ), sin(λ arcsin(x)) = λx 2F ( + λ 2, λ ; ) 2 2 ; x 2

49 Identities for ζ(2k) and ζ(2k + ) involving MZV In 98, Leshchiner proved the following identities: ζ(2k + ) = ( 2 2k )ζ(2k) = where f r n = f r n = ɛ > 0. n 2k+ = 0<n <...n r <n 0<n <...<n r <n 2( ) n n 3( ) 2n n (2n + ) 2k = k ɛ=0 ( ) k ɛ B ɛ n 2ɛ f k ɛ n, ( ) n( ) 2n k n ( ) k ɛ B ɛ 4 2n (2n + ) 2+2ɛ ɛ=0 f n+ k ɛ, r, j= n2 j r j= (2n j ) 2 and B ɛ = 5/4 if ɛ = 0 and if

50 Identities for ζ(2k) and ζ(2k + ) involving MZV All Riemann zeta values ζ(k) can be written in terms of multiple zeta-star values ζ (k,..., k r ) with k i {2, 3} which are defined by ζ (k,..., k r ) = n n 2... n r n k..., nkr r ζ(2k) = (2( 2 2r )) ζ ({2} r ), ) r ζ(2k+) = (4r( 2 2r )) (2 ζ ({2} i, 3, {2} r i ) + ζ ({2} r, 3) i=

51 Some other identities for ζ(2k) and ζ(2k + ) involving MZV This is is an evidence of the so-called {2, 3}-basis conjecture for multiple zeta-star values: the multiple zeta-star values ζ (k, k 2,..., k r ) with k i {2, 3} and make up a basis of the algebra of the multiple zeta values over Q. D. Leshchiner, Some new identities for ζ(k), J. Numb. Theory 3 (98), K. Thara, J. Kajikawa, Y. Ohno, Multiple zeta values vs. multiple star zeta values, J. Algebra 332 (20),

52 Another proof of Hoffman-Zagier formula We have the following Theorem and ζ({2} r ) = n 2 n 2 n <n 2 <...n r n n2 r = π 2r (2r + )!, t({2} r+ ) = (2n + ) 2 r 0 n <n 2 <...<n r i= (2n i + ) 2 = = π 2r+2 2 2r+2 (2r + 2)!.

53 An evaluation of the Hoffman basis Theorem ζ({2} r, 3) = = 4(2r + ) t({2} r, 3) = n 3 n 2 n <n 2 <...n r n n2 r ζ(2n) 2 2n (2n + 2r)(2n + 2r + ) π 2r (2r + )! (2n + ) 3 r 0 n <n 2 <...<n r i= (2n i + ) 2 = = = 4(r + ) ζ(2n) 2 2n (2n + 2r + )(2n + 2r + 2) π 2r+2 (2r + 2)!2 2r+2

54 Some particular cases and comparison with Zagier s formula r = : ζ(3) = 2π 2 ζ(2n) 2 2n (Euler, 772). (2n + 2)(2n + 3) r = 2: ζ(2, 3) = π4 ζ(2n) 6 2 2n (2n + 4)(2n + 5). r = 3: ζ(2, 2, 3) = π6 ζ(2n) n (2n + 6)(2n + 7). Also, for small values of t({2} r, 3) we have r = 0: t(3) = π2 ζ(2n) 8 2 2n (2n + )(2n + 2) r = : t(2, 3) = π4 48 ζ(2n) 2 2n (2n + 3)(2n + 4). (Euler, 772).

55 Some particular cases and comparison with Zagier s formula A special case of Zagier s formula reads as ζ({2} r, 3) = 2 r ( ) m cr,0ζ(2m m + )ζ({2} r m ), m= where the coefficients are given by cr,0 m = ( ) ( ) 2m 2r 2m 2. 2m We obtain the following Corollary r ( ) m cr,0ζ(2m m + )ζ({2} r m ) = m= = 2(2r + ) ζ(2n) 2 2n (2n + 2r)(2n + 2r + ) ζ({2}r ).

56 The particular case: r = 2 The particular case r = 2 in the previous corollary gives us ζ(2, 3) = π2 2 ζ(3) ζ(5) = π4 2 6 and taking into account Euler s formula, we obtain ζ(2n) 2 2n (2n + 4)(2n + 5), ζ(5) = π4 33 ( (2n + 2)(2n + 3) + 6(2n + 4)(2n + 5))ζ(2n) 2 2n. (2n + 2)(2n + 3)(2n + 4)(2n + 5)

57 The particular case: r = 3 The particular case r = 3 in the previous corollary gives us ζ(2, 2, 3) = π4 5π2 57 ζ(3) ζ(5) ζ(7) = = π6 800 ζ(2n) 2 2n (2n + 6)(2n + 7), and taking into account Euler s and previous ζ(5) formulas, we obtain a similar formula for ζ(7).

58 Can we prove Zagier s formula from our theorem? Yes, we can do it!!! Zagier s formula: ζ({2} a, 3) = 2 a ( ) m ca,0ζ(2m m + )ζ({2} a m ). m= our formula: ζ({2} a, 3) = ζ(2n) 4(2a + ) 2 2n (2n + 2a)(2n + 2a + ) ζ({2}a ) the missing ingredient: 2 ζ(2n) 2 2n (2n + p) = log 2 + +δ [p/2],p/2 p!( ) p/2 ζ(p + ) π p. [p/2] m= p!( ) m (4 m )ζ(2m + ) (p 2m)!(2π) 2m

59 Other projects in progress obtain other interesting "fast converging" series representations of π. deduce a Zagier s type formula for the special multiple Hurwitz zeta values t({2} r, 3). generalize Zagier s formula (special case) for ζ({2} r, m) with m 3 integer and prove Zagier s general formula using this idea of rational zeta series. discover a more general Zagier formula for ζ({2} a, m, {2} b ) with m 3 integer. Hoffman s conjecture: π2m+6 2ζ(3, 3, {2} m ) ζ(3, {2} m,, 2) = (2m + 7)!.

60 Multiple zeta values and particle collisions

61 Thank you for your attention!!!