ZETA REGULARIZATION APPLIED TO THE PROBLEM OF RIEMANN HYPOTHESIS AND THE CALCULATION OF DIVERGENT INTEGRALS Jose Javier Garcia Moreta Graduate student of Physics at the UPV/EHU (University of Basque country) In Solid State Physics Address: Address: Practicantes Adan y Grijalba 2 5 G P.O 644 48920 Portugalete Vizcaya (Spain) Phone: (00) 34 685 77 16 53 E-mail:
[email protected]
MSC: 45G05, 47H30 , 03.65.-w , 11.10.Gh
ABSTRACT: In this paper we review some results of our previous papers involving Riemann Hypothesis in the sense of Operator theory (Hilbert-Polya approach) and the application of the negative values of the Zeta function
(1 s)
to the divergent integrals
x
s 1
dx and to the
0
problem of defining a consistent product of distributions of the form
D m ( x) D n ( x ) , in this
paper we present new results of how the sums over the non-trivial zeros of the zeta function
h( ) can be related to the Mangoldt function
0
( x) assuming Riemann
Hypothesis.Throughout the paper we will use the notation
R (s) (s)
meaning that we use
the zeta regularization for the divergent series
n
s
s>0 or s=0
n0
Keywords:Zeta regularization, Urysohn equation , exponential nonlinearity , Riemann Hypothesis Hilbert-Polya operator, divergent integral
1.Spectral Zeta function H ( s ) and Riemann Hypothesis : In case Riemann Hypothesis (RH) is true, in a previous paper [6] we give the physical equivalence between the explicit formula for the Chebyshev function 0 ( x) and the ˆ formula for the trace of the Unitary operator Uˆ eiuH , where H is the Hamiltonian 1 operator iHˆ n 0 , that is H is precisely the Hilbert-Polya operator solution to 2 Riemann Hypothesis , let be the integral representation
1
x (0) 1 log(1 x 2 ) x 1 x 1 ( s ) x 0 ( x) (0) 2 ds 2 i ci ( s) s x 1 0 s
c i
(1.1)
Letting x eu , and differentitating with respect to ‘u’ we find the (trace) identity
eu / 2 e u / 2
d 0 ( eu ) eu / 2 ˆ 3u u eiuEn Tr Uˆ eiuH du e e n
u >0
(1.2)
Using the semiclassical representation for the trace
e
iuEn
in terms of an integral over
n
Phase Space , we have that the potential V(x) inside Hamiltonian H can not be arbitrary but must satisfy a kind of nonlinear Urysohn integral equation ( r > 1)
r
iV ( x )
dx
log(r ) d 0 (r ) 1 i / 4 1 3 e 1 r dr r r
r eu
(1.3)
d 0 ( x) 1 ( x p ) dx log( x) p , p (sum taken over prime and prime powers ) .However (1.3) is too complex to have a known analytic solution, a good method to solve would be to suppose that the Operator proposed by Berry and Keating [2] plus an interaction is the correct Hilbert-Polya operator, in that case H b xp W ( x) and we can linearize (1.3) at first order in the coupling constant ‘ ’ as
The derivative of the Chebyshev function is defined as
Tr eiuH ˆ
2 iu dpFˆ W ( x), u |u|
Fˆ W ( x), u dxeiuxpW ( x)
Also, if we introduce the function Zu
dxe
iu (V ( x ) x )
(1.4)
, with continuos partial
derivatives k Zu ( ) , then solving (1.3) is equivalent to finding a solution to the initialvalue problem
Zu ( )
Z u ( ) k k Z ( ) 0 iu d k k k u k 0 (iu ) (1.5)
u / 2 u / 2 d 0 (e ) u e 3u u e e e du e e u
u/2
i
4
Z u (0)
Expression (1.8) tells us that proving RH is equivalent to show that the ODE given in 1 d kV ( x) , (1.5) with d k R and d k V ( x ) d k x k using (1.5) together with 0 x k k ! dx k 0
2
a finite power expansion for V(x) , using (1.5) we could obtain the constants d k R to get an approximate solution for the potential V(x). 1 If RH is true and iEn 0 , with En E n being the eigenvalues of a certain 2 2 operator H p V ( x) , using expression (1.2) and the functional equation s (1 s) 2(2 ) s Cos ( s) ( s ) ,then for n 0 we can define an spectral Zeta 2 function , involving the nontrivial zeros of Zeta and primes and prime powers
s Sec t 1 2 dtTr eitHˆ 2 s ( s ) dtet / 2 1 e t d 0 (e ) 1 t s 1 s (1 s ) 0 dx e 3t e t 2( s ) 0 n 0 En (1.6)
E
The value
n
e
d (0) ds
would be the regularized product of all the positive
n 0
‘Eigenvalues’ En this expression can also be used to obtain a Dirac measure for the En , let us introduce
E n 0
s n
1 1 dt t t s 1 0 n 0 En En
(s) dtK 0 (t )t s 1 (1 s ) 0
(1.7)
Using the properties of the Mellin transform applied to solve linear integral operators
I [ f ] dtR ( xt ) f (t ) , if we combine (1.6) and (1.7) we get the result 0
1 1 dt e 1/ 2t d 0 (e1/ t ) e1/ 2 t 3/ t 1/ t x K 0 (2 xt ) e1/ 2t 2 En 0 t t dt e e n 0 En
( x )
(1.8)
If we took the Mellin transform dxx s 1 inside (1.8) together with the change of 0
variable xt=z we would recover equation (1.6) , note that the Mellin transform of the 1 Kernel K 0 (2 xt ) does not depend on the nontrivial zeros it . 2 Using test functions
1 1 i h inside (1.8) obtained from our Trace formula for x 2 x
we can relate the convergent sum h( ) to a sum over primes and prime ˆ
Tr eiuH
powers
3
K 0 2 xt 1/ 2t e1/ 2 t d 0 (e1/ t ) e1/ 2t 1 i dxh dt e 0 2 x 0 xt t2 dt e3/ t e1/ t 1
c.c h( ) (1.9)
Formula (1.9) and its result can be compared with sums Chebyshev function) and Z (n)
ˆ
a (explicit formula for
1 n N , that can be calculated exactly. n
o The Trace Tr eiuH and the sum
h( )
Even though we can not solve equation (1.3) we can use the Trace expression (1.2) to find stimates for sums h( ) . First we define a couple of function g(x) and h(x) with
the following properties
Both g(x)=g(-x) and h(x)=h(-x) are even functions g ( x) lim exists and it is finite x 0 x The functions h(x) and g(x) are related by a Fourier Cosine transorm 1 dxh( x)Cos ( x) g ( ) 0 The function h(x) can be defined by analytic continuation to the region of complex plane defined by Re (s) =0 , in particular h(i / 2) 1 i
If RH (Riemann Hypothesis) is true, then the Trace (1.3) is just a sum of cosines 2cos( u) , then if we take g(u) as a test function 0
iuH dug (u )Tr e ˆ
0
h(i / 2) h(i / 2) (n) g (u ) 2 h( ) g (log n) due u / 2 2u 2 e 1 n n 1 0 0 (1.10)
In order to obtain (1.10) we have used the representation in terms of Dirac deltas of the d 0 (e u ) ( n ) g (log n) , and derivative of Chebyshev function to get dug (u )e u / 2 du n n 1 0
the Euler formula for cosine to represent the integral dug (u )eu / 2 as the sum 0
1 h(i / 2) h(i / 2) . An special case is whenever we choose 2
h( x)
(s x) (s x) and 2
g (u ) cos(u )
4
(1.11)
Then we can use the functions in (1.11) and the formula (1.10) to get
1 '(1/ 2 is )
'(1/ 2 is )
2
( s ) 2 (1/ 2 is) (1/ 2 is) 1 4s
2
n 0
(2n 1/ 2)
2n 1/ 2
2
s2
(1.12)
(1.12) is the ‘density of states’ in QM , and can be used to know how many zeros of the T form ½+is are with imaginary part less that a given ‘T’ since N (T ) ds ( s ) 0 0 A formal derivation of (1.12) can be obtained considering the following indentities for divergent series involving zeta regularization or analytic continuation
ean n 0
1 (linearity) 1 ea
(n)
n n 1
1/ 2 is
'(1/ 2 is ) (1/ 2 is )
(n) 1 (n) is (n) is cos( s log n) n n 2 n 1 n n n n 1 n 1
(1.13)
(1.14)
And the Laplace transform of Cosine dte st cos(at ) s ( s 2 a 2 )1 .The poles inside 0
(1.14) are of three kinds s n from the Non-trivial zeros of Zeta function ,
s i / 2 due to the divergent value (1) and s i 1/ 2 2n n N form the trivial zeros of zeta function -2,-4,-6,..........
o Riemann-Weyl formula and a solution for the inverse of potential V(x): A similar formula to (1.10) had been previously introduced by Weyl in 1972 [9] ( n) 1 g (log n) h( ) h(i / 2) h(i / 2) g (0)log 2 2 n n 1
' 1
ir
h(r ) 4 2 dr
(1.15) Weyl summation formula can be used to solve equation (1.10) if we make inside this integral equation the change of variable x V 1 ( ) , then (1.10) is simply proportional e iu i / 4iu on the interval 0, which is just u
to the inverse Fourier transform of
1
involving the imaginary parts of the Riemann zeta zeros , to get rid off the sum we ca use (1.15) to express the inverse of potential
proportional to another sum
5
A
V 1 ( )
E
2 i
BCos (c / 4) D
(n)cos( log n / 4) n log n
n 1
1/ 2
1 ir 1 1 Fp.v dr 1/ 2 1/ 2 4 2 r r
(1.16) Where A, B, c, D, E , F R are real parameters that define the potential , from formula (1.16) the Hamiltonian would be self adjoint and its energies (imaginary part of zeros) would be real numbers. (If the new limits of integration after taking the change of variable x V 1 (r ) were not but real numbers c,d then we could multiply the left side of equation by Wcd ( x) H ( x c) H ( x d ) , c, d V () ) The sum involving (n) can be treated using fractional calculus and zeta regularization
2
(n) cos( log n / 4) n log n
n 1
1/ 2
i
d 1/ 2 '(1/ 2 i ) d 1 / 2 '(1/ 2 i ) i d 1/ 2 (1/ 2 i ) d 1/ 2 (1/ 2 i ) (1.17)
At the points the inverse of potential becomes , as we can expect from
1/ 2
0
1/ 2
1/ 2
(1.18)
0
Although we have investigated the trace involving the Chebyshev function 0 ( x) (n) , with some changes it can also be applied to find a Trace involving n x
M ( x ) 1 ( x ) xZ+ , if there are no multiple zeros the Mertens function M 0 ( x) (n) M ( x ) 2otherwise n x of Riemann zeta function so '( ) 0 , then we can find an expression for Mertens function involving a sum over Zeta zeros as x (1) n1 2 M 0 ( x) 2 '( ) n 1 (2 n)! n (2n 1) x
2n
x >0
(1.19)
Since the Mertens function is just an step function its first derivative it will be a set of Dirac delta function so
u / 2 due 0
dM 0 (eu ) (n) g (u ) g (log n) du n n 1
(1.20)
0 if n is not square-free. is Mobius function 1 n=1 Where (n) k (1) if n is square-free with k- distinct prime factor
6
Then differentiating respect to ‘x’ and setting x eu , assuming RH is true so all the non-trivial zeros are of the form 1/ 2 it , (with ‘t’ real ) and choosing two even test
1 functions (g, h) related by a Fourier transform g ( x) h(u ) cos(ux) du one gets 0 ( n) h( ) 2(2 )2 n ( 1) n g (log n) dug (u )e (2 n1/ 2) u (2 n)! (2n 1) 1 n n 1 ' i n1 2
(1.21)
(1.21) is a similar expression to Riemann-Weyl explicit formula for the sum relating e x when x > 0 with primes and Riemann Zeta zeros. As an example let be g ( x) 0 when x < 0 ' ' a real and positive number, if 1/ 2 one should have the Prime Number theorem , ( n) ( n) so 0 , an even stronger conclusion is that if RH is true then 1/ 2 must be n n 1 n 1 n convergent for every positive 0 and equal to ( n) 1 1 4(2 ) 2 n ( 1) n 1 . 1/ 2 ' 1/ 2 i i n 1 n n 1 (2n )! (2 n 1) 4n 1 2
(1.22)
2. Zeta regularization for divergent integrals: Given the function f ( x) x m , we can use the Euler-Maclaurin summation formula to
obtain a recurrence relation between an integral of the form I (m, ) p m dp m Z 0
with m x m1dx m and the series 0
1
1
i
m
, m 0 ref [7]
i 0
B2 r amr (m 2r 1) I (m 2r , ) r 1 (2 r )!
I (m, ) (m / 2) I (m 1, ) i m i 0
(2.1)
m x dx 0
m m1 B2 r m !(m 2r 1) m 2 r x dx m ( ) x dx 20 r 1 (2 r )!( m 2r 1)! 0
The coefficients amr
(m 1) vanish when m 2 2r , hence the sum inside (m 2r 2)
(2.1) is finite if m is an integer , in the physical limit the cutoff , this makes the
7
1
series
i
to be divergent for m 1 , in this case we should use the Functional
m
i 0
equation for the Zeta function to obtain the (Regularized) value 1
lim n m 1 2m 3m ... m R (m) ( m)
(2.2)
n1
(2.2) is the Zeta-regularized value for the divergent sum envolved in (2.1) , using this method we can compute the divergent integrals I (m, ) , for m=1,2,3
I (0, ) (0) 1/ 2 dx 0
I (1, )
I (0, ) (1) xdx 2 0
(2.3)
1 B I (2, ) I (0, ) (1) 2 a21 I (0, ) x 2 dx 2 2 0
31 B I (3, ) I (0, ) (1) 2 a21 I (0, ) (3) B2 a31 I (0, ) x 3dx 22 2 0
The case m=0 is just equal to the divergent series 1+1+1+1+1+1+1+1+1+... taking the regularized value -1/2 evaluated from (0) For an arbitrary function f(x) so its integral would diverge as a power of the cutoff N 1 we could expand f(x) into a Laurent series convergent for |x| <1 and |x| >1 so we find
N
N a
a
r 0
i 0 0
j 2
1 i j 1 dxf ( x) cr I (r , ) c1I (a, 1, ) O( ) dx ci x c j a
ci
(2.4)
, taking , and using (2.1) (2.2) (2.3) to regularize the divergent
integrals I (m, ) we could obtain a regularized (finite) value for the integral dxf ( x) , 0
dx can not regularized by our x a formulae, the solution would be to use the Euler-Maclaurin summation to approximate the divergent integral by a divergent Harmonic sum that can be attached a ‘Ramanujan a 1 sum’ ( =Euler-Mascheroni constant) n 1 n
however the logarithmic divergent integral I (a, 1, )
8
o Zeta regularized product of distributions:
Formulae (2.1-2.3) can be used to compute divergent integrals of the form
x
s 1
dx , but
0
also could give an answer to the problem of multiplication of two distributions involving Dirac delta and its derivatives D m ( x) , if we tried to define the product of distributions involving delta functions we could use the ‘convolution theorem’ applied to the Fourier transform ( A=normalization constant) : (2 ) 2 i mn D m ( ) D n ( ) F x m x n AF
dtt m ( x t ) n
(2.5)
Unfortunately (2.5) makes no sense , the integral is divergent for every real or complex value of ‘x’ , if m and n are positive integers using the Binomial expansion i mn D m ( ) D n ( ) =
i mn D m ( ) D n ( ) =
n
n
k 0
k i
m k
AD nk ( )(1)k i nk D mk (0)[ R ]
(2.6)
n nk k nk mk AD ( )( 1) i ( 1) 1 xmk dx k k 0 0 n
(2.7)
‘R’ stands for regularization (regularized value) , the divergent integrals come now from the dirac delta and its derivatives evaluated at x=0 , which are proportional to
x dx for k=2r+1 (Odd) the integral considered in Principal Value k
is 0 , for k=2r
(even integer) the integral can be written as i 2 r D 2 r (0) 2 I (2r , )
, I (2, r ) x 2 r dx (r=integer) and can be evaluated using (2.1) and (2.2) . 0
The expression (2.7) is real ,this is what one would expect since the product of two distributions taking only real values must be real , however (2.6 ) is not still invariant under the change m n and n m (this is a mistake we made in paper [7] ) so we should take a more symmetrical product of distributions defined by
D D m
n
R
( )
1 m D ( ) D n ( ) D n ( ) D m ( ) 2
(2.8)
The simplest case is m=n=0 so R ( ) A ( ) For the case of ‘m’ and ‘n’ not being an integer or we have a shifted dirac delta D k ( x a ) , we could use the identies for the k-th power of ‘x’ or the traslation d in the form operator e D and D dx
9
e aD D r ( x) (1) j j 0
In case of integrals on
r k D r D 1 k 0 k
a j r j D ( x) ( x a ) j!
Rd
(2.9)
dkF (k ) , if the function F , is invariant under Lorentz
Rd
transformations, then making a Wick rotation to imaginary time t it ,the metric becomes ds 2 dx 2 dy 2 dz 2 dt 2 which is invariant under rotations, taking 4-
d /2 dimensional polar coordinates our integral can be evaluated as drf (r )r d 1 , if (d / 2) 0 not we could replace the integral over the cross section (angles) d by a discrete sum
drf (r , )r
d 1
i
i
, with ‘d’ equal to the dimension of space-time
0
Example:
dx a
x2 with in this case the integral has a power-law 1 x
(quadratic) divergence 2 , a >1 and integer (this is not relevant since the integral diverges only for big ‘x’ ) , the Laurent series for |x| bigger than 1 is
x 1 x 1 (1) j x1 j , if we approximate the logarithmic divergent integral j 3
of 1/x by the divergent series
1
na
(after a change of variable x=t+a) then,
n 0
the approximate ‘Zeta regularized’ value of the integral would be
(0) '(a ) x2 a 2 (1) j 2 j ( 1) dx a a 2 2 j 3 j 2 (a) a 1 x R
(2.10)
Another example without a logarithmic divergence , would be dx a
x4 in this case (1 x 2 )
n(1) 32 n a , the logarithmic derivative n 2 2n 3 of Gamma function inside (2.10) is just the Ramanujan resummation of the Hurwitz series H (1, a ) avoiding the pole at s=1
the regularized finite value is just (0) a
n
Another method to evaluate these kind of divergent integrals is, substract a sum of the N N form ci x i , so the integral defined by dx f ( x) ci x i dx exists in the Riemann i 1 i 1 0 sense , in case we had a Fourier transform, we would add and substract terms in the N
form
c x e
i iux
i 1
i
which are proportional to the derivatives of (u ) .
10
x 4 2 3 x 2dx 3 x( x 2)dx 3 1dx 3 x dx the first integral on the right of = is convergent , the logarithmic integral can be (approximately) regularized by means of '(3) and the other integral is just the Ramanujan sumation to the finite value 2 (3) regulariez value (0) 3 . Example
On R k simply use the k-dimensional polar coordinates and try using substraction to
N
obtain an integral of the form dr f (r , r iU i , the idea here is isolate the i 1
0
divergent integrals of the form r m dr 0
Conclusions and final remark In this paper we have used the method of Zeta regularization of series applied to the
problem of finding finite results for divergent integrals
x
m
dx and to give an adequate
0
Hilbert-Polya operator in order to solve Riemann Hypothesis. On the first part of the paper we show that if RH is true then the Chebyshev function evaluated at x=exp(u) is just the trace of the exponential of a Hamiltonian H p 2 V ( x) whose eigenvalues are precisely the imaginary part of the nontrivial zeros, we extend this idea and define the distribution Z (u )
e
m
iu m
2 cos( m u ) m 0
which can be calculated for every ‘u’ bigger than 0 and whose value is related to the d 0 ( eu ) derivative of Chebyshev function . We also discuss the applications of this du trace formula for Z (u )
e
iu m
and how can be used to obtain the values of the
m
sum f ( ) in a similar way to Riemann-Weyl explicit formula, we also obtain a
method to calculate
1 N (T ) , using zeta regularization we obtain an exact
ImT
1 1 arg iT which comes from 2 cos( s log n) integratin the regularized value of the series (n) n n 1
expression for the oscillating term in N(T) as
It may seem at first sight that there is no relation between Rieman-Weyl formula for the sum f ( ) and the one we obtained in (1.10) , however we can prove the following 0
identity (in the sense of distributions)
11
u / 2 e u / 2 sin(ux ) 1 (n) du sin( x log n) 0 e 1 e2u 2u 2 n log n n2 1 1 ix 1 Im log ix log x log 2 4 2 2
(2.11)
This formula can be inmediatly obtained from the definition of the function that gives us the number of zeros with imaginary part less than a given ‘x’ N(x) ,the property of the Chebyshev function 0 (eu ) and the properties of Fourier inverse sine and cosine
transforms for our Trace Z (u ) 2 cos(u ) with Z (u ) 2u dxN ( x) sin(ux) and 0
N ( x)
0
1 1 1 ix 1 x log 1 Im log ix log 2 4 2 2
(2.12)
Taking the inverse sine transform and the definition of Z(u) for u >0 we recover the above formula relating a Fourier sine inverse transform and the imaginary parts of the 1 1 ix logarithm of ix and , if we differentiate respect to ‘x’ and use even 2 4 2 1 irx test functions g(x) and h(x) with drh(r )e g ( x) ,and taking into account that 2 ' 1 we can expand the Real part of is into the divergent (but regularized) sum 2 ( n) co s( s log n) , then the oscillating part of the N(x) gives us the term n n 1 ( n) proportional to g (log n) , integrating over ‘x’ on (2.11) the right terms on the n n 1 derivative of (2.11) is precisely the Riemann-Weyl contribution to the sum h( ) 0
dx
' 1
ix
2 h( x) 4 2 g (0) log
is just the expression for the sum
the term on the left would be du 0
u / 2
g (u )e e2u 1
, which
h( ) obtained from our trace Z(u) , remember that 0
for u <0 from the definition of Chebyshev functions in terms of the explicit formula, there is a factor ‘2’ since the Fourier cosine and Fourier exponential transforms for even functions are related by 2 Fc g ( x) Fe g ( x)
On the second part of the paper, we use the Euler-Maclaurin sum formula together with the analytic continuation of the Zeta function ( s) to negative values , note that E-M
(Euler Maclaurin) formula is correct for integrals of the form
1
12
dx
x
whenever 1
since the series
n ( ) 1 is convergent, the idea of our method is to use Euler
n2
Maclaurin formula and then perform an analytic continuation to values with 1 , in
order to calculate the integral
x
dx 0 , so
n ( ) and we can define a n 0
0
recurrence equation for every integral such as formula (2.1) being the initial term in the
0
n0
recurrence dx 1 (0) , this kind of zeta regularization of series would allow to calculate divergent integrals and to define a regularized product of distributions D m ( ) D n ( ) by applying Convolution theorem to the weird function
dtt m ( x t )n
m, n Z
which can not be defined for any ‘x’ unless we know how to
calculate divergent integrals. Although we can not use (1.7) in order to regularize dx 0 x a we can approximate this divergent integral by the Hurwitz series H (1, a) which is still divergent but can be assigned a finite value in the sense of ‘Ramanujan '(a ) resummation’ another alternative would be differentiating respecto to ‘a’ to get ( a ) a convergent integral so we have the result log(a ) C with ‘C’ an infinite constant.
Appendix A: an integral Trace for the Green function
A formula for the sum
( E E ) in terms of the Trace of the ‘Resolvent’ (green n 0
n
function ) of a Quantum Hamiltonian Hˆ n Enn can be defined as:
Tr G ( x, x ', E ) 4 d 4 xG ( x, x, E ) ( E En ) R
n 0
G ( x, x ', E )
1 ¨ E i Hˆ
(A.1)
One of the easiest method to prove this , is to consider that given a convergent series a with sum S and its Borel transform B(s) defined by B( S , an ) dt n x n e t then n 0 n ! 0
S=B(S) , S an in this case if we take the series n 0
(1)n (i H ) n x n t (1i Hˆ ) 1 E 1 E 1 dte E i H 1 (i H ) E n n! n 0 0 E
(A.2)
Where is an small number so 0 , then using the formula for the Principal value
13
1 1 , in this case taking the trace of the operator inside (A.2) we P.V i ( x) x i x can give a proof to (A.1) using the technique of Borel resummation.
Another example of the method of Borel resummation , let be P( x) (1) n (n) x n n 0
the generating function of the coefficients (n) , let be the function f(t) defined by
( s 1) dtf (t )t s1 then using again the Borel-generalized resummation 0
f (t ) P( x) dt (1)n ( xt ) n f (t ) (1)n (n) x n or P( x) dt xt 1 n 0 n 0 0 0
(A.3)
If we took the Mellin transform on both sides dxx s 1 one would find 0
Pˆ ( s) Kˆ ( s ) Fˆ (1 s ) , or in terms of improper integrals
( s ) (n)( x) n dt 0 n 0 sin( s )
since
dtf (t )t
s
(s)
(A.5)
0
This last formula is known as ‘Ramanujan Master theorem’ , note that we have proved this only using the fact that for a convergent series its sums and Borel transform must be equal S=B(S). According to tihs formula our K function defined previously on (1.7) sin( n ) ( n) would be equal to K 0 ( x) . ( x) n (n 1) n 0
Appendix B: A Riemann-Weyl summation formula Riemann-Weyl formula, is a good tool to calculate sums over the imaginary parts of the Riemann zeros f ( ) , using Zeta regularization and the main property of Dirac delta
distribution
dx ( x a) g ( x) g (a) together with the Hadamard product
2 z / 2 z 1 we can give a proof of it , we will . 1 . ( z 1) z ( z / 2) also need the following formulae
representation ( z )
lim 0
1 1 i ( x) P and x i x
'(1/ 2 i is ) (n) is log( n ) (B.1) .e (1/ 2 i is ) n1 n1/ 2i
The first is Sokhotsky’s formula for delta distribution and the second is just the usual zeta regularization procedure for the Dirichlet sum associated to Mangoldt function , 14
taking logarithms inside the Hadamard product and differntiating at the point 1 z is , where epsilon is an small quantity so we can ignore cuadratic terms 2 2 0 , we can now obtain the following formula
' 1 1 2is 1 ' 1 s i 1 . i is log( ) ( s ) 1 2 2 s2 2 4 2 2 4 (B.2)
1 iP.V s
To obtain (B.2) we have used both formulae in (B.1) so 1 i ( s ) s i iP s with 0 and the derivative of 1 log is i can be calculated using Zeta regularization in terms of a sum involving 2 the Mangoldt function (n) so (B.3) reads now 1 ' 1 s i 1 (n) 1 . i log( ) 1/ 2 i .eis log( n ) iP.V n 1 n s s2 2 4 2 2 2
1 2is
( s ) 1
4
(B.3) If we use inside (B.3) the test functions g(x) and h(x) related by a Fourier transform so dx g (u ) h( x)eiux with g(x) and h(x) being even functions satisfying certain 2
dx h( x) sin(bx) h( x ) x 2 h( x) = dx 1 2 0 dx 1 2 x x 4 4 and if h(x) can be continued analytically to the critical strip we find
properties, in Cauchy’s principal value
1 g ( ) i x 1 1 e . dx d . 2 d g ( )e / 2 . h(i / 2) h(i / 2) .2 1 2 x2 4
(B.4)
In order to change the order of integration inside (B.4) , we assume h(x) and g(x) are regular enough and apply Fubini’s theorem .
Appendix C: Generalization of Urysohn Non-linear equation The problem with integral equation (1.3) is the fact that this implies solving an integral d 0 ( eu ) equation with a distribution , ths kind of integral equation can be generalized du to include test functions (g,h) with the following properties 15
1 iux duh(r , u )e for a real parameter ‘r’ with g and h being even 2 functions on the variable ‘x’ g (r , x) g (r , x) g (r , x) is finite in the limit x 0 x (n) g (r , log n) The integral of g (r , x)e x / 2iur on x , , and the sum n n 1 log n g (r , x)
du dr h(r , u ) , and the same holds for g(r,x) so the nonlinear Kernel 2
are on L2 g (r , x) and h(r , x) are regular enough so we can use Fubini’s theorem to interchange the order of integration
Then introducing this tests functions on (1.3) and taking the integral over ‘u’
interchanging the order of integration and using h(r , x)
dug (r , u )e
iuV ( x ) i / 4
we have
the Urysohn integral equation (depending on the choose of g )
u / 2 eu / 2 du u g ( r , u ) e 0 1 e 2u
(n) g ( r , log n) dxh r , V ( x) (C.1) 4 n n 1 log n
(C.1) is the generalization of (1.3) with the advantage that we are dealing with functions instead of distributions , V(x) depends on Mangoldt function (n) this is not casual since the primes and Riemann Zeta zeros are related . We have used the semiclassical approximation for the series (in the sense of distribution) Z (u )
e
m
iuEn
, En R (if
d 0 (e u ) du sin( at ) In a similar manner we can use the properties of the Laplace transform of and t use the analytic continuation to express (2.11) 2 x (n) tan 1 (2 x) tan 1 sin( x log n) 2 1 4n n 2 n log n n0 (C.2) 1 1 ix 2 Im log ix log x log 2 4 2
RH correct) , this Z(u) will depend on the derivative of Chebyshev function
As pointed before , taking derivatives on both sides of (C.2) we could assign a finite ( n) value to the divergent sum cos( x log n) , using a test function we could compute n n 1
16
the singular integral
df
1
dx dx Im log 2 ix with Poles being the non-trivial zeros
( n) f (log n) . n n 1
over the line Re(s)=1/2 , is related to series
References: [1] Apostol, T. M. “Introduction to Analytic Number Theory”. New York: SpringerVerlag, 1976. and the Riemann Zeros. “ In [2] Berry, M. V. and Keating, J. P. " Supersymmetry and Trace Formulae: Chaos and Disorder” (Ed. I. V. Lerner, J. P Keating, and D. E. Khmelnitskii). New York: Kluwer, pp. 355-367, 1999. [3] Conrey, J. B. "The Riemann Hypothesis." Not. Amer. Math. Soc. 50, 341-353, 2003. available at http://www.ams.org/notices/200303/fea-conrey-web.pdf. [4] Delabaere E., “Ramanujan's Summation, Algorithms Seminar” 2001–2002, F. Chyzak (ed.), INRIA, (2003), pp. 83–88. [5] Elizalde E. ; “Zeta-function regularization is well-defined”, Journal of Physics A 27 (1994), L299-304. [6] Garcia J.J “Chebyshev Statistical Partition function : A connection between Statistical Mechanics and Riemann Hypothesis “ Ed. General Science Journal (GSJ) 2007 (ISSN 1916-5382) [7] Garcia J.J “ A new approach to renormalization of UV divergences using Zeta regularization techniques “ Ed. General Science Journal (GSJ) 2008 (ISSN 1916-5382)
[8] Polyanin, A. D. and Manzhirov, A. V., “Handbook of Integral Equations”, CRC Press, Boca Raton, 1998. [9]
Weyl, A. "Sur les formules explicites de la théorie des nombres", Izv. Mat. Nauk (ser. Mat.) 36 (1972)
17