Zeta Regularization Applied To The Problem Of Riemann Hypothesis And The Regularization Of Divergent Integrals

  • Uploaded by: Jose Javier Garcia
  • 0
  • 0
  • June 2020
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Zeta Regularization Applied To The Problem Of Riemann Hypothesis And The Regularization Of Divergent Integrals as PDF for free.

More details

  • Words: 7,724
  • Pages: 17
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

n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   log(1  x 2 ) x  1 x 1  ( s ) x     0 ( x)    (0) 2 ds     2 i ci  ( 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 e1/ 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 / 4iu 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 ) xZ+ , 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) n1  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 n1/ 2) u   (2 n)! (2n  1)  1  n n 1   '   i  n1 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 m1dx   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 m1 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)

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 (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 

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

N a



a

r 0

i 0 0

j 2

1 i  j 1  dxf ( x)   cr I (r , )  c1I (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 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 i mn D m ( ) D n ( ) =

i mn D m ( ) D n ( ) =

n

n

k 0

 

 k i

m k

AD nk ( )(1)k i nk D mk (0)[ R ]

(2.6)

 n nk k nk mk AD  (  )( 1) i ( 1) 1       xmk 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

na

(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) 32 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

ImT

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 n2  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

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 



0

n0

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  Enn 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 (1i  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 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  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 ) 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 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 / 2iur 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 eu / 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 n0 (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

Related Documents


More Documents from "Werner Raab"