Rogers-Ramanujan-Identitäten

Die Rogers-Ramanujan-Identitäten sind ursprünglich zwei Identitäten zwischen unendlichen Reihen und Produkten, die zuerst Leonard James Rogers 1894 bewies. S. Ramanujan fand sie unabhängig vor 1913 (ohne Beweis). Ramanujan stieß danach durch Zufall auf den Aufsatz von Rogers, der bis dahin kaum beachtet worden war, und veröffentlichte mit Rogers 1919 einen neuen Beweis. Unabhängig fand Issai Schur 1917 die Identitäten und einen Beweis. Es gibt auch Verallgemeinerungen der Identitäten.

Hauptteil

Die Identitäten lauten (mit $|q|<1$):

$G(q)=\sum _{n=0}^{\infty }{\frac {q^{n^{2}}}{(q;q)_{n}}}={\frac {1}{(q;q^{5})_{\infty }(q^{4};q^{5})_{\infty }}}=1+q+q^{2}+q^{3}+2q^{4}+2q^{5}+3q^{6}+\cdots \,$

und

$H(q)=\sum _{n=0}^{\infty }{\frac {q^{n(n+1)}}{(q;q)_{n}}}={\frac {1}{(q^{2};q^{5})_{\infty }(q^{3};q^{5})_{\infty }}}=1+q^{2}+q^{3}+q^{4}+q^{5}+2q^{6}+\cdots \,$

$G(q)$ und $H(q)$ definiert über den jeweils linken Teil der Identitäten (als unendliche Reihe) heißen Rogers-Ramanujan-Funktionen.

Dabei sind $(\cdot ;\cdot )_{n}$ die q-Pochhammer-Symbole:

$(q;q)_{n}=\prod _{k=1}^{n}(1-q^{k})=(1-q)(1-q^{2})\cdots (1-q^{n})$

$(q;q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+1})$

$(q^{4};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+4})$

$(q^{2};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+2})$

$(q^{3};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+3})$

So dass die Identitäten sich auch schreiben lassen:

$G(q)=\sum _{n=0}^{\infty }{\frac {q^{n^{2}}}{(1-q)(1-q^{2})\cdots (1-q^{n})}}={\frac {1}{\prod _{k=0}^{\infty }(1-q^{5k+1})(1-q^{5k+4})}}={\frac {1}{\prod _{k=1}^{\infty }(1-q^{5k-1})(1-q^{5k-4})}}$

und

$H(q)=\sum _{n=0}^{\infty }{\frac {q^{n(n+1)}}{(1-q)(1-q^{2})\cdots (1-q^{n})}}={\frac {1}{\prod _{k=0}^{\infty }(1-q^{5k+2})(1-q^{5k+3})}}={\frac {1}{\prod _{k=1}^{\infty }(1-q^{5k-2})(1-q^{5k-3})}}$

Es gibt auch verallgemeinerte Identitäten vom Rogers-Ramanujan-Typ, die insbesondere in Arbeiten von Wilfrid Norman Bailey, Freeman Dyson, Atle Selberg und Lucy Joan Slater aufgestellt wurden (Slater listet in ihrem Aufsatz von 1952 130 solche Identitäten). Weitere fand z. B. George E. Andrews (Andrews-Gordon-Identität, mit Basil Gordon), Heinz Göllnitz (Göllnitz-Gordon-Identitäten).

Ramanujan führte insgesamt 40 Identitäten mit den Funktionen $G(q),H(q)$ auf (in seinen Notizbüchern).

Anwendung auf Partitionen

Da die in der Identität vorkommenden Terme erzeugende Funktionen bestimmter Partitionen sind, machen die Identitäten Aussagen über Partitionen (Zerfällungen) natürlicher Zahlen. Die Zahlenfolgen, welche sich aus den Koeffizienten der Maclaurinschen Reihen von den Rogers-Ramanujan-Funktionen G und H ergeben, sind spezielle Partitionszahlenfolgen der Stufe 5:

$G(x)={\frac {1}{(x;x^{5})_{\infty }(x^{4};x^{5})_{\infty }}}=1+\sum _{n=1}^{\infty }P_{G}(n)x^{n}$

$H(x)={\frac {1}{(x^{2};x^{5})_{\infty }(x^{3};x^{5})_{\infty }}}=1+\sum _{n=1}^{\infty }P_{H}(n)x^{n}$

Die Zahlenfolge $P_{G}(n)$ (OEIS-Code: A003114) stellt für die betroffene natürliche Zahl n die Anzahl der Möglichkeiten dar, diese Zahl in Summanden der Muster 4a + 1 oder 4a + 4 mit a ∈ ℕ₀ zu zerlegen. Somit gibt $P_{G}(n)$ die Anzahl der Zerfällungen einer ganzen Zahl n, bei denen sich benachbarte Teile der Partition um mindestens 2 unterscheiden, gleich der Anzahl der Zerfällungen, bei denen jeder Teil gleich 1 oder 4 mod 5 ist.

Und die Zahlenfolge $P_{H}(n)$ (OEIS-Code: A003106) stellt analog hierzu für die betroffene natürliche Zahl n die Anzahl der Möglichkeiten dar, diese Zahl in Summanden der Muster 4a + 2 oder 4a + 3 mit a ∈ ℕ₀ zu zerlegen. Somit gibt $P_{H}(n)$ die Anzahl der Zerfällungen einer ganzen Zahl n, bei denen sich benachbarte Teile der Partition um mindestens 2 unterscheiden und bei der der kleinste Teil größer oder gleich 2 ist, ist gleich der Anzahl der Zerfällungen, deren Teile gleich 2 oder 3 mod 5 sind. Dies soll in den folgenden zwei Tabellen exemplarisch veranschaulicht werden:

Partitionszahlenfolge $P_{G}(n)$

Natürliche Zahl n	$P_{G}(n)$	Summandarstellungen mit dem genannten Kriterium
1	1	1
2	1	1+1
3	1	1+1+1
4	2	4, 1+1+1+1
5	2	4+1, 1+1+1+1+1
6	3	6, 4+1+1, 1+1+1+1+1+1
7	3	6+1, 4+1+1+1, 1+1+1+1+1+1+1
8	4	6+1+1, 4+4, 4+1+1+1+1, 1+1+1+1+1+1+1+1
9	5	9, 6+1+1+1, 4+4+1, 4+1+1+1+1+1, 1+1+1+1+1+1+1+1+1
10	6	9+1, 6+4, 6+1+1+1+1, 4+4+1+1, 4+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1
11	7	11, 9+1+1, 6+4+1, 6+1+1+1+1+1, 4+4+1+1+1, 4+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1
12	9	11+1, 9+1+1+1, 6+6, 6+4+1+1, 6+1+1+1+1+1+1, 4+4+4, 4+4+1+1+1+1, 4+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1
13	10	11+1+1, 9+4, 9+1+1+1+1, 6+6+1, 6+4+1+1+1, 6+1+1+1+1+1+1+1, 4+4+4+1, 4+4+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1
14	12	14, 11+1+1+1, 9+4+1, 9+1+1+1+1+1, 6+6+1+1, 6+4+4, 6+4+1+1+1+1, 6+1+1+1+1+1+1+1+1, 4+4+4+1+1, 4+4+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1
15	14	14+1, 11+4, 11+1+1+1+1, 9+6, 9+4+1+1, 9+1+1+1+1+1+1, 6+6+1+1+1, 6+4+4+1, 6+4+1+1+1+1+1, 6+1+1+1+1+1+1+1+1+1, 4+4+4+1+1+1, 4+4+1+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1+1
16	17	16, 14+1+1, 11+4+1, 11+1+1+1+1+1, 9+6+1, 9+4+1+1+1, 9+1+1+1+1+1+1+1, 6+6+4, 6+6+1+1+1+1, 6+4+4+1+1, 6+4+1+1+1+1+1+1, 6+1+1+1+1+1+1+1+1+1+1, 4+4+4+4, 4+4+4+1+1+1+1, 4+4+1+1+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1

Partitionszahlenfolge $P_{H}(n)$

Natürliche Zahl n	$P_{H}(n)$	Summandarstellungen mit dem genannten Kriterium
1	0	keine
2	1	2
3	1	3
4	1	2+2
5	1	3+2
6	2	3+3, 2+2+2
7	2	7, 3+2+2
8	3	8, 3+3+2, 2+2+2+2
9	3	7+2, 3+3+3, 3+2+2+2
10	4	8+2, 7+3, 3+3+2+2, 2+2+2+2+2

Sonstiges

Setzt man $q=e^{2\pi i\tau }$ (wobei der Imaginärteil von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tau \in \mathbb C} positiv ist), sind

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q^{ \frac {-1}{60}} G(q)}

und

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q^{\frac {11}{60}} H(q)}

Modulfunktionen.

Der Kettenbruch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R(q) = 1+\frac{q}{1+\frac{q^2}{1+\frac{q^3}{1+\cdots}}} }

heißt Rogers-Ramanujan-Kettenbruch. Manchmal wird er auch mit einem Faktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q^{\frac {1}{5}}} definiert (dadurch hat man Quotienten von Modulfunktionen).

Es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R (q) = \prod_{k=0}^{\infty} \frac { (1- q^{5k+1}) (1- q^{5k+4})}{(1- q^{5k+2})(1- q^{5k+3})} = \frac{H(q)}{G(q)}}

oder mit der Ramanujanschen Thetafunktion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f (a,b)= \sum_{k=-\infty}^{\infty} a^{\frac {k (k+1)}{2}} b^{\frac {k (k-1)}{2}}}

ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R(q) = \frac { f (-q, -q^4) }{f (-q^2, -q^3 ) }} .

Der Kettenbruch lässt sich auch durch die Dedekindsche η-Funktion ausdrücken. Der Zusammenhang des Kettenbruchs mit den Rogers-Ramanujan-Funktionen fand schon Rogers 1894 (und später unabhängig Ramanujan).

Anwendung in der statistischen Mechanik

Die Identitäten haben Anwendung in der statistischen Mechanik bei der Lösung des Hard Hexagon Modells durch Rodney Baxter 1980. Das Hard Hexagon Modell ist ein Gas von Teilchen auf einem Dreiecksgitter, so dass keine zwei Teilchen auf dem Gitter benachbart sein dürfen. Sie finden auch in weiteren exakt lösbaren Modellen der statistischen Mechanik Anwendung.

Literatur

• George E. Andrews: The theory of partitions, Addison-Wesley 1976, Cambridge University Press 1998
• David Bressoud, Analytic and combinatorial generalizations of the Rogers-Ramanujan identities, American Mathematical Society 1980
• David Bressoud: An easy proof of the Rogers-Ramanujan identities, J. of Number Theory, Band 16, 1983, S. 235–241.
• Godfrey Harold Hardy, E. M. Wright: Introduction to the theory of numbers, Oxford, Clarendon Press 1975 (S. 290ff, Kapitel 19-13)
• George E. Andrews, Rodney J. Baxter: A motivated proof of the Rogers-Ramanujan identities, American Mathematical Monthly, Band 96, 1989, S. 401–409.

Weblinks

• Rogers-Ramanujan-Identities, Mathworld
• Anne Schilling, The Rogers-Ramanujan identities at Y2K, 2000, pdf