Skewes-Zahl

Die Skewes-Zahl (nach Stanley Skewes) ist eine obere Grenze für das Problem der Überschätzung der Primzahldichte ${\displaystyle \pi (x)}$ mit dem Integrallogarithmus ${\displaystyle \mathrm {Li} (x)}$ nach Carl Friedrich Gauß. Sie ist eine obere Schranke ${\displaystyle x}$ dafür, dass ${\displaystyle \mathrm {Li} (y)<\pi (y)}$ für einen Wert ${\displaystyle y\leq x}$ gilt. Anders ausgedrückt findet unterhalb der Skewes-Zahl ein Vorzeichenwechsel von ${\displaystyle \pi (y)-\mathrm {Li} (y)}$ statt, der von John Edensor Littlewood vorhergesagt worden war.

Skewes fand für sie den Wert ${\displaystyle \mathrm {e} ^{\mathrm {e} ^{\mathrm {e} ^{79}}}}$. Auch die Approximation ${\displaystyle 10^{10^{10^{34}}}}$ ist gebräuchlich. Die Skewes-Zahl galt früher als Beispiel einer besonders großen in der Mathematik relevanten Zahl.

Die o​bere Schranke i​st nach Skewes weiter herabgesetzt worden. Inzwischen w​ird auch d​ie Suche n​ach einer unteren Schranke für d​ie Zahl, a​n der erstmals e​in Vorzeichenwechsel stattfindet, vorangetrieben.

Geschichte

Das Problem der überschätzten Primzahldichte basiert auf einer Formel über die Verteilung der Primzahlen, die Carl Friedrich Gauß bereits im Alter von 14 Jahren aufgestellt haben soll (er veröffentlichte sie aber wesentlich später). Demnach kann ${\displaystyle \pi (x)}$, die Anzahl der Primzahlen bis x, durch die Formel

${\displaystyle \mathrm {Li} (x)=\int _{2}^{x}{\frac {\mathrm {d} t}{\ln t}}}$

angenähert werden. Vergleicht man ${\displaystyle \mathrm {Li} (x)}$ mit konkreten Werten von ${\displaystyle \pi (x)}$, die man anhand von Primzahltabellen ermittelt, so ist stets ${\displaystyle \mathrm {Li} (x)>\pi (x)}$, und man glaubte lange, dies gelte für alle reellen Zahlen ${\displaystyle x}$.

Im Jahr 1914 bewies J. E. Littlewood,[1] dass die Differenz ${\displaystyle \mathrm {Li} (x)-\pi (x)}$ bei größer werdendem x das Vorzeichen unendlich oft ändert. Es muss also Zahlbereiche geben, in denen die Gaußsche Formel die Primzahldichte unterschätzt.

1933 g​ab Stanley Skewes,[2] d​er bei Littlewood i​n Cambridge studierte u​nd mit dieser Arbeit b​ei ihm promovierte, m​it der Zahl

${\displaystyle 10^{10^{10\,000\,000\,000\,000\,000\,000\,000\,000\,000\,000\,000}}=10^{10^{10^{34}}}}$

eine erste konkrete Abschätzung für eine Obergrenze, unterhalb der diese Unterschätzung erstmals auftritt. Zunächst bewies er das 1933 unter Voraussetzung der Riemann-Hypothese, in der ausführlicheren Arbeit 1955[3] konnte er die Grenze auf ${\displaystyle \mathrm {e} ^{\mathrm {e} ^{\mathrm {e} ^{7{,}703}}}\approx 10^{10^{961}}}$ herabsetzen (unter der Annahme der Riemann-Hypothese) und auch unter Annahme der Nichtgültigkeit der Riemann-Hypothese eine (höhere) obere Grenze angeben, ${\displaystyle 10^{10^{10^{1000}}}}$, manchmal auch „zweite Skewes-Zahl“ genannt.[4]

Die Skewes-Zahl liegt jenseits aller Vorstellungskraft. G. H. Hardy nannte die Skewes-Zahl „die größte Zahl, die je einem bestimmten Zweck in der Mathematik gedient hat“.[5] Spielte man Schach mit allen Protonen des bekannten Universums (damals ca. ${\displaystyle 10^{80}}$ angesetzt), so rechnete Hardy vor, entspräche die Zahl der möglichen „Züge“ (Austausch der Positionen von jeweils zwei Protonen) in etwa Skewes’ Zahl.

Im Jahr 1971 w​urde sie d​urch Grahams Zahl v​on Platz 1 verdrängt. Dies w​ar jedoch l​ange nach Hardys Tod.

Inzwischen konnte von Herman te Riele gezeigt werden, dass die Obergrenze für die erste auftretende Unterschätzung unterhalb von ${\displaystyle 6{,}69\cdot 10^{370}}$ liegen muss,[6] nachdem schon 1966 Sherman Lehman eine obere Grenze von ${\displaystyle 1{,}65\cdot 10^{1165}}$ beweisen konnte.[7] Außerdem bewies te Riele, dass mindestens ${\displaystyle 10^{180}}$ aufeinanderfolgende natürliche Zahlen zwischen ${\displaystyle 6{,}62\cdot 10^{370}}$ und ${\displaystyle 6{,}69\cdot 10^{370}}$ die Ungleichung ${\displaystyle \mathrm {Li} (x)>\pi (x)}$ verletzen. Die obere Grenze wurde nochmals durch Carter Bays und Richard Hudson 2000 auf ${\displaystyle 1{,}39822\cdot 10^{316}}$ verbessert (außerdem zeigten sie, dass mindestens ${\displaystyle 10^{153}}$ aufeinanderfolgende ganze Zahlen nahe dieser Zahl die Ungleichung verletzen).[8]

Untere Grenzen für das erste Auftreten des Vorzeichenwechsels stammen von J. B. Rosser und Lowell Schoenfeld[9] (${\displaystyle 10^{8}}$), Richard P. Brent[10] (${\displaystyle 8\cdot 10^{10}}$), Kotnik 2008[11] (${\displaystyle 10^{14}}$) und Büthe 2015[12] (${\displaystyle 10^{19}}$).

Aurel Wintner zeigte 1941,[13] d​ass der Anteil d​er natürlichen Zahlen, für d​ie die Ungleichung verletzt ist, positives Maß hat, u​nd M. Rubinstein u​nd Peter Sarnak zeigten 1994, d​ass der Anteil b​ei etwa 0,000 000 26 liegt.[14]

Literatur

• Ralph Boas: The Skewes Number. in Ross Honsberger: Mathematical Plums. Mathematical Association of America 1979, Kapitel 10.
• Littlewood: A mathematician´s miscellany. Methuen 1953, S. 113 f.
• Isaac Asimov: Skewered! Fantasy and Science Fiction. 1974, S. 131 ff. Populärwissenschaftlich.

Siehe auch

• Exponentialdarstellung
• Potenzturm
• Liste besonderer Zahlen

Weblinks

• Eric W. Weisstein: Skewes Number. In: MathWorld (englisch).

Einzelnachweise

1. Littlewood: Sur la distribution des nombres premiers. Comptes Rendus Acad. Sci., Bd. 158, 1914, S. 1869–1872. Ausführlich bewiesen in Hardy, Littlewood: Contributions to the theory of the Riemann Zeta Function and the Theory of the Distribution of Primes. Acta Mathematica, Bd. 41, 1918, S. 119–196. Beweisdarstellungen finden sich in Prachar: Primzahlverteilung. Springer, 1957, Narkiewicz: Development of Prime Number Theory. Springer, 2000, S. 322 ff., Albert Ingham: The distribution of prime numbers. 1932.
2. Skewes: On the Difference Li(x) − π(x) I. J. London Math. Society, Bd. 8, 1933, S. 277–283, Teil 2, Proc. London Math. Soc. Bd. 5, 1955, S. 48–70.
3. Die Veröffentlichung von Skewes 1933 war eher eine Beweisskizze.
4. Auch Littlewood gab 1937 (Journal of the London Mathematical Society, Bd. 12, S. 217) an, eine obere Grenze ohne Voraussetzung der Gültigkeit der Riemannhypothese bewiesen zu haben, veröffentlichte aber keinen Beweis. In A mathematicians miscellany. Methuen 1953, S. 113, gibt er an, dass Skewes einen solchen Beweis 1937 fand, diesen aber noch nicht veröffentlicht habe.
5. Hardy: Ramanujan. 1940, S. 17.
6. Herman te Riele: On the sign of the difference Li(x) − π(x). Mathematics of Computation, Bd. 48, 1987, S. 323–328.
7. R. S. Lehman: On the difference … Acta Arithmetica, Bd. 11, 1966, S. 397. Wie auch te Riele, der die Methode von Lehman verwendete, bewies er das ohne Voraussetzungen.
8. C. Bays, R. H. Hudson: A new bound for the smallest x with ${\displaystyle \pi (x)>\mathrm {Li} (x)}$. Mathematics of Computation, Bd. 69, 2000, S. 1285–1296.
9. Rosser, Schoenfeld: Approximate formulas for some functions of prime numbers. Illinois J. Math., Bd. 6, 1962, S. 64–94.
10. Mathematics of Computation. Bd. 29, 1975, S. 43.
11. Kotnik: Advances in Computational Mathematics. Bd. 29, 2008, S. 55.
12. Jan Büthe: An analytic method for bounding ψ(x). 2015, Arxiv.
13. Wintner: On the distribution function of the remainder term of the prime number theorem. American Journal of Mathematics, Bd. 63, 1941, S. 233.
14. Rubinstein, Sarnak: Chebyshevs bias. Experimental Mathematics, Bd. 3, 1994, S. 173–197. Bei projecteuclid.org.