Jacobische Thetafunktion

Die klassische Jacobische Thetafunktion ist definiert durch:

${\displaystyle \vartheta (z,\tau ):=\sum _{n=-\infty }^{\infty }e^{\pi in^{2}\tau +2\pi inz}}$

Dabei ist ${\displaystyle z\in \mathbb {C} }$ und ${\displaystyle \tau \in \mathbb {H} }$ mit der oberen Halbebene ${\displaystyle \mathbb {H} =\{\tau \in \mathbb {C} \mid \Im (\tau )>0\}}$. Somit ist die klassische Thetafunktion nach Jacobi als Aufsummierung unendlich vieler Potenzen zur Basis der Eulerschen Zahl und in Abhängigkeit vom Kreisbogenmaß ${\displaystyle z}$ und vom imaginären Halbperiodenverhältnis ${\displaystyle \tau }$ definiert (der Name Halbperiodenverhältnis stammt aus der Theorie elliptischer Funktionen). Dabei verhält sich der Exponent in Beziehung zum Summenindex ${\displaystyle n}$ quadratisch. Die Reihe ist in ${\displaystyle \mathbb {C} \times \mathbb {H} }$ normal konvergent. Sie stellt eine in ganz ${\displaystyle \mathbb {C} \times \mathbb {H} }$ holomorphe Funktion dar. Insbesondere ist für festes ${\displaystyle \tau \in \mathbb {H} }$, also ${\displaystyle z\mapsto \vartheta (z,\tau )}$, eine ganze Funktion, und für festes ${\displaystyle z\in \mathbb {C} }$ ist ${\displaystyle \tau \mapsto \vartheta (z,\tau )}$ eine auf ${\displaystyle \mathbb {H} }$ holomorphe Funktion.

Funktion ϴ₁ mit Nomen 0,1·exp(0,1·i·π)

Verallgemeinert wird die Thetafunktion so definiert:

${\displaystyle \Theta _{a,b}(z,\tau ):=\sum _{n=-\infty }^{\infty }e^{\pi i\left(n+{\frac {a}{2}}\right)^{2}\tau +2\pi i\left(n+{\frac {a}{2}}\right)z+\pi inb}}$

Neben der klassischen Thetafunktion findet man in der Literatur vor allem drei weitere Thetafunktionen, die als Spezialfälle der klassischen Thetafunktion aufgestellt werden können. Diese drei weiteren Thetafunktionen entstehen, wenn die Parameter ${\displaystyle a}$ und ${\displaystyle b}$ spezielle Werte erhalten:

${\displaystyle \Theta _{0}(z,\tau ):=\Theta _{0,1}(z,\tau ):=\vartheta \left(z+{\frac {1}{2}},\tau \right)=\sum _{n=-\infty }^{\infty }(-1)^{n}\cdot e^{\pi in^{2}\tau +2\pi inz}}$

${\displaystyle \Theta _{2}(z,\tau ):=\Theta _{1,0}(z,\tau ):=e^{\pi i{\frac {\tau }{4}}+\pi iz}\cdot \vartheta \left(z+{\frac {\tau }{2}},\tau \right)=\sum _{n=-\infty }^{\infty }e^{\pi i\left(n+{\frac {1}{2}}\right)^{2}\tau +2\pi i\left(n+{\frac {1}{2}}\right)z}}$

${\displaystyle \Theta _{1}(z,\tau ):=-\Theta _{1,1}(z,\tau ):=-e^{\pi i{\frac {\tau }{4}}+\pi i\left(z+{\frac {1}{2}}\right)}\cdot \vartheta \left(z+{\frac {\tau +1}{2}},\tau \right)=-i\cdot \sum _{n=-\infty }^{\infty }(-1)^{n}\cdot e^{\pi i\left(n+{\frac {1}{2}}\right)^{2}\tau +2\pi i\left(n+{\frac {1}{2}}\right)z}}$

Die jacobische Thetafunktion wird in dieser Schreibweise als Θ₃(z,𝜏) bzw. Θ₀,₀(z,𝜏) bezeichnet.

Die Mathematiker Edmund Taylor Whittaker und George Neville Watson definierten folgende Thetafunktionen:[3][4][5]

${\displaystyle \vartheta _{00}(v;w)=\prod _{n=1}^{\infty }(1-w^{2n})[1+2\cos(2v)w^{2n-1}+w^{4n-2}]}$

${\displaystyle \vartheta _{01}(v;w)=\prod _{n=1}^{\infty }(1-w^{2n})[1-2\cos(2v)w^{2n-1}+w^{4n-2}]}$

${\displaystyle \vartheta _{10}(v;w)=2w^{1/4}\cos(v)\prod _{n=1}^{\infty }(1-w^{2n})[1+2\cos(2v)w^{2n}+w^{4n}]}$

${\displaystyle \vartheta _{11}(v;w)=-2w^{1/4}\sin(v)\prod _{n=1}^{\infty }(1-w^{2n})[1-2\cos(2v)w^{2n}+w^{4n}]}$

Das Theta-Symbol trägt bei diesen Definitionen unten rechts von sich zwei Indizes, die stets die Werte Null und Eins sind. Der linke Theta-Index bewirkt die Verschiebung des Exponentenindex ${\displaystyle n}$ um den Wert 1/2. Der rechte Theta-Index kündigt die Periodenverschiebung des Kreisbogenmaßes ${\displaystyle v}$ um den Wert π/2 an. Bei diesen unendlichen Produkten verlaufen bezüglich des Produktindex alle Potenzsummanden in exponentieller Abnahme, sodass alle drei gezeigten Produkte für alle reellen Werte ${\displaystyle v}$ und für alle Werte ${\displaystyle -1<w<1}$ konvergieren. Das elliptische Nomen in Abhängigkeit zum imaginären Halbperiodenverhältnis erfüllt die Gleichung ${\displaystyle q=\exp(i\pi \tau )}$ und stellt als rechter Klammereintrag in der Thetafunktion nach Whittaker und Watson die Beziehung zu den großen Thetafunktionen her.

Dabei gilt dieser Zusammenhang:

${\displaystyle \vartheta _{00}[\pi z;\exp(i\pi \tau )]=\Theta _{0,0}(z,\tau )}$

${\displaystyle \vartheta _{01}[\pi z;\exp(i\pi \tau )]=\Theta _{0,1}(z,\tau )}$

${\displaystyle \vartheta _{10}[\pi z;\exp(i\pi \tau )]=\Theta _{1,0}(z,\tau )}$

Im Folgenden werden die Funktionen aus jeweils zwei Abszissen und einer Ordinate graphisch abgebildet:

• 
  Funktion - ϑ₁₁
• 
  Funktion ϑ₁₀
• 
  Funktion ϑ₀₀
• 
  Funktion ϑ₀₁

An diesen dreidimensionalen Graphenbildern ist die Tatsache erkennbar, dass die Funktionen ϑ₀₀ und ϑ₀₁ für Nomina 0 ≤ q < 1 stets positive Ordinatenwerte ergeben.

Unter dem Theta-Nullwert versteht man jeweils die Thetafunktion für den Wert ${\displaystyle z=0}$, also beispielsweise für die jacobische Thetafunktion die Reihe:

${\displaystyle \vartheta (\tau ):=\vartheta (0,\tau )=\sum _{n=-\infty }^{\infty }e^{\pi in^{2}\tau }=1+2\sum _{n=1}^{\infty }e^{\pi in^{2}\tau }}$

Analog gilt mit der Definition nach Whittaker und Watson:

${\displaystyle \vartheta _{00}(0;x)=\vartheta _{00}(x)}$

${\displaystyle \vartheta _{01}(0;x)=\vartheta _{01}(x)}$

${\displaystyle \vartheta _{10}(0;x)=\vartheta _{10}(x)}$

Durch Annullierung des Kreisbogenmaßes im linken Klammereintrag der allgemeinen Thetafunktion entstehen die drei sogenannten standardisierten Theta-Nullwertfunktionen. Bei diesen drei Funktionen hängt die Thetafunktion nur noch vom Nomen ab und somit zählen sie zu den Funktionen aus jeweils nur einer Variablen. Wenn der linke Klammereintrag auf Null gesetzt wird, so wird dieser bei den so entstehenden Theta-Nullwertfunktionen nicht mitgeschrieben und nur der rechte Klammereintrag wird als einziger Eintrag in der Klammer genannt. Durch Einsetzen des annullierten Bogenmaßwertes in die Summendefinition ergeben sich folgende drei Definitionsformeln[6] für die Theta-Nullwertfunktionen:

${\displaystyle \vartheta _{00}(x)=\sum _{k=-\infty }^{\infty }x^{k^{2}}=\prod _{n=1}^{\infty }(1-x^{2n})(1+x^{2n-1})^{2}}$

${\displaystyle \vartheta _{01}(x)=\sum _{k=-\infty }^{\infty }(-1)^{k}x^{k^{2}}=\prod _{n=1}^{\infty }(1-x^{2n})(1-x^{2n-1})^{2}}$

${\displaystyle \vartheta _{10}(x)=\sum _{k=-\infty }^{\infty }x^{(k+{\frac {1}{2}})^{2}}=2x^{1/4}\prod _{n=1}^{\infty }(1-x^{2n})(1+x^{2n})^{2}}$

Bei dieser Schreibweise gibt analog zu den obigen Formeln über die Produktreihendefinitionen die erste tiefgestellte Zahl nach dem Theta die Verschiebung der Exponentenbasis um 1/2 in der Summendarstellung an. Die zweite tiefgestellte Zahl entscheidet über die Alternierung der Vorzeichen in der Summendarstellung. Im Werk Theta Functions and the Arithmetic-Geometric Mean Iteration von den Gebrüdern Borwein wurden die soeben gezeigten Summendefinitionen der drei grundlegenden Theta-Nullwertfunktionen auf der Seite 33 beschrieben. Außerdem gelten für die Quadrate der Thetafunktionen diese Beziehungen unter der Bedingung ${\displaystyle |x|<1}$:

${\displaystyle \vartheta _{00}(x)^{2}=\sum _{n=-\infty }^{\infty }{\frac {2x^{n}}{1+x^{2n}}}}$

${\displaystyle \vartheta _{01}(x)^{2}=\sum _{n=-\infty }^{\infty }{\frac {(-1)^{n}2x^{n}}{1+x^{2n}}}}$

${\displaystyle \vartheta _{10}(x)^{2}=\sum _{n=-\infty }^{\infty }{\frac {2x^{n+1/2}}{1+x^{2n+1}}}}$

Für festes ${\displaystyle \tau \in \mathbb {H} }$ hat die Thetafunktion ${\displaystyle \vartheta (z,\tau )}$ einfache Nullstellen an den Stellen

${\displaystyle z=k+m\tau +{\frac {\tau +1}{2}},k,m\in \mathbb {Z} }$.

Die Thetafunktion ist periodisch in beiden Variablen, es gilt:

${\displaystyle \vartheta (z+1,\tau )=\vartheta (z,\tau +2)=\vartheta (z,\tau ).}$

Dies ist eine Folgerung aus der 1-Periodizität der komplexen Exponentialfunktion ${\displaystyle z\mapsto e^{2\pi iz}}$. Darüber hinaus gilt die wichtige Transformationsformel

${\displaystyle \vartheta \left(z,-{\frac {1}{\tau }}\right)=e^{\pi iz^{2}\tau }{\sqrt {\frac {\tau }{i}}}\vartheta (z\tau ,\tau ).}$

Diese lässt erkennen, dass die Variable ${\displaystyle \tau }$ modular ist, da sie neben der 2-Periodizität noch ein Gesetz unter der Stürzung ${\displaystyle \tau \mapsto -{\tfrac {1}{\tau }}}$ erfüllt. Speziell für den Theta-Nullwert ist dies von zentraler Bedeutung, denn dort reduziert sich dies auf

${\displaystyle \vartheta \left(-{\frac {1}{\tau }}\right)={\sqrt {\frac {\tau }{i}}}\vartheta (\tau ).}$

Bei der Wurzel ist dabei jeweils der Hauptzweig zu nehmen, also jener Zweig, der positive Zahlen auf positive Zahlen abbildet.

Das Transformationsgesetz[7] findet seine Erklärung in der poissonschen Summationsformel. Diese erlaubt es, die Fourier-Reihe von 1-periodischen Reihen des Typs

${\displaystyle \sum _{n=-\infty }^{\infty }f(n+x)}$

anzugeben. Ist ${\displaystyle f\colon \mathbb {R} \to \mathbb {C} }$ eine glatte Funktion, deren sämtliche Ableitungen für ${\displaystyle x\to \pm \infty }$ schnell abklingen, etwa mit exponentieller Geschwindigkeit, so ist diese Reihe absolut konvergent und stellt eine Funktion ${\displaystyle g\colon \mathbb {R} \to \mathbb {C} }$ dar. Für diese offenbar 1-periodische Funktion ${\displaystyle g}$ besagt dann die Poissonsche Summationsformel

${\displaystyle g(x)=\sum _{n=-\infty }^{\infty }f(n+x)=\sum _{n=-\infty }^{\infty }{\hat {f}}(n)e^{2\pi inx},}$

wobei

${\displaystyle {\hat {f}}(x):=\int _{-\infty }^{\infty }f(y)e^{-2\pi ixy}\mathrm {d} y}$

die Fourier-Transformation von ${\displaystyle f}$ ist. Wegen des Erscheinens beider Terme ${\displaystyle f}$ und ${\displaystyle {\hat {f}}}$ in einer Formel ist dies von besonderer Bedeutung, wenn ${\displaystyle f}$ eine Funktion ist, die ihre eigene Fourier-Transformierte ist. Dies trifft zum Beispiel auf die Glockenkurve ${\displaystyle f(x):=e^{-\pi x^{2}}}$ zu. Zusammen mit der allgemeinen Formel ${\displaystyle {\hat {h}}(x)=\delta ^{-1}{\hat {f}}(\delta ^{-1}x)}$, wenn ${\displaystyle \delta >0}$ und ${\displaystyle h(x):=f(\delta x)}$, die sich schnell durch Substitution ergibt, findet man damit via ${\displaystyle \delta$ :={\sqrt {t}}} und ${\displaystyle t:={\frac {\tau }{i}}}$ (${\displaystyle \tau }$ rein imaginär)

${\displaystyle {\sqrt {\frac {\tau }{i}}}e^{\pi iz^{2}\tau }\vartheta (z\tau ,\tau )={\sqrt {t}}e^{-\pi z^{2}t}\vartheta (zit,it)={\sqrt {t}}\sum _{n=-\infty }^{\infty }e^{-\pi (n+z)^{2}t}=\sum _{n=-\infty }^{\infty }e^{-{\frac {\pi n^{2}}{t}}+2\pi inz}=\vartheta \left(z,{\frac {i}{t}}\right)=\vartheta \left(z,-{\frac {1}{\tau }}\right).}$

Mittels des Identitätssatzes für holomorphe Funktionen dehnt sich diese Funktionalgleichung, wegen holomorpher Funktionen auf beiden Seiten, auf ganz ${\displaystyle \mathbb {C} \times \mathbb {H} }$ aus.

Die Poissonsche Summenformel wird vor allem zu Fourier-analytischen Untersuchungen verwendet. Neben Siméon Poisson erforschten insbesondere Bernhard Riemann und der US-amerikanische Mathematiker Harold Mortimer Edwards Junior diese Thetafunktionsformel.

Die Thetafunktion lässt sich mit Hilfe des jacobischen Tripelproduktes auch als unendliches Produkt darstellen, es gilt:

${\displaystyle \vartheta (z,\tau )=\prod _{n=1}^{\infty }(1-e^{2\pi in\tau })(1+e^{\pi i[(2n-1)\tau +2z]})(1+e^{\pi i[(2n-1)\tau -2z]})}$

Speziell für den Theta-Nullwert reduziert sich dies auf

${\displaystyle \vartheta (\tau )=\prod _{n=1}^{\infty }(1-e^{2\pi in\tau })(1+e^{\pi i(2n-1)\tau })^{2}}$

Aus dieser Darstellung folgt insbesondere, dass ${\displaystyle \vartheta (\tau )}$ keine Nullstellen in der oberen Halbebene ${\displaystyle \mathbb {H} }$ hat.

Die Thetafunktion besitzt eine Integraldarstellung:

${\displaystyle \vartheta (z,\tau )=i\int _{i-\infty }^{i+\infty }{e^{i\pi \tau u^{2}}\cos(2\pi uz+\pi u) \over \sin(\pi u)}{\text{d}}u}$

Die zugehörige Theta-Nullwertfunktion hat für positive x-Werte diese Integraldarstellung:

${\displaystyle \vartheta _{00}(x)=1+{\frac {4x}{\sqrt {\pi }}}\int _{0}^{\infty }{\frac {\exp(-y^{2})\{1-x^{2}\cos[2{\sqrt {\ln(1/x)}}\,y]\}}{1-2x^{2}\cos[2{\sqrt {\ln(1/x)}}\,y]+x^{4}}}\,\mathrm {d} y}$

Diese Formel wurde im Aufsatz Square series generating function transformations von der Mathematikerin Maxie Schmidt aus Georgia behandelt.

Die Theta-Nullwerte erfüllen die sogenannte Jacobi-Identität:

${\displaystyle \Theta _{3}(\tau )^{4}=\Theta _{0}(\tau )^{4}+\Theta _{2}(\tau )^{4}}$

Für die analogen Klein-Thetafunktionen gilt dieselbe Identität:

${\displaystyle \vartheta _{00}(x)^{4}=\vartheta _{01}(x)^{4}+\vartheta _{10}(x)^{4}}$

Verallgemeinert[8] kann die Jacobi-Identität auf folgende Theoreme erweitert werden:

${\displaystyle \vartheta _{00}(a+b;c)\vartheta _{00}(a-b;c)\vartheta _{00}(c)^{2}=\vartheta _{01}(a;c)^{2}\vartheta _{01}(b;c)^{2}+\vartheta _{10}(a;c)^{2}\vartheta _{10}(b;c)^{2}}$

${\displaystyle \vartheta _{01}(a+b;c)\vartheta _{01}(a-b;c)\vartheta _{01}(c)^{2}=\vartheta _{00}(a;c)^{2}\vartheta _{00}(b;c)^{2}-\vartheta _{10}(a;c)^{2}\vartheta _{10}(b;c)^{2}}$

Diese Identitäten wurden insbesondere durch Whittaker und Watson erforscht. Exemplarische Abwandlungen dieser beiden Formeln wurden von den Autoren Irene Stegun und Milton Abramowitz in ihr weltbekanntes Handbuch der mathematischen Funktionen eingetragen.

Graph des Sekans hyperbolicus

Gaußsche Glockenkurvenfunktion exp(-x²) mit Stammfunktion

Im folgenden wird ein wichtiger Grenzwert der Funktion behandelt:

Und es gilt für den Sekans hyperbolicus:

${\displaystyle \operatorname {sech} (x)={\frac {2\exp(x)}{\exp(2x)+1}}}$

Daraus resultiert diese Formel:

${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{n}}\vartheta _{00}\left[\exp \left(-{\frac {1}{n}}\right)\right]^{2}=\lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{k=-\infty }^{\infty }\operatorname {sech} \left({\frac {k}{n}}\right)=\int _{-\infty }^{\infty }\operatorname {sech} (x)\,\mathrm {d} x=\pi }$

Die Definition des Riemannschen Integrals beschreibt die Umwandlung zwischen Grenzwert und Integral.

Danach kann jene Umformung durchgeführt werden:

Die Substitution ${\displaystyle n\rightarrow n^{2}}$ ergibt:	Die quadratische Radizierung ergibt:
${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{n^{\color {ForestGreen}2}}}\vartheta _{00}\left[\exp \left(-{\frac {1}{n^{\color {ForestGreen}2}}}\right)\right]^{2}=\pi }$	${\displaystyle {\color {Navy}\lim _{n\rightarrow \infty }{\frac {1}{n}}\vartheta _{00}\left[\exp \left(-{\frac {1}{n^{2}}}\right)\right]}={\sqrt {\pi }}}$

Außerdem[9] gilt mit der genannten Definition der Theta-Hauptnullwertfunktion:

${\displaystyle {\color {Navy}\lim _{n\rightarrow \infty }{\frac {1}{n}}\vartheta _{00}\left[\exp \left(-{\frac {1}{n^{2}}}\right)\right]}=\lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{k=-\infty }^{\infty }\exp \left[-\left({\frac {k}{n}}\right)^{2}\right]=\int _{-\infty }^{\infty }\exp(-x^{2})\,\mathrm {d} x}$

Daraus folgt über die Gaußsche Glockenkurve dieses Resultat:

${\displaystyle \int _{-\infty }^{\infty }\exp(-x^{2})\,\mathrm {d} x={\sqrt {\pi }}}$

Die grundlegenden modulären Identitäten der Theta-Nullwertfunktionen in Abhängigkeit von der Funktion des elliptischen Nomens[10] beziehungsweise der Jacobischen Entwicklungsgröße lauten so:

${\displaystyle \vartheta _{00}[q(k)]={\sqrt {2\pi ^{-1}K(k)}}}$

${\displaystyle \vartheta _{01}[q(k)]={\sqrt[{4}]{1-k^{2}}}\,{\sqrt {2\pi ^{-1}K(k)}}}$

${\displaystyle \vartheta _{10}[q(k)]={\sqrt {|k|}}\,{\sqrt {2\pi ^{-1}K(k)}}}$

An der Gegenüberstellung dieser drei Formeln ist die Jacobische Identität erkennbar. Der Kleinbuchstabe q steht für das elliptische Nomen und diese Funktion wird so definiert:

${\displaystyle q(k)=\exp {\biggl [}-\pi \,{\frac {K({\sqrt {1-k^{2}}})}{K(k)}}{\biggr ]}}$

Der in der Exponentialfunktionsklammer der Definition des elliptischen Nomens gezeigte Quotient aus dem K-Integral des pythagoräisch komplementären Moduls dividiert durch das K-Integral des Moduls selbst wird als reelles Viertelperiodenverhältnis oder auch als reelles Halbperiodenverhältnis bezeichnet. Der Großbuchstabe K selbst bringt das vollständige elliptische Integral erster Art beziehungsweise die jacobische Viertelperiode zum Ausdruck. Das vollständige elliptische Integral erster Art ist eine Funktion in Abhängigkeit von exakt einer Variable. Und diese Variable wird elliptischer Modul oder auch numerische Exzentrizität genannt. Das mit dem großen K bezeichnete vollständige elliptische Integral erster Art kann nach Adrien Marie Legendre mit folgender Summe und mit folgenden Integralen in Abhängigkeit vom Modul ε oder k definiert werden:

${\displaystyle K(\varepsilon )={\frac {\pi }{2}}\sum _{n=0}^{\infty }{\frac {[(2n)!]^{2}}{16^{n}(n!)^{4}}}\,\varepsilon ^{2n}}$

${\displaystyle K(\varepsilon )=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-\varepsilon ^{2}\sin(\varphi )^{2}}}}\,\mathrm {d} \varphi =\int _{0}^{1}{\frac {1}{\sqrt {(1-x^{2})(1-\varepsilon ^{2}x^{2})}}}\,\mathrm {d} x}$

Die Thetafunktion hängt eng zusammen mit der Dedekindschen Etafunktion, es gilt:

${\displaystyle \vartheta (0,\tau )={\frac {\eta ^{2}({\frac {\tau +1}{2}})}{\eta (\tau +1)}}}$

Mittels der Thetafunktion lassen sich Modulformen definieren. Setzt man ${\displaystyle f(\tau ):=\vartheta ^{8}(\tau )}$, so gilt aufgrund des Transformationsverhaltens:

${\displaystyle f(\tau +2)=f(\tau )\quad {\text{und}}\quad f\left(-{\frac {1}{\tau }}\right)=\tau ^{4}f(\tau )}$

Die Funktion ${\displaystyle f(\tau )}$ ist also eine Modulform vom Gewicht 4 zu der von den beiden Transformationen ${\displaystyle \tau \mapsto \tau +2}$ und ${\displaystyle \tau \mapsto -{\tfrac {1}{\tau }}}$ erzeugten Untergruppe ${\displaystyle \Gamma _{\vartheta }}$ der Modulgruppe ${\displaystyle \Gamma }$.

Die Thetafunktion lässt sich zur Definition elliptischer Funktionen heranziehen. Setzt man etwa für festes ${\displaystyle \tau \in \mathbb {H} \colon }$

${\displaystyle f(z)={\frac {\vartheta ^{2}(z+{\frac {1}{2}},\tau )}{\vartheta ^{2}(z,\tau )}}}$,

so ist ${\displaystyle f(z)}$ eine elliptische Funktion zum Gitter ${\displaystyle \mathbb {Z} +\mathbb {Z} \tau }$.

Auf ähnliche Weise lässt sich auch die Weierstraßsche ℘-Funktion konstruieren. Erfüllt nämlich eine holomorphe Funktion ${\displaystyle f(z)}$ die beiden Bedingungen

${\displaystyle f(z+1)=f(z)}$

${\displaystyle f(z+\tau )={\text{e}}^{-az-b}f(z)}$

für ein festes ${\displaystyle \tau \in \mathbb {H} }$, so ist die zweite logarithmische Ableitung eine elliptische Funktion zum Gitter ${\displaystyle \mathbb {Z} +\mathbb {Z} \tau }$. Beispielsweise gilt für die Weierstraßsche ℘-Funktion:

${\displaystyle \wp (z)=-{\frac {{\text{d}}^{2}}{{\text{d}}z^{2}}}\log \Theta _{1}(z,\tau )+c}$

mit einer passenden Konstanten ${\displaystyle c}$.

Die Maclaurinsche Reihe[11] für den Kehrwert der Funktion ϑ₀₁ hat als Koeffizienten die Zahlen der Oberpartitionsfolge mit stets positivem Vorzeichen:

${\displaystyle {\frac {1}{\vartheta _{01}(x)}}=\prod _{n=1}^{\infty }{\frac {1+x^{n}}{1-x^{n}}}=\sum _{k=0}^{\infty }{\overline {P}}(k)x^{k}}$

${\displaystyle {\frac {1}{\vartheta _{01}(x)}}=1+2x+4x^{2}+8x^{3}+14x^{4}+24x^{5}+40x^{6}+64x^{7}+100x^{8}+154x^{9}+232x^{10}+\dots }$

Wenn zu einer gegebenen Zahl ${\displaystyle k}$ alle Partitionen so aufgestellt werden, dass die Summandengröße niemals steigt, und bei jeder so beschaffenen Partition all diejenigen Summanden markiert werden dürfen, die keinen gleich großen Summanden links von sich haben, dann wird die sich dadurch ergebende Anzahl[12] der markierten Partitionen in Abhängigkeit von ${\displaystyle k}$ durch die Oberpartitionsfunktion ${\displaystyle {\overline {P}}(k)}$ beschrieben.

Erstes Beispiel:

${\displaystyle {\overline {P}}(4)=14}$

Diese 14 Möglichkeiten der Partitionsmarkierungen existieren für die Summe 4:

Zweites Beispiel:

${\displaystyle {\overline {P}}(5)=24}$

Diese 24 Möglichkeiten der Partitionsmarkierungen existieren für die Summe 5:

Halblogarithmische Darstellung der Partitionsfunktion ${\displaystyle P(n)}$

Die reguläre Partitionsfolge ${\displaystyle P(n)}$ selbst gibt die Anzahl der Möglichkeiten an, auf wie viele Weisen eine positive, ganze Zahl ${\displaystyle n}$ insgesamt in positive, ganze Summanden zerlegt werden kann. Für die Zahlen ${\displaystyle n=1}$ bis ${\displaystyle n=5}$ sind die zugehörigen Partitionszahlen ${\displaystyle P}$ mit allen zugehörigen Zahlpartitionen in folgender Tabelle aufgelistet:

Die erzeugende Funktion der regulären Partitionszahlenfolge kann auf folgende Weise über das Pochhammersche Produkt dargestellt werden:

${\displaystyle \sum _{k=0}^{\infty }P(k)x^{k}={\frac {1}{(x;x)_{\infty }}}}$

Und die strikte Partitionsfolge ${\displaystyle Q(n)}$ gibt die Anzahl der Möglichkeiten an, auf wie viele Weisen eine solche Zahl ${\displaystyle n}$ so in positive ganze Summanden zerlegt werden kann, dass jeder Summand höchstens einmal[13] auftaucht beziehungsweise kein Summandenwert wiederholt vorkommt. Exakt die gleiche Folge[14] entsteht auch dann, wenn in den Partitionssummen nur ungerade Summanden[15] enthalten sind, aber diese auch mehrfach vorkommen dürfen. Beide Darstellungen für die strikte Partitionszahlenfolge werden in der nachfolgenden Tabelle gegenübergestellt:

Die erzeugende Funktion der strikten Partitionszahlenfolge kann so über das Pochhammersche Produkt dargestellt werden:

${\displaystyle \sum _{k=0}^{\infty }Q(k)x^{k}={\frac {1}{(x;x^{2})_{\infty }}}}$

In der Online-Enzyklopädie der Zahlenfolgen beziehungsweise Online Encyclopedia of Integer Sequences (OEIS) ist die Folge der regulären Partitionszahlen ${\displaystyle P(n)}$ unter dem Code A000041, die Folge der strikten Partitionen ${\displaystyle Q(n)}$ unter dem Code A000009 und die Folge der Oberpartitionen ${\displaystyle {\overline {P}}(n)}$ unter dem Code A015128 verzeichnet. Alle Oberpartitionen ab Index ${\displaystyle n=1}$ sind gerade.

Die Folge der Oberpartitionen ${\displaystyle {\overline {P}}(n)}$ kann mit der regulären Partitionsfolge P[16] und der strikten Partitionsfolge Q[17] so erzeugt werden:

${\displaystyle {\overline {P}}(n)=\sum _{k=0}^{n}P(n-k)Q(k)}$

In der folgenden Tabelle der Zahlenfolgen soll diese nun gezeigte Formel exemplarisch angewendet werden:

n	P(n)	Q(n)	${\displaystyle {\overline {P}}(n)}$
0	1	1	1 = 1·1
1	1	1	2 = 1·1 + 1·1
2	2	1	4 = 2·1 + 1·1 + 1·1
3	3	2	8 = 3·1 + 2·1 + 1·1 + 1·2
4	5	2	14 = 5·1 + 3·1 + 2·1 + 1·2 + 1·2
5	7	3	24 = 7·1 + 5·1 + 3·1 + 2·2 + 1·2 + 1·3

Mit dieser Eigenschaft zusammenhängend kann über die Funktion ϑ₀₁ auch folgende Kombination zweier Summenreihen aufgestellt werden:

${\displaystyle \vartheta _{01}(x)={\biggl [}\sum _{k=0}^{\infty }P(k)x^{k}{\biggr ]}^{-1}{\biggl [}\sum _{k=0}^{\infty }Q(k)x^{k}{\biggr ]}^{-1}}$

Srinivasa Ramanujan (श्रीनिवास रामानुजन)

Julius Wilhelm Richard Dedekind

Das Nomen-Pochhammer-Symbol ist so definiert:

${\displaystyle (y;z)_{\infty }=\prod _{k=0}^{\infty }(1-yz^{k})}$

Für folgendes unendliche Produkt in Darstellung mit dem Pochhammer-Symbol gilt diese Identität:

${\displaystyle (x;x^{2})_{\infty }={\biggl [}\sum _{k=0}^{\infty }Q(k)x^{k}{\biggr ]}^{-1}=\vartheta _{00}(x)^{-1/6}\vartheta _{01}(x)^{1/3}{\biggl [}{\frac {\vartheta _{00}(x)^{4}-\vartheta _{01}(x)^{4}}{16\,x}}{\biggr ]}^{-1/24}}$

Dieses Produkt ist zugleich der Kehrwert von der erzeugenden Funktion der strikten Partitionszahlenfolge Q(n) und hat die genannte Identität zu den Theta-Nullwertfunktionen. Srinivasa Ramanujan entdeckte diese Identität zu den Thetafunktionen und schrieb sie in seinem berühmten Werk Modular Equations and Approximations to π nieder.[18] Ebenso wurde dieser Zusammenhang von Julius Wilhelm Richard Dedekind erkannt[19] und in seiner Theorie über die Etafunktion behandelt. Eng verwandt mit dem genannten Produkt ist das Eulersche Pochhammer-Produkt, das der Kehrwert der erzeugenden Funktion von der regulären Partitionszahlenfolge P(n) ist. Für das Eulersche Produkt gilt folgende Identität:[20][19]

${\displaystyle (x;x)_{\infty }={\biggl [}\sum _{k=0}^{\infty }P(k)x^{k}{\biggr ]}^{-1}=\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}}$

Es gilt für die beiden zuletzt genannten Formeln der Gültigkeitsbereich ${\displaystyle -1<x<1}$ für alle reellen ${\displaystyle x}$-Werte.

Das Produkt aus diesen beiden Pochhammer-Produkten liefert direkt das Resultat einer Definition:

${\displaystyle (x;x)_{\infty }(x;x^{2})_{\infty }=\vartheta _{01}(x)}$

Mit Hilfe der Thetafunktion und deren Produktdarstellung lässt sich der Pentagonalzahlensatz beweisen. Der Pentagonalzahlensatz hat diese definierende[21] Identität:

${\displaystyle (x;x)_{\infty }=1+\sum _{n=1}^{\infty }{\bigl [}-x^{{\text{Fn}}(2n-1)}-x^{{\text{Kr}}(2n-1)}+x^{{\text{Fn}}(2n)}+x^{{\text{Kr}}(2n)}{\bigr ]}}$

Hierbei gelten für die Fünfeckszahlen und die Kartenhauszahlen diese grundlegenden Definitionen:

${\displaystyle {\text{Fn}}(z)={\tfrac {1}{2}}z(3z-1)}$

${\displaystyle {\text{Kr}}(z)={\tfrac {1}{2}}z(3z+1)}$

Als weitere Anwendung[22] erhält man eine Formel für die dritte Potenz des Euler-Produktes:

${\displaystyle (x;x)^{3}=\prod _{n=1}^{\infty }(1-x^{n})^{3}=\sum _{m=0}^{\infty }(-1)^{m}(2m+1)x^{m(m+1)/2}}$

Im Folgenden sollen exemplarisch drei wichtige Thetafunktionswerte hergeleitet werden:

So ist die Eulersche Betafunktion in ihrer reduzierten Form definiert:

${\displaystyle \beta (x)={\frac {\Gamma (x)^{2}}{\Gamma (2x)}}}$

Generell ist für allen natürlichen Zahlen n ∈ ℕ diese Formel über die Eulersche Betafunktion gültig:

${\displaystyle {\frac {4^{-1/(n+2)}}{n+2}}\csc {\bigl (}{\frac {\pi }{n+2}}{\bigr )}\beta {\biggl [}{\frac {n}{2(n+2)}}{\biggr ]}=\int _{0}^{\infty }{\frac {1}{\sqrt {x^{n+2}+1}}}\,\mathrm {d} x}$

Im Folgenden werden einige singuläre elliptische Integralwerte hergeleitet:

Diese wichtigen Werte hat die elliptische Nomenfunktion:

${\displaystyle q({\tfrac {1}{2}}{\sqrt {2}})=\exp(-\pi )}$

${\displaystyle q[{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}})]=\exp(-{\sqrt {3}}\,\pi )}$

${\displaystyle q({\sqrt {2}}-1)=\exp(-{\sqrt {2}}\,\pi )}$

Für den Beweis der Richtigkeit dieser Nomenwerte siehe den Artikel Elliptisches Nomen!

Basierend auf diesen Integralidentitäten und den oben genannten Modulidentitäten der Thetafunktionen im gleichnamigen Abschnitt dieses Artikels sollen nun exemplarische Theta-Nullwerte ermittelt werden:

${\displaystyle \vartheta _{00}[q(k)]={\sqrt {2\pi ^{-1}K(k)}}}$

${\displaystyle \vartheta _{00}[\exp(-\pi )]=\vartheta _{00}[q({\tfrac {1}{2}}{\sqrt {2}})]={\sqrt {2\pi ^{-1}K({\tfrac {1}{2}}{\sqrt {2}})}}=2^{-1/2}\pi ^{-1/2}\beta ({\tfrac {1}{4}})^{1/2}=2^{-1/4}{\sqrt[{4}]{\pi }}\,{\Gamma {\bigl (}{\tfrac {3}{4}}{\bigr )}}^{-1}}$

${\displaystyle \vartheta _{00}[\exp(-{\sqrt {3}}\,\pi )]=\vartheta _{00}{\bigl \{}q{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}{\bigr \}}={\sqrt {2\pi ^{-1}K{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}}}=2^{-1/6}3^{-1/8}\pi ^{-1/2}\beta ({\tfrac {1}{3}})^{1/2}}$

${\displaystyle \vartheta _{00}[\exp(-{\sqrt {2}}\,\pi )]=\vartheta _{00}[q({\sqrt {2}}-1)]={\sqrt {2\pi ^{-1}K({\sqrt {2}}-1)}}=2^{-1/8}\cos({\tfrac {1}{8}}\pi )\,\pi ^{-1/2}\beta ({\tfrac {3}{8}})^{1/2}}$

${\displaystyle \vartheta _{01}[q(k)]={\sqrt[{4}]{1-k^{2}}}\,{\sqrt {2\pi ^{-1}K(k)}}}$

${\displaystyle \vartheta _{01}[\exp(-{\sqrt {2}}\,\pi )]=\vartheta _{01}[q({\sqrt {2}}-1)]={\sqrt[{4}]{2{\sqrt {2}}-2}}\,{\sqrt {2\pi ^{-1}K({\sqrt {2}}-1)}}=2^{-1/4}\cos({\tfrac {1}{8}}\pi )^{1/2}\,\pi ^{-1/2}\beta ({\tfrac {3}{8}})^{1/2}}$

In der folgenden Tabelle werden die lemniskatisch beschaffenen Werte[23] von den Funktionen ϑ₁₀(x) und ϑ₀₀(x) genannt:

x	ϑ₁₀(x)	ϑ₀₀(x)	ϑ₁₀(x)²/ϑ₀₀(x)²
${\displaystyle {\text{e}}^{-\pi }}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-1/4}={\sqrt {G}}}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}=2^{1/4}{\sqrt {G}}}$	λ*(1)
${\displaystyle {\text{e}}^{-2\pi }}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-3/4}{\sqrt {{\sqrt {2}}-1}}}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-3/4}{\sqrt {{\sqrt {2}}+1}}}$	λ*(4)
${\displaystyle {\text{e}}^{-3\pi }}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-3/2}3^{-3/8}{\sqrt {{\sqrt {3}}-1}}({\sqrt {3}}+1-{\sqrt[{4}]{12}})}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-1/4}3^{-3/8}{\sqrt {{\sqrt {3}}+1}}}$	λ*(9)
${\displaystyle {\text{e}}^{-4\pi }}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-5/4}({\sqrt[{4}]{2}}-1)}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-5/4}({\sqrt[{4}]{2}}+1)}$	λ*(16)
${\displaystyle {\text{e}}^{-5\pi }}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}2^{-5/4}5^{-1/2}({\sqrt[{4}]{5}}-1)^{2}\Phi ^{-1/2}}$	${\displaystyle {\sqrt[{4}]{\pi }}\,{\Gamma \left({\tfrac {3}{4}}\right)}^{-1}5^{-1/2}\Phi ^{3/2}}$	λ*(25)