De Riemann-Siegel-formule is in de getaltheorie, een deelgebied van de wiskunde, een asymptotische formule voor de fout in de benadering van de functionaalvergelijking van de Riemann-zèta-functie, een benadering van de zèta-functie door een eindige som van twee eindige Dirichletreeksen.

De Riemann-Siegel-formule werd in 1932 door Carl Ludwig Siegel gevonden in een verzameling ongepubliceerde manuscripten van Bernhard Riemann uit de jaren 1850. Siegel leidde de formule af van de Riemann-Siegel-integraalformule, een expressie voor de zèta-functie waarin gebruik wordt gemaakt van contourintegralen. Ze wordt vaak gebruikt om waarden van de Riemann-Siegel-formule te berekenen, soms in combinatie met het algoritme van Odlyzko-Schönhage, dat de berekening aanzienlijk versnelt. Wanneer gebruikt langs de kritieke lijn, is het vaak nuttig de formule in een vorm te gebruiken, waarin het een formule voor de Z-functie wordt.

Als  en  niet-negatieve gehele getallen zijn, dan is de zèta-functie gelijk aan

waar

de factor is die verschijnt in de functionele vergelijking  en waarin

een contourintegraal is, waarvan de contour begint en eindigt op +∞ en de singulariteiten van de absolute waarde op ten hoogste  omcirkelt. De geschatte functionaalvergelijking geeft een schatting van de grootte van de foutterm. Siegel en Edwards leiden de Riemann-Siegel-formule hieruit af door op deze integraal de methode van de steilste afdaling toe te passen om zo een asymptotische expansie van de foutterm  te geven als een reeks van negatieve machten van . In toepassingen ligt  meestal op de kritieke lijn, en worden de positieve gehele getallen  en  gekozen om over .Gabcke vond in 1979 goede begrenzingen voor de fout in de Riemann-Siegel-formule.

Integraalformule van Riemann
Riemann liet zien dat

waar de contour van de integratie een lijn is met helling –1 die tussen 0 en 1 passeert (, 1974, 7.9)

Hij gebruikte dit resultaat om de onderstaande integraalformula voor de zèta-functie te geven:

Voetnoten

Bronvermelding

Referenties
, The Riemann–Siegel expansion for the zeta function: high orders and remainders, 1995, Proceedings of the Royal Society. London. series A, Mathematical, Physical and Engineering Sciences, ISSN 0962-8444, Vol: 450, Issue 1939, blz. 439–462 
, Riemann's zeta function, Pure and Applied Mathematics, vol 58, New York-London, Academic Press, 1974, ISBN 0-12-232750-0 
, 1979, Georg-August-Universität Göttingen, Neue Herleitung und Explizite Restabschätzung der Riemann-Siegel-Formel 
, An introduction to the theory of the Riemann zeta-function, Cambridge Studies in Advanced Mathematics, vol: 14, Cambridge, Cambridge University Press, 1988, ISBN 0-521-33535-3 
, Über Riemanns Nachlaß zur analytischen Zahlentheorie, Quellen Studien zur Geschichte der Math. Astron. und Phys. Abt. B: Studien 2, blz. 45–80, 1932, herdrukt in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.

Externe links
, Numerical evaluation of the Riemann Zeta-function
Riemann–Siegel-formule op Mathworld

Wiskundige stelling
Getaltheorie