A NOTE ON THE FOURTH POWER MOMENT
OF THE RIEMANN ZETA-FUNCTION
J.B. Conrey
Abstract. We give explicit formulae for all of the terms in the asymptotic expansion
of the mean fourth power of the Riemann zeta-function on the critical line.
Heath-Brown has evaluated the 4th power moment of the Riemann zeta-function
on the critical line via the formula
T
ZT
4
I2(T ) = j (1=2 + it)j dt = TP4 log 2 + O(T 7=8+)
0
where P4 is a 4th degree polynomial. Here we give an explicit formula for P4 . In
particular, we show that the coecients of P4 are in the eld
Q(0; 1; 2; 3; (2); 0(2); 00 (2))
where the 's are the coecients in the Laurent expansion
(s) = s 1 1 + 0 + 1(s 1) + : : :
of (s) at s = 1.
Theorem.
We have
P4(x) = g0(x) + g1(x)
2xs (s + 1)4
g0 (x) = Res
s=0 s(s + 1) (2s + 2)
where
and
d (xe )s( (s + 1)
g (x) =
2
1
ds
2 0
1
2
s (2s + 1) (2s + 2)) :
s=0
(s + 1) (s + 2)
2
1
Ivic has also written down formulae for the coecients of P4 .
Proof. We refer to Heath-Brown's paper. There he shows that P4 is naturally
expressed as a sum of g0 + g1. The rst term g0 arises from the diagonal terms
Research supported in part by a grant from the NSF.
Typeset by AMS-TEX
2
J.B. CONREY
and is exactly as above. The other piece arises from the o diagonal terms and it
is the explicit calculation of this part that is the purpose of this paper. Following
Heath-Brown, we write
X
nx
d(n)d(n + r) = m(x; r) + E (x; r)
where m(x; r)=x is a polynomial of degree 2 in x with coecients depending on r.
In fact,
xs
m(x; r) = Res
D
(
s;
r
)
s=1
s
with
D(r; s) =
Then
T Lemma.
1 d(n)d(n + r)
X
ns
n=1
1 Z T=
X
(2 )
g1 2 = 2
r=1
0
:
m0 (x; r) sin(Tr=x) dx:
With the above notation,
m(x; r) =
1 (s) X X
s=1
s2 djr
2
log d2xs2 + 20 1 + 1
1 (s) X 2
X
x
0
log d2s2 + 20
m (x; r) =
2
s=1 s djr
and
According to Heath-Brown, m(x; r) may be calculated by considering the
main terms in
X
X
2
R(x; q; r)
R(qx1=2; q; r)
Proof.
qx1=2
where
2
X X
d(q=d) log x
+ 20 1 :
R(x; q; r) = qx2
2
q
dj(q;r) jq=d
Writing q = sd we have
X
qx
1=2
Using
qx1=2
R(x; q; r) = x
X 1
X 1 X (s) x
log
+
2
1
d
s
ds
:
djr
sx =d
X1
1=2
2
2 2
= log y + 0 + O(1=y)
y
0
x1=2 =sd
A NOTE ON THE FOURTH POWER MOMENT OF THE RIEMANN ZETA-FUNCTION3
(and we note
X log 1
= 2 log y + O(log y=y);
2
1
y
for future reference) we nd that the above sum is
= x2
X 1 X (s) x
log d s + 2
d
s
=
djr sx =d
0
X X
+ O @x =
2
1 2
2 2
1 2
0
1 log d2xs2 + 20
1
1A :
djr sx1=2 s
Extending the sum over s to 1 the above is
=
1 (s) X X
s=1
x
x
1=2
log
+
2
1
log
+
2
log xd(r)):
0
0 + O (x
2
2
2
2
2
s djr
ds
ds
Similarly, using
X
X
and
y
y
1 = y + O(1)
log = y log y y + O(log y)
we nd that the main part of
X
R(x1=2q; q; r)
qx1=2
is given by
1 (s) X X
log d2xs2 + 20 2 :
s2 djr
Putting these two calculations together, we obtain the formula for m(x; r). Dierentiating with respect to x gives the rest of the lemma.
Now we compute
s=1
g1 = 2
1 Z T=
X
(2 )
r=1
0
m0 (x; r) sin(Tr=x) dx:
To begin with, we change variables, letting y = Tr=x. Then, substituting the
expression for m0 (x; r) from the lemma gives
g1 = 2
1 Z 1X
1 (s) X 1 X
r=1 2r s=1
sin y
y dy:
Tr + 2 1
log
0
2
2
s djr d
s d2 y
2
2
4
J.B. CONREY
We bring the sum over s to the front, and interchange the summation over r and
the integration, and replace d by n and write r = mn. Then we have
sin y
1 (s) Z 1 X 1 Tm
X
g =2
s mny= n log s ny + 2
y dy:
s
2
1
2
=1
0
2
2
2
2
Next, we interchange the sum over m and the integration giving
sin y
1 (s) X
1 Z 1 X 1 Tm
X
g =2
log s ny + 2
dy:
s
n
y
m
s
m
ny= m
2
1
2
=1
0
2
2
=1
2
2
A change of variables in the integration, u = y=2m gives
sin 2um du
1 Z 1 X 1 T=2
1 (s) X
X
g =2
s
n log s un + 2
2um u :
2
1
2
s=1
Now,
m=1
0
2
nu
1
1 sin 2um
X
= u [u] 1=2 = ((u)):
m
m=1
Thus, bringing the sum over m to the inside, we get
1 (s) Z 1 X 1 T=2
X
du :
log
g =
+
2
((
u
))
s
n
s un
u
2
1
s=1
2
0
2
nu
1
2
Interchanging the sum over n and the integration, and changing s into m leads to
1 (m) X
1 Z 1 1 T=2
X
du :
g =
log
+
2
((
u
))
m
n
m un
u
2
1
m=1
n=1 n
2
0
2
2
Now we express the logs via dierentiation:
d X
1 1 Z1
1 (m) Te s X
du
g = ds
m s 2
n s n ((u)) u s :
2
2 0
1
2+
m=1
n=1
1+
It is well known that
Z 1 ((u))
n
us+2
n
X
1
1
1
du = s + 1 (s + 1) sns
s
+1
m=1 m
2+
s=0
!
1 :
2ns+1
Thus,
d Te s
1
g = Nlim
!1
ds
2
(s + 1) (s + 2)
n
N 1
X
X
1
(s + 1) 1
2
2 0
1
n=1 n
s
1+
sns m=1 ms+1
!
1 :
2ns+1 s=0
A NOTE ON THE FOURTH POWER MOMENT OF THE RIEMANN ZETA-FUNCTION5
Now
so that
n
N 1
N 1 X
N 1 X
X
1 =X
ns
ms
ms
ns
+1
n=1
+1
m=1
+1
m=1
+1
n=m
N 1
n
N 1 ! X
N 1 X
X
X
1
+ ns :
2 ns
ms =
ns
2
n=1
+1
m=1
+1
n=1
+1
Thus, the sum over n in the above expression is
n 1
X
= (s + 1)
N 1
1X
s n=1 n2s+1
2 +2
n=1
N 1
1 X
s+1
2 n=1 ns+1
n=1 n
If we assume that s > 0, we can let N ! 1 here, getting
! X
N 1
ns :
2
n=1
2 +2
1 (s + 1)2 1 (2s + 1) (2s + 2):
2
s
Inserting this into our prior expresion for g1, we obtain the Theorem.
References
[H-B] D.R. Heath-Brown, The fourth power moment of the Riemann zeta function, J. London Math.
Soc (3) 38 (1979), 385-422.
Department of Mathematics, Oklahoma State University, Stillwater, OK 74078