Theorema Magnum MCMXIX: Kongruenzen der Partitionsfunktion

Die Partitionsfunktion p(n) gibt die Anzahl der Möglichkeiten an, die natürliche Zahl n in eine Summe natürlicher Zahlen zu zerlegen. Sie ist von Bedeutung in der Kombinatorik und in der Darstellungstheorie der symmetrischen Gruppe und der allgemeinen linearen Gruppe.

Für kleine n läßt sich p(n) leicht berechnen, zum Beispiel ist p(4)=5: die fünf Zerlegungen der 4 sind 4, 3+1, 2+2, 2+1+1, 1+1+1+1. Für größere n wächst die Funktion p(n) aber sehr schnell.

Srinivasa Ramanujan hatte in Indien höhere Mathematik aus veralteten, für die Vorbereitung auf Aufnahmeprüfungen gedachten, englischen Lehrbüchern gelernt. Als Autodidakt befaßte er sich beispielsweise mit Kettenbrüchen, unendlichen (auch divergenten) Reihen und elliptischen Integralen. Komplexe Funktionentheorie wie etwa den Cauchyschen Integralsatz kannte er nicht, wußte aber seltsamerweise alles über elliptische Funktionen. Für die Anzahl der Primzahlen kleiner n hatte er eine falsche Approximationsformel hergeleitet – sozusagen die Formel, die man bekäme, wenn die Riemannsche Zetafunktion keine Nullstellen hätte. Für seine Gleichungen hatte er keine Beweise im Sinne der seit dem 19. Jahrhundert in Europa etablierten Analysis, seine Begabung war auf Formeln und Berechnungen ausgerichtet. Beispielsweise fand er eine ungewöhnlich schöne Formel für die Werte der Partitionsfunktion: .

Auf Einladung G. H. Hardys kam er 1914 nach Cambridge. Hardy hatte die damals in Kontinentaleuropa bereits etablierte Begriffswelt der Analysis aus Jordans „Course d’Analyse“ gelernt, als Professor in Cambridge dann durch ein von ihm verfaßtes Analysis-Lehrbuch die universitäre Ausbildung in England vom Vermitteln von Rechenvorschriften zu formalen Beweisen verschoben.

Noch in Indien hatte Ramanujan eine Thetareihe als erste Näherung für p(n) vermutet. Diese Approximation ließ sich ohne größere Schwierigkeiten beweisen, sie war aber bei weitem nicht eine so gute Näherung, wie er gedacht hatte. Mit Hardy bewies er zunächst einen Tauberschen Satz, aus dem sie die Näherungsformel erhielten. Bald danach konnten sie dies mittels einer komplexen Integration zu verbessern.

Tatsächlich bekamen sie mit ihrer Integralrechnung noch viel mehr: eine Reihe, von der bereits endlich viele Summanden nach Aufrunden auf die nächste ganze Zahl das korrekte Ergebnis liefern. Diese Reihe ist , wobei A_q(n) die über alle zu q teilerfremden Zahlen p kleiner q gebildete Summe (mit einer gewissen 24-ten Einheitswurzel ω_p,q) ist, ν die Ordnung von , und .
Für p(200) kann man ν=5 wählen. Es reichen 5 Summanden, um den korrekten Wert von p(200) zu bestimmen.

Der erste Summand war Ramanujans Vermutung, die er aus Indien mitgebracht hatte (mit n statt n-1/24, was in diesem Fall aber keinen Unterschied macht). Ramanujan hatte immer darauf bestanden, dass es eine Formel mit Fehler O(1) geben müsse. Mit numerischen Berechnungen fand er die erstaunliche Korrektheit für p(100) und p(200). Dann machte er ν eine Funktion von n. Laut Littlewood war das ein sehr großer Schritt, den Ramanujan alleine nicht hätte finden können, weil er neue und tiefe Methoden der Funktionentheorie benötigte. So entstand die vollständige Formel, wobei der geniale Beitrag von Ramanujan laut Littlewood war, die präzise Formel für ψ_q(n) zu erraten, insbesondere auch n durch n-1/24 zu ersetzen.

Der Beweis der Approximation benutzt einen klassischen, schon auf Euler zurückgehenden Ansatz. Man kann die p(n) als Koeffizienten einer Potenzreihe auffassen, die im Inneren des Einheitskreises die Funktion darstellt. Aus dem Cauchyschen Integralsatz folgt dann , solange man über eine Kurve innerhalb des Konvergenzkreises konvergiert.
Natürlich ist f in allen rationalen Punkten exp(2πip/q) des Einheitskreises divergent. Man kann also nicht einfach über den Einheitskreis integrieren, sondern muß für den Integrationsweg kleine Bögen um die Singularitäten herum wählen. Dort ist f sehr groß, diese Bögen sollten also den Hauptbeitrag für das Integral liefern.
Der Ansatz, den Integrationsweg in „major arcs“ und „minor arcs“ zu zerlegen, wobei die „major arcs“ die Singularitäten umlaufen und deshalb den Hauptbeitrag zum zu berechnenden Integral liefern, wurde in den nächsten Jahren in allgemeinerem Zusammenhang von Hardy und Littlewood entwickelt. Er ist heute unter dem Namen „Kreismethode“ bekannt und ist ein wichtiger Ansatz in der additiven Zahlentheorie. Damals wurde er etwa bei der Lösung des Waringschen Problems oder für Teilresultate zur Goldbachvermutung verwendet. Die Idee ist, auf den kurzen, aber den Hauptbeitrag zum Integral liefernden, „major arcs“ das Integral exakt zu berechnen, und auf den „minor arcs“ zumindest noch Abschätzungen beweisen zu können.