Quelltext der Seite Dedekindsche Etafunktion

[[Datei:Dedekind Eta.jpg|500px|mini|Die Dedekindsche Etafunktion in der komplexen Ebene]]

Die nach dem deutschen [[Mathematiker]] [[Richard Dedekind]] benannte '''Etafunktion''' (η-Funktion) ist eine auf der [[Halbebene#Obere Halbebene|oberen Halbebene]] <math>\mathbb H=\{\tau\in\mathbb C\mid\mathrm{Im}\,\tau>0\}</math> [[holomorphe Funktion]].

Sie spielt eine wichtige Rolle in der Theorie der  [[Elliptische Funktion|elliptischen Funktionen]] und der [[Thetafunktion]]en.

== Definition ==


Die Etafunktion wird üblicherweise folgendermaßen als unendliches Produkt definiert:

: <math>\eta(\tau):= e^{\pi i\tau/12}\prod_{n=1}^\infty (1-e^{2\pi in\tau})</math>.

Aus der Definition folgt unmittelbar, dass <math>\eta</math> in <math>\mathbb{H}</math> keine Nullstellen hat.

Die Funktion ist eng verwandt mit der [[Diskriminante (Modulform)|Diskriminante]] <math>\Delta</math>, es ist
: <math>\Delta (\tau) \,=\, (2\pi)^{12} \eta^{24}(\tau)</math>.

== Transformationsverhalten ==
Ihre Bedeutung erhält die Funktion aus ihrem Transformationsverhalten unter den Substitutionen der Erzeugenden der [[Modulgruppe]]:
: <math>\Gamma :=\mathrm{SL}_2(\mathbb{Z})=\{\bigl(\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\bigr)\mid a,b,c,d\in\mathbb{Z}, ad-bc=1\}</math>,
Es gilt nämlich:
: <math>\eta(\tau +1)\,=\, e^{\pi i/12}\eta(\tau)</math>
Und es gilt:
: <math>\eta\left(\frac{-1}{\tau}\right) = \sqrt{\frac{\tau}{i}}\,\eta(\tau)</math>

== Pentagonalzahlensatz und Partitionsfolgen ==

=== Fünfeckszahlen und Kartenhauszahlen ===
Zur Berechnung der Dedekindschen Etafunktion kann der [[Pentagonalzahlensatz]] von [[Leonhard Euler]] verwendet werden:
: <math>\eta_{W}(x)= x^{1/24} \prod_{n = 1}^{\infty}(1-x^n) = x^{1/24} \sum_{m = 0}^{\infty} \bigl[x^{m(6m + 1)} - x^{(2m + 1)(3m + 1)} - x^{(2m + 1)(3m + 2)} + x^{(m + 1)(6m + 5)}\bigr] </math>
Die verallgemeinerten Pentagonalzahlen bilden eine Doppelfolge aus [[Fünfeckszahl|Fünfeckszahlen]] und Kartenhauszahlen.

Denn dieselbe Formel kann auch so ausgedrückt werden:
: <math>\eta_{W}(x) = x^{1/24} \sum_{k = 0}^{\infty} \bigl[x^{\text{Kr}(2k)} - x^{\text{Fn}(2k+1)} - x^{\text{Kr}(2k+1)} + x^{\text{Fn}(2k+2)}\bigr]</math>
Hier 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>

Für die Synthese der [[Partitionsfunktion|Partitionszahlenfolge]] mit Hilfe einer Rekursionsformel können die Pentagonalzahlen ebenso verwendet werden.

Aus den nun gezeigten Formeln folgt dieses bestimmte Integral:
: <math>\int_{0}^{1} \eta_{W}(x) \,\mathrm{d}x = \sum_{k = -\infty}^{\infty} \frac{(-1)^{k}}{\tfrac{1}{2}k(3k - 1)+\tfrac{25}{24}} = \sqrt{2}\,\pi\sinh(\tfrac{2}{3}\sqrt{6}\,\pi)\,\text{sech}(\sqrt{6}\,\pi) \approx 0{,}3416968346\ldots </math>

=== Normale und strikte Partitionszahlen und Oberpartitionszahlen ===
Die Partitionszahlenfolge P selbst erscheint als Folge der Koeffizienten von folgender Funktion:
: <math>x^{1/24}\eta_{W}(x)^{-1} = \prod_{n = 1}^{\infty}(1-x^n)^{-1} = \sum_{m = 0}^{\infty} P(m)x^m </math>
Ähnliche Folgen gelten für die strikte Partitionszahlenfolge Q und die Oberpartitionszahlenfolge <math>\overline{P}</math>:
: <math>x^{-1/24}\eta_{W}(x)\vartheta_{01}(x)^{-1} = \prod_{n = 1}^{\infty}(1+x^n) = \sum_{m = 0}^{\infty} Q(m)x^m </math>
: <math>\frac{1}{\vartheta_{01}(x)} = \prod_{n=1}^\infty \frac{1 + x^{n}}{1 - x^{n}} = \sum_{m=0}^\infty \overline{P}(m)x^m</math>

=== Tabelle und Beziehungsformeln der Folgen ===
Tabelle der Zahlenfolgen:
{| class="wikitable"
!z
!0
!1
!2
!3
!4
!5
!6
!7
!8
!9
!10
!11
!12
!13
!14
!15
|-
!P(z)
|1
|1
|2
|3
|5
|7
|11
|15
|22
|30
|42
|56
|77
|101
|135
|176
|-
!Q(z)
|1
|1
|1
|2
|2
|3
|4
|5
|6
|8
|10
|12
|15
|18
|22
|27
|-
!<math>\overline{P}(z)</math>
|1
|2
|4
|8
|14
|24
|40
|64
|100
|154
|232
|344
|504
|728
|1040
|1472
|}
Wichtige Summenbeziehungen zu den genannten Zahlenfolgen untereinander:

: <math>P(2n) = \sum_{k=0}^{n} P(n - k)Q(2k)</math>
: <math>P(2n+1) = \sum_{k=0}^{n} P(n - k)Q(2k + 1)</math>
: <math>\overline{P}(n) = \sum_{k=0}^{n} P(n - k)Q(k)</math>

== Rogers-Ramanujan-Identitäten ==
Der Mathematiker Michael Trott behandelte in seinem Werk ''Modular Equations of the Rogers-Ramanujan Continued Fraction'' für den [[Rogers-Ramanujan-Kettenbruch]] folgende Identität:
:<math>R(x) = \tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{\eta_{W}(x^{1/5})}{2\eta_{W}(x^{5})} + \frac{1}{2}\biggr]\biggr\}</math>
Somit kann der Rogers-Ramanujan-Kettenbruch mit dem Halbierungstheorem der [[Tangens und Kotangens|Tangensfunktion]] dargestellt werden.

Auch die [[Rogers-Ramanujan-Identitäten|Rogers-Ramanujan-Funktionen]] G und H können mit Hilfe der '''Dedekindschen Etafunktion''' vereinfacht beschrieben werden:

: <math>G(q) = \frac{1}{(q;q^5)_{\infty} (q^4; q^5)_{\infty}} = q^{1/60}\eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{-1/2}</math>
: <math>H(q) = \frac{1}{(q^2;q^5)_{\infty} (q^3; q^5)_{\infty}} = q^{-11/60}\eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{1/2}</math>

== Liste exemplarischer Werte ==
Nach Weberscher Definition werden hier einige Dedekindsche Etafunktionswerte aufgelistet:

Werte von geradexponentigen Potenzen des Kehrwerts der Gelfondschen<ref>{{Internetquelle |autor=Eric W. Weisstein |url=https://mathworld.wolfram.com/ |titel=Gelfond's Constant |abruf=2022-03-15 |sprache=en}}</ref> Konstante:
:<math>\eta_{W}(\text{e}^{-2\pi}) = 2^{-1/4}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-4\pi}) = 2^{-5/8}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-6\pi}) = 2^{-1/4}3^{-3/8}(2 - \sqrt{3})^{1/12}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-8\pi}) = 2^{-17/16}(\sqrt{2} - 1)^{1/4}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-10\pi}) = 2^{-3/4}5^{-1/2}(\sqrt{5} - 1)^{1/2}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-12\pi}) = 2^{-15/8}3^{-3/8}(\sqrt[4]{12} - \sqrt{3} + 1)(2 + \sqrt{3})^{1/12}\sqrt{G}</math>
Werte von ungeradexponentigen Potenzen des Kehrwerts der Gelfondschen Konstante:
:<math>\eta_{W}(\text{e}^{-\pi}) = 2^{-1/8}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-3\pi}) = 2^{-11/8}3^{-3/8}(\sqrt[4]{12} + \sqrt{3} - 1)(2 + \sqrt{3})^{1/12}\sqrt{G}</math>
:<math>\eta_{W}(\text{e}^{-5\pi}) = 2^{-9/8}5^{-1/2}(\sqrt[4]{5} + 1)(\sqrt{5} - 1)^{1/2}\sqrt{G}</math>

== Lösungsverfahren quintischer Gleichungen ==

=== Entdeckung durch Hermite ===
Der Allgemeinfall der [[Gleichung fünften Grades|Gleichungen fünften Grades]] kann nach dem [[Satz von Abel-Ruffini]] nicht mit elementar mathematischen Ausdrücken gelöst werden. Aber dieses Lösen der allgemeinen quintischen Gleichung ist sehr wohl über [[Elliptische Funktion|elliptische Modulfunktionen]] erster Art möglich. Die Formel für die Ermittlung des elliptischen Moduls ausgehend von einer quintischen Gleichung in [[Bringsches Radikal|Bring-Jerrard-Form]] wurde vom französischen Mathematiker [[Charles Hermite]] erforscht. Er fand heraus, dass für eine Gleichung des folgenden Musters der zugehörige elliptische Modul k für die Lösungsformel der betroffenen Gleichung auf folgende Weise gebildet werden kann:
:<math>x^5 + x = t</math>
:<math>k = \bigl(50\sqrt{5}\,t^2 + 32 + 2\sqrt{3125\,t^4 + 256}\bigr)^{-1/2}\bigl(\sqrt{\sqrt{3125\,t^4 + 256} + 16} + 5\sqrt[4]{5}\,t\bigr)</math>
Mit Hilfe von [[Hyperbolisch lemniskatischer Sinus|hyperbolisch lemniskatischen Funktionen]] kann derselbe Modul auch so dargestellt werden:
:<math>k = \text{ctlh}\bigl[\tfrac{1}{2}\text{aclh}\bigl(\tfrac{5}{4}\sqrt[4]{5}\,t\bigr)\bigr]^2</math>
Diese Überleitung vom [[Polynom|absoluten Glied]] der gezeigten Bring-Jerrard-Gleichung hin zum elliptischen Modul wurde im Werk ''Sur la résolution de l’Équation du cinquiéme degré Comptes rendus'' von Charles Hermite exakt beschrieben. Die von [[Francesco Brioschi]] angefertigte italienische Version dieses Werkes von Charles Hermite mit dem Titel ''Sulla risoluzione delle equazioni del quinto grado'' beinhaltet auf der Seite 258 diejenige Formel, aus welcher die soeben gezeigte Modulermittlungsformel hervorgeht.

=== Lösung nach Prasolov und Solovyev ===
Die russischen Mathematiker<ref>https://staff.math.su.se/mleites/books/prasolov-soloviev-1997-elliptic.pdf</ref> Viktor Prasolov (Виктор Прасолов) und Yuri Solovyev (Юрий Соловьёв) haben in ihrem Werk ''Elliptische Funktionen und elliptische Integrale'' (Эллиптические функции и эллиптические интегралы, ''Elliptic functions and Elliptic integrals'') aus dem Jahre 1997 die exakte Lösung der allgemeinen quintischen Gleichung in Bring-Jerrard-Form über die Dedekindsche Etafunktion niedergeschrieben. Vor allem im darin enthaltenen siebten Kapitel ''Thetafunktionen und Lösungen von quintischen Gleichungen'' erläuterten sie die Ermittlung der Lösungen mit den Thetafunktionen aus den Potenzen des [[Elliptisches Nomen|elliptischen Nomens]] akkurat. Hierbei führten sie bei ihrer Beschreibung mehrere Funktionen und ebenso Funktionenscharen mit Indizes ein. Der genannte Abschnitt befindet sich in der amerikanischen Ausgabe der [[American Mathematical Society]] auf den Seiten 155 bis 169.

Die erste ihrer Funktionen, die Funktion <math>u(q)</math> hatte diese Definition:
:<math>u(q) = q^{-1/24} \prod_{n = 1}^{\infty} (1 + q^{2n - 1}) = q^{-1/24} \frac{(q^2;q^4)_{\infty}}{(q;q^2)_{\infty}} = \frac{\vartheta_{01}(q^2)\,\eta_{W}(q)}{\vartheta_{01}(q)\,\eta_{W}(q^2)}</math>
Diese Funktion ist exakt gleich der folgenden [[Webersche Modulfunktionen|Weberschen Funktion]]: <math>u(q) = \mathfrak{f}_{00}(q)</math>

Die zweite ihrer Funktionen, die Funktion <math>v_{\infty}(q)</math> hatte jene Definition:
:<math>v_{\infty}(q) = u(q^5) = \frac{\vartheta_{01}(q^{10})\,\eta_{W}(q^5)}{\vartheta_{01}(q^5)\,\eta_{W}(q^{10})}</math>

Als Drittes wurde im Werk die Funktionenschar <math>v_{c}</math> definiert:
:<math>v_{c}(q) = u\bigl[\exp\bigl(\tfrac{2}{5}\pi i c\bigr)\,q^{1/5}\bigr] </math>
Zusätzlich wurden folgende zwei Gleichungsbeziehung zu den einzelnen Funktionen genannt:
:<math>u(q)^6 + v_{c}(q)^6 = u(q)^5 v_{c}(q)^5 - 4 u(q) v_{c}(q) </math>
:<math>u(q)^{12} - 64 u(q)^{-12} = w_{z}(q)[w_{z}(q)^2 + 5]^2 </math>

Zuletzt wurde die Funktionenschar <math>w_{z}(q)</math> auf der Seite 166 der amerikanischen Version aufgestellt:
:<math>w_{z}(q) = 5^{-1/2}u(q)^{-3}[v_{\infty}(q) - v_{z}(q)][v_{z + 1}(q) - v_{z - 1}(q)][v_{z + 2}(q) - v_{z - 2}(q)] </math>

In demjenigen Abschnitt dieses Werks von Prasolov und Solovyev, welcher in der amerikanischen Version die Überschrift ''The general scheme of solution of quintic equations'' trägt, wird die exakte Lösungsformel für die Gleichung in Bring-Jerrard-Form beschrieben:
:<math>x^5 + x = t</math>
:<math>k = \text{ctlh}\bigl[\tfrac{1}{2}\text{aclh}\bigl(\tfrac{5}{4}\sqrt[4]{5}\,t\bigr)\bigr]^2</math>
:<math>x_{z} = \frac{5\,t}{w_{z}[q(k)]^2 + 5} </math>

== Siehe auch ==

* [[Thetafunktion]]
* [[Webersche Modulfunktionen]]
* [[Partitionsfunktion]]

== Literatur ==
* [[Tom M. Apostol]]: ''Modular Functions and Dirichlet Series in Number Theory''. Springer-Verlag, Berlin / Heidelberg / New York (1990), ISBN 3-540-97127-0
* Eberhard Freitag, Rolf Busam: ''Funktionentheorie 1''. 4. Auflage. Springer-Verlag, Berlin (2006), ISBN 3-540-31764-3
* [[Max Koecher]], [[Aloys Krieg]]: ''Elliptische Funktionen und Modulformen''. 2. Auflage. Springer-Verlag, Berlin (2007), ISBN 978-3-540-49324-2
* Michael Trott: ''Modular Equations of the Rogers-Ramanujan Continued Fraction''. Mathematica J. 9,314-333, 2004.
* [[Charles Hermite]]: ''Sur la résolution de l’Équation du cinquiéme degré Comptes rendus'', Comptes Rendus Acad. Sci. Paris, Nr. 11, März 1858.
* F. Brioschi: ''Sulla risoluzione delle equazioni del quinto grado: Hermite – Sur la résolution de l’Équation du cinquiéme degré Comptes rendus –''. N. 11. Mars. 1858. 1. Dezember 1858, [[doi:10.1007/bf03197334]].
* Viktor Prasolov, Yuri Solovyev: Elliptic Functions and Elliptic Integrals. American Mathematical Society, Translation of Mathematical Monographs, vol. 170, Rhode Island, 1991, pp. 149–169.

== Weblinks ==
* {{MathWorld|id=DedekindEtaFunction|title=Dedekind Eta Function}}

== Einzelnachweise ==
<references />

[[Kategorie:Funktionentheorie]]
[[Kategorie:Analytische Funktion]]