Wiener-Ikehara theorem

The Wiener-Ikehara theorem can be used to prove the prime number theorem or PNT (Chandrasekharan, 1969). It was proved by Norbert Wiener and his student Shikao Ikehara in 1932. It is an example of a Tauberian theorem.

Statement

Let "A"("x") be a non-negative, monotonic decreasing function of "x", defined for 0 &le; "x" < &infin;. Suppose that

:$int\_0^infty\; A(x)exp(-xs)dx$

converges for &real;("s") > 1 to the function "f"("s") and that "f"("s") is analytic for &real;("s") &ge; 1, except for a simple pole at "s" = 1 with residue 1: that is,

:$f(s)\; -\; frac\{1\}\{s-1\}$

is continuous in &real;("s") &ge; 1. Then the limit as "x" goes to infinity of "e"^−"x"&thinsp;"A"("x") is equal to 1.

Application

An important number-theoretic application of the theorem is to Dirichlet series of the form

:$sum\_\{n=1\}^infty\; a(n)\; n^\{-s\}$

where "a"("n") is non-negative. If the series converges to an analytic function in

:$Re(s)\; ge\; b$

with a simple pole of residue "c" at "s"=b, then

:$sum\_\{nle\; X\}a(n)\; sim\; c\; cdot\; X^b$.

Applying this to the logarithmic derivative of the Riemann zeta function, where the coefficients in the Dirichlet series are values of the von Mangoldt function, it is possible to deduce the PNT from the fact that the zeta function has no zeroes on the line

:$Re(s)=1.$

References

*cite journal | author=S. Ikehara | authorlink=Shikao Ikehara | title=An extension of Landau's theorem in the analytic theory of numbers | journal=J. Math. Phys. | year=1931 | volume=10 | pages=1–12
*cite journal | author=N. Wiener | authorlink=Norbert Wiener | title=Tauberian theorems | journal=Annals of Mathematics | year=1932 | volume=33 | pages=1–100
*cite book | author=K. Chandrasekharan | title=Introduction to Analytic Number Theory | series=Grundlehren der mathematischen Wissenschaften | publisher=Springer-Verlag | year=1969 | isbn=3-540-04141-9
*