Romberg-Integration

Die Romberg-Integration basiert auf der Richardson-Extrapolation zum Limes über die Schrittweite einer summierten Quadraturformel, wie beispielsweise der Trapezregel. Die Trapezregel ist hier besonders zu erwähnen, da sie einfach zu berechnen ist und zudem eine Entwicklung in quadratischen Potenzen der Schrittweite besitzt, also eine Extrapolation in Quadraten der Schrittweite möglich ist, die deutlich schneller konvergiert als die einfache Extrapolation zum Limes. Mit Schrittweite h ist hier die Breite der Trapeze bei der Trapezregel gemeint.

Der aufwändige Teil der numerischen Integration sind oft die Funktionsauswertungen. Um deren Anzahl minimal zu halten, ist es somit ratsam, einen Schrittweitenverlauf zu wählen, der die Weiterverwendung von bereits berechneten Funktionswerten erlaubt. Ein Beispiel für eine solche Schrittweite wäre ${\displaystyle \textstyle {h_{n}={\frac {b-a}{2^{n-1}}}}}$, das zugleich die Bedingungen für eine konvergente Extrapolation erfüllt. Also

${\displaystyle 1,{\frac {1}{2}},{\frac {1}{4}},{\frac {1}{8}},{\frac {1}{16}},{\frac {1}{32}},\dots }$

Bei dieser sogenannten Romberg-Folge wächst die Anzahl der benötigten Funktionsauswertungen bei großen n schnell an, was nicht immer erwünscht ist.

Um diesem abzuhelfen, kann auch die Bulirsch-Folge verwendet werden:

${\displaystyle 1,{\frac {1}{2}},{\frac {1}{3}},{\frac {1}{4}},{\frac {1}{6}},{\frac {1}{8}},\dots }$

Hier werden Glieder mit ${\displaystyle {\frac {2}{3}}}$ zwischengeschaltet.

Man nähert das Integral ${\displaystyle I[f]=\int _{a}^{b}f(x)\,\mathrm {d} x}$ mit der Hilfe von Trapezsummen ${\displaystyle T=T(h)}$ mit verschiedenen Schrittweiten ${\displaystyle h}$ an. Dabei nimmt man an, dass der Grenzwert ${\displaystyle I[f]=\lim _{h\,\to \,0}T(h)}$ erfüllt wird.

Die Rechenvorschrift der Romberg-Integration lautet nun wie folgt[2].

1. Bestimme die Trapezsummen ${\displaystyle T=T(h)}$ zu Schrittweiten ${\displaystyle \left(h_{i}\right)_{i=1,\,\ldots \,,m}}$. Dies definiert ${\displaystyle T_{i,1}:=T(h_{i})\,,i=1,\,\ldots \,,m\,.}$
2. Mittels des Neville-Aitken-Schemas wird das Interpolationspolynom bei ${\displaystyle h=0}$ ausgewertet ${\displaystyle T_{i,k}:=T_{i,k-1}+{\frac {T_{i,k-1}-T_{i-1,k-1}}{\left({\frac {h_{i-k+1}}{h_{i}}}\right)^{2}-1}}\,\quad {\text{mit}}\quad 2\leq k\leq i\,.}$

Anmerkungen

• Im ersten Schritt berechnet man also die Datenpunkte ${\displaystyle \left(h_{i},T(h_{i})\right)_{i=1,\,\ldots \,,m}}$. Aufgrund der asymptotischen Fehlerentwicklung der Trapezsumme (es kommen nur Potenzen von ${\displaystyle h^{2}}$ vor) wird im zweiten Schritt ein Interpolationspolynom zu den Datenpunkten ${\displaystyle \left(h_{i}^{2},T(h_{i})\right)_{i=1,\,\ldots \,,m}}$ benutzt.
• Im zweiten Schritt wird nicht das vollständige Interpolationspolynom bestimmt, sondern nur die Auswertung an einem bestimmten Punkt: ${\displaystyle h=0}$. Dies funktioniert besonders effizient mit dem Neville-Aitken-Schema.
• Das Neville-Aitken-Schema liefert eine Approximation des Integrals mittels ${\displaystyle T_{m,m}\approx I[f]}$.
• Die Durchführung des Neville-Aitken-Schema muss in der „richtigen“ Reihenfolge geschehen. Das folgende Extrapolationstableau soll dies verdeutlichen (man geht spaltenweise vor: zuerst die erste Spalte bestimmen, dann die zweite etc.)

${\displaystyle {\begin{matrix}T_{1,1}\\&\searrow \\T_{2,1}&\rightarrow &T_{2,2}\\\vdots &&&\ddots \\T_{k-1,1}&\rightarrow &\cdots &\rightarrow &T_{k-1,k-1}\\&\searrow &&\searrow &&\searrow \\T_{k,1}&\rightarrow &\cdots &\rightarrow &T_{k,k-1}&\rightarrow &T_{k,k}\,.\end{matrix}}}$

Eine Unterschreitung der hier definierten Fehlerschranke bedeutet nicht immer, dass das Integral korrekt berechnet wurde. Dies gilt besonders für periodische Funktionen und Funktionen mit einem periodischen Anteil. So führt z. B. das bei der Fourieranalyse periodischer Funktionen vorkommende Integral

${\displaystyle \int _{0}^{2\pi }f(x)\cdot \cos(2^{n}x)\mathrm {d} x}$

u. U. zu einem Fehler, wenn man nicht mindestens n+1 Integrationsstufen berechnet. In den ersten n Integrationsstufen fallen alle Stützstellen mit den Nullstellen der Funktion zusammen. Als Integral erhält man daher immer den Wert Null, egal ob es stimmt oder nicht. Ein Computerprogramm sollte also immer eine Mindestanzahl an Integrationsstufen erzwingen.

Der große Vorteil der Romberg-Quadratur gegenüber anderen Verfahren besteht in der Möglichkeit, den Fehler im Nachhinein zu kontrollieren und schon erreichte Ergebnisse weiterzuverwenden, wenn die Genauigkeit noch nicht erreicht ist.

• Martin Hermann: Numerische Mathematik, Band 2: Analytische Probleme. 4. überarbeitete und erweiterte Auflage. Walter de Gruyter Verlag, Berlin und Boston 2020, ISBN 978-3-11-065765-4.
• Josef Stoer: Numerische Mathematik 1, 8. neu bearbeitete und erweiterte Auflage. Springer-Lehrbuch, ISBN 3-540-66154-9, S. 161 ff.

• Romberg-Integration (Memento vom 29. September 2007 im Internet Archive) – Plugin für Yacas

1. Romberg, Vereinfachte Numerische Integration, Kgl.Norske Vid. Selsk. Forsk., Band 28, 1955, S. 30–36
2. Peter Deuflhard; Folkmar Bornemann: Numerische Mathematik / 1. Eine algorithmisch orientierte Einführung. 4., überarb. und erw. Auflage. Band 1. de Gruyter, Berlin, ISBN 3-11-020354-5, S. 318.