Kurs:Gewöhnliche Differentialgleichungen/Einführung in die Einschrittverfahren

Wir widmen uns nun den numerischen Verfahren für die Lösung der Anfangswertaufgaben (1.6) oder der Systeme (1.7). Allgemein basieren die numerischen Lösungsmethoden auf der Diskretisierung (Zerlegung) des Definitionsbereichs der gesuchten Funktion in disjunkte Teilmengen. Gesucht werden diskrete Funktionswerte der gesuchten Funktion, zum Beispiel in den Knoten dieser Zerlegung, also in diskreten Gitterpunkten.

Im Fall einer gewöhnlichen Differentialgleichung wird das Zeitintervall ${\textstyle (t_{0},T)}$ durch die Gitterpunkte ${\textstyle t_{i},\ i=1,\ldots N_{h},\,N_{h}\in \mathbb {N} }$ auf ${\textstyle N_{h}}$ Teilintervalle der Länge ${\textstyle h_{i}:=t_{i+1}-t_{i}}$, ${\textstyle 0<h_{i}<T-t_{0}}$ geteilt. Die Analyse der numerischen Verfahren wird deutlich vereinfacht, wenn man die Länge der Teilintervalle als konstant betrachtet, ${\textstyle h:=t_{i+1}-t_{i}}$ bezeichnet dann die äquidistante Schrittlänge. Die Menge aller Knoten bildet das Gitter ${\textstyle \mathrm {G_{h}} }$, mit $$G_{h}:=\{t_{i}=t_{0}+ih,\ i=1,\ldots N_{h}\}.\qquad (3.1)$$

Ist ${\textstyle y(t)}$ die Funktion der exakten Lösung, dann wird die durch die numerische Methode erhaltene Lösung in den Gitterpunkten ${\textstyle t_{i},i=1,\ldots N_{h}-1}$ eine gewisse Annäherung der exakten Funktion an diesen Stellen sein. In Folgenden wird die numerische Lösung im Gitterpunt ${\textstyle t_{i}}$ als ${\textstyle \eta _{i}}$ bezeichnet, $$\eta _{i}\approx y(t_{i}).$$

Im Kapitel 1 haben wir anhand des Beispiels der Uhrkette (Tractrix) den expliziten, siehe (1.2), und den impliziten (1.4) Lösungszugang erklärt. Dabei wurde die Position der Uhr in dem neuen Zeitschritt ${\textstyle t_{i+1}}$ entweder durch Projezieren in das gegenwärtige, durch die Uhrkette erzeugte Dreieck mithilfe von gegenwärtigen Werten ${\textstyle \eta _{i}\approx y(t_{i})}$ bestimmt (explizit), oder die Position der Uhr wurde in die Zukunft projeziert, was zur impliziten Verfahrensvorschrift (1.4) führte. Diese zwei folgenden Lösungsansätze entsprechen den einfachsten numerischen Verfahren für die Differentialgleichung (1.3) für die Uhrkette:

• Explizites Eulerverfahren
  

Für ${\textstyle t=t_{i+1}}$ ersetze die Ableitung auf der linken Seite mit dem Rückwärtsdifferenzenquotient, ${\textstyle y'(t_{i+1})\approx {\frac {y(t_{i+1})-y(t_{i})}{h}}}$, und werte die rechte Seite im alten Zeitpunkt ${\textstyle t_{i}}$ aus. Die ursprüngliche Gleichung ${\textstyle y'(t)=f(t,y(t))}$ wird dann für ${\textstyle t=t_{i+1}}$ durch $${\frac {y(t_{i+1})-y(t_{i})}{h}}=f(t_{i},y(t_{i}))$$ ersetzt. Diese Gleichung wird aber im Allgemeinen von der exakten Lösung nicht exakt erfüllt. Man sucht nun nach der numerischen Lösung ${\textstyle \eta _{i}}$, die die obige approximative Gleichung exakt erfüllt: $${\frac {\eta _{i+1}-\eta _{i}}{h}}=f(t_{i},\eta _{i})\ \Leftrightarrow \ \eta _{i+1}=\eta _{i}+hf(t_{i},\eta _{i}),\ \ i=0,\ldots N_{h}-1.\qquad (3.2)$$

• Implizites Eulerverfahren
  

Für ${\textstyle t=t_{i+1}}$ ersetze die Ableitung auf der linken Seite mit dem Rückwärtsdifferenzenquotient, ${\textstyle y'(t_{i+1})\approx {\frac {y(t_{i+1})-y(t_{i})}{h}}}$, und werte die rechte Seite in dem neuen Zeitpunkt ${\textstyle t_{i+1}}$ aus. Man erhält $${\frac {y(t_{i+1})-y(t_{i})}{h}}=f(t_{i+1},y(t_{i+1})).$$ Wie oben wird die numerische Lösung ${\textstyle \eta _{i}}$ gesucht, die die obige approximative Gleichung exakt erfüllt: $${\frac {\eta _{i+1}-\eta _{i}}{h}}=f(t_{i+1},\eta _{i+1})\ \Leftrightarrow \ \eta _{i+1}=\eta _{i}+hf(t_{i+1},\eta _{i+1}),\ i=1,\ldots N_{h}-1\qquad (3.3)$$

Die beschriebenen Gleichungen für das (explixite/implizite) Eulerverfahren (3.2), (3.3) sind durch die Funktion der exakten Lösung ${\textstyle y(t)}$ nicht exakt erfüllt, da ein Diskretisierungsfehler durch den Abbruch der Taylor-Entwicklung der Ableitung ${\textstyle y'}$ entsteht. Durch sukzessives Lösen dieser Gleichungen nach ${\textstyle \eta _{i+1}}$ erhält man lediglich die numerische Lösung in den Gitterpunkten, ${\textstyle \eta _{i},\ i=1,\ldots N_{h}}$.

Das Eulerverfahren, aber auch weitere numerische Verfahren kann man mithilfe der Volterra’schen Integralgleichung (2.1) und der numerischen Quadratur erhalten. Ersetzt man das Integral ${\textstyle \int _{t_{i}}^{t_{i+1}}f(s,y(s))ds}$ mit der Rechteckregel, siehe Abbildungen 3.1, 3.2, erhält man entweder das explizite oder das implizite Eulerverfahren. Mithilfe der Mittelpunktregel für das Integral, siehe Abbildung 3.3, erhält man das sogenannte verbesserte Eulerverfahren (auch explizite Mittelpunktregel genannt), $$\eta _{i+1}=\eta _{i}+hf(t_{i+{\frac {1}{2}}},\eta _{i+{\frac {1}{2}}}),\ {\mbox{wobei}}\ \eta _{i+{\frac {1}{2}}}:=\eta _{i}+{\frac {h}{2}}f(t_{i},\eta _{i}).\qquad (3.4)$$

In diesem Verfahren wird der Wert der Funktion ${\textstyle f}$ in der Mitte zwischen ${\textstyle t_{i},\,t_{i+1}}$ (also in ${\textstyle t_{i+{\frac {1}{2}}}:={\frac {t_{i}+t_{i+1}}{2}}}$ und in ${\textstyle \eta _{i+{\frac {1}{2}}}\approx y(t_{i+{\frac {1}{2}}})}$) verwendet. Hier wird zur Approximation des Wertes im Mittelpunkt, ${\textstyle y(t_{i+{\frac {1}{2}}})}$, ein Schritt des expliziten Eulerverfahrens mit der halben Schrittlänge ${\textstyle {\frac {h}{2}}}$ benutzt.

Durch die Trapezregel für die numerische Integration, siehe Abbildung 3.4, erhält man folgendes Verfahren, welches auch implizite Trapezregel heißt: $$\eta _{i+1}=\eta _{i}+{\frac {h}{2}}{\Big (}f(t_{i},\eta _{i})+f(t_{i+1},\eta _{i+1}){\Big )}.\qquad (3.5)$$

In der expliziten Variante dieses Verfahrens würde man ${\textstyle f(t_{i+1},\eta _{i+1})}$ mithilfe eines Schrittes des Eulerverfahrens mit ${\textstyle f(t_{i+1},\eta _{i}+hf(t_{i},\eta _{i}))}$ ersetzen.
Mithilfe der Mittelpunktsregel, erhält man folgendes Verfahren, welches auch
implizite Mittelpunktregel heißt: $$\eta _{i+1}=\eta _{i}+{h}f{\Big (}t_{i+1/2},{\frac {\eta _{i}+\eta _{i+1}}{2}}{\Big )}.\qquad (3.6)$$

In der expliziten Variante würde man ${\textstyle {\frac {\eta _{i}+\eta _{i+1}}{2}}}$ durch einen halben Schritt des expliziten Eulerverfahrens mit ${\textstyle \eta _{i}+{\frac {h}{2}}f(t_{i},\eta _{i})}$ ersetzen, siehe (3.6).

Abbildung 3.1: Explizite Rechteckregel zur Approximation des Integrals ${\textstyle I[f(x)]=\int _{a}^{b}f(x)dx}$ mit einem Quadraturknoten ${\textstyle x_{0}=a}$.

Abbildung 3.2: Implizite Rechteckregel zur Approximation des Integrals ${\textstyle I[f(x)]=\int _{a}^{b}f(x)dx}$ mit einem Quadraturknoten ${\textstyle x_{0}=b}$.

Die eben beschriebenen numerischen Lösungsansätze benötigen für die Berechnung des Funktionswertes im neuen Gitterpunkt ${\textstyle t_{i+1}}$ nur den vorherigen Wert aus ${\textstyle t_{i}}$. Solche Verfahren nennen wir Einschrittverfahren (ESV). Die Mehrschrittverfahren (MSV) dagegen nutzen auch die Information von mehreren vorherigen Schritten ${\textstyle t_{i},t_{i-1},\ldots ,t_{i-k+1}}$, wobei ${\textstyle k}$ hier fest ist (k-Schrittverfahren).

Abbildungen Einschrittverfahren und Dreischrittverfahren.

In diesem Kapitel werden wir numerische Lösungsformeln für die Einschrittverfahren und deren Diskretisierungsfehler untersuchen. Dabei werden nur die numerischen Verfahren in Frage kommen, die die exakte Lösung ausreichend gut annähern.

Abbildung 3.3: Mittelpunktregel zur Approximation des Integrals ${\textstyle I[f(x)]=\int _{a}^{b}f(x)dx}$ mit einem Knoten ${\textstyle x_{0}={\frac {a+b}{2}}}$.

---

Definition 3.1 (Explizites Einschnittsverfahren (ESV))

Gegeben sei die äquidistante Schrittlänge ${\textstyle 0<h\leq T-t_{0}}$, das Gitter ${\textstyle G_{h}}$, siehe (3.1). Das explizite Einschrittverfahren ist beschrieben durch folgende iterative Vorschrift, $$\eta _{i+1}=\eta _{i}+h\Phi (t_{i},\eta _{i};h;f),\quad i=0,\ldots ,N_{h}-1,$$ Gleichung (3.7)

wobei ${\textstyle \Phi (\cdot ,\cdot ;h;f):\{G_{h}-t_{N_{h}}\}\times \mathbb {R} ^{m}\to \mathbb {R} ^{m}}$ die Verfahrensfunktion heißt.

---

Beispiel 3.1

Die Verfahrensfunktion für das explizite Eulerverfahren ist $$\Phi (t,y;h;f)=f(t,y),$$ und für das verbesserte (modifizierte) Eulerverfahren (3.4) $$\Phi (t,y;h;f)=f(t+{\frac {h}{2}},y+{\frac {h}{2}}f(t,y)).$$ ${\textstyle \quad \diamond }$

Abbildung 3.4: Trapezregel zur Approximation des Integrals ${\textstyle I[f(x)]=\int _{a}^{b}f(x)dx}$ mit zwei Knoten ${\textstyle x_{0}=a,x_{1}=b.}$

Beispiel 3.2

Wir lösen die einfache Anfangswertaufgabe ${\textstyle y'=y,\,y(0)=1}$ mit explizitem Eulerverfahren mit konstanter Schrittweite ${\textstyle h={\frac {T}{N_{h}}}}$.
Die numerische Lösung ist: $${\begin{aligned}\eta _{0}&=&1,\\\eta _{1}&=&1+hf(t_{0},\eta _{0})=1+h\eta _{0}\\&=&1+h,\\\eta _{2}&=&\eta _{1}+hf(t_{1},\eta _{1})=1+h+h\eta _{1}\\&=&1+h+h(1+h)=(1+h)^{2},\\\eta _{3}&=&\eta _{2}+hf(t_{2},\eta _{2})\\&=&(1+h)^{2}+h\eta _{2}=(1+h)^{3},\\&\ldots &\end{aligned}}$$

Mit mathematischer Induktion kann man zeigen, dass ${\textstyle \eta _{i}=(1+h)^{i},\ i=1,\ldots N_{h}}$. Daraus folgt, dass ${\textstyle \eta _{N_{h}}=(1+{\frac {T}{N_{h}}})^{N_{h}}}$ gegen ${\textstyle e^{T}}$ für ${\textstyle N_{h}\to \infty }$ konvergiert. Dies entspricht der exakten Lösung ${\textstyle y(T)}$. Also konvergiert die numerische Lösung in einem bestimmten Zeitpunkt ${\textstyle t=T}$ gegen die exakte Lösung in diesem Zeitpunkt für Schrittweite ${\textstyle h}$ gegen Null. ${\textstyle \quad \diamond }$