Die Weberschen Modulfunktionen zählen zu den elliptischen Funktionen in der Mathematik. Sie wurden durch den Heidelberger Mathematiker Heinrich Weber eingeführt und erforscht. Sie sind sowohl mit der Dedekindschen Etafunktion als auch mit den Ramanujanschen Funktionen g und G nahe verwandt.
Definition der Weberschen Modulfunktionen
Definition der imaginären Funktionen
Für die obere Halbebene ℍ der komplexen Zahlen sind die Weberschen Standardmodulfunktionen in Abhängigkeit vom imaginären Halbperiodenverhältnis 𝜏 auf folgende Weise über die Dedekindsche Etafunktion definiert:[1][2]
![{\displaystyle {\mathfrak {f}}_{0}(\tau )=\exp(-{\tfrac {1}{24}}\pi \,i\tau )\prod _{n=1}^{\infty }\{1+\exp[(2n-1)\pi \,i\tau ]\}={\frac {\eta (\tau )^{2}}{\eta ({\tfrac {1}{2}}\tau )\eta (2\tau )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/987ba3305d51deeedba42e9039f79054cda7bfa4)
![{\displaystyle {\mathfrak {f}}_{1}(\tau )=\exp(-{\tfrac {1}{24}}\pi \,i\tau )\prod _{n=1}^{\infty }\{1-\exp[(2n-1)\pi \,i\tau ]\}={\frac {\eta ({\tfrac {1}{2}}\tau )}{\eta (\tau )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/250906bbbe09bbd98ef68f35a988c88d513eab16)
![{\displaystyle {\mathfrak {f}}_{2}(\tau )={\sqrt {2}}\exp({\tfrac {1}{12}}\pi \,i\tau )\prod _{n=1}^{\infty }[1+\exp(2n\pi \,i\tau )]={\sqrt {2}}\,{\frac {\eta (2\tau )}{\eta (\tau )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22472d23bf2fc783bab602929e51deaa585fd542)
Somit können diese Weberschen Funktionen auch mit Hilfe der Pochhammerschen Produkte definiert werden:
![{\displaystyle {\mathfrak {f}}_{0}(\tau )=\exp(-{\tfrac {1}{24}}\pi \,i\tau ){\frac {[\exp(2\pi \,i\tau );\exp(4\pi \,i\tau )]_{\infty }}{[\exp(\pi \,i\tau );\exp(2\pi \,i\tau )]_{\infty }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5427d62763f28510c37fc519facfe6341cfa2622)
![{\displaystyle {\mathfrak {f}}_{1}(\tau )=\exp(-{\tfrac {1}{24}}\pi \,i\tau )[\exp(\pi \,i\tau );\exp(2\pi \,i\tau )]_{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2b4e8d805fecb4a59897ca01336fa07b6439535)
![{\displaystyle {\mathfrak {f}}_{2}(\tau )={\sqrt {2}}\exp({\tfrac {1}{12}}\pi \,i\tau )[\exp(2\pi \,i\tau );\exp(4\pi \,i\tau )]_{\infty }^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f6c8c18d2b266563e4394b2cf9ef0143e3f99f5)
Durch Multiplizieren dieser drei Definitionsgleichungen erhält man direkt folgende Beziehung:
![{\displaystyle {\mathfrak {f}}_{0}(\tau ){\mathfrak {f}}_{1}(\tau ){\mathfrak {f}}_{2}(\tau )={\sqrt {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41f91a125e0c5672d14027c9e2eea5340ac9482d)
Definition der reellen Funktionen
Zusätzlich wurde die Webersche Hauptfunktion in Abhängigkeit vom Nomeneintrag definiert:
Modulfunktionen | 𝔣₀₀(x) | 𝔣₀₁(x) | 𝔣₁₀(x) |
Produktdefinition | | | |
Pochhammersche Definition | | | |
Dedekindsche Etafunktionsdefinition | | | |
Jacobische Thetafunktionsdefinition | | | |
Generell gilt folgendes Produkt für alle Werte w:
![{\displaystyle {\biggl [}\prod _{m=1}^{\infty }(1-w^{2m-1}){\biggr ]}{\biggl [}\prod _{n=1}^{\infty }(1+w^{n}){\biggr ]}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e427fc3f8bc9cb1e3be9d88e47e972cda51ec017)
Deswegen kann in der gezeigten Tabelle in jeder Zeile folgender Zusammenhang sofort abgelesen werden:
![{\displaystyle {\mathfrak {f}}_{00}(x){\mathfrak {f}}_{01}(x){\mathfrak {f}}_{10}(x)={\sqrt {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fad4870a45058a67ec6e62f74dd94757a26835f)
Wichtige Rechenhinweise über die Dedekindsche Etafunktion:
![{\displaystyle \eta _{W}(x)=2^{-1/6}\vartheta _{10}(x)^{1/6}\vartheta _{00}(x)^{1/6}\vartheta _{01}(x)^{2/3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdbd0c1402556e61cf49f39945edbe04e8f8164c)
![{\displaystyle \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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72582d80577a0e413c1d14aff1367c6632e346dc)
Summenreihen der Weberschen Funktionen
Strikte Partitionszahlenfolge
Die Koeffizienten der Summenreihe der Funktionen 1/𝔣₀₁(x) und 𝔣₁₀(x) bilden die Folge der strikten Partitionen ab. Bei der strikten Partitionsfolge Q(n) wird bei jeder Summe n angegeben, auf wie viele verschiedene Weisen die Zahl n in Summanden ohne Summandenwiederholung aufgeteilt werden kann. So lautet die exakte Reihenentwicklung:
![{\displaystyle {\mathfrak {f}}_{01}(x)^{-1}=x^{1/24}\sum _{k=0}^{\infty }Q(k)\,x^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6db723496b102ce1c4ca723bc69db2d5d7f6f8d1)
![{\displaystyle {\mathfrak {f}}_{10}(x)={\sqrt {2}}\,x^{1/12}\sum _{k=0}^{\infty }Q(k)\,x^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a20325921843c475600d67b4b450fdcb807ecf3)
![{\displaystyle {\mathfrak {f}}_{10}(x)={\sqrt {2}}\,{\mathfrak {f}}_{01}(x^{2})^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dadc9faacfa8a2340ec704b07f487bfbd34b217d)
In der nun folgenden Tabelle werden die strikten Partitionen aufgelistet und exemplarisch dargestellt:
n | Q(n) | Zahlpartitionen ohne wiederholte Summanden |
0 | 1 | () leere Partition / leere Summe |
1 | 1 | (1) |
2 | 1 | (2) |
3 | 2 | (1+2), (3) |
4 | 2 | (1+3), (4) |
5 | 3 | (2+3), (1+4), (5) |
6 | 4 | (1+2+3), (2+4), (1+5), (6) |
7 | 5 | (1+2+4), (3+4), (2+5), (1+6), (7) |
8 | 6 | (1+3+4), (1+2+5), (3+5), (2+6), (1+7), (8) |
9 | 8 | (2+3+4), (1+3+5), (4+5), (1+2+6), (3+6), (2+7), (1+8), (9) |
10 | 10 | (1+2+3+4), (2+3+5), (1+4+5), (1+3+6), (4+6), (1+2+7), (3+7), (2+8), (1+9), (10) |
Summenreihe aus dem Pentagonalzahlensatz
Für die Webersche Modulfunktion ist weiters folgender Ausdruck gültig:[3]
![{\displaystyle {\mathfrak {f}}_{01}(x)={\biggl [}\sum _{z=-\infty }^{\infty }(-1)^{z}x^{(6z+1)^{2}/24}{\biggr ]}{\biggl [}\sum _{z=-\infty }^{\infty }(-1)^{z}x^{(6z+1)^{2}/12}{\biggr ]}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/245e4739e3a41e71219d9e6493ab64300b59a907)
Diese Formel basiert auf dem Pentagonalzahlensatz und außerdem auf folgender Formel:
![{\displaystyle {\mathfrak {f}}_{01}(x)={\frac {\vartheta _{00}({\tfrac {1}{12}}\pi ;x^{1/24})-\vartheta _{00}({\tfrac {5}{12}}\pi ;x^{1/24})}{\vartheta _{00}({\tfrac {1}{12}}\pi ;x^{1/12})-\vartheta _{00}({\tfrac {5}{12}}\pi ;x^{1/12})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c6df6fc2d2e8f63bf19ec1e4e5a3420da4000f5)
Die allgemeine Hauptthetafunktion hat diese von Whittaker und Watson aufgestellte Definition:
![{\displaystyle \vartheta _{00}(v;w)=\prod _{n=1}^{\infty }(1-w^{2n})[1+2\cos(2v)w^{2n-1}+w^{4n-2}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c5acc090a4c8a2327974fa27125ca0f796ce535)
Zusammenhänge zwischen elliptischen Funktionen
Zusammenhang mit den Thetafunktionen
Die Thetafunktionen nach Carl Gustav Jacobi stehen in folgendem Zusammenhang zu den Weberschen Modulfunktionen:[4]
![{\displaystyle \vartheta _{00}(x)=(x^{2};x^{2})_{\infty }(x^{2};x^{4})_{\infty }^{2}(x;x^{2})_{\infty }^{-2}=\eta _{W}(x^{2}){\mathfrak {f}}_{00}(x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf538f2f3a3eddc78a361b49314647fed86b9e0)
![{\displaystyle \vartheta _{01}(x)=(x;x)_{\infty }(x;x^{2})_{\infty }=\eta _{W}(x^{2}){\mathfrak {f}}_{01}(x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda4437d44f587716ea94ead545e298ecac68952)
![{\displaystyle \vartheta _{10}(x)=\eta _{W}(x^{2}){\mathfrak {f}}_{10}(x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3869729adba0414672ea8f5d29a3838b8f0d7af)
Daraus resultiert in Kombination mit der Jacobischen Identität:
![{\displaystyle {\mathfrak {f}}_{00}(x)^{8}={\mathfrak {f}}_{01}(x)^{8}+{\mathfrak {f}}_{10}(x)^{8}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b48418a85c2b5797b21087dfde51be2b6b189e5)
Trigonometrische Zusammenhänge
Für die Hauptfunktion unter den Weberschen Modulfunktionen in Abhängigkeit vom elliptischen Nomen gilt dieser Zusammenhang:
![{\displaystyle {\mathfrak {f}}_{00}[q(\varepsilon )]={\sqrt[{4}]{2}}\csc[2\arcsin(\varepsilon )]^{1/12}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/235d14686478867339b0563a779582454fc9ce73)
![{\displaystyle {\mathfrak {f}}_{01}[q(\varepsilon )]={\sqrt[{4}]{2}}\cot[2\arctan(\varepsilon )]^{1/12}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c56c66b7fd751205799edcffb5eebc2cc62a2d32)
![{\displaystyle q(\varepsilon )=\exp[-\pi K({\sqrt {1-\varepsilon ^{2}}})K(\varepsilon )^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c64c06dc297c68502bb06e6c07e36bbccd609e2)
![{\displaystyle K(y)=\int _{0}^{1}{\frac {2}{\sqrt {(z^{2}+1)^{2}-4y^{2}z^{2}}}}\,\mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57c50cbd1a69b4aa7d6b3f98dd0d0b8b847beef0)
Das bedeutet, dass die Funktion 𝔣₀₀(x) für den reellen Definitionsbereich ein relatives Minimum am Punkt
hat.
Die Webersche Funktion 𝔣₀₀(x) ist für den reellen Definitionsbereich streng monoton linksgekrümmt.
wPS-Funktion von Prasolov und Solovyev
Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.
Definition der wPS-Funktion
Für das Lösen von Gleichungen fünften Grades definierten die russischen Mathematiker Viktor Prasolov (Виктор Прасолов) und Yuri Solovyev (Юрий Соловьёв) eine bestimmte elliptische Funktion auf Grundlage der Weberschen Modulfunktion 𝔣₀₀(x). Diese Funktion löst direkt die quintische Bring-Jerrard-Normalform auf:
![{\displaystyle w_{PS}(\alpha )=5^{-1/2}{\mathfrak {f}}_{00}(\alpha )^{-3}[{\mathfrak {f}}_{00}(\alpha ^{5})-{\mathfrak {f}}_{00}(\alpha ^{1/5})]\times \{{\mathfrak {f}}_{00}[\exp({\tfrac {2}{5}}i\pi )\alpha ^{1/5}]-{\mathfrak {f}}_{00}[\exp(-{\tfrac {2}{5}}i\pi )\alpha ^{1/5}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c43550d4ad7fd8af3a62db19ad26dadaafa570d)
![{\displaystyle \times \{{\mathfrak {f}}_{00}[\exp({\tfrac {4}{5}}i\pi )\alpha ^{1/5}]-{\mathfrak {f}}_{00}[\exp(-{\tfrac {4}{5}}i\pi )\alpha ^{1/5}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/745c279bc937919f8230d34e002242cd3d7638fb)
Für diese w-Funktion existieren auch Identitäten mit dem Rogers-Ramanujan-Kettenbruch und der Thetafunktion:
![{\displaystyle w_{PS}(\alpha )={\frac {1}{64}}\,{\mathfrak {f}}_{00}(\alpha )^{12}{\biggl [}1-{\frac {R(\alpha ^{2})}{S(\alpha )^{2}}}{\biggr ]}^{2}{\biggl [}{\frac {1}{R(\alpha ^{2})^{2}}}-{\frac {S(\alpha )}{R(\alpha ^{2})}}{\biggr ]}^{2}{\biggl [}{\frac {\vartheta _{00}(\alpha ^{5})\vartheta _{00}(\alpha ^{1/5})^{2}-5\,\vartheta _{00}(\alpha ^{5})^{3}}{\vartheta _{00}(\alpha )^{3}}}{\biggr ]}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64bd597ec72cb8b9667c935583f1b84c28953102)
![{\displaystyle w_{PS}(\alpha )={\frac {[\vartheta _{00}(\alpha ^{1/5})^{2}-5\,\vartheta _{00}(\alpha ^{5})^{2}]^{2}[\vartheta _{00}(\alpha ^{1/5})^{2}+5\,\vartheta _{00}(\alpha ^{5})^{2}-2\,\vartheta _{00}(\alpha ^{1/5})\,\vartheta _{00}(\alpha ^{5})-4\,\vartheta _{00}(\alpha )^{2}]}{16\,\vartheta _{10}(\alpha )^{2}\,\vartheta _{01}(\alpha )^{2}\,\vartheta _{00}(\alpha )^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6afc27d598862e02abbf40bdd294c8ae7f371815)
Diese beiden soeben genannten Identitäten stimmen miteinander überein.
Werteliste für die wPS-Funktion
Im Folgenden werden Werte von dieser Funktion aufgelistet:
![{\displaystyle w_{PS}({\text{e}}^{-\pi })=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1cedcda9e782843c391e4d25a56c7486e589aa4)
![{\displaystyle w_{PS}({\text{e}}^{-3\pi })=w_{PS}[\exp(-{\tfrac {1}{3}}\pi )]={\sqrt {3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/604f145db18c8cc9cf190a5a7527ff0b7c462731)
![{\displaystyle w_{PS}[\exp(-{\sqrt {3}}\,\pi )]=w_{PS}[\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )]={\tfrac {1}{3}}({\sqrt[{3}]{10}}-1)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/444eaf977514938205a59b6f833f2802eff30580)
![{\displaystyle w_{PS}[\exp(-{\sqrt {7}}\,\pi )]=w_{PS}[\exp(-{\tfrac {1}{7}}{\sqrt {7}}\,\pi )]={\tfrac {1}{4}}\{{\sqrt {7}}-{\sqrt {3}}\tanh[{\tfrac {1}{3}}\operatorname {artanh} ({\tfrac {1}{9}}{\sqrt {21}})]\}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/577260eb55901f253dd4b7205e069556ef4a10cd)
Die w-Funktion nach Prasolov und Solovyev erfüllt auch folgende Gleichung:
![{\displaystyle w_{PS}(\alpha )[5+w_{PS}(\alpha )^{2}]^{2}={\mathfrak {f}}_{00}(\alpha )^{12}-64\,{\mathfrak {f}}_{00}(\alpha )^{-12}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c590666af136febd9ddf6de180e9d330d67803c3)
Quintische Gleichungen in Bring-Jerrard-Form werden dann so aufgelöst:
![{\displaystyle x^{5}+5\,x=4\,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd266817fc1e59ca01230bb07db86c94ab4813e8)
![{\displaystyle x_{RE}={\frac {4\,c}{5+w_{PS}{\bigl \langle }q{\bigl \{}\operatorname {ctlh} {\bigl [}{\tfrac {1}{2}}\operatorname {aclh} (c){\bigr ]}^{2}{\bigr \}}{\bigr \rangle }^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78cc70acc3646cef34dffb62a69f4e49008e3e60)
Wichtiger Rechenhinweis für die hyperbolisch lemniskatischen Funktionen:
![{\displaystyle \operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}={\bigl (}2c^{2}+2+2{\sqrt {c^{4}+1}}{\bigr )}^{-1/2}\left({\sqrt {{\sqrt {c^{4}+1}}+1}}+c\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2828376e7a0b1421bb1f79f969eff863100fc609)
Entsprechender Algorithmus mit der reduzierten Modulfunktion
Äquivalent hierzu ist folgendes Verfahren:
![{\displaystyle x^{5}+5\,x=4\,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd266817fc1e59ca01230bb07db86c94ab4813e8)
Der elliptische Modul und sein pythagoräisches Gegenstück für diese Gleichung werden beim Bringschen Radikal nach Charles Hermite auf folgende Weise hervorgerufen:
![{\displaystyle k=\operatorname {tlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}={\bigl (}2\,c^{2}+2+2{\sqrt {c^{4}+1}}{\bigr )}^{-1/2}{\biggl (}{\sqrt {{\sqrt {c^{4}+1}}+1}}-c{\biggr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c42bc9baadf1cd4661a1baff6c40bbe11f5da614)
![{\displaystyle k'=\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}={\bigl (}2\,c^{2}+2+2{\sqrt {c^{4}+1}}{\bigr )}^{-1/2}{\biggl (}{\sqrt {{\sqrt {c^{4}+1}}+1}}+c{\biggr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5903d2dc9cbbdecf6cb139ccb5514f9e6eacfb25)
Und so wird die reelle Lösung dieser quintischen Gleichung hervorgebracht:
![{\displaystyle x={\sqrt {{\sqrt {c^{4}+1}}+c^{2}}}\,{\bigl [}W_{R5}(k)-W_{R5}(k'){\bigr ]}\,{\sqrt {W_{R5}(k)+W_{R5}(k')-1-{\sqrt {5}}\,M_{B5}(k)\,M_{B5}(k')}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7a95f9dca154292c01ca53c47d06f614602540d)
Auch richtig ist:
![{\displaystyle x={\frac {4\,c}{({\sqrt {c^{4}+1}}+c^{2})^{2}{\bigl [}W_{R5}(k)-W_{R5}(k'){\bigr ]}^{4}{\bigl [}W_{R5}(k)+W_{R5}(k')-1-{\sqrt {5}}\,M_{B5}(k)\,M_{B5}(k'){\bigr ]}^{2}+5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb860772c2bb60177641a0fc6cf81284638278a0)
Quintisches Rechenbeispiel
Folgende Gleichung hat eine reelle Lösung, welche nach dem Satz von Abel-Ruffini nicht elementar, aber elliptisch darstellbar ist:
![{\displaystyle x^{5}+5\,x=4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae8facad4cb499acffb9a15902c43dcadfe920c)
Reelle Lösung dieser Gleichung:
![{\displaystyle k=\operatorname {tlh} [{\tfrac {1}{2}}\operatorname {aclh} (1)]^{2}=\operatorname {tlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}={\tfrac {1}{2}}{\sqrt[{4}]{2}}-\sin({\tfrac {1}{8}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc940cd33cd654c43d746182a7402fc13dccbb57)
![{\displaystyle k'=\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (1)]^{2}=\operatorname {ctlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}={\tfrac {1}{2}}{\sqrt[{4}]{2}}+\sin({\tfrac {1}{8}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7f516b0815114c85ab625edee24c144bf7533de)
Reelle Lösung dieser Gleichung:
Genähert ergibt sich:
![{\displaystyle W_{R5}{\bigl [}\operatorname {tlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}{\bigr ]}=W_{R5}{\bigl [}{\tfrac {1}{2}}{\sqrt[{4}]{2}}-\sin({\tfrac {1}{8}}\pi ){\bigr ]}\approx 1{,}971527201671233804783346663182383261864756}](https://wikimedia.org/api/rest_v1/media/math/render/svg/715c1b1d2ed6003af5b09c0ccb71b2e9dab1de75)
![{\displaystyle W_{R5}{\bigl [}\operatorname {ctlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}{\bigr ]}=W_{R5}{\bigl [}{\tfrac {1}{2}}{\sqrt[{4}]{2}}+\sin({\tfrac {1}{8}}\pi ){\bigr ]}\approx 0{,}82779089227667216644238116944423108682427}](https://wikimedia.org/api/rest_v1/media/math/render/svg/691da1c0f1632882c48d082ed5cb5d4c0c134bd4)
![{\displaystyle M_{B5}{\bigl [}\operatorname {tlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}{\bigr ]}\approx 0{,}99428913333521528631700804130802042376474}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9211469f4320eabbbf20f96495a5e249ae8d6ac0)
![{\displaystyle M_{B5}{\bigl [}\operatorname {ctlh} ({\tfrac {\varpi }{\sqrt {32}}})^{2}{\bigr ]}\approx 0{,}7287773026862656530060207070512690149737}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bec0c69739afe07ed92e4dfd6b4a861f4d663284)
![{\displaystyle x\approx 0{,}75192639869405948026865366345020738740978}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8211ef32baca9910fc0292baa5e323eb1e167c54)
Siehe auch
Literatur
- Heinrich Weber: Lehrbuch der Algebra. Vols. I–II. Chelsea, New York 1902, S. 113–114.
- A. O. L. Atkin, F. Morain: Elliptic Curves and Primality Proving. Math. Comput. 61, 29–68, 1993.
- Max Koecher, Aloys Krieg: Elliptische Funktionen und Modulformen. 2. Auflage. Springer-Verlag, Berlin 2007, ISBN 978-3-540-49324-2.
- Edmund Taylor Whittaker, George Neville Watson: A Course in Modern Analysis. 4th ed., Cambridge University Press, Cambridge, England 1990. S. 469–470.
- 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.
- Francesco 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, S. 149–169.
- Jonathan Borwein, Peter Borwein: π and the AGM: A Study in Analytic Number Theory and Computational Complexity. Wiley, 1998, ISBN 978-0-471-31515-5, Seite 139.
Einzelnachweise
- ↑ Eric W. Weisstein: Weber Functions. Abgerufen am 26. April 2022 (englisch).
- ↑ Der Mathematiker Heinrich Weber definierte diese drei Funktionen in seinem Lehrbuch der Algebra auf Seite 114.
- ↑ Eric W. Weisstein: Dedekind Eta Function. Abgerufen am 5. Mai 2022 (englisch).
- ↑ https://archive.org/details/lehrbuchderalgeb03webeuoft/page/244/mode/2up