Elliptische Lambda-Funktion

holomorphe modulare Funktion auf der oberen Halbebene der komplexen Zahlen

Die Elliptische Lambda-Funktion, auch Modulare Lambda-Funktion genannt, ist eine holomorphe modulare Funktion auf der oberen Halbebene der komplexen Zahlen. Sie ist eine Kongruenzuntergruppe vom Typ Γ(2). Sie wird als Hauptmodul für die modulare Kurve X(2) beschrieben.

Definition der Funktion λ(𝜏)

Bearbeiten
 
Komplexe Ebenendarstellung der elliptischen Lambdafunktion

Die Elliptische Lambda-Funktion ist auf folgende Weise definiert:

Sei   die obere Halbebene der komplexen Zahlen, sodass für die Lambda-Funktion gilt  , dann kann Folgendes formuliert werden:

Ausdruck über die Jacobi-Thetafunktion:

 

Dabei gilt:

 
 

Die Kongruenzuntergruppe Γ(2) ist hierbei folgendermaßen beschaffen:

 

Ausdruck über die Dedekindsche Etafunktion:

 

Ausdruck über die Weierstraß-Funktion:[1]

 

Definition von Lambda-Stern

Bearbeiten

Definition als Lösung einer Integralgleichung

Bearbeiten
 
Funktionsgraph für λ(ix) = λ*(x²)², das Quadrat der Lambda-Stern-Funktion

Die Elliptische Lambda-Funktion ausgedrückt mit einem Stern oben rechts über dem Lambda liefert den elliptischen Modul beziehungsweise die Exzentrizität auf folgende Weise:

 

Dabei bezeichnet K das vollständige elliptische Integral erster Art.

Die Funktionen Lambda und Lambda-Stern stehen in folgender Beziehung zueinander:

 

Definitionen über die Jacobischen Thetafunktionen

Bearbeiten

Primär ist die Funktion λ*(x) so über die Theta-Nullwertfunktionen definiert:

 

Ebenso kann Lambda-Stern-Funktion über den pythagoräisch komplementären Modul dargestellt werden:

 

Auch über die Theta-Nicht-Nullwertfunktionen ist die Definition möglich:

 

Die Thetafunktionen selbst sind nach Whittaker und Watson so definiert:

 
 
 

Außerdem gelten folgende Ausdrucksweisen:

 
 
 

Definitionen als Summenreihen und Produktreihen

Bearbeiten

Die Lambda-Stern-Werte können mit diesen sehr schnell konvergierenden Definitionsformeln[2] berechnet werden:

 
 
 
 

Definition mit Integralen

Bearbeiten

Die Jacobische Theta-Nullwertfunktion ϑ₀₀ hat diese Integralidentität:

 
 

Die Lambda-Stern-Funktion kann dann auf jenem Definitionsweg dargestellt werden:

 

Weitere Identitäten zwischen Thetafunktion und Lambdafunktion

Bearbeiten

Für die Thetafunktionen ϑ₁₀ und ϑ₀₀ in reeller Form gelten folgende Formeln:

 
 
 
 

Mit der Abkürzung agm wird das arithmetisch geometrische Mittel zum Ausdrück gebracht.

Von diesen beiden Thetafunktionen werden im Folgenden einige Theta-Nullwerte aufgelistet.

Anwendungsbeispiele

Bearbeiten

Unendliche Summe der Kehrwerte ungeradstelliger Fibonacci-Zahlen:

 
 

Dabei ist   die goldene Zahl.

Unendliche Summe der Kehrwerte ungeradstelliger Pell-Zahlen:

 

Eigenschaften

Bearbeiten

Die Funktion   verhält sich in der auf folgende Weise erzeugten Gruppe invariant:

 

Die Erzeuger der modularen Gruppen sind wie folgt beschaffen:

 
 

Folglich verhält sich die Gruppe in Bezug auf   unharmonisch.

Das Doppelverhältnis weist folgende sechs Werte auf:

 

Algebraische Beziehungen von Lambda-Stern

Bearbeiten

Allgemeine Beziehungen

Bearbeiten

Generell ist jeder Lambda-Stern-Wert einer positiven rationalen Zahl eine positive algebraische Zahl:

 

Folgende Beziehung gilt für alle n ∈ ℕ:

 

Hierbei ist dn die Jacobische elliptische Funktion Delta Amplitudinis.

Weiterhin gilt für alle Zahlen n ∈ ℕ:

 
 

Hierbei ist sn die Jacobische elliptische Funktion Sinus Amplitudinis, während sl der lemniskatische Sinus ist.

Liste exemplarischer Beziehungen

Bearbeiten

Folgende weitere Beziehungen[3] existieren zwischen den Lambda*-Funktionswerten:

 
 
 
 
 
 
 
 
 
 
 
 
 

Ramanujansche Funktionen

Bearbeiten

Folgende Beziehungen gelten zu den Ramanujanschen Funktionen g und G:

 
 
 

Spezielle Werte

Bearbeiten

Lambda-Stern-Werte ganzer Zahlen

Bearbeiten

In dieser Liste werden die Lambda-Stern-Werte[4] der ganzen Zahlen 1 bis 25 radikalisch dargestellt:

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Weitere Lambdafunktionswerte des Schemas λ*(4n - 2) mit n ∈ ℕ können vereinfacht mit dem Tangens dargestellt werden:

 
 
 
 
 
 
 

Lambda-Stern-Werte von gebrochen rationalen Zahlen

Bearbeiten

In jener Liste sind die Lambda-Stern-Werte von Brüchen aufgelistet:

 
 
 
 
 
 
 
 
 

Ableitung

Bearbeiten

Die Funktion λ*(x) wird auf folgende Weise[5] abgeleitet:

 

Dies wird im nun Folgenden bewiesen. Für die Ableitung des vollständigen elliptischen Integrals erster Art gilt:

 

Mit der Quotientenregel kann die Umkehrfunktion zur elliptischen Lambda-Stern-Funktion abgeleitet werden:

 

Die Legendresche Identität[6] besagt, dass die in den eckigen Klammern stehende Bilanz konstant den Wert π/2 annimmt:

 

Nach der Umkehrregel ist die Ableitung einer Funktion der Kehrwert der Ableitung ihrer Umkehrfunktion mit der Funktion als innere Variable:

 
 

Literatur

Bearbeiten
  • Chandrasekharan, K. (1985): Elliptic Functions, Grundlehren der mathematischen Wissenschaften. 281, Springer-Verlag, pp. 108–121, ISBN 3-540-15295-4, Zbl 0575.33001
  • Reinhardt, W. P.; Walker, P. L. (2010): „Elliptic Modular Function“, in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
  • Rankin, Robert A. (1977): Modular Forms and Functions. Cambridge University Press, ISBN 0-521-21212-X, Zbl 0376.10020
  • Jonathan Borwein und Peter Borwein: π and the AGM: A Study in Analytic Number Theory and Computational Complexity. Wiley, 1998, ISBN 978-0-471-31515-5, Seite 139 (englisch, wiley.com)
  • Milton Abramowitz und Irene Stegun eds. (1972): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover Publications, ISBN 978-0-486-61272-0, Zbl 0543.33001
  • Nikos Bagis: On the complete solution of the general quintic using the Rogers-Ramanujan continued fraction. Pella, Makedonien, Griechenland, 2015. p. 3, arXiv 1510.00068v1
  • Folkmar Bornemann, Dirk Laurie, Stan Wagon und Jörg Waldvogel: Vom Lösen numerischer Probleme, Seiten 277 bis 280
Bearbeiten

Einzelnachweise

Bearbeiten
  1. complex analysis - Why is the modular $\lambda$ function a quotient of two meromorphic functions in the U.H.P.? Abgerufen am 22. Juli 2021.
  2. DLMF: 23.15 Definitions. Abgerufen am 22. Juli 2021.
  3. http://wayback.cecm.sfu.ca/~pborwein/TEMP_PROTECTED/pi-agm.pdf
  4. Eric W. Weisstein: Elliptic Lambda Function. Abgerufen am 22. Juli 2021 (englisch).
  5. Modular lambda function - Fungrim: The Mathematical Functions Grimoire. Abgerufen am 22. Juli 2021.
  6. integration - Proving Legendres Relation for elliptic curves. Abgerufen am 12. August 2021.