imported>Sokrates 399: Typografie.

2026-02-12T12:30:43Z

Typografie.

Neue Seite

Der '''Pentagonalzahlensatz''' von [[Leonhard Euler]]<ref>Veröffentlicht in den Abh. der Petersburger Akademie für 1780 (erschienen 1783), von Euler 1775 der Akademie vorgetragen. Eneström-Index der Eulerschen Werke 541</ref> ist ein Resultat aus dem [[Teilgebiete der Mathematik|mathematischen Teilgebiet]] der [[Funktionentheorie]] und [[Zahlentheorie]] bzw. [[Kombinatorik]]. Insbesondere in der Theorie der elliptischen Modulfunktionen spielt dieser Satz eine essentielle Rolle.

== Definition ==
[[Datei:Pentagonal number 22 as sum of gnomons.svg|mini|Fünfeckszahlen z(3z - 1)/2 mit den Indizes z = 1 (rot), z = 2 (gelb), z = 3 (grün), z = 4 (blau)]]
[[Datei:Card castle6.JPG|mini|Kartenhaus aus 57 Karten: Kr(6) = 6*(3*6 + 1)/2 = 57]]
Der Satz lautet wie folgt: Als [[formale Potenzreihe]] im [[Elliptisches Nomen|Nomenausdruck]] <math>q</math> gilt diese Identität zwischen Produktreihe und Summenreihe:
: <math>\prod_{n=1}^\infty (1-q^n) \;= (q;q)_{\infty} = \sum_{n=-\infty}^\infty (-1)^n q^{n(3n-1)/2} =</math>
: <math>= 1 + \sum_{m = 0}^{\infty} \bigl[- q^{(2m + 1)(3m + 1)} - q^{(2m + 1)(3m + 2)} + q^{(m + 1)(6m + 5)} + q^{(m + 1)(6m + 7)}\bigr] =</math>
: <math>= 1 + \sum_{m = 0}^{\infty} \bigl[- q^{\text{Fn}(2m+1)} - q^{\text{Kr}(2m+1)} + q^{\text{Fn}(2m+2)} + q^{\text{Kr}(2m+2)}\bigr]</math>
Dabei steht Fn(z) für die z-te Fünfeckszahl und Kr(z) für die z-te Kartenhauszahl:

: <math>\text{Fn}(z) = \tfrac{1}{2}z(3z-1)</math>
: <math>\text{Kr}(z) = \tfrac{1}{2}z(3z+1)</math>
Der gezeigte Exponent in der ersten Zeile der Gleichungskette <math>n(3n - 1)/2</math> bildet für positive Indizes n die Folge der Fünfeckszahlen und für negative Indizes n die Folge der Kartenhauszahlen. Der ''Pentagonalzahlensatz'' erhielt seinen Namen von der Tatsache, dass in der summandisierten Darstellung des genannten Euler-Pochhammer-Produktes die Exponenten immer [[Fünfeckszahl]]en oder Kartenhauszahlen sind. Damit gilt die Gleichung insbesondere für [[komplexe Zahl]]en <math>q</math> im Falle der absoluten Konvergenz, also <math>|q|<1</math>.

Explizit lauten die ersten Faktoren und Summanden dieser Formel wie folgt:
:<math>(1{\color{CornflowerBlue}-}q)(1{\color{CornflowerBlue}-}q^2)(1{\color{CornflowerBlue}-}q^3)\cdots \,= 1{\color{CornflowerBlue}-}q{\color{CornflowerBlue}-}q^2{\color{OliveGreen}+}q^5{\color{OliveGreen}+}q^7{\color{CornflowerBlue}-}q^{12}{\color{CornflowerBlue}-}q^{15}{\color{OliveGreen}+}q^{22}{\color{OliveGreen}+}q^{26}\mp\ldots</math>
Insbesondere tauchen auf der rechten Seite ausschließlich die Koeffizienten <math>+1</math>, <math>-1</math> und <math>0</math> auf ({{OEIS|A010815}}).

Das Kürzel des elliptischen Nomens beziehungsweise der Jacobischen Entwicklungsgröße q wurde deswegen gewählt, weil genau dann das genannte Euler-Pochhammer-Produkt aus der Formel des Pentagonalzahlensatzes als Produkt aus dem vollständigen [[Elliptisches Integral|elliptischen Integral]] erster Art, aus dem Nomen selbst und einer algebraischen Funktion dargestellt werden kann:
: <math>\prod_{n=1}^{\infty} [1-q(\varepsilon)^n] \;= 1 + \sum_{m = 0}^{\infty} \bigl[- q(\varepsilon)^{\text{Fn}(2m+1)} - q(\varepsilon)^{\text{Kr}(2m+1)} + q(\varepsilon)^{\text{Fn}(2m+2)} + q(\varepsilon)^{\text{Kr}(2m+2)}\bigr] =</math>
: <math>= 2^{1/3}|\varepsilon|^{1/12} (1 - \varepsilon^2)^{1/6} q(\varepsilon)^{-1/24}\pi^{-1/2}K(\varepsilon)^{1/2}</math>
Parallel hierzu gilt für dieses berühmte Produkt auch jene Formel:
: <math>\prod_{n=1}^{\infty} \{1-[q(\varepsilon)^2]^n\} \;= \prod_{n=1}^{\infty} [1-q(\varepsilon)^{2n}] = |\sin[2\arcsin(\varepsilon)]|^{1/6} q(\varepsilon)^{-1/12}\pi^{-1/2}K(\varepsilon)^{1/2}</math>
Für das elliptische Nomen q und für das vollständige elliptische Integral K gilt:

: <math>q(\varepsilon) = \exp[-\pi K(\sqrt{1 - \varepsilon^2}) K(\varepsilon)^{-1}] </math>
: <math>K(w) = \int_{0}^{\pi/2} [1 - w^2 \sin(\alpha)^2]^{-1/2} \,\mathrm{d}\alpha </math>

== Gesetze über strikte Partitionen ==
Die Tatsache, dass genau diese Koeffizienten in der summandisierten Darstellung hervorkommen, basiert auf folgenden vier Tatsachen über die strikten Partitionen:
{| class="wikitable"
|+Regeln über strikte Partitionen
|Alle Fünfeckszahlen und Kartenhauszahlen haben eine ungerade Anzahl an strikten Partitionen, alle restlichen natürlichen Zahlen haben eine gerade Anzahl an strikten Partitionen.
|-
|Bei allen Fünfeckszahlen und Kartenhauszahlen von geradem Index ist die Anzahl der strikten Partitionen mit gerader Summandenanzahl um Eins höher als die Anzahl der strikten Partitionen mit ungerader Summandenanzahl.
|-
|Bei allen Fünfeckszahlen und Kartenhauszahlen von ungeradem Index ist die Anzahl der strikten Partitionen mit gerader Summandenanzahl um Eins niedriger als die Anzahl der strikten Partitionen mit ungerader Summandenanzahl.
|-
|Bei allen natürlichen Zahlen, welche weder Fünfeckszahlen noch Kartenhauszahlen sind, ist die Anzahl der strikten Partitionen mit gerader Summandenanzahl exakt gleich der Anzahl der strikten Partitionen mit ungerader Summandenanzahl.
|}
Die Produktdarstellung des Pentagonalzahlensatzes enthält als Faktoren Differenzen mit einem negativen Vorzeichen vor der Nomenpotenz. Und die Nomenpotenzen als Summanden in der Summendarstellung des Pentagonalzahlensatzes tragen Exponenten, welche als Summen von den Exponenten aus der Produktdarstellung hervorgehen. Denn nach dem ''Ersten Potenzgesetz'' gilt: <math>q^a\times q^b = q^{a + b}</math>

Die Koeffizienten vor den Potenzen in der Summendarstellung des Pentagonalzahlensatzes sind immer +1 und −1. Denn die Koeffizienten ergeben sich bei der Summandisierung stets als Differenz Anzahl der strikten Partitionen mit gerader Summandenanzahl minus Anzahl der strikten Partitionen mit ungerader Summandenanzahl von dem Exponent der betroffenen Potenz in der Summendarstellung. Wegen der Übereinstimmung von Anzahl der strikten Partitionen mit gerader Summandenanzahl und Anzahl der strikten Partitionen mit ungerader Summandenanzahl bei allen Nicht-Fünfecks-oder-Kartenhauszahlen sind bei diesen soeben genannten Zahlen die Koeffizienten vor den Potenzen stets Null. Und jene Potenzen fallen in der Summendarstellung des Pentagonalzahlensatzes somit weg.

Im Folgenden sollen einzelne Beispiele für die Richtigkeit dieser drei Aussagen exemplarisch gegenübergestellt werden:
{| class="wikitable"
|+Strikte Partitionen von den Fünfeckszahlen
!Fünfeckszahlen
!Anzahl der strikten Partitionen
insgesamt, dargestellt mit Q
!Anzahl der strikten Partitionen
mit gerader Summandenanzahl,
dargestellt mit Qg
!Anzahl der strikten Partitionen
mit ungerader Summandenanzahl,
dargestellt mit Qu
!Qg - Qu
|-
|Fn(1) = 1
|Q(1) = 1
|Qg(1) = 0
|Qu(1) = 1
| −1
|-
|Fn(2) = 5
|Q(5) = 3
|Qg (5) = 2
|Qu(5) = 1
| +1
|-
|Fn(3) = 12
|Q(12) = 15
|Qg(12) = 7
|Qu(12) = 8
| −1
|-
|Fn(4) = 22
|Q(22) = 89
|Qg(22) = 45
|Qu(22) = 44
| +1
|}
Analog gilt:
{| class="wikitable"
|+Strikte Partitionen von den Kartenhauszahlen
!Kartenhauszahlen
!Anzahl der strikten Partitionen
insgesamt, dargestellt mit Q
!Anzahl der strikten Partitionen
mit gerader Summandenanzahl,
dargestellt mit Qg
!Anzahl der strikten Partitionen
mit ungerader Summandenanzahl,
dargestellt mit Qu
!Qg - Qu
|-
|Kr(1) = 2
|Q(2) = 1
|Qg(1) = 0
|Qu(1) = 1
| −1
|-
|Kr(2) = 7
|Q(7) = 5
|Qg (5) = 3
|Qu(5) = 2
| +1
|-
|Kr(3) = 15
|Q(15) = 27
|Qg(12) = 13
|Qu(12) = 14
| −1
|-
|Kr(4) = 26
|Q(26) = 165
|Qg(22) = 83
|Qu(22) = 82
| +1
|}
Und es gilt:
{| class="wikitable"
|+Strikte Partitionen von den Fünfeckszahlen
!Nicht-Fn-oder-Kr-Zahlen
!Anzahl der strikten Partitionen
insgesamt, dargestellt mit Q
!Anzahl der strikten Partitionen
mit gerader Summandenanzahl,
dargestellt mit Qg
!Anzahl der strikten Partitionen
mit ungerader Summandenanzahl,
dargestellt mit Qu
!Qg - Qu
|-
|3
|Q(3) = 2
|Qg(3) = 1
|Qu(3) = 1
|0
|-
|4
|Q(4) = 2
|Qg(4) = 1
|Qu(4) = 1
|0
|-
|6
|Q(6) = 4
|Qg(6) = 2
|Qu(6) = 2
|0
|-
|8
|Q(8) = 6
|Qg(8) = 3
|Qu(8) = 3
|0
|-
|9
|Q(9) = 8
|Qg(9) = 4
|Qu(9) = 4
|0
|-
|10
|Q(10) = 10
|Qg(10) = 5
|Qu(10) = 5
|0
|-
|11
|Q(11) = 12
|Qg(11) = 6
|Qu(11) = 6
|0
|-
|13
|Q(13) = 18
|Qg(13) = 9
|Qu(13) = 9
|0
|-
|14
|Q(14) = 22
|Qg(14) = 11
|Qu(14) = 11
|0
|}

== Bedeutung in der Funktionentheorie ==
Die Bedeutung des Pentagonalzahlensatzes für die Funktionentheorie liegt darin, dass die linke Seite bis auf den Faktor <math>q^{1/24}</math> die <math>q</math>-Entwicklung der [[Dedekindsche η-Funktion|Dedekind’schen η-Funktion]] ist. Denn mit der Definition der Etafunktion nach [[Heinrich Weber (Mathematiker)|Heinrich Weber]] ist folgende Formel gültig:

: <math>\eta_{W}(x)= x^{1/24} \prod_{n=1}^{\infty} (1-x^n) = x^{1/24}(x;x)_{\infty}</math>
Die Dedekindsche Etafunktion selbst steht in direkter Beziehung zur Jacobischen Thetafunktion:

: <math>\eta_{W}(x)= 3^{-1/2}\vartheta_{10}(\tfrac{1}{6}\pi;x^{1/6})</math>
: <math>\eta_{W}(x)= 2^{-1/6}\vartheta_{10}(x)^{1/6}\vartheta_{00}(x)^{1/6}\vartheta_{01}(x)^{2/3}</math>
: <math>\eta_{W}(x)= 2^{-1/3}\vartheta_{10}(x^{1/2})^{1/3}\vartheta_{00}(x^{1/2})^{1/3}\vartheta_{01}(x^{1/2})^{1/3}</math>

Deswegen gilt für das gezeigte von Leonhard Euler behandelte Produkt auch folgender Bezug zu den [[Elliptische Funktion|elliptischen Funktionen]]:

: <math>\prod_{n=1}^{\infty} (1-x^n) = \sqrt[6]{\vartheta_{00}(x)\vartheta_{01}(x)^4}\biggl\{\frac{1}{16x}\bigl[\vartheta_{00}(x)^4 - \vartheta_{01}(x)^4\bigr]\biggr\}^{1/24}</math>

Mit dem Buchstaben ϑ wird die [[Thetafunktion]] zum Ausdruck gebracht.

Die Aussage des Pentagonalzahlensatzes erlaubt auch eine kombinatorische Interpretation: Es bezeichne <math>A_n</math> die Anzahl der [[Partitionsfunktion|Zahlpartitionen]] von <math>n</math> in eine gerade Anzahl von verschiedenen Summanden und <math>B_n</math> die Anzahl der Zahlpartitionen in eine ungerade Anzahl von verschiedenen Summanden. Dann ist <math>A_n-B_n</math> der <math>n</math>-te [[Koeffizient]] der obigen Reihe.

Die Identität des Pentagonalzahlensatzes ist ein Spezialfall des [[Jacobi-Tripelprodukt]]s.

Einen Beweis gab neben Euler unter anderen [[Carl Gustav Jacobi]], und einen kombinatorischen Beweis gab 1881 F. Franklin (dargestellt im Zahlentheorie-Lehrbuch von [[Godfrey Harold Hardy|Hardy]] und [[E. M. Wright|Wright]]).

== Rekursionsrelationen für die Partitionsfunktion ==
Nach Euler ist die [[erzeugende Funktion]] der Partitionen <math> p(n)</math>:

:<math>\sum\limits_{n \geq 0} p(n) x^n = \prod\limits_{k =1}^{\infty} (1 - x^k)^{-1}</math>

oder

:<math> \left( \sum_{n=0}^\infty p(n) x^n \right) \cdot \left(\prod_{n=1}^\infty (1-x^n)\right) = 1 </math>

Entwicklung des unendlichen Produkts als Potenzreihe gemäß dem Pentagonalzahlensatz ergibt:

<math> \prod_{n=1}^\infty (1-x^n) = \sum_{n=0}^\infty a_nx^n</math>,

wobei die Koeffizienten <math>a_i</math> aus dem Pentagonalzahlensatz folgen (sie haben die Werte <math>0, 1, -1</math>):

:<math>a_i := \begin{cases}1 & \mbox{ wenn } i = \frac{1}{2}(3k^2 \pm k) \mbox{ und } k \mbox{ gerade}\\
-1 & \mbox{ wenn } i = \frac{1}{2}(3k^2 \pm k) \mbox{ und } k \mbox{ ungerade}\\
0 & \mbox{ sonst }\end{cases}</math>

Eingesetzt ergibt dies

:<math> \left( \sum_{n=0}^\infty p(n) x^n \right) \cdot \left(\sum_{n=0}^\infty a_nx^n\right) = 1 </math>.

Dass lässt sich auch so ausdrücken, dass die [[Faltung (Mathematik)#Diskrete Faltung|diskrete Faltung]] der Koeffizienten mit der [[Partitionsfunktion|Folge der Partitionszahlen]] Eins ergibt.

Mit <math>a_0 \, p(0) =1</math> ergibt sich durch Vergleich der Koeffizienten der einzelnen Potenzen

:<math>\sum_{i=0}^n p(n{-}i) a_i = 0</math>

für alle <math>n \geq 1</math>. Daraus lassen sich die <math>p (i)</math> aus den <math>a_j</math> rekursiv bestimmen. Es folgt wenn der Term <math> p(n)</math> aus der Summe herausgezogen wird und die <math>a_i</math> eingesetzt werden:

:<math>p(n)=\sum_{k \neq 0 , g_k <n} (-1)^{k-1}p(n-g_k)</math>

mit der <math>k</math>-ten Pentagonalzahl <math>g_k = \frac{1}{2}(3k^2-k)</math> (<math>k</math> kann auch negativ sein). Explizit lauten die ersten Terme:

:<math>p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\cdots</math>

Diese Formeln dienten [[Percy Alexander MacMahon]] dazu, Werte der Partitionsfunktion bis <math>n=200</math> zu berechnen.<ref>Hardy, Wright, An introduction to the theory of numbers, Clarendon Press 1975, S. 286</ref>

== Vergleich der Maclaurinschen Reihen ==
Thetafunktion und Psifunktion haben [[Maclaurinsche Reihe|Maclaurinsche]] Summenreihen, welche zu derjenigen vom Pentagonalzahlensatz sehr verwandt ist:
: <math>(x;x)_{\infty} = \vartheta_{00}(x)^{1/6} \vartheta_{01}(x)^{2/3} \biggl[\frac{\vartheta_{00}(x)^4 - \vartheta_{01}(x)^4}{16\,x}\biggr]^{1/24} = \sqrt[6]{\psi_{R}(x^2)\vartheta_{00}(x)\vartheta_{01}(x)^4}</math>
: <math>\psi_{R}(x) = 1 + \biggl[\sum_{n = 1}^{\infty} x^{\bigtriangleup(n)}\biggr]</math>
: <math>\vartheta_{00}(x) = 1 + 2\biggl[\sum_{n = 1}^{\infty} x^{\Box(n)}\biggr]</math>
: <math>\vartheta_{01}(x) = 1 - 2\biggl\{\sum_{n = 1}^{\infty} \bigl[x^{\Box(2n - 1)} - x^{\Box(2n)}\bigr]\biggr\}</math>
: <math>\bigtriangleup(n) = \tfrac{1}{2}n(n + 1)</math>
: <math>\Box\,(n) = n^2</math>
: <math>\vartheta_{01}(x) = \vartheta_{00}(-x)</math>
: <math>16\,x\,\psi_{R}(x^2)^4 = \vartheta_{00}(x)^4 - \vartheta_{01}(x)^4</math>
Der Buchstabe Ψ stellt in diesem Falle die [[Ramanujansche Psifunktion]] dar.

== Literatur ==
*Hardy, Wright, An introduction to the theory of numbers, Clarendon Press 1975 (Kapitel 19: Partitions)

== Weblinks ==

*[https://arxiv.org/abs/math/0411454 Englische Version von Eulers Beweis in arxiv]
*{{MathWorld|PentagonalNumberTheorem|Pentagonal Number Theorem}}

== Einzelnachweise ==
<references />

[[Kategorie:Funktionentheorie]]
[[Kategorie:Kombinatorik]]
[[Kategorie:Satz (Mathematik)]]

Pentagonalzahlensatz - Versionsgeschichte

imported>Sokrates 399: Typografie.