Академический Документы
Профессиональный Документы
Культура Документы
Author(s): D. Zagier
Source: The American Mathematical Monthly, Vol. 104, No. 8 (Oct., 1997), pp. 705-708
Published by: Mathematical Association of America
Stable URL: http://www.jstor.org/stable/2975232 .
Accessed: 19/05/2011 11:37
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at .
http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless
you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you
may use content in the JSTOR archive only for your personal, non-commercial use.
Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at .
http://www.jstor.org/action/showPublisher?publisherCode=maa. .
Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed
page of such transmission.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to
The American Mathematical Monthly.
http://www.jstor.org
Prime
RecallNumber
that the
Theorem.
notation
Newman's
7r(x)
f(x) g(x)
as ("f
x oo.
and g are asymptotically
Short
Proof
Number
of
the
equal")
Prime
Theorem
D. Zagier
The prime number theorem, that the number of primes < x is asymptotic to
x/log x, was proved (independently) by Hadamard and de la Vallee Poussin in
1896. Their proof had two elements: showing that Riemann's zeta function ;(s)
has no zeros with Sc(s) = 1, and deducing the prime number theorem from this.
An ingenious short proof of the first assertion was found soon afterwards by the
same authors and by Mertens and is reproduced here, but the deduction of the
prime number theorem continued to involve difficult analysis. A proof that was
elementaty in a technical sense-it
avoided the use of complex analysis-was
found in 1949 by Selberg and Erdos, but this proof is very intricate and much less
clearly motivated than the analytic one. A few years ago, however, D. J. Newman
found a very simple version of the Tauberian argument needed for an analytic
proof of the prime number theorem. We describe the resulting proof, which has a
beautifully simple structure and uses hardly anything beyond Cauchy's theorem.
means that lim<,Ot(x)/g(x)
= 1, and that O(t) denotes a quantity bounded in
absolute value by a fixed multiple of f. We denote by 7T(X) the number of primes
< x.
log x
We present the argument in a series of steps. Specifically, we prove a sequence
of properties of the three functions
;(s)
n=l
sS
4)(S) = E
#(x)
logp
(s E , x E );
pvx
we always use p to denote a prime. The series defining ;(s) (the Riemann zetafunction) and 4>(s) are easily seen to be absolutely and locally uniformly convergent for S(s) > 1, so they define holomorphic functions in that domain.
(2
r2, r3, * - 20
(II). ;(s)-
1997]
23r3 *ww)
[l
P
( r
r20
) =
I1
P
-5
( (s)
> 1) .
705
J nS - xS
n(5)+
Jn+lf
1i
t1
n+l
n+l
du
I s
Isl
O(x).
( )
I1
o(n)
= e(2n)-
g P = q>(s) + E
gP
lim e<)(1 + e) = 1, lim e<)(1 + e _ ior) = -u, and lim e<)(1 + e + 2ior) = - v.
The inequality
2
(2 + r)4)(1 + e + ira) = ,
gP
(pia/2
+p-io.X2)4
(V)
)2
dx is a convergentintegral.
w (x)
w d(x)
Ps
11
Xs
sl1
X5+1
(et)e-t-1
706
[October
(VI).
#(x)
x.
Proof:Assume that for some A > 1 there are arbitrarilylarge x with #(x) 2 Ax.
Since # is non-decreasing,we have
AX
(t)
t2
- t
- t
A A- t
t2 dt = J1 t2 dt > O
AX)X
dt 2 |
x#(t)-t
t
xAx-t
1A-t
dt < |
dt = |
dt <O,
p<x
#(x) 2
p<x
E
logp
x 1 e<p <XX
,
x
<p
(1 - e)logx
<x
e )] .
Proof of the Analytic Theorem. For T > O set gT(z) = JTt(t)e-t dt. This is
clearlyholomorphicfor all z. We must show that
g(O).
Let R be large and let C be the boundary of the region {z E l Izl< R,
B(z) 2-b}, where 6 > 0 is small enough (depending on R) so that g(z) is
holomorphicin and on C. Then
limToOgT(0)
g()
gT(0)
2gri Jc(g(Z)
gT(z))e
(1 + R2 ) z
JTZ
S( Z )
JT
and
(1 + R2 )- =
e ( ) * R2
707
(z)
|Tf(t)e-zt
( St(z) < O)
fur Mathematik
Max-Planck-Institut
26
GottJ2ied-Claren-StraJSe
D-53225 Bonn, Germany
mpg.de
zagier@mpim-bonn.
708
[October