Lemniskatische Konstante

Die lemniskatische Konstante ist eine 1798 von Carl Friedrich Gauß eingeführte mathematische Konstante. Sie ist definiert als der Wert des elliptischen Integrals

= 2,62205 75542 92119 81046 48395 89891 11941 36827 54951 43162 … (Folge A062539 in OEIS)

und tritt bei der Berechnung der Bogenlänge der gesamten Lemniskate von Bernoulli auf. Derzeit (Stand: 18. Juli 2022) sind 1.200.000.000.100 Nachkommastellen der lemniskatischen Konstante bekannt. Sie wurden von Seungmin Kim berechnet.[1]

Bezeichnung

Die Lemniskatische Konstante ist das Verhältnis des Umfangs zum maximalen Durchmesser bei der Lemniskate von Bernoulli!

Gauß wählte für die lemniskatische Konstante bewusst die griechische Minuskel (gesprochen: Skript-Pi oder Varpi), eine alternative Schreibweise von , um an die Analogie zum Kreis mit seinem halben Umfang

zu erinnern. Den Ursprung dieser Bezeichnung bei Gauß klärte vermutlich zuerst Ludwig Schlesinger auf: Zunächst verwendete Gauß zur Bezeichnung der lemniskatischen Periode das Zeichen , und ab Juli 1798 verwendete er für diese Größe konsequent .

Im Englischen findet sich für die Minuskel auch die (irreführende) Bezeichnung pomega, ein Kofferwort aus den Buchstabennamen für π und ω.

Im englischen Sprachraum wird

= 0,83462 68416 74073 18628 14297 32799 04680 89939 93013 49034 … (Folge A014549 in OEIS)

als Gaußkonstante bezeichnet.

Herleitung der Integraldefinition

Folgende kartesische Koordinatengleichung ist für die Lemniskate von Bernoulli mit der Brennweite f gültig:

Daraus resultiert nachfolgende Parametergleichung für die Lemniskate mit dieser Brennweite:

Für das gegebene Intervall von t wird die gesamte Kurve der Lemniskate genau einmal parametrisiert. Der Umfang wird durch Integration von denselben Grenzen für t von der Pythagoräischen Summe der ersten Ableitungen bezüglich t berechnet:

Der maximale Durchmesser der Lemniskate von Bernoulli beträgt und die lemniskatische Konstante ist als Quotient des Vollumfangs dividiert durch den maximalen Durchmesser definiert:

Eigenschaften

Eulersche Betafunktion

Mit der Eulerschen Betafunktion und der Gammafunktion gilt

Deswegen gilt auch das Folgende:

Dirichletsche Betafunktion

Ebenso kann die lemniskatische Konstante mit der Ableitung der Dirichletschen Betafunktion auf folgende zwei Weisen dargestellt werden:

Das Kürzel drückt hierbei die Euler-Mascheroni-Konstante aus.

Dabei gilt nach der Abel-Plana-Formeldefinition für die Dirichletsche Betafunktion:

Und somit gilt für die Ableitung der Dirichletschen Betafunktion:

Unendliche Summen

Gauß fand die Beziehung

mit dem arithmetisch-geometrischen Mittel agm und gab auch eine schnell konvergierende Reihe

mit Summanden der Größenordnung an.

Außerdem erkannte Carl Friedrich Gauß folgenden Zusammenhang:

Dabei wird mit der Lemniskatische Arkussinus ausgedrückt.

Weitere Arcussinus-Lemniscatus-Summen von diesem Schema können so erzeugt werden:

mit

Die Auswertung

des elliptischen Integrals ergibt eine ähnliche Reihe, die jedoch sehr viel langsamer konvergiert, da die Glieder von der Größenordnung sind. Sehr schnell konvergiert die Reihe in

mit Summanden der Größenordnung .

Auch sehr schnell konvergiert folgende Reihe:

Niels Nielsen stellte 1906 mit Hilfe der Kummerschen Reihe der Gammafunktion einen Zusammenhang mit der Eulerschen Konstante her:[2]

Theodor Schneider bewies 1937 die Transzendenz von .[3] Gregory Chudnovsky zeigte 1975, dass und somit auch algebraisch unabhängig von ist.[4][5]

Unendliche Produkte

Analog zum Wallisschen Produkt lassen sich für die lemniskatische Konstante folgende Produktreihen entwickeln:

Folgende Produktreihen konvergieren sehr schnell:

Elliptische Integrale

Vollständige elliptische Integrale K und E

Lemniskatisch elliptische Integrale

Mit dem vollständigen elliptischen Integral erster Art lässt sich die lemniskatische Konstante auf verschiedene Weise darstellen:

Die lemniskatische Konstante kann auch ausschließlich mit Ellipsenumfängen und somit mit elliptischen Integralen zweiter Art dargestellt werden:

Dabei ist E(k) das Verhältnis des Viertelumfangs zur längeren Halbachse bei derjenigen Ellipse, bei welcher die numerische Exzentrizität den Wert k annimmt.

Liste bestimmter elliptischer Integrale erster Art

Folgende weitere Integrale involvieren die lemniskatische Konstante:

Herleitung der elliptischen Integrale zweiter Art

Nach der Kettenregel gelten folgende vier Ableitungen:

Im Folgenden werden zwei Gleichungsketten synthetisiert und danach gleichgesetzt:

Der Hauptsatz der Differential- und Integralrechnung wird auf folgende Weise angewendet:

Das Produkt folgender zwei Integrale lässt sich dann mit der Produktregel und dem Satz von Fubini auf folgende Weise umformen:

Denn nach der Regel von de L’Hospital gilt:

Durch Gleichsetzung der beiden aufgestellten Gleichungsketten folgt:

Liste bestimmter elliptischer Integrale zweiter Art

Aus dem soeben gezeigten Endresultat lassen sich folgende Integrale herleiten:

Weitere bestimmte elliptische Integrale

Diese beiden elliptischen Integrale dritter Art sind zueinander identisch:

In der Stammfunktion von der ersten Funktion bewirkt die Substitution von x durch die Kehrwertfunktion 1/x und die anschließende Negativsetzung die Bildung der Stammfunktion von der zweiten Funktion. Außerdem gilt folgende Aufsummierung:

Daraus folgt:

Wie bereits oben erwähnt ist diese Integralformel gültig:

Basierend auf dem Eulerschen Ergänzungssatz über die Gammafunktion hat folgendes Integralprodukt den nachfolgenden Wert:

Im Zusammenhang mit der Gammafunktion gilt somit jenes Integral:

Ellipsenumfang

Ellipse mit den Werten: a = √2b und U = (2ϖ + 2π/ϖ)b

Bei einer Ellipse, in welcher sich die größere Halbachse zur kleineren Halbachse in der Quadratwurzel aus Zwei verhält, nimmt das Verhältnis des Ellipsenumfangs zur kleineren Halbachse den Wert 2ϖ + 2π/ϖ an. Diese Tatsache wird im nun Folgenden bewiesen:

Somit gilt für diese Ellipse:

In dieser Tabelle werden mehrere Ellipsen mit ihren Umfangsverhältnissen aufgelistet:

Kleinere Halbachse/Größere Halbachse Umfang/Größere Halbachse

Siehe auch

Literatur

  • Theodor Schneider: Einführung in die transzendenten Zahlen. Springer-Verlag, Berlin 1957, S. 64.
  • Carl Ludwig Siegel: Transzendente Zahlen. Bibliographisches Institut, Mannheim 1967, S. 81–84.
  • John Todd: The Lemniscate Constants. Institute of Technology, Kalifornien 1975
  • A. I. Markuschewitsch: Analytic Functions. Kapitel 2 in: A. N. Kolmogorov, A. P. Juschkewitsch (Hrsg.): Mathematics of the 19th Century. Geometry, analytic function theory. Birkhäuser, Basel 1996, ISBN 3-7643-5048-2, S. 133–136.
  • Jörg Arndt, Christoph Haenel: π. Algorithmen, Computer, Arithmetik. 2. Auflage, Springer, 2000, S. 94–96 (hier ist die griechische Minuskel ϖ typographisch korrekt wiedergegeben)
  • Steven R. Finch: Gauss’ Lemniscate constant, Kapitel 6.1 in Mathematical constants, Cambridge University Press, Cambridge 2003, ISBN 0-521-81805-2, S. 420–423 (englisch)
  • Hans Wußing, Olaf Neumann: Mathematisches Tagebuch 1796–1814 von Carl Friedrich Gauß. Mit einer historischen Einführung von Kurt-R. Biermann. Ins Deutsche übertragen von Elisabeth Schuhmann. Durchgesehen und mit Anmerkungen versehen von Hans Wußing und Olaf Neumann. 5. Auflage, 2005, Eintrag [91a].

Einzelnachweise

  1. Alexander Jih-Hing Yee: Records set by y-cruncher. 17. Juli 2022, abgerufen am 18. Juli 2022 (englisch).
  2. Niels Nielsen: Handbuch der Theorie der Gammafunktion. Teubner, Leipzig 1906, S. 201 (der korrekte Faktor vor der Summe ist 2/π statt 2)
  3. Theodor Schneider: Arithmetische Untersuchungen elliptischer Integrale (11. März 1936), Mathematische Annalen 113, 1937, S. 1–13
  4. G. V. Choodnovsky: Algebraic independence of constants connected with the functions of analysis, Notices of the AMS 22, 1975, S. A-486 (englisch; vorläufiger Bericht)
  5. Gregory V. Chudnovsky: Contributions to the theory of transcendental numbers, American Mathematical Society, 1984, ISBN 0-8218-1500-8, S. 8 (englisch)