Das Pochhammer-Symbol ist eine spezielle Funktion, die in der Kombinatorik und in der Theorie der hypergeometrischen Funktionen verwendet wird. Der Name geht auf Leo August Pochhammer zurück.[1][2]
Die Verallgemeinerung des Pochhammer-Symbols nennt man verallgemeinertes Pochhammer-Symbol.
Inhaltsverzeichnis
1Definition
1.1Erläuterungen
2Eigenschaften
3q-Pochhammer-Symbol
3.1Begrenztes q-Pochhammer-Symbol
3.2Unendliches q-Pochhammer-Symbol
3.3Partitionszahlenfolge und Pentagonalzahlensatz
3.4Thetafunktion und Psifunktion
3.5Rogers-Ramanujan-Kettenbruch
4Einzelnachweise
Definition
Das Pochhammer-Symbol wird über die Gammafunktion definiert:
Aus der Funktionalgleichung der Gammafunktion folgt dann
.
Man hat also eine Identität
mit der steigenden Faktoriellen.
Erläuterungen
Das Pochhammer-Symbol wird auch als notiert, allerdings notieren manche Autoren insbesondere in der Kombinatorik damit auch die fallende Faktorielle. In dieser Notation definiert man dann zusätzlich
Eigenschaften
Funktionsgraphen der ersten vier Pochhammer-Symbole
Das Pochhammer-Symbol ist eine meromorphe Funktion.
Ist , so kann als Polynom in dargestellt werden. Diese haben eine gemeinsame Nullstelle bei .
Zusammenhang zwischen Koeffizienten verschiedener Vorzeichen:
Divisionsregel:
Spezielle Werte:
Weitere Identitäten:
q-Pochhammer-Symbol
Begrenztes q-Pochhammer-Symbol
Das -Pochhammer-Symbol[3] ist das -Analog des Pochhammer-Symbols. Dieses spielt eine wichtige Rolle in der Theorie der elliptischen Modulfunktionen und in der Kombinatorik bei -Analoga klassischer Formeln. Hierbei wird das -Analogon natürlicher Zahlen, angeregt durch den Grenzübergang
,
über folgende Formel definiert:
Das -Pochhammer-Symbol wird über die formale Potenzreihe in der Variablen definiert:
mit der Zusatzbedingung:
.
Sie werden auch -Reihen genannt und als abgekürzt, z. B. .
Der Buchstabe q wird deswegen in den Formeln verwendet, weil er das elliptische Nomen beziehungsweise die Jacobische Entwicklungsgröße darstellt.
Unendliches q-Pochhammer-Symbol
Das -Pochhammer-Symbol lässt sich auch zu einem unendlichen Produkt erweitern:
Der Spezialfall
wird als Eulersches Produkt[4] bezeichnet.
Das elliptische Nomen als Funktion stellt den Zusammenhang zu den vollständigen elliptischen Integralen erster Art her:
Partitionszahlenfolge und Pentagonalzahlensatz
Das Eulersche Pochhammer-Produkt spielt in der Theorie der Partitionsfunktion eine entscheidende Rolle.
Denn die Maclaurinsche Reihe für den Kehrwert des Eulerschen Produkts trägt die Partitionszahlen[5] als Koeffizienten:
Dabei steht P(n) für die n-te Partitionszahl.
Die Maclaurinsche Reihe für das Eulersche Produkt selbst hat an allen Summanden die Fünfeckszahlen und Kartenhauszahlen als Exponenten:
Dabei steht F(n) für die n-te Fünfeckszahl und K(n) für die n-te Kartenhauszahl:
Diese Tatsache[6] basiert auf dem Pentagonalzahlensatz von Leonhard Euler.
Thetafunktion und Psifunktion
Das Eulersche Produkt[7] kann auch mit der Jacobischen Thetafunktion und der Ramanujanschen Psifunktion ausgedrückt werden:
Speziell für positive x-Werte gilt außerdem:
Der Mathematiker Srinivasa Ramanujan entdeckte folgende Beziehung[8] zu den Thetafunktionen:
Sie finden sich in seinem Aufsatz Modular Equations and Approximations to π. Aus den beiden zuletzt genannten Formeln folgt:
Für die Thetafunktionen dienen diese Formeln zur Definition:
Die Ramanujansche Ψ-Funktion ist über jene Formel definiert:
Dabei wurden für eine kompaktere Darstellung die Abkürzungen verwendet:
Einzelnachweise
↑L. Pochhammer: Ueber die Differentialgleichung der allgemeineren hypergeometrischen Reihe mit zwei endlichen singulären Punkten. Journal für die reine und angewandte Mathematik, Band 102, S. 76–159, 1888; insbesondere S. 80–81. Pochhammer benutzt die Bezeichnung für den Binomialkoeffizienten, für die fallende Faktorielle und für die steigende Faktorielle.
↑Eric W. Weisstein: Pochhammer Symbol. In: MathWorld. Abgerufen am 9. Februar 2019 (englisch).
↑Eric W. Weisstein: q-Pochhammer Symbol. In: MathWorld. Abgerufen am 9. Februar 2019 (englisch).
↑Eulersches Partitionsprodukt. Im Englischen auch Euler function, doch ist dieser Begriff mehrdeutig.
↑3.3 Partitions of Integers. Abgerufen am 30. August 2021.
↑Eric W. Weisstein: Pentagonal Number Theorem. Abgerufen am 30. August 2021 (englisch).
↑Eric W. Weisstein: q-Pochhammer Symbol. Abgerufen am 30. August 2021 (englisch).
↑Eric W. Weisstein: Ramanujan g- and G-Functions. Abgerufen am 30. August 2021 (englisch).