Fórmula de Riemann–Siegel

Fórmula de Riemann–Siegel

En matemática, la fórmula de Riemann–Siegel es una fórmula asintótica para el error que se comete en la ecuación funcional aproximada de la función zeta de Riemann, una aproximación de la función zeta mediante las suma de dos series de Dirichlet finitas. Ésta fue encontrada por Siegel (1932) en unos manuscritos no publicados de Bernhard Riemann alrededor de los años 1850s. Siegel convirtió ésta en la fórmula integral de Riemann–Siegel, una expresión para la función zeta en la que intervienen integrales de contorno. Es a menudo usada para calcular valores de la fórmula de Riemann–Siegel, a veces en combinación con el algoritmo de Odlyzko–Schönhage, lo cual aumenta la velocidad de los cálculos considerablemente.

Si M y N son dos números enteros no negativos, entonces la función zeta es igual a

\zeta(s) = \sum_{n=1}^N\frac{1}{n^s} + \gamma(1-s)\sum_{n=1}^M\frac{1}{n^{1-s}} + R(s)

donde

\displaystyle\gamma(s) = \pi^{1/2-s}\Gamma(s/2)/\Gamma((1-s)/2)

es un factor que aparece en la ecuación funcional ζ(s) = γ(s) ζ(1 − s), y

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

es una integral de contorno, cuyo contorno comienza y termina en +∞ y circunferencias de singularidades de un valor absoluto a lo sumo 2πM. La ecuación funcional aproximada da una estimación del tamaño del término error. Siegel (1932) y Edwards (1974) derivaron la fórmula de Riemann–Siegel formula para este fin, mediante la aplicación del método del descenso más rapido a esta integral, lo cual da una expansión asintótica para el término error R(s) como una serie de potencias negativas de Im(s). En aplicaciones, s está usualmente en la línea crítica, y los enteros positivos M y N son escogidos de tal manera que estén cercanos a (2π Im(s))1/2. Gabcke (1979) encontró unos buenos límites para el término de error de la fórmula Riemann–Siegel.

Fórmula integral de Riemann

Riemann mostró que

\int_{0\searrow 1}\frac{e^{-i\pi u^2+2\pi i pu}du}{e^{\pi i u}-e^{-\pi i u}} = 
\frac{e^{i\pi p^2}-e^{i\pi p}}{e^{i\pi p}- e^{-i\pi p}}

donde el contorno de integración es una línea de pendiente −1 que pasa entre 0 y 1 (Edwards, 1974, 7.9).

El usó este método para dar la siguiente fórmula integral para la función zeta:

\displaystyle\pi^{-s/2}\Gamma(s/2)\zeta(s)=
 \pi^{-s/2}\Gamma(s/2)\int_{0\swarrow 1}\frac{x^{-s}e^{\pi i x^2}}{e^{\pi i x}-e^{-\pi i x}}\,dx
+\pi^{-(1-s)/2}\Gamma((1-s)/2)\int_{0\searrow 1}\frac{x^{s-1}e^{-\pi i x^2}}{e^{\pi i x}-e^{-\pi i x}}\,dx

Referencias

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Formule de Riemann-Siegel — En mathématiques, et plus précisément en analyse, la formule de Riemann Siegel est une estimation asymptotique de l erreur de l équation fonctionnelle d approximation de la fonction zêta de Riemann, c est à dire une approximation de la fonction… …   Wikipédia en Français

  • Riemann zeta function — ζ(s) in the complex plane. The color of a point s encodes the value of ζ(s): dark colors denote values close to zero and hue encodes the value s argument. The white spot at s = 1 is the pole of the zeta function; the black spots on the… …   Wikipedia

  • Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 …   Wikipedia

  • Siegel zero — In mathematics, more specifically in the field of analytic number theory, a Siegel zero, named after Carl Ludwig Siegel, is a type of potential counterexample to the generalized Riemann hypothesis, on the zeroes of Dirichlet L function. There are …   Wikipedia

  • Riemann surface — For the Riemann surface of a subring of a field, see Zariski–Riemann space. Riemann surface for the function ƒ(z) = √z. The two horizontal axes represent the real and imaginary parts of z, while the vertical axis represents the real… …   Wikipedia

  • Riemann'sche Hypothese — Die riemannsche Vermutung oder riemannsche Hypothese (nach Bernhard Riemann) ist eine Annahme über die Nullstellen der riemannschen Zetafunktion. Sie besagt, dass alle nichttrivialen Nullstellen dieser komplexwertigen Funktion den Realteil ½… …   Deutsch Wikipedia

  • Riemann'sche Vermutung — Die riemannsche Vermutung oder riemannsche Hypothese (nach Bernhard Riemann) ist eine Annahme über die Nullstellen der riemannschen Zetafunktion. Sie besagt, dass alle nichttrivialen Nullstellen dieser komplexwertigen Funktion den Realteil ½… …   Deutsch Wikipedia

  • Función zeta de Riemann — ζ(s) en el plano complejo. El color de un punto s codifica el valor de ζ(s): Colores fuertes denotan valores cercanos a 0 y el tono codifica el valor del argumento. El punto blanco en s=1 es el polo de la función zeta; los puntos negros en el eje …   Wikipedia Español

  • Bernhard Riemann — Infobox Scientist name =Bernhard Riemann box width =300px image width =225px caption =Bernhard Riemann, 1863 birth date =September 17, 1826 birth place =Breselenz, Germany death date =death date and age|1866|7|20|1826|9|17 death place =Selasca,… …   Wikipedia

  • Carl Siegel — Pour les articles homonymes, voir Siegel. Carl Ludwig Siegel en 1975 Carl Ludwig Siegel (31 décembre  …   Wikipédia en Français

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”