Ein elliptisches Integral ist ein Integral vom Typ
wobei eine rationale Funktion in zwei Variablen und ein Polynom dritten oder vierten Grades ohne mehrfache Nullstelle ist. Das Integral heißt elliptisch, weil Integrale dieser Form bei der Berechnung des Umfangs von Ellipsen und der Oberfläche von Ellipsoiden auftreten. Auch in der Physik gibt es weitreichende Anwendungen.
Elliptische Integrale lassen sich im Allgemeinen nicht durch elementare Funktionen darstellen, sie können aber durch Umformungen in eine Summe von elementaren Funktionen und Integralen der unten beschriebenen Form überführt werden. Diese Integrale heißen elliptische Integrale erster, zweiter und dritter Art.
I. Art:
II. Art:
III. Art:
Dabei ist der "elliptische Modul" Zum Teil wird in der Literatur auch der Parameter statt in den Funktionsaufruf eingesetzt und der Definitionsbereich auf erweitert.
Inhaltsverzeichnis
1Vollständige elliptische Integrale
1.1Definition der vollständigen elliptischen Integrale
1.2Definition der komplementären Integrale und des Nomens
1.3Darstellungsformen
1.3.1Weitere Integraldarstellungen
1.3.2Darstellung per MacLaurinscher Reihe
1.3.3Darstellung per unendlichem Produkt
1.3.4Darstellung per AGM-Algorithmus
1.4Kunde der elliptischen Zahlenfolgen
1.5Herleitung der MacLaurinschen Reihen
1.6Singuläre elliptische Integralwerte
1.7Spezielle Identitäten
1.8Modultransformationen der vollständigen Integrale
1.8.1Reflexive Transformationen
1.8.2Landensche Transformationen
1.8.3Transformationen höheren Grades
1.9Ableitungen der vollständigen Integrale
1.10Herleitung der Ableitungen
1.11Stammfunktionen
1.11.1Stammfunktionen der m-Form
1.11.2Stammfunktionen der Legendreschen k-Form
1.12Umkehrfunktionen
2Unvollständige elliptische Integrale
2.1Definition der unvollständigen elliptischen Integrale
2.2Additionstheoreme
2.3Modultransformationen der unvollständigen Integrale
2.4Unvollständige elliptische Integrale als Stammfunktionen
2.5Ableitung des komplett verallgemeinerten Falls
3Alternative Darstellungen
3.1Symmetrische Carlson-Formen
3.1.1Unvollständige elliptische Integrale
3.1.2Vollständige elliptische Integrale
3.2Bulirsch-Integrale
3.2.1Unvollständige Bulirsch-Integrale
3.2.2Vollständige Bulirsch-Integrale
4Numerische Auswertung
5Wichtige weitere Stammfunktionen
5.1Liste der Ursprungsstammfunktionen
5.2Bezug zur Eulerschen Betafunktion
6Legendresche Identität
6.1Zwei Standardformeln für die Legendresche Identität
6.2Spezielle Identität für den lemniskatischen Fall
6.3Verallgemeinerung für den Gesamtfall
7Ramanujansche Kreiszahlformeln
8Anwendungsbeispiele
8.1Umfang einer Ellipse
8.1.1Ellipsenumfang und die Integrale E und K
8.1.2Gauss-Kummer-Reihe
8.2Umfang und Flächeninhalt einer Cassinischen Kurve
8.3Mathematisches Pendel
8.4Elektrisches Skalarpotential einer homogenen, kontinuierlichen, ringförmigen Ladungsverteilung
8.5Elektrisches Skalarpotential einer homogenen, kontinuierlichen, ringförmigen Dipolverteilung
8.6Magnetisches Vektorpotential eines ringförmigen stromdurchflossenen Leiters
9Siehe auch
10Literatur
11Weblinks
12Einzelnachweise
Vollständige elliptische Integrale
Graph der vollständigen elliptischen Integrale und
Definition der vollständigen elliptischen Integrale
Die Integrale mit unterer Integralgrenze 0 nennt man unvollständige elliptische Integrale. Ist zusätzlich die obere Integralgrenze , spricht man im Falle der I. und II. Art von vollständigen elliptischen Integralen. Die vollständigen elliptischen Integrale I. und II. Art stehen im direkten Bezug zur Gauß’schen hypergeometrischen Funktion, das vollständige elliptische Integral III. Art zur Appell'schen hypergeometrischen Funktion
In der nachfolgenden Tabelle sind die vollständigen elliptischen Integrale in der Integraldarstellung mit den Parametern und dargestellt. Die Jacobi-Form lässt sich mit der Substitution in die Legendre-Normalform[1] überführen. In den Funktions-Bibliotheken von Matlab, Wolfram-Alpha, Mathematica, Python (SciPy) und GNU Octave ist der Parameter in Verwendung.
Definition der vollständigen elliptischen Integrale mit Parametern und
Konvention mit Parameter
Konvention mit Parameter
I. Art:Jacobi-Form
I. Art: Legendre-Normalform
II. Art:Jacobi-Form
II. Art: Legendre-Normalform
III. Art:Jacobi-Form
III. Art: Legendre-Normalform
Definition der komplementären Integrale und des Nomens
Die komplementären vollständigen elliptischen Integrale und sind mit der komplementären Variable wie im Folgenden dargestellt definiert.
So ist das Elliptische Nomen beziehungsweise die Jacobische Entwicklungsgröße definiert:
Das Elliptische Nomen stellt die Kernbeziehung zur Jacobischen Thetafunktion her:
Darstellungsformen
Weitere Integraldarstellungen
Für die vollständigen elliptischen Integrale erster und zweiter Art existieren folgende weitere Integraldarstellungen:
Elliptisches Integral erster Art
Elliptisches Integral zweiter Art
Die soeben gezeigten Integraldarstellungen entstehen insbesondere dann, wenn man die genannte standardisierte Legendresche Normalform mit der Arkustangensfunktion als innere Funktion substituiert und dabei nach dem Muster der infinitesimalanalytischen Kettenregel nachdifferenziert.
Darstellung per MacLaurinscher Reihe
Die vollständigen elliptischen Integrale lassen sich als Potenzreihe beziehungsweise MacLaurinsche Reihe darstellen.[2] Die angegebenen Potenzreihen können zur numerischen Auswertung verwendet werden. Es ist jedoch darauf zu achten, dass die Konvergenz vom Argument abhängig ist. Die Verwendung von Potenzreihen ist bezüglich der Rechenzeit nicht die effizienteste Methode zur numerischen Auswertung. Denn die Potenzreihen für die Funktionen und konvergieren mit der Konvergenzgeschwindigkeit der Maclaurinschen Reihen für die Funktionen Arkussinus und Areatangens hyperbolicus und können mit Hilfe ihrer genannten Integraldarstellungen hergeleitet werden. Ist in einer physikalischen Anwendung klar, dass das Argument in einem bezüglich der Genauigkeit geeignetem Bereich liegt, so bietet die Potenzreihen-Darstellung im Sinne der Linearisierung eine nützliche Methode zur Angabe von Näherungslösungen oder Faustformeln. Die Maclaurinsche Reihe des vollständigen elliptischen Integrals erster Art beinhaltet in Abhängigkeit vom Summenindex den Quotienten vom Quadrat des Zentralbinomialkoeffizienten dividiert durch die Sechzehnerpotenz als Vorfaktor zur Potenz des Abszissenwertes potenziert mit dem Doppelten des Summenindex als Summandenfunktion der betroffenen Summenreihe. Und die Maclaurinsche Reihe des vollständigen elliptischen Integrals zweiter Art unterscheidet sich von derjenigen des vollständigen elliptischen Integrals erster Art alleine darin, dass bei der Summandenfunktion der Summenreihe von der Funktion der negativ geschaltete Vorgänger der Verdopplungsfunktion in Abhängigkeit vom Summenindex steht.
Der Zentralbinomialkoeffizient ist auf folgende Weise definiert:
Das Kürzel CBC[3][4] steht für den englischen Begriff Central Binomial Coefficient und wurde unter anderem durch die Mathematiker David Kessler and Jeremy Schiff eingeführt. Das Elliptische Nomen beziehungsweise die Jacobische Entwicklungsgröße q(k) hat eine MacLaurinsche Reihe, welche an allen Stellen[5] geradzahlige Exponenten und positive Koeffizienten trägt:
Der Konvergenzradius dieser Maclaurin-Reihe[6] ist 1. Hierbei ist Kt(n) (OEIS A005797) eine Zahlenfolge von ausschließlich natürlichen Zahlen Kt(n) ∈ ℕ für alle natürlichen Zahlen n ∈ ℕ und sie ist nicht elementar, sondern elliptisch aufgebaut.
Darstellung per unendlichem Produkt
In der folgenden Tabelle sind Produktdarstellungen des vollständigen elliptischen Integrals 1. Art und des komplementären elliptischen Integrals 1. Art angegeben. Oftmals wird auch die komplementäre Variable zur kompakteren Darstellung verwendet. Auffällig ist die Vertauschung von und bezüglich der beiden Produktformeln beim Vergleich zum Komplementär.
Produktdarstellung des vollständigen elliptischen Integrals I. Art
Vollständiges elliptisches Integral I. Art
Komplementäres elliptisches Integral I. Art
Anfangswert
Rekursionsgleichung
Produktformeln
Darstellung per AGM-Algorithmus
Neben den Potenzreihen existiert eine Darstellung als Grenzwert des iterierten arithmetisch-geometrischen Mittelwertes (AGM-Algorithmus). Im Folgenden stellt den arithmetischen Mittelwert, den geometrischen Mittelwert und eine Hilfsvariable dar. Die Anfangswerte sind wie angegeben durch das Argument definiert. Zu beachten ist, dass für das vollständige elliptische Integral I. Art ins Unendliche läuft. Deshalb kann nicht berechnet werden. Dies stellt jedoch kein Problem dar, da dieser Wert exakt zu bekannt ist. Bei einer Implementierung bedarf es also einer Fallunterscheidung. Die Parameter-Konvention lässt sich ebenfalls mit dem AGM-Algorithmus berechnen. Es bedarf ausschließlich der Substitution . In der Praxis zeigt sich, dass bei Verwendung von double-precision (dezimalen Nachkommastellen) eine Wahl von Rekursionsschritten die besten Ergebnisse liefert. Bei sinkt die Genauigkeit aufgrund von Rundungsfehlern. Diese geringe Anzahl an Rekursionsschritten zeigt die Effizienz des AGM-Algorithmus.
AGM-Algorithmus zur Berechnung elliptischer Integrale
Anfangswerte
Rekursionsgleichungen
Elliptische Integrale
Durch Substitution gemäß findet sich weiterhin der sogenannte Quartic-AGM-Algorithmus, dessen Iterationsvorschrift in der nachfolgenden Tabelle dargestellt ist. Die Bezeichnung „Quartic“ bezieht sich auf die Konvergenz des Algorithmus. Die Konvergenzordnung des Algorithmus in der oberen Tabelle ist quadratisch.
Quartic-AGM-Algorithmus zur Berechnung elliptischer Integrale
Anfangswerte
Rekursionsgleichungen
Elliptische Integrale
Kunde der elliptischen Zahlenfolgen
Der deutsche Mathematiker Adolf Kneser untersuchte in seinem Aufsatz Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen die ganzzahlige Folge des elliptischen Periodenverhältnisses und zeigte, dass die erzeugende Funktion dieser Folge eine elliptische Funktion ist. Auch ein weiterer Mathematiker namens Robert Fricke analysierte in seinem Aufsatz Die elliptischen Funktionen und ihre Anwendungen diese ganzzahlige Folge und beschrieb die exakten Rechenmethoden unter Verwendung dieser genannten Folge. Die Knesersche Zahlenfolge Kn(n) kann folgendermaßen erzeugt werden:
Mit den großen Rundklammerausdrücken in diesen beiden Formeln werden die Binomialkoeffizienten ausgedrückt.
Ausgeführte Rechenbeispiele:
In der OEIS wurde diese Zahlenfolge nach Kneser mit Code A227503 eingetragen:
Kn(1)
Kn(2)
Kn(3)
Kn(4)
Kn(5)
Kn(6)
Kn(7)
Kn(8)
1
13
184
2701
40456
613720
9391936
144644749
Die Kneser-Folge erscheint in der Taylor-Reihe des Periodenverhältnisses (Halbperiodenverhältnis):
Die Ableitung dieser Gleichung bezüglich führt zu dieser Gleichung, die die erzeugende Funktion der Kneser-Zahlenfolge zeigt:
Dieses Ergebnis erscheint deswegen, weil die Legendresche Identität im Zähler des Bruchs von der Ableitung bei der Anwendung der Quotientenregel erscheint.
Das elliptische Nomen hat diese bereits genannte Definition:
Das elliptische Nomen hat eine zu den bereits genannten Definitionen identische Definition über die Zahlenfolge[7][8][9] nach Hermann Schwarz:
In der Online-Enzyklopädie der Zahlenfolgen OEIS wurde diese Zahlenfolge nach Schellbach und Schwarz[10][11][12][13][14] mit Code A002103 eingetragen:
Sc(1)
Sc(2)
Sc(3)
Sc(4)
Sc(5)
Sc(6)
Sc(7)
Sc(8)
1
2
15
150
1707
20910
268616
3567400
Die zuletzt genannte Reihenentwicklung wird im nun Folgenden exemplarisch anhand ihrer ersten fünf Summanden dargestellt:
Der Mathematiker Karl Heinrich Schellbach entdeckte die ganzzahlige Zahlenfolge, die in der MacLaurinschen Reihe von der vierten Wurzel des Quotienten vom Elliptischen Nomen dividiert durch die quadrierende Funktion vorkommt. Dieser Wissenschaftler[15][16] hat diese Folge A002103 in seinem Werk „Die Lehre von den elliptischen Integralen und den Thetafunktionen“ im Detail aufgebaut. Speziell auf Seite 60 dieses Werkes ist in seinem Werk eine Syntheseroute dieser Sequenz niedergeschrieben. Auch 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 diese ganzzahlige Zahlenfolge nieder. Diese Schellbach-Schwarz-Zahlenfolge Sc(n) wurde im 20. Jahrhundert auch von den Mathematikern Karl Theodor Wilhelm Weierstraß und Louis Melville Milne-Thomson analysiert. Die Synthesemethode der Schellbachschen Zahlen erfolgt nach diesem Muster:
Exemplarisch soll im nun Folgenden gezeigt werden, wie die Schellbachschen Zahlen sukzessiv aufgebaut werden. Hierfür werden die Beispiele mit den Zahlen Sc(4) = 150, Sc(5) = 1707 and Sc(6) = 20910 in ihrem Erzeugungsalgorithmus dargestellt:
Herleitung der MacLaurinschen Reihen
Gegeben sind diese MacLaurinschen Reihen:
Es gelten diese beiden binomischen Maclaurin-Reihen für |kx| < 1:
Zusätzlich ist jenes Integral für alle Zahlen n ∈ ℕ₀ gültig:
Deswegen gilt für das vollständige elliptische Integral erster Art:
Und für das vollständige elliptische Integral zweiter Art gilt:
Singuläre elliptische Integralwerte
Als Singuläre elliptische Integralwerte und im englischen Sprachraum als Elliptic Integral Singular Values werden diejenigen vollständigen elliptischen Integrale[17] bezeichnet, welche als algebraische Kombination von den Gammafunktionswerten rationaler Zahlen dargestellt werden können. Eine solche Darstellung ist dann möglich, wenn der Modulbetrag beziehungsweise Exzentrizitätsbetrag der betroffenen elliptischen Integrale gleich einem elliptischen Lambda-Stern-Wert von einer positiven rationalen Zahl ist. Im nun folgenden sollen genau solche elliptischen Integralidentitäten aufgestellt werden:
Eulersche Betafunktionsidentitäten der Integrale K und E
Die genannten Elliptischen Lambda-Stern-Werte kommen auch mit Hilfe des Lösens dieser für alle n ∈ ℕ gültigen Formeln hervor:
Dabei stellt die Amkürzung dn das Delta Amplitudinis aus der Gruppe der Jacobischen Amplitudenfunktionen dar!
Außerdem gelten folgende Identitäten für das vollständige elliptische Integral dritter Art:
Spezielle Identitäten
Spezielle Funktionswerte:[18]
Modultransformationen der vollständigen Integrale
Reflexive Transformationen
Die Transformationen des elliptischen Moduls[19] erfolgen nach den nunfolgenden Mustern:
Bezüglich des standardisierten Legendreschen Moduls beziehungsweise bezüglich der numerischen Exzentrizität ist die soeben gezeigte Transformation imaginär beschaffen. Wenn diese Modultransformation auf sich selbst angewandt wird beziehungsweise zweimal hintereinander durchgeführt wird, dann entsteht wieder der anfängliche Modul. Somit hat diese Modultransformation einen reflexiven Charakter.
Landensche Transformationen
Die Landensche Transformation bringt den ersten Tochtermodul in Bezug auf den gegebenen Muttermodul hervor. Der erste Tochtermodul ist das tangentielle Gegenstück vom Pythagoräischen Gegenstück vom Muttermodul. Somit geht der erste Tochtermodul ebenso als Quadrat von der Tangens-Hyperbolicus-Halbierung vom Muttermodul hervor. Wenn zwei elliptische Module zueinander Pythagoräische Gegenstücke sind, dann ergeben die Quadrate der betroffenen Module miteinander addiert den Wert Eins. Wenn zwei elliptische Module zueinander tangentielle Gegenstücke sind, dann ergeben die Nachfolger der betroffenen Module miteinander multipliziert den Wert Zwei. Das Elliptische Nomen vom Landenschen Tochtermodul ist das Quadrat des elliptischen Nomens vom gegebenen Muttermodul. Denn das reelle Halbperiodenverhältnis[20] verdoppelt sich bei der Landenschen Modultransformation:
Der Landensche Tochtermodul der Legendreschen Form wird exakt so hervorgerufen:
Elliptisches Nomen vom Landenschen Tochtermodul:
Für die Integrale K und E selbst gelten analog diese Formeln:
Exemplarisch sollen im Folgenden drei Beispiele mit der Landen-Transformation behandelt werden:
Landensche Modultransformationen
Muttermodul
Tangens-Hyperbolicus-Halbierung
Gegenstück-Rechenverfahren
Periodenverhältnis
Nomenfunktion
Der ist das Pythagoräische Gegenstück zum :
Der ist das tangentielle Gegenstück zum :
Der ist mit dem Nachfolger vom identisch.
Transformationen höheren Grades
Mit dem Sinus Amplitudinis und dem Delta Amplitudinis können folgende Modultransformationen durchgeführt werden:
Hierbei löst der Jacobische Sinus-Amplitudinis-Ausdruck für x die Gleichung auf.
Insgesamt gilt für alle Werte n ∈ ℕ und 0 ≤ k ≤ 1 folgende Formel:
Hierbei ist sn der Sinus Amplitudinis und dn das Delta amplitudinis.
Für die genannte Transformation dritten Grades sollen zwei zueinander verwandte Beispiele im nun Folgenden dargestellt werden:
Durch Gegenüberstellung in X-förmigem Muster werden zueinander Pythagoräisch komplementäre elliptische Module auf beiden Seiten der Gleichungswaage sichtbar:
Hierbei sind gleichgefärbte Module zueinander Pythagoräisch komplementär.
Ableitungen der vollständigen Integrale
Die vollständigen elliptischen Integrale erster, zweiter und dritter Art werden so abgeleitet:
Herleitung der Ableitungen
Beweis für die Ableitung des elliptischen Integrals erster Art:
Beweis für die Ableitung des elliptischen Integrals zweiter Art:
Stammfunktionen
Stammfunktionen der m-Form
Stammfunktionen für das vollständige elliptische Integral erster, zweiter und dritter Art nach :
Stammfunktionen der Legendreschen k-Form
Die Ursprungsstammfunktion für die Produkte der Integrale K und E mit der identischen Funktion können direkt mit den soeben genannten Integralen dargestellt werden:
Auch eine solche direkte Darstellungsmöglichkeit ergibt sich für folgende Funktionen:
Die Stammfunktionen vom K-Integral und E-Integral in der k-Form direkt können nicht mit den vollständigen elliptischen Integralen alleine dargestellt werden, sondern benötigen Integralfunktionsdarstellungen. Die Ursprungsstammfunktionen für die vollständigen elliptischen Integrale erster und zweiter Art nach werden im nun Folgenden zusammen mit jeweiligen Beispielen präsentiert:
Wenn jetzt als innere Funktion in die K-Funktion und E-Funktion die quadrierende Funktion eingesetzt wird, dann entstehen folgende Stammfunktionen und Integrale, welche als lemniskatisch beschaffene Integralfunktionen mit Hilfe des sogenannten Arkussinus Lemniscatus dargestellt werden können:
Auch dann, wenn sich die vollständigen elliptischen Integrale im Nenner befinden, können unter anderem Stammfunktionen aufgestellt werden, welche als elementare Kombination der nicht elementaren elliptischen Integrale dargestellt werden können. Adolf Kneser und Robert Fricke analysierten folgende Funktion mit ihrer zugehörigen Ursprungsstammfunktion:
Die genannte Legendresche Identität wird in diesem Artikel weiter unten bewiesen werden!
Die nun genannte Formel für die Ursprungsstammfunktion hat für alle reellen Werte Gültigkeit.
Basierend auf der genannten erzeugenden Funktion der Kneserschen Zahlenfolge kann durch Bildung der Ursprungsstammfunktion eine Reihenentwicklung für den Periodenverhältnis aufgestellt werden:
Mit Hilfe einer Aperyschen Zahlenfolge des folgenden Muster kann die Knesersche Folge alternativ erzeugt werden:
Diese Funktion mit dem Quadrat des K-Integrals im Nenner behandelte Robert Fricke in seinem berühmten Werk Die elliptischen Funktionen und ihre Anwendungen und leitete diese Formel mit der Legendreschen Identität her. Adolf Kneser erforschte diese Funktion ebenso und stellte zu dieser Funktion in seinem Werk Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen die zugehörige MacLaurinsche Reihenentwicklung auf, welche die Koeffizienten der Zahlenfolge (OEIS A227503) enthalten.
Wenn man von diesen drei Funktionen die Kehrwertfunktionen mit Kürzeln ausdrücken möchte, dann müssen von den soeben gezeigten Funktionskürzeln die beiden Buchstaben jeweils ausgetauscht werden. Wenn eine der drei gezeigten Funktionen als Dividendfunktion durch eine andere von diesen drei Funktionen als Divisorfunktion geteilt wird, dann trägt das zweibuchstabige Kürzel der jeweiligen neuen Funktion an erster Stelle den Anfangsbuchstaben vom Kürzel der Dividendfunktion und an zweiter Stelle den Anfangsbuchstaben vom Kürzel der Divisorfunktion. Beispielsweise hat der Quotient des Cosinus Amplitudinis dividiert durch das Delta Ampitudinis das Kürzel cd. Denn die Dividendfunktion ist der Cosinus Amplitudinis. Der Anfangsbuchstabe vom Kürzel dieser Funktion ist das c. Und die Divisorfunktion ist das Delta Amplitudinis. Der Anfangsbuchstabe vom Kürzel jener Funktion ist das d.
Die Jacobischen Amplitudenfunktionen haben genauso wie die trigonometrischen Funktionen und Hyperbelfunktionen Additionstheoreme mit algebraischer Struktur, welche aus den Theoremen der unvollständigen elliptischen Integrale erster Art hervorgehen. Deswegen zählen die sn-Werte, cn-Werte und dn-Werte von den Produkten aus einer rationalen Zahl und dem elliptischen K-Integral des betroffenen Moduls komplett immer zu den algebraischen Zahlen.
Bei den Umkehrfunktionen der unvollständigen elliptischen Integrale zweiter Art ist das jedoch nicht der Fall. Diese inversen elliptischen Integrale zweiter Art haben keine Additionstheoreme mit algebraischer Struktur. Diese Funktionen ordnen die Bogenmaße beziehungsweise Kurvenlängen der Ellipsen den jeweiligen Höhen und Breiten der betroffenen Kurvenpunkte zu.
Unvollständige elliptische Integrale
Definition der unvollständigen elliptischen Integrale
Graph der elliptischen Integrale erster Art in Legendre-Form für verschiedene Parameter Graph der elliptischen Integrale zweiter Art in Legendre-Form für verschiedene Parameter
In der nachfolgenden Tabelle sind die Definitionen der unvollständigen elliptischen Integrale in Jacobi-Form und in Legendre-Normalform angegeben. Die Jacobi-Form lässt sich mit der Substitution in die Legendre-Normalform überführen. Die unvollständigen elliptischen Integrale besitzen im Vergleich zu den vollständigen elliptischen Integralen einen zusätzlichen Freiheitsgrad, welcher der oberen Integrationsgrenze entspricht. Somit stellen die vollständigen elliptischen Integrale einen Spezialfall der Unvollständigen dar. In den Funktions-Bibliotheken von Matlab, Wolfram-Alpha, Mathematica, Python (SciPy) und GNU Octave ist der Parameter und die Legendre-Normalform in Verwendung.
Definition der unvollständigen elliptischen Integrale mit Parametern und
Konvention mit Parameter
Konvention mit Parameter
I. Art: Jacobi-Form
I. Art: Legendre-Normalform
II. Art: Jacobi-Form
II. Art: Legendre-Normalform
III. Art: Jacobi-Form
III. Art: Legendre-Normalform
Durch innere Substitution mit dem Arkussinus erhält man folgende Identitäten:
Durch innere Substitution mit dem Arkustangens erhält man folgende Identitäten:
Additionstheoreme
Mit folgenden Theoremen können die unvollständigen elliptischen Integrale additiv verknüpft werden. Die Legendre-Normalform wird zur Darstellung verwendet.
Elliptische Integrale erster Art:
Elliptische Integrale zweiter Art:
Mit folgendem Theorem können arithmetische Mittlungen durchgeführt werden:
Der nun genannte Quotient kann wahlweise auch mit dem Arithmetischen Mittelungstheorem des Sinus und des Cosinus auf folgende Weise dargestellt werden:
Modultransformationen der unvollständigen Integrale
Die Landensche Transformation erfolgt grundsätzlich nach folgendem Muster:
Insbesondere die analoge vollständige Formel wurde durch die Gebrüder Borwein in ihrem Werk Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity behandelt.
Für alle Werte n ∈ ℕ und |k| ≤ 1 gilt folgende Formel:
Unvollständige elliptische Integrale als Stammfunktionen
Diese Ableitungsformel dient zur effizienten Integration der Kehrwerte von Quadratwurzeln aus kubischen Polynomen:
Folgende Ableitungsformel kann eingesetzt werden, um einige Kehrwerte von Quadratwurzeln aus Polynomen vierten Grades effizient zu integrieren:
Der auf der rechten Seite des Ausdrucks gezeigte elliptische Modul kann direkt mit dem Arithmetischen Mittelungstheorem des Areatangens Hyperbolicus hervorgerufen werden:
Auch mit den trigonometrischen Kreisfunktionen kann für den Elliptischen Modul eine direkte Identität gebildet werden:
Mit der unteren von den beiden eingerahmten Formeln kann durch lineare Verschiebung der inneren Funktion auch dieses Exemplar herausgearbeitet werden:
Durch Einsetzen des Cardanoschen Formelanalogon für quartische Gleichungen kann die gezeigte Gleichung vierten Grades unter der Quadratwurzel in zwei quadratische Polynome faktorisiert werden. So kann dann diese Gleichung mit der genannten eingerahmten Formel integriert werden. Das uneigentliche Integral von Minus Unendlich bis Plus Unendlich vom Kehrwert der Quadratwurzel aus einem quartischen Polynom ohne reelle Nullstellen ist komplett immer als Vollständiges elliptisches Integral erster Art K von einem in algebraischer Beziehung zu den Koeffizienten des quartischen Polynoms stehenden Modul darstellbar.
Ableitung des komplett verallgemeinerten Falls
Für den allgemeinsten Fall gelten diese Ableitungsregeln:
Alternative Darstellungen
Symmetrische Carlson-Formen
Die symmetrischen Carlson-Formen sind eine alternative Menge an Funktionen, durch die die klassischen elliptischen Integrale ausgedrückt werden können. Die moderneren Carlson-Formen wurden erst in den 1960er Jahren erfunden, während die Legendre-Formen bereits 1825 formuliert worden waren. Die Carlson-Formen bieten einige Vorteile gegenüber den klassischen elliptischen Integralen.
Unvollständige elliptische Integrale
Unvollständige elliptische Integrale können mit Hilfe der symmetrischen Carlson-Formen , und ausgerückt werden:
(für und )
Vollständige elliptische Integrale
Vollständige elliptischen Integrale erhält man durch Einsetzen von φ = π/2:
Bulirsch-Integrale
Eine alternative Darstellung der unvollständigen elliptischen Integrale sind die Bulirsch-Integrale.[21][22]
Unvollständige Bulirsch-Integrale
Die unvollständigen Bulirsch-Integrale sind:
Eine verallgemeinerte Version wurde 1994 zusammen mit einem effizienten Berechnungsalgorithmus eingeführt:[23]
.
Relation zu den Legendre-Normalformen:
Die Bulirsch-Integrale haben den Vorteil, dass bestimmte in der Praxis vorkommende Kombinationen der Legendre-Elliptischen-Integrale als gemeinsame Funktion dargestellt werden können, und damit numerische Instabilitäten und undefinierte Wertebereiche vermieden werden können:[23]
Vollständige Bulirsch-Integrale
Die vollständigen Bulirsch-Integrale sind
und das verallgemeinerte vollständige Bulirsch-Integral[22]
Die elliptischen Integrale können mit Hilfe des oben genannten arithmetisch-geometrischen Mittelwertes (AGM) effizient berechnet werden. Sie können auch zur Auswertung in die symmetrische Carlson-Form überführt werden.[25] Zur numerischen Auswertung der Carlson-Formen existieren zum AGM ähnliche Algorithmen.[26] Eine Annäherung mit Hilfe von gebrochenrationalen Funktionen höherer Ordnung ist auch möglich.[27] Zu den derzeit effizientesten Verfahren gehört die Auswertung mit Hilfe des Bulirsch-Algorithmus.[28]
Wichtige weitere Stammfunktionen
Liste der Ursprungsstammfunktionen
Das unvollständige elliptische Integral erster Art dient ebenso zur Darstellung der Ursprungsstammfunktionen von folgenden Funktionen:
Bezug zur Eulerschen Betafunktion
Für alle n ∈ ℕ gilt folgender Zusammenhang zwischen der Gammafunktion und den elliptischen Integralen:
Die Richtigkeit dieser Formel wird im Artikel Gammafunktion erklärt.
Bei der Berechnung des abgebildeten Integrals für die Werte n = 3, 4, 6 und 8 erhält man folgende Resultate:
Mit der Berechnung dieser Integrale und der Anwendung der Eulerschen Formel des Ergänzungssatzes lassen sich die Gamma-Funktionswerte ermitteln. Der erste[29] und dritte[30] Gleichungskette von den hier genannten Gleichungsketten stellen äquianharmonische Rechenbeispiele dar. Die Herleitung dieser gezeigten Integrale wurde insbesondere durch den Mathematiker Mark B. Villarino aus der Universität Costa Rica behandelt und in seinem Werk Legendre’s Singular Modulus niedergeschrieben. Die zweite[31][32] Gleichungskette repräsentiert ein lemniskatisches Rechenbeispiel, nämlich den lemniskatischen Arkussinus und behandelt hierbei seine Identität mit dem Kehrwert der Quadratwurzel aus Zwei als elliptischen Modul. Die vierte Gleichungskette[33] beinhaltet eine Stammfunktion, welche keine Umkehrfunktion einer Jacobi-Funktion darstellt, aber in so wie die vorherigen Gleichungsketten auf den von rationalen Zahlen kommenden elliptischen Lambda-Stern-Werten als Module basiert.
Legendresche Identität
Zwei Standardformeln für die Legendresche Identität
Das vollständige elliptische Integral erster Art (Jacobische Viertelperiode) und das vollständige elliptische Integral zweiter Art von zwei zueinander elliptisch gegenverwandten Modulen stehen in der Beziehung[34] der Legendreschen Identität zueinander.
Für zwei Module, welche zueinander pythagoräische Gegenstücke sind, gilt diese Beziehung:[35][36]
Beispielsweise gilt:
Und für zwei Module, welche zueinander tangentielle Gegenstücke sind, gilt jene Beziehung:
Beispielsweise gilt:
Die Legendresche Identität für tangentielle Modulgegenstücke geht direkt dadurch hervor, dass bei der Legendreschen Identität für Pythagoräische Modulgegenstücke genau bei einem der beiden Module die Landensche Modultransformation nach dem oben erklärten Schema durchgeführt wird.
Spezielle Identität für den lemniskatischen Fall
Für den lemniskatischen Fall ist das elliptische Modul beziehungsweise die spezifische Exzentrizität ε gleich der Hälfte der Quadratwurzel aus zwei. Die Legendresche Identität für den lemniskatischen Fall kann so bewiesen werden:
Durch die Bildung der Ursprungsstammfunktion bezüglich x von der nun gezeigten Funktion entsteht diese Formel:
Wenn der Wert in die zuletzt genannte Integralidentität eingesetzt wird, dann entsteht folgende Identität:
So kommt dann dieser Ausschnitt aus der Legendreschen Identität hervor:
Verallgemeinerung für den Gesamtfall
Nun soll im Folgenden der moduläre Allgemeinfall[37][38] bewiesen werden. Hierfür werden die Ableitungen der vollständigen elliptischen Integrale hergeleitet. Und im Anschluss wird die Ableitung der Legendreschen Identitätsbilanz ermittelt.
Diese Ableitungen sind gültig:
Denn die Ableitung der Kreisfunktion ist das negative Produkt aus der identischer Abbildungsfunktion und dem Kehrwert der Kreisfunktion. Die Legendresche Identität beinhaltet Produkte von jeweils zwei vollständigen elliptischen Integralen. Für die Ableitung der Funktionsseite von der Gleichungswaage der Legendreschen Identität wird die Produktregel im nun Folgenden angewendet:
Wenn von diesen drei Gleichungen die beiden oberen Gleichungen addiert werden und die unterste Gleichung subtrahiert wird, dann entsteht dieses Resultat:
Bezüglich ε ergibt die Bilanz konstant den Wert Null.
Für den Modul gilt das zuvor ermittelte Resultat:
Die Kombination der beiden zuletzt genannten Formeln ruft folgendes Ergebnis hervor:
Denn wenn die Ableitung einer kontinuierlichen Funktion konstant den Wert Null annimmt, dann ist die betroffene Funktion eine konstante Funktion. Das bedeutet, dass diese Funktion für jeden Abszissenwert ε den gleichen Funktionswert ergibt und der zugehörige Funktionsgraph somit eine waagrechte Gerade ist.
Ramanujansche Kreiszahlformeln
Der Mathematiker Srinivasa Ramanujan erforschte sie und schrieb in seinen Aufzeichnungen im Jahre 1914 exemplarische Resultate dieser Formeln nieder, die zur Ermittlung sehr schnell konvergierender Summenreihen für die Kreiszahl dienen.
Folgende Formel ist für die nachfolgende hypergeometrische Funktion gültig:
Dieser Ausdruck löst folgende Differentialgleichung:
Dabei gilt:
Exemplarisch durch Einsetzen des Wertes in die soeben genannte Differentialgleichung gilt beispielsweise somit:
Die hier gezeigte Gleichung führt direkt zur bekanntesten Kreiszahlformel, durch welche Srinivasa Ramanujan Weltruhm erlangte:
Exemplarisch durch Einsetzen des Wertes in die soeben genannte Differentialgleichung gilt beispielsweise somit:
Die hier gezeigte Gleichung führt zu einer weiteren Kreiszahlformel, welche Srinivasa Ramanujan entdeckte:
Die Mathematiker Borwein, Bailey und Beeler schrieben Ramanujans wichtigste Formeln sukzessiv in ihren Werken nieder und erläuterten zusätzlich Ramanujans Recherchen zu den elliptischen Integralen erster und zweiter Art sowie zu den Hypergeometrischen Funktionen und ihren zugehörigen Differentialgleichungen.
In folgender Tabelle werden noch die sich ergebenden Summenformeln für weitere Werte genannt:
Elliptischer Modul
Kreiszahlformel
Dieses Verfahren diente ebenso als Grundlage für die sogenannten Chudnovsky-Algorithmen von den Mathematikern David und Gregory Chudnovsky.
Anwendungsbeispiele
Umfang einer Ellipse
Ellipsenumfang und die Integrale E und K
Eine klassische Anwendung ist die Berechnung des Umfangs einer Ellipse. Im Folgenden ist eine Ellipsen-Parameterform mit den Halbachsen , angegeben. Das Ergebnis stellt sich mit dem vollständigen elliptischen Integral II. Art dar. Hierbei ist die Parameter-Konvention verwendet.
Die Äquivalenz der beiden Ausdrücke unten links in der Gleichungskette ist ersichtlich, wenn vorher statt ausgeklammert wird. Im letzten Ausdruck ist für . Außerdem wird bei beiden von diesen E-Ausdrücken die Übereinstimmung dadurch ersichtlich, dass bei beiden Ausdrücken die Landensche Transformation zum selben Resultat führt. Die zugehörige Anwendung des unvollständigen elliptischen Integrals II. Art ergibt sich, indem die obere Integrationsgrenze als Variable wie im Folgenden angesetzt wird. Damit ergibt sich die Bogenlänge der Ellipse in Abhängigkeit vom Parameter .
Folgender alternativer Rechenweg führt direkt zum Ausdruck mit dem Landenschen Tochtermodul :
In der zweiten Zeile wird über die Kettenregel mit der Arkustangensfunktion substituiert.
Gauss-Kummer-Reihe
Gegeben sind folgende Ausdrücke:
Durch Linearkombination dieser drei Formeln kann folgende Formel hervorgebracht werden:
Im vorherigen Abschnitt wurde dieses Resultat gezeigt:
Und durch die Kombination der beiden nun genannten Formeln entsteht diese Formel:
So entsteht folgendes Endresultat:
Diese Formel wird als Gauss-Kummer-Reihe[39][40] bezeichnet.
Umfang und Flächeninhalt einer Cassinischen Kurve
Die Cassinischen Kurven gehorchen für den Fall a < c folgender Relation für kartesische Koordinaten:
Dabei ist a die Brennweite und c ist der Abstand zwischen Brennpunkt und Schnittstelle von Graph und Ordinatenachse.
Für den Umfang der Cassinischen Kurve gilt:
Für den Flächeninhalt der Cassinischen Kurve gilt:
Mathematisches Pendel
Eine klassische Anwendung der elliptischen Integrale ist die exakte Bewegung eines Pendels für den Fall, bei welchem die Aspekte der Reibung und Trägheit außer Acht gelassen werden. Basierend auf der Differentialgleichung des mathematischen Pendels kann folgendes Rechenverfahren durchgeführt werden:
Durch Integration bezüglich der Zeit aus der zuletzt genannten Formel entsteht dann folgender Ausdruck:
Die Schwingungsdauer bei gegebenem Maximalauslenkungswinkel und gegebener Fadenlänge auf folgende Weise berechnet werden kann:
Elektrisches Skalarpotential einer homogenen, kontinuierlichen, ringförmigen Ladungsverteilung
Eine klassische Problemstellung aus der Elektrostatik ist die Berechnung des elektrischen Skalarpotentials bei gegebener räumlicher Ladungsverteilung. Bei einer homogenen, kontinuierlichen, ringförmigen Ladungsverteilung lässt sich das elektrische Skalarpotential mit Hilfe des vollständigen elliptischen Integrals 1. Art beschreiben. Das Ergebnis ist hier mit der Legendre-Konvention angegeben. In der angegebenen Lösung repräsentiert die elektrische Gesamtladung, den Radius des Ringes und die Vakuum-Permittivität. Weiterhin ist das Skalarpotential mit den Zylinderkoordinaten angegeben. Da keine Abhängigkeit bezüglich der Azimut-Koordinate besteht, ist ersichtlich, dass es sich um eine zylindersymmetrische Problemstellung handelt.
Elektrisches Skalarpotential einer homogenen, kontinuierlichen, ringförmigen Dipolverteilung
Neben der einfachen Ladungsverteilung besteht ebenfalls die Möglichkeit, eine ringförmige Verteilung axial ausgerichteter Dipole zu betrachten. Die Lösung des elektrischen Skalarpotentials ist im Folgenden angegeben. Dabei repräsentiert die -Komponente des elektrischen Dipolmoments, den Radius des Ringes und die Vakuum-Permittivität. Bei der nun behandelten Landungsverteilung lässt sich das elektrische Skalarpotential mit Hilfe des vollständigen elliptischen Integrals 2. Art beschreiben. Das Ergebnis ist hier mit der Legendre-Konvention angegeben.
Magnetisches Vektorpotential eines ringförmigen stromdurchflossenen Leiters
Ein Beispiel aus der Magnetostatik stationärer Ströme stellt die Berechnung des Magnetfeldes eines stromdurchflossenen Ringleiters dar. Es bietet sich die Berechnung des magnetischen Vektorpotentials an, aus dem sich in weiterer Betrachtung mit Hilfe der Rotation die magnetische Flussdichte bestimmen lässt. Hier repräsentiert die elektrische Stromstärke, den Radius des Ringleiters und die Vakuum-Permeabilität. Weiterhin ist das magnetische Vektorpotential mit den Zylinderkoordinaten und mit dem Einheits-Basisvektor in azimutaler Richtung angegeben. Die Lösung stellt sich durch eine Kombination von vollständigem elliptischen Integral 1. und 2. Art dar. Das Ergebnis ist hier mit der Legendre-Konvention und angegeben. Zur numerischen Auswertung der angegebenen Funktion eignet sich besonders das weiter oben angegebene Bulirsch-Integral . Der Vorteil ist eine höhere numerische Stabilität in der Umgebung .[41]
Irene Stegun und Milton Abramowitz: Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables. Dover, New York 1972. Seite 589 ff.
Irene Stegun und Milton Abramowitz: Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables. 9th printing. New York: Dover, p. 591, 1972.
Louis Vessot King: On the direct numerical calculation of elliptic functions and integrals. Cambridge University Press, 1924, archive.org.
Jonathan M. Borwein, Peter B. Borwein: Pi and the AGM. A study in analytical Number Theory and Computational Complexity. John Wiley & Sons, 1987.
Harris Hancock: Elliptic Integrals. John Wiley & Sons, 1917.
P. F. Byrd, M. D. Friedman: Handbook of Elliptic Integrals for Engineers and Scientists. Springer-Verlag, 1971.
Viktor Prasolov, Yuri Solovyev: Elliptic Functions and Elliptic Integrals. AMS, 1997.
Mümtaz Karataş: A multi foci closed Curve: Cassini Oval, its properties and applications. Naval Postgraduate School, Monterey, Kalifornien, 2013, pp. 231–248
Kejing He, Xiaoqiang Zhou, Qian Lin: High accuracy complete elliptic integrals for solving the Hertzian elliptical contact problems. In: Computers and Mathematics with Applications. Band73, Nr.1, 2017, S.122–128, doi:10.1016/j.camwa.2016.11.003.
Borwein, J. M. and Borwein, P. B. Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, 1987.
Peter Borwein, Jonathan Borwein und David Bailey: Ramanujan, Modular Equations, and Approximations to Pi, or How to Compute One Billion Digits of Pi. Amer. Math. Monthly 96, 201-219, 1989.
Mark B. Villarino: Legendre’s Singular Modulus. Escuela de Matem ́atica, Universidad de Costa Rica, 11501 San Jos ́e, Costa Rica, 2020.
Beeler, M. et al. Item 140 in Beeler, M.; Gosper, R. W.; and Schroeppel, R. HAKMEM. Cambridge, MA: MIT Artificial Intelligence Laboratory, Memo AIM-239, p. 69, Feb. 1972. http://www.inwap.com/pdp10/hbaker/hakmem/pi.html#item140.
Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, 2003.
Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; and Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, 2007.
Weblinks
Elliptic Integrals. Bei: dlmf.nist.gov. (NIST Digital Library of Mathematical Functions).
↑Siehe Eric W. Weisstein: Complete Elliptic Integral of the First Kind. In: MathWorld (englisch). Die Form ohne das !!-Symbol stammt aus: Bronstein, Semendjajew: Taschenbuch der Mathematik. Frankfurt/Main 1991, S. 223.
↑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]).
↑Eric W. Weisstein: Nome. Abgerufen am 21. August 2021 (englisch).
↑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. Band24, Nr.3, 1. August 1992, ISSN0898-1221, S.13–28, doi:10.1016/0898-1221(92)90210-9 (sciencedirect.com [abgerufen am 28. Mai 2023]).
↑Adolf Kneser: Neue Untersuchung einer Reihe aus der Theorie der elliptischen Funktionen. In: Journal für die reine und angewandte Mathematik. Band158, 1927, ISSN0075-4102, S.209–218 (eudml.org [abgerufen am 11. Juni 2023]).
↑Series Expansion of EllipticNomeQ differs from older Mathematica Version. Abgerufen am 11. Juni 2023 (englisch).
↑R. B. King, E. R. Canfield: Icosahedral symmetry and the quintic equation. In: Computers & Mathematics with Applications. Band24, Nr.3, 1. August 1992, ISSN0898-1221, S.13–28, doi:10.1016/0898-1221(92)90210-9 (sciencedirect.com [abgerufen am 11. Juni 2023]).
↑J. N. Bramhall: An iterative method for inversion of power series. In: Communications of the ACM. Band4, Nr.7, Juli 1961, ISSN0001-0782, S.317–318, doi:10.1145/366622.366629 (acm.org [abgerufen am 11. Juni 2023]).
↑D. K. Lee: Application of theta functions for numerical evaluation of complete elliptic integrals of the first and second kinds. ORNL/TM-11075. Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States), 1. März 1989 (osti.gov [abgerufen am 11. Juni 2023]).
↑Karl Heinrich Schellbach: Die Lehre von den Elliptischen Integralen und den ThetaFunctionen. Hrsg.: G. Reimer. 1864 (archive.org [abgerufen am 11. Juni 2023]).
↑K. H. Schellbach: Die Lehre von den elliptischen Integralen und den Theta-Functionen. G. Reimer, Berlin 1864 (hathitrust.org [abgerufen am 6. Juni 2023]).
↑Elliptic Integral Singular Value. Abgerufen am 7. April 2023.
↑Paul F. Byrd, Morris D. Friedman: Handbook of Elliptic Integrals for Engineers and Physicists. Springer Berlin Heidelberg, 1954, doi:10.1007/978-3-642-52803-3.
↑EllipticK, Functional identities. Abgerufen am 29. November 2022.
↑Eric W. Weisstein: Elliptic Integral. Abgerufen am 25. April 2023 (englisch).
↑Roland Bulirsch: Numerical calculation of elliptic integrals and elliptic functions. In: Numerische Mathematik. Band7, Nr.1, Februar 1965, ISSN0029-599X, S.78–90, doi:10.1007/BF01397975.
↑ abNIST Digital Library of Mathematical Functions 19.2: Bulirsch’s Integrals. Abgerufen am 29. November 2022.
↑ abToshio Fukushima, Hideharu Ishizaki: Numerical computation of incomplete elliptic integrals of a general form. In: Celestial Mechanics & Dynamical Astronomy. Band59, Nr.3, Juli 1994, ISSN0923-2958, S.237–251, doi:10.1007/BF00692874 (Online).
↑Numerical calculation of elliptic integrals and elliptic functions. III. In: Numerische Mathematik. Band13, Nr.4, 1969, S.305–315, doi:10.1007/BF02165405.
↑W. H. Press, S. A. Teukolsky, W. T. Vetterling, B. P. Flannery: Numerical Recipes: The Art of Scientific Computing. Hrsg.: Cambridge University Press. 3. Auflage. New York 2007, ISBN 978-0-521-88068-8, Section 6.12. Elliptic Integrals and Jacobian Elliptic Functions.
↑B. C. Carlson: Numerical computation of real or complex elliptic integrals. In: Numerical Algorithms. Band10, Nr.1, März 1995, ISSN1017-1398, S.13–26, doi:10.1007/bf02198293.
↑Cephes Mathematical Library. Abgerufen am 29. November 2022.
↑Toshio Fukushima: Applications and Experiments. DE GRUYTER, 31. Dezember 2014, Elliptic functions and elliptic integrals for celestial mechanics and dynamical astronomy, S.187–226, doi:10.1515/9783110345667.187.
↑Mathematics. How to integrate ? Abgerufen am 29. November 2022 (englisch, Chat).
↑Eric W. Weisstein: Lemniscate Function. Abgerufen am 3. Dezember 2022 (englisch).
↑Eric W. Weisstein: Lemniscate. Abgerufen am 3. Dezember 2022 (englisch).
↑Question. Numerically computing . Abgerufen am 29. November 2022 (englisch).
↑Lemniscate of Leaf Function - ProQuest. Abgerufen am 3. Dezember 2022.
↑Paraman, Singh Noida, Uttar Pradesh, India: π(PI) and the AGM: Legendre's Identity. Abgerufen am 29. November 2022 (englisch).
↑Legendre-Relation. Abgerufen am 29. November 2022.
↑Legendre Relation. Abgerufen am 29. November 2022.
↑integration - Proving Legendres Relation for elliptic curves. Abgerufen am 10. Februar 2023 (englisch).
↑Internet Archive: Paul Halmos celebrating 50 years of mathematics. New York : Springer-Verlag, 1991, ISBN 0-387-97509-8 (archive.org [abgerufen am 10. Februar 2023]).
↑Eine von der hier aufgeführten Formel abweichende Form (die natürlich die gleichen Werte erzeugt) ist auf math.wolfram.com angeführt.
↑Gérard P. Michon: Perimeter of an Ellipse. Abschnitt Very Precise Fast Computations. Auf: numericana.com. Abgerufen am 26. Juli 2015.
↑Peter Lowell Walstrom: Algorithms for Computing the Magnetic Field, Vector Potential, and Field Derivatives for Circular Current Loops in Cylindrical Coordinates. Office of Scientific and Technical Information (OSTI), 24. August 2017, doi:10.2172/1377379.