Neue Herleitung und explizite Restabschätzung der Riemann-Siegel-Formel

Abstract

Die asymptotische Entwicklung der Funktion \(Z(t)=e^{i\vartheta(t)}\zeta{(1/2+it)}\) für reelle \(t\to+\infty\) (dabei ist \(\vartheta(t)=\Im\log{\Gamma{(1/4+it/2)}}-(t\log{\pi})/2\) und \(\zeta{(1/2+it)}\) die Riemannsche Zetafunktion auf der kritischen Geraden $\Re{(s)}=1/2$ – heute allgemein als Riemann–Siegel–Formel bezeichnet – wird auf neue Weise mit Hilfe der Sattelpunktmethode aus der sogenannten Riemann–Siegel"–Integralformel hergeleitet. Die Formeln zur Berechnung der in der asymptotischen Reihe auftretenden Koeffizienten werden vereinfacht und für \(t \ge 200\) explizite Fehlerabschätzungen für die ersten 11 Partialsummen dieser Reihe angegeben. Der tabellarische Anhang enthält u. a. die exakte Darstellung der ersten 13 Koeffizienten der asymptotischen Reihe in der auf D. H. Lehmer zurückgehenden Form sowie die Potenzreihenentwicklungen und die Entwicklungen nach Tschebyscheffschen Polynomen 1. Art der ersten 11 Koeffizienten mit einer Genauigkeit von 50 Dezimalstellen.