Stabilitätsgebiet

In der Numerik gewöhnlicher Differentialgleichungen ist das Stabilitätsgebiet eines Verfahrens zur Lösung eines Anfangswertproblems definiert als die Menge der komplexen Zahlen $z=\lambda h$ mit $\lambda \in ℂ$ und $Re(\lambda )<0$, für die das numerische Verfahren bei der Lösung der dahlquistschen Testgleichung

$y^{\prime }=\lambda y,Re(\lambda )<0,$

$y(t_0)=y_0$

bei fester Schrittweite $h$ eine monoton fallende Folge von Näherungen liefert. Dies impliziert, dass das numerische Verfahren für diese Gleichung und diese Schrittweite stabil ist.

Mit Hilfe der Stabilitätsfunktion eines Verfahrens

$S:ℂ⟶ℂ$ mit $y_N=S(\lambda h{)}^N{y}_0$

ist das Stabilitätsgebiet daher gegeben durch:

$\{z\in ℂ||S(z)|<1\}$

Besonders interessant ist der Fall, wenn das Stabilitätsgebiet die komplette linke Halbebene enthält, dann heißt das Verfahren A-stabil.

Beispiele

Für das explizite Euler-Verfahren: $y_{n+1}=y_n+hf(t_n,y_n)$, mit Stabilitätsfunktion: $S(z)=z+1$, liegt $z\in ℂ$ im Stabilitätsgebiet falls

$|z+1|<1\iff |z+1{|}^2<1\iff z\in \{\xi =(x+iy)\in ℂ|(x+1{)}^2+y^2<1\}$

womit das Stabilitätsgebiet allen Punkten im Inneren eines Kreises mit Mittelpunkt $-1$ und Radius $1$ in der komplexen Zahlenebene entspricht. Dieses Stabilitätsgebiet ist (wie auch jenes anderer expliziter Verfahren) beschränkt. Daher wird man, auch wenn dies die Genauigkeit gar nicht verlangen würde, zu einer Einschränkung der Schrittweite $h$ gezwungen. Dies hat zur Folge, dass implizite Verfahren beim Lösen steifer Differentialgleichungen bevorzugt werden.

Literatur

• E. Hairer, G. Wanner: Solving Ordinary Differential Equations II, Stiff problems, Springer Verlag