In der Mathematik ist das Elliptische Nomen (analog zum englischen Wort „nome“: Bezirk, Name) eine nichtelementare Funktion. Diese Funktion entsteht durch eine elementare Kombination aus vollständigen elliptischen Integralen erster Art, welche wiederum als Linearkombination aus vollständigen elliptischen Integralen zweiter Art und somit aus Umfängen von Ellipsen hervorgehen. Der Begriff Nomen als elliptische Funktion wurde insbesondere von den Mathematikern Folkmar Bornemann und Jörg Waldvogel verwendet. Das elliptische Nomen findet in der Theorie über elliptische Modulfunktionen Anwendung. Alternativ kann nach Robert Fricke das elliptische Nomen auch als Jacobische Entwicklungsgröße bezeichnet werden. Namensgebend für die von Robert Fricke gegebene Bezeichnung ist der Mathematiker Carl Gustav Jacob Jacobi aus Preußen.
Definition
Das Elliptische Nomen ist der Exponentialfunktionswert vom negativen Produkt aus der Kreiszahl und dem reellen Halbperiodenverhältnis. Das reelle Halbperiodenverhältnis ist der Quotient des vollständigen Elliptischen Integrals erster Art vom pythagoräisch komplementären Modul dividiert durch das vollständige elliptische Integral erster Art vom Modul selbst. Jener elliptische Modul bildet die Abszisse der elliptischen Nomenfunktion. Das Elliptische Nomen[1] wird mit dem Buchstaben q gekennzeichnet:
![{\displaystyle q(x)\equiv \exp[-\pi K({\sqrt {1-x^{2}}})K(x)^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b3743ebc9d24c09bfa835586d08db1de648178d)
Dabei ist das vollständige elliptische Integral erster Art auf folgende Weise definiert:[2]
![{\displaystyle K(x)=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-x^{2}\sin(\varphi )^{2}}}}\mathrm {d} \varphi =2\int _{0}^{1}{\frac {1}{\sqrt {(y^{2}+1)^{2}-4x^{2}y^{2}}}}\mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3849484e0af0a6d07cb558dd96076ff9299a076)
Zum imaginären Halbperiodenverhältnis steht das elliptische Nomen in diesem Zusammenhang:
![{\displaystyle q(x)=\exp[i\pi \tau (x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d50e1b64d3a9fe4bb5707e0b85136b8b1ceae8ff)
Denn es gilt:
![{\displaystyle \tau (x)={\frac {iK({\sqrt {1-x^{2}}})}{K(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87a16e3d45003ed361439a694c8fde0305879b2d)
Das imaginäre Halbperiodenverhältnis wird mit dem kleinen griechischen Buchstaben Tau abgekürzt.
Kurvendiskussion
Verlauf des Graphen
Alle reellen x-Werte des Intervalls [-1;+1] werden in der Nomenfunktion q(x) reellen Zahlen zwischen eingeschlossen Null und eingeschlossen Eins zugeordnet. Die elliptische Nomenfunktion ist zur Ordinatenachse achsensymmetrisch. Somit gilt: q(x) = q(-x). Sie verläuft durch den Koordinatenursprung mit der Steigung Null und der Krümmung Plus Ein Achtel. Für das reellwertige Intervall ]-1;+1[ ist die elliptische Nomenfunktion q(x) streng monoton linksgekrümmt.
Maclaurinsche Reihe
Die Maclaurinschen Reihe von q(x) hat an allen Stellen[3] geradzahlige Exponenten und positive Koeffizienten:
![{\displaystyle q(x)=\sum _{n=1}^{\infty }{\frac {{\text{Kt}}(n)x^{2n}}{16^{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1db321df4466813fae2a232f9225543a96210bb)
Der Konvergenzradius dieser Maclaurin-Reihe[4] ist 1. Hierbei ist Kt(n) (OEIS A005797) für die Kotěšovec-Zahlen. Diese Zahlen bilden eine Zahlenfolge von ausschließlich natürlichen Zahlen Kt(n) ∈ ℕ für alle natürlichen Zahlen n ∈ ℕ und diese Folge ist nicht elementar, sondern elliptisch aufgebaut.
Zahlenfolge nach Kotěšovec
Erzeugungsalgorithmus mit dem CBC
Die Kotěšovec-Zahlen gehorchen folgender Erzeugungsvorschrift:
Als Startwert gilt der Wert Kt(1) = 1 und die darauf folgenden Werte dieser Folge werden mit jenen zwei für alle Zahlen n ∈ ℕ gültigen Formeln erzeugt:
![{\displaystyle {\text{Kt}}(n+1)={\frac {1}{n}}\sum _{k=1}^{n}k\,{\text{Kt}}(k)[16\,{\text{ZA}}(n+1-k)-{\text{ZA}}(n+2-k)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a822b54097963652c14d3db59948bdbe9d8a56c)
![{\displaystyle {\text{ZA}}(n)=\sum _{m=0}^{n-1}\operatorname {CBC} (m)^{2}\operatorname {CBC} (n-1-m)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdf638ae5a98ddcff2ae5528069fdae6a2387caa)
Somit gilt auch:
![{\displaystyle {\text{Kt}}(n+1)={\frac {1}{n}}\sum _{k=1}^{n}k\,{\text{Kt}}(k)\left\{16\left[\sum _{m=0}^{n-k}\operatorname {CBC} (m)^{2}\operatorname {CBC} (n-k-m)^{2}\right]-\left[\sum _{m=0}^{n+1-k}\operatorname {CBC} (m)^{2}\operatorname {CBC} (n+1-k-m)^{2}\right]\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5dd0f5a49eb03521db557b32282fe7d759f1472)
Der Zentralbinomialkoeffizient
ist auf folgende Weise definiert:
![{\displaystyle \operatorname {CBC} (n)={2n \choose n}={\frac {(2n)!}{(n!)^{2}}}={\frac {\Pi (2n)}{\Pi (n)^{2}}}=\prod _{a=1}^{\infty }{\bigl [}{\bigl (}1+{\frac {n}{a}}{\bigr )}^{2}{\bigl (}1+{\frac {2n}{a}}{\bigr )}^{-1}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb1aa67ba596d094f0a1731cdb1160a278aec8ab)
Das Kürzel CBC[5][6] steht für den englischen Begriff Central Binomial Coefficient und wurde unter anderem durch die Mathematiker David Kessler and Jeremy Schiff eingeführt. Diese Zahlenfolge[7] Kt(n) wurde durch den tschechischen Mathematiker[8] und Feenschachkomponisten Václav Kotěšovec[9] (geboren im Jahre 1956) erforscht. Mit ZA(n) wird eine Abwandlung[10] (OEIS A036917) der Apery-Folge[11] bezeichnet, welche durch die Mathematiker Sun Zhi-Hong und Reinhard Zumkeller erforscht wurde. Von diesen beiden Folgen werden im nun Folgenden einige Zahlen genannt:
Position n
|
Folgenzahl ZA(n)
|
Folgenzahl Kt(n)
|
1
|
1
|
1
|
2
|
8
|
8
|
3
|
88
|
84
|
4
|
1088
|
992
|
5
|
14296
|
12514
|
6
|
195008
|
164688
|
7
|
2728384
|
2232200
|
8
|
38879744
|
30920128
|
9
|
561787864
|
435506703
|
10
|
8206324928
|
6215660600
|
11
|
120929313088
|
89668182220
|
12
|
1794924383744
|
1305109502496
|
13
|
26802975999424
|
19138260194422
|
14
|
402298219288064
|
282441672732656
|
15
|
6064992788397568
|
4191287776164504
|
16
|
91786654611673088
|
62496081197436736
|
17
|
1393772628452578264
|
935823746406530603
|
Václav Kotěšovec schrieb die Zahlenfolge Kt(n) auf der Onlineenzyklopädie der Zahlenfolgen bis zur siebenhundertsten Folgenzahl nieder.
Außerdem gilt:
![{\displaystyle 4\pi ^{-2}K(x)^{2}=\sum _{n=1}^{\infty }{\frac {{\text{ZA}}(n)x^{2n-2}}{16^{n-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2f890489cc2d022c6d94c43a954669697c04db8)
Die Maclaurinsche Reihe des Nomens vom Quotienten der identischen Abbildungsfunktion dividiert durch ihren pythagoräischen Nachfolger lautet so:
![{\displaystyle q{\bigl [}x(x^{2}+1)^{-1/2}{\bigr ]}=\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}{\text{Kt}}(n)x^{2n}}{16^{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07e3171eea88538e6965835919362cfb8c2d5506)
Denn es gilt:
![{\displaystyle q{\bigl [}x(x^{2}+1)^{-1/2}{\bigr ]}=-q(ix)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a4d9b14a453f7e7348f0589a064ff6075f29b65)
Mit dem Buchstaben i wird die imaginäre Einheit repräsentiert.
Exemplarische Herleitung der Zahlenfolge
Es gilt mit dem Startwert Kt(1) = 1:
![{\displaystyle {\text{Kt}}(n+1)={\frac {1}{n}}\sum _{k=1}^{n}k\,{\text{Kt}}(k)[16\,{\text{ZA}}(n+1-k)-{\text{ZA}}(n+2-k)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a822b54097963652c14d3db59948bdbe9d8a56c)
Tabelle aller Folgen:
|
1 |
2 |
3 |
4 |
5 |
6
|
7
|
ZA(n)
|
1 |
8 |
88 |
1088 |
14296 |
195008
|
2728384
|
16ZA(n-1)-ZA(n)
|
|
8
|
40
|
320
|
3112
|
33728
|
391744
|
Kt(n)
|
1 |
8 |
84 |
992 |
12514 |
164688
|
2232200
|
Exemplarische Erzeugung:
![{\displaystyle {\text{Kt}}(2)=1\times 8\times 1=8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a63f767fd923f2a37d9c13264ff7742ff7b764e2)
![{\displaystyle {\text{Kt}}(3)={\tfrac {1}{2}}\times 40\times 1+1\times 8\times 8=84}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ed553abe3971526d9c0a1f1af40c5501e5b4295)
![{\displaystyle {\text{Kt}}(4)={\tfrac {1}{3}}\times 320\times 1+{\tfrac {2}{3}}\times 40\times 8+1\times 8\times 84=992}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ce193af3739861d9169e6631ee071ef78f3d13d)
![{\displaystyle {\text{Kt}}(5)={\tfrac {1}{4}}\times 3112\times 1+{\tfrac {2}{4}}\times 320\times 8+{\tfrac {3}{4}}\times 40\times 84+1\times 8\times 992=12514}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88debe3a1dbc7fd9b8b29ac051872d78afd98299)
![{\displaystyle {\text{Kt}}(6)={\tfrac {1}{5}}\times 33728\times 1+{\tfrac {2}{5}}\times 3112\times 8+{\tfrac {3}{5}}\times 320\times 84+{\tfrac {4}{5}}\times 40\times 992+1\times 8\times 12514=164688}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19d25a7353f2f82a171a041c6fcd58d4909cce39)
![{\displaystyle {\text{Kt}}(7)={\tfrac {1}{6}}\times 391744\times 1+{\tfrac {2}{6}}\times 33728\times 8+{\tfrac {3}{6}}\times 3112\times 84+{\tfrac {4}{6}}\times 320\times 992+{\tfrac {5}{6}}\times 40\times 12514+1\times 8\times 164688=2232200}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1f660cfa2bbfc2bec9dbe0537929f91e30ba785)
Die Faktoren kommen aus den beiden letzten Zeilen der Tabelle.
Außerdem gilt:
![{\displaystyle {\text{Kt}}(2n)={\frac {1}{2}}\sum _{k=1}^{2n-1}(-1)^{k+1}16^{k}{\binom {2n-1}{k}}{\text{Kt}}(2n-k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f135b9bb429be8a97d42f6401f59d83fefab0403)
Erste Exemplare:
![{\displaystyle {\text{Kt}}(2)={\frac {1}{2}}(1\times 16\times 1)=8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd3dc8290caeb368e57f347c6db41e899237cccb)
![{\displaystyle {\text{Kt}}(4)={\frac {1}{2}}(3\times 16\times 84-3\times 256\times 8+1\times 4096\times 1)=992}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d41acbb0a0b35e27e9ccf5fbae4d74a3e6093364)
![{\displaystyle {\text{Kt}}(6)={\frac {1}{2}}(5\times 16\times 12514-10\times 256\times 992+10\times 4096\times 84-5\times 65536\times 8+1\times 1048576\times 1)=164688}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8df0b50b76f2227e98ead47093f19eea6a0e9bf3)
Erzeugungsalgorithmus mit Fakultätsbrüchen
Folgende zwei Summenformeln dienen der alternierenden Synthese der Zahlenfolge nach Kotěšovec über Fakultätsbrüche:
|
|
So sieht dann die exemplarische Ausführung aus:
|
|
|
|
|
|
|
|
|
|
Zahlenfolge nach Schellbach und Schwarz
Elliptisches Nomen und Schellbachsche Folge
Der schlesisch-deutsche Mathematiker Hermann Amandus Schwarz schrieb in seinem Werk Formeln und Lehrsätze zum Gebrauche der elliptischen Funktionen im Kapitel Berechnung der Grösse k auf den Seiten 54 bis 56 eine nichtelementare Zahlenfolge nieder, aus der die Zahlenfolge nach Václav Kotěšovec durch quartische Potenzierung der betroffenen erzeugenden Funktion hervorgeht. Diese Folge Sc(n) ist in der Online-Enzyklopädie der Zahlenfolgen unter der Nummer A002103 eingetragen. Ebenso erforschte der Mathematiker Karl Heinrich Schellbach[12] diese Formel und behandelte sie in seinem Werk Die Lehre von den elliptischen Integralen und den Thetafunktionen ausführlich. Diese Schellbach-Schwarz-Zahlenfolge wurde auch von den Mathematikern Karl Theodor Wilhelm Weierstraß[13] und Louis Melville Milne-Thomson[14] analysiert. Aus der MacLaurinschen Reihe der vierten Wurzel aus dem Quotienten des elliptischen Nomens dividiert durch die Quadratfunktion wird im nun Folgenden die Folge der Zahlen nach Schellbach und Schwarz Sc(n) hervorgebracht. Die beschriebene MacLaurinsche Reihe[15][16][17] lautet so:
![{\displaystyle {\sqrt[{4}]{x^{-2}q(x)}}={\frac {1}{2}}+{\biggl [}\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n+1)}{2^{4n+1}}}x^{2n}{\biggr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47a54ae5060fdc64504ddab17175b6d3839f9e33)
Umgeformt kommt dieser Ausdruck hervor:
![{\displaystyle q(x)=x^{2}{\biggl \{}{\frac {1}{2}}+{\biggl [}\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n+1)}{2^{4n+1}}}\,x^{2n}{\biggr ]}{\biggr \}}^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd4ad975d004fbd8ebfa0d120f5b26fa9f7e5207)
Zun nun genannten Ausdruck sind folgende beiden Ausdrücke übereinstimmend:
![{\displaystyle q(x)={\biggl [}\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n)}{2^{4n-3}}}{\biggl (}{\frac {x}{1+{\sqrt {1-x^{2}}}}}{\biggr )}^{4n-3}{\biggr ]}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f00f910f2cf85b676da53d9cc177c4c0969fa602)
![{\displaystyle q(x)=\sum _{n=1}^{\infty }{\frac {{\text{Sc}}(n)}{2^{4n-3}}}{\biggl (}{\frac {1-{\sqrt[{4}]{1-x^{2}}}}{1+{\sqrt[{4}]{1-x^{2}}}}}{\biggr )}^{4n-3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3254c60833f3789eb2adcf94eb188c6ac99b27e)
Die ersten Summanden dieser Reihenentwicklung lauten wie folgt:
![{\displaystyle {\sqrt[{4}]{x^{-2}q(x)}}={\frac {\color {blueviolet}1}{2}}+{\frac {\color {blueviolet}2}{32}}x^{2}+{\frac {\color {blueviolet}15}{512}}x^{4}+{\frac {\color {blueviolet}150}{8192}}x^{6}+{\frac {\color {blueviolet}1707}{131072}}x^{8}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/15b1781868c357d925779576936e516409266268)
Knesersche Folge
Der Mathematiker Adolf Kneser ermittelte für diese Folge ein Syntheseverfahren nach analogem Muster zur oben genannten Folge:
![{\displaystyle {\text{Sc}}(n+1)={\frac {2}{n}}\sum _{m=1}^{n}{\text{Sc}}(m){\text{Kn}}(n+1-m)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856317dff3332ab1455acaa08545a5ef85672014)
Die nachfolgende Tabelle zeigt die von Adolf Kneser behandelten Zahlenfolgen im Vergleich:
Verfahren nach Kneser
Index n
|
Kn(n) (A227503)
|
Sc(n)
(A002103)
|
1
|
1
|
1
|
2
|
13
|
2
|
3
|
184
|
15
|
4
|
2701
|
150
|
5
|
40456
|
1707
|
Die hier erwähnte Zahlenfolge nach Adolf Kneser ist eine Zahlenfolge, welche mit Hilfe von Binomialkoeffizienten erzeugt werden kann. Als erzeugende Funktionen hat diese Zahlenfolge elliptische Funktionen. Besonders effizient kann die Knesersche Zahlenfolge so hervorgebracht werden:
|
|
Ausgeführte Beispiele:
|
|
|
|
|
|
Die Knesersche Zahlenfolge Kn(n) ergibt sich exakt als Zahlenfolge in der Taylorschen Reihe von der Funktion des Periodenverhältnisses(Halbperiodenverhältnisses):
![{\displaystyle {\frac {1}{4}}\ln {\bigl (}{\frac {16}{x^{2}}}{\bigr )}-{\frac {\pi \,K'(x)}{4\,K(x)}}=\sum _{n=1}^{\infty }{\frac {{\text{Kn}}(n)}{2^{4n-1}n}}\,x^{2n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7838275650cb7ef7c94f469c4e53dfcb8032a146)
![{\displaystyle {\color {limegreen}{\frac {1}{4}}\ln {\bigl (}{\frac {16}{x^{2}}}{\bigr )}-{\frac {\pi \,K'(x)}{4\,K(x)}}={\frac {\color {cornflowerblue}1}{8}}x^{2}+{\frac {\color {cornflowerblue}13}{256}}x^{4}+{\frac {\color {cornflowerblue}184}{6144}}x^{6}+{\frac {\color {cornflowerblue}2701}{131072}}x^{8}+{\frac {\color {cornflowerblue}40456}{2621440}}x^{10}+\ldots }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5540c1d992f8f7364d2e7294240b49de6793d296)
Die Zahlenfolge erscheint ebenso in der Reihenentwicklung der folgenden Funktion:
![{\displaystyle {\frac {\pi ^{2}}{8x(1-x^{2})K(x)^{2}}}-{\frac {1}{2x}}=\sum _{n=1}^{\infty }{\frac {{\text{Kn}}(n)}{2^{4n-2}}}x^{2n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d051817f0f97b994895ebf52f1247f4dfafcb1dc)
Denn diese Funktion geht direkt als Ableitung der gezeigten Periodenverhältnis-Funktion hervor.
Bei Anwendung der Quotientenregel kann mit Hilfe der LEgendreschen Identität der nun gezeigte Ausdruck hervorgebracht werden.
Synthese der Schellbachschen Folge
Im Folgenden wird auch die Synthese der Schellbachschen Zahlen akkurat anhand einiger Beispiele beschrieben:
![{\displaystyle {\text{Sc}}(n+1)={\frac {2}{n}}\sum _{m=1}^{n}{\text{Sc}}(m){\text{Kn}}(n+1-m)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856317dff3332ab1455acaa08545a5ef85672014)
So werden die Beispiele erzeugt:
![{\displaystyle \mathrm {Sc} (4)={\frac {2}{3}}\sum _{m=1}^{3}\mathrm {Sc} (m)\,\mathrm {Kn} (4-m)={\frac {2}{3}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c0e2f6c8f1e9bd5a3f5eb70920b4d90fff4bc48)
![{\displaystyle {\color {navy}\mathrm {Sc} (4)}={\frac {2}{3}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}184}+{\color {navy}2}\times {\color {cornflowerblue}13}+{\color {navy}15}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}150}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1645c024111f3f7931b495def66d9582617c65db)
![{\displaystyle \mathrm {Sc} (5)={\frac {2}{4}}\sum _{m=1}^{4}\mathrm {Sc} (m)\,\mathrm {Kn} (5-m)={\frac {2}{4}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bb6c5b6b9b4e5d44f245fc6b05b5e3b5ddb4b25)
![{\displaystyle {\color {navy}\mathrm {Sc} (5)}={\frac {2}{4}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}2701}+{\color {navy}2}\times {\color {cornflowerblue}184}+{\color {navy}15}\times {\color {cornflowerblue}13}+{\color {navy}150}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}1707}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4f23ecccafed8cd2dfbb461451a2911564f471)
![{\displaystyle \mathrm {Sc} (6)={\frac {2}{5}}\sum _{m=1}^{5}\mathrm {Sc} (m)\,\mathrm {Kn} (6-m)={\frac {2}{5}}{\bigl [}{\color {navy}\mathrm {Sc} (1)}\,{\color {cornflowerblue}\mathrm {Kn} (5)}+{\color {navy}\mathrm {Sc} (2)}\,{\color {cornflowerblue}\mathrm {Kn} (4)}+{\color {navy}\mathrm {Sc} (3)}\,{\color {cornflowerblue}\mathrm {Kn} (3)}+{\color {navy}\mathrm {Sc} (4)}\,{\color {cornflowerblue}\mathrm {Kn} (2)}+{\color {navy}\mathrm {Sc} (5)}\,{\color {cornflowerblue}\mathrm {Kn} (1)}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1331a9d6e16d802ebaf5eb68d2d9724296a7f64)
![{\displaystyle {\color {navy}\mathrm {Sc} (6)}={\frac {2}{5}}{\bigl (}{\color {navy}1}\times {\color {cornflowerblue}40456}+{\color {navy}2}\times {\color {cornflowerblue}2701}+{\color {navy}15}\times {\color {cornflowerblue}184}+{\color {navy}150}\times {\color {cornflowerblue}13}+{\color {navy}1707}\times {\color {cornflowerblue}1}{\bigr )}={\color {navy}20910}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0d3dc2939327d398ebf2522fc01d2d8d645b7c9)
Schellbach-Schwarz-Algorithmus und Kotěšovec-Zahlen
Aus dieser Folge kann die Zahlenfolge nach Kotěšovec durch Aufsummierung ermittelt werden:
![{\displaystyle {\text{Sc}}^{*}(n)=\sum _{m=1}^{n}{\text{Sc}}(m)\,{\text{Sc}}(n+1-m)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4eaf263fcbcb5dadcc3e70db6d889ac8be5e2993)
![{\displaystyle {\text{Kt}}(n)=\sum _{m=1}^{n}{\text{Sc}}^{*}(m)\,{\text{Sc}}^{*}(n+1-m)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5708a5b52023bd0b01f34ea53d46016f144377cc)
Mit Sc*(n) wird diejenige abgewandelte Folge der Schwarzschen Folge bezeichnet, die aus der MacLaurinschen Reihe von der Quadratwurzel aus dem Quotienten des Nomens dividiert durch die Quadratfunktion hervorgeht. Folgende Tabelle stellt die Zahlenfolgen gegenüber:
Tabelle elliptischer Zahlenfolgen
Index n
|
Sc(n) (A002103)
|
Sc*(n) (A274344)
|
Kt(n) (A005797)
|
1
|
1
|
1
|
1
|
2
|
2
|
4
|
8
|
3
|
15
|
34
|
84
|
4
|
150
|
360
|
992
|
5
|
1707
|
4239
|
12514
|
6
|
20910
|
53148
|
164688
|
7
|
268616
|
694582
|
2232200
|
8
|
3567400
|
9348664
|
30920128
|
9
|
48555069
|
128625067
|
435506703
|
Exemplarische Ausführung der genannten Summenformeln:
![{\displaystyle {\color {blue}1}\times {\color {blue}15}+{\color {blue}2}\times {\color {blue}2}+{\color {blue}15}\times {\color {blue}1}={\color {RoyalBlue}34}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e688cbd83db3aff19ae858626e74f9440ec45bb)
![{\displaystyle {\color {RoyalBlue}1}\times {\color {RoyalBlue}34}+{\color {RoyalBlue}4}\times {\color {RoyalBlue}4}+{\color {RoyalBlue}34}\times {\color {RoyalBlue}1}={\color {Green}84}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7343ae1fec31f6bc324caba522841357b91afc6d)
![{\displaystyle {\color {blue}1}\times {\color {blue}150}+{\color {blue}2}\times {\color {blue}15}+{\color {blue}15}\times {\color {blue}2}+{\color {blue}150}\times {\color {blue}1}={\color {RoyalBlue}360}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1788de09a470bccb64740dbfda4162aef62454b7)
![{\displaystyle {\color {RoyalBlue}1}\times {\color {RoyalBlue}360}+{\color {RoyalBlue}4}\times {\color {RoyalBlue}34}+{\color {RoyalBlue}34}\times {\color {RoyalBlue}4}+{\color {RoyalBlue}360}\times {\color {RoyalBlue}1}={\color {Green}992}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b92e645fadc0a0ca6d87fade41473e58f4006ade)
Liste der Werte
Nicht Gelfondsche Werte
Im nun Folgenden werden einige Nomenfunktionswerte gegliedert angegeben.
Das sind die Nicht Gelfondschen Werte, also die Werte, welche nicht mit der Gelfondschen Konstante
in Verwandtschaft stehen:
![{\displaystyle q(0)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30862b08c444da97ac9ae1f8e923e66545f6ab77)
![{\displaystyle q(1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/330202d3bb7b352c276b2d66d5d5568eee40c46b)
![{\displaystyle q(-1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aec76435a65157b191dc140afdec05bb90564bda)
Lemniskatische und Landensche Werte
In folgender Liste werden einige Lemniskatischen und Landenschen Standardwerte dargestellt:
![{\displaystyle q({\tfrac {1}{2}}{\sqrt {2}})={\text{e}}^{-\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c846536557e72b6fe07991a5933b1f0c95ea6f8e)
![{\displaystyle q({\sqrt {2}}-1)={\text{e}}^{-{\sqrt {2}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15fd8cb7b74740619111c890b5b9ae3957b883ec)
![{\displaystyle q{\bigl \{}\operatorname {sech} {\bigl [}{\tfrac {1}{2}}\operatorname {arsinh} (1){\bigr ]}{\bigr \}}=\exp(-{\tfrac {1}{2}}{\sqrt {2}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd758fa474653d00d156d0f8af11d9a4b76548cc)
![{\displaystyle q{\bigl [}({\sqrt {2}}-1)^{2}{\bigr ]}={\text{e}}^{-2\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5832ddc5e82bbe77d4f7159b6d25bc752af5f57a)
![{\displaystyle q{\bigl [}2{\sqrt[{4}]{2}}\,({\sqrt {2}}-1){\bigr ]}=\exp(-{\tfrac {1}{2}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a643d6ba311bb312f7376f83155e0ca2aac912d)
![{\displaystyle q{\bigl \{}\tanh {\bigl [}{\tfrac {1}{4}}\operatorname {arsinh} (1){\bigr ]}^{2}{\bigr \}}={\text{e}}^{-2{\sqrt {2}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a120a5c8d4e1a85fd9ccb006fe7567053d48949e)
![{\displaystyle q{\bigl [}({\sqrt {2}}+1)^{2}({\sqrt[{4}]{2}}-1)^{4}{\bigr ]}={\text{e}}^{-4\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87887418ac09b28c76e9afd9554312ad3f589a52)
Weitere Lemniskatische Tochterwerte lauten wie folgt:
![{\displaystyle q{\bigl [}{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}-{\sqrt[{4}]{3}}){\bigr ]}={\text{e}}^{-3\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2f5d37fbc71a864fad318cae887cbd0a333c283)
![{\displaystyle q{\bigl [}{\tfrac {1}{2}}({\sqrt {3}}-1)({\sqrt {2}}+{\sqrt[{4}]{3}}){\bigr ]}=\exp(-{\tfrac {1}{3}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6fc7f6eaee4e0dc4c5ec9c3c8c60d06624f200)
![{\displaystyle q{\bigl [}{\tfrac {1}{2}}({\sqrt {10}}-2{\sqrt {2}}\,)(3-2{\sqrt[{4}]{5}}\,){\bigr ]}={\text{e}}^{-5\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/053202c18b40fecb648e2b307b522801494dccdd)
![{\displaystyle q{\bigl [}{\tfrac {1}{2}}({\sqrt {10}}-2{\sqrt {2}}\,)(3+2{\sqrt[{4}]{5}}\,){\bigr ]}=\exp(-{\tfrac {1}{5}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b15d1da6a11cc15874d90170de01b9b39406050b)
![{\displaystyle q{\biggl \langle }\sin {\bigl \{}{\tfrac {1}{2}}\arcsin {\bigl [}{\bigl (}{\tfrac {1}{4}}{\sqrt {14}}+{\tfrac {1}{4}}{\sqrt {2}}-{\tfrac {1}{2}}{\sqrt[{4}]{7}}\,{\bigr )}^{12}{\bigr ]}{\bigr \}}{\biggr \rangle }={\text{e}}^{-7\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba916c7755dd84f91f4b32201607f2537859ed47)
![{\displaystyle q{\biggl \langle }\cos {\bigl \{}{\tfrac {1}{2}}\arcsin {\bigl [}{\bigl (}{\tfrac {1}{4}}{\sqrt {14}}+{\tfrac {1}{4}}{\sqrt {2}}-{\tfrac {1}{2}}{\sqrt[{4}]{7}}\,{\bigr )}^{12}{\bigr ]}{\bigr \}}{\biggr \rangle }=\exp(-{\tfrac {1}{7}}\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82d9c889da3961fea0af0d06befb2cfa164bfff)
Als Module in den gezeigten Wertepaaren sind hier zueinander Pythagoräische Gegenstücke eingetragen!
Weitere Werte
Werte vom Muster 4n + 2:
![{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}={\text{e}}^{-{\sqrt {6}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f246ecc9389e9a33ddb67a7bde25ff4bd50bd30a)
![{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {6}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec30346b8d676b5ea821a00a42eff3a16134a277)
![{\displaystyle q{\bigl [}({\sqrt {10}}-3)({\sqrt {2}}-1)^{2}{\bigr ]}={\text{e}}^{-{\sqrt {10}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40897ed5e5ad0536a1de602d6326968e46245734)
![{\displaystyle q{\bigl [}({\sqrt {10}}-3)({\sqrt {2}}+1)^{2}{\bigr ]}=\exp(-{\tfrac {1}{5}}{\sqrt {10}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca3d21c664c6cbf710ffcf18713f1240ceea09f0)
![{\displaystyle q{\bigl [}(10-3{\sqrt {11}})(3{\sqrt {11}}-7{\sqrt {2}}){\bigr ]}={\text{e}}^{-{\sqrt {22}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17711618b6bdd602c8378ce0ab4dc50de8db873f)
![{\displaystyle q{\bigl [}(10-3{\sqrt {11}})(3{\sqrt {11}}+7{\sqrt {2}}){\bigr ]}=\exp(-{\tfrac {1}{11}}{\sqrt {22}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e70e3ab1ef938d8e2aaf7393f9e2d195e9c927b)
![{\displaystyle q{\bigl [}(13{\sqrt {58}}-99)({\sqrt {2}}-1)^{6}{\bigr ]}={\text{e}}^{-{\sqrt {58}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e82bf8049f9abc79c0ef0be9f3fe7bd899c3362)
![{\displaystyle q{\bigl [}(13{\sqrt {58}}-99)({\sqrt {2}}+1)^{6}{\bigr ]}=\exp(-{\tfrac {1}{29}}{\sqrt {58}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aeba1ef7ecccf15472c8ca361baac1f11ea6142)
Als Module in den gezeigten Wertepaaren sind hier zueinander tangentielle Gegenstücke eingetragen!
Werte vom Muster 4n - 1:
![{\displaystyle q{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}\,){\bigr ]}={\text{e}}^{-{\sqrt {3}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f05d325387f9aceb95d17022dca19c36960ccf36)
![{\displaystyle q{\bigl [}{\tfrac {1}{4}}({\sqrt {6}}+{\sqrt {2}}\,){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/886675d4814c149c85dd217f014227a35d3ab02a)
![{\displaystyle q{\bigl [}{\tfrac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}\,){\bigr ]}={\text{e}}^{-{\sqrt {7}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee2b4dfe4d763bf6404e22bd1863c886725a1850)
![{\displaystyle q{\bigl [}{\tfrac {1}{8}}(3{\sqrt {2}}+{\sqrt {14}}\,){\bigr ]}=\exp(-{\tfrac {1}{7}}{\sqrt {7}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e123664b5d1f596cedf5d753b610135066b089b)
![{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\bigl (}{\sqrt {22}}+3{\sqrt {2}}{\bigr )}{\bigl (}{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}+2{\sqrt {11}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}-2{\sqrt {11}}}}+{\tfrac {1}{3}}{\sqrt {11}}-1{\bigr )}^{4}{\bigr ]}={\text{e}}^{-{\sqrt {11}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b445a9d25425ea9900ac5c744d5a8a4c246dabce)
![{\displaystyle q{\bigl [}{\tfrac {1}{16}}{\bigl (}{\sqrt {22}}-3{\sqrt {2}}{\bigr )}{\bigl (}{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}+2{\sqrt {11}}}}-{\tfrac {1}{3}}{\sqrt[{3}]{6{\sqrt {3}}-2{\sqrt {11}}}}+{\tfrac {1}{3}}{\sqrt {11}}+1{\bigr )}^{4}{\bigr ]}=\exp(-{\tfrac {1}{11}}{\sqrt {11}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d693754f74e8d7112c827dcd59404b39dc24e73)
Hier sind wieder zueinander Pythagoräische Gegenstücke eingetragen!
Werte vom Muster 4n + 1:
![{\displaystyle q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}={\text{e}}^{-{\sqrt {5}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74743917d0c5bbf9395c7ff9dc1428c68a6497a5)
![{\displaystyle q{\bigl \{}\cos {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}=\exp(-{\tfrac {1}{5}}{\sqrt {5}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0520786f759fa95434853d4178eb2bf51404281)
![{\displaystyle q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}={\text{e}}^{-{\sqrt {13}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63814da1addc2736442586b0051dc92ddc6bbae1)
![{\displaystyle q{\bigl \{}\cos {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}=\exp(-{\tfrac {1}{13}}{\sqrt {13}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b04bd58b6349f53752bac3a18f163ebf0d6fb397)
![{\displaystyle q{\biggl \langle }\sin {\bigl \{}{\tfrac {1}{2}}\arcsin {\bigl [}({\sqrt {37}}-6)^{3}{\bigr ]}{\bigr \}}{\biggr \rangle }={\text{e}}^{-{\sqrt {37}}\pi }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2142d0ddc758bf97372c71b51961b8517eaa57b1)
![{\displaystyle q{\biggl \langle }\cos {\bigl \{}{\tfrac {1}{2}}\arcsin {\bigl [}({\sqrt {37}}-6)^{3}{\bigr ]}{\bigr \}}{\biggr \rangle }=\exp(-{\tfrac {1}{37}}{\sqrt {37}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ab5dffd3b1efa786ada26da8ef0a61a8d2e7786)
Auch die hier gezeigten Modulpaare sind Pythagoräische Gegenstücke!
Elementar parametrisierte Potenzierungsgesetze
Herleitung des Quadrierungsgesetzes
Das Gesetz für das Quadrat des elliptischen Nomens beinhaltet die Bildung des Landenschen Tochtermoduls:
![{\displaystyle q(x)^{2}=q{\bigl [}x^{2}(1+{\sqrt {1-x^{2}}})^{-2}{\bigr ]}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arcsin(x){\bigr ]}^{2}{\bigr \}}=q{\bigl \{}\operatorname {tanh} {\bigl [}{\tfrac {1}{2}}\operatorname {artanh} (x){\bigr ]}^{2}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a617dc826af4bded013269ab1a626ce111152c4c)
Der Landensche Tochtermodul ist zugleich das tangentielle Gegenstück des pythagoräischen Gegenstücks des Muttermoduls.
Diese Formel resultiert als Kombination aus folgenden Gleichungen:
![{\displaystyle (1+{\sqrt {1-x^{2}}})F{\bigl [}\arctan(w);x{\bigr ]}=F{\bigl [}\arctan(w)+\arctan({\sqrt {1-x^{2}}}\,w);x^{2}(1+{\sqrt {1-x^{2}}})^{-2}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87342cfc51dc5cb49e2ee341a4a07f055ce62fdc)
Der Differentialquotient von dieser Gleichungswaage bezüglich bestätigt die Richtigkeit dieser Formel. Denn auf beiden Seiten der Gleichungswaage entsteht die gleiche Ableitungsfunktion und beide Seiten der Waage verlaufen bezüglich durch den Koordinatenursprung.
Daraus folgt direkt:
![{\displaystyle (1+{\sqrt {1-x^{2}}})K(x)=2K{\bigl [}x^{2}(1+{\sqrt {1-x^{2}}})^{-2}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/313a17804953cefaef35c1ca1d123c3defcf6712)
Durch Umsubstituierung entsteht dieser Ausdruck:
![{\displaystyle K{\bigl [}2{\sqrt[{4}]{1-x^{2}}}(1+{\sqrt {1-x^{2}}})^{-1}{\bigr ]}=(1+{\sqrt {1-x^{2}}})K({\sqrt {1-x^{2}}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4de3838e1296c2a94e11026a9072643d6dea5fee)
Die Kombination dieser beiden Formeln ergibt folgende Quotientengleichung:
![{\displaystyle 2\,{\frac {K({\sqrt {1-x^{2}}})}{K(x)}}={\frac {K[2{\sqrt[{4}]{1-x^{2}}}(1+{\sqrt {1-x^{2}}})^{-1}]}{K[x^{2}(1+{\sqrt {1-x^{2}}})^{-2}]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c938b720f9308cb5d0acfdd410b6b11aef4df54)
Auf beiden Seiten dieser Gleichung stehen Periodenverhältnisse.
Denn auf beiden Seiten ist der Modul im Zähler pythagoräisch komplementär zum Modul im Nenner.
Das elliptische Nomen ist als Exponentialfunktion des negativen Kreiszahlfachen des reellen Periodenverhältnisses definiert.
Und das reelle Periodenverhältnis ist als Quotient vom K-Integral des pythagoräischen Komplementärmoduls dividiert durch das K-Integral des betroffenen Moduls selbst definiert.
Daraus folgt dann:
![{\displaystyle q(x)^{2}=\exp {\biggl [}-\pi \,{\frac {K'(x)}{K(x)}}{\biggr ]}^{2}=\exp {\biggl [}-\pi \,{\frac {K({\sqrt {1-x^{2}}})}{K(x)}}{\biggr ]}^{2}=\exp {\biggl \{}-\pi {\biggl [}2\,{\frac {K({\sqrt {1-x^{2}}})}{K(x)}}{\biggr ]}{\biggr \}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/572dcc72a892e03362ee704219706cbc397dc87d)
![{\displaystyle =\exp {\biggl \{}-\pi \,{\frac {K[2{\sqrt[{4}]{1-x^{2}}}(1+{\sqrt {1-x^{2}}})^{-1}]}{K[x^{2}(1+{\sqrt {1-x^{2}}})^{-2}]}}{\biggr \}}=\exp {\biggl \{}-\pi \,{\frac {K'[x^{2}(1+{\sqrt {1-x^{2}}})^{-2}]}{K[x^{2}(1+{\sqrt {1-x^{2}}})^{-2}]}}{\biggr \}}=q{\bigl [}x^{2}(1+{\sqrt {1-x^{2}}})^{-2}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55e904e69e92b3e726cfa3247a24af8d650cd14e)
QUOD ERAT DEMONSTRANDUM!
|
Beispiele für das Quadrierungsgesetz
Für diese Formel sollen im nun Folgenden drei Beispiele ausgeführt werden:
Trigonometrisch dargestellte Beispiele:
![{\displaystyle \exp(-2{\sqrt {3}}\,\pi )=\exp(-{\sqrt {3}}\,\pi )^{2}=q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}^{2}=q{\bigl [}\tan({\tfrac {1}{24}}\pi )^{2}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1404a695762a06f0bdfad41aa2e2c4534c3d597b)
![{\displaystyle \exp(-2{\sqrt {5}}\,\pi )=\exp(-{\sqrt {5}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\sqrt {5}}-2){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin({\sqrt {5}}-2){\bigr ]}^{2}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38e5a00b68e138c2dbc8547d43b47f7b6e2deccf)
![{\displaystyle \exp(-2{\sqrt {7}}\,\pi )=\exp(-{\sqrt {7}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin({\tfrac {1}{8}}){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin({\tfrac {1}{8}}){\bigr ]}^{2}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad2f31f5c528d3686fa31cb81c68872b4495b128)
![{\displaystyle \exp(-2{\sqrt {13}}\,\pi )=\exp(-{\sqrt {13}}\,\pi )^{2}=q{\bigl \{}\sin {\bigl [}{\tfrac {1}{2}}\arcsin(5{\sqrt {13}}-18){\bigr ]}{\bigr \}}^{2}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{4}}\arcsin(5{\sqrt {13}}-18){\bigr ]}^{2}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/752ea20609ba3e3df02fa3ad722beabada2729f2)
Hyperbolisch dargestellte Beispiele:
![{\displaystyle \exp(-2{\sqrt {6}}\,\pi )=\exp(-{\sqrt {6}}\,\pi )^{2}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/555024c88cb74dd8fa4465b026de8633184d794b)
![{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{2}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5038ba5b4450c6c807becbffcfb7a7d987d00847)
![{\displaystyle \exp(-2{\sqrt {10}}\,\pi )=\exp(-{\sqrt {10}}\,\pi )^{2}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2013d9e387e1400c0578033941994b4ef341d12e)
![{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63b0460a3c302509161e6c00560c1413f476c8b2)
![{\displaystyle \exp(-2{\sqrt {14}}\,\pi )=\exp(-{\sqrt {14}}\,\pi )^{2}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b7261c22ede21074095e83297cc7a6815b86eb0)
![{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}+{\tfrac {1}{2}}-{\tfrac {1}{2}}{\sqrt {4{\sqrt {2}}+5}})^{3}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}+{\tfrac {1}{2}}-{\tfrac {1}{2}}{\sqrt {4{\sqrt {2}}+5}})^{3}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebdaada73b885659941ed25ee73390dd9f0e6560)
![{\displaystyle \exp(-2{\sqrt {22}}\,\pi )=\exp(-{\sqrt {22}}\,\pi )^{2}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9da6c64bb8e035be7abea73aa7e8909f19d1215e)
![{\displaystyle =q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{2}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{6}{\bigr ]}{\bigr \}}{\biggr \rangle }^{2}=q{\biggl \langle }\operatorname {tanh} {\bigl \{}{\tfrac {1}{4}}\operatorname {arsinh} {\bigl [}({\sqrt {2}}-1)^{6}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16fd434746932d3b6541faae342b59e411d5a70a)
Herleitung des Kubierungsgesetzes
Diese parametrisierte Formel für den Kubus des elliptischen Nomens ist für alle Werte −1 < u < 1 gültig.
![{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c196e70df24473cb42f48397b7b7de4ed10e92)
Diese Formel resultiert als Kombination aus folgenden Gleichungen:
![{\displaystyle (2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)F{\bigl [}\arctan(w);u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cdbd0bcb167a0e04dbb4d4867ccc929f03269bf)
![{\displaystyle =F{\bigl \{}\arctan(w)+2\arctan {\bigl [}({\sqrt {u^{4}-u^{2}+1}}-u^{2})\,w{\bigr ]};u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9efebc38050c440bc2163c65a0574345c2ee0202)
Der Differentialquotient von dieser Gleichungswaage bezüglich bestätigt die Richtigkeit dieser Formel. Denn auf beiden Seiten der Gleichungswaage entsteht die gleiche Ableitungsfunktion und beide Seiten der Waage verlaufen bezüglich durch den Koordinatenursprung.
Daraus folgt direkt:
![{\displaystyle (2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)K{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}=3K{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e675a9701b30985007bedcc92410fcc2f5db5af1)
Durch Umsubstituierung entsteht dieser Ausdruck:
![{\displaystyle K{\bigl [}{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2}){\bigr ]}=(2{\sqrt {u^{4}-u^{2}+1}}-2u^{2}+1)K{\bigl [}{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2}){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c94278c29ead7703080755b51627685ef83d7c8)
Die Kombination dieser beiden Formeln ergibt folgende Quotientengleichung:
![{\displaystyle 3\,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}={\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69ac06ba35be149540f692eb84a1343e44d5ca5d)
Auf beiden Seiten dieser Gleichung stehen Periodenverhältnisse.
Denn auf beiden Seiten ist der Modul im Zähler pythagoräisch komplementär zum Modul im Nenner.
Das elliptische Nomen ist als Exponentialfunktion des negativen Kreiszahlfachen des reellen Periodenverhältnisses definiert.
Und das reelle Periodenverhältnis ist als Quotient vom K-Integral des pythagoräischen Komplementärmoduls dividiert durch das K-Integral des betroffenen Moduls selbst definiert.
Daraus folgt dann:
![{\displaystyle q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1){\bigr ]}^{3}=\exp {\biggl \{}-\pi \,{\frac {K'[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}{\biggr \}}^{3}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e8c0c1ba4efb479c4c89836946b90e4872c10b1)
![{\displaystyle =\exp {\biggl \{}-\pi \,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}{\biggr \}}^{3}=\exp {\biggl \langle }-\pi {\biggl \{}3\,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}-u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]}}{\biggr \}}{\biggr \rangle }=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b90729c9860ac32747a537b1aaf5aa8e567e5352)
![{\displaystyle =\exp {\biggl \{}-\pi \,{\frac {K[{\sqrt {1-u^{2}}}({\sqrt {u^{4}-u^{2}+1}}+u^{2})]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}{\biggr \}}=\exp {\biggl \{}-\pi \,{\frac {K'[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}{K[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}}{\biggr \}}=q{\bigl [}u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/360cf378d5affe6e8b990932c5d4e17e780ce19a)
Quod erat demonstrandum!
|
Beispiele für das Kubierungsgesetz
Alternativ hierzu kann diese Formel aufgestellt werden:
![{\displaystyle q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(t^{3}){\bigr ]}{\bigr \}}^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(t^{3}){\bigr ]}^{3}\tan {\bigl [}\arctan {\bigl (}{\sqrt {2{\sqrt {t^{4}-t^{2}+1}}-t^{2}+2}}+{\sqrt {t^{2}+1}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77305c6c2df607003c5015ca8c4f946cbd91b5de)
Die nun gezeigte Formel dient zur vereinfachten Rechnung, weil hier für die Ermittlung des betroffenen Wertes
ganz einfach der gegebene elliptische Modul herangezogen werden kann, dieser einer Tangensverdopplung anvertraut werden kann und dann aus der Tangensverdopplung nur mehr nur die Kubikwurzel gezogen werden muss, um so direkt den Parametrisierungswert
zu bekommen.
Hierfür sollen zwei Beispiele behandelt werden:
Im ersten Beispiel wird der Wert
eingesetzt:
![{\displaystyle \exp(-3{\sqrt {2}}\,\pi )=\exp(-{\sqrt {2}}\,\pi )^{3}=q({\sqrt {2}}-1)^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(1){\bigr ]}{\bigr \}}^{3}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77bae1254cbf4d10395da4c2a5e41ddaba702b4e)
![{\displaystyle =q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(1){\bigr ]}^{3}\tan {\bigl [}\arctan {\bigl (}{\sqrt {3}}+{\sqrt {2}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}=q{\bigl [}({\sqrt {2}}-1)^{3}({\tfrac {1}{2}}{\sqrt {6}}-{\tfrac {1}{2}}{\sqrt {2}})^{4}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75866f74c0e696a6b9cb668c56bd3a66bfcedce7)
Im zweiten Beispiel wird der Wert
eingesetzt:
![{\displaystyle \exp(-3{\sqrt {10}}\,\pi )=\exp(-{\sqrt {10}}\,\pi )^{3}=q{\bigl [}({\sqrt {10}}-3)({\sqrt {2}}-1)^{2}{\bigr ]}^{3}=q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(\Phi ^{-6}){\bigr ]}{\bigr \}}^{3}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc7d44034dfcbb9db807e0b1de13a0d35fe7dca)
![{\displaystyle =q{\bigl \{}\tan {\bigl [}{\tfrac {1}{2}}\arctan(\Phi ^{-6}){\bigr ]}^{3}\tan {\bigl [}\arctan {\bigl (}{\sqrt {2{\sqrt {\Phi ^{-8}-\Phi ^{-4}+1}}-\Phi ^{-4}+2}}+{\sqrt {\Phi ^{-4}+1}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b909418969ecc0db56e7073fcd1d9743479c8703)
![{\displaystyle =q{\bigl \{}({\sqrt {10}}-3)^{3}({\sqrt {2}}-1)^{6}\tan {\bigl [}\arctan {\bigl (}{\sqrt {2{\sqrt {\Phi ^{-8}-\Phi ^{-4}+1}}-\Phi ^{-4}+2}}+{\sqrt {\Phi ^{-4}+1}}{\bigr )}-{\tfrac {1}{4}}\pi {\bigr ]}^{4}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60a369c15fee895ed4a1e962a7f406aaa423da94)
Elliptisch dargestellte Potenzierungsgesetze
Reduzierte Hermitesche elliptische Funktionen
Alle Potenzen mit dem Nomen einer positiven algebraischen Zahl als Basis und einer positiven rationalen Zahl als Exponent ergeben erneut Nomina von positiven algebraischen Zahlen:
![{\displaystyle q(\varepsilon _{1}\in \mathbb {A} ^{+})^{m\,\in \,\mathbb {Q^{+}} }=q(\varepsilon _{2}\in \mathbb {A} ^{+})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/966bb6bc1ee8979e3ceac912c0266ca29497681c)
Denn akkurat basiert die Nomentransformation auf folgendem Grundmuster, welches für alle natürlichen Zahlen
gültig ist:
![{\displaystyle q(\varepsilon )^{n}=q{\bigl [}\varepsilon ^{n}\Phi _{HRn}(\varepsilon )^{4}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26d8a58ac50bb9bd1562225a1ddaccdc28d8444f)
Die reduzierte Hermitesche elliptische Funktion hat diese Definition:
![{\displaystyle \Phi _{HRn}(\varepsilon )={\frac {\varphi _{H}[q(\varepsilon )^{n}]}{\varphi _{H}[q(\varepsilon )]^{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7351cf966a7dcc9d64a034cd241917c8cc516d19)
Diese reduzierte Hermitesche Phifunktion ist für ungerade Indizes identisch mit folgenden Sinus-Amplitudinis-Produkten:
![{\displaystyle \Phi _{HR(2s+1)}(\varepsilon )=\prod _{r=1}^{s}\mathrm {sn} {\biggl [}{\frac {2r-1}{2s+1}}K(\varepsilon );\varepsilon {\biggr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8164e495f32a859fdeff27e77e9877b29d3bd570)
Beispielsweise gelten folgende Werte:
![{\displaystyle \Phi _{HR3}(\varepsilon )=\mathrm {sn} {\bigl [}{\tfrac {1}{3}}K(\varepsilon );\varepsilon {\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e07f43f9e6b493452de8e51da66bfd09b0ecc3)
![{\displaystyle \Phi _{HR5}(\varepsilon )=\mathrm {sn} {\bigl [}{\tfrac {1}{5}}K(\varepsilon );\varepsilon {\bigr ]}\mathrm {sn} {\bigl [}{\tfrac {3}{5}}K(\varepsilon );\varepsilon {\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae47360678e4401fa426e8a907b41564b3e1f30a)
![{\displaystyle \Phi _{HR7}(\varepsilon )=\mathrm {sn} {\bigl [}{\tfrac {1}{7}}K(\varepsilon );\varepsilon {\bigr ]}\mathrm {sn} {\bigl [}{\tfrac {3}{7}}K(\varepsilon );\varepsilon {\bigr ]}\mathrm {sn} {\bigl [}{\tfrac {5}{7}}K(\varepsilon );\varepsilon {\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c7fdc297d513eed4d9f2d076a80ae177ab3d70f)
Für die effiziente Berechnung der reduzierten Hermiteschen Funktionswerte mögen in Abhängigkeit vom elliptischen Modul beziehungsweise von der Exzentrizität
folgende Gleichungen[18][19] nach der positiven zwischen Null und Eins liegenden Lösung aufgelöst werden:
|
|
|
|
Folgende Hermiteschen Phi-Ausdrücke lösen nachfolgende Gleichungen:
Stufe Sieben:
löst die Gleichungen
und
|
Stufe Elf:
löst die Gleichung
![{\displaystyle k^{30}x^{12}+(-32k^{30}+22k^{28})x^{11}+44k^{26}x^{10}-(88k^{24}+22k^{22})x^{9}+165k^{20}x^{8}-132k^{18}x^{7}+(-44k^{16}+44k^{14})x^{6}+}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0105c07ad4c21ade7143d8aea43fe68d0dde5623)
|
Beispiele für die Potenzierung mit Hermiteschen Funktionen
Erstes quintisches Rechenbeispiel:
|
|
![{\displaystyle \exp(-5\pi )=\exp(-\pi )^{5}=q({\tfrac {1}{2}}{\sqrt {2}})^{5}=q{\bigl [}{\tfrac {1}{8}}{\sqrt {2}}\,\Phi _{HR5}({\tfrac {1}{2}}{\sqrt {2}})^{4}{\bigr ]}=q{\bigl \{}{\tfrac {1}{8}}{\sqrt {2}}{\bigl [}{\tfrac {1}{2}}({\sqrt {5}}-1)({\sqrt[{4}]{5}}-1){\bigr ]}^{4}{\bigr \}}=q{\bigl [}{\tfrac {1}{2}}({\sqrt {10}}-2{\sqrt {2}}\,)(3-2{\sqrt[{4}]{5}}\,){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb11111857cf53490a4dae38785d2a42d347c892)
Zweites quintisches Rechenbeispiel:
![{\displaystyle \exp(-5{\sqrt {2}}\,\pi )=\exp(-{\sqrt {2}}\,\pi )^{5}=q({\sqrt {2}}-1)^{5}=q{\bigl [}({\sqrt {2}}-1)^{5}\,\Phi _{HR5}({\sqrt {2}}-1)^{4}{\bigr ]}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/434933c03cc5cc0cca098351214de122cb3475eb)
![{\displaystyle =q{\biggl \langle }({\sqrt {2}}-1)^{5}{\bigl \{}({\sqrt {2}}+1)\tan {\bigl [}\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 )}-{\tfrac {1}{8}}\pi {\bigr ]}{\bigr \}}^{4}{\biggr \rangle }=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89ea61492021825f74609949847dc53539ff7293)
![{\displaystyle =q{\bigl \{}({\sqrt {2}}-1)\tan {\bigl [}\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 )}-{\tfrac {1}{8}}\pi {\bigr ]}^{4}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9bc556e8e9078e66c3907ddf616fdc95e95cec3)
Septisches Rechenbeispiel:
|
|
![{\displaystyle \exp(-7\pi )=\exp(-\pi )^{7}=q({\tfrac {1}{2}}{\sqrt {2}})^{7}=q{\bigl [}{\tfrac {1}{16}}{\sqrt {2}}\,\Phi _{HR7}({\tfrac {1}{2}}{\sqrt {2}})^{4}{\bigr ]}=q{\bigl \{}{\tfrac {1}{16}}{\sqrt {2}}{\bigl [}1-{\tfrac {1}{2}}(8{\sqrt {7}}+21)^{1/4}({\sqrt[{4}]{28}}-{\sqrt {7}}+1){\bigr ]}^{4}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06e959849dd7047e06d218fc1eea14f4f110b785)
Gesetze mit reduzierten Weberschen Funktionen
Die reduzierten Weberschen Modulfunktionen
und
dienen zur schnellen Ermittlung der neuen elliptischen Module potenzierter Nomina. Diese beiden Weberschen Funktionen können so definiert werden:
![{\displaystyle w_{Ra}(x)={\frac {2^{(a-1)/4}[q(x)^{a};q(x)^{2a}]_{\infty }}{[q(x);q(x)^{2}]_{\infty }^{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd585734ea3b1d356ebc8d60e3f65ce0ccca5019)
![{\displaystyle W_{Ra}(x)=2^{(a-1)/4}w_{Ra}(x)^{-1}w_{Ra}{\bigl [}x^{2}(1+{\sqrt {1-x^{2}}})^{-2}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fabfc7ce48e36b2e6e9107f199f893eeb79b46bf)
Diese beiden Funktionen erfüllen für konkrete Werte n folgende Gleichungen:
![{\displaystyle w_{R3}(x)^{12}-2{\sqrt {2}}\,w_{R3}(x)^{9}=\tan {\bigl [}2\arctan(x){\bigr ]}^{2}{\bigl [}2{\sqrt {2}}\,w_{R3}(x)^{3}+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53c12261f895d38b9dd44ec76fd350cd998a087c)
![{\displaystyle 2{\sqrt {2}}\,W_{R3}(x)^{9}-W_{R3}(x)^{12}=\sin {\bigl [}2\arcsin(x){\bigr ]}^{2}{\bigl [}2{\sqrt {2}}\,W_{R3}(x)^{3}+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a42323ac07227bc4f6b534f05a378d1934768dfb)
![{\displaystyle w_{R5}(x)^{6}-2\,w_{R5}(x)^{5}=\tan {\bigl [}2\arctan(x){\bigr ]}^{2}{\bigl [}2\,w_{R5}(x)+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2e71bd231ddcd1eaff73a141f4857d9c54dbe86)
![{\displaystyle 2\,W_{R5}(x)^{5}-W_{R5}(x)^{6}=\sin {\bigl [}2\arcsin(x){\bigr ]}^{2}{\bigl [}2\,W_{R5}(x)+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78325d3c0a96bf88a5a8f336a9b8c58ad5867ee4)
![{\displaystyle w_{R5}(x)={\frac {5\,\vartheta _{01}[q(x)^{5}]^{2}}{2\,\vartheta _{01}[q(x)]^{2}}}-{\frac {1}{2}}={\text{nc}}[{\tfrac {4}{5}}K(x);x]-{\text{nc}}[{\tfrac {2}{5}}K(x);x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd710a03153e118fe4976aebbc3fb40683b05271)
![{\displaystyle W_{R5}(x)={\frac {5\,\vartheta _{00}[q(x)^{5}]^{2}}{2\,\vartheta _{00}[q(x)]^{2}}}-{\frac {1}{2}}={\text{dn}}[{\tfrac {2}{5}}K(x);x]+{\text{dn}}[{\tfrac {4}{5}}K(x);x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5ea56dce543820dc8de9b379d03b285b855a850)
Für alle natürlichen Zahlen n ist diese Formel gültig:
![{\displaystyle q(x)^{2n+1}=q{\bigl [}4^{n}x^{2n+1}w_{R(2n+1)}(x)^{-4}W_{R(2n+1)}(x)^{-8}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06f66bd3f0271cd5c17e32b07eaf442c4e81a843)
Wenn der Wert x im Intervall -1 < x < 1 liegt, dann gilt generell auch diese Formel:
![{\displaystyle q(x)^{2n+1}=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}{\bigl (}{\tfrac {2x}{1-x^{2}}}{\bigr )}^{2n+1}w_{R(2n+1)}(x)^{-12}{\bigr ]}{\bigr \}}{\bigr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02b5dc74c6f609f920bac40e6636698f3027e1b5)
Und speziell für die Potenzierung mit Fünf dient folgende Formel zur effizienten Berechnung:
![{\displaystyle q(x)^{5}=q{\biggl \langle }x^{5}{\biggl \{}{\frac {(1-x^{2})[w_{R5}(x)^{4}-w_{R5}(x)^{3}]-2[w_{R5}(x)+1]}{(1-x^{2})[w_{R5}(x)^{4}-w_{R5}(x)^{3}]+2\,x^{2}[w_{R5}(x)+1]}}{\biggr \}}^{4}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4cd23b8712bb2c9983e1d31599706f235b51e1b)
Theoreme für die natürlichen Logarithmen der Nomina
Pythagoräische und tangentielle Gegenstücke
Wenn zwei Zahlen a und b positive zueinander pythagoräische Gegenstücke sind und somit a² + b² = 1 ist, dann gilt: ln[q(a)] ln[q(b)] = π²
Wenn zwei Zahlen c und d positive zueinander tangentielle Gegenstücke sind und somit (1 + c) (1 + d) = 2 ist, dann gilt: ln[q(c)] ln[q(d)] = 2π²
Trigonometrische Parametrisierungen der Theoreme
Somit sind folgende vier Darstellungen für alle reellen Zahlen x gültig und ergeben überall reelle Werte:
Pythagoräische Gegenstücke:
![{\displaystyle \ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi -{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\sin {\bigl [}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3ef0bae7362a1536667682c41d165230f55d0f7)
![{\displaystyle \ln {\bigl \{}q{\bigl [}{\tfrac {1}{2}}{\sqrt {2-2x(x^{2}+1)^{-1/2}}}{\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}{\tfrac {1}{2}}{\sqrt {2+2x(x^{2}+1)^{-1/2}}}{\bigr ]}{\bigr \}}=\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b3ce9b22a1c61c56aee8371f913b7d983fac4bf)
Tangentielle Gegenstücke:
![{\displaystyle \ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi -{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }\ln {\biggl \langle }q{\bigl \{}\tan {\bigl [}{\tfrac {1}{8}}\pi +{\tfrac {1}{4}}\arctan(x){\bigr ]}{\bigr \}}{\biggr \rangle }=2\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/296d0a4815c0f995f2ab32997b2c52db559f8f31)
![{\displaystyle \ln {\bigl \{}q{\bigl [}{\sqrt {({\sqrt {x^{2}+1}}+x)^{2}+1}}-{\sqrt {x^{2}+1}}-x{\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}{\sqrt {({\sqrt {x^{2}+1}}-x)^{2}+1}}-{\sqrt {x^{2}+1}}+x{\bigr ]}{\bigr \}}=2\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc886987b4daaa465cbb16636aef29774116d3e0)
Kombinatorische Berechnungen der Werte
Direkte Resultate genannter Theoreme
Für die Ermittlung der Nomina sollen im Folgenden Beispiele aufgestellt werden:
Beispiel 1:
Für x = 0 entsteht aus der Formel der pythagoräischen Gegenstücke diese Gleichung:
![{\displaystyle \ln {\bigl \{}q{\bigl [}\sin({\tfrac {1}{4}}\pi ){\bigr ]}{\bigr \}}^{2}=\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/527668757fade1c1da9a88a8ec8ddf622599d079)
![{\displaystyle q{\bigl [}\sin({\tfrac {1}{4}}\pi ){\bigr ]}=\exp(-\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f54ad3b15208c6ea0dc7cf7800aa4e8050891ad5)
Beispiel 2:
Für x = 0 entsteht aus der Formel der tangentiellen Gegenstücke jene Gleichung:
![{\displaystyle \ln {\bigl \{}q{\bigl [}\tan({\tfrac {1}{8}}\pi ){\bigr ]}{\bigr \}}^{2}=2\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8fad2ebca94d1e5990281538d1ac5745061a4ec)
![{\displaystyle q{\bigl [}\tan({\tfrac {1}{8}}\pi ){\bigr ]}=\exp(-{\sqrt {2}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8ef0cdad0eb91c76338270252b558e1794da511)
Kombinationen von jeweils zwei Theoremen
Beispiel 1:
Für
entsteht aus der Formel der pythagoräischen Gegenstücke diese Gleichung:
![{\displaystyle \ln {\bigl \{}q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}{\bigr \}}=\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5da505de27764ca2531aa6886c81f8f1d1ce74fc)
In einem vorherigen Abschnitt wurde dieses Theorem genannt:
![{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c196e70df24473cb42f48397b7b7de4ed10e92)
Aus diesem Theorem für das Kubieren ergibt sich für
folgende Gleichung:
![{\displaystyle q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}^{3}=q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e449e53d1efe40f7fa334a4ebee50bc7be0e512a)
Die Lösung des Gleichungssystems mit zwei Unbekannten lautet dann so:
![{\displaystyle q{\bigl [}\sin({\tfrac {1}{12}}\pi ){\bigr ]}=\exp(-{\sqrt {3}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a2342c595a7d434ac51c0e8a4f935ef3f6e4ee7)
![{\displaystyle q{\bigl [}\sin({\tfrac {5}{12}}\pi ){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {3}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c5002473025906ce0c331f9fa93a6a540bcd332)
Beispiel 2:
Für
entsteht aus der Formel der tangentiellen Gegenstücke jene Gleichung:
![{\displaystyle \ln {\bigl \{}q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}{\bigr \}}\ln {\bigl \{}q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}{\bigr \}}=2\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13c9af4e3d64e2ee1e06c7d1c394fee5c5a54238)
Auch hier wird das Theorem für das Kubieren verwendet:
![{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c196e70df24473cb42f48397b7b7de4ed10e92)
Aus dem vorher genannten Theorem für das Kubieren ergibt sich für
folgende Gleichung:
![{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}^{3}=q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6d7d7584287095a0a708f06140d78fdd46431d0)
Die Lösung des Gleichungssystems mit zwei Unbekannten lautet dann so:
![{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}-{\sqrt {2}}){\bigr ]}=\exp(-{\sqrt {6}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3ee313697d692eb09ee16dcf85ce0e4568c114)
![{\displaystyle q{\bigl [}(2-{\sqrt {3}})({\sqrt {3}}+{\sqrt {2}}){\bigr ]}=\exp(-{\tfrac {1}{3}}{\sqrt {6}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec30346b8d676b5ea821a00a42eff3a16134a277)
Kombinationen von jeweils drei Theoremen
Gegeben seien folgende vier elliptischen Module:
![{\displaystyle k_{A}=\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/686a855ace8b3cbbd57915018bd811df1d284440)
![{\displaystyle k_{B}=\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}+3)^{2}({\sqrt {5}}-2)^{2}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdd43352746c8c84b5cf05caff9f93dcf960ff1f)
![{\displaystyle k_{C}=\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}-3)^{2}({\sqrt {5}}+2)^{2}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ccfc05adbf7c1dd4f8a0a018ab4754c9e47064d)
![{\displaystyle k_{D}=\tan\{{\tfrac {1}{2}}\arctan[({\sqrt {10}}-3)^{2}({\sqrt {5}}-2)^{2}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65c3a862331fc001d174b70dccb7300bef613e87)
In das genannte Theorem für das Kubieren soll der Wert
eingesetzt werden:
![{\displaystyle q[u({\sqrt {u^{4}-u^{2}+1}}-u^{2}+1)]^{3}=q[u({\sqrt {u^{4}-u^{2}+1}}+u^{2}-1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c196e70df24473cb42f48397b7b7de4ed10e92)
So entsteht dieses Gleichungspaar:
![{\displaystyle q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }^{3}=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}+3)^{2}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94168852d4ee7ac681380c45036fb4ba4604cd50)
![{\displaystyle {\color {blueviolet}q(k_{A})^{3}=q(k_{B})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3eb242bafe46472176d017ac14184f0dec541e3)
Im Folgenden wird
ermittelt:
![{\displaystyle \tan {\bigl [}2\arctan(k_{A}){\bigr ]}=({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10de4577834104f39ff1453d0b5ebc35fc39cdaf)
![{\displaystyle w_{R5}(k_{A})^{6}-2\,w_{R5}(k_{A})^{5}=\tan {\bigl [}2\arctan(k_{A}){\bigr ]}^{2}{\bigl [}2\,w_{R5}(k_{A})+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8f20ea611fa6dd1c7d9c7e5269ace03600151ad)
![{\displaystyle w_{R5}(k_{A})^{6}-2\,w_{R5}(k_{A})^{5}=({\sqrt {10}}+3)^{4}({\sqrt {5}}+2)^{4}{\bigl [}2\,w_{R5}(k_{A})+1{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/163c47d953ef782add82f1f6c383ca1f582a6f0e)
![{\displaystyle w_{R5}(k_{A})={\tfrac {1}{2}}(3+{\sqrt {5}})({\sqrt {10}}+3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/033b8f0768b757c9f76d33edcb2eaac3b7e3fb51)
![{\displaystyle q(k_{A})^{5}=q{\biggl \langle }k_{A}^{5}{\biggl \{}{\frac {(1-k_{A}^{2})[w_{R5}(k_{A})^{4}-w_{R5}(k_{A})^{3}]-2\,w_{R5}(k_{A})-2}{(1-k_{A}^{2})[w_{R5}(k_{A})^{4}-w_{R5}(k_{A})^{3}]+2\,k_{A}^{2}w_{R5}(k_{A})+2\,k_{A}^{2}}}{\biggr \}}^{4}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e190347fc36d0fbb36418a2ee0d7606cfb11582a)
So entsteht jenes Gleichungspaar:
![{\displaystyle q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }^{5}=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}-3)^{2}({\sqrt {5}}+2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb6d94c3116891655ce839ddb4ca3a62a205b593)
![{\displaystyle {\color {blueviolet}q(k_{A})^{5}=q(k_{C})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e136a9631a075aa2d50fee2954814a337a72098c)
Die Module mit den Indizes B und C sind zueinander tangentielle Gegenstücke:
![{\displaystyle \arctan(k_{B})+\arctan(k_{C})={\tfrac {1}{4}}\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7afbd01b60af12a6a0b9403ef03b5500e8804e13)
![{\displaystyle (1+k_{B})(1+k_{C})=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69d5f1e863c3b35062e657003d940470d2f8c470)
Und aus dem Theorem für die tangentiell komplementären Module folgt die nun gezeigte Gleichung:
![{\displaystyle \ln[q(k_{B})]\ln[q(k_{C})]=2\pi ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ccce927cf296c29e0e095f3ff6ac7ee5bf9a78d)
So ergibt sich folgendes Gleichungstriplett:
|
Das Einsetzungsverfahren ergibt dieses Resultat:
![{\displaystyle {\color {RoyalBlue}15\ln[q(k_{A})]^{2}=2\pi ^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ebef10b287cec55365b65f4339cf96d0c69ca64)
![{\displaystyle {\color {Limegreen}q(k_{A})=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}+3)^{2}({\sqrt {5}}+2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }=\exp(-{\tfrac {1}{15}}{\sqrt {30}}\,\pi )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f04128ae1ab0c81474334437bcca2838813e2259)
Und danach folgen aus den beiden obersten Gleichungen des Kästchens jene beiden Resultate:
![{\displaystyle {\color {Limegreen}q(k_{B})=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}+3)^{2}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }=\exp(-{\tfrac {1}{5}}{\sqrt {30}}\,\pi )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b246025d7e9dbb35059af9f3e5d4c43942d137d5)
![{\displaystyle {\color {Limegreen}q(k_{C})=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}-3)^{2}({\sqrt {5}}+2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }=\exp(-{\tfrac {1}{3}}{\sqrt {30}}\,\pi )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40bbe6888770672d3a4c0e6f9a5e6f81b8bd2087)
Aus dem Theorem für tangentielle Gegenmodule folgt:
![{\displaystyle {\color {Limegreen}q(k_{D})=q{\bigl \langle }\tan {\bigl \{}{\tfrac {1}{2}}\arctan {\bigl [}({\sqrt {10}}-3)^{2}({\sqrt {5}}-2)^{2}{\bigr ]}{\bigr \}}{\bigr \rangle }=\exp(-{\sqrt {30}}\,\pi )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30e309a4b6078759df0d80f052ff8470d9fb4ea6)
Ermittlungen über unvollständige Integrale
Mit den unvollständigen elliptischen Integralen erster Art können die Werte der elliptischen Nomenfunktion direkt hergeleitet werden.
Bei zwei akkuraten Beispielen sollen diese direkten Herleitungen im nun Folgenden ausgeführt werden:
Erstes Beispiel:
Die Richtigkeit dieser Formel kann durch Ableiten beider Seiten der Gleichungswaage bewiesen werden.
Durch Einsatz des Wertes entsteht dieses Resultat:
So kommen folgende zwei Resultate hervor:
|
Zweites Beispiel:
Die Richtigkeit dieser Formel kann durch Ableiten beider Seiten der Gleichungswaage bewiesen werden.
Durch Einsatz des Wertes entsteht dieses Resultat:
So kommen folgende zwei Resultate hervor:
|
Drittes Beispiel:
Die Richtigkeit dieser Formel kann durch Ableiten beider Seiten der Gleichungswaage bewiesen werden.
Durch Einsatz des Wertes entsteht dieses Resultat:
So kommen folgende zwei Resultate hervor:
|
Lemniskatische Parametrisierungen
Diejenigen elliptischen Module, deren elliptischen Nomina gleich einem Wert der Potenz vom Kehrwert der Gelfondschen Konstante
als Basis und der Quadratwurzel aus einer positiven rationalen Zahl als Exponent sind, werden Singuläre elliptische Module genannt. Ihre zugehören vollständigen elliptischen Integrale erster und zweiter Art werden im deutschen Sprachraum als Singuläre elliptische Integralwerte und im englischen Sprachraum als Elliptic Integral Singular Values bezeichnet. Diese Singulären elliptischen Integralwerte[20] lassen sich immer als algebraische Kombination von Gammafunktionswerten rationaler Zahlen und von elementaren Werten darstellen. Und die Singulären elliptischen Module selbst können besonders effizient und besonders vereinfacht mit Lemniskatischen Funktionen dargestellt werden. Folgende lemniskatischen Identitäten sind gültig:
Mit diesen Ausdrücken lassen sich viele Werte des elliptischen Nomens darstellen:
Muttermodul (Mm)
|
Tochtermodul (Tm)
|
|
|
|
|
|
|
|
|
|
|
|
|
Pythagoräisches Gegenstück vom Tm
|
Pythagoräisches Gegenstück vom Mm
= Tangentielles Gegenstück vom Tm
|
|
|
|
|
|
|
|
|
|
|
|
|
Weitere Werte:
![{\displaystyle q{\biggl \langle }\operatorname {sl} {\bigl \{}{\tfrac {1}{2}}\operatorname {arcsl} {\bigl [}(8{\sqrt {2}}+11)^{-1/2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }=\exp(-{\sqrt {14}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf90766d61ca5fc556a87ee52122a05bd4f41c8e)
![{\displaystyle q{\biggl \langle }\operatorname {sl} {\bigl \{}{\tfrac {1}{2}}\operatorname {arcsl} {\bigl [}{\tfrac {1}{33}}{\bigl (}2{\sqrt[{3}]{132{\sqrt {78}}+837}}-2{\sqrt[{3}]{132{\sqrt {78}}-837}}-9{\bigr )}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }=\exp(-{\sqrt {26}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a0d75fb8f0393ea4af47f5b8dc738f2e1829df5)
![{\displaystyle q{\biggl \langle }\operatorname {sl} {\bigl \{}{\tfrac {1}{2}}\operatorname {arcsl} {\bigl [}{\tfrac {1}{627}}{\sqrt {19}}{\bigl (}2{\sqrt[{3}]{3300{\sqrt {114}}+27323}}-2{\sqrt[{3}]{3300{\sqrt {114}}-27323}}-35{\bigr )}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }=\exp(-{\sqrt {38}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc2c70f0ff2726aa016eb913006c09e8e95d7da5)
![{\displaystyle q{\biggl \langle }\operatorname {sl} {\bigl \{}{\tfrac {1}{2}}\operatorname {arcsl} {\bigl [}{\tfrac {1}{3}}(104{\sqrt {2}}+147)^{-1/2}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }=\exp(-{\sqrt {46}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0761f4ae1e35595b7a93bd1efbab8df1c8daa8f9)
![{\displaystyle q{\biggl \langle }\operatorname {sl} {\bigl \{}{\tfrac {1}{2}}\operatorname {arcsl} {\bigl [}{\bigl (}{\tfrac {75}{2}}+{\tfrac {13}{2}}{\sqrt {33}}+{\tfrac {1}{2}}{\sqrt {1842{\sqrt {33}}+10578}}{\bigr )}^{-1}{\bigr ]}{\bigr \}}^{2}{\biggr \rangle }=\exp(-{\sqrt {66}}\,\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5132dd331373cf4a683a32b0be643c71d6f616d6)
Ableitungen und Differentialgleichungen
Ableitungsliste
Die elliptische Nomenfunktion wird so abgeleitet:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}q(x)={\frac {\pi ^{2}}{2x(1-x^{2})K(x)^{2}}}q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae529697d34c225010bb81a1044d13ce88ab7788)
Für die Herleitung dieser Ableitung, siehe den Artikel Legendresche Identität!
Die zweite Ableitung lautet wie folgt:
![{\displaystyle {\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}q(x)={\frac {\pi ^{4}+2\pi ^{2}(1+x^{2})K(x)^{2}-4\pi ^{2}K(x)E(x)}{4x^{2}(1-x^{2})^{2}K(x)^{4}}}q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94e88a839acfa1e031a868f894b8fca8cfefaf18)
Und die dritte Ableitung nimmt diese Form an:
![{\displaystyle {\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}q(x)={\frac {\pi ^{6}+6\pi ^{4}(1+x^{2})K(x)^{2}-12\pi ^{4}K(x)E(x)+8\pi ^{2}(1+x^{2})^{2}K(x)^{4}-24\pi ^{2}(1+x^{2})K(x)^{3}E(x)+24\pi ^{2}K(x)^{2}E(x)^{2}}{8x^{3}(1-x^{2})^{3}K(x)^{6}}}q(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9508f6f3f7651c460b32d5f53528c1db9f9d4dc7)
Dabei ist das vollständige elliptische Integral zweiter Art auf folgende Weise definiert:
![{\displaystyle E(x)=\int _{0}^{\pi /2}{\sqrt {1-x^{2}\sin(\varphi )^{2}}}\mathrm {d} \varphi =2\int _{0}^{1}{\frac {\sqrt {(y^{2}+1)^{2}-4x^{2}y^{2}}}{(y^{2}+1)^{2}}}\mathrm {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea38b8ca0b3392a5c4d0e75cdf384f3dc3bc4322)
Synthese der quartischen Differentialgleichung
Aus diesen Gleichungen folgt durch die Eliminierung des vollständigen elliptischen Integrals zweiter Art:
![{\displaystyle 3{\biggl [}{\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}q(x){\biggr ]}^{2}-2{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} x}}q(x){\biggr ]}{\biggl [}{\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}q(x){\biggr ]}={\frac {\pi ^{8}-4\pi ^{4}(1+x^{2})^{2}K(x)^{4}}{16x^{4}(1-x^{2})^{4}K(x)^{8}}}q(x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3abf79eb163d0b918b655dfbfb2e7939bf5038b)
Somit gilt diese quartische Differentialgleichung[21] dritter Ordnung:
![{\displaystyle x^{2}(1-x^{2})^{2}[2q(x)^{2}q'(x)q'''(x)-3q(x)^{2}q''(x)^{2}+q'(x)^{4}]=(1+x^{2})^{2}q(x)^{2}q'(x)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d20a96bbd628efdd6806277004869a4047b3497c)
Summenreihen und Produktreihen
Summenreihen
Durch Richard Dedekind wurde das Elliptische Nomen erforscht und dieses bildet in seiner Theorie über die Etafunktion das Fundament. Das Elliptische Nomen bildet den Anfangspunkt bei der Konstruktion der Lambert-Reihe und wird als Abszisse in den Theta-Nullwertfunktionen von Carl Gustav Jacobi den algebraischen Kombinationen des arithmetisch-geometrischen Mittels zugeordnet. Generell werden sehr viele Reihenentwicklungen durch das Elliptische Nomen beschrieben:[22]
![{\displaystyle \sum _{n=1}^{\infty }q(x)^{\Box (n)}={\tfrac {1}{2}}\vartheta _{00}[q(x)]-{\tfrac {1}{2}}={\tfrac {1}{2}}{\sqrt {2\pi ^{-1}K(x)}}-{\tfrac {1}{2}}={\tfrac {1}{2}}\operatorname {agm} (1-x;1+x)^{-1/2}-{\tfrac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d939a851b282fdd2a98cbdabfb1e68b3b11737f3)
![{\displaystyle \sum _{n=1}^{\infty }q(x)^{\Box (2n-1)}={\tfrac {1}{4}}\vartheta _{00}[q(x)]-{\tfrac {1}{4}}\vartheta _{01}[q(x)]={\tfrac {1}{4}}(1-{\sqrt[{4}]{1-x^{2}}}){\sqrt {2\pi ^{-1}K(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc3d12818fda048205dd53b409ea0569be01c588)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {2q(x)^{n}}{q(x)^{2n}+1}}={\tfrac {1}{2}}\vartheta _{00}[q(x)]^{2}-{\tfrac {1}{2}}=\pi ^{-1}K(x)-{\tfrac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18262c129c6083740984bc3f7a60b2d312b0f3f8)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {2q(x)^{2n-1}}{q(x)^{4n-2}+1}}={\tfrac {1}{4}}\vartheta _{00}[q(x)]^{2}-{\tfrac {1}{4}}\vartheta _{01}[q(x)]^{2}={\tfrac {1}{2}}(1-{\sqrt {1-x^{2}}})\pi ^{-1}K(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b721656514331f53201e21aa92fb1dd85a347af6)
![{\displaystyle \sum _{n=1}^{\infty }\Box (n)q(x)^{\Box (n)}=2^{-1/2}\pi ^{-5/2}K(x)^{3/2}[E(x)-(1-x^{2})K(x)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5720dad7e0a249666947491c1886a2261da03cd7)
![{\displaystyle \sum _{n=1}^{\infty }{\biggl [}{\frac {2q(x)^{n}}{1+q(x)^{2n}}}{\biggr ]}^{2}=2\pi ^{-2}E(x)K(x)-{\tfrac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d21f2ef968a158473bf752d5b75003715e1142c)
![{\displaystyle \sum _{n=1}^{\infty }{\biggl [}{\frac {2q(x)^{n}}{1-q(x)^{2n}}}{\biggr ]}^{2}={\tfrac {2}{3}}\pi ^{-2}(2-x^{2})K(x)^{2}-2\pi ^{-2}K(x)E(x)+{\tfrac {1}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b51ce7017fc886ab22c947d7604999cd321ea527)
Das Viereck stellt die Quadratzahlen von n dar, weil in der regulären Schreibweise ein Exponent im Exponent zu klein aussieht. Es gilt also: □(n) = n²
Mit E(ε) wird das vollständige elliptische Integral zweiter Art zum Ausdruck gebracht, welches das Verhältnis des Viertelumfangs zur größeren Halbachse bei der Ellipse mit der spezifischen Exzentrizität ε nennt.
Produktreihen
Für die zwei wichtigsten Thetafunktionen gelten folgende Produktdefinitionen:
![{\displaystyle \prod _{n=1}^{\infty }[1-q(x)^{2n}][1+q(x)^{2n-1}]^{2}=\vartheta _{00}[q(x)]={\sqrt {2\pi ^{-1}K(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88a5a4e1fa5c4a4e23da93098ddc6b8957308338)
![{\displaystyle \prod _{n=1}^{\infty }[1-q(x)^{2n}][1-q(x)^{2n-1}]^{2}=\vartheta _{01}[q(x)]={\sqrt[{4}]{1-x^{2}}}{\sqrt {2\pi ^{-1}K(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f22b351018037205a005412a2d6a4e38a22a4e40)
Außerdem gelten für die beiden bekanntesten Pochhammer-Produkte diese zwei Beziehungen:
![{\displaystyle q(\varepsilon )[q(\varepsilon );q(\varepsilon )]_{\infty }^{24}=256\,\varepsilon ^{2}(1-\varepsilon ^{2})^{4}\pi ^{-{12}}K(\varepsilon )^{12}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bf3274a8bb40bc0ee106949c6a9425ac55cf94e)
![{\displaystyle \varepsilon ^{2}[q(\varepsilon );q(\varepsilon )^{2}]_{\infty }^{24}=16\,(1-\varepsilon ^{2})^{2}q(\varepsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80907bfd1709d17899e302fdc0a1b09ee65be609)
Die Pochhammer-Produkte spielen beim Pentagonalzahlensatz eine wichtige Rolle.
Integrale über das Nomen
Vollständige elliptische Integrale
Ebenso kann das Nomen für die Definition von den vollständigen elliptischen Integralen erster Art und zweiter Art verwendet werden:
![{\displaystyle K(\varepsilon )={\tfrac {1}{2}}\pi \,\vartheta _{00}[q(\varepsilon )]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/257bb7c1a36b0fea4f6f0b0964b8a54c83f05a59)
![{\displaystyle K(\varepsilon )={\tfrac {1}{2}}\pi \,(1-\varepsilon ^{2})^{-1/2}\,\vartheta _{01}[q(\varepsilon )]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8afc6ae205ead352b880382eda6d94b2ddc75da0)
![{\displaystyle E(\varepsilon )=2\pi q(\varepsilon )\,\vartheta _{00}'[q(\varepsilon )]\vartheta _{00}[q(\varepsilon )]^{-3}+{\tfrac {1}{2}}\pi (1-\varepsilon ^{2})\,\vartheta _{00}[q(\varepsilon )]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d64d2f75abee932d9472d4856a127149f34ec949)
![{\displaystyle E(\varepsilon )=2\pi q(\varepsilon )\,\vartheta _{01}'[q(\varepsilon )]\vartheta _{01}[q(\varepsilon )]^{-1}\vartheta _{00}[q(\varepsilon )]^{-2}+{\tfrac {1}{2}}\pi \,\vartheta _{00}[q(\varepsilon )]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74f678c487ec3f14d528f0754238f02481aaa10c)
In diesem Falle ist Theta-Strich die Ableitung der genannten Theta-Nullwertfunktion:
![{\displaystyle \vartheta _{00}'(w)={\frac {\mathrm {d} }{\mathrm {d} w}}\,\vartheta _{00}(w)=2+\sum _{n=1}^{\infty }2(n+1)^{2}w^{n(n+2)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0055a775c50be26d73675438c7aa72adf66031a8)
![{\displaystyle \vartheta _{01}'(w)={\frac {\mathrm {d} }{\mathrm {d} w}}\,\vartheta _{01}(w)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6c0fd7bc55754446185e30a3daa4b81744676e)
Diskrete Cauchysche Distribution
Die Langevinsche Funktion hat diese Summenreihe:
![{\displaystyle \mathrm {L} _{\mathrm {LV} }(x)=\coth(x)-{\frac {1}{x}}=\sum _{n=1}^{\infty }{\frac {2x}{n^{2}\pi ^{2}+x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97cc3d522b1fc6437e26dfbd51186d5d5caf1003)
Die Differenz aus Cosekans Hyperbolicus und Kehrwertfunktion hat dementsprechend die Summe mit den alternierenden Vorzeichen:
![{\displaystyle \operatorname {csch} (x)-{\frac {1}{x}}=\sum _{n=1}^{\infty }(-1)^{n}{\frac {2x}{n^{2}\pi ^{2}+x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0977f6556c804f800d53abc3bd417c04bd77b96e)
Deswegen[23][24][25] gelten für die Diskrete Cauchysche Distribution beispielsweise diese unendlichen Summen:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}+1}}={\frac {\pi }{2}}\coth(\pi )-{\frac {1}{2}}\approx 1{,}07667404746858117413405079475}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf31eb1abaa03b93065f754af50e159627474749)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{2}+1}}={\frac {\pi }{2}}\operatorname {csch} (\pi )-{\frac {1}{2}}\approx -0{,}3639854725089334185248817}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c33605b21238b1a03f3cece8787a37c814310b6d)
Diese Werte können für die Berechnung der folgenden zwei Integrale[26] herangezogen werden:
![{\displaystyle \int _{0}^{1}\vartheta _{00}(w)\,\mathrm {d} w=\int _{0}^{1}1+2{\biggl [}\sum _{n=1}^{\infty }w^{\,\Box (n)}{\biggr ]}\,\mathrm {d} w=1+2{\biggl (}\sum _{n=1}^{\infty }{\frac {1}{n^{2}+1}}{\biggr )}=\pi \coth(\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e39409d080c3055f7fce9457d8df40f73e046fd)
![{\displaystyle \int _{0}^{1}\vartheta _{01}(w)\,\mathrm {d} w=\int _{0}^{1}1+2{\biggl [}\sum _{n=1}^{\infty }(-1)^{n}w^{\,\Box (n)}{\biggr ]}\,\mathrm {d} w=1+2{\biggl [}\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{2}+1}}{\biggr ]}=\pi \operatorname {csch} (\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbf158ed434adf1ecc601c9e8e140effacb88a8a)
Als Nächstes werden drei genannte Zusammenhänge involviert:
|
|
|
Und daraus wiederum ergeben sich diese zwei Integrale:
![{\displaystyle \int _{0}^{1}{\frac {\pi ^{3/2}q(x)}{{\sqrt {2}}\,x(1-x^{2})\,K(x)^{3/2}}}\,\mathrm {d} x=\int _{0}^{1}{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} x}}\,q(x){\biggr ]}\vartheta _{00}{\bigl [}q(x){\bigr ]}\,\mathrm {d} x=\int _{0}^{1}\vartheta _{00}(w)\,\mathrm {d} w=\pi \coth(\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df57b9479cce12415895e6f617c0999e1ab7f1af)
![{\displaystyle \int _{0}^{1}{\frac {\pi ^{3/2}q(x)}{{\sqrt {2}}\,x(1-x^{2})^{3/4}\,K(x)^{3/2}}}\,\mathrm {d} x=\int _{0}^{1}{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} x}}\,q(x){\biggr ]}\vartheta _{01}{\bigl [}q(x){\bigr ]}\,\mathrm {d} x=\int _{0}^{1}\vartheta _{01}(w)\,\mathrm {d} w=\pi \operatorname {csch} (\pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/534c6841bbc5d8761849625b9ec9ec0139e2493b)
Quintische Gleichungen
Nach dem Satz von Abel-Ruffini ist der Allgemeinfall der Gleichungen fünften Grades nicht elementar lösbar. Aber mit einer Kombination aus elliptischem Nomen, Thetafunktion und den beiden Rogers-Ramanujan-Kettenbrüchen R und S können alle quintischen Gleichungen gelöst werden. Für folgendes quintische Polynom in Bring-Jerrard-Normalform soll nun die reelle Lösung mit den genannten elliptischen Funktionen dargestellt werden:
![{\displaystyle x^{5}+5\,x=4\,c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd266817fc1e59ca01230bb07db86c94ab4813e8)
Die reelle Lösung kann für alle reellen Werte
so ermittelt werden:
![{\displaystyle x={\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}{\bigr \rangle }^{2}}}\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/003c263b0cc5fbf94f7b987a63c9ffbc544c5e5c)
![{\displaystyle \times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}^{2}{\bigr \rangle }^{2}}}\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/367235afb9b146f080b1c40185087aeb781ccee4)
![{\displaystyle \times {\frac {\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}^{5}{\bigr \rangle }^{3}}{4\,\vartheta _{10}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}{\bigr \rangle }\,\vartheta _{01}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (c)]^{2}\}{\bigr \rangle }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed9cf575e5eaddf25a98a0079fa230a50bcbb20c)
Alternativ kann dieselbe Lösung auch so dargestellt werden:
![{\displaystyle x={\frac {[\vartheta _{00}(Q^{1/5})^{2}-5\,\vartheta _{00}(Q^{5})^{2}]{\sqrt {\vartheta _{00}(Q^{1/5})^{2}+5\,\vartheta _{00}(Q^{5})^{2}-2\,\vartheta _{00}(Q^{1/5})\,\vartheta _{00}(Q^{5})-4\,\vartheta _{00}(Q)^{2}}}}{4\,\vartheta _{10}(Q)\,\vartheta _{01}(Q)\,\vartheta _{00}(Q)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d09ecfa07ae6d27e27b1125a83d0ca94ce8512cf)
![{\displaystyle {\text{mit}}\,Q=q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe02ca8c20c817ee0005e3fb45948bfd7db9d46)
Das Quadrat des Kotangens lemniscatus hyperbolicus von der Hälfte des Areakosinus lemniscatus hyperbolicus hat diese algebraische Identität:
![{\displaystyle {\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}(c)]^{2}={\bigl (}2c^{2}+2+2{\sqrt {c^{4}+1}}{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {c^{4}+1}}+1}}+c{\bigr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e79107614cd664eca4de7e9de5e739c7f5f52aed)
Wenn c reell ist, dann existiert für die gezeigte Bring-Jerrard-Gleichung nur eine reelle Lösung, nämlich die soeben genannte Lösung. Alle regulären quintischen Gleichungen können auf kubisch radikalem Weg in die Bring-Jerrard-Form überführt werden. In der Bring-Jerrard-Form sind nur das quintische, das lineare und das absolute Glied vorhanden, aber das quartische, kubische und quadratische Glied sind in dieser Form grundsätzlich nicht enthalten.
Für die angewandten elliptischen Funktionen sind die nun folgenden definierenden Identitäten gültig:
Thetafunktion und Kettenbrüche
Funktionsnamen
|
Rogers-Ramanujan-R-Funktion
|
Rogers-Ramanujan-S-Funktion
|
Jacobische Thetafunktionen
|
|
|
|
Rogers-Ramanujan-Kettenbrüche
|
|
|
Die gezeigte Doppelklammer aus zwei Einträgen stellt das Nomen-Pochhammer-Symbol dar:
![{\displaystyle (a;b)_{\infty }=\prod _{n=1}^{\infty }(1-a\,b^{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cc0e9b9df436a5004357bed4293d5a075e39718)
Rechenbeispiele
Im Folgenden werden hierzu zwei Rechenbeispiele durchgeführt:
Erstes Rechenbeispiel:
Quintische Bring-Jerrard-Gleichung:
![{\displaystyle x^{5}+5\,x=8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a9d5bb9780db1453458a0a373e0e2f650fd8a15)
Lösungsformel:
![{\displaystyle {\begin{aligned}x={}&{\frac {S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }^{2}}}\times \\[4pt]&{}\times {\frac {1-R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{2}{\bigr \rangle }^{2}}}\times \\[4pt]&{}\times {\frac {\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}^{5}{\bigr \rangle }^{3}}{4\,\vartheta _{10}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }\,\vartheta _{01}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}{\bigr \rangle }}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef53d58f4913f86148e32f10bc01fbadeef41abc)
Nachkommastellen des Nomens:
![{\displaystyle q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (2)]^{2}\}=q{\bigl [}{\bigl (}10+2{\sqrt {17}}\,{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {17}}+1}}+2{\bigr )}{\bigr ]}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d793ba4b70a185e5c8fb468b44ec36ad1622ef0c)
![{\displaystyle =0{,}3063466544466074265361088194021326272090461143559097382981847144\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d95ea5e906fc40c4592c840378333b800f1c34ea)
Nachkommastellen der Lösung:
![{\displaystyle x=1{,}1670361837016430473110194319963961012975521104880199105205748723\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d6fbe864104913f3d68df6661e6e597a22c1a86)
|
Zweites Rechenbeispiel:
Quintische Bring-Jerrard-Gleichung:
![{\displaystyle x^{5}+5\,x=12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc14215b9339725c4ed82202d840aabccf599092)
Solution:
![{\displaystyle {\begin{aligned}x={}&{\frac {S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }^{2}}}\times \\[4pt]&{}\times {\frac {1-R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{2}{\bigr \rangle }^{2}}}\times \\[4pt]&{}\times {\frac {\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}^{5}{\bigr \rangle }^{3}}{4\,\vartheta _{10}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }\,\vartheta _{01}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}{\bigr \rangle }}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4e7cd20adecd7d320eb790ac68c594bbede741e)
Nachkommastellen des Nomens:
![{\displaystyle q\{\operatorname {ctlh} [{\tfrac {1}{2}}\operatorname {aclh} (3)]^{2}\}=q{\bigl [}{\bigl (}20+2{\sqrt {82}}\,{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {82}}+1}}+3{\bigr )}{\bigr ]}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a6b55e6ba89c36c56d75f249e5563c3e0d62f1c)
![{\displaystyle =0{,}3706649511520240756244325221775686571518680899597473957509743879\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/48672a03eac1a0d820bb4c7fffbcf6af08fbdc2c)
Nachkommastellen der Lösung:
![{\displaystyle x=1{,}3840917958231463592477551262671354748859350601806764501691889116\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b0ea30eabce888fc63922839662cd0fbc422aca)
|
Jacobische Amplitudenfunktionen
Definitionen der Jacobischen Amplitudenfunktionen
Die elliptischen Funktionen Zeta amplitudinis und Delta amplitudinis können vereinfacht mit der elliptischen Nomenfunktion[27] definiert werden:
![{\displaystyle {\text{zn}}(x;k)=\sum _{n=1}^{\infty }{\frac {2\pi K(k)^{-1}\sin[\pi K(k)^{-1}x]q(k)^{2n-1}}{1-2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afb4b6454bdd9362377e3541cdbef82572823ef0)
![{\displaystyle \operatorname {dn} (x;k)={\sqrt[{4}]{1-k^{2}}}\prod _{n=1}^{\infty }{\frac {1+2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}{1-2\cos[\pi K(k)^{-1}x]q(k)^{2n-1}+q(k)^{4n-2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dba372d666f5ae62ffd9a60c357b3427331fb2a5)
Beide Formeln gelten im reellen Zahlenbereich für alle k-Werte von ausgeschlossen −1 bis ausgeschlossen +1.
Sukzessiv können dann die Jacobischen Funktionen Sinus amplitudinis und Kosinus amplitudinis aufgestellt werden:
![{\displaystyle {\text{sn}}(x;k)={\frac {2\{{\text{zn}}({\tfrac {1}{2}}x;k)+{\text{zn}}[K(k)-{\tfrac {1}{2}}x;k]\}}{k^{2}+\{{\text{zn}}({\tfrac {1}{2}}x;k)+{\text{zn}}[K(k)-{\tfrac {1}{2}}x;k]\}^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2cfdc9f20e58ec206939db37b76ade843f8f83e)
![{\displaystyle {\text{cn}}(x;k)={\text{sn}}[K(k)-x;k]\,{\text{dn}}(x;k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aed9ef07700520ff52e4c881d2b34679a4f6b23)
Die Gebrüder Borwein gaben in ihrem Werk π and the AGM auf Seite 60 auch folgende Formel für den Sinus amplitudinis an:
![{\displaystyle {\text{sn}}(x;k)=2{\sqrt[{4}]{k^{-2}q(k)}}\,\sin[{\tfrac {1}{2}}\pi K(k)^{-1}x]\prod _{n=1}^{\infty }{\frac {1-2q(k)^{2n}\cos[\pi K(k)^{-1}x]+q(k)^{4n}}{1-2q(k)^{2n-1}\cos[\pi K(k)^{-1}x]+q(k)^{4n-2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/393b3e5e46b1afbcd3bece195f1bedba586221fc)
Diese Formel basiert auf der Definition der Theta-Nichtnullwertfunktionen nach Whittaker und Watson.
Jacobische Amplitudenfunktionswerte
In Kombination mit den Thetafunktionen liefert das elliptische Nomen die Werte der Jacobischen Amplitudenfunktionen:
![{\displaystyle {\text{sc}}[{\tfrac {2}{3}}K(k);k]={\frac {{\sqrt {3}}\,\vartheta _{01}[q(k)^{6}]}{{\sqrt {1-k^{2}}}\,\vartheta _{01}[q(k)^{2}]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb2f23d7c035b14de37dc545c1fdf6a862e2c010)
![{\displaystyle {\text{sn}}[{\tfrac {1}{3}}K(k);k]={\frac {2\vartheta _{00}[q(k)]^{2}}{3\vartheta _{00}[q(k)^{3}]^{2}+\vartheta _{00}[q(k)]^{2}}}={\frac {3\vartheta _{01}[q(k)^{3}]^{2}-\vartheta _{01}[q(k)]^{2}}{3\vartheta _{01}[q(k)^{3}]^{2}+\vartheta _{01}[q(k)]^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/823c9d2bd2d750aa7bc653b399fdc7221510957f)
![{\displaystyle {\text{cn}}[{\tfrac {2}{3}}K(k);k]={\frac {3\vartheta _{00}[q(k)^{3}]^{2}-\vartheta _{00}[q(k)]^{2}}{3\vartheta _{00}[q(k)^{3}]^{2}+\vartheta _{00}[q(k)]^{2}}}={\frac {2\vartheta _{01}[q(k)]^{2}}{3\vartheta _{01}[q(k)^{3}]^{2}+\vartheta _{01}[q(k)]^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41dcf2009d810ec3dfd44fa7b094501d02dfb74f)
![{\displaystyle {\text{sn}}[{\tfrac {1}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{01}[q(k)^{5}]}{\vartheta _{01}[q(k)]}}-1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ff642133b40cf90afec2ced9deabf0282b03036)
![{\displaystyle {\text{sn}}[{\tfrac {3}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{01}[q(k)^{5}]}{\vartheta _{01}[q(k)]}}+1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/851b2cf060b3ae44bdf4f12361a2aeadd019edd4)
![{\displaystyle {\text{cn}}[{\tfrac {2}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{00}[q(k)^{5}]}{\vartheta _{00}[q(k)]}}+1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e8ced1f3b23f70ed1f3575bb0cf79319e250892)
![{\displaystyle {\text{cn}}[{\tfrac {4}{5}}K(k);k]={\biggl \{}{\frac {{\sqrt {5}}\,\vartheta _{00}[q(k)^{5}]}{\vartheta _{00}[q(k)]}}-1{\biggr \}}{\biggl \{}{\frac {5\vartheta _{01}[q(k)^{10}]^{2}}{\vartheta _{01}[q(k)^{2}]^{2}}}-1{\biggr \}}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b477aa488155da3523be14402261175b4f344d25)
Für die nun präsentierten Thetafunktionsidentitäten zu den Jacobischen Funktionen können folgende Formeln zur Bestimmung effizient verwendet werden:
Diese Identitäten dienen zur Herleitung der genannten Thetafunktionsquotienten:
![{\displaystyle \operatorname {nc} [{\tfrac {4}{5}}K(k);k]-\operatorname {nc} [{\tfrac {2}{5}}K(k);k]={\frac {5\vartheta _{01}[q(k)^{5}]^{2}}{2\vartheta _{01}[q(k)]^{2}}}-{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40d6246110cacaee64cd0c1da334986193408c1)
Dieser Wert auf beiden Seiten der Gleichungswaage löst als y-Wert folgende Gleichung auf:
![{\displaystyle y^{6}-2y^{5}-\tan[2\arctan(k)]^{2}(2y+1)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1143fedd2155ed98ebfc2664741ba11de1cda55b)
![{\displaystyle y={\frac {5\vartheta _{01}[q(k)^{5}]^{2}}{2\vartheta _{01}[q(k)]^{2}}}-{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4acd1778d42931f239e7327ff92f7d6ebbdb7575)
Und es gilt weiter:
![{\displaystyle \operatorname {dn} [{\tfrac {2}{5}}K(k);k]+\operatorname {dn} [{\tfrac {4}{5}}K(k);k]={\frac {5\vartheta _{00}[q(k)^{5}]^{2}}{2\vartheta _{00}[q(k)]^{2}}}-{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74559afa55d0bb9c9d4c65ef1209546a94f67c22)
Jener Wert auf beiden Seiten der Gleichungswaage löst als z-Wert nachfolgende Gleichung auf:
![{\displaystyle z^{6}-2z^{5}+\sin[2\arcsin(k)]^{2}(2z+1)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58419c09efc80ead8eb14fc026e873f7e80aad06)
![{\displaystyle z={\frac {5\vartheta _{00}[q(k)^{5}]^{2}}{2\vartheta _{00}[q(k)]^{2}}}-{\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d49ded24d47378731d49344810606ebaef2759a)
Herleitung von der Ableitung der Hauptthetafunktion
Die Ableitung der Hauptfunktion unter den Jacobischen Thetafunktionen kann auf folgende Weise mit Hilfe der Kettenregel und der Ableitungsformel des elliptischen Nomens hergeleitet werden:
![{\displaystyle {\frac {\pi ^{2}}{2\varepsilon (1-\varepsilon ^{2})K(\varepsilon )^{2}}}\,q(\varepsilon )\,{\biggl \{}{\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}{\biggr \}}={\biggl [}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,q(\varepsilon ){\biggr ]}{\biggl \{}{\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}{\biggr \}}={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,{\sqrt {2\pi ^{-1}K(\varepsilon )}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7034620baae36139597bdb7ed4c7ca0ce46164fb)
![{\displaystyle ={\frac {1}{2}}{\sqrt {2}}\,\pi ^{-1/2}\,K(\varepsilon )^{-1/2}{\biggl [}{\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}\,K(\varepsilon ){\biggr ]}={\frac {1}{2}}{\sqrt {2}}\,\pi ^{-1/2}\,K(\varepsilon )^{-1/2}\,{\frac {E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon )}{\varepsilon (1-\varepsilon ^{2})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da41c658d57a97d96a54d8b45c74fb64d1290686)
Denn es gilt die nun genannte Identität zwischen Thetafunktion und elliptischem Integral erster Art:
![{\displaystyle \vartheta _{00}[q(\varepsilon )]={\sqrt {2\pi ^{-1}K(\varepsilon )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f62a25adecf660aa0d24611b65a4fee95a7e95e8)
Daraus folgt diese Gleichung:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\sqrt {2}}\,\pi ^{-5/2}\,q(\varepsilon )^{-1}\,K(\varepsilon )^{3/2}{\bigl [}E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon ){\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d33b3bd29e035c1892f61bc277334a031ba57d0)
Es gilt für die vollständigen elliptischen Integrale zweiter Art folgende Identität:
![{\displaystyle \left(1+{\sqrt {1-\varepsilon ^{2}}}\right)\,E\left({\frac {1-{\sqrt {1-\varepsilon ^{2}}}}{1+{\sqrt {1-\varepsilon ^{2}}}}}\right)=E(\varepsilon )+{\sqrt {1-\varepsilon ^{2}}}\,K(\varepsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f81da95e8d1a1f80511c3718008e22becce72508)
So entsteht mit dieser Modulidentität folgende Umformung:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\sqrt {2}}\,\pi ^{-5/2}\,q(\varepsilon )^{-1}\,K(\varepsilon )^{3/2}\left(1+{\sqrt {1-\varepsilon ^{2}}}\right)\left[E\left({\frac {1-{\sqrt {1-\varepsilon ^{2}}}}{1+{\sqrt {1-\varepsilon ^{2}}}}}\right)-{\sqrt {1-\varepsilon ^{2}}}\,K(\varepsilon )\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/887b6f4f78a8c1d88b60c1e700fddd8145750a14)
Weiter gilt diese Identität:
![{\displaystyle \vartheta _{01}[q(\varepsilon )]={\sqrt[{4}]{1-\varepsilon ^{2}}}{\sqrt {2\pi ^{-1}K(\varepsilon )}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f10b2062dae698c5286d188e05a86107c76d4e0)
Mit den Thetafunktionsausdrücken ϑ₀₀(x) und ϑ₀₁(x) kann die gezeigte Formel so dargestellt werden:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \,q(\varepsilon )}}\,\vartheta _{00}{\bigl [}q(\varepsilon ){\bigr ]}={\frac {1}{2\pi }}\,q(\varepsilon )^{-1}\vartheta _{00}[q(\varepsilon )]{\bigl \{}\vartheta _{00}[q(\varepsilon )]^{2}+\vartheta _{01}[q(\varepsilon )]^{2}{\bigr \}}{\biggl \langle }E{\biggl \{}{\frac {\vartheta _{00}[q(\varepsilon )]^{2}-\vartheta _{01}[q(\varepsilon )]^{2}}{\vartheta _{00}[q(\varepsilon )]^{2}+\vartheta _{01}[q(\varepsilon )]^{2}}}{\biggr \}}-{\frac {\pi }{2}}\,\vartheta _{01}{\bigl [}q(\varepsilon ){\bigr ]}^{2}{\biggr \rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0780c6921bcd8bcb8e81979f347a584576c480ba)
Daraus folgt jene Endgleichung:
![{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\,\vartheta _{00}(x)=\vartheta _{00}(x){\bigl [}\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}{\bigr ]}{\biggl \{}{\frac {1}{2\pi x}}E{\biggl [}{\frac {\vartheta _{00}(x)^{2}-\vartheta _{01}(x)^{2}}{\vartheta _{00}(x)^{2}+\vartheta _{01}(x)^{2}}}{\biggr ]}-{\frac {\vartheta _{01}(x)^{2}}{4x}}{\biggr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf281c3f5561e384cc0481d485fde75ff3293f67)
Umkehrfunktion vom elliptischen Nomen
Die Umkehrfunktion des elliptischen Nomens, invertiertes oder inverses Nomen genannt, stimmt mit der vierten Potenz der Hermiteschen Transzendenten
überein. Die Ausdrucksweise dieser Umkehrfunktion beinhaltet ein q in Basisstellung und eine Minus Eins in Spitzklammern in Exponentenstellung:
![{\displaystyle q^{\langle -1\rangle }(x)=\varphi _{H}(x)^{4}={\frac {\vartheta _{10}(x)^{2}}{\vartheta _{00}(x)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0faa1bc7b3e1fa749446e9c4f54e54789609f78a)
Nach der Definition der Thetafunktionen durch Sir Edmund Taylor Whittaker und Professor George Neville Watson gilt:
![{\displaystyle q^{\langle -1\rangle }(x)=4{\sqrt {x}}\prod _{n=1}^{\infty }{\frac {(1+x^{2n})^{4}}{(1+x^{2n-1})^{4}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb1ac2ea28e348b60648855bf72aacebe6424598)
Somit gilt gemäß der Definition für 0 ≤ x ≤ 1:
![{\displaystyle q{\bigl [}q^{\langle -1\rangle }(x){\bigr ]}=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49739d09942d243ce2717d16bbe9eac6232f1017)
Für das invertierte Nomen kann diese Reihenentwicklung aufgestellt werden:
![{\displaystyle q^{\langle -1\rangle }(x)=4{\sqrt {x}}{\biggl \{}1+\sum _{n=1}^{\infty }x^{2\bigtriangleup (n)}{\biggr \}}^{2}{\biggl \{}1+2\sum _{n=1}^{\infty }x^{\Box (n)}{\biggr \}}^{-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c1ebe98b491724dd152c4f7eb63e0e8b9cc9800)
Mit dem Delta werden die Dreieckszahlen von n dargestellt: Δ(n) = n(n+1)/2
Für das invertierte elliptische Nomen[28] existiert auch die nun folgende Kettenbruchdarstellung:
![{\displaystyle {\sqrt[{4}]{q^{\langle -1\rangle }(x)}}=\varphi _{H}(x)={\cfrac {{\sqrt {2}}\,x^{1/8}}{1+{\cfrac {x}{1+x+{\cfrac {x^{2}}{1+x^{2}+{\cfrac {x^{3}}{1+x^{3}+{\cfrac {x^{4}}{1+x^{4}+{\cfrac {x^{5}}{\ddots }}}}}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d67a9487d20b6d16ffc683dbff318c851e938041)
Auf der Grundlage der Definition des invertierten Nomens über die Thetafunktionen kann auch die Elliptische Lambdafunktion definiert werden:
![{\displaystyle \lambda ^{*}(x)=q^{\langle -1\rangle }[\exp(-\pi {\sqrt {x}})]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdff9ede3d858fb3525dd6b47fbbf3016c3a3bd7)
Siehe auch
Literatur
- Milton Abramowitz and Irene A. Stegun: Handbook of Mathematical Functions, (1964) Dover Publications, New York. OCLC 1097832. Siehe Abschnitt 17.3.17 Definition! 1972 edition: ISBN 0-486-61272-4
- Tom M. Apostol: Modular Functions and Dirichlet Series in Number Theory, Second Edition (1990), Springer, New York: ISBN 0-387-97127-0
- Folkmar Bornemann, Dirk Laurie, Stan Wagon und Jörg Waldvogel: Vom Lösen numerischer Probleme, Seite 275
- Toshio Fukushima: Fast Computation of Complete Elliptic Integrals and Jacobian Elliptic Functions. 2012, National Astronomical Observatory of Japan (国立天文台)
- Lowan, Blanch und Horenstein: On the Inversion of the q-Series Associated with Jacobian Elliptic Functions. Bull. Amer. Math. Soc. 48, 1942
- H. Ferguson, D. E. Nielsen, G. Cook: A partition formula for the integer coefficients of the theta function nome. Mathematics of computation, Volume 29, Nummer 131, Juli 1975
- J. D. Fenton and R. S. Gardiner-Garden: Rapidly-convergent methods for evaluating elliptic integrals and theta and elliptic functions. J. Austral. Math. Soc. (Series B) 24, 1982, S. 57
- Nikolaos Bagis: On the solution of the general quintic using the Rogers-Ramanujan continued fraction. Pella, Makedonien, Griechenland, 2015
- Nikolaos Bagis: Solution of Polynomial Equations with Nested Radicals. Pella, Makedonien, Griechenland, 2020
- Viktor Prasolov (Прасолов) und Yuri Solovyev (Соловьёв): Elliptic Functions and Elliptic Integrals. Volume 170, Rhode Island, 1991. Seiten 149–159
- Sun Zhi-Hong: New congruences involving Apery-like numbers. Huaiyin Normal University, Huaian (淮安), China, 2020. Seite 2
- Robert Fricke: Die elliptischen Funktionen und ihre Anwendungen: Dritter Teil. Springer-Verlag Berlin Heidelberg, 2012. ISBN 978-3-642-20953-6, ISBN 978-3-642-20954-3 (E-Book)
- Adolf Kneser: Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen. J. reine u. angew. Math. 157, 1927. Seiten 209–218
Einzelnachweise
- ↑ DLMF: 22.2 Definitions. Abgerufen am 21. August 2021.
- ↑ How to derive relationship between Dedekind’s $\eta$ function and $\Gamma(\frac{1}{4})$. Abgerufen am 21. August 2021.
- ↑ Eric W. Weisstein: Nome. Abgerufen am 21. August 2021 (englisch).
- ↑ https://archive.org/details/acq9098.0001.001.umich.edu/page/53/mode/2up
- ↑ Wang’s bounds on the central binomial coefficient. 13. Juli 2018, abgerufen am 26. Dezember 2022 (amerikanisches Englisch).
- ↑ Thomas Koshy: The Central Binomial Coefficient. 9. November 2008, doi:10.1093/acprof:oso/9780195334548.003.0002 (oup.com [abgerufen am 26. Dezember 2022]).
- ↑ A005797 - OEIS. Abgerufen am 23. November 2021.
- ↑ Vaclav Kotesovec: Mathematical articles and books by Vaclav Kotesovec. Abgerufen am 28. Oktober 2021.
- ↑ Kotesovec: My 234 Best Fairy Chess Problems, no 22 of 50 num – Listing # 10533 – Preserving the past and the future. Abgerufen am 28. Oktober 2021.
- ↑ A036917 – OEIS. Abgerufen am 23. November 2021.
- ↑ Eric W. Weisstein: Apéry Number. Abgerufen am 23. November 2021 (englisch).
- ↑ Karl Heinrich Schellbach: Die Lehre von den Elliptischen Integralen und den ThetaFunctionen. G. Reimer, 1864 (archive.org [abgerufen am 11. Juni 2023]).
- ↑ https://www.jstor.org/stable/44236608
- ↑ https://www.jstor.org/stable/2005297
- ↑ A002103 – OEIS. Abgerufen am 28. Mai 2023.
- ↑ Series Expansion of EllipticNomeQ differs from older Mathematica Version. Abgerufen am 28. Mai 2023 (englisch).
- ↑ R. B. King, E. R. Canfield: Icosahedral symmetry and the quintic equation. In: Computers & Mathematics with Applications. Band 24, Nr. 3, 1. August 1992, ISSN 0898-1221, S. 13–28, doi:10.1016/0898-1221(92)90210-9 (sciencedirect.com [abgerufen am 28. Mai 2023]).
- ↑ N. Bagis: Evaluation of Fifth Degree Elliptic Singular Moduli. In: arXiv: General Mathematics. 22. Februar 2012 (semanticscholar.org [abgerufen am 11. Juni 2023]).
- ↑ Tomas Johansson: Analytic Solutions to Algebraic Equations. In: arXiv: General Mathematics. 12. Juni 1998 (diva-portal.org [PDF; abgerufen am 24. Juni 2023]).
- ↑ Elliptic Integral Singular Value. Abgerufen am 28. September 2023.
- ↑ Elliptic nome: Differentiation (subsection 20/01). Abgerufen am 22. August 2021.
- ↑ Table of Infinite Products Infinite Sums Infinite Series Elliptic Theta. Abgerufen am 30. September 2021.
- ↑ Maple bugs: Thomas Richard: Hurrah, Maple quality improves! – Example 4. Abgerufen am 3. Januar 2023 (amerikanisches Englisch).
- ↑ complex analysis – A curious integral. Abgerufen am 3. Januar 2023 (englisch).
- ↑ sequences and series – What are the exact limits of validity of the Abel-Plana summation formula? Abgerufen am 3. Januar 2023 (englisch).
- ↑ integration - Curious integrals for Jacobi Theta Functions $\int_0^1 \vartheta_n(0,q)dq$. Abgerufen am 13. August 2022 (englisch).
- ↑ Eric W. Weisstein: Jacobi Theta Functions. Abgerufen am 1. Oktober 2021 (englisch).
- ↑ How to solve fifth-degree equations by elliptic functions? Abgerufen am 3. Mai 2022 (englisch).