HOME

TheInfoList



OR:

In mathematics, the Riemann–Siegel formula is an
asymptotic formula In mathematical analysis, asymptotic analysis, also known as asymptotics, is a method of describing limiting behavior. As an illustration, suppose that we are interested in the properties of a function as becomes very large. If , then as beco ...
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 In mathematics, a Dirichlet series is any series of the form \sum_^\infty \frac, where ''s'' is complex, and a_n is a complex sequence. It is a special case of general Dirichlet series. Dirichlet series play a variety of important roles in analyti ...
. It was found by 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 integral In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane. Contour integration is closely related to the calculus of residues, a method of complex analysis. ...
s. It is often used to compute values of the Riemann–Siegel formula, sometimes in combination with the
Odlyzko–Schönhage algorithm In mathematics, the Odlyzko–Schönhage algorithm is a fast algorithm for evaluating the Riemann zeta function at many points, introduced by . The main point is the use of the fast Fourier transform to speed up the evaluation of a finite Dirichl ...
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 In mathematics, the Z function is a function used for studying the Riemann zeta function along the critical line where the argument is one-half. It is also called the Riemann–Siegel Z function, the Riemann–Siegel zeta function, the Hardy ...
. If ''M'' and ''N'' are non-negative integers, then the zeta function is equal to :\zeta(s) = \sum_^N\frac + \gamma(1-s)\sum_^M\frac + R(s) where :\gamma(s) = \pi^ \frac is the factor appearing in the functional equation , and :R(s) = \frac\int \fracdx is a contour integral whose contour starts and ends at +∞ and circles the singularities of absolute value at most . The approximate functional equation gives an estimate for the size of the error term. and derive the Riemann–Siegel formula from this by applying the
method of steepest descent In mathematics, the method of steepest descent or saddle-point method is an extension of Laplace's method for approximating an integral, where one deforms a contour integral in the complex plane to pass near a stationary point ( saddle point), in ...
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 . found good bounds for the error of the Riemann–Siegel formula.


Riemann's integral formula

Riemann showed that : \int_ \frac \, du = \frac where the contour of integration is a line of slope −1 passing between 0 and 1 . He used this to give the following integral formula for the zeta function: :\pi^\Gamma\left (\tfrac \right)\zeta(s)= \pi^ \Gamma \left (\tfrac \right) \int_\frac\,dx +\pi^\Gamma \left (\tfrac \right)\int_\frac\,dx


References

* * * * * Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin:
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...
, 1966.


External links

* * {{DEFAULTSORT:Riemann-Siegel Formula Zeta and L-functions Theorems in analytic number theory Bernhard Riemann