Riemann–Siegel formula

In mathematics, the Riemann–Siegel formula is an asymptotic formula for the error of the approximate functional equation of the Riemann zeta function, an approximation of the zeta function by a sum of two finite Dirichlet series. It was found by Template:Harvtxt in unpublished manuscripts of Bernhard Riemann dating from the 1850s. Siegel derived it from the Riemann–Siegel integral formula, an expression for the zeta function involving contour integrals. It is often used to compute values of the Riemann–Siegel formula, sometimes in combination with the Odlyzko–Schönhage algorithm which speeds it up considerably. When used along the critical line, it is often useful to use it in a form where it becomes a formula for the Z function.

If M and N are non-negative integers, then the zeta function is equal to

$\zeta (s)=\sum _{n=1}^N{n}^{-s}+\gamma (1-s)\sum _{n=1}^M{n}^{s-1}+R(s)$

where

$\gamma (s)={\pi }^{\frac{1}{2}-s}\frac{\mathrm{\Gamma }\left(\frac{s}{2}\right)}{\mathrm{\Gamma }\left(\frac{1-s}{2}\right)}$

is the factor appearing in the functional equation Template:Math, and

$R(s)=-\frac{\mathrm{\Gamma }(1-s)}{2\pi i}\int \frac{(-x{)}^{s-1}{e}^{-Nx}}{e^x-1}dx$

is a contour integral whose contour starts and ends at +∞ and circles the singularities of absolute value at most Template:Math. The approximate functional equation gives an estimate for the size of the error term. Template:Harvtxt and Template:Harvtxt derive the Riemann–Siegel formula from this by applying the method of steepest descent to this integral to give an asymptotic expansion for the error term R(s) as a series of negative powers of Im(s). In applications s is usually on the critical line, and the positive integers M and N are chosen to be about Template:Math. Template:Harvtxt found good bounds for the error of the Riemann–Siegel formula.

Riemann's integral formula

Riemann showed that

$\underset{0\searrow 1}{\int }\frac{e^{-i\pi u^2+2\pi ipu}}{e^{\pi iu}-e^{-\pi iu}}du=\frac{e^{i\pi p^2}-e^{i\pi p}}{e^{i\pi p}-e^{-i\pi p}}$

where the contour of integration is a line of slope −1 passing between 0 and 1 Template:Harv.

He used this to give the following integral formula for the zeta function:

${\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\zeta (s)={\pi }^{-\frac{s}{2}}\mathrm{\Gamma }\left(\frac{s}{2}\right)\underset{0\swarrow 1}{\int }\frac{x^{-s}{e}^{\pi i{x}^2}}{e^{\pi ix}-e^{-\pi ix}}dx+{\pi }^{-\frac{1-s}{2}}\mathrm{\Gamma }\left(\frac{1-s}{2}\right)\underset{0\searrow 1}{\int }\frac{x^{s-1}{e}^{-\pi i{x}^2}}{e^{\pi ix}-e^{-\pi ix}}dx$

References

• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.

External links

• Template:Citation
• Template:Mathworld