Thetafunktion

In der Funktionentheorie, einem Teilgebiet der Mathematik, bilden die Thetafunktionen eine spezielle Klasse von Funktionen mehrerer komplexer Variablen. Systematisch untersucht wurden sie zuerst von Carl Gustav Jakob Jacobi.

Thetafunktionen spielen eine Rolle in der Theorie der elliptischen Funktionen und der quadratischen Formen. Eingeführt wurden sie 1829 von Jacobi in seinem Buch Fundamenta nova theoriae functionum ellipticarum. Jacobi verwendete für sie den griechischen Buchstaben $\Theta$$\Theta$ und gab ihr den Namen Thetafunktion. Sie ist bei Jacobi die Grundlage seiner Behandlung elliptischer Funktionen, systematisch entwickelt in seinen Vorlesungen. Die Bedeutung der Thetafunktion für die Theorie elliptischer Funktionen erkannte schon Carl Friedrich Gauß, veröffentlichte dies aber nicht. Die Thetafunktion selbst war in Spezialfällen schon Leonhard Euler und Johann Bernoulli bekannt. Weitere Beiträge zur Theorie der Thetafunktion stammten im 19. Jahrhundert insbesondere von Karl Weierstrass, Bernhard Riemann, Frobenius und Henri Poincaré.

Thetafunktionen tauchen zum Beispiel bei der Lösung der Wärmeleitungsgleichung auf.

Definition

Klassische Thetafunktion

Die klassische jacobische Thetafunktion ist definiert durch

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

Die Reihe ist in $\mathbb {C} \times \mathbb {H}$${\mathbb {C}}\times {\mathbb {H}}$ normal konvergent, dabei bedeutet $\mathbb {H} =\{z\in \mathbb {C} |\Im (z)>0\}$${\mathbb {H}}=\{z\in {\mathbb {C}}|\Im (z)>0\}$ die obere Halbebene. Für festes $\tau \in \mathbb {H}$$\tau \in {\mathbb {H}}$ ist also $\vartheta (\cdot ,\tau )$$\vartheta (\cdot ,\tau )$ eine ganze Funktion, für festes $z\in \mathbb {C}$$z \in \mathbb{C}$ ist $\vartheta (z,\cdot )$$\vartheta (z,\cdot )$ eine auf $\mathbb {H}$$\mathbb {H}$ holomorphe Funktion.

Weitere Thetafunktionen

Neben der klassischen Thetafunktion findet man in der Literatur vor allem drei weitere Thetafunktionen, nämlich:

$\vartheta _{0}(z,\tau ):=\vartheta _{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}$$\vartheta _{0}(z,\tau ):=\vartheta _{{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}}$

$\vartheta _{2}(z,\tau ):=\vartheta _{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}$$\vartheta _{2}(z,\tau ):=\vartheta _{{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}}$

$\vartheta _{1}(z,\tau ):=\vartheta _{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}$$\vartheta _{1}(z,\tau ):=\vartheta _{{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 $\vartheta _{3}(z,\tau )$$\vartheta _{3}(z,\tau )$ bzw. $\vartheta _{0,0}(z,\tau )$$\vartheta _{{0,0}}(z,\tau )$ bezeichnet.

Etwas allgemeiner definiert man

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

Theta-Nullwert

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

$\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 }$$\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 }}$

Eigenschaften

Nullstellen

Für festes $\tau \in \mathbb {H}$$\tau \in {\mathbb {H}}$ hat die Thetafunktion einfache Nullstellen an den Stellen

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

Transformationsformel

Die Thetafunktion ist periodisch in beiden Variablen, es ist

$\vartheta (z+1,\tau )=\vartheta (z,\tau +2)=\vartheta (z,\tau )$$\vartheta (z+1,\tau )=\vartheta (z,\tau +2)=\vartheta (z,\tau )$

Darüber hinaus gilt die wichtige Transformationsformel

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

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

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

Bei der Wurzel ist dabei jeweils der Hauptzweig zu nehmen.

Produktdarstellung

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

$\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]})$$\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

$\vartheta (\tau )=\prod _{n=1}^{\infty }(1-e^{2\pi in\tau })(1+e^{\pi i(2n-1)\tau })^{2}$$\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 $\vartheta (\tau )$$\vartheta (\tau )$ keine Nullstellen in der oberen Halbebene $\mathbb {H}$$\mathbb {H}$ hat.

Integraldarstellung

Die Thetafunktion besitzt eine Integraldarstellung:

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

Differentialgleichung

Die Thetafunktion spielt auch eine wichtige Rolle in der Theorie der Wärmeleitung, für reelle $x$$x$ und $t>0$$t>0$ ist sie eine Lösung der partiellen Differentialgleichung

${\frac {\partial }{\partial t}}\vartheta (x,it)={\frac {1}{4\pi }}{\frac {\partial ^{2}}{\partial x^{2}}}\vartheta (x,it).$${\frac {\partial }{\partial t}}\vartheta (x,it)={\frac {1}{4\pi }}{\frac {\partial ^{2}}{\partial x^{2}}}\vartheta (x,it).$

wie man durch Einsetzen von

$\vartheta (x,it)=\sum _{n=-\infty }^{\infty }e^{-n^{2}\cdot \pi \cdot t+2\pi inx}=1+2\sum _{n=1}^{\infty }e^{-n^{2}\cdot \pi \cdot t}\cos {(2\pi nx)}$$\vartheta (x,it)=\sum _{{n=-\infty }}^{\infty }e^{{-n^{2}\cdot \pi \cdot t+2\pi inx}}=1+2\sum _{{n=1}}^{\infty }e^{{-n^{2}\cdot \pi \cdot t}}\cos {(2\pi nx)}$ 

sieht. Dies entspricht einer Fourierentwicklung im Ortsraum mit Koeffizienten mit exponentiell abfallender Zeitabhängigkeit.

Jacobi-Identität

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

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

Zusammenhang mit der riemannschen Zetafunktion

Riemann benutzte in seiner berühmten Arbeit Über die Anzahl der Primzahlen unter einer gegebenen Größe die Transformationsformel der Thetafunktion für einen Beweis der Funktionalgleichung der Zetafunktion, es gilt nämlich:

$\Gamma \left({\frac {s}{2}}\right)\pi ^{-{\frac {s}{2}}}\zeta (s)={\frac {1}{2}}\int _{0}^{\infty }(\vartheta (0,it)-1)\,t^{\frac {s}{2}}{\frac {{\text{d}}t}{t}}$$\Gamma \left({\frac {s}{2}}\right)\pi ^{{-{\frac {s}{2}}}}\zeta (s)={\frac {1}{2}}\int _{0}^{\infty }(\vartheta (0,it)-1)\,t^{{{\frac {s}{2}}}}{\frac {{\text{d}}t}{t}}$

Zusammenhang mit Modulformen und elliptischen Funktionen

Zusammenhang mit der dedekindschen Eta-Funktion

Die Thetafunktion hängt eng zusammen mit der dedekindschen Eta-Funktion, es gilt:

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

Die Thetafunktion als Modulform zu einer Untergruppe der Modulgruppe

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

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

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

Quotienten von Thetafunktionen

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

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

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

Auf ähnliche Weise lässt sich auch die weierstraßsche ℘-Funktion konstruieren. Erfüllt nämlich eine holomorphe Funktion $f(z)$$f(z)$ die beiden Bedingungen $f(z+1)=f(z)$$f(z+1)=f(z)$ und $f(z+\tau )={\text{e}}^{-az-b}f(z)$$f(z+\tau )={\text{e}}^{{-az-b}}f(z)$ für ein festes $\tau \in \mathbb {H}$$\tau \in {\mathbb {H}}$, so ist die zweite logarithmische Ableitung eine elliptische Funktion zum Gitter $\mathbb {Z} +\mathbb {Z} \tau$${\mathbb {Z}}+{\mathbb {Z}}\tau$. Beispielsweise gilt für die weierstraßsche ℘-Funktion:

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

mit einer passenden Konstanten c.

Zusammenhang mit zahlentheoretischen Funktionen

Mit Hilfe der Thetafunktion und deren Produktdarstellung lässt sich der Pentagonalzahlensatz beweisen.

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

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

Siehe auch

• Ramanujan-Thetafunktion

Literatur

• Adolf Krazer: Lehrbuch der Thetafunktionen. Leipzig: B. G. Teubner, 1903.
• Milton Abramowitz und Irene Stegun: Handbook of Mathematical Functions. New York: Dover, 1972; p. 576.
• Tom M. Apostol: Modular Functions and Dirichlet Series in Number Theory. Springer-Verlag New York 1990, ISBN 0-387-97127-0
• Adolf Hurwitz: Vorlesungen über Allgemeine Funktionentheorie und elliptische Funktionen. Springer-Verlag Berlin Heidelberg New York 2000, ISBN 3-540-63783-4
• Dale Husemöller: Elliptic Curves. Springer Verlag Berlin Heidelberg New York 2004, ISBN 0-387-95490-2
• Max Koecher und Aloys Krieg: Elliptische Funktionen und Modulformen. 2. Aufl., Springer-Verlag Berlin Heidelberg New York 2007, ISBN 3-540-63744-3
• Reinhold Remmert: Funktionentheorie I. Springer-Verlag Berlin Heidelberg New York 1989, ISBN 3-540-51238-1
• David Mumford Tata Lectures on Theta, Band 1, 3. Auflage, Springer Verlag 1994 (insgesamt drei Bände)
• Jun-Ichi Igusa Theta Functions, Springer Verlag, Grundlehren der mathematischen Wissenschaften, 1972
• Bruno Schoeneberg Elliptic Modular Functions, Springer Verlag, Grundlehren der mathematischen Wissenschaften 1974 (Kapitel 9, Theta Series)
• Harry Rauch, Hershel Farkas Theta Functions with Applications to Riemann Surfaces, Baltimore: Williams & Wilkins 1974
• Farkas, Irwin Kra Riemann Surfaces, Springer Verlag, Graduate Texts in Mathematics, 1980 (Kapitel 6)

Weblinks

• Theta Functions in NIST Digital Library of Mathematical Functions
• Eric W. Weisstein: Jacobi Theta Functions. In: MathWorld (englisch).