Der Rogers-Ramanujan-Kettenbruch ist eine mathematische elliptische Funktion . Sie wurde von Leonard James Rogers und Srinivasa Ramanujan entdeckt. Diese Funktion entsteht als Produkt der Fünften-Wurzel-Funktion und des Quotienten der Rogers-Ramanujan-Identitäten H ( x ) / G ( x ) {\displaystyle H(x)/G(x)} .
Definition Domänenfärbungsdiagramm des Konvergenzbereichs A 400 ( x ) / B 400 ( x ) {\displaystyle A_{400}(x)/B_{400}(x)} der Funktion R ( x ) / x 1 / 5 {\displaystyle R(x)/x^{1/5}} Domänenfärbungsdiagramm der Funktion R ( x ) {\displaystyle R(x)} Folgende Formel beschreibt die Definition des Rogers-Ramanujan-Kettenbruchs R(x):
R ( x ) = x 1 / 5 1 + x 1 + x 2 1 + x 3 1 + x 4 1 + x 5 1 + x 6 1 + x 7 ⋱ {\displaystyle R(x)={\cfrac {x^{1/5}}{1+{\cfrac {x}{1+{\cfrac {x^{2}}{1+{\cfrac {x^{3}}{1+{\cfrac {x^{4}}{1+{\cfrac {x^{5}}{1+{\cfrac {x^{6}}{1+{\cfrac {x^{7}}{\ddots }}}}}}}}}}}}}}}}} Diese Funktion steht mit den Rogers-Ramanujan-Identitäten in folgendem Zusammenhang:[1]
G ( x ) = 1 + ∑ n = 1 ∞ x ◻ ( n ) ( x ; x ) n = ( x ; x 5 ) ∞ − 1 ( x 4 ; x 5 ) ∞ − 1 {\displaystyle G(x)=1+\sum _{n=1}^{\infty }{\frac {x^{\Box (n)}}{(x;x)_{n}}}=(x;x^{5})_{\infty }^{-1}(x^{4};x^{5})_{\infty }^{-1}} H ( x ) = 1 + ∑ n = 1 ∞ x 2 △ ( n ) ( x ; x ) n = ( x 2 ; x 5 ) ∞ − 1 ( x 3 ; x 5 ) ∞ − 1 {\displaystyle H(x)=1+\sum _{n=1}^{\infty }{\frac {x^{2\bigtriangleup (n)}}{(x;x)_{n}}}=(x^{2};x^{5})_{\infty }^{-1}(x^{3};x^{5})_{\infty }^{-1}} R ( x ) = x 1 / 5 H ( x ) G ( x ) {\displaystyle R(x)=x^{1/5}{\frac {H(x)}{G(x)}}} Mit dem Viereck wird die n {\displaystyle n} -te Quadratzahl und mit dem Dreieck die n {\displaystyle n} -te Dreieckszahl
Δ n = n ⋅ ( n + 1 ) 2 {\displaystyle \Delta _{n}={\frac {n\cdot (n+1)}{2}}} dargestellt. Und mit ( a ; b ) n {\displaystyle (a;b)_{n}} wird das Pochhammer-Symbol ausgedrückt:
( a ; b ) n = ∏ m = 0 n − 1 ( 1 − a b m ) {\displaystyle (a;b)_{n}=\prod _{m=0}^{n-1}(1-ab^{m})} Hierbei muss n {\displaystyle n} eine natürliche Zahl sein.
Direkt formuliert gilt somit diese Pochhammer-Darstellung:
R ( x ) = x 1 / 5 ( x ; x 5 ) ∞ ( x 4 ; x 5 ) ∞ ( x 2 ; x 5 ) ∞ − 1 ( x 3 ; x 5 ) ∞ − 1 {\displaystyle R(x)=x^{1/5}(x;x^{5})_{\infty }(x^{4};x^{5})_{\infty }(x^{2};x^{5})_{\infty }^{-1}(x^{3};x^{5})_{\infty }^{-1}} Die rechte Seite lässt sich auch als unendliches Produkt darstellen:
R ( x ) = x 1 / 5 ∏ n = 1 ∞ ( 1 − x 5 n − 1 ) ( 1 − x 5 n − 4 ) ( 1 − x 5 n − 2 ) ( 1 − x 5 n − 3 ) {\displaystyle R(x)=x^{1/5}\prod _{n=1}^{\infty }{\frac {(1-x^{5n-1})(1-x^{5n-4})}{(1-x^{5n-2})(1-x^{5n-3})}}} Analog hierzu ist der alternierende Kettenbruch S(x) so definiert:
S ( x ) = x 1 / 5 1 − x 1 + x 2 1 − x 3 1 + x 4 ⋱ {\displaystyle S(x)={\cfrac {x^{1/5}}{1-{\cfrac {x}{1+{\cfrac {x^{2}}{1-{\cfrac {x^{3}}{1+{\cfrac {x^{4}}{\ddots }}}}}}}}}}} Wenn bei der Definition von R ( x ) {\displaystyle R(x)} der Wert x = 1 {\displaystyle x=1} eingesetzt wird, dann entsteht der Kettenbruch für den Kehrwert der goldenen Zahl, der gleich dem Vorgänger der goldenen Zahl ist. Der reelle Definitionsbereich der Rogers-Ramanujan-Kettenbruchfunktion nach der Definition über das Pochhammer-Produkt ist das Intervall [ 0 , 1 ] {\displaystyle \left[0,1\right]} , ihre Bildmenge [ 0 , 1 / Φ ] {\displaystyle \left[0,1/\Phi \right]} . In diesem Intervall ist diese Funktion bijektiv. Das Kürzel Φ := ( 5 + 1 ) / 2 {\displaystyle \Phi :=({\sqrt {5}}+1)/2} steht für die Goldene Zahl . Für reelle x > 1 {\displaystyle x>1} spaltet sich die Funktion nach der Definition über den Kettenbruch zu einer surjektiven Funktion auf. Denn ab diesem Bereich werden jedem x {\displaystyle x} zwei y {\displaystyle y} zugeordnet. Für x = 0 {\displaystyle x=0} beginnt der Graph der Rogers-Ramanujan-Kettenbruchfunktion R ( x ) {\displaystyle R(x)} mit senkrechter Steigung und geht in einen rechtsgekrümmten Verlauf über. Für alle Werte 0 < x ≤ 1 {\displaystyle 0<x\leq 1} ist R ( x ) {\displaystyle R(x)} positiv. Zuerst entdeckte Leonard James Rogers diese Funktion im Jahre 1894. Danach entdeckte Srinivasa Ramanujan dieselbe Funktion im Jahre 1913 unabhängig von Rogers. Als dritter Mathematiker entdeckte Issai Schur diese Funktion im Jahre 1917 unabhängig von den beiden zuvor genannten Personen. Beide Mathematiker erkannten dabei den Zusammenhang der Dedekindschen Etafunktion und der Thetafunktion mit ihrer Kettenbruchfunktion. Besondere Bedeutung erlangte die Rogers-Ramanujan-Kettenbruchfunktion beim Lösen von quintischen Gleichungen in der Bring-Jerrard-Form.
Bezug zu den Thetafunktionen Folgende Definitionen sind für die Theta-Nullwertfunktionen gültig:
ϑ 00 ( x ) = 1 + 2 ∑ n = 1 ∞ x ◻ ( n ) {\displaystyle \vartheta _{00}(x)=1+2\sum _{n=1}^{\infty }x^{\Box (n)}} ϑ 01 ( x ) = 1 − 2 ∑ n = 1 ∞ ( − 1 ) n + 1 x ◻ ( n ) {\displaystyle \vartheta _{01}(x)=1-2\sum _{n=1}^{\infty }(-1)^{n+1}x^{\Box (n)}} ϑ 10 ( x ) = 2 x 1 / 4 + 2 x 1 / 4 ∑ n = 1 ∞ x 2 △ ( n ) {\displaystyle \vartheta _{10}(x)=2x^{1/4}+2x^{1/4}\sum _{n=1}^{\infty }x^{2\bigtriangleup (n)}} Die Rogers-Ramanujan-Kettenbruchfunktionen R ( x ) {\displaystyle R(x)} und S ( x ) {\displaystyle S(x)} stehen zu den Theta-Nullwertfunktionen in diesen Beziehungen:
R ( x ) = tan ⟨ 1 2 arccot { ϑ 01 ( x 1 / 5 ) [ 5 ϑ 01 ( x 5 ) 2 − ϑ 01 ( x ) 2 ] 2 ϑ 01 ( x 5 ) [ ϑ 01 ( x ) 2 − ϑ 01 ( x 1 / 5 ) 2 ] + 1 2 } ⟩ {\displaystyle R(x)=\tan {\biggl \langle }{\frac {1}{2}}\operatorname {arccot} {\biggl \{}{\frac {\vartheta _{01}(x^{1/5})[5\,\vartheta _{01}(x^{5})^{2}-\vartheta _{01}(x)^{2}]}{2\,\vartheta _{01}(x^{5})[\vartheta _{01}(x)^{2}-\vartheta _{01}(x^{1/5})^{2}]}}+{\frac {1}{2}}{\biggr \}}{\biggr \rangle }} S ( x ) = tan ⟨ 1 2 arccot { ϑ 00 ( x 1 / 5 ) [ 5 ϑ 00 ( x 5 ) 2 − ϑ 00 ( x ) 2 ] 2 ϑ 00 ( x 5 ) [ ϑ 00 ( x 1 / 5 ) 2 − ϑ 00 ( x ) 2 ] − 1 2 } ⟩ {\displaystyle S(x)=\tan {\biggl \langle }{\frac {1}{2}}\operatorname {arccot} {\biggl \{}{\frac {\vartheta _{00}(x^{1/5})[5\,\vartheta _{00}(x^{5})^{2}-\vartheta _{00}(x)^{2}]}{2\,\vartheta _{00}(x^{5})[\vartheta _{00}(x^{1/5})^{2}-\vartheta _{00}(x)^{2}]}}-{\frac {1}{2}}{\biggr \}}{\biggr \rangle }} Das Element der fünften Wurzel kann auch vom Nomen der Thetafunktionen entfernt werden und auf die äußere Tangensfunktion übertragen werden. So kann eine Formel gebildet werden, welche nur mit einer von den drei Hauptthetafunktionen auskommt:
R ( x ) = tan { 1 2 arctan [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 1 / 5 tan { 1 2 arccot [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 2 / 5 {\displaystyle R(x)=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{1/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{2/5}} S ( x ) = tan { 1 2 arctan [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 1 / 5 cot { 1 2 arccot [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 2 / 5 {\displaystyle S(x)=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}} Bezug zur Dedekindschen Etafunktion Die zuvorletzt genannte Kettenbruchformel stellt somit den Zusammenhang zur Dedekindschen Etafunktion her:[2]
R ( x ) = tan { 1 2 arccot [ η W ( x 1 / 5 ) 2 η W ( x 5 ) + 1 2 ] } {\displaystyle R(x)=\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\eta _{W}(x^{1/5})}{2\eta _{W}(x^{5})}}+{\frac {1}{2}}{\biggr ]}{\biggr \}}} Denn für die Dedekindsche Etafunktion nach Weberscher Definition[3] gelten diese Formeln:
η W ( x ) = 2 − 1 / 3 ϑ 10 ( x 1 / 2 ) 1 / 3 ϑ 00 ( x 1 / 2 ) 1 / 3 ϑ 01 ( x 1 / 2 ) 1 / 3 {\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}} η W ( x ) = 2 − 1 / 6 ϑ 10 ( x ) 1 / 6 ϑ 00 ( x ) 1 / 6 ϑ 01 ( x ) 2 / 3 {\displaystyle \eta _{W}(x)=2^{-1/6}\vartheta _{10}(x)^{1/6}\vartheta _{00}(x)^{1/6}\vartheta _{01}(x)^{2/3}} η W ( x ) = x 1 / 24 ∏ n = 1 ∞ ( 1 − x n ) = x 1 / 24 ( x ; x ) ∞ {\displaystyle \eta _{W}(x)=x^{1/24}\prod _{n=1}^{\infty }(1-x^{n})=x^{1/24}(x;x)_{\infty }} η W ( x ) = x 1 / 24 ∑ m = 0 ∞ [ x m ( 6 m + 1 ) − x ( 2 m + 1 ) ( 3 m + 1 ) − x ( 2 m + 1 ) ( 3 m + 2 ) + x ( m + 1 ) ( 6 m + 5 ) ] {\displaystyle \eta _{W}(x)=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 ]}} Die letzte von diesen vier Formeln stellt die Beziehung zum Pentagonalzahlensatz von Leonhard Euler her.
So können dann jene zwei reinen Pochhammer-Symbol-Darstellungen für den Rogers-Ramanujan-Kettenbruch formuliert werden:
R ( x ) = tan { 1 2 arccot [ 1 2 x − 1 / 5 ( x 1 / 5 ; x 1 / 5 ) ( x 5 ; x 5 ) − 1 + 1 2 ] } {\displaystyle R(x)=\tan {\bigl \{}{\tfrac {1}{2}}\operatorname {arccot} {\bigl [}{\tfrac {1}{2}}x^{-1/5}(x^{1/5};x^{1/5})(x^{5};x^{5})^{-1}+{\tfrac {1}{2}}{\bigr ]}{\bigr \}}} R ( x ) = x 1 / 5 ( x ; x 5 ) ∞ ( x 4 ; x 5 ) ∞ ( x 2 ; x 5 ) ∞ − 1 ( x 3 ; x 5 ) ∞ − 1 {\displaystyle R(x)=x^{1/5}(x;x^{5})_{\infty }(x^{4};x^{5})_{\infty }(x^{2};x^{5})_{\infty }^{-1}(x^{3};x^{5})_{\infty }^{-1}} Bezug zur Ramanujanschen g-Funktion Auch mit der Ramanujanschen g {\displaystyle g} -Funktion können die Werte der Rogers-Ramanujan-Kettenbruchfunktion berechnet werden.
Die g {\displaystyle g} -Funktion ist so definiert:
g ( x ) = 2 − 1 / 12 ϑ 01 [ exp ( − π x ) ] 1 / 3 ϑ 10 [ exp ( − π x ) ] − 1 / 6 ϑ 00 [ exp ( − π x ) ] − 1 / 6 {\displaystyle g(x)=2^{-1/12}\vartheta _{01}[\exp(-\pi {\sqrt {x}})]^{1/3}\vartheta _{10}[\exp(-\pi {\sqrt {x}})]^{-1/6}\vartheta _{00}[\exp(-\pi {\sqrt {x}})]^{-1/6}} Analog gilt:
g ( 25 x ) = 2 − 1 / 12 ϑ 01 [ exp ( − 5 π x ) ] 1 / 3 ϑ 10 [ exp ( − 5 π x ) ] − 1 / 6 ϑ 00 [ exp ( − 5 π x ) ] − 1 / 6 {\displaystyle g(25x)=2^{-1/12}\vartheta _{01}[\exp(-5\pi {\sqrt {x}})]^{1/3}\vartheta _{10}[\exp(-5\pi {\sqrt {x}})]^{-1/6}\vartheta _{00}[\exp(-5\pi {\sqrt {x}})]^{-1/6}} Und zueinander stehen die beiden Ausdrücke in dieser Beziehung:
g ( 25 x ) 6 − g ( x ) 6 = 2 g ( x ) 5 g ( 25 x ) 5 + 2 g ( x ) g ( 25 x ) {\displaystyle g(25x)^{6}-g(x)^{6}=2g(x)^{5}g(25x)^{5}+2g(x)g(25x)} In Abhängigkeit von dieser Definition gilt für die Kettenbruchfunktion folgende Formel:
R [ exp ( − π x ) ] = tan { 1 2 arctan [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } 1 / 5 tan { 1 2 arccot [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } 2 / 5 {\displaystyle R[\exp(-\pi {\sqrt {x}})]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}^{1/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}^{2/5}} R [ exp ( − 2 π x ) ] = tan { 1 2 arctan [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } 2 / 5 cot { 1 2 arccot [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } 1 / 5 {\displaystyle R[\exp(-2\pi {\sqrt {x}})]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}^{2/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}^{1/5}} Daraus folgt:
tan { 1 2 arctan [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } = R [ exp ( − π x ) ] R [ exp ( − 2 π x ) ] 2 {\displaystyle \tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}=R[\exp(-\pi {\sqrt {x}})]R[\exp(-2\pi {\sqrt {x}})]^{2}} tan { 1 2 arccot [ g ( 25 x ) − 2 g ( x ) 5 2 g ( 25 x ) + g ( x ) 5 ] } = R [ exp ( − π x ) ] 2 R [ exp ( − 2 π x ) ] − 1 {\displaystyle \tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {g(25x)-2g(x)^{5}}{2g(25x)+g(x)^{5}}}{\biggr ]}{\biggr \}}=R[\exp(-\pi {\sqrt {x}})]^{2}R[\exp(-2\pi {\sqrt {x}})]^{-1}} Srinivasa Ramanujan zeigte, dass R {\displaystyle R} für alle positiven rationalen Werte x {\displaystyle x} algebraisch ist. Wenn x {\displaystyle x} sogar eine natürliche Zahl ist, dann ist der Grad des ganzrationalen Lösungspolynoms des zugehörigen Werts R {\displaystyle R} durch 4 teilbar.
Bezug zu den Weberschen Funktionen Für die elliptische Nomenfunktion q ( k ) {\displaystyle q(k)} gilt:
q ( k ) = exp [ − π K ( 1 − k 2 ) K ( k ) − 1 ] {\displaystyle q(k)=\exp {\bigl [}-\pi K({\sqrt {1-k^{2}}})K(k)^{-1}{\bigr ]}} K {\displaystyle K} bezeichnet das vollständige elliptische Integral erster Art.
Die reduzierten Weberschen Modulfunktionen sind so über die Ramanujansche g-Funktion und G-Funktion sowie über die Pochhammerschen Produkte definiert:
w R n ( ε ) = g [ n 2 K ( 1 − ε 2 ) 2 / K ( ε ) 2 ] g [ K ( 1 − ε 2 ) 2 / K ( ε ) 2 ] n = 2 ( n − 1 ) / 4 [ q ( ε ) n ; q ( ε ) 2 n ] ∞ [ q ( ε ) ; q ( ε ) 2 ] ∞ n {\displaystyle w_{Rn}(\varepsilon )={\frac {{\text{g}}[n^{2}K({\sqrt {1-\varepsilon ^{2}}})^{2}/K(\varepsilon )^{2}]}{{\text{g}}[K({\sqrt {1-\varepsilon ^{2}}})^{2}/K(\varepsilon )^{2}]^{n}}}={\frac {2^{(n-1)/4}[q(\varepsilon )^{n};q(\varepsilon )^{2n}]_{\infty }}{[q(\varepsilon );q(\varepsilon )^{2}]_{\infty }^{n}}}} W R n ( ε ) = G [ n 2 K ( 1 − ε 2 ) 2 / K ( ε ) 2 ] G [ K ( 1 − ε 2 ) 2 / K ( ε ) 2 ] n = 2 ( n − 1 ) / 4 [ q ( ε ) 2 n ; q ( ε ) 4 n ] ∞ [ q ( ε ) ; q ( ε ) 2 ] ∞ n [ q ( ε ) n ; q ( ε ) 2 n ] ∞ [ q ( ε ) 2 ; q ( ε ) 4 ] ∞ n {\displaystyle W_{Rn}(\varepsilon )={\frac {{\text{G}}[n^{2}K({\sqrt {1-\varepsilon ^{2}}})^{2}/K(\varepsilon )^{2}]}{{\text{G}}[K({\sqrt {1-\varepsilon ^{2}}})^{2}/K(\varepsilon )^{2}]^{n}}}={\frac {2^{(n-1)/4}[q(\varepsilon )^{2n};q(\varepsilon )^{4n}]_{\infty }[q(\varepsilon );q(\varepsilon )^{2}]_{\infty }^{n}}{[q(\varepsilon )^{n};q(\varepsilon )^{2n}]_{\infty }[q(\varepsilon )^{2};q(\varepsilon )^{4}]_{\infty }^{n}}}} Für den Fall mit dem Index n = 5 gilt außerdem:
w R 5 ( ε ) = 5 ϑ 01 [ q ( ε ) 5 ] 2 2 ϑ 01 [ q ( ε ) ] 2 − 1 2 = nc [ 4 5 K ( ε ) ; ε ] − nc [ 2 5 K ( ε ) ; ε ] {\displaystyle w_{R5}(\varepsilon )={\frac {5\,\vartheta _{01}[q(\varepsilon )^{5}]^{2}}{2\,\vartheta _{01}[q(\varepsilon )]^{2}}}-{\frac {1}{2}}={\text{nc}}{\bigl [}{\tfrac {4}{5}}K(\varepsilon );\varepsilon {\bigr ]}-{\text{nc}}{\bigl [}{\tfrac {2}{5}}K(\varepsilon );\varepsilon {\bigr ]}} W R 5 ( ε ) = 5 ϑ 00 [ q ( ε ) 5 ] 2 2 ϑ 00 [ q ( ε ) ] 2 − 1 2 = dn [ 2 5 K ( ε ) ; ε ] + dn [ 4 5 K ( ε ) ; ε ] {\displaystyle W_{R5}(\varepsilon )={\frac {5\,\vartheta _{00}[q(\varepsilon )^{5}]^{2}}{2\,\vartheta _{00}[q(\varepsilon )]^{2}}}-{\frac {1}{2}}={\text{dn}}{\bigl [}{\tfrac {2}{5}}K(\varepsilon );\varepsilon {\bigr ]}+{\text{dn}}{\bigl [}{\tfrac {4}{5}}K(\varepsilon );\varepsilon {\bigr ]}} Und mit diesen Gleichungen sechsten Grades können die Werte dieser beiden Funktionen berechnet werden:
w R 5 ( ε ) 6 − 2 w R 5 ( ε ) 5 = tan [ 2 arctan ( ε ) ] 2 [ 2 w R 5 ( ε ) + 1 ] {\displaystyle w_{R5}(\varepsilon )^{6}-2\,w_{R5}(\varepsilon )^{5}=\tan {\bigl [}2\arctan(\varepsilon ){\bigr ]}^{2}{\bigl [}2\,w_{R5}(\varepsilon )+1{\bigr ]}} 2 W R 5 ( ε ) 5 − W R 5 ( ε ) 6 = sin [ 2 arcsin ( ε ) ] 2 [ 2 W R 5 ( ε ) + 1 ] {\displaystyle 2\,W_{R5}(\varepsilon )^{5}-W_{R5}(\varepsilon )^{6}=\sin {\bigl [}2\arcsin(\varepsilon ){\bigr ]}^{2}{\bigl [}2\,W_{R5}(\varepsilon )+1{\bigr ]}} Mit der Nomenfunktion und den reduzierten Weberschen Funktionen können die Kettenbruchfunktionen R {\displaystyle R} und S {\displaystyle S} so formuliert werden:
R [ q ( k ) ] = tan { 1 2 arctan [ w R 5 ( k ) − 2 2 w R 5 ( k ) + 1 ] } 1 / 5 tan { 1 2 arccot [ w R 5 ( k ) − 2 2 w R 5 ( k ) + 1 ] } 2 / 5 {\displaystyle R[q(k)]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {w_{R5}(k)-2}{2\,w_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{1/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {w_{R5}(k)-2}{2\,w_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{2/5}} R [ q ( k ) 2 ] = tan { 1 2 arctan [ w R 5 ( k ) − 2 2 w R 5 ( k ) + 1 ] } 2 / 5 cot { 1 2 arccot [ w R 5 ( k ) − 2 2 w R 5 ( k ) + 1 ] } 1 / 5 {\displaystyle R[q(k)^{2}]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {w_{R5}(k)-2}{2\,w_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{2/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {w_{R5}(k)-2}{2\,w_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{1/5}} R [ q ( k ) 2 ] = tan { 1 2 arctan [ 2 − W R 5 ( k ) 2 W R 5 ( k ) + 1 ] } 2 / 5 tan { 1 2 arccot [ 2 − W R 5 ( k ) 2 W R 5 ( k ) + 1 ] } 1 / 5 {\displaystyle R[q(k)^{2}]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {2-W_{R5}(k)}{2\,W_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{2/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {2-W_{R5}(k)}{2\,W_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{1/5}} S [ q ( k ) ] = tan { 1 2 arctan [ 2 − W R 5 ( k ) 2 W R 5 ( k ) + 1 ] } 1 / 5 cot { 1 2 arccot [ 2 − W R 5 ( k ) 2 W R 5 ( k ) + 1 ] } 2 / 5 {\displaystyle S[q(k)]=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {2-W_{R5}(k)}{2\,W_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{1/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {2-W_{R5}(k)}{2\,W_{R5}(k)+1}}{\biggr ]}{\biggr \}}^{2/5}} S [ q ( k ) ] = tan { 1 2 arccot [ 5 W R 5 ( k ) 2 W R 5 ( k ′ ) + 1 2 W R 5 ( k ′ ) 2 W R 5 ( k ) + 1 − 1 2 ] } {\displaystyle S[q(k)]=\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {{\sqrt {5}}\,W_{R5}(k){\sqrt {2\,W_{R5}(k')+1}}}{2\,W_{R5}(k'){\sqrt {2\,W_{R5}(k)+1}}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}} Werte der Rogers-Ramanujan-Kettenbruchfunktion Erzeugung der reduzierten Weberschen Funktionswerte Im Folgenden sollen mit den genannten Gleichungen sechsten Grades wichtige Weberschen Funktionswerte ermittelt werden. Hierbei werden in dem folgenden Abschnitt die Gleichungen blau und die direkt aus den Gleichungen folgenden Lösungen grün markiert. Und die jeweiligen Quadrate der Sinusverdopplungen und Tangensverdopplungen der betroffenen elliptischen Module erhalten die violette Farbe. Als elliptische Module werden in die Ausgangsgleichungen sechsten Grades die elliptischen Lambda-Stern-Funktionswerte der positiven rationalen Zahlen eingetragen.
Gleichungen für die große W-Funktion:
Gleichung für den lemniskatischen Modul λ*(1):
2 W R 5 ( 1 2 2 ) 5 − W R 5 ( 1 2 2 ) 6 = 2 W R 5 ( 1 2 2 ) + 1 {\displaystyle {\color {blue}2\,W_{R5}({\tfrac {1}{2}}{\sqrt {2}})^{5}-W_{R5}({\tfrac {1}{2}}{\sqrt {2}})^{6}=2\,W_{R5}({\tfrac {1}{2}}{\sqrt {2}})+1}} W R 5 ( 1 2 2 ) = 1 2 ( 5 + 1 ) = Φ {\displaystyle {\color {ForestGreen}W_{R5}({\tfrac {1}{2}}{\sqrt {2}})={\tfrac {1}{2}}({\sqrt {5}}+1)=\Phi }} Gleichungen für die lemniskatischen Module des kubizierten Nomens λ*(9) und λ*(1/9):
2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] 5 − W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] 6 = ( 2 − 3 ) 4 { 2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] + 1 } {\displaystyle {\color {blue}2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]^{5}-W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]^{6}={\color {blueviolet}(2-{\sqrt {3}})^{4}}{\bigl \{}2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]+1{\bigr \}}}} W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] = 1 8 ( 3 − 1 ) ( 5 + 1 ) ( 5 + 3 + 60 4 ) {\displaystyle {\color {ForestGreen}W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]={\tfrac {1}{8}}({\sqrt {3}}-1)({\sqrt {5}}+1)({\sqrt {5}}+{\sqrt {3}}+{\sqrt[{4}]{60}})}} 2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 + 3 4 ) ] 5 − W R 5 [ 1 2 ( 3 − 1 ) ( 2 + 3 4 ) ] 6 = ( 2 − 3 ) 4 { 2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 + 3 4 ) ] + 1 } {\displaystyle {\color {blue}2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]^{5}-W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]^{6}={\color {blueviolet}(2-{\sqrt {3}})^{4}}{\bigl \{}2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]+1{\bigr \}}}} W R 5 [ 1 2 ( 3 − 1 ) ( 2 + 3 4 ) ] = 1 8 ( 3 − 1 ) ( 5 + 1 ) ( 5 + 3 − 60 4 ) {\displaystyle {\color {ForestGreen}W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]={\tfrac {1}{8}}({\sqrt {3}}-1)({\sqrt {5}}+1)({\sqrt {5}}+{\sqrt {3}}-{\sqrt[{4}]{60}})}} Beide W-Werte lösen dieselbe Gleichung sechsten Grades! Gleichungen für die äquianharmonischen Module λ*(3) und λ*(1/3):
2 W R 5 [ 1 4 ( 6 − 2 ) ] 5 − W R 5 [ 1 4 ( 6 − 2 ) ] 6 = 1 4 { 2 W R 5 [ 1 4 ( 6 − 2 ) ] + 1 } {\displaystyle {\color {blue}2\,W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}^{5}-W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}^{6}={\color {blueviolet}{\tfrac {1}{4}}}{\bigl \{}2\,W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}+1{\bigr \}}}} W R 5 [ 1 4 ( 6 − 2 ) ] = 1 12 ( 10 3 + 2 ) 2 + 1 4 80 6 {\displaystyle {\color {ForestGreen}W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}){\bigr ]}={\tfrac {1}{12}}({\sqrt[{3}]{10}}+2)^{2}+{\tfrac {1}{4}}{\sqrt[{6}]{80}}}} 2 W R 5 [ 1 4 ( 6 + 2 ) ] 5 − W R 5 [ 1 4 ( 6 + 2 ) ] 6 = 1 4 { 2 W R 5 [ 1 4 ( 6 + 2 ) ] + 1 } {\displaystyle {\color {blue}2\,W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}^{5}-W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}^{6}={\color {blueviolet}{\tfrac {1}{4}}}{\bigl \{}2\,W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}+1{\bigr \}}}} W R 5 [ 1 4 ( 6 + 2 ) ] = 1 12 ( 10 3 + 2 ) 2 − 1 4 80 6 {\displaystyle {\color {ForestGreen}W_{R5}{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}}){\bigr ]}={\tfrac {1}{12}}({\sqrt[{3}]{10}}+2)^{2}-{\tfrac {1}{4}}{\sqrt[{6}]{80}}}} Auch hier lösen beide W-Werte dieselbe Gleichung sechsten Grades.
Denn die beiden Module k sind zueinander Pythagoräisch komplementär.
Gleichungen für die kleine w-Funktion:
Gleichung für λ*(2):
w R 5 ( 2 − 1 ) 6 − 2 w R 5 ( 2 − 1 ) 5 = 2 w R 5 ( 2 − 1 ) + 1 {\displaystyle {\color {blue}w_{R5}({\sqrt {2}}-1)^{6}-2\,w_{R5}({\sqrt {2}}-1)^{5}=2\,w_{R5}({\sqrt {2}}-1)+1}} w R 5 ( 2 − 1 ) = g ( 50 ) = 1 2 { 4 3 2 cos ( 1 10 π ) cosh [ 1 3 artanh ( 3 8 6 ) ] + 1 3 tan ( 1 5 π ) } 2 − 1 2 = {\displaystyle {\color {ForestGreen}w_{R5}({\sqrt {2}}-1)={\text{g}}(50)={\tfrac {1}{2}}{\bigl \{}{\tfrac {4}{3}}{\sqrt {2}}\cos({\tfrac {1}{10}}\pi )\cosh[{\tfrac {1}{3}}\operatorname {artanh} ({\tfrac {3}{8}}{\sqrt {6}})]+{\tfrac {1}{3}}\tan({\tfrac {1}{5}}\pi ){\bigr \}}^{2}-{\tfrac {1}{2}}=}} = 1 2 ( 5 − 1 ) cot [ 1 4 π − arctan ( 1 3 5 − 1 3 6 30 + 4 5 3 + 1 3 6 30 − 4 5 3 ) ] = {\displaystyle {\color {ForestGreen}={\tfrac {1}{2}}({\sqrt {5}}-1)\cot {\bigl [}{\tfrac {1}{4}}\pi -\arctan {\bigl (}{\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}{\bigr )}{\bigr ]}=}} ≈ 2 , 12190403802900202926 {\displaystyle {\color {ForestGreen}\approx 2,12190403802900202926}} g(50) steht für folgenden Wert aus der Ramanujanschen g-Funktion.
Gleichung für λ*(6) und λ*(2/3):
w R 5 [ ( 2 − 3 ) ( 3 − 2 ) ] 6 − 2 w R 5 [ ( 2 − 3 ) ( 3 − 2 ) ] 5 = ( 2 − 1 ) 4 { 2 w R 5 [ ( 2 − 3 ) ( 3 − 2 ) ] + 1 } {\displaystyle {\color {blue}w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]^{6}-2\,w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]^{5}={\color {blueviolet}({\sqrt {2}}-1)^{4}}{\bigl \{}2\,w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]+1{\bigr \}}}} w R 5 [ ( 2 − 3 ) ( 3 − 2 ) ] = cot [ 1 4 π − 1 4 arccsc ( 1 4 10 + 1 4 ) ] {\displaystyle {\color {ForestGreen}w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]=\cot[{\tfrac {1}{4}}\pi -{\tfrac {1}{4}}\operatorname {arccsc}({\tfrac {1}{4}}{\sqrt {10}}+{\tfrac {1}{4}})]}} w R 5 [ ( 2 − 3 ) ( 3 + 2 ) ] 6 − 2 w R 5 [ ( 2 − 3 ) ( 3 + 2 ) ] 5 = ( 2 + 1 ) 4 { 2 w R 5 [ ( 2 − 3 ) ( 3 + 2 ) ] + 1 } {\displaystyle {\color {blue}w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]^{6}-2\,w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]^{5}={\color {blueviolet}({\sqrt {2}}+1)^{4}}{\bigl \{}2\,w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]+1{\bigr \}}}} w R 5 [ ( 2 − 3 ) ( 3 + 2 ) ] = cot [ 1 4 arccsc ( 1 4 10 + 1 4 ) ] {\displaystyle {\color {ForestGreen}w_{R5}[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]=\cot[{\tfrac {1}{4}}\operatorname {arccsc}({\tfrac {1}{4}}{\sqrt {10}}+{\tfrac {1}{4}})]}} Hier sind die beiden Gleichungen sechsten Grades unterschiedlich. Der violett markierten Vorfaktoren sind zueinander Kehrwerte. Denn die betroffenen Module sind zueinander tangentiell komplementär.
Berechnung der Werte für die Kettenbrüche R und S Wichtige Funktionswerte des elliptischen Nomens :
q ( 1 2 2 ) = e − π {\displaystyle q({\tfrac {1}{2}}{\sqrt {2}})={\text{e}}^{-\pi }} q ( 2 − 1 ) = e − 2 π {\displaystyle q({\sqrt {2}}-1)={\text{e}}^{-{\sqrt {2}}\pi }} q [ 1 4 ( 6 − 2 ) ] = e − 3 π {\displaystyle q[{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}})]={\text{e}}^{-{\sqrt {3}}\pi }} q [ 1 4 ( 6 + 2 ) ] = exp ( − 1 3 3 π ) {\displaystyle q[{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}})]=\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )} q [ ( 2 − 3 ) ( 3 − 2 ) ] = e − 6 π {\displaystyle q[(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}})]={\text{e}}^{-{\sqrt {6}}\pi }} q [ ( 2 − 3 ) ( 3 + 2 ) ] = exp ( − 1 3 6 π ) {\displaystyle q[(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}})]=\exp(-{\tfrac {1}{3}}{\sqrt {6}}\,\pi )} q [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] = e − 3 π {\displaystyle q[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]={\text{e}}^{-3\pi }} q [ 1 2 ( 3 − 1 ) ( 2 + 3 4 ) ] = exp ( − 1 3 π ) {\displaystyle q[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}})]=\exp(-{\tfrac {1}{3}}\pi )} Berechnung mit den Resultaten von der großen W-Funktion:
Lemniskatische Fälle:
Erstes Resultat:
W R 5 ( 1 2 2 ) = 1 2 ( 5 + 1 ) = Φ {\displaystyle {\color {ForestGreen}W_{R5}({\tfrac {1}{2}}{\sqrt {2}})={\tfrac {1}{2}}({\sqrt {5}}+1)=\Phi }} R ( e − 2 π ) = R [ q ( 1 2 2 ) 2 ] = {\displaystyle {\color {RoyalBlue}R({\text{e}}^{-2\pi })}=R{\bigl [}q({\tfrac {1}{2}}{\sqrt {2}})^{2}{\bigr ]}=} = tan { 1 2 arctan [ 2 − W R 5 ( 1 2 2 ) 2 W R 5 ( 1 2 2 ) + 1 ] } 2 / 5 tan { 1 2 arccot [ 2 − W R 5 ( 1 2 2 ) 2 W R 5 ( 1 2 2 ) + 1 ] } 1 / 5 = {\displaystyle =\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {2-W_{R5}({\tfrac {1}{2}}{\sqrt {2}})}{2\,W_{R5}({\tfrac {1}{2}}{\sqrt {2}})+1}}{\biggr ]}{\biggr \}}^{2/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {2-W_{R5}({\tfrac {1}{2}}{\sqrt {2}})}{2\,W_{R5}({\tfrac {1}{2}}{\sqrt {2}})+1}}{\biggr ]}{\biggr \}}^{1/5}=} = 4 sin ( 1 20 π ) sin ( 3 20 π ) = tan [ 1 4 arctan ( 2 ) ] ≈ 0,284 07904384 {\displaystyle {\color {limegreen}=4\sin({\tfrac {1}{20}}\pi )\sin({\tfrac {3}{20}}\pi )=\tan[{\tfrac {1}{4}}\arctan(2)]\approx 0{,}28407904384}} Zweites Resultat:
W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] = 1 8 ( 3 − 1 ) ( 5 + 1 ) ( 5 + 3 + 60 4 ) {\displaystyle {\color {ForestGreen}W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]={\tfrac {1}{8}}({\sqrt {3}}-1)({\sqrt {5}}+1)({\sqrt {5}}+{\sqrt {3}}+{\sqrt[{4}]{60}})}} R ( e − 6 π ) = R { q [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] 2 } = {\displaystyle {\color {RoyalBlue}R({\text{e}}^{-6\pi })}=R{\bigl \{}q[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]^{2}{\bigr \}}=} = tan ⟨ 1 2 arctan { 2 − W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] 2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] + 1 } ⟩ 2 / 5 tan ⟨ 1 2 arccot { 2 − W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] 2 W R 5 [ 1 2 ( 3 − 1 ) ( 2 − 3 4 ) ] + 1 } ⟩ 1 / 5 = {\displaystyle =\tan {\biggl \langle }{\frac {1}{2}}\arctan {\biggl \{}{\frac {2-W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]}{2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]+1}}{\biggr \}}{\biggr \rangle }^{2/5}\tan {\biggl \langle }{\frac {1}{2}}\operatorname {arccot} {\biggl \{}{\frac {2-W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]}{2\,W_{R5}[{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}})]+1}}{\biggr \}}{\biggr \rangle }^{1/5}=} = 1 8 ( 5 + 3 ) ( 5 + 3 ) cot ( 1 10 π ) − 1 8 ( 5 15 + 11 5 + 15 3 + 19 ) + {\displaystyle {\color {limegreen}={\tfrac {1}{8}}(5+{\sqrt {3}})({\sqrt {5}}+{\sqrt {3}})\cot({\tfrac {1}{10}}\pi )-{\tfrac {1}{8}}(5{\sqrt {15}}+11{\sqrt {5}}+15{\sqrt {3}}+19)+}} + 1 8 60 4 [ ( 2 5 + 3 3 + 1 ) cot ( 1 10 π ) − 2 15 − 4 5 − 5 3 − 5 ] ≈ 0,023 0541106 {\displaystyle {\color {limegreen}+{\tfrac {1}{8}}{\sqrt[{4}]{60}}\,[(2{\sqrt {5}}+3{\sqrt {3}}+1)\cot({\tfrac {1}{10}}\pi )-2{\sqrt {15}}-4{\sqrt {5}}-5{\sqrt {3}}-5]\approx 0{,}0230541106}} Fall für λ*(2):
w R 5 ( 2 − 1 ) = g ( 50 ) = 1 2 { 4 3 2 cos ( 1 10 π ) cosh [ 1 3 artanh ( 3 8 6 ) ] + 1 3 tan ( 1 5 π ) } 2 − 1 2 {\displaystyle {\color {ForestGreen}w_{R5}({\sqrt {2}}-1)={\text{g}}(50)={\tfrac {1}{2}}{\bigl \{}{\tfrac {4}{3}}{\sqrt {2}}\cos({\tfrac {1}{10}}\pi )\cosh[{\tfrac {1}{3}}\operatorname {artanh} ({\tfrac {3}{8}}{\sqrt {6}})]+{\tfrac {1}{3}}\tan({\tfrac {1}{5}}\pi ){\bigr \}}^{2}-{\tfrac {1}{2}}}} R ( e − 2 π ) = R [ q ( 2 − 1 ) ] = {\displaystyle {\color {RoyalBlue}R({\text{e}}^{-{\sqrt {2}}\pi })}=R{\bigl [}q({\sqrt {2}}-1){\bigr ]}=} = tan { 1 2 arctan [ w R 5 ( 2 − 1 ) − 2 2 w R 5 ( 2 − 1 ) + 1 ] } 1 / 5 tan { 1 2 arccot [ w R 5 ( 2 − 1 ) − 2 2 w R 5 ( 2 − 1 ) + 1 ] } 2 / 5 {\displaystyle =\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {w_{R5}({\sqrt {2}}-1)-2}{2\,w_{R5}({\sqrt {2}}-1)+1}}{\biggr ]}{\biggr \}}^{1/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {w_{R5}({\sqrt {2}}-1)-2}{2\,w_{R5}({\sqrt {2}}-1)+1}}{\biggr ]}{\biggr \}}^{2/5}} = tan [ arctan ( 1 3 5 − 1 3 6 30 + 4 5 3 + 1 3 6 30 − 4 5 3 ) − 1 4 arccot ( 2 ) ] = {\displaystyle {\color {limegreen}=\tan {\bigl [}\arctan({\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,)-{\tfrac {1}{4}}\operatorname {arccot}(2){\bigr ]}=}} = tan { 1 2 arccot [ 1 2 5 g ( 50 ) − 1 + 1 2 ] } ≈ 0,406 4605813 {\displaystyle {\color {limegreen}=\tan {\bigl \{}{\tfrac {1}{2}}\operatorname {arccot} {\bigl [}{\tfrac {1}{2}}{\sqrt {5}}\,{\text{g}}(50)^{-1}+{\tfrac {1}{2}}{\bigr ]}{\bigr \}}\approx 0{,}4064605813}} Liste der Werte Im Folgenden werden die genannten Werte und weitere Werte[4] aufgelistet:
R ( 0 ) = 0 {\displaystyle R(0)=0} R ( 1 ) = 1 2 ( 5 − 1 ) {\displaystyle R(1)={\tfrac {1}{2}}({\sqrt {5}}-1)} R [ exp ( − 2 5 5 π ) ] = 4 sin ( 1 20 π ) sin ( 3 20 π ) tan ( 1 20 π ) 5 {\displaystyle R[\exp(-{\tfrac {2}{5}}{\sqrt {5}}\pi )]={\sqrt[{5}]{4\sin({\tfrac {1}{20}}\pi )\sin({\tfrac {3}{20}}\pi )\tan({\tfrac {1}{20}}\pi )}}} R [ exp ( − π ) ] = 1 4 ( 5 + 1 ) ( 5 − 5 + 2 ) ( 5 + 2 + 5 4 ) = tan [ 1 4 arctan ( 2 ) + 1 2 arcsin ( Φ − 2 ) ] {\displaystyle R[\exp(-\pi )]={\tfrac {1}{4}}({\sqrt {5}}+1)({\sqrt {5}}-{\sqrt {{\sqrt {5}}+2}})({\sqrt {{\sqrt {5}}+2}}+{\sqrt[{4}]{5}})=\tan {\bigl [}{\tfrac {1}{4}}\arctan(2)+{\tfrac {1}{2}}\arcsin(\Phi ^{-2}){\bigr ]}} R [ exp ( − 2 π ) ] = tan [ arctan ( 1 3 5 − 1 3 6 30 + 4 5 3 + 1 3 6 30 − 4 5 3 ) − 1 4 arccot ( 2 ) ] {\displaystyle R[\exp(-{\sqrt {2}}\pi )]=\tan {\bigl [}\arctan({\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,)-{\tfrac {1}{4}}\operatorname {arccot}(2){\bigr ]}} R [ exp ( − 2 π ) ] = 4 sin ( 1 20 π ) sin ( 3 20 π ) = tan [ 1 4 arctan ( 2 ) ] {\displaystyle R[\exp(-2\pi )]=4\sin({\tfrac {1}{20}}\pi )\sin({\tfrac {3}{20}}\pi )=\tan {\bigl [}{\tfrac {1}{4}}\arctan(2){\bigr ]}} R [ exp ( − 2 2 π ) ] = tan [ 1 4 arccot ( − 2 ) − arctan ( 1 3 5 − 1 3 6 30 + 4 5 3 + 1 3 6 30 − 4 5 3 ) ] {\displaystyle R[\exp(-2{\sqrt {2}}\pi )]=\tan {\bigl [}{\tfrac {1}{4}}\operatorname {arccot}(-2)-\arctan({\tfrac {1}{3}}{\sqrt {5}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}+4{\sqrt {5}}}}+{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {30}}-4{\sqrt {5}}}}\,){\bigr ]}} R [ exp ( − 6 π ) ] = tan { 1 2 arccot [ 1 8 ( 140 10 − 180 5 − 300 2 + 400 + 5 10 − 4 5 − 5 2 + 14 ) ] } {\displaystyle R[\exp(-{\sqrt {6}}\pi )]=\tan {\bigl \{}{\tfrac {1}{2}}\operatorname {arccot} {\bigl [}{\tfrac {1}{8}}{\bigl (}{\sqrt {140{\sqrt {10}}-180{\sqrt {5}}-300{\sqrt {2}}+400}}+5{\sqrt {10}}-4{\sqrt {5}}-5{\sqrt {2}}+14{\bigr )}{\bigr ]}{\bigr \}}} R [ exp ( − 4 π ) ] = 1 4 ( 5 + 1 ) ( 5 − 5 + 2 ) ( 5 + 2 − 5 4 ) = tan [ 1 4 arctan ( 2 ) − 1 2 arcsin ( Φ − 2 ) ] {\displaystyle R[\exp(-4\pi )]={\tfrac {1}{4}}({\sqrt {5}}+1)({\sqrt {5}}-{\sqrt {{\sqrt {5}}+2}})({\sqrt {{\sqrt {5}}+2}}-{\sqrt[{4}]{5}})=\tan {\bigl [}{\tfrac {1}{4}}\arctan(2)-{\tfrac {1}{2}}\arcsin(\Phi ^{-2}){\bigr ]}} R [ exp ( − 2 5 π ) ] = 5 [ 1 + ( 5 − 1 ) 4 sin ( 1 20 π ) 3 sin ( 3 20 π ) 5 ] − 1 − 1 2 ( 5 + 1 ) {\displaystyle R[\exp(-2{\sqrt {5}}\pi )]={\sqrt {5}}[1+{\sqrt[{5}]{({\sqrt {5}}-1)^{4}\sin({\tfrac {1}{20}}\pi )^{3}\sin({\tfrac {3}{20}}\pi )}}]^{-1}-{\tfrac {1}{2}}({\sqrt {5}}+1)} R [ exp ( − 6 π ) ] = 1 8 ( 5 + 3 ) ( 5 + 3 ) cot ( 1 10 π ) − 1 8 ( 5 15 + 11 5 + 15 3 + 19 ) + {\displaystyle R[\exp(-6\pi )]={\tfrac {1}{8}}(5+{\sqrt {3}})({\sqrt {5}}+{\sqrt {3}})\cot({\tfrac {1}{10}}\pi )-{\tfrac {1}{8}}(5{\sqrt {15}}+11{\sqrt {5}}+15{\sqrt {3}}+19)+} + 1 8 60 4 [ ( 2 5 + 3 3 + 1 ) cot ( 1 10 π ) − 2 15 − 4 5 − 5 3 − 5 ] {\displaystyle +{\tfrac {1}{8}}{\sqrt[{4}]{60}}[(2{\sqrt {5}}+3{\sqrt {3}}+1)\cot({\tfrac {1}{10}}\pi )-2{\sqrt {15}}-4{\sqrt {5}}-5{\sqrt {3}}-5]} Theoreme Für die Ermittlung der Werte dient u. a. dieses Theorem für das Quadrieren:
R ( x ) R ( x 2 ) 2 [ R ( x 2 ) + R ( x ) 2 ] = R ( x 2 ) − R ( x ) 2 {\displaystyle R(x)R(x^{2})^{2}[R(x^{2})+R(x)^{2}]=R(x^{2})-R(x)^{2}} Das Theorem kann auch so dargestellt werden:
arctan [ R ( x ) 2 R ( x 2 ) − 1 ] + arctan [ R ( x ) R ( x 2 ) 2 ] = 1 4 π {\displaystyle \arctan[R(x)^{2}R(x^{2})^{-1}]+\arctan[R(x)R(x^{2})^{2}]={\tfrac {1}{4}}\pi } Mit den Operatoren der Tangenssumme und der Tangensdifferenz können folgende Ausdrücke aufgestellt werden:
R ( x ) 2 R ( x 2 ) − 1 ⊕ R ( x ) R ( x 2 ) 2 = 1 {\displaystyle R(x)^{2}R(x^{2})^{-1}\oplus R(x)R(x^{2})^{2}=1} S ( x ) 2 R ( x 2 ) − 1 ⊖ S ( x ) R ( x 2 ) 2 = 1 {\displaystyle S(x)^{2}R(x^{2})^{-1}\ominus S(x)R(x^{2})^{2}=1} Für das Kubieren gilt:
3 R ( x 3 ) 2 R ( x ) 2 = [ R ( x 3 ) − R ( x ) 3 ] [ 1 + R ( x 3 ) 3 R ( x ) ] {\displaystyle 3R(x^{3})^{2}R(x)^{2}=[R(x^{3})-R(x)^{3}][1+R(x^{3})^{3}R(x)]} Außerdem gelten folgende Formeln:[5]
2 arctan { R [ exp ( − 2 π w ) ] } + 2 arctan { R [ exp ( − 2 π / w ) ] } = arctan ( 2 ) {\displaystyle 2\arctan\{R[\exp(-2\pi w)]\}+2\arctan\{R[\exp(-2\pi /w)]\}=\arctan(2)} { R [ exp ( − 2 π w ) ] + Φ } { R [ exp ( − 2 π / w ) ] + Φ } = 5 Φ {\displaystyle \{R[\exp(-2\pi w)]+\Phi \}\{R[\exp(-2\pi /w)]+\Phi \}={\sqrt {5}}\Phi } { R [ exp ( − 2 5 5 π w ) ] 5 + Φ 5 } { R [ exp ( − 2 5 5 π / w ) ] 5 + Φ 5 } = 5 5 Φ 5 {\displaystyle \{R[\exp(-{\tfrac {2}{5}}{\sqrt {5}}\pi w)]^{5}+\Phi ^{5}\}\{R[\exp(-{\tfrac {2}{5}}{\sqrt {5}}\pi /w)]^{5}+\Phi ^{5}\}=5{\sqrt {5}}\Phi ^{5}} Dabei steht Φ {\displaystyle \Phi } für die Goldene Zahl ( 5 + 1 ) / 2 {\displaystyle ({\sqrt {5}}+1)/2} , welche der Grenzwert des Quotienten sukzessiver Folgenglieder in der Fibonacci-Folge ist.
Die Reflexionstheoreme wurden unter anderem von Nikolaos Bagis und Soon Yi Kang sowie auch von Rajeev Kohli erforscht. Kohli analysierte die Theoreme in seinem Aufsatz Properties of reciprocity formulas for the Rogers-Ramanujan continued fractions akkurat.
Thetafunktionswerte der fünften Wurzeln Im Folgenden werden die trigonometrischen Beziehungen
R ( x ) = tan { 1 2 arctan [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 1 / 5 tan { 1 2 arccot [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 2 / 5 {\displaystyle R(x)=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{1/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{2/5}} R ( x 2 ) = tan { 1 2 arctan [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 2 / 5 cot { 1 2 arccot [ 1 2 − ϑ 01 ( x ) 2 2 ϑ 01 ( x 5 ) 2 ] } 1 / 5 {\displaystyle R(x^{2})=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{2/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {1}{2}}-{\frac {\vartheta _{01}(x)^{2}}{2\vartheta _{01}(x^{5})^{2}}}{\biggr ]}{\biggr \}}^{1/5}} R ( x 2 ) = tan { 1 2 arctan [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 2 / 5 tan { 1 2 arccot [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 1 / 5 {\displaystyle R(x^{2})=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}} Die alternierende Rogers-Ramanujan-Kettenbruchfunktion S(x) hat die nachfolgenden beiden Identitäten:
S ( x ) = R ( x 4 ) R ( x 2 ) R ( x ) = tan { 1 2 arctan [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 1 / 5 cot { 1 2 arccot [ ϑ 00 ( x ) 2 2 ϑ 00 ( x 5 ) 2 − 1 2 ] } 2 / 5 {\displaystyle S(x)={\frac {R(x^{4})}{R(x^{2})R(x)}}=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(x)^{2}}{2\vartheta _{00}(x^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}} Die Thetafunktionswerte von der fünften Wurzel des Nomens können als rationale Kombination der Kettenbrüche R und S und der Thetafunktionswerte von der fünften Potenz des Nomens und vom Nomen selbst dargestellt werden. Die nun folgenden vier Gleichungen sind für alle Werte x zwischen 0 und 1 gültig:
ϑ 00 ( x 1 / 5 ) ϑ 00 ( x 5 ) − 1 = 1 S ( x ) [ S ( x ) 2 + R ( x 2 ) ] [ 1 + R ( x 2 ) S ( x ) ] {\displaystyle {\frac {\vartheta _{00}(x^{1/5})}{\vartheta _{00}(x^{5})}}-1={\frac {1}{S(x)}}[S(x)^{2}+R(x^{2})][1+R(x^{2})S(x)]} 1 − ϑ 01 ( x 1 / 5 ) ϑ 01 ( x 5 ) = 1 R ( x ) [ R ( x 2 ) + R ( x ) 2 ] [ 1 − R ( x 2 ) R ( x ) ] {\displaystyle 1-{\frac {\vartheta _{01}(x^{1/5})}{\vartheta _{01}(x^{5})}}={\frac {1}{R(x)}}[R(x^{2})+R(x)^{2}][1-R(x^{2})R(x)]} ϑ 00 ( x 1 / 5 ) 2 − ϑ 00 ( x ) 2 = [ ϑ 00 ( x ) 2 − ϑ 00 ( x 5 ) 2 ] [ 1 + 1 R ( x 2 ) S ( x ) + R ( x 2 ) S ( x ) + 1 R ( x 2 ) 2 + R ( x 2 ) 2 + 1 S ( x ) − S ( x ) ] {\displaystyle \vartheta _{00}(x^{1/5})^{2}-\vartheta _{00}(x)^{2}={\bigl [}\vartheta _{00}(x)^{2}-\vartheta _{00}(x^{5})^{2}{\bigr ]}{\biggl [}1+{\frac {1}{R(x^{2})S(x)}}+R(x^{2})S(x)+{\frac {1}{R(x^{2})^{2}}}+R(x^{2})^{2}+{\frac {1}{S(x)}}-S(x){\biggr ]}} ϑ 01 ( x ) 2 − ϑ 01 ( x 1 / 5 ) 2 = [ ϑ 01 ( x 5 ) 2 − ϑ 01 ( x ) 2 ] [ 1 − 1 R ( x 2 ) R ( x ) − R ( x 2 ) R ( x ) + 1 R ( x 2 ) 2 + R ( x 2 ) 2 − 1 R ( x ) + R ( x ) ] {\displaystyle \vartheta _{01}(x)^{2}-\vartheta _{01}(x^{1/5})^{2}={\bigl [}\vartheta _{01}(x^{5})^{2}-\vartheta _{01}(x)^{2}{\bigr ]}{\biggl [}1-{\frac {1}{R(x^{2})R(x)}}-R(x^{2})R(x)+{\frac {1}{R(x^{2})^{2}}}+R(x^{2})^{2}-{\frac {1}{R(x)}}+R(x){\biggr ]}} Dementsprechend gilt für die reduzierte Weberschen Modulfunktion:
5 [ 2 W R 5 ( k ′ ) + 1 ] [ 2 W R 5 ( k ) + 1 ] − 2 W R 5 ( k ) − 1 5 W R 5 ( k ) 2 + 5 + 3 W R 5 ( k ) − 1 = S [ q ( k ) ] + R [ q ( k ) 2 ] S [ q ( k ) ] 2 {\displaystyle {\frac {{\sqrt {5[2\,W_{R5}(k')+1][2\,W_{R5}(k)+1]}}-2\,W_{R5}(k)-1}{{\sqrt {5\,W_{R5}(k)^{2}+5}}+3\,W_{R5}(k)-1}}=S[q(k)]+R[q(k)^{2}]S[q(k)]^{2}} W R 5 ( k ′ ) = 1 5 [ 2 − W R 5 ( k ) ] { 1 + 1 R [ q ( k ) 2 ] S [ q ( k ) ] + R [ q ( k ) 2 ] S [ q ( k ) ] + 1 R [ q ( k ) 2 ] 2 + R [ q ( k ) 2 ] 2 + 1 S [ q ( k ) ] − S [ q ( k ) ] } {\displaystyle W_{R5}(k')={\frac {1}{5}}{\bigl [}2-W_{R5}(k){\bigr ]}{\biggl \{}1+{\frac {1}{R[q(k)^{2}]S[q(k)]}}+R[q(k)^{2}]S[q(k)]+{\frac {1}{R[q(k)^{2}]^{2}}}+R[q(k)^{2}]^{2}+{\frac {1}{S[q(k)]}}-S[q(k)]{\biggr \}}} Bringsches Radikal Das Bringsche Radikal BR ( x ) {\displaystyle \operatorname {BR} (x)} ist so definiert:
BR ( y 5 + y ) = y {\displaystyle \operatorname {BR} (y^{5}+y)=y} f ( y ) = y 5 + y {\displaystyle f(y)=y^{5}+y} BR ( x ) = f ⟨ − 1 ⟩ ( x ) {\displaystyle \operatorname {BR} (x)=f^{\langle -1\rangle }(x)} BR ( x ) 5 + BR ( x ) = x {\displaystyle \operatorname {BR} (x)^{5}+\operatorname {BR} (x)=x} Diese Funktion lässt sich vereinfacht mit dem Rogers-Ramanujan-Kettenbruch darstellen:
ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ 3 ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ + ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 5 ⟩ × {\displaystyle {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }^{3}}{\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }+\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{5}{\bigr \rangle }}}\times } × 2 15625 x 4 + 1280 − 250 x 2 BR ( x ) 10 ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 5 ⟩ 2 − 2 ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ 2 = {\displaystyle \times {\frac {{\sqrt {2{\sqrt {15625x^{4}+1280}}-250x^{2}}}\,{\text{BR}}(x)}{10\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{5}{\bigr \rangle }^{2}-2\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }^{2}}}=} = R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 4 ⟩ R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 2 ⟩ − 1 + R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 4 ⟩ + {\displaystyle =R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{4}{\bigr \rangle }R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{2}{\bigr \rangle }^{-1}+R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{4}{\bigr \rangle }+} + R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 2 ⟩ R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ − R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ {\displaystyle +R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{2}{\bigr \rangle }R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }} Dabei steht ctlh für den Cotangens Lemniscatus Hyperbolicus und aclh für den Areacosinus Lemniscatus Hyperbolicus.
Für alle reellen Werte v {\displaystyle v} gilt folgende Beziehung:
ctlh [ 1 2 aclh ( v ) ] 2 = ( 2 v 2 + 2 + 2 v 4 + 1 ) − 1 / 2 ( v 4 + 1 + 1 + v ) {\displaystyle {\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(v)]^{2}={\bigl (}2v^{2}+2+2{\sqrt {v^{4}+1}}{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {v^{4}+1}}+1}}+v{\bigr )}} Durch Hinzunahme des alternierenden Kettenbruchs S kann dann auch folgende für alle reellen Werte x {\displaystyle x} gültige Identität für das Bringsche Radikal aufgestellt werden:
BR ( x ) = S ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ 2 − R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 2 ⟩ S ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ 2 × {\displaystyle {\text{BR}}(x)={\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }^{2}}}\times } × 1 − R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 2 ⟩ S ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ R ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 2 ⟩ 2 × {\displaystyle \times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{2}{\bigr \rangle }^{2}}}\times } × ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 5 ⟩ ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 1 / 5 ⟩ 2 − 5 ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } 5 ⟩ 3 2 20 4 sl [ 1 2 2 aclh ( 5 4 5 4 x ) ] ϑ 00 ⟨ q { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ⟩ 3 {\displaystyle \times {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}^{5}{\bigr \rangle }^{3}}{2{\sqrt[{4}]{20}}\,{\text{sl}}[{\tfrac {1}{2}}{\sqrt {2}}\,{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}\}{\bigr \rangle }^{3}}}} Für alle reellen Werte v {\displaystyle v} ist auch folgende Identität über den lemniskatischen Sinus gültig:
sl [ 1 2 2 aclh ( v ) ] = v 4 + 1 − v 2 {\displaystyle {\text{sl}}[{\tfrac {1}{2}}{\sqrt {2}}\,{\text{aclh}}(v)]={\sqrt {{\sqrt {v^{4}+1}}-v^{2}}}} Und durch direkte Ausdrucksweise mit der Funktion W kann das Bringsche Radikal so dargestellt werden:
BR ( x ) = 5 − 1 / 2 ( 5 4 5 4 x ) 4 + 1 + ( 5 4 5 4 x ) 2 ( a − b ) 5 ( a + b − 1 ) − ( 2 a + 1 ) ( 2 b + 1 ) {\displaystyle {\text{BR}}(x)=5^{-1/2}{\sqrt {{\sqrt {({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)^{4}+1}}+({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)^{2}}}\,(a-b){\sqrt {{\sqrt {5}}\,(a+b-1)-{\sqrt {(2a+1)(2b+1)}}}}} mit a = W R 5 { tlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } ∩ b = W R 5 { ctlh [ 1 2 aclh ( 5 4 5 4 x ) ] 2 } {\displaystyle {\text{mit}}\,a=W_{R5}{\bigl \{}{\text{tlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}{\bigr \}}\,\cap \,b=W_{R5}{\bigl \{}{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,x)]^{2}{\bigr \}}} Quintische Gleichungen Definition der Bring-Jerrard-Form Mit der Rogers-Ramanujan-Kettenbruchfunktion[6] lässt sich die allgemeine quintische Bring-Jerrard-Form[7] der Gleichungen fünften Grades lösen. Die Bring-Jerrard-Form enthält das quintische, lineare und absolute Glied. Jedoch entbehrt die Bring-Jerrard-Form das quartische, kubische und quadratische Glied. Für den Allgemeinfall der quintischen Gleichungen sind die Lösungen nicht elementar über Wurzelausdrücke darstellbar. Sie können nur elliptisch gelöst werden.[8] Dies besagt der Satz von Abel-Ruffini .
Allgemeines elliptisches Lösungsverfahren Folgendes Verfahren löst die Allgemeinform:
Gegeben sei:
x 5 − 5 x − 4 z = 0 {\displaystyle x^{5}-5x-4z=0} Dabei sei z {\displaystyle z} reell und z > 1 {\displaystyle z>1} .
Die zugehörigen elliptischen Moduln für diese Gleichung haben dann folgende zwei Werte:[9]
k = tan [ 1 4 arccsc ( z 2 ) ] = ( z 2 + 1 − | z | ) ( | z | − z 2 − 1 ) {\displaystyle k=\tan[{\tfrac {1}{4}}\operatorname {arccsc}(z^{2})]=({\sqrt {z^{2}+1}}-|z|)(|z|-{\sqrt {z^{2}-1}})} k ∗ = tan [ 1 4 π − 1 4 arccsc ( z 2 ) ] = ( z 2 + 1 − | z | ) ( | z | + z 2 − 1 ) {\displaystyle k^{*}=\tan[{\tfrac {1}{4}}\pi -{\tfrac {1}{4}}\operatorname {arccsc}(z^{2})]=({\sqrt {z^{2}+1}}-|z|)(|z|+{\sqrt {z^{2}-1}})} Dabei sind k {\displaystyle k} und k ∗ {\displaystyle k^{*}} zueinander zwei tangentielle Gegenstücke.
Es gilt: | k | ≤ 1 ; | k ∗ | ≤ 1 ; ( | k | + 1 ) ( | k ∗ | + 1 ) = 2 {\displaystyle |k|\leq 1;|k^{*}|\leq 1;\left(|k|+1\right)(|k^{*}|+1)=2}
Und so lautet die reelle Lösung der Gleichung:
x reell = 2 − { 1 − R [ q ( k ) ] } { 1 + R [ q ( k ) 2 ] } R [ q ( k ) ] R [ q ( k ) 2 ] 4 cot ⟨ 4 arctan { R [ q ( k ) ] R [ q ( k ) 2 ] 2 } ⟩ − 3 4 = {\displaystyle x_{\text{reell}}={\frac {2-{\bigl \{}1-R[q(k)]{\bigr \}}{\bigl \{}1+R[q(k)^{2}]{\bigr \}}}{{\sqrt {R[q(k)]R[q(k)^{2}]}}{\sqrt[{4}]{4\cot \langle 4\arctan\{R[q(k)]R[q(k)^{2}]^{2}\}\rangle -3}}}}=} = 2 − { 1 − R [ q ( k ∗ ) ] } { 1 + R [ q ( k ∗ ) 2 ] } R [ q ( k ∗ ) ] R [ q ( k ∗ ) 2 ] 4 cot ⟨ 4 arctan { R [ q ( k ∗ ) ] R [ q ( k ∗ ) 2 ] 2 } ⟩ − 3 4 {\displaystyle ={\frac {2-{\bigl \{}1-R[q(k^{*})]{\bigr \}}{\bigl \{}1+R[q(k^{*})^{2}]{\bigr \}}}{{\sqrt {R[q(k^{*})]R[q(k^{*})^{2}]}}{\sqrt[{4}]{4\cot \langle 4\arctan\{R[q(k^{*})]R[q(k^{*})^{2}]^{2}\}\rangle -3}}}}} Beweis der Richtigkeit dieses Verfahrens Folgende Gleichung hat folgende reelle Lösung:
x reell 5 − 5 x reell = w 6 − 22 w 5 − 5 w 4 − 5 w 2 + 22 w + 1 − w 3 + w 4 ( w 4 + 3 w 3 − 6 w 2 − 3 w + 1 ) 5 / 4 {\displaystyle x_{\text{reell}}^{5}-5x_{\text{reell}}={\frac {w^{6}-22w^{5}-5w^{4}-5w^{2}+22w+1}{{\sqrt[{4}]{-w^{3}+w}}(w^{4}+3w^{3}-6w^{2}-3w+1)^{5/4}}}} x reell = − w 3 + w 4 [ ( 1 − w 1 + w ) w 3 10 + ( 1 − w 1 + w ) 3 w − 1 10 − ( 1 − w 1 + w ) − 3 w 10 + ( 1 − w 1 + w ) − 1 w − 3 10 ] w 4 + 3 w 3 − 6 w 2 − 3 w + 1 4 {\displaystyle x_{\text{reell}}={\frac {{\sqrt[{4}]{-w^{3}+w}}[{\sqrt[{10}]{({\tfrac {1-w}{1+w}})w^{3}}}+{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{3}w^{-1}}}-{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-3}w}}+{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-1}w^{-3}}}]}{\sqrt[{4}]{w^{4}+3w^{3}-6w^{2}-3w+1}}}} Der Beweis soll darin bestehen, dass aus der hier gegebenen Gleichung mit dem genannten Verfahren die gezeigte Lösung hervorgebracht wird.
Für den Modul gilt nach diesem Verfahren:
k ∗ = tan ⟨ π 4 − 1 4 arccsc { [ w 6 − 22 w 5 − 5 w 4 − 5 w 2 + 22 w + 1 4 − w 3 + w 4 ( w 4 + 3 w 3 − 6 w 2 − 3 w + 1 ) 5 / 4 ] 2 } ⟩ {\displaystyle k^{*}=\tan {\bigl \langle }{\frac {\pi }{4}}-{\frac {1}{4}}\operatorname {arccsc} {\bigl \{}{\bigl [}{\frac {w^{6}-22w^{5}-5w^{4}-5w^{2}+22w+1}{4{\sqrt[{4}]{-w^{3}+w}}(w^{4}+3w^{3}-6w^{2}-3w+1)^{5/4}}}{\bigr ]}^{2}{\bigr \}}{\bigr \rangle }} k ∗ = tan { 1 2 arctan [ 8 w ( − w 2 + w + 1 ) 5 ( − w 2 + 1 ) ( − w 2 − 4 w + 1 ) 5 ] } {\displaystyle k^{*}=\tan {\bigl \{}{\frac {1}{2}}\arctan {\bigl [}{\frac {8{\sqrt {w(-w^{2}+w+1)^{5}}}}{\sqrt {(-w^{2}+1)(-w^{2}-4w+1)^{5}}}}{\bigr ]}{\bigr \}}} tan [ 2 arctan ( k ∗ ) ] 2 ( y 6 + 2 y 5 ) + ( 2 y − 1 ) = 0 {\displaystyle \tan[2\arctan(k^{*})]^{2}(y^{6}+2y^{5})+(2y-1)=0} y = 1 2 − 1 2 k ∗ 2 sn [ 2 5 K ( k ∗ ) ; k ∗ ] 2 sn [ 4 5 K ( k ∗ ) ; k ∗ ] 2 {\displaystyle y={\tfrac {1}{2}}-{\tfrac {1}{2}}k^{*2}{\text{sn}}[{\tfrac {2}{5}}K(k^{*});k^{*}]^{2}{\text{sn}}[{\tfrac {4}{5}}K(k^{*});k^{*}]^{2}} Durch Einsatz des zuvor genannten k {\displaystyle k} -Werts entsteht Gleichung für y {\displaystyle y} die Gleichung
64 w ( − w 2 + w + 1 ) 5 ( − w 2 + 1 ) ( − w 2 − 4 w + 1 ) 5 ( y 6 + 2 y 5 ) + ( 2 y − 1 ) = 0. {\displaystyle {\frac {64w(-w^{2}+w+1)^{5}}{(-w^{2}+1)(-w^{2}-4w+1)^{5}}}(y^{6}+2y^{5})+(2y-1)=0.} Diese Gleichung sechsten Grades wird so gelöst:
y = − w 2 − 4 w + 1 2 ( − w 2 + w + 1 ) {\displaystyle y={\frac {-w^{2}-4w+1}{2(-w^{2}+w+1)}}} Für die Rogers-Ramanujan-Kettenbruchfunktionswerte gilt dann:
R [ q ( k ∗ ) ] = tan [ 1 2 arctan ( 1 − 2 y 2 + y ) ] 1 / 5 tan [ 1 2 arccot ( 1 − 2 y 2 + y ) ] 2 / 5 {\displaystyle R[q(k^{*})]=\tan {\biggl [}{\frac {1}{2}}\arctan {\biggl (}{\frac {1-2y}{2+y}}{\biggr )}{\biggr ]}^{1/5}\tan {\biggl [}{\frac {1}{2}}\operatorname {arccot} {\biggl (}{\frac {1-2y}{2+y}}{\biggr )}{\biggr ]}^{2/5}} R [ q ( k ∗ ) 2 ] = tan [ 1 2 arctan ( 1 − 2 y 2 + y ) ] 2 / 5 cot [ 1 2 arccot ( 1 − 2 y 2 + y ) ] 1 / 5 {\displaystyle R[q(k^{*})^{2}]=\tan {\biggl [}{\frac {1}{2}}\arctan {\biggl (}{\frac {1-2y}{2+y}}{\biggr )}{\biggr ]}^{2/5}\cot {\biggl [}{\frac {1}{2}}\operatorname {arccot} {\biggl (}{\frac {1-2y}{2+y}}{\biggr )}{\biggr ]}^{1/5}} Eingesetzt entstehen somit folgende Werte:
R [ q ( k ∗ ) ] = tan [ 1 2 arctan ( 2 w 1 − w 2 ) ] 1 / 5 tan [ 1 2 arccot ( 2 w 1 − w 2 ) ] 2 / 5 {\displaystyle R[q(k^{*})]=\tan {\biggl [}{\frac {1}{2}}\arctan {\biggl (}{\frac {2w}{1-w^{2}}}{\biggr )}{\biggr ]}^{1/5}\tan {\biggl [}{\frac {1}{2}}\operatorname {arccot} {\biggl (}{\frac {2w}{1-w^{2}}}{\biggr )}{\biggr ]}^{2/5}} R [ q ( k ∗ ) 2 ] = tan [ 1 2 arctan ( 2 w 1 − w 2 ) ] 2 / 5 cot [ 1 2 arccot ( 2 w 1 − w 2 ) ] 1 / 5 {\displaystyle R[q(k^{*})^{2}]=\tan {\biggl [}{\frac {1}{2}}\arctan {\biggl (}{\frac {2w}{1-w^{2}}}{\biggr )}{\biggr ]}^{2/5}\cot {\biggl [}{\frac {1}{2}}\operatorname {arccot} {\biggl (}{\frac {2w}{1-w^{2}}}{\biggr )}{\biggr ]}^{1/5}} Diese R {\displaystyle R} -Werte haben folgende radikalische Ausdrücke:
R [ q ( k ∗ ) ] = ( 1 − w 1 + w ) 2 w 5 {\displaystyle R[q(k^{*})]={\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{2}w}}} R [ q ( k ∗ ) 2 ] = ( 1 − w 1 + w ) − 1 w 2 5 {\displaystyle R[q(k^{*})^{2}]={\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}} Nach dem beschriebenen Verfahren wird die reelle x {\displaystyle x} -Lösung auf diese Weise hervorgerufen:
x reell = 2 − { 1 − R [ q ( k ∗ ) ] } { 1 + R [ q ( k ∗ ) 2 ] } R [ q ( k ∗ ) ] R [ q ( k ∗ ) 2 ] 4 cot ⟨ 4 arctan { R [ q ( k ∗ ) ] R [ q ( k ∗ ) 2 ] 2 } ⟩ − 3 4 {\displaystyle x_{\text{reell}}={\frac {2-{\bigl \{}1-R[q(k^{*})]{\bigr \}}{\bigl \{}1+R[q(k^{*})^{2}]{\bigr \}}}{{\sqrt {R[q(k^{*})]R[q(k^{*})^{2}]}}{\sqrt[{4}]{4\cot \langle 4\arctan\{R[q(k^{*})]R[q(k^{*})^{2}]^{2}\}\rangle -3}}}}} So lautet dann die genannte reelle x {\displaystyle x} -Lösung:
x reell = 2 − [ 1 − ( 1 − w 1 + w ) 2 w 5 ] [ 1 + ( 1 − w 1 + w ) − 1 w 2 5 ] ( 1 − w 1 + w ) 2 w 10 ( 1 − w 1 + w ) − 1 w 2 10 4 cot { 4 arctan [ ( 1 − w 1 + w ) 2 w 5 ( 1 − w 1 + w ) − 2 w 4 5 ] } − 3 4 = {\displaystyle x_{\text{reell}}={\frac {2-[1-{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{2}w}}][1+{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}]}{{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{2}w}}{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}{\sqrt[{4}]{4\cot\{4\arctan[{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{2}w}}{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{-2}w^{4}}}]\}-3}}}}=} = − w 3 + w 4 [ 2 − ( 1 − ( 1 − w 1 + w ) 2 w 5 ) ( 1 + ( 1 − w 1 + w ) − 1 w 2 5 ) ] ( 1 − w 1 + w ) 2 w 10 ( 1 − w 1 + w ) − 1 w 2 10 w 4 + 3 w 3 − 6 w 2 − 3 w + 1 4 = {\displaystyle ={\frac {{\sqrt[{4}]{-w^{3}+w}}[2-(1-{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{2}w}})(1+{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}})]}{{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{2}w}}{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}{\sqrt[{4}]{w^{4}+3w^{3}-6w^{2}-3w+1}}}}=} = − w 3 + w 4 ( ( 1 − w 1 + w ) w 3 5 + ( 1 − w 1 + w ) 2 w 5 − ( 1 − w 1 + w ) − 1 w 2 5 + 1 ) ( 1 − w 1 + w ) 2 w 10 ( 1 − w 1 + w ) − 1 w 2 10 w 4 + 3 w 3 − 6 w 2 − 3 w + 1 4 = {\displaystyle ={\frac {{\sqrt[{4}]{-w^{3}+w}}({\sqrt[{5}]{({\tfrac {1-w}{1+w}})w^{3}}}+{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{2}w}}-{\sqrt[{5}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}+1)}{{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{2}w}}{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-1}w^{2}}}{\sqrt[{4}]{w^{4}+3w^{3}-6w^{2}-3w+1}}}}=} = − w 3 + w 4 [ ( 1 − w 1 + w ) w 3 10 + ( 1 − w 1 + w ) 3 w − 1 10 − ( 1 − w 1 + w ) − 3 w 10 + ( 1 − w 1 + w ) − 1 w − 3 10 ] w 4 + 3 w 3 − 6 w 2 − 3 w + 1 4 {\displaystyle ={\frac {{\sqrt[{4}]{-w^{3}+w}}[{\sqrt[{10}]{({\tfrac {1-w}{1+w}})w^{3}}}+{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{3}w^{-1}}}-{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-3}w}}+{\sqrt[{10}]{({\tfrac {1-w}{1+w}})^{-1}w^{-3}}}]}{\sqrt[{4}]{w^{4}+3w^{3}-6w^{2}-3w+1}}}} Q. e. d. Beispiele Beispiel 1: Bring-Jerrard-Gleichung mit nicht elementar darstellbarer Lösung
Gegeben sei:
x 5 − 180 x − 360 = 0 {\displaystyle x^{5}-180x-360=0} Durch Umformung entsteht:
( 1 6 6 x ) 5 − 5 ( 1 6 6 x ) − 5 3 6 = 0 {\displaystyle ({\tfrac {1}{6}}{\sqrt {6}}x)^{5}-5({\tfrac {1}{6}}{\sqrt {6}}x)-{\tfrac {5}{3}}{\sqrt {6}}=0} Bei dieser Gleichung nimmt z {\displaystyle z} den Wert 25 / 24 {\displaystyle {\sqrt {25/24}}} an.
Die zugehörigen elliptischen Modul für diese Gleichung haben dann folgende zwei Werte:
k = tan [ 1 4 arccsc ( 25 24 ) ] = 1 3 {\displaystyle k=\tan[{\tfrac {1}{4}}\operatorname {arccsc}({\tfrac {25}{24}})]={\tfrac {1}{3}}} k ∗ = tan [ 1 4 π − 1 4 arccsc ( 25 24 ) ] = 1 2 {\displaystyle k^{*}=\tan[{\tfrac {1}{4}}\pi -{\tfrac {1}{4}}\operatorname {arccsc}({\tfrac {25}{24}})]={\tfrac {1}{2}}} Die reelle x {\displaystyle x} -Lösung dieser Gleichung kann nicht elementar, sondern nur elliptisch dargestellt werden:
x reell = 2 6 − 6 { 1 − R [ q ( 1 3 ) ] } { 1 + R [ q ( 1 3 ) 2 ] } R [ q ( 1 3 ) ] R [ q ( 1 3 ) 2 ] 4 cot ⟨ 4 arctan { R [ q ( 1 3 ) ] R [ q ( 1 3 ) 2 ] 2 } ⟩ − 3 4 = {\displaystyle x_{\text{reell}}={\frac {2{\sqrt {6}}-{\sqrt {6}}{\bigl \{}1-R[q({\tfrac {1}{3}})]{\bigr \}}{\bigl \{}1+R[q({\tfrac {1}{3}})^{2}]{\bigr \}}}{{\sqrt {R[q({\tfrac {1}{3}})]R[q({\tfrac {1}{3}})^{2}]}}{\sqrt[{4}]{4\cot {\bigl \langle }4\arctan {\bigl \{}R[q({\tfrac {1}{3}})]R[q({\tfrac {1}{3}})^{2}]^{2}{\bigr \}}{\bigr \rangle }-3}}}}=} = 2 6 − 6 { 1 − R [ q ( 1 2 ) ] } { 1 + R [ q ( 1 2 ) 2 ] } R [ q ( 1 2 ) ] R [ q ( 1 2 ) 2 ] 4 cot ⟨ 4 arctan { R [ q ( 1 2 ) ] R [ q ( 1 2 ) 2 ] 2 } ⟩ − 3 4 {\displaystyle ={\frac {2{\sqrt {6}}-{\sqrt {6}}{\bigl \{}1-R[q({\tfrac {1}{2}})]{\bigr \}}{\bigl \{}1+R[q({\tfrac {1}{2}})^{2}]{\bigr \}}}{{\sqrt {R[q({\tfrac {1}{2}})]R[q({\tfrac {1}{2}})^{2}]}}{\sqrt[{4}]{4\cot {\bigl \langle }4\arctan {\bigl \{}R[q({\tfrac {1}{2}})]R[q({\tfrac {1}{2}})^{2}]^{2}{\bigr \}}{\bigr \rangle }-3}}}}} Beispiel 2: Konstante aus der Galois-Theorie
Die Mathematiker Niels Henrik Abel und Paolo Ruffini analysierten gruppentheoretisch die Polynome fünften und höheren Grades. Diejenige reelle Konstante, welche die quintische Gleichung x 5 − x − 1 = 0 {\displaystyle x^{5}-x-1=0} löst, ist die einzige reelle Lösung dieser Gleichung und kann mit der Rogers-Ramanujan-Kettenbruchfunktion auf folgende zwei Weisen dargestellt werden:
C = 2 − { 1 − R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] } { 1 + R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] } R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] 20 cot ⟨ 4 arctan { R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] R [ q ( 5 5 / 4 − 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] 2 } ⟩ − 15 4 {\displaystyle C={\frac {2-{\biggl \{}1-R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}{\biggr \}}{\biggl \{}1+R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}{\biggr \}}}{{\sqrt {R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}}}{\sqrt[{4}]{20\cot {\biggl \langle }4\arctan {\biggl \{}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}-{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}^{2}{\biggr \}}{\biggr \rangle }-15}}}}} C = 2 − { 1 − R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] } { 1 + R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] } R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] 20 cot ⟨ 4 arctan { R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) ] R [ q ( 5 5 / 4 + 25 5 − 16 25 5 + 16 + 5 5 / 4 ) 2 ] 2 } ⟩ − 15 4 {\displaystyle C={\frac {2-{\biggl \{}1-R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}{\biggr \}}{\biggl \{}1+R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}{\biggr \}}}{{\sqrt {R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}}}{\sqrt[{4}]{20\cot {\biggl \langle }4\arctan {\biggl \{}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}{\biggr ]}R{\biggl [}q{\biggl (}{\tfrac {5^{5/4}+{\sqrt {25{\sqrt {5}}-16}}}{{\sqrt {25{\sqrt {5}}+16}}+5^{5/4}}}{\biggr )}^{2}{\biggr ]}^{2}{\biggr \}}{\biggr \rangle }-15}}}}} C ≈ 1,167 30397826141868425604589985484218 {\displaystyle C\approx 1{,}16730397826141868425604589985484218} Diese Konstante kann nicht elementar radikalisch ausgedrückt werden. Die Galoisgruppe des Polynoms x 5 − x − 1 {\displaystyle x^{5}-x-1} ist die Symmetriegruppe S 5 {\displaystyle S_{5}} . Der französische Mathematiker Evariste Galois verallgemeinerte diese Gruppentheorie zur Galoistheorie in Bezug auf Polynome höheren Grades.
Literatur Bruce Berndt , Heng Huat Chan, Sen-Shan Huang, Soon-Yi Kang, Jaebum Sohn, Seung Hwan Son: The Rogers–Ramanujan Continued Fraction . Journal of Computational and Applied Mathematics, Band 105, 1999, S. 9–24, online. William Duke: Continued Fractions and Modular Functions . Bulletin of the Amer. Math. Soc., Band 42, 2005, S. 137–162, online. Heng Huat Chan, Wen Chin Liaw und Shaun Cooper: The Rogers-Ramanujan continued fraction and a quintic iteration for 1/π . Proceedings of the American Mathematical Society, Band 135, Nr. 11, 2007, S. 3417–3424. Nikolaos Bagis: Solution of Polynomial Equations with Nested Radicals . Arxiv 2014, 2020. Peter Borwein und Jonathan Borwein : π and the AGM: A study in Analytic Number Theory and Computational Complexity . Wiley, 1987. S. 94–97.Viktor Prasolov, Yuri Solovyev: Elliptic Functions and Elliptic Integrals . American Mathematical Society, Translation of Mathematical Monographs, Volume 170, Rhode Island, 1991, S. 149–159. Dae Hyun Paek, Jinhee Yi: On some modular equations of degree 5 and their applications . Bulletin Korean Math. Soc., Band 50, 2013, S. 1315–1328. Soon Yi Kang: Ramanujan’s Formulas For Explicit Evaluation Of The Rogers-Ramanujan Continued Fraction And Theta-Functions , Acta Arithmetica, Band 90, 1999, S. 49–68, online. Jinhee Yi: Evaluations of the Rogers–Ramanujan continued fraction R(q) by modular equations . Acta Arithmetica, Band 97, 2001, S. 103–127, online. Nikolaos Bagis: On the complete solution of the general quintic using the Rogers-Ramanujan continued fraction . Arxiv 2015. Shaun Cooper und Dongxi Ye: Explicit evaluations of a level 13 analogue of the Rogers–Ramanujan continued fraction . J. Number Theory, Band 139, 2014, S. 91–111, online. Viktor V. Prasolov: Polynomials . Algorithms and Computation in Mathematics Nr. 111, Springer, 2004, S. 181–218 (Kapitel Galois Theory, Theorem 5.4.5 auf S. 217). Einzelnachweise ↑ Eric W. Weisstein : Rogers-Ramanujan Identities . In: MathWorld (englisch). ↑ Eric W. Weisstein : Rogers-Ramanujan Continued Fraction . In: MathWorld (englisch). ↑ Eric W. Weisstein: Dedekind Eta Function. Abgerufen am 2. April 2022 (englisch). ↑ Bruce C. Berndt, Heng Huat Chan, Sen-Shan Huang, Soon-Yi Kang, Jaebum Sohn: The Rogers–Ramanujan continued fraction . In: Journal of Computational and Applied Mathematics . Band 105 , Nr. 1 , 1. Mai 1999, ISSN 0377-0427 , S. 9–24 , doi :10.1016/S0377-0427(99)00033-3 (sciencedirect.com [abgerufen am 23. April 2022]). ↑ Paramanand Singh: Paramanand’s Math Notes. In: paramanands.blogspot.com. Abgerufen am 2. November 2021 (englisch). ↑ Can we use the Rogers-Ramanujan cfrac to parameterize the Fermat quintic x 5 + y 5 = 1 {\displaystyle x^{5}+y^{5}=1} ? In: mathoverflow.net. Abgerufen am 17. Oktober 2021 . ↑ How to solve fifth-degree equations by elliptic functions? In: stackexchange.com. Abgerufen am 17. Oktober 2021 . ↑ How to solve the Brioschi quintic in terms of elliptic functions? In: stackexchange.com. Abgerufen am 17. Oktober 2021 . ↑ Eric W. Weisstein : Quintic Equation . In: MathWorld (englisch).