Kurs:Gewöhnliche Differentialgleichungen/4.1 Ordnungsbedingungen für Runge-Kutta Verfahren

Ordnungsbedingungen für Runge-Kutta Verfahren

Bislang haben wir für explizite Runge-Kutta Verfahren immer vorausgesetzt, dass ${\textstyle c_{1}=0}$. Diese Bedingung ist nicht willkürlich gewählt, sondern folgt aus einer bestimmten Forderung an die Zwischenstufen ${\textstyle k_{j}}$. Wie wir in folgendem Absatz sehen werden, sichert eine solche Forderung die Exaktheit der RKV für lineare Funktionen ${\textstyle y(t)}$. Das bedeutet, dass die numerische Lösung des RKV von ${\textstyle y'=konst}$, die an den Gitterpunkten vorliegt, mit keinem Diskretisierungsfehler behaftet ist. Somit ist sie exakt gleich der analytischen Lösung.

Im Hinblick auf die Konsistenzordnung stellen wir weitere (nichtlineare) Gleichungssysteme für die Runge-Kutta Koeffizienten auf (vergleiche (4.4)), sog. Ordnungsbedingungen. Die Ordnungsbedingungen werden auch in Matrixform anhand der Matrix ${\textstyle A}$ und der Vektoren ${\textstyle {\vec {b}},{\vec {c}}}$ im Allgemeinen und ohne Unterscheidung zwischen expliziten und impliziten RKV formuliert.

Zu diesem Zweck untersuchen wir eine einfache AWA $${\begin{aligned}y'(t)=1\\y(t_{0})=y_{0}\end{aligned}}\qquad (4.5)$$

mit der analytischen Lösung als lineare Funktion ${\textstyle y(t)=t+y_{0}-t_{0}}$.

Wir stellen folgende Forderungen an ein RKV:

(A) Ein RKV liefert für lineare Lösungen ${\textstyle y(t)}$ exakte Ergebnisse.

Da in (4.5) für ${\textstyle k_{i}=f(t+c_{j}h,y+\ldots )=1}$ gilt, bedeuet es im Falle einer Differentialgleichung (${\textstyle m=1}$) nach dem Einsetzen der linearen Funktion ${\textstyle y(t)}$: $${\begin{aligned}0&{\stackrel {!}{=}}|\varepsilon (t,h)|=|h\tau (t,h)|=|y(t+h)-y(t)-h\phi (t,y,h,f)|\\&={\Big |}t+h-y_{0}-t_{0}-(t-y_{0}-t_{0})-h\sum _{j=1}^{s}b_{j}k_{j}{\Big |}={\Big |}h-h\sum _{j=1}^{s}b_{j}1{\Big |}=h{\Big |}1-\sum _{j=1}^{s}b_{j}{\Big |}.\end{aligned}}$$

Damit folgt aus der Bedingung (A) für lineare Lösungen die erste Bedingung an die Runge-Kutta Koeffizienten: $$\sum _{j=1}^{s}b_{j}=1.\qquad (4.6)$$

Hier weisen wir darauf hin, dass diese Bedingung im Falle einer allgemeinen Anfangswertaufgabe aus der Konsistenzforderung abgeleitet wurde, was in Beispiel 4.2 anhand der Taylorentwicklung demonstriert wurde. Daher gilt für RKV, dass die Konsisenzbedinung äquivalent zur Exakheit für lineare Funktionen ist.

(B) Forderung an die Zwischenstufen ${\textstyle k_{j}}$ der RKV:

Wie am Anfang dieses Kapiels erwähnt, approximieren die ${\textstyle k_{j}}$ die Ableitungen der gesuchten Funktion an den Stützstellen, ${\textstyle k_{j}\approx y'(t_{i}+hc_{j}).}$ Nun wird für lineare Funktionen gefordert, dass sie nicht nur die Ableitungen von ${\textstyle y}$ an den Zwischenstufen ${\textstyle t+c_{j}h}$ approximieren, sondern mit ihnen Übereinstimmen, also dass $$k_{j}=f{\Big (}t+c_{j}h,y(t)+h\sum _{m=1}^{s}a_{jm}k_{m}{\Big )}{\stackrel {!}{=}}y'(t+c_{j}h)$$

gilt. Wegen ${\textstyle y'=f(t,y)}$ erhalten wir aus dieser Bedingung $$f{\Big (}t+c_{j}h,y(t)+h\sum _{m=1}^{s}a_{jm}k_{m}{\Big )}{\stackrel {!}{=}}f(t+c_{j}h,y(t+c_{j}h)),$$

und nach Vergleich der (zweiten) Argumente der Funktion ${\textstyle f}$ folgt schließlich für die lineare Lösung ${\textstyle y(t)=t+y_{0}-t_{0}}$ $$y(t)+h\sum _{m=1}^{s}a_{jm}k_{m}{\stackrel {!}{=}}y(t+c_{j}h)=t+c_{j}h+y_{0}-t_{0}.$$

Nachdem die lineare Funktion auf der linken Seite eingesetzt wurde, und mit Hilfe von ${\textstyle k_{m}=1}$ (1.6), erhalten wird die zweite Bedingung, die an die Runge-Kutta Koeffizienten gestellt wird: $$\sum _{m=1}^{s}a_{jm}k_{m}=c_{j}.\qquad (4.7)$$

Diese Bedingung garaniert, dass auch die Ableitungen der gesuchten linearen Funktion an den Zwischenstellen exakt berechnet werden.

Bemerkung 4.3

Im Beispiel 4.2 haben wir gesehen, dass für ein zweistufiges explizites RKV diese Bedingung (${\textstyle a_{21}=c_{2}}$) automatisch erfüllt ist, um die zweite Konsistenzordnung zu ermöglichen. Daher wird (4.7) als eine sinnvolle Bedingung für die Runge-Kutta Koeffizienten betrachtet, und im Folgenden vorausgesetzt. Damit gilt für alle von uns untersuchten RKV, dass diese exakte Ergebnisse für lineare Funktionen liefern. Die Bedingung (4.7) bedeutet, dass die Summe der ${\textstyle j}$-ten Zeile der Matrix ${\textstyle A}$ des Butcher-Tableaus den ${\textstyle j}$-ten Eintrag des Vektors ${\textstyle {\vec {c}}}$ ergibt. Bei expliziten RKV folgt aus dieser Bedingung, dass ${\textstyle c_{1}=0}$ ist, da die erste Zeile der Matrix ${\textstyle A}$ eine Null-Zeile ist.

Die Bedingungen (4.6), (4.7), die aus den Forderungen (A), (B) resultieren, sind Bedingungen für ein konsistentes RKV erster Ordnung. Bezeichnet man ${\textstyle {\mathbf {1} }=(1,\ldots ,1)^{T}}$, können die Ordnungsbedingungen für RKV höherer Ordnung in folgender Matrix-Vektor-Form dargestellt werden: $${\vec {b}}^{\ T}{\mathbf {1} }=1,\qquad A{\mathbf {1} }={\vec {c}}.$$

Dazu muss die Anfangswertaufgabe (1.6) in ihre autonome Form von ${\textstyle m+1}$ Differentalgleichungen umgestellt werden,

$${\begin{aligned}Y:={\begin{pmatrix}t\\y(t)\end{pmatrix}}'={\begin{pmatrix}1\\f(t,y(t))\end{pmatrix}}=:f(Y),\quad {\mbox{mit der Anfangsbedingung}}\quad Y_{0}:={\begin{pmatrix}t_{0}\\y_{0}\end{pmatrix}}.\end{aligned}}$$

und eine mehrdimensionale Analyse durch die Taylorentwicklung muss durchgeführt werden. In [1] ist dieser Vorgang genauer erläutert.

In folgender Übersicht geben wir die Ordnungsbedingungen bis zur Konsistenszordnung vier an. Die Bedingungen für eine bestimmte Konsistenzordnung ergeben sich aus den Bedingungen für die vorherige Ordnung durch Zugabe (Zeichen ${\textstyle \bigoplus }$) weiterer Bedingungen.

1. Ordnung:	${\textstyle {\vec {b}}^{\ T}{\mathbf {1} }=1,\ A{\mathbf {1} }={\vec {c}}}$
2. Ordnung:	${\textstyle \bigoplus }$ ${\textstyle {\vec {b}}^{\ T}A{\mathbf {1} }={\vec {b}}^{\ T}{\vec {c}}=\sum _{j=1}^{s}b_{j}c_{j}={\frac {1}{2}}}$
3. Ordnung:	${\textstyle {\begin{matrix}\bigoplus {\vec {b}}^{\ T}A^{2}{\mathbf {1} }={\vec {b}}^{\ T}A{\vec {c}}=\sum _{j=1}^{s}b_{j}a_{jk}c_{k}={\frac {1}{6}}\\\mathrm {und} ~{\vec {b}}^{\ T}(A{\mathbf {1} })^{2}={\vec {b}}^{\ T}({\vec {c}}\,)^{2}=\sum _{j=1}^{s}b_{j}c_{j}^{2}={\frac {1}{3}}\\\end{matrix}}}$
4. Ordnung:	${\textstyle {\begin{matrix}\bigoplus {\vec {b}}^{\ T}[(A{\mathbf {1} }\,)(A{^{2}\mathbf {1} }\,)]={\vec {b}}^{\ T}[({\vec {c}}\,)(A{\vec {c}}\,)]={\frac {1}{8}}\\\mathrm {und} ~{\vec {b}}^{\ T}(A{\mathbf {1} }\,)^{3}={\vec {b}}^{\ T}({\vec {c}}\,)^{3}={\frac {1}{4}}\\\mathrm {und} ~{\vec {b}}^{\ T}A(A{\mathbf {1} }\,)^{2}={\vec {b}}^{\ T}A({\vec {c}}\,)^{2}={\frac {1}{12}}\\\mathrm {und} ~{\vec {b}}^{\ T}A^{3}{\mathbf {1} }={\vec {b}}^{\ T}A^{2}{\vec {c}}={\frac {1}{24}}\\\end{matrix}}}$

${\textstyle \qquad (\star )}$

Hier wurde für ${\textstyle r\in {\mathbb {N} }}$ folgende Bezeichnung für die Potenzen oder Produkte von Vektoren verwendet:

${\textstyle ({\vec {v}})^{r}:={\begin{pmatrix}v_{1}^{r}\\\vdots \\v_{s}^{r}\end{pmatrix}}}$ und ${\textstyle ({\vec {v}})({\vec {u}}):={\begin{pmatrix}v_{1}u_{1}\\\vdots \\v_{s}u_{s}\end{pmatrix}}}$

Die Ordnungsbedingungen ${\textstyle (\star )}$ gelten für ein allgemeines RKV mit ${\textstyle s}$ Stufen (implizit oder explizit). Wir beschränken uns im Folgenden auf explizite RKV. In der Herleitung der Koeffizienten eines eRKV dritter Ordnung, benötigt man nach den obigen Ordnungsbedingungen fünf (nichtlinerare) Gleichungen (vergleiche (4.4) ). Bei einem expliziten Verfahren vierter Ordnung erhält man acht Gleichungen. Setzt man als Matrix ${\textstyle A}$ eine untere Dreiecksmatrix und ${\textstyle s=4}$ in die Ordnungbedigungen, ergibt sich folgendes Gleichungssystem für die Koeffizienten eines expliziten RKV mit 4 Stufen $${\begin{aligned}b_{1}+b_{2}+b_{3}+b_{4}&=&1\quad \}\quad {\mbox{Konsistenz, 1. Ordnung}},\\c_{2}b_{2}+c_{3}b_{3}+c_{4}b_{4}&=&{\frac {1}{2}}\quad \}\quad \quad {\mbox{ 2. Ordnung,}}\\&&\left.{\begin{matrix}c_{2}^{2}b_{2}+c_{3}^{2}b_{3}\&=&{1}/{3}\\b_{3}c_{2}a_{32}+b_{4}c_{2}a_{42}+b_{4}c_{3}a_{43}&=&{1}/{6}\end{matrix}}\quad \right\}\quad \quad {\mbox{ 3. Ordnung,}}\\&&\left.{\begin{matrix}c_{2}^{3}b_{2}+c_{3}^{3}b_{3}+c_{4}^{3}b_{4}\&=&{1}/{4}\\b_{3}c_{3}c_{2}a_{32}+b_{4}c_{4}c_{2}a_{42}+b_{4}c_{4}c_{3}a_{43}&=&{1}/{8}\\b_{3}c_{2}^{2}a_{32}+b_{4}c_{2}^{2}a_{42}+b_{4}c_{3}^{2}a_{43}\&=&{1}/{12}\\b_{4}c_{2}a_{32}a_{43}\ &=&{1}/{24}\end{matrix}}\quad \right\}\quad \quad {\mbox{ 4. Ordnung.}}\end{aligned}}$$

Die Anzahl der Gleichungen in ${\textstyle (\star )}$ steigt unproportional und nichtlinear mit der Konsistenzordnung. Auch gilt es, dass es nicht möglich ist eine beliebiege Konsistenzordnung mit gegebener Stufenzahl ${\textstyle s}$ zu erreichen, die Stufenanzahl steigt auch unproportional mit der Konsistenzordnung. Tabelle 1 stellt eine Übersicht der Anzahl der Konsistenzordnungen und der Stufenzahl der eRK-Verfahren dar.

Ordnungsbedingungen und Stufenzahl bei expliziten Runge-Kutta Verfahren

Ordnung ${\textstyle p}$	1	2	3	4	5	6	7	8	9	10
Stufen ${\textstyle s}$	1	2	3	4	6	7	9	11	${\textstyle \geq 13}$	${\textstyle \geq 15}$
${\textstyle \#}$ Ord-Bed.	1	2	4	8	17	37	85	200	486	1205

Es gilt folgender Satz über die Anzahl von Stufen und die Konsistenzordnung bei eRKV:

(Butcher Bariere)
Für die Konsistenzordnung ${\textstyle p\geq 5}$ existiert kein explizites RKV mit ${\textstyle s=p}$ Stufen.
Für die Konsistenzordnung ${\textstyle p\geq 7}$ existiert kein explizites RKV mit ${\textstyle s=p+1}$ Stufen.
Für die Konsistenzordnung ${\textstyle p\geq 8}$ existiert kein explizites RKV mit ${\textstyle s=p+2}$ Stufen.

Beweis. Ohne Beweis ◻

Das Verhältnis der zu erreichenden Konsistenzordnung ${\textstyle p}$ zu der Stufenanzahl ${\textstyle s}$ ist bei den impliziten RKV anders. Generell werden bei iRKV für höhere Ordnungen weniger Stufen benötigt. Allerdings wird die (implizite) Berechnung der Zwischenstufen ${\textstyle k_{j}}$ deutlich komplizierter, da hier in jedem Schritt ${\textstyle t_{i}}$, ${\textstyle s}$ (eventuell nichtlineare) Gleichungen (4.1) gelöst werden müssen. Die Herleitung der Koeffizienten eines iRKV kann durch die Ordnungsbedingungen ${\textstyle (\star )}$ erfolgen, jedoch existieren auch andere (ggf. einfachere) Ansätze, um ein möglichst genaues oder stabiles iRKV mit gegebener Stufenzahl zu erreichen. Diese werden im folgenden Abschnitten erläutet.