Konvergenzgeschwindigkeit

Unter Konvergenzgeschwindigkeit (auch Konvergenzordnung) versteht man die Geschwindigkeit, mit der sich die Glieder einer konvergenten Folge \left(s_{n}\right)_{n\in \mathbb {N} } dem Grenzwert s nähern. In der numerischen Mathematik ist die Konvergenzgeschwindigkeit ein wichtiges Qualitätsmerkmal iterativer Verfahren, neben dem Rechenaufwand pro Iteration und der numerischen Stabilität.

Konvergenzordnung

Sei {\displaystyle \left(s_{k}\right)_{k\in \mathbb {N} }} eine Folge mit dem Grenzwert s. Zur Vermeidung nebensächlicher Fallunterscheidungen seien Glieder mit {\displaystyle s_{k}=s} und andere Wiederholungen weggelassen.

Lineare Konvergenz liegt vor, falls

{\displaystyle \limsup _{k\to \infty }{\frac {|s_{k+1}-s|}{|s_{k}-s|}}=c<1} .

Manche Autoren bezeichnen c als die Konvergenzrate (engl. rate of convergence, franz. taux de convergence). Je kleiner c, desto schneller konvergiert die Folge, will sagen: desto weniger Glieder werden – zumindest asymptotisch – benötigt.

Unterlineare oder sublineare Konvergenz liegt vor bei c=1. Konvergiert die Folge unterlinear und gilt zusätzlich

{\displaystyle \lim _{k\to \infty }{\frac {|s_{k+2}-s_{k+1}|}{|s_{k+1}-s_{k}|}}=1},

dann spricht man von logarithmischer Konvergenz.

Superlineare Konvergenz liegt vor bei c=0, z.B., wenn es eine gegen Null konvergente Zahlenfolge {\displaystyle (c_{k})} gibt mit:

{\displaystyle |s_{k+1}-s|\leq c_{k}|s_{k}-s|,\;k=0,1,\dotsc }

Eine Folge, die superlinear konvergiert, konvergiert schneller als linear.

Konvergenz der Ordnung q (oder Q-Konvergenzordnung (≥) q) mit {\displaystyle q>1} liegt vor, wenn {\displaystyle (s_{k})} konvergiert und ein c>0 existiert, sodass

{\displaystyle |s_{k+1}-s|\leq c|s_{k}-s|^{q},\;k=0,1,\dotsc }

In der Literatur finden sich auch Formulierungen wie „konvergiert mit der Q-Ordnung (wenigstens) q (englisch converges with Q-order at least q) für denselben Sachverhalt. Das Q kommt von Quotient, weil die Q-Ordnung über den Quotienten zweier aufeinanderfolgender Terme definiert ist. Konvergiert die Folge \left(s_{n}\right) mit einer Q-Ordnung {\displaystyle \geq q}, dann konvergiert sie auch mit der Q-Ordnung {\displaystyle \geq q^{\prime }} für jedes q^\prime mit {\displaystyle 1<q^{\prime }\leq q}.

Man sagt, die Folge \left(s_{n}\right) hat die exakte Q-Ordnung q, wenn es positive a,b mit

{\displaystyle a|s_{k}-s|^{q}\leq |s_{k+1}-s|\leq b|s_{k}-s|^{q},\;k=0,1,\dotsc }

gibt. Die exakte Q-Ordnung q ist eindeutig, wenn sie existiert:

{\displaystyle q=\lim _{k\to \infty }{\frac {\log {\left|{\frac {s_{k+1}-s_{k}}{s_{k}-s_{k-1}}}\right|}}{\log {\left|{\frac {s_{k}-s_{k-1}}{s_{k-1}-s_{k-2}}}\right|}}}}

Für q=2 spricht man von quadratischer Konvergenz. Konvergenz der Ordnung {\displaystyle q>1} impliziert superlineare Konvergenz (also Konvergenzrate c=0) und superlineare Konvergenz impliziert lineare Konvergenz.

Konvergenz der Ordnung {\displaystyle q>1} bedeutet, dass in jedem Iterationsschritt die Anzahl der genauen Dezimalstellen (oder die Anzahl der Stellen in einem beliebigen Stellenwertsystem) in etwa ver-q-facht wird, also beispielsweise bei quadratischer Konvergenz verdoppelt.

Konvergenzbeschleunigung beschränkt sich meist auf Potenzreihen, die linear konvergieren. Dabei wird i.d.R. nur die Konvergenzrate c (und nicht die Q-Ordnung q) verbessert, was trotzdem eine wesentliche Verringerung des Gesamtaufwands (bei ggf. größerem Aufwand pro Iteration) bedeuten kann. Verfahren der Ordnungen > 1 gibt es nicht zu jeder Problemklasse. Bei Iterationsverfahren müssen auch Stabilitätseigenschaften beobachtet werden.

Beispiele

{\displaystyle \arctan 1=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{2k+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-\dotsb ={\frac {\pi }{4}}}
konvergiert logarithmisch.
{\displaystyle \zeta (2)=\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\dotsb ={\frac {\pi ^{2}}{6}}}
konvergiert unterlinear.
{\displaystyle 4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}={\frac {4}{5^{1}}}-{\frac {1}{239^{1}}}-{\frac {4}{3\cdot 5^{3}}}+{\frac {1}{3\cdot 239^{3}}}+{\frac {4}{5\cdot 5^{5}}}-{\frac {1}{5\cdot 239^{5}}}-\dotsb ={\frac {\pi }{4}}}
konvergiert linear mit der Konvergenzrate {\displaystyle c=1/25}.
{\displaystyle \sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\dotsb =\exp(x)}
hat Q-Konvergenzordnung \geq 1 für alle {\displaystyle x\in \mathbb {C} }.
{\displaystyle s_{k}={\frac {1}{2^{2^{k}}}}}, also {\displaystyle s_{0}={\frac {1}{2}},\,s_{1}={\frac {1}{4}},\,s_{2}={\frac {1}{16}},\,s_{3}={\frac {1}{256}},\,s_{4}={\frac {1}{65536}},\,\dotsc },
konvergiert quadratisch.

Vergleichende Konvergenzgeschwindigkeit

Um die Konvergenzgeschwindigkeit zu beschreiben, mit der eine Folge (s_{n}) gegen den Grenzwert s konvergiert, vergleicht man die Konvergenzgeschwindigkeit der Nullfolge {\displaystyle (a_{n}):=(s-s_{n})} mit anderen Nullfolgen, deren Konvergenzgeschwindigkeit man kennt, wie z.B. (n^{{-a}}), (n^{{-a}}\log n) für a>0, (q^{n}) für 0<q<1 oder \left(e^{{-2^{n}}}\right).

Definition

Man sagt, eine Nullfolge (a_{n}) konvergiert mindestens so schnell wie eine Nullfolge (b_{n}), wenn gilt \sup |a_{n}/b_{n}|<\infty .

Eine Folge (a_{n}) heißt schnell fallend, wenn sie schneller als jede polynomische Folge {\displaystyle (n^{-m})} mit natürlichem m fällt, also {\displaystyle \sup |a_{n}|n^{m}<\infty } für jedes m (ein Beispiel ist etwa die Folge \left(e^{{-n}}\right).)

Von besonderem Interesse ist daher die Beschreibung der Konvergenzordnung numerischer Verfahren in normierten Räumen, wo also die Folgenglieder die Gestalt {\displaystyle \|s-s_{n}\|} haben.

Im Sinne dieser Definition nennt man ein Iterationsverfahren linear konvergent, wenn es so schnell wie die Folge {\displaystyle \left(e^{-cn}\right)} für ein c>0 konvergiert. Man nennt es quadratisch konvergent, wenn es so schnell wie die Folge {\displaystyle \left(e^{-c2^{n}}\right)} konvergiert. Ebenso lassen sich auch höhere Konvergenzordnungen (kubisch, superlinear) definieren.

Beliebig langsame Konvergenz

Viele wichtige numerische Verfahren sind beliebig langsam konvergent. Sei beispielsweise X ein Banachraum, (X_{n}) eine Folge von n-dimensionalen Teilräumen und {\mathbf  V} ein Verfahren, das zu jeder Lösung einer Gleichung f(x)=y eine angenäherte Lösung x_{n} in X_{n} liefert. Das Verfahren {\mathbf  V} heißt dann beliebig langsam konvergent, wenn es zu jeder positiven Nullfolge (a_{n}) ein y gibt, sodass die Nullfolge (x-x_{n}) mit f(x)=y und den zugehörigen angenäherten Lösungen x_{n} langsamer als die Folge (a_{n}) konvergiert.

Setzt man z.B. bei der numerischen Integration nur die Stetigkeit der zu integrierenden Funktion voraus, nicht aber eine gewisse Differenzierbarkeitsordnung, so ist das Verfahren der numerischen Integration beliebig langsam konvergent, z.B., zu jeder beliebig langsam gegen 0 konvergierenden monotonen Folge positiver Zahlen gibt es eine stetige Funktion f, sodass die Folge der Quadraturwerte langsamer gegen das Integral konvergiert als die gegebene Nullfolge. Andere Beispiele findet man bei der Interpolation oder der Lösung inkorrekt gestellter Probleme.

Umgekehrte Resultate

In etlichen Disziplinen der Analysis lassen sich aus der Konvergenzgeschwindigkeit Erkenntnisse über die Struktur des zu untersuchenden Problems gewinnen. Als Beispiel seien die Bernsteinsätze aus der Approximationstheorie erwähnt: Ist eine stetige Funktion durch Polynome vom Grad n mit der Konvergenzgeschwindigkeit {\displaystyle {\mathcal {O}}\left(n^{-k-a}\right)} für ein a>0 approximierbar, so ist sie k-fach differenzierbar.

Siehe auch

Literatur

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 12.02. 2023