The Riemann-Siegel integral formula is the following representation of the xi-function
found in Riemann's Nachlass by Bessel-Hagen in 1926 (Siegel 1932; Edwards 2001, p. 166).
The formula is essentially
(1)
|
where
(2)
|
the symbol means that the path of integration is a line of slope
crossing the real axis between 0 and 1 and directed from upper left to lower right
and in which
is defined on the slit plane (excluding 0 and negative
real numbers) by taking
to be real on the positive real axis and setting
(Edwards 2001, p. 167). Here,
is analytic ar
,
, ..., and has a simple pole at 0.
This formula gives a proof of the functional equation
(3)
|