Riemann–Siegel Formula
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Riemann–Siegel formula is an asymptotic formula for the error of the approximate functional equation of the
Riemann zeta function The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for and its analytic c ...
, 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 anal ...
. It was found by in unpublished manuscripts of
Bernhard Riemann Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the f ...
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 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 (mathematics), function used for studying the Riemann zeta function along the Riemann hypothesis, critical line where the argument is one-half. It is also called the Riemann–Siegel Z function, the ...
. If ''M'' and ''N'' are non-negative integers, then the zeta function is equal to :\zeta(s) = \sum_^N n^ + \gamma(1-s)\sum_^M n^ + 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 in ...
, 1966.


External links

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