Vermutung von Pólya

Datei:Liouville-big.svg

Summatorische Liouville-Funktion L(n) im Bereich bis n = 10⁷. Die ins Auge fallenden Oszillationen stehen in Zusammenhang mit der ersten nicht-trivialen Nullstelle der Riemannschen Zeta-Funktion.

Datei:Liouville-polya.svg

Eine Ausschnittsvergrößerung zeigt die summatorische Liouville-Funktion L(n) im Bereich um das Auftreten des ersten Gegenbeispiels zur Vermutung von Pólya.

Datei:Liouville-log.svg

Die summatorische Liouville-Funktion L(n) bis n = 2 × 10⁹ in doppelt-logarithmischem Maßstab. Der grüne Balken zeigt das Versagen der Vermutung; die blaue Kurve zeigt den oszillatorischen Beitrag der ersten Riemann-Nullstelle.

Die Vermutung von Pólya bezeichnet eine Vermutung aus dem mathematischen Fachgebiet der Zahlentheorie. Sie besagt, dass die Mehrheit der natürlichen Zahlen bis zu einer beliebig vorgegebenen Grenze Zahlen mit ungerade vielen Primfaktoren sind. Die Vermutung wurde 1919 von dem ungarischen Mathematiker George Pólya aufgestellt<ref>[[George Pólya|Vorlage:Cite book/Name]]Vorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/Name: Verschiedene Bemerkungen zur Zahlentheorie. In: Jahresbericht der Deutschen Mathematiker-Vereinigung. 28. Jahrgang, Vorlage:Cite book/Date, S. 31–40 (Vorlage:Cite book/URL [abgerufen am -05-]). Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>, jedoch im Jahre 1958 widerlegt. Die Pólya-Vermutung ist ein Beispiel dafür, dass eine mathematische Aussage, die für zahlreiche kleine Zahlen zutrifft, dennoch aufgrund eines (verhältnismäßig großen) Gegenbeispiels insgesamt falsch sein kann.

Aussage

Genauer besagt die Vermutung von Pólya Folgendes: Zu einer gegebenen natürlichen Zahl <math>n</math> (<math>>1</math>) teile man die natürlichen Zahlen von 1 bis <math>n</math> einschließlich in zwei Mengen auf, nämlich diejenigen mit ungerade vielen Primfaktoren einerseits und die mit gerade vielen Primfaktoren andererseits. Dann enthält die erste dieser beiden Mengen mindestens so viele Zahlen wie die zweite. Hierbei werden mehrfach auftretende Primfaktoren auch entsprechend mehrfach gezählt, so dass beispielsweise <math>24=2^3\cdot3^1</math> eine gerade Anzahl von Faktoren hat, nämlich <math>3+1=4</math> Stück, wohingegen <math>30=2\cdot3\cdot5</math> drei, also ungerade viele Faktoren hat. Die 1 hat keinen einzigen Primfaktor, also eine gerade Anzahl.

Die Vermutung lässt sich alternativ auch mit Hilfe der summatorischen Liouville-Funktion formulieren und besagt dann, dass

<math>L(n)=\sum_{k=1}^n \lambda(k)\le 0</math>

für alle <math>n>1</math> gilt. Hierbei ist <math>\lambda(k)=(-1)^{\Omega(k)}</math> positiv, wenn <math>k</math> gerade viele Primfaktoren hat, und negativ, wenn es ungerade viele sind. Die Omega-Funktion gibt die Anzahl der Primfaktoren einer natürlichen Zahl an.

Widerlegung

Im Jahr 1958 bewies C. B. Haselgrove erstmals, dass die Vermutung von Pólya falsch ist, indem er die Existenz eines Gegenbeispiels mit <math>n\approx 1{,}845\cdot 10^{361}</math> zeigte.<ref>Vorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/Name: A disproof of a conjecture of Pólya. In: Mathematika. 5. Jahrgang, Vorlage:Cite book/Date, S. 141–145, doi:10.1112/S0025579300001480 (Vorlage:Cite book/URL [abgerufen am -05-]). Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>

Ein erstes explizites Gegenbeispiel, nämlich <math>n=906.180.359</math> gab 1960 R. Sherman Lehman an;<ref>R. S. Lehman: On Liouville’s function. In: Mathematics of Computation, Vol. 14, No. 72, 1960, S. 311–320, doi:10.2307/2003890, </ref> das tatsächlich kleinste Gegenbeispiel <math>n=906.150.257</math> fand Minoru Tanaka 1980.<ref>Vorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/NameVorlage:Cite book/Name: A Numerical Investigation on Cumulative Sum of the Liouville Function. In: Tokyo Journal of Mathematics. 3. Jahrgang, Nr. 1, Vorlage:Cite book/Date, S. 187–189, doi:10.3836/tjm/1270216093 (Vorlage:Cite book/URL [abgerufen am -05-]). Vorlage:Cite book/URLVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung2</ref>

Die Vermutung von Pólya trifft für die meisten <math>n</math> im Bereich von 906.150.257 bis 906.488.079 nicht zu. Die Liouville-Funktion wächst hier auf positive Werte von bis zu 829 (für <math>n=906.316.571</math>).

Weblinks

• Eric W. Weisstein: Polya Conjecture. In: MathWorld (englisch).

Einzelnachweise

<references />