A Functional Determinant Expression For The Riemann Xi Function
A Functional Determinant Expression For The Riemann Xi Function
A Functional Determinant Expression For The Riemann Xi Function
Jose Javier Garcia Moreta Graduate student of Physics at the UPV/EHU (University of Basque country) In Solid State Physics Addres: 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]
(s) as H=
approximate and evaluate the spectral Theta function the Riemann zeros on the critical strip the functional determinant
(t) = H
, also we evaluate
det(H + z 2 )
discuss the similarity of our method to the method applied to get the Zeros of the Selberg Zeta function. In this paper and for simplicity we use units so
2m = 1 = Keywords:
P SL(2, R)
ds2 =
P SL(2, R) 1 2 + kn 4 (1)
n (x, y) = y 2
These momenta
2 2 + 2 x2 y
n (x, y) = En n (x, y) En =
kn
1 (s) = = ns n=1
1 (1 ps ) n
Z(s) =
P k=0
1 N (P )(s+k)
(2)
In both cases the Riemann Zeta function and the Selberg Zeta function can be expressed by an innite product Selberg also studied a Trace formula which relates the Zeros (momenta of the Laplacian
1 2
+ ikn = 0 and the length of the Geodesic ln N (P ) g(ln N (P ) N (P )1/2 N (P )1/2 P p.p.o (3)
h(kn ) =
n
Here, p.p.o means that we are taking the sum over the length of the Geodesic,
h(k)
is a test function and g(k) is the Fourier cosine transform of h(k) g(k) = 1 2 0 dxh(x) cos(kx) (D) is the area of the fundamental domain describing the Riemann surface . In case we had a surface with the length of the Geodesic
ln N (P ) = ln p
the Selberg Trace is very similar to the Riemann-Weil sum formula [12]
h() = 2h
dsh(s)
1 is + 4 2 (4)
This formula (4) related a sum over the imaginary part of the Riemann zeros to another sum over the primes, here
(n) =
1 Z(s)
integer is the Mangoldt function, in case Selberg and Riemann are related by
=
n=0
(n + s)
geodesic (P ) =
ln N (P ) 1N (P )1
Z (s) = Z
geodesic (P )N (P )s
P p.p.o
(5)
In both cases the Riemann and Selberg zeta functions obey a similar functional equation which relates the value at s and 1-s
(1 s) = X(s)(s)
Z(1 s) = exp
(D) 4
s1/2
vtan(v)dv + c Z(s)
0
2 (2)
s = 1/2
, and
(6) X(s) =
(s) cos
s 2
With the aid of the Selberg Trace formula (3) , we can evaluate the Eigenvalue staircase for the Laplacian
2 2 = y 2 x + y
E=
1 + p2 4
=
En E
1=
n
(D) 4
1 arg Z
1 + ip 2 (7)
E 1 , we can immediatly see that the smooth part of (7) satisfy Here p = 4 (D) Weyl's law in dimension 2 Nsmooth (E) 4 E , the oscillatory part of (7) 1 satisfy Bolte's semiclassical law [4] (page 34, theorem 2.10 ) arg Z 2 + i E 1 with = 1 , the branch of the logarithm inside (7) is chosen, so arg Z 2 = 0 in this case the Selberg Zeta function is the dynamical zeta function of a Quantum
system and the Energies are related to the zeros of
Z(s)
(s)
From the analogies between the Riemann Zeta function and the Selberg Zeta function, we could ask ourselves if there is a Hamiltonian operator (the simplest second order dierential operator which has a classical and quantum meaning and it is well studied ) in the form
Hn (x) =
d2 n (x) 2 + V (x)n (x) = En n (x) n (0) = 0 = n () En = n dx2 V (x) = f (x) x > 0 x0 (8)
f (x) dened inside the equation (8) for the potential V (x) and H = p2 + V (x) must be evaluated. The idea here is to choose f (x) so the Energies of the Hamiltonian are the square 2 of the imaginary part of the Riemann zeros En = n .,
The function the Hamiltonian In this paper we will prove that this function can be obtained within the WKB approach as
f 1 (x) = 2
d2
1 1
N (x)
,here
N (x)
For the case of this Hamiltonian, which involves the imaginary part of the zeros
N (x)
N (E) =
n
1 H (E En ) = arg
1 x>0 ,
1 +i E 2
1 4
1 = 1+ arg
T 2
1 ( E) +i E + 2 (9)
T 2
With
H(x) =
x<0
(T ) = arg
+ iT 2
ln
ln
T 2e
1 48T
+ ...
(1 s)
we will also show that the density of states can be evaluated from the argument of the Xi-function
E = p2
1 d 2p dp
mlogdet (H + i p) = (E) =
n
As a simple example of how Quantum Mechanics can help to solve problems of nding the roots of functions , let be a particle moving inside an innite potential well , the energy is given by equation [7] in units
E = p2 and the one dimensional Schrdinger = 2m = 1 ( is the reduced Planck's constant with value
un (0)
= 0 = un () En = n2 (10)
n this case the Euler's product formula for the sine function is the quotient between 2 functional determinants
sin ( x) x = 1 En x n=1
We can also compute the density of states to get the Poisson sum formula
1 (E) = (E En ) = 2p n=1
(p n) +
n n
(p n)
1 = e2inp 2p n= (12)
(s)
Given an Operator P with real Eigenvalues larized determinant [6] in the form
{En }
det P + k 2 = exp
Here
d P (s, k 2 ) |s=0 ds
s
(13)
is the Spectral Zeta funcn tion of the operator taken over all the Eigenvalues, the relationship between this spectral zeta function and the Theta function
P (s, k 2 ) = T r (P + k 2 )s =
En + k 2
(t) =
n
exp(tEn ) =
n=0 1 (En +k2 )s
0 1 (s)
dN (x)ext
tion
(t) =
n
exp(tEn )
[7]
(t) =
n=0
exp (tEn )
1 2
dp
0
dxetp
tf (x)
1 = 2 t
(14)
If we compare the semiclassical Theta function (14) and the spectral Theta function
(t) =
n
exp(tEn )
then we nd
(t) =
n=0
exp (tEn ) = s
0
dtN (t)est
1 2
dx
0
1 = 2
1 dq dp exp(tp2 tf (x)) = 2 t
dxetf (x)
0
dretr
0
dV 1 (r) dr
s
0
1 dxN (x)esx = 2
To prove (16) and (17) we have used the properties of the integral representation for the Laplace inverse transform
D ekt = k ekt
D f (t) =
1 2i
c+i
dsF (s)est s
ci
(18)
L {f (t)} = L {g(t)} im 1 1 arg 2 + i E 1 2 1 (Bolte's semiclassical law in one dimension) so f (x) = d 21 arg 1 + i x 2
nd the fact that if two Laplace transforms are equal then plies that
, since we want our potential inside (8) to be positive whenever we take the inverse we must choose the POSITIVE branch of the inverse in order to get
1 (1/2)
x 0
f (t) dt xt
1
d 2 f (x) dx 2
2 d 21 dx 2
1 1
1 d (1/2) dx
x 0
dtf (t) xt
(19)
We have written implicitly the potential inside (8) , if the function by the functional equation
(x) =
arg
1 2
then we may evaluate the Spectral Zeta function of the Quantum system given in (8), then
f 1 (x) =
2 d 21 dx 2
arg
n
1 2
+i x
, we can evaluate
(t) =
etEn =
1 2 t
dx df dx(x) etx
, for this potential the spectral theta function and its derivative are
1 H (s, z ) = s 2 (n + z 2 ) n=0
2
d H (0, z 2 ) ds
2 ln n + z 2 n=0
1 + in = 0 2 (21)
Taking exponentials we reach to the innite product for the Riemann Xi-function as an spectral determinant (functional determinant over the Eigenvalues of H)
det H + z 2 = det(H)
n=0
2 (n + z 2 )
=
2 n n=0
1+
z2 En
(1/2 + z) (1/2)
1
(22)
n=0
If we choose the positive branch
2 d 21 arg 1 2 dx 2 then the potential will be always positive so the Energies of the Hamiltonian + 2 inside (8) will be all positive En = n R then all the non-trivial zeros of the Riemann Zeta function will be on the critical 1 line Re(s) = 2 1 , with a simple change of variable z = s 2 we obtain
+i x
1 4
(1 s) = (0)
(23)
Equation (22) is the Hadamard product for the Riemann Xi-function in terms of the quotient of 2 functional determinants since the expected value of the Hamiltonian is positive mitian ,with If we set
f (x) 0
1 s = 2 +i E
det(E H)
1 2
+i E
Xi(s)
and the fact that the density of states for Our Hamiltonian is just the distributional Riemann-Weil trace formula. In both cases , the functional determinant inside (22) and (23) must be understood in the sense of the Zeta regularization method explained in (13) formula (22) and (23) are not conjectures, if we evaluate the Theta function in the WKB formalism and with
(t)W KB =
1
dp
V (x) =
n=0
f (x) x > 0 x0
f 1 (x) =
1 2
2 d 21 dx 2
arg
1 2
+i x
we obtain
(t)W KB =
2 exp(tn )
+ in ) = 0
In the limit
N (E) log(x)
E 2
log
E 2e
e=
n=0
x 1
as
following holds
0 0
fsmooth (x) 4 e
2 2
x + B A( )
1 fsmooth (x)
4 2 e2
/2
A( )x
/2
B (24)
A(
)=
( 3+ 2
W (x) =
(n)n1 n x n! n=1
4 2 n2 W 2 (ne1 ) (25)
1 2 f 1 (x) = 2 d n(x) 1
xn n = 1, 2,
dx 2
x=0
f 1 (x) = f 1 (x) = x n
1
2 x
f (x) = n
(x)2 4
N (E) =
E 2
1 m 1 m
f (x) = xn x k
f 1 (x) =
f (x) = kx
From expression (23) we can also compute the density of states of our Hamilto-
(p)+(p+) we will also use the Shokhot2p 1 1 sky's formula for the delta function = (x) 0 m x+i
nian with
p=
and
E 2 =
1 d 2 dE arg 1
Here
1 2 1 2p
+i +i E =
E 2 =
p2 2 = (29) + i p)
1 2 1 4
+ ip
ip 2 lim
2 2xi+2i
= x
i 2
rithmic derivative of
s(s 1)
s=
also if we take formally the logarithm of the Euler product for the Riemann
(n) ip ln n e =reg 1 + ip 2 n 1 using the two test functions h(x) and g(x) g(x) = 0 dr cos(rx)h(r) we re (n) g(ln n) cover the oscillatory part of the Riemann-Weil trace formula 2 n n=1 .
Zeta function on the critical line yields to
n=1
Unlike the model of Wu and Sprung, we have considered also the oscillatory part of the Riemann Eigenvalue Staircase semiclassical law , Wu and Sprung [17] have only considered the smooth part of the Eigenvalue staircase in the limit
arg
1 2
+i E
T T 2 ln 2e N (T ) in order to get a Hamiltonian whose Energies are the positive imaginary part
T >> 1
of the Riemann Zeros, their starting point is the Harmonic oscillator [15] but unlike the normal quantum mechanical oscillator ,whose functional deter-
s 1+ n n=1 the product taken ONLY over the positive imaginary part of the zeros (even if it converges) 1 + s has no meaning n n=0 also the Wu-Sprung model doesn't obey Weyl's law in one dimension mainly Nsmooth (E) = O E d/2 in our case , the Hamiltonian (8) with the Smooth part of the Eigenvalue stair E E case N (E) , satises a Weyl's law with d = 1 + 2 log 2e 2
minant gives the Gamma function
2 (s)
(E) (0)
=
n=0
E En 1 2
2 E n = n +i E
is pro-
By analogy with the zeros of the Selberg Zeta function, is better to consider the case with the Energies
2 En = n
in this case the Trace of the Resolvent of the Hamiltonian Riemann-Weil trace for the Riemann zeros.
(E + i H)
is the
From the expression for the fractional derivative of powers , we can obtain for the inverse function
dk x dxk
(+1) k (k+1) x
2 d2 f 1 (x) = arg dx 1 2
1 +i x 2
=2
>0
H(x 2 ) x 2
(30)
4 1 (x) = + 2 4x + 1 g(u = ln n, x) =
dr x r2
1 ir + 4 2
ln
J 0 ( u x) x cos(ut) 1 dt = , here the integral can be 0 2 xt2 expressed in terms of the zeroeth order Bessel function.
Here
1 d2 1 dx 2
arg
1 2
+i x
f 1 (x) =
= 0.01
1
q=
1 2
q g(x)
q
d 2 g(x) dx
1 2
1
q
(1)n
n=0 1 2
(q + 1) g (x + (q n) ) (32) (n + 1)(q n + 1)
for big `x' , we have used the Riemann-
arg k= x
+i x
U (k)
Z(k) =
1 k 1/4
k (33)
[x]
(T ) = arg
1 4
+ iT 2
T 2
ln
ln
1 48T
+ ...
(34)
For the case of the functional determinant of our Hamiltonian operator with the potential
f 1 (x) =
2 d 21 dx 2
arg
1 2
+i x
dened as
(35)
we can evaluate the functional determinant of the operator (35) by the GelfandYaglom method [18] , in this case we need to solve the initial value problem
(36)
Unfortunately exact solutions can not be found , in the WKB approximation (36) has the solution
(x) = y(x, )
The 2 constants
f (x) +
x
1 4
x
(37) (t)dt
0
1 (x)1/2
C+ exp
0
(t)dt + C exp
The Gelfand-Yaglom theorem, [18] tells us that the functional determinant is related to the solution of the initial value problem (36) and the boundary value problem (35) in the form
(38) s
The main advantage of the Gelfand-Yaglom method , is that we do not need to evaluate any single eigenvalue in order to obtain the functiona determinant
det H +
1 4
tial equations
TABLE1 :
(8) with
Odlyzko and the Numerical values of the energies for our Hamiltonian operator
2 d 21 arg 1 + i x , to obtain numerically the potential 2 dx 2 we have used formula (34) to evaluate the fractional derivative and the Riemann1 1 Siegel formula (32) to evaluate S(T ) = arg 2 + iT f 1 (x) =
10
n 0 1 2 3 4 5 6 7 8 9
Zeros (square) 199.7897 441.9244 625.5401 925.6684 1084.7142 1412.7149 1674.3400 1877.2289 2304.4896 6363.8591
Energies 198.7886 441.9240 625.5406 925.6683 1084.7139 1412.7146 1674.3398 1877.2287 2304.4893 6363.8589
o Bessel function
J0 (a x) (x) =
Let us compare the Riemann-Weyl explicit formula and the denition for the inverse of our potencial function
f 1 (x)
x 2 =
1 1 4 x
1 2
+i x
x
1 4
+i
x 2
1 1 1 ln + 1 2 i x 2 x 2 x 2 x i i ( x 2 )+ ( x+ 2 ) x 1 1 + 4 i 2 4 x 2 x 1 ir + 4 2
= (x)
f 1 (x) =
1 4 + 4x + 1 2
dr x r2
dx 2
1 f 1 (x) = 2 d 21 N (x) taking again the dx 2 1 dN (x) d2 1 (x) = 2 dx = (x) , this means that 1 f
perhaps the equations (39) and (40) should be related by a fractional operator
d 2
1 dx 2
, for the smooth part this is almost trivial to nd from the denition of
1 the half-integral
d 2 dx 2
1
g(x) =
dg(x) dx , for
J0 (x) =
n=0
(1)n (n!)
2
x 2
2n
equation (41) is a bit harder to prove, we can prove (41) by using the Taylor expansion of the 2 functions and then applying the property of the half derivative
1 (n+1) = n+ 1 xn 2 , so we choose the potential 1 ( 2) dx 2 from the WKB formalism and we also have proved that the density of states of
d 2 xn
11
distributional framework so
f 1 (x) 2
d 2 dx 2
1
(x)
APPENDIX A: An implicit equation for the potential f(x) from the Bohr-Sommerfeld quantization conditions
2 d 21 arg 1 + i x 2 dx 2 Bohr-Sommerfeld quantization conditions [7]
The expression
f 1 (x) =
a
E = f (a)
here
2
0
dx
E f (x) = p(x)
C
pdq = 2 n +
1 2
(A.1)
is the Eigenvalue staircase the rst integral inside (A.1) is a line integral taken over the closed orbit of the classical system, equation (A.1) can be understood as an integral equation for the inverse of the potential in the form
1 + n(E) 2
1
a=a(E)
=2
0
E V (x)dx = 2
0
Ex
1 1 + arg 1 + i x in this case this result is completely equivalent 1 2 dx 2 2 to the one we got by Zeta regularization and by the WKB approximation of the 1 Theta function dxetf (x) = W KB (t) . 2 t 0
d2
From equation
f 1 (x) = 2
d2
1 dx 2
1 2
arg
1 d2
1 2
1
+i x
1 2
(x)
dx 2
= (x) =
n
2 x n
References
"Riemann
12
chaos Open Sys. & Information Dyn.6 (1999) 167-226 , avaliable at:http://arxiv.org/abs/chao-dyn/9702003
[5] Cartier P . and Voros A. Une nouvelle interpretation de la formule des traces de Selberg. In P. Cartier, L. Illusie, N. M. Katz, G. Laumon, Y. Manin, and K. A. Ribet, editors, The Grothendieck Festschrift (vol.II), volume 87 of Progress in Mathematics, pages 1-67. Birkhauser, 1990. [6] Elizalde E. , Odintsov S. ,Romeo A. , Bytsenko A. , Zerbini S Zeta Regularization Techniques With Applications ISBN-10: 9810214413 Ed: Scientic pub (1994) [7] Griths, David J. (2004). Introduction to Quantum Mechanics Prentice Hall. ISBN 0-13-111892-7. [8] Grosche Path Integrals , Hyperbolic Spaces and Selberg trace formulae (1996) ISBN-10: 9810224311 [9] Gutzwiller, M. Chaos in Classical and Quantum Mechanics , (1990) SpringerVerlag, New York ISBN=0-387-97173-4. [10] Hejhal D. The Selberg Trace formula and the Riemann Zeta function Duke Mathematical Journal 43 (1976) [11] Hurt N. Quantum Chaos and Mesoscopic Systems: Mathematical Methods World
[14] Odlyzko A. Tables of Zeros of Riemann Zeta functions ,webpage http://www.dtc.umn.edu/~odlyzko/zeta_ [15] Selberg, Atle (1956),
20:
47-87, MR0088511
[16] Voros A. Exercises in exact quantization e-print avaliable at http://arxiv.org/pdf/math-ph/0005029v2.pd [17] Wu H. and D. W. L. Sprung Riemann zeros and a fractal potential Phys. Rev. E 48, 2595-2598 (1993) [18] Yaglom, A.M Gelfand I .M Integration in functional spaces and its applications in quantum physics, J. Math. Phys. 1, 48-69 _1960_.
13