# Richardson-Verfahren

Das Richardson-Verfahren ist in der numerischen Mathematik ein iterativer Algorithmus zur näherungsweisen Lösung von linearen Gleichungssystemen. Es wurde 1910 vom britischen Meteorologen Lewis Fry Richardson entwickelt und zählt wie das Gauß-Seidel-Verfahren zur Klasse der Splitting-Verfahren.

## Richardson-Verfahren

Zur Lösung des linearen Gleichungssystems $Ax=b$ wird der Teil des Systems, der durch Abspaltung der Einheitsmatrix $I$ von der Systemmatrix $A$ entsteht (Splitting-Verfahren mit $B=I$) auf der linken Seite belassen, alles andere auf die rechte Seite verschoben, so dass eine Fixpunktgleichung
    $x=\Phi (x)$ mit $\Phi (x)=b-(A-I)x$
entsteht, deren Lösung auf die Iteration
    $x_{k+1}=(I-A)x_{k}+b$
führt. Dieses Verfahren konvergiert wie jede Fixpunktiteration dieser Art, falls der Spektralradius der Iterationsmatrix $G:=I-A$ echt kleiner eins ist.

## Relaxiertes Richardsonverfahren

Die Iterationsformel des relaxierten Richardson-Verfahrens lautet
    $x_{k+1}=\left(I-\omega A\right)x_{k}+\omega b$.
Dabei wird in jedem Schritt das Residuum mit einem Faktor $\omega$ gewichtet. Falls $A$ eine symmetrisch positiv definite Matrix ist, so gilt für den optimalen Relaxionsparameter
    $\omega _{\mathrm {opt} }={\frac {2}{\lambda _{\mathrm {max} }(A)+\lambda _{\mathrm {min} }(A)}}$.
Dabei bezeichnen $\lambda _{\mathrm {max} }(A)$ und $\lambda _{\mathrm {min} }(A)$ den maximalen und minimalen Eigenwert von $A$. Für den Spektralradius der Iterationsmatrix $G_{\omega _{\mathrm {opt} }}$ gilt
    $\rho (G_{\omega _{\mathrm {opt} }})={\frac {\kappa _{2}(A)-1}{\kappa _{2}(A)+1}}<1$,
wobei $\kappa _{2}(A)$ die spektrale Kondition der Matrix $A$ bezeichnet. Das relaxierte Richardson-Verfahren konvergiert dann genauso „schnell“ wie das Gradientenverfahren bei symmetrischen Matrizen, wofür man jedoch keinen Relaxionsparameter berechnen muss. Dafür kann man mit dem Richardsonverfahren auch bei unsymmetrischen Matrizen mit komplexen Eigenwerten noch Konvergenz erzwingen, solange deren Realteile alle positiv sind.
Das Verfahren ist als Glätter in Mehrgitterverfahren geeignet.

## Zyklisches Richardsonverfahren

Die Konvergenz lässt sich erheblich verbessern, wenn man mehrere Schritte der Iteration mit unterschiedlichen Parametern $\omega _{k}$ betrachtet. Man führt dazu jeweils $m$ Schritte
    $x_{k}=x_{k-1}+\omega _{k}(b-Ax_{k-1}),\quad k=1,\ldots ,m$
zyklisch durch. Das Verfahren konvergiert, wenn der Spektralradius des Matrixpolynoms
    $p_{m}(A)=(I-\omega _{1}A)(I-\omega _{2}A)\cdots (I-\omega _{m}A)$
kleiner als eins ist, und umso besser je kleiner er ist. Für eine Matrix $A$ mit reellen und positiven Eigenwerten kann der Spektralradius durch das Maximum des reellen Polynoms $p_{m}(t)=(1-\omega _{1}t)(1-\omega _{2}t)\cdots (1-\omega _{m}t)$ im Intervall $[\lambda _{\mathrm {min} },\lambda _{\mathrm {max} }]$ abgeschätzt werden. Besonders klein wird dieses Maximum, wenn man die Relaxationsparameter so wählt, dass ihre Kehrwerte gerade die Nullstellen des geeignet verschobenen Tschebyschow-Polynoms sind,
    ${\frac {2}{\omega _{k}}}=\lambda _{\mathrm {min} }+\lambda _{\mathrm {max} }+\left(\lambda _{\mathrm {max} }-\lambda _{\mathrm {min} }\right)\cos \left({\frac {2k-1}{2m}}\pi \right),\ k=1,\ldots ,m.$
Dann verbessert sich die Konvergenzaussage für symmetrische Matrizen und einen Zyklus der Länge $m$ zu
    $\rho (p_{m}(A))\leq 2\left({\frac {{\sqrt {\kappa _{2}(A)}}-1}{{\sqrt {\kappa _{2}(A)}}+1}}\right)^{m}.$
Für realistische Probleme mit $\kappa _{2}(A)\gg 1$ stellt dies eine große Verbesserung gegenüber dem einfachen relaxierten Verfahren dar, da nur noch die Wurzel der Konditionszahl eingeht.
Für symmetrisch-definite Matrizen bietet dieses Verfahren kaum Vorteile gegenüber dem Verfahren der konjugierten Gradienten, da es die Schätzung der Eigenwerte $\lambda _{\mathrm {min} },\lambda _{\mathrm {max} }$ erfordert. Im unsymmetrischen Fall können aber die Parameter auch für komplexe Eigenwerte gut angepasst werden, vgl. Literatur. In den meisten Fällen ist aber die Tschebyschow-Iteration vorzuziehen, da sie die gleiche Fehlerschranke für jeden Iterationsschritt und nicht nur für Vielfache der Zykluslänge $k=m,2m,3m,\ldots$ erreicht.