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: josegarc2002@yahoo.es

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

 (1  s) x
s 1
negative values of the Zeta function to the divergent integrals 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
n0
s
s>0 or s=0

 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
1  ( s ) x   
c i x s
 log(1  x 2 ) x  1
2 i ci  ( s) s 
 0 ( x)   ds      (0) 2 (1.1)
 0 x 1

Letting x  eu , and differentitating with respect to ‘u’ we find the (trace) identity

d  0 ( eu )
 

eu / 2
eu / 2  e  u / 2  3u u   eiuEn  Tr Uˆ  eiuH
ˆ
u >0 (1.2)
du e e n


Using the semiclassical representation for the trace e
n 
iuEn
in terms of an integral over

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)


log(r )  d  0 (r ) 1   i / 4
r dx  1  3 r  eu
iV ( x )
1  e (1.3)

r  dr r r 

d  0 ( x) 1
The derivative of the Chebyshev function is defined as    ( 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

  2  
Tr eiuH   iu  dpFˆ W ( x), u Fˆ W ( x), u   dxeiuxpW ( x)
ˆ
(1.4)
|u|  


Also, if we introduce the function Zu     dxe
iu (V ( x )  x )
, with continuos partial


derivatives  k Zu ( ) , then solving (1.3) is equivalent to finding a solution to the initial-

value problem

Z u ( )   k k 
Zu ( )    iu   d k Z ( )  0
k  u
  k 0 (iu )  
k

(1.5)

 u / 2  u / 2 d  0 (e ) u
e  uu/2
i
e e  3u u   Z u (0)
4
e
 du e e  

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 
k ! dx k x  0 , V ( x )  
k 0
d k x k using (1.5) together with

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 
operator H  p  V ( x) , using expression (1.2) and the functional equation
2

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   
 2   dtTr eitHˆ  2  s  ( s ) dtet / 2  1  e  t d  0 (e )  1  t s 1
 
 t
1
 s

2( s ) 0
 
 (1  s ) 0
 
e 3t  e t 
n 0 En  dx
(1.6)

 d (0)

The value E n 0
n e ds
would be the regularized product of all the positive

‘Eigenvalues’  En  this expression can also be used to obtain a Dirac measure for the
En , let us introduce

   1 

1   (s) 

E n
s
  dt     t    t s 1   dtK 0 (t )t s 1
 (1  s ) 0
(1.7)
n 0 0  n 0 En  En  

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 
( x )     x     K 0 (2 xt )  e1/ 2t  2  3/ t 1/ t  (1.8)
n 0 En  En  0 t  t dt e e 


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

1 1 i 
Using test functions 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
1
1 i 

K 0  2 xt   1/ 2t e1/ 2 t d  0 (e1/ t ) e1/ 2t 
0  2 x  0
dxh  dt  e     c.c   h(  )
xt  t2 dt e3/ t  e1/ t  

(1.9)

a
Formula (1.9) and its result can be compared with sums   (explicit formula for
1
Chebyshev function) and Z (n)   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
 0
dxh( x)Cos ( x)  g ( )

 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

 

0
 
 dug (u )Tr e 
iuH ˆ h(i / 2)  h(i / 2)  (n)
2

n 1 n 0
g (u )
g (log n)   due u / 2 2u
e 1
 2 h( )
 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 )
derivative of Chebyshev function to get  dug (u )e  u / 2  g (log n) , and
0
du n 1 n

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 g (u )  cos(u ) (1.11)
2

4
Then we can use the functions in (1.11) and the formula (1.10) to get

1   '(1/ 2  is )  '(1/ 2  is )  2 
(2n  1/ 2)
  ( s   )  2   (1/ 2  is)   (1/ 2  is)   1  4s  
 
2
n 0  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


1 
 (n)  '(1/ 2  is )
 ean 
n 0 1  ea
(linearity) n
n 1
1/ 2 is

 (1/ 2  is )
(1.13)


 (n) 1   (n) is  (n)  is 

n 1 n
cos( s log n)   
2  n 1 n
n 
n 1 n
n 

(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 ' 1 ir 
 h( )  h(i / 2)  h(i / 2)  g (0)log   2
n 1 n
g (log n) 
2  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 / 4iu
to the inverse Fourier transform of  u
on the interval  0,  which is just

1
proportional to another sum 
 
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

5
 A
V 1 ( )   BCos (c   / 4)  D 
2  i

 (n)cos( log n   / 4)     1 ir   1 1 
E  Fp.v   dr     1/ 2  1/ 2 

n log n
1/ 2
    4 2     r   r 
n 1
  
(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


 (n) cos( log n   / 4) d 1/ 2   '(1/ 2  i )  d 1 / 2   '(1/ 2  i ) 
2   i    i  
n 1 n log n
1/ 2
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 1/ 2 1/ 2
(1.18)
 0  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 ) xZ+
the Mertens function M 0 ( x)    (n)   M ( x ) 2otherwise , if there are no multiple zeros
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) n1  2 
 2n

M 0 ( x)   2   x >0 (1.19)

  '(  ) n 1 (2 n)! n (2n  1)  x 

Since the Mertens function is just an step function its first derivative it will be a set of
Dirac delta function so


dM 0 (eu ) 
 (n)
 due
u / 2
g (u )   g (log n) (1.20)
0
du n 1 n

 0 if n is not square-free.

Where  (n)   1 n=1 is Mobius function
(1) if n is square-free with k- distinct prime factor
k


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
 n
g (log n)  
1 

(2 n)! (2n  1)  dug (u )e  (2 n1/ 2) u (1.21)
n 1 
 '   i  n1
2 

(1.21) is a similar expression to Riemann-Weyl explicit formula for the sum relating
e  x when x > 0
primes and Riemann Zeta zeros. As an example let be g ( x)   with
 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 1 n n 1 n
convergent for every positive   0 and equal to


 ( n) 1 1 
4(2 ) 2 n ( 1) n 1

n 1 n
1/ 2 
  .
  ' 1/ 2  i    i
 
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
 1
with m  x m1dx   m and the series i
i 0
m
, m  0 ref [7]
0

1 
B2 r
I (m, )  (m / 2) I (m  1, )   i m   amr (m  2r  1) I (m  2r ,  )
i 0 r 1 (2 r )!

(2.1)

  
m m1 
B2 r m !(m  2r  1) m 2 r
 x dx 
m

20
x dx   (  m )    x dx
r 1 (2 r )!( m  2r  1)! 0

0

(m  1)
The coefficients amr  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 i 0
m
to be divergent for m  1 , in this case we should use the Functional

equation for the Zeta function to obtain the (Regularized) value

1
lim  n m 1  2m  3m  ...   m   R (m)   ( m) (2.2)

n1

(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 (0,  )
I (1, )    (1)   xdx
2 0

(2.3)

 1  B
I (2,  )   I (0, )   (1)   2 a21 I (0,  )   x 2 dx
 2  2 0


31 B 
I (3,  )    I (0, )   (1)   2 a21 I (0,  )    (3)  B2 a31 I (0,  )   x 3dx
22 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 a 

 dxf ( x)   cr I (r , )  c1I (a, 1, )  O( )    dx  ci x    c j a

N
1 i  j 1
(2.4)
a r 0 i 0 0 j 2

ci  
, 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
however the logarithmic divergent integral I (a, 1,  )   can not regularized by our
a
x
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

8
 o Zeta regularized product of distributions:

x
s 1
Formulae (2.1-2.3) can be used to compute divergent integrals of the form 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 mn 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

n
n
i mn D m ( ) D n ( ) =  k i m k
AD nk ( )(1)k i nk D mk (0)[ R ] (2.6)
k 0  

n
   xmk dx
n
i mn D m ( ) D n ( ) =   
k 0  
k
AD nk
 ( )( 1) k nk
i ( 1) mk
 1 (2.7)
0

‘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
( ) 
2

1 m
D  ( ) D n ( )  D n ( ) D m ( )  (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
operator e D and D  in the form
dx

9
 
a j r j 
r
e  aD D r ( x)   (1) j D  ( x)   ( x  a ) D r      D  1
k
(2.9)
j 0 j! k 0  k 


In case of integrals on Rd  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 
(d / 2) 0
drf (r )r d 1 , if

not we could replace the integral over the cross section (angles) d by a discrete sum


  drf (r ,  )r
i
i
d 1
, with ‘d’ equal to the dimension of space-time
0


x2
 Example:  dx
a
1 x
with    in this case the integral has a power-law

(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

1
of 1/x by the divergent series na
n 0
(after a change of variable x=t+a) then,

the approximate ‘Zeta regularized’ value of the integral would be

 x2   (0)  '(a ) a 2  (1) j 2 j

 dx     (  1)   a   a (2.10)
 a 1  x R 2 (a) 2 j 3 j  2


x4
Another example without a logarithmic divergence , would be  dx in this case
a
(1  x 2 )
n(1) 32 n  n
the regularized finite value is just  (0)  a   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

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 0  i 1 
sense , in case we had a Fourier transform, we would add and substract terms in the
N
form c x e
i 1
i
i iux
which are proportional to the derivatives of  (u ) .

10
    
x 4 2
Example 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)
Ramanujan sumation to the finite value 2 and the other integral is just the
(3)
regulariez value  (0)  3 .

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
0 i 1

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


x
m
problem of finding finite results for divergent integrals 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
m 
iu m
and how can be used to obtain the values of the

sum  f ( ) in a similar way to Riemann-Weyl explicit formula, we also obtain a



method to calculate 
ImT
1  N (T ) , using zeta regularization we obtain an exact

1  1 
expression for the oscillating term in N(T) as arg     iT   which comes from
  2 

cos( s log n)
integratin the regularized value of the series  (n)
n 1 n

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)
0  e  1  e2u  2u  2 
du
n2 n log n
sin( x log n) 

 1   1 ix   1
Im log    ix   log       x log    (2.11)
 2   4 2  2

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 0

1  1   1 ix   1
N ( x)  Im log    ix   log       x log   1 (2.12)
  2   4 2   2

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
 drh(r )e  g ( x) ,and taking into account that
irx
test functions g(x) and h(x) with
2 
 ' 1 
 is  into the divergent (but regularized) sum
  2
we can expand the Real part of


( n)

n 1 n
co s( s log n) , then the oscillating part of the N(x) gives us the term

( n)
proportional to  g (log n) , integrating over ‘x’ on (2.11) the right terms on the
n 1 n
derivative of (2.11) is precisely the Riemann-Weyl contribution to the sum  h( )
 0
  u / 2
dx ' 1 ix  g (u )e
 2 h( x)   4  2   g (0) log 

the term on the left would be  du
0
e2u  1
, which

is just the expression for the sum 


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

dx
(Euler Maclaurin) formula is correct for integrals of the form  x
1
whenever   1

12
 
since the series  n    ( )  1 is convergent, the idea of our method is to use Euler-
n2


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
 
recurrence  dx  1   (0) , this kind of zeta regularization of series would allow to
0 n0

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  Enn can be defined as:


1
Tr G ( x, x ', E )   4 d 4 xG ( x, x, E )     ( E  En ) G ( x, x ', E )  ¨ (A.1)
R
n 0 E  i  Hˆ

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
0  n 0 n ! 

S=B(S) , S   an in this case if we take the series
n 0

1 E 1   (1)n (i  H ) n x n   t (1i  Hˆ )

  E 1      dte (A.2)
E  i  H 1  (i  H )  n 0 E n n!  0
E

Where  is an small number so   0 , then using the formula for the Principal value

13
 1 1
P.V    i ( x)  , in this case taking the trace of the operator inside (A.2) we
x x  i
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 s1 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 (A.3)
0  n 0  n 0 0
1  xt


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 )
0    (n)( x) n    dtf (t )t   (s)
s
dt since (A.5)
n 0  sin( s ) 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 0   (n  1)

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
representation  ( z )  .  1   . we can give a proof of it , we will
( z  1) z     ( z / 2)
also need the following formulae

1 1  '(1/ 2  i  is )   (n) is log( n )

lim  i ( x)  P   and   .e (B.1)
 0 x  i x  (1/ 2  i  is ) n1 n1/ 2i

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
  0 , we can now obtain the following formula
2

 ' 1  1 1  2is 1  '  1 s i   1 

  is   log( )    ( s   )  1  .  i    iP.V   
 2  2 
 s2 2   4 2 2    s  
4
(B.2)

To obtain (B.2) we have used both formulae in (B.1) so

i  1 
  ( 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  2is 1 ' 1 s i  1 
 (n)  1 
  ( s   )  1  .   i    log( )   1/ 2 i .eis log( n )  iP.V   
 s2 2   4 2 2  2 n 1 n   s  
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
properties, in Cauchy’s principal value  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

  
1 g ( ) i x 1 1
.  dx  d e  .  2   d g ( )e  / 2  .  h(i / 2)  h(i / 2)  .2 (B.4)
   1
 x2  
2
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
 duh(r , u )e for a real parameter ‘r’ with g and h being even
 iux
 g (r , x) 
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 / 2iur on x   ,   , and the sum 
n 1 n
log n
 
  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’


 dug (r , u )e
iuV ( x )  i / 4
interchanging the order of integration and using h(r , x)  we have

the Urysohn integral equation (depending on the choose of g )

 
 u / 2 eu / 2   (n) g ( r , log n)  
0 du u g ( r , u ) e   
    dxh  r , V ( x)   (C.1)
 1  e 2u  n 1 n   4
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 )
RH correct) , this Z(u) will depend on the derivative of Chebyshev function
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 
n0  1  4n  n  2 n log n
(C.2)
 1   1 ix  
2 Im log    ix   log       x log 
 2   4 2 

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 1 n

16
 
df  1 
the singular integral  dx dx Im log   2  ix  with Poles being the non-trivial zeros


( n)
over the line Re(s)=1/2 , is related to series n 1 n
f (log n) .

References:

[1] Apostol, T. M. “Introduction to Analytic Number Theory”. New York: Springer-

Verlag, 1976.

[2] Berry, M. V. and Keating, J. P. " and the Riemann Zeros. “ In

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