The Wiener–Ikehara theorem is a Tauberian theorem, originally published by Shikao Ikehara, a student of Norbert Wiener's, in 1931. It is a special case of Wiener's Tauberian theorems, which were published by Wiener one year later. It can be used to prove the prime number theorem (Chandrasekharan, 1969), under the assumption that the Riemann zeta function has no zeros on the line of real part one.
Let A(x) be a non-negative, monotonic nondecreasing function of x, defined for 0 ≤ x < ∞. Suppose that
| infty | |
| f(s)=\int | |
| 0 |
A(x)e-xsdx
converges for ℜ(s) > 1 to the function ƒ(s) and that, for some non-negative number c,
f(s)-
| c | |
| s-1 |
has an extension as a continuous function for ℜ(s) ≥ 1.Then the limit as x goes to infinity of e-x A(x) is equal to c.
An important number-theoretic application of the theorem is to Dirichlet series of the form
| infty | |
| \sum | |
| n=1 |
a(n)n-s
where a(n) is non-negative. If the series converges to an analytic function in
\Re(s)\geb
with a simple pole of residue c at s = b, then
\sumn\lea(n)\sim
| c | |
| b |
Xb.
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 Prime number theorem from the fact that the zeta function has no zeroes on the line
\Re(s)=1.
. Hugh L. Montgomery . Hugh Montgomery (mathematician) . Robert C. Vaughan . Robert Charles Vaughan (mathematician) . Multiplicative number theory I. Classical theory . Cambridge tracts in advanced mathematics . 97 . 2007 . 0-521-84903-9 . 259–266 . Cambridge Univ. Press . Cambridge .