Distribution of the zeros of the Riemann Zeta function
(pdf version : pdf;
(postscript version : ps)
One of the most celebrated problem of mathematics is the Riemann
hypothesis which states that all the non trivial zeros of the
Zeta-function lie on the critical line Â(s)=1/2.
Even if this famous problem is unsolved for so long, a lot of things
are known about the zeros of z(s) and we expose here
the most classical related results : all the non trivial zeros lie in
the critical strip, the number of such zeros with ordinate less than
T is proportional to TlogT, most zeros concentrate along the
critical line s = 1/2, there exists an infinity of zeros on the
critical line and moreover, more than two fifth of the zeros are on
the critical line.
Let us recall (see section on the analytic continuation of z(s)
in The Riemann Zeta-function :
generalities) that zeta vanishes
at negative odd integers. These zeros are called the
trivial zeros of z(s). The functional equation
z(s) = c(s)z(1-s), c(s) = 2^{s} p^{s-1} sin
æ è
ps
2
ö ø
G(1-s).
(1)
entails that other zeros of z(s) (they are called the non
trivial zeros) are symetric with respect to the critical line
Â(s)=1/2 : for each non trivial zero s=s+it, the value
s¢=1-s+it is also a zero of z(s).
The non trivial zeros lie in the critical strip
We show that all the non trivial zeros of z(s)
lie in the critical strip defined by values of the complex
number s such that 0 < Â(s) < 1. Because of the functional equation,
it suffices to show that z(s) does not vanish on the closed half
plane Â(s) ³ 1.
The Euler infinite product (see The Riemann
Zeta-function : generalities)
z(s) =
Õ
p prime
1
1-p^{-s}
,
valid for all complex numbers s with Â(s) > 1, shows that
z(s) does not vanish for Â(s) > 1 (a convergent infinite
product can not converge to zero because its logarithm is a convergent
series). Thus it suffices now to prove that z(s) does not vanish
on the line Â(s)=1. This property is in fact the key in the proof
of the prime number theorem, and Hadamard and De La Vallée
Poussin obtained this result independantly in 1896 by different mean (this
problem is in fact a first step in a determination of a zero-free
region, important to obtain good error terms in the prime number theorem).
We present here the argument of De La Vallée Poussin which is
simpler to expose and more elegant, in a form close to the
presentation of [3].
The Zeta-function has no zeros on the line Â(s)=1
The starting point is the relation
3+4cosf+ cos2f = 2(1+cosf)^{2} ³ 0
(2)
for all values of the real number f. The Euler infinite product
writes as
Now suppose that 1+it is a zero of z(s). Letting s®1, we have z(s) ~ 1/(s-1) and
z(s+it)=O(s-1), so that
z(s)^{3} |z(s+it)|^{4} = O(s-1) thus as s® 1, (3) entails that
|z(s+2it)| tends to infinity, which is impossible since
z(s) is analytic around 1+2it. Thus we have proved that
z(s) has no zeros on the line Â(s)=1.
Other proofs of this result can be found in [3].
2 Counting the number of zeros in the critical strip
Even if precise location of zeros are not known, a lot of results have
been obtained on counting the number of zeros in the critical strip.
All the results in this section are more proved and detailed
in [3,Ch. 9].
where the arguments are defined by continuous variation
of s starting with the value 0 at s=2, going up vertically to
s=2+it and then horizontally to s=[ 1/2]+it (when there is a
zero of Zeta on the segment between [ 1/2]+it and 2+it,
S(T) is defined by S(T+0)).
We already encountered the q(t) function
in Numerical
evaluation of the Riemann Zeta-function while defining the
Riemann-Siegel function Z(t).
If N(T) denotes the number of zeros of z(s+it) in
the region 0 < s < 1, 0 < t £ T, then a result
in[3] states that
which permits to say that N(T) behaves like
T/(2p) log(T/(2p)).
So the zeros of the Zeta-function become more and
more dense as one goes up in the critical strip. More precisely
the height of the n-th zero (ordered in increasing values of its
ordinate) behaves like 2pn/logn. The results above also permit
to state that the gap between the ordinates of successive zeros is bounded.
More on the function S(T)
The function S(T) is important in local study of zeros and appears
to be quite complicated. Today, no improvement of the
bound (5) is known (under the Riemann hypothesis, we
have the strongest bound S(T) = O(logT/loglogT)), but other
results have been obtained. For example, we have the bound
ó õ
T
0
S(t) dt = O(logT),
(6)
which in particular, entails that the average value of S(T) is
zero. It is also known that S(T) is not too small, and more
precisely, a result from Selberg states that there exists a constant
A > 0 for which the inequality
|S(T)| > A (logT)^{1/3}(loglogT)^{-7/3}
holds for an infinity of values of T tending to infinity.
Another result from Selberg gives
ó õ
T
0
S(t)^{2} dt ~
1
2p^{2}
T loglogT,
thus the average value of S(t)^{2} on [0,T] is 1/(2p^{2}) loglogT (this result has latter been refined by Ghosh in 1983 who proved
that |S(T)|/(loglogT)^{1/2} has a limiting distribution).
So S(t) is, in average, tending to infinity very very slowly.
Finally a result of Titchmarsh states that the function S(T)
changes its sign infinitly often.
Even if Riemann hypothesis has not been proved, it is known that the
zeros of the Zeta-function concentrate along the critical line. To
precise this result, we define, when 0 < s < 1/2, the function
N(s,T) as the number of zeros s=b+it of Zeta such that
b > a and 0 < t £ T (under the Riemann hypothesis one
has N(1/2,T)=0).
A first result about N(s,T) states that for any fixed
s > 1/2, one has
N(s,T) = O(T).
(7)
Since N(T) ~ T/(2p) log(T/(2p)), we deduce that for any
d > 0, all but an infinitesimal proportion of the zeros lie in
the strip 1/2-d < s < 1/2+d.
There exists numerous results that improve the
bound (7) in some context, for example we have
N(s,T)
=
O(T^{4s(1-s)+e}), forall e > 0,
N(s,T)
=
O(T^{3/2-s} log^{5} T)
N(s,T)
=
O(T^{3(1-s)/(2-s)} log^{5} T).
A result of a different kind has been obtained by Selberg, who
proved
The Riemann hypothesis states that all non trivial zeros of z(s)
lie on the critical line Â(s)=1/2. Even if this has never been
proved or disproved, mathematicians succeeded in proving that there
exists an infinity of non trivial zeros on the critical line, and
later, that a positive proportion of the zeros are on the line.
Hardy was the first to prove in 1914 that an infinity of zeros are on the
critical line. Later, other mathematicians like Pólya in 1927, Landau, or
Titchmarsh in the 1930's gave other proofs. In [3],
five different proofs are given.
We sketch here the ideas under the Titchmarsh approach, which makes use
the Riemann-Siegel Z function (see
The Riemann-Siegel Z-function
in Numerical evaluation of the Riemann Zeta-function), with
considerations close to what is used in numerical computations of the
zeros. We recall that the Z(t) function is purely real and satisfies
|Z(t)|=|z(1/2+it)|, and that Riemann-Siegel formula for Z(t)
writes as
Z(t) = 2
å
1 £ n £ x
cos(q(t)-tlog n)
Ön
+ O(t^{-1/4}), x=
æ Ö
t
2p
.
(8)
Titchmarsh observed that the dominant term in the sum above is
obtained with n=1 and is cosq(t) and thus one should
expect that on average, the sign of Z(t) would be the sign of
cosq(t). For that reason he defined t_{n} as the
solution of q(t_{n})=np (we have t_{n} ~ 2pn/logn) and showed that on average, the value of Z(t_{n})
is 2 (-1)^{n}. More precisely, he proved that
å
n £ N
Z(t_{2n}) ~ 2N,
å
n £ N
Z(t_{2n+1}) ~ -2N
(9)
by showing that in the n summation, the terms
cos(q(t_{2n})-t_{2n}logn) n^{-1/2} and
cos(q(t_{2n+1})-t_{2n+1}logn) n^{-1/2}
of (8) for n ³ 2
cancellate and give a contribution of inferior order.
It is now easy to prove that Z(t) has an infinity
of zeros since if not, it would keep the same sign for t large
enough, thus one of the two estimates in (9) would not
be satisfied.
3.2 A finite proportion of zeros lie on the critical line
After Hardy proof that there exists an infinity of zeros on the
critical line, strongest results that estimate the minimal number of
zeros on the line have been obtained. Denoting by N_{0}(T) the number
of zeros of z(1/2+it) for 0 < t £ T, the first strongest
historical result is due to Hardy and Littlewood who proved in 1921
that there exists a constant A > 0 for which the inequality
N_{0}(T) > AT
holds for all values of T (see [3] for a
proof). Selberg in 1932 improved considerably this result by showing
the existence of a constant A > 0 for which
N_{0}(T) > A TlogT
holds (the numerical value of A is Selberg proof is very
small). Since N(T) ~ T/(2p) logT, it means that a finite
proportion of the zeros lie on the critical line. The proof is quite
complicated and is given in [3].
The most significant result on N_{0}(T) has been obtained by Conrey
in 1989 (see [1]) and states that for T large enough, one as
N_{0}(T) ³ aN(T), a = 0.40219.
Thus more than one third of the zeros lie on the critical line.