Die Ramanujansche Psifunktion oder auch Ramanujansche Ψ-Funktion ist eine elliptische Funktion der Mathematik. Sie wurde von Srinivasa Ramanujan aufgestellt. Diese Funktion steht zu den Jacobischen Thetafunktionen in algebraischen Beziehungen.
Definition Bearbeiten
Auf folgende Weise ist die Ramanujansche Ψ-Funktion definiert:
Mit der Bezeichnung Δ(n) wird die n-te Dreieckszahl ausgedrückt:
Das tiefgestellte R schließt in der Funktionsbezeichnung die Verwechselung mit der Digammafunktion aus.
Alternativ kann die Ramanujansche Ψ-Funktion auch als Produktreihe dargestellt werden:
Identität mit den Pochhammer-Produkten Bearbeiten
Das q-Pochhammer-Symbol ist wie folgt definiert:
Diese Identitäten zwischen der Ramanujanschen Ψ-Funktion und den Pochhammer-Produkten sind gültig:
Weitere Pochhammer-Produkt-Identitäten:
Daraus folgt:
Das erste dieser beiden Pochhammer-Produkte wird Eulersches Produkt genannt.
Das zweite dieser Produkte wurde von Srinivasa Ramanujan in seinem berühmten Werk Modular Equations and Approximations to π behandelt.
Für das Eulersche Produkt gilt:
Dabei steht P(n) für die n-te Partitionszahl, F(n) für die n-te Fünfeckszahl und K(n) für die n-te Kartenhauszahl:
Die Summenreihe vom Eulerschen Produkt basiert auf dem sogenannten Pentagonalzahlensatz von Leonhard Euler.
Identitäten mit der Ramanujanschen Thetafunktion Bearbeiten
Zur Ramanujanschen Thetafunktion hat die Ramanujansche Psifunktion folgende zwei Identitäten:
Denn die Ramanujansche Thetafunktion ist so definiert:
Diese Funktion ist symmetrisch bezüglich der Variablen c und d.
Und für alle ganzen Zahlen gilt folgende Identität der Dreieckszahlen:
Identität mit den Jacobischen Thetafunktionen Bearbeiten
Jene Identität hat die Ramanujansche Ψ-Funktion zu den Thetafunktionen nach Jacobi:
Die nun genannte Formel ist für alle Zahlen gültig.
Die Thetafunktion ϑ₀₀ hat diese Definition:
Exakt diese Funktion wurde durch Srinivasa Ramanujan in seiner Arbeit mit dem Buchstaben φ markiert.
Mit der Bezeichnung □(n) wird die n-te Quadratzahl ausgedrückt.
Für die andere Thetafunktion gilt:
Mit dem Begriff Ramanujansche φ-(Phi)-Funktion jedoch wird offiziell eine bestimmte nicht elliptische Funktion, eine Linearkombination der harmonischen Funktion bezeichnet.
Somit gilt auch diese Formel:
Dabei steht q für das elliptische Nomen und K für das vollständige elliptische Integral erster Art.
Bezug zu den Partitionsfolgen Bearbeiten
Die MacLaurinsche Reihe für den Kehrwert der an der Ordinatenachse gespiegelten Ramanujanschen Psifunktion enthält als Koeffizienten die Zahlen einer solchen Partitionsfolge, in welcher nur solche Partitionen gezählt werden, in welchen alle ungeradzahligen Summanden unwiederholt auftauchen. Die gleiche Partitionsfolge entsteht auch dann, wenn nur solche Partitionen gezählt werden, in welchen alle geradzahligen Summanden jeweils mit einer geradzahligen Multiplizität auftauchen. Die unter den genannten Bedingungen entstehenden Anzahlen der Partitionen bei gegebener Partitionssumme n sollen im Folgenden als Funktion P*(n) dargestellt werden. Diese Tabelle beschreibt exemplarisch die definierte Funktion:
| n | P*(n) | Zahlpartitionen ohne wiederholte ungeraden Summanden | Zahlpartitionen, in welchen alle geraden Summanden gerade Häufigkeiten haben |
|---|---|---|---|
| 0 | 1 | () leere Partition/leere Summe | () leere Partition |
| 1 | 1 | (1) | (1) |
| 2 | 1 | (2) | (1+1) |
| 3 | 2 | (1+2), (3) | (1+1+1), (3) |
| 4 | 3 | (2+2), (1+3), (4) | (1+1+1+1), (2+2), (1+3) |
| 5 | 4 | (1+2+2), (2+3), (1+4), (5) | (1+1+1+1+1), (1+2+2), (1+1+3), (5) |
| 6 | 5 | (2+2+2), (1+2+3), (2+4), (1+5), (6) | (1+1+1+1+1+1), (1+1+2+2), (1+1+1+3), (3+3), (1+5) |
| 7 | 7 | (1+2+2+2), (2+2+3), (1+2+4), (3+4), (2+5), (1+6), (7) | (1+1+1+1+1+1+1), (1+1+1+2+2), (1+1+1+1+3), (2+2+3), (1+3+3), (1+1+5), (7) |
| 8 | 10 | (2+2+2+2), (1+2+2+3), (2+2+4), (1+3+4), (4+4), (1+2+5), (3+5), (2+6), (1+7), (8) | (1+1+1+1+1+1+1+1), (1+1+1+1+2+2), (2+2+2+2), (1+1+1+1+1+3), (1+2+2+3), (1+1+3+3), (4+4), (1+1+1+5), (3+5), (1+7) |
| 9 | 13 | (1+2+2+2+2), (2+2+2+3), (1+2+2+4), (2+3+4), (1+4+4), (2+2+5), (1+3+5), (4+5), (1+2+6), (3+6), (2+7), (1+8), (9) | ...... |
| 10 | 16 | (2+2+2+2+2), (1+2+2+2+3), (2+2+2+4), (1+2+3+4), (2+4+4), (1+2+2+5), (2+3+5), (1+4+5), (2+2+6), (1+3+6), (4+6), (1+2+7), (3+7), (2+8), (1+9), (10) | ...... |
Die erzeugende Funktion der genannten Partitionsfolge ist der Kehrwert der Ramanujanschen Psifunktion:
Ausformuliert ergeben sich folgende erste Summanden dieser Summenreihe:
In der Online-Enzyklopädie der Zahlenfolgen (OEIS) ist diese Zahlenfolge unter dem Code A006950 verzeichnet.
Ableitungen und Integrale Bearbeiten
Die Ableitung der Ramanujanschen Psifunktion lautet für positive x-Werte wie folgt:
Folgendes bestimmtes Integral von der Ramanujanschen Psifunktion hat nachfolgenden Wert:
Literatur Bearbeiten
- Bruce Berndt: Ramanujan’s Notebooks: Part III. Springer-Verlag, New York 1985, ISBN 0387975039, ISBN 978-0387975030.
- Jinhee Yi, Yang Leeb, Dae Hyun Paek: The explicit formulas and evaluations of Ramanujan’s theta-function ψ. J. Math. Anal. Appl. 321, Universität Busan, Südkorea 2006.
- Nayandeep Deka Baruah, Nipen Saikia: Two parameters for Ramanujan’s theta functions and their explicit values. Rocky Mountain Journal of Mathematics, 2007, Volume 37.
Einzelnachweise Bearbeiten
- https://www.doiserbia.nb.rs/img/doi/0354-5180/2017/0354-51801713975A.pdf
- Eric W. Weisstein: Ramanujan Theta Functions. In: MathWorld (englisch).
- Eric W. Weisstein: Pentagonal Number Theorem. In: MathWorld (englisch).
- Eric W. Weisstein: Jacobi Theta Functions. In: MathWorld (englisch).
- A006950 - OEIS. Abgerufen am 10. März 2022.
- Eric W. Weisstein: Elliptic Alpha Function. Abgerufen am 19. April 2022 (englisch).