arxiv: v1 [math-ph] 17 Nov 2008

Transcription

1 November 008 arxiv:08.644v [math-ph] 7 Nov 008 Regularized Euler product for the zeta function and the Birch and Swinnerton-Dyer and the Beilinson conjecture Minoru Fujimoto and Kunihio Uehara Seia Science Research Laboratory, Seia-cho, Kyoto , Japan Department of Physics, Tezuayama University, Nara , Japan Abstract We present another expression to regularize the Euler product representation of the Riemann zeta function. The expression itself is essentially same as the usual Euler product that is the infinite product, but we define a new one as the limit of the product of some terms derived from the usual Euler product. We also refer to the relation between the Bernoulli number and P(z), which is an infinite summation of a z power of the inverse primes. When we apply the same technique to the L-function associated to an elliptic curve, we can evaluate the power of the Taylor expansion for the function even in the critical strip, which is deeply related to problems nown as the Birch and Swinnerton-Dyer conjecture and the Beilinson conjecture. PACS number(s): f, 0.30.Gp, a address: cayce@eos.ocn.ne.jp address: uehara@tezuayama-u.ac.jp

2 Introduction In the situation of successful applications to the physics, the zeta function have been used for convenient regularizations for divergent calculations in the physics. In the previous wor[], we developed a regularization for the Euler product representation by way of the expansion of the logarithm of the zeta function but not using Möbius function lie the Artin- Hasse exponential[]. This was an effort to search the regularized expression for the Euler product of the zeta function in the critical strip 0 < Rz <, whereas the usual definition of the Riemann zeta function is ζ(z) = n = z ( ) () p z n for Rz >, where the right hand side is the Euler product representation and p n is the n-th prime number. In this paper, we continue to deal with the Euler product of the zeta function to well-define even in the critical strip 0 < Rz <, such as the alternating summation in the case of the summation definition: ˆζ(z) = z ( ) n n z, () where we adopt a hat notation as in ˆζ(z) for the regularized functions, which is well defined even in the critical strip 0 < Rz <. In the same way as the previous paper, we are only interested in the region Rz for the Riemann zeta function, because the functional equation ensures us that the regularized nature of the zeta function for the other half plane Rz <. In order to get the regularized expression of the Euler product for the Riemann zeta function, we consider another expression defined by the limit of some expressions in section. In section 3, we argue a relation between the Bernoulli number and P(z) = p z n. When we develop same technique for regularized expression applied to the Euler product for the L-function associated to an elliptic curve, we can get the Taylor expansion at the pole in critical strip which is deeply related to the Birch and Swinnerton-Dyer (BSD) conjecture and the Beilinson conjecture. So in 4 we discuss the BSD and the Beilinson conjecture and concluding remars.

3 Another expression for the Euler product representation When we thin about the Euler s alternating series ˆζ(z) = z ( ) = z (3) for the Riemann zeta function, we can evaluate the function for the valuable z even in the critical strip 0 < Rz < as well as < Rz. We search for a similar expression for the Euler product of the Riemann zeta function in this section. In thesame way astheprevious wor[4], here we define then-term summation orproduct which converges to the Riemann zeta function in the limit of n, ζ Σ n(z) = ζ Π n(z) = n z (4) n ( ) p z (5) = = and ζ(z) = lim ζ Σ n(z) = lim ζ Π n(z) (6) for Rz >. For the hat notation, we write well-regularized zeta function even in the critical strip 0 < Rz < as ˆζ(z) = lim (z) = lim ˆζn zξ n(z), (7) where ξ n (z) is defined by ξ n (z) = n = ( ) z. The relation between ζ Σ n(z) and ζ Π n(z) was also discussed in the previous wor[4] and we evaluate as ζ Σ n (z) = ζπ n (z)+σ n(z) ξ n (z) = ζn Σ (z) z ζn Σ (z), (8) 3

4 where σ n (z) becomes zero for n. We can easily find an expression of ξ(z) using these two equations above as ξ(z) lim ξ n (z) = lim{ζn Π (z) z ζn Π (z)} = lim { = lim ( n p z = ( n ζn Π (z) =n+ z n = p z ) p z )} z, (9) where we have used the fact that lim σ n (z) = 0 in Eq.(8). Each zero is the solution for ˆζ(z) = 0 in the region of ξ(z) = 0 for z > 0 because of the last line in Eq.(9). Each solution for ˆζ n (z) = 0 is also the solution ρ for ξ n (z) = 0 for ζ Π n(z) 0. So the condition for ρ is n =n+ and for z ρ, namely ξ n (z) 0, the relation n =n+ ( p ρ ) = ρ +o(n ρ ) (0) ( p z ) = z +O(n z ) () is satisfied, where ζ Π n(z) = ˆζ n (z)+ n z z σ n(z).[] lim n =n+ n lim =n+ log( p ρ ) = (ρ )log () log( p z ) = (z )log+o( log(z )) (3) Under the Riemann hypothesis, we get n =n+ ( p ρ + p ρ + 3 p 3ρ ) + = ( ρ)log (4) 4

5 and we add this equation and the other given by substituting ρ for ρ, we get finally n =n+ {( p ρ + ) p ρ + ( p ρ + ) } p ρ + = log. (5) In order to refer to the condition of the zeros on the critical line for the Riemann hypothesis, we introduce the ratio f n (z) of two products as f n (z) ζπ n(z) ζ Π n(z) = n r=n+ p r z (6) ζσ n (z) ζ Σ n (z) = ξ n(z)+ z ζ Σ n (z) ζ Σ n (z) z, (7) where we made use of Eq.(9). The distinctive features of f n (z) for the Euler product are. We get a finite expression of the Euler product for z <, whereas the usual one diverges in the critical strip.. We can decide the value of regularized zeta function itself. ˆζ n (z) = ζπ n (z) z ζn Π(z) n z ζn Π(z) ζπ n (z) z (8) 3. We cat get the expression of ˆζ n (z) by way of f n (z). Thus it can be regarded the condition f n (z) = 0 of regularized quantities as the Euler product expression for ζ n (z). ˆζ n (z) = f n(z) z f n (z) n z z (9) After all, we conclude that f n (z) ζπ n (z) ζn Π(z) = z +O(n z ) lim f n(ρ) = ρ. (0) Thans to these expressions, we have become to be able to evaluate a limit of finite series in the Euler product compared with the previous wor[3], in which we regularized infinite amounts by way of the dipole limitation method. 5

6 3 The Bernoulli number and the regularized Euler product representation As is stated in the previous paper,[] we can transform the zeta function to followings by taing logarithms of Eq.(): ( logζ(z) = p + z n p + z n 3p + 3z n 4p + ) 4z n 5p + 5z n where we have used P(z) = = P(z)+ P(z)+ 3 P(3z)+ 4 P(4z)+ P(5z)+ () 5 = P(z)+R(z), p n z in the second line. We easily recognize that each term after the second converges in Eq.() in the region Rz > and it can be shown that ζ() the infinite sums after the forth term converges by using the formula = γ = with the Euler constant γ. Thus we express only the first term P(z) as the term for a regularization and the expression for P(z) for Rz > can be got by adding or subtracting a term of logζ( p z), p P(z) = logζ(z) logζ(p i z)+ p i i= i<j p i p j logζ(p i p j z) i<j< p i p j p logζ(p i p j p z)+, () where a coefficient of m P(mz) term for m = p α α i p i α p n in cancels out by using the n ( ) n relation ( ) n = 0. i i= A regularization of P(z) in the region of < Rz < is also performed in the previous wor[4, ] where we have introduced } ˆζ(z) = lim (z) = lim {ζ Σn(z) n z, (3) ˆζn z { n } dt ˆP(z) = lim ˆPn (z) = lim P n (z) (4) (tlogt) z 6

7 with P n (z) n =, and we define the term p z which is finite in the limit of n. The conclusions we have got are R n (z) logζ Σ n (z) P n(z), (5) P n (z) = log n z +o(n) z (6) ˆP(z) = log +O(). z (7) For getting an expression R n (z) ineq.(5), we have evaluated P n (z) = n dt p t z +O(). After all for < Rz <, ˆP(z) is finite and ˆζ(z) = e {ˆP(z)+R(z)} cannot vanish in this strip. We focus on the relation between the Bernoulli number and P(z) from now on. We put down the relation ζ( z) = z lim n r= ( ) z b r r = z lim b n(z) (8) for any z, ( where ) this is only true for z = m+(m:positive integer) before the regularization z Γ(z +) though, r Γ(z r +)Γ(r+) and b r s are the r-th Bernoulli number. Here we consult the relation of Eq.() in the wor[4] ˆζ( z) = ζ Σ n ( z)+h( z)ζσ n (z)+r n( z), (9) where H(z) = Γ( z)(π) z sin πz, and the residue r n(z) converges to zero in the limit of n. Taing this limit in Eq.(9) namely we get b n (z) n lim ˆζ z n ( z) = lim z = lim z ˆbn (z), (30) b(z) lim ˆbn (z) = lim zˆζ n ( z) = zˆζ( z). (3) We can write down the relations using Eqs.(),(7) and (3) b( z) = e R(z), R(z) = logb( z) (3) 7

8 and b(z) = zˆζ( z) = zˆζ(z)γ(z) z π z cos πz [ ( ] DC z = )b r r r=0 [ = z z(z ) z(z )(z )(z 3) + B B (33) 4 z(z )(z )(z 3)(z 4)(z 5) + B 3 70 DC z(z )(z )(z 3)(z 4)(z 5)(z 6)(z 7) B 4 + ], 4030 where [ ] DC means that a regularization[3] is performed inside the parentheses and B s are also called the Bernoulli numbers whose values are B =,B 6 =,B 30 3 =,B 4 4 = 30 and so on. Here we present the formula for the Riemann zeta function by way of b(z) given by ˆζ(z) = b( z)eˆp(z). (34) Some terms of n-th term for b(z) defined in Eq.(8) are b 0 (z) = b (z) = b (z) = + z(z ) = (z 3)(z 4) b 4 (z) = (z 3)(z 4) z(z )(z )(z 3) 70 = b 6 (z) = and a general n-th term of b(z) is (z 3)(z 5)(z 6)(z +8) (35) (z 3)(z 5)(z 7)(z 8)(z +8z +36) b n (z) = b n (n)! (z 3)(z 5)(z 7) {z (n )}(z n)g n(z), (36) 8

9 where g n (z) s are given by g (z) = g (z) = g 4 (z) = z +8 (37) g 6 (z) = z +8z +36. As we factorized trivial zeros out from b n (z), solutions of the limit of the regularized [g n (z)] DC = 0, namely zeros of lim ĝ n (z) = 0 should be identical to non-trivial zeros of the Riemann zeta function, which means that we could get an Hadamard expression of the Riemann zeta function by way of the Bernoulli numbers and same of the L-functions. The reason why we can get the relations stated in this section without the Möbius function is deeply related to an expression using by primes lie Eq.(). When we assume the expression f(x) = n α g(n β x) (38) is absolute convergent, we get the expression for g(x) by way of f(x) and primes as g(x) = f(x) p x f(p β x)+ (p p ) α f((p p ) β x) (p p p 3 ) α f((p p p 3 ) β x)+, p <p p <p <p 3 (39) where we suppress the residue as we lie taing a sufficient large prime p M (p < p < < p M ). In this way we have got Eq.(), where we can get the relation by putting z = 0 P(0) = logζ(0) logζ(0)+ p i i i<j ) = logζ(0) ( p = ( = log ) logζ(0) p i p j i<j< p i p j p logζ(0)+ 0 = 0. (40) So this formula is well defined even in z = 0 which should be compared with ˆP(0) = 0. Some other values for P(z) of an integer z are got by Eq.(34) lie P( ) = log, P( 3) = log4. 9

10 4 The BSD conjecture and the Beilinson conjecture The BSD conjecture[7][8] claims that the ran of the abelian group of rational points on an elliptic curve E E : Y +ay = X 3 +bx +cx +d (4) is equals to the order of zero of the associated L-function L(E,z) = (p n N pn (E))p z n +p z n at z = and that the equation (4) has infinite rational roots and L(E,) = 0 are identical. This conjecture leads to the theorem[9][0] that Eq.(4) has finite rational roots in case of L(E,) 0 and that Eq.(4) has infinite rational roots in case that L(E,z) = 0 has the order-one zero at z =. When we apply the regularization for the Euler product developed in the previous section to the L-function associated to an elliptic curve, (in which the Riemann hypothesis holds[4],) the BSD conjecture can be taen into account. As is mentioned in the previous wor[], the case of L(E, ) 0 is followed by the regularization of the Euler product and L (E,) 0 in case of L(E,) = 0 is satisfied by the generalized Riemann hypothesis. Here we express the coefficients numerically of the Taylor expansion of the Riemann zeta function at z =, which is deeply related to the Beilinson conjecture. When we expand the Riemann zeta function around z =, it gives ζ(z) = z + n=0 (4) ( ) n γ n (z ) n, (43) n! where the coefficients γ n are refered to as the Stieltjes constants given by { m } (log) n γ n lim (logm)n+ m n+ = and γ 0 is nown as the Euler constant γ. We introduce the function Z(n) which is the summation the negative integer powers of such zeros by Z(n) { ( ) n = +iλ j + j= ρ n 0 (44) ( ) } n iλ j, (45)

11 where ρ is the -th nontrivial zero of ζ(z) and ρ = ± iλ j under the condition of the Riemann hypothesis[3, 4] which proof is given in Appendix. Such summations can be represented by the Stieltjes constants γ n as Z() = (+γ log(4π)) Z() = +γ 8 π +γ Z(3) = +γ 3 +3γγ + 3 γ 7 8 ζ(3) Z(4) =. Using these relations above, we can solve γ n by way of Z(n+) and γ where < n as γ 0 = Z() +log(4π) = γ γ = ) (Z() γ π 8 γ = (Z(3) γ 3 3γγ + 78 ) 3 ζ(3) γ 3 = After all every γ n is expressed by λ j s, γ and the zeta function of odd integers. This story is easily understood by comparing Eq.(43) with Eq.(8). The equation (8) should be read that the Bernoulli numbers are coefficients of the Riemann zeta function when it is expanded around z =. When we loo at Eq.(33) replaced z by z, any coefficient of Eq.(43) can be represented by the Bernoulli numbers. When the generalized L-function is formed by the Euler product expression, coefficients of the generalized L-function expanded around the pole are given by the generalized Bernoulli number or the zeros of the generalized Riemann hypothesis. This leads us to the goal of the Beilinson conjecture. We now about some examples which show the relation between specials of the zeta function and the generalized Bernoulli numbers as (a,b,c) S ψ(abc) ( ζ a )( ζ b )( ζ c ) = p ( p+ 4 B,ψ + ) 6 B 3,ψ, (46) where S = {(a,b,c) (F p ) 3 ;ab+bc + ca = 0}, ψ is the index of quadratic residue, p is a prime satisfying p 3 mod 4 andζ = e πi/p. And some areequalities got by the comparison between the trace formula and the Riemann-Roch theorem for the automorphic form, where

12 generalized Bernoulli numbers often appear. We also now that the Dirichlet L-function on the integer can be represented by the generalized Bernoulli number, which is defined by generating function as f χ(a)te at e ft = t n B n,χ (47) n! a= andthegeneralizedbernoullinumber B n,χ itselfiswrittenbywayofthebernoullipolynomial as f B n,χ = f n χ(a)b n (a/f). (48) a= Another example of the L-function L(E, z) associated with an elliptic curve is also written by L(E, z) z= = (E) Reg(E) v:bad Tam v, (49) (z ) r E(Q) tor Ω where Reg(E) is the height pairing, Tam v is a local Tamagawa number and Ω is the period of E. n=0

13 Appendix Here we present a brief proof of the Riemann hypothesis for the Riemann zeta function. As we cited above, the true mechanism of the proof can be seen in previous wor[4], we tae the essence of the proof by using the functional equation. The functional equation is given by ˆζ(z) = H(z)ˆζ( z), (A) where H(z) = Γ( z)(π) z sin πz. We easily get the relation and we can transform it as H(z +) H(z) = 4π z(z +) (A) z(z +) = 4π H(z) H(z +) = 4π H(z +) = 4π H(z +) lim = 4π z H(z +) z lim ˆζ(z) ˆζ( z) ζ n (z) n n/ z z +o( n) ζ n ( z) n n z, nz / z +o( n) (A3) where we used the relation derived from Eqs.(7) and (8) in the wor[4] such as Finally we get the relation ζ n (z) = ˆζ(z)+ n z z +o(n). (A4) (z )H(z +) 4π z = lim n z, (A5) where R( z) must be equal to zero, because the left hand side is finite for z ±. 3

14 References [] M. Fujimoto and K. Uehara, Regularizations of the Euler product representation for zeta functions and the Birch Swinnerton-Dyer conjecture, arxiv:math-ph/ (007). [] N. Koblitz, p-adic numbers, p-adic analysis and zeta function, Graduate Texts in Mathematics, 58, nd edition, Springer, 998. [3] M. Fujimoto and K. Uehara, Regularization for zeta functions with physical applications I, arxiv:math-ph/ (006). [4] M. Fujimoto and K. Uehara, Regularization for zeta functions with physical applications II, arxiv:math-ph/0700 (007). [5] R. K. Guy, Products Taen over Primes B87 in Unsolved Problems in Number Theory, nd ed. New Yor: Springer-Verlag, pp. 0-03, 994. [6] E. Muñoz Garcia and R. Pérez-Marco, The Product Over All Primes is 4π, Preprint. May 7, 003. [7] B. J. Birch and H. P. F. Swinnerton-Dyer, Notes on elliptic curves I, J.Reine Angew. Math (963), 7-5. [8] B. J. Birch and H. P. F. Swinnerton-Dyer, Notes on elliptic curves II, J.Reine Angew. Math 8 (965), [9] B. Gross and D. Zagier, Heegner points and derivatives of L-series, Invent. Math. 84 (986), [0] V. Kolyvagin, A Finiteness of E(Q) and X(E,Q) for a subclass of Weil curves, Izv. Aad. Nau SSSR Ser. Mat. 5 (988),