Arithmetisch-geometrisches Mittel

Begriff aus der Mathematik

In der Mathematik bezeichnet man als arithmetisch-geometrisches Mittel zweier positiver reeller Zahlen eine gewisse Zahl, die zwischen dem arithmetischen Mittel und dem geometrischen Mittel liegt.

Plot des arithmetisch-geometrischen Mittels (in dunkelblau)

Definition

Bearbeiten

Es seien   und   zwei nichtnegative reelle Zahlen. Ausgehend von ihnen werden induktiv zwei Folgen   und   mit

  (1a)
  (1b)

definiert:

  (2) (arithmetisches Mittel)
  (3) (geometrisches Mittel)

Die Folgen   und   konvergieren gegen einen gemeinsamen Grenzwert  , der als arithmetisch-geometrisches Mittel von   und   bezeichnet wird.

Dass die beiden Grenzwerte tatsächlich existieren und darüber hinaus sogar noch gleich sind, wird weiter unten in „Wichtige Eigenschaften“ gezeigt.

Einfaches Beispiel

Bearbeiten

Sei

  und   (4a,b)

Dann ist

  und   (5)
  und   (6)
  (7)

Einfache Eigenschaften

Bearbeiten

Für zwei nichtnegative Werte   und   gilt:

  (10)
  für   (11)

Das heißt, das arithmetisch-geometrische Mittel ist – wie jede Mittelwertfunktion – symmetrisch und homogen vom Grad 1 in seinen beiden Variablen   und  .

  (12) Gleichheit gilt dabei genau für  
  (13)

Wichtige Eigenschaften

Bearbeiten
  • Monotonie: Für zwei positive Startwerte   gilt nach der Ungleichung vom arithmetischen und geometrischen Mittel stets auch  . Die Folge   ist also monoton wachsend und durch   nach oben beschränkt, deshalb konvergiert sie gegen einen Grenzwert  . Andererseits ist die Folge   monoton fallend und nach unten beschränkt, das heißt, sie konvergiert gegen einen Grenzwert  . Oder anders geschrieben:
  (14)

Geht man nun in der Definitionsgleichung   zum Grenzwert über (das ist erlaubt, weil alle Grenzwerte existieren), dann erhält man  , woraus   folgt. Somit sind die beiden Grenzwerte gleich und es ist   das arithmetisch-geometrische Mittel.

  (15)

Wegen der Abschätzung

  (16)

liegt ein Verfahren mit quadratischer Konvergenz vor.

Alternative Darstellung

Bearbeiten

Man kann beide Folgen auch voneinander "entkoppeln": Sei

 ,  ,   und  . (21)

Dann kann man die obigen Gleichungen umformen zu:

  (22)
  (23)

Historisches

Bearbeiten

Das arithmetisch-geometrische Mittel wurde unabhängig voneinander von den Mathematikern Carl Friedrich Gauß und zuvor schon von Adrien-Marie Legendre entdeckt. Sie nutzten es, um die Bogenlänge von Ellipsen, also elliptische Integrale, näherungsweise zu berechnen. Gauß etwa notierte zum Zusammenhang zwischen dem arithmetisch-geometrischen Mittel und dem elliptischen Integral 1. Gattung (Bogenlänge einer Lemniskate) die Gleichung

  (24)

in sein Mathematisches Tagebuch.[1]

Verfahren von Salamin und Brent

Bearbeiten

Das nachfolgende Verfahren zur Berechnung der Kreiszahl   wurde 1976 unabhängig voneinander von Richard P. Brent und Eugene Salamin publiziert. Es nutzt wesentlich die Erkenntnisse von Gauß über das arithmetisch-geometrische Mittel. Gauß bemerkte zu seiner Zeit allerdings nicht, dass sich damit auch ein schneller Algorithmus zur Berechnung der Zahl   konstruieren lässt. Dennoch wird das Verfahren oft auch als Methode von Gauß, Brent und Salamin bezeichnet.

Die Schritte des Verfahrens können folgendermaßen beschrieben werden:

  • Initialisierung: Man verwendet als Startwerte
  (31)
  • Schleife: Für
 

berechnet man

  (32)
  (33)
  (34)
  (35)
  (36)

Die Folge der   konvergiert quadratisch gegen  , das heißt, dass mit jedem Durchlaufen der Schleife sich die Zahl der korrekt berechneten Ziffern etwa verdoppelt. Damit konvergiert dieser Algorithmus deutlich schneller gegen   als viele klassische Verfahren.

Zahlenbeispiel

Bearbeiten

Mit den Startwerten

  (37)

berechnet man iterativ:

Index            
  1 0,70710 67811 86547 0,5
  0,85355 33905 93274 0,84089 64152 53715 0,02144 66094 06726 0,45710 67811 86547 3,18767 26427 12110
  0,84722 49029 23494 0,84720 12667 46891 0,00004 00497 56187 0,45694 65821 61801 3,14168 02932 97660
  0,84721 30848 35193 0,84721 30847 52765 0,00000 00001 39667 0,45694 65810 44462 3,14159 26538 95460

Nach drei Iterationen erhält man für das arithmetisch-geometrische Mittel den Näherungswert  

Für die Zahl   ergibt sich die Näherung  

Beziehung zu elliptischen Integralen

Bearbeiten

Es gilt:

  (41)

Die rechte Seite ist ein vollständiges elliptisches Integral erster Art.

Aufgelöst nach   entsteht folgender Ausdruck:

  (42)

Alternativ kann das arithmetisch-geometrische Mittel auch mit der Jacobischen Thetafunktion dargestellt werden:

  (43)
  (44)

Somit ist das arithmetisch-geometrische Mittel das Produkt aus dem arithmetischen Mittel und dem Kehrwert des Quadrats von dem Theta-Funktionswert ϑ₀₀ aus dem sogenannten elliptischen Nomen. Das Elliptische Nomen[2] ist der Eulersche Exponentialfunktionswert vom negativen Produkt von der Kreiszahl und dem reellen Halbperiodenverhältnis. Das reelle Halbperiodenverhältnis[3] ist der Quotient des komplementären vollständigen elliptischen Integrals erster Art dividiert durch das zugehörige elliptische Integral erster Art. Die Jacobische Thetafunktion ϑ₀₀(x) ist der Nachfolger vom Doppelten der unendlichen Summe der Potenzen mit x als Basis und den Quadratzahlen ungleich Null als Exponenten.

Literatur

Bearbeiten
  • Jonathan M. Borwein, Peter B. Borwein: Pi and the AGM, A Study in Analytic Number Theory and Computational Complexity. John Wiley, New York 1987, ISBN 0-471-31515-X.
  • Louis Vessot King: On the direct numerical calculation of elliptic functions and integrals. Cambridge University Press, 1924, archive.org
  • Tom M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Second Edition (1990), Springer, New York ISBN 0-387-97127-0
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Vgl. Carl Friedrich Gauß: Mathematisches Tagebuch 1796–1814. Mit einer historischen Einführung von Kurt-R. Biermann. Durchgesehen und mit Anmerkungen versehen von Hans Wußing und Olaf Neumann. 5. Auflage. Harri Deutsch, Frankfurt am Main 2005. (Ostwalds Klassiker der exakten Wissenschaften, Band 256.), Nr. 98 (Braunschweig, 30. Mai 1798): „Terminum medium arithmetico-geometricum inter 1 et   esse   usque ad figuram undecimam comprobavimus, qua re demonstrata prorsus novus campus in analysi certo aperietur.“ „Wir haben bis zur elften Stelle nachgewiesen, daß der Wert des arithmetisch-geometrischen Mittels zwischen 1 und   ist; durch diesen Beweis wird uns ganz gewiß ein völlig neues Feld in der Analysis eröffnet werden.“ Dabei ist   die von Gauß eingeführte lemniskatische Konstante.
  2. Eric W. Weisstein: Nome. Abgerufen am 18. Juli 2021 (englisch).
  3. Eric W. Weisstein: Half-Period Ratio. Abgerufen am 18. Juli 2021 (englisch).