2.1 Iteration von Picard-Lindelöf

Die Existenz einer Lösung von (1.6) wird anhand der sogenannten Volterra’schen Integralgleichung studiert. Diese erhält man, indem die Anfangswertaufgabe (1.6) bezüglich ${\textstyle t}$ integriert wird, $y(t)=y(t_{0})+\int _{t_{0}}^{t}f(s,y(s))ds.\qquad (2.1)$

Für eine stetige Funktion ${\textstyle f}$ ist die rechte Seite der Volterra’schen Integralgleichung stetig differenzierbar, damit ist auch die Lösung ${\textstyle y(t)}$ stetig differenzierbar, wie vorher vermerkt (falls diese existiert). Im Folgenden werden wir erst mal nur fordern, dass die Lösung ${\textstyle y(t)}$ eine stetige Funktion ist und diese im Raum ${\textstyle C[a,b]}$ (Raum aller stetigen Funktionen vom Intervall ${\textstyle [a,b]}$ nach ${\textstyle }$ ) suchen. Durch die stetige Differenzierbarkeit der rechten Seite von (2.1) gilt dann zusätzlich, dass ${\textstyle y\in C^{1}[a,b]}$ ( ${\textstyle y}$ ist stetig differenzierbar).

Da die Gleichung (2.1) möglicherweise nichtlinear in ${\textstyle y}$ ist (das hängt von der Funktion ${\textstyle f}$ ab), sucht man die Lösung ${\textstyle y}$ iterativ mithilfe folgender Iteration: ${\begin{aligned}y^{n+1}(t)&=&y(t_{0})+\int _{t_{0}}^{t}f(s,y^{n}(s))ds,\ n=0,1,2,\ldots ,\end{aligned}}$ ${\begin{aligned}y^{0}(t)&=&y(t_{0})=y_{0}\ {\mbox{(beispielsweise).}}\end{aligned}}$ $\qquad (2.2)$

Dieses iterative Vorgehen heißt auch Picard-Lindelöf Iteration. Um die Konvergnez dieses Verfahrens zu untersuchen, schreiben wir (2.2) um, $y^{n+1}(t)=G{\big (}y^{n}(t){\big )},\quad G{\big (}z(t){\big )}:=y(t_{0})+\int _{t_{0}}^{t}f(s,z(s))ds,\ \quad y^{0}(t)=y_{0},$ $\qquad (2.3)$

wobei ${\textstyle G}$ eine Abbildung zwischen stetigen Funktionen auf ${\textstyle [a,b]\to \mathbb {R} ^{m}}$ darstellt, ${\textstyle G:C[a,b]\to C[a,b]}$ . Die Existenz einer Lösung von (2.1) ist equivalent zu der Existenz eines Fixpunktes der Abbildung ${\textstyle G}$ , ${\textstyle z^{\star }=G(z^{\star })}$ . Die Existenz eines Fixpunktes, wie auch die Konvergenz für (2.3), bzw. (2.2) beweisen wir mithilfe des Banach’schen Fixpunktsatzes.

2.1.1 Banach’scher Fixpunktsatz

Um den Banach’schen Fixpunktsatz zu formulieren frischen wir zuerst einigen Grundlagen aus der Funktionalanalysis auf.

Definition 2.1 (Banachraum)

Ein Banachraum ${\textstyle (X,\|\cdot \|)}$ ist ein linearer normierter Vektorraum (mit der Vektornorm ${\textstyle \|\cdot \|}$ ), der vollständig ist^[1].

Definition 2.2 (Vektorraum)

Eine Vektornorm ist eine stetige Abbildung ${\textstyle \|\cdot \|:V\to \mathbb {R} }$ , ( ${\textstyle V\subset \mathbb {R} ^{n}}$ ist ein Vektorraum) mit den Eigenschaften

${\textstyle \|x\|>0\ \forall x\in V\setminus \{0\}}$ (Positivheit)
${\textstyle \|\lambda x\|=|\lambda |\|x\|\forall \lambda \in \mathbb {R} ,\ \forall x\in V}$ (Homogenität)
${\textstyle \|x+y\|\leq \|x\|+\|y\|\ \forall x,y\in V}$ (Dreiecksungleichung oder Subaditivität).

Die Dreiecksungleichung lässt sich einfach (mit mathematischer Induktion bezüglich der Anzahl der Summanden) auf endliche Summe verallgemeinern, ${\Big \|}\sum _{i=1}^{n}x_{i}{\Big \|}\leq \sum _{i=1}^{n}\|x_{i}\|.$

Ein einfaches Beispiel eines Banachraumes ist der Vektorraum ${\textstyle \mathbb {R} ^{n}}$ ausgestattet mit einer der folgenden Vektornormen.

Euklidnorm $\|x\|_{2}:=\left(\sum _{i=1}^{n}x_{i}^{2}\right)^{1/2}$
Betragsnorm $\|x\|_{1}:=\sum _{i=1}^{n}|x_{i}|$
Maximumnorm $\|x\|_{\infty }:=\max _{i=1,\ldots ,n}|x_{i}|$

Folgendes Lemma liefert eine Analogie zur verallgemeinerten Dreiecksungleichung der Norm.

Lemma 2.1

Sei ${\textstyle y\in C[a,b]}$ und ${\textstyle \|\cdot \|_{\mathbb {R} ^{n}}}$ eine beliebige Norm auf ${\textstyle \mathbb {R} ^{n}}$ . Dann gilt ${\Big \|}\int _{a}^{b}y(t)dt{\Big \|}_{\mathbb {R} ^{n}}\leq \int _{a}^{b}\|y(t)\|_{\mathbb {R} ^{n}}dt.$ $\qquad (2.4)$

Beweis.

Sei ${\textstyle \{t_{i}\}_{i=0}^{N},}$ ${\textstyle t_{0}=a,\,t_{N}=b}$ eine Zerlegung des Intervalls ${\textstyle [a,b]}$ . Dann konvergiert die endliche Summe ${\textstyle \sum _{i=1}^{N}y(t_{i})(t_{i}-t_{i-1})}$ gegen ${\textstyle \int _{a}^{b}y(t)dt}$ für ${\textstyle N\to \infty }$ . Da die Norm eine stetige Abbildung ist erhalten wir $\left\|\int _{a}^{b}y(t)dt-\sum _{i=1}^{N}y(t_{i})(t_{i}-t_{i-1})\right\|_{\mathbb {R} ^{n}}\leq {\frac {\varepsilon }{2}}$

für ausreichend großes ${\textstyle N}$ , und schließlich

$\left\|\int _{a}^{b}y(t)dt\right\|_{\mathbb {R} ^{n}}\leq {\frac {\varepsilon }{2}}+\left\|\sum _{i=1}^{N}y(t_{i})(t_{i}-t_{i-1})\right\|_{\mathbb {R} ^{n}}.$ $\qquad (2.5)$

ähnlich, aus der Konvergenz der endlichen Summe gegen das Integral erhalten wir $\left|\int _{a}^{b}\|y(t)\|_{\mathbb {R} ^{n}}dt-\sum _{i=1}^{N}\|y(t_{i})\|_{\mathbb {R} ^{n}}(t_{i}-t_{i-1})\right|\leq {\frac {\varepsilon }{2}},$

und folgend $\left|\sum _{i=1}^{N}\|y(t_{i})\|_{\mathbb {R} ^{n}}(t_{i}-t_{i-1})\right|\leq {\frac {\varepsilon }{2}}+\left|\int _{a}^{b}\|y(t)\|_{\mathbb {R} ^{n}}dt\right|.$ $\qquad (2.6)$

Nun folgt aus (2.5) mit Hilfe der verallgemeinerten Dreiecksungleichung und (2.6) dass $\left\|\int _{a}^{b}y(t)dt\right\|_{\mathbb {R} ^{n}}\leq \varepsilon +\left|\int _{a}^{b}\|y(t)\|_{\mathbb {R} ^{n}}dt\right|,$

und schließlich mit ${\textstyle \varepsilon \to 0}$ die Aussage des Lemmas. ◻

Ein weiteres Beispiel eines Banachraumes ist der Raum ${\textstyle C[a,b]}$ der stetigen Funktionen ${\textstyle y:[a,b]\to \mathbb {R} ^{n}}$ . Die Norm auf ${\textstyle C[a,b]}$ definieren wir als Maximumnorm: $\|y(t)\|_{\infty }:=\max _{t\in [a,b]}\|y(t)\|_{\mathbb {R} ^{n}},$ wobei ${\textstyle \|\cdot \|_{\mathbb {R} ^{n}}}$ eine beliebige Vektornorm in ${\textstyle \mathbb {R} ^{n}}$ ist, siehe oben.

Nun betrachten wir eine Abbildung ${\textstyle F\colon X\to X}$ , ${\textstyle X}$ ein Banachraum, und folgende Fixpunktgleichung: Finde ein ${\textstyle x\in X}$ mit $x=F(x).$

Eine Lösung dieser Gleichung kann man mit folgendem iterativen Ansatz finden. Sei ${\textstyle x^{0}}$ gegeben, $x^{k+1}=F(x^{k})\ {\mbox{für}}\ k=0,1,\ldots .$

Die Konvergenz dieser Iteration und folgend die Lösbarkeit der Fixpunktgleichung garantiert folgender Satz.

Satz 2.1 (Banach’scher Fixpunktsatz)

Sei ${\textstyle (X,\|\cdot \|)}$ ein Banachraum und ${\textstyle K\subset X}$ eine abgeschlossene Menge in ${\textstyle X}$ . Sei ferner ${\textstyle F:X\to K}$ eine Abbildung mit

${\textstyle F(K)\subset K}$ , d.h. ${\textstyle K}$ ist in sich selbst abbildend,
${\textstyle F}$ ist kontrahierend, d.h. es existiert eine Konstante ${\textstyle q\in (0,1)}$ mit

${\textstyle \|F(x)-F(y)\|\leq q\|x-y\|\ \forall x,y,\in K}$ .

Dann besitzt ${\textstyle F}$ genau einen Fixpunkt in ${\textstyle K}$ , die iterative Folge (2.7) konvergeirt gegen die Lösung ${\textstyle x^{\star }}$ von ${\textstyle x^{\star }=F(x^{\star })}$ und es gelten folgende Abschätzungen: ${\begin{aligned}\|x^{\star }-F(x^{k})\|&\leq &{\frac {q}{1-q}}\|x^{k}-F(x^{k})\|\ {\mbox{(aposteriori Abschätzung)}}\\\|x^{\star }-F(x^{k})\|&\leq &{\frac {q^{k+1}}{1-q}}\|x^{0}-x^{1}\|\ {\mbox{(apriori Abschätzung)}}.\end{aligned}}$

Beweis.

Der Beweis des Banach’schen Fixpunktsatzes ist zum Beispiel in M. Ružička: Nichlineare Funktionalanalysis, Satz 1.5, zu finden. ◻

Nun wird die Konvergenz der Piccard-Lindelöf Iteration (2.2) mithilfe des Banach’schen Fixpunktsatzes gezeigt und damit die Existenz einer einzigen Lösung der Volterra’schen Integralgleichung (2.1) bewiesen. Im Folgenden wird klar, dass die Voraussetzungen des Banach’schen Fixpunktsatzes nur in einer gewissen Umgebung vom Anfangswert ${\textstyle (t_{0},y_{0})}$ erfüllt sind und damit wird ”nur” die lokale Existenz und Eindeutigkeit der Lösung gezeigt. Für ein ${\textstyle 0<\delta <\infty ,\ 0<\beta \leq \infty }$ definieren wir $S_{\delta ,\beta }=\{(t,y);\ t_{0}\leq t\leq t_{0}+\delta ,\,y_{0}-\beta \leq y\leq y+\beta \},$

siehe Abbildung 2.1. Nun formulieren wir den Existenzsatz für die Anfangswertaufgabe (1.6).

Satz 2.2 (Lokale Existenz und Eindeutigkeit einer Lösung der Anfangswertaufgabe)

Vorausgesetz ${\textstyle f\in C(S_{\delta ,\beta })}$ und es gilt zusätzlich

${\textstyle f}$ ist gleichmäßig Lipschitz stetig in ${\textstyle S_{\delta ,\beta }}$ bezüglich ${\textstyle y}$ , d.h. es existiert eine Konstante ${\textstyle 0<L<\infty }$ sodass ${\textstyle \forall (t,y_{1}),\forall (t,y_{2})\in S_{\delta ,\beta }}$ gilt $|f(t,y_{1})-f(t,y_{2})|\leq L|y_{1}-y_{2}|,$
für ${\textstyle \beta <\infty }$ gelte zusätzlich ${\textstyle \delta M\leq \beta ,}$ wobei ${\textstyle M:=\max _{(t,y)\in S_{\delta ,\beta }}|f(t,y)|}$ .

Dann existiert eine eindeutige Lösung ${\textstyle y\in C^{1}[t_{0},t_{0}+\delta ]}$ der Anfangswertaufgabe ${\textstyle y'=f(t,y)}$ und die Iteration (2.2) konvergiert auf ${\textstyle [t_{0},t_{0}+\delta ]}$ gleichmäßig gegen ${\textstyle y}$ sofern ${\textstyle |y^{0}(t)-y_{0}|\leq \beta }$ , ${\textstyle y_{0}=y(t_{0})}$ .

Beweis.

Wir bezeichnen ${\textstyle J_{\delta }:=[t_{0},t_{0}+\delta ]}$ und betrachten ${\textstyle w:J_{\delta }\to \mathbb {R} ^{+}}$ stetig. Im Raum der stetigen Funktionen auf ${\textstyle J_{\delta }}$ definieren wir die Norm als eine gewichtete Norm $\|z\|:=\|w\cdot z\|_{\infty }=\max _{t\in J_{\delta }}|w(t)\cdot z(t)|.$

Der Raum aller stetigen Funktionen auf ${\textstyle J_{\delta }}$ , ausgestattet mit obiger gewichteter Maximumnorm, ist ein Banachraum ${\textstyle (C(J_{\delta }),\|\cdot \|)}$ .

Ferner definieren wir für ${\textstyle \beta <\infty }$ die abgeschlossene Kugel $B_{t_{0},\beta }:=\{z\in C(J_{\delta })\ {\mbox{mit}}\ |z(t)-y_{0}|\leq \beta \ \forall t\in J_{\delta }\}$

(Für ${\textstyle \beta =\infty }$ definieren wir ${\textstyle B_{t_{0},\beta }=C(J_{\delta })}$ ).

Als erstes beweisen wir dass die Abbildung ${\textstyle G}$ definiert in (2.3) die Kugel ${\textstyle B_{t_{0},\beta }}$ in sich selbst abbildet, also ${\textstyle G(B_{t_{0},\beta })\subset B_{t_{0},\beta }.}$ Wir wählen ein ${\textstyle z\in B_{t_{0},\beta }}$ und untersuchen ob ${\textstyle G(z(t)\in B_{t_{0},\beta }}$ für alle ${\textstyle t\in J_{\delta }}$ . Mit (2.3) und (2.4) erhalten wir $|G(z(t))-y_{0}|\leq \int _{t_{0}}^{t}|f(s,y(s))|ds\leq \delta M.$

Gilt ${\textstyle \delta M{\leq }\beta }$ für ${\textstyle \beta <\infty }$ , so ist ${\textstyle G(z(t))\in B_{t_{0},\beta }}$ . Ist ${\textstyle \beta =\infty }$ , ist ${\textstyle \delta M\leq \beta }$ ebenso erfüllt. Insgesamt folgt für alle ${\textstyle 0<\beta \leq \infty }$ , dass ${\textstyle G(B_{t_{0},\beta })\subset B_{t_{0},\beta }.}$

Als nächstes zeigen wir, dass ${\textstyle G}$ eine kontrahierende Abbildung bezüglich der Maximumnorm ${\textstyle \|\cdot \|}$ ist. Mithilfe von (2.3) und der Lipschitz-Stetigkeit von ${\textstyle f(t,y)}$ bezüglich ${\textstyle y}$ erhalten wir ${\begin{aligned}\|G(y)-G(v)\|=\left\|\int _{t_{0}}^{t}f(s,y(s))-f(s,v(s))ds\right\|\leq L\left\|\int _{t_{0}}^{t}|y(s)-v(s)|ds\right\|.\end{aligned}}$

Nun wenden wir die Definition der Norm an und erhalten von oben ${\begin{aligned}\|G(y)-G(v)\|&\leq &L\max _{t\in J_{\delta }}\left(w(t)\int _{t_{0}}^{t}|y(s)-v(s)|ds\right)\\&=&L\max _{t\in J_{\delta }}\left(w(t)\int _{t_{0}}^{t}\underbrace {|y(s)-v(s)|w(s)} _{\leq \|y-v\|}{\frac {1}{w(s)}}ds\right)\leq \|y-v\|\varphi (w),\end{aligned}}$

wobei $\varphi (w):=L\max _{t\in J_{\delta }}\left(w(t)\int _{t_{0}}^{t}{\frac {1}{w(s)}}ds\right).$

Mit geeigneter Wahl der Gewichtsfunktion ${\textstyle w}$ wird ${\textstyle \varphi (w)<1}$ und damit die Abbildung ${\textstyle G}$ kontrahierend. Die einfachste Wahl von ${\textstyle w(t)=1}$ führt zu ${\textstyle \varphi (w)=L\max _{t\in J_{\delta }}(t-t_{0})=L\delta .}$ In diesem Fall ist die Abbildung ${\textstyle G}$ für ${\textstyle \delta <{\frac {1}{L}}}$ kontrahierend. Dies würde aber eine weitere Bedingung auf ${\textstyle \delta }$ (außer ii)) bedeuten. Eine günstigere Wahl der Gewichtsfunktion ist ${\textstyle w(t)=e^{-L(t-t_{0})}}$ . In diesem Fall ist ${\begin{aligned}\varphi (w)&=L\max _{t\in J_{\delta }}e^{-L(t-t_{0})}\int _{t_{0}}^{t}e^{L(s-t_{0})}ds=\max _{t\in J_{\delta }}e^{-L(t-t_{0})}[e^{L(t-t_{0})}-1]\\&=\max _{t\in J_{\delta }}(1-e^{-L(t-t_{0})})\leq 1-e^{-\delta L},\end{aligned}}$

und schließlich ${\textstyle \varphi (w(t))<1}$ für alle ${\textstyle t\in J_{\delta }}$ . Damit ist die Abbildung ${\textstyle G}$ kontrahierend. Aus dem Banach’schen Fixpunktsatz folgt die Existenz und Eindeutigkeit der Lösung der Fixpunktgleichung ${\textstyle z=G(z)}$ , bzw. der Volterra’schen Integralgleichung (2.1), wie auch die Konvergenz der Iteration (2.2). ◻

Bemerkungen

Den obigen Beweis kann man ähnlich auch für das Intervall ${\textstyle J_{-\delta }:=[t_{0}-\delta ,t_{0}]}$ durchführen, Somit erhalten wir mithilfe des Banach’schen Fixpunktsatz insgesamt die lokale Existenz und Eindeutigkeit auf ${\textstyle [t_{0}-\delta ,\ t_{0}+\delta ]}$ mit ${\textstyle \delta M\leq \beta }$ , ${\textstyle M:=\max _{(t,y)\in S_{\delta ,\beta }}|f(t,y)|}$ .
Ist ${\textstyle \beta =\infty }$ (also ist ${\textstyle f}$ global Lipschitz stetig), so kann man auf die Bedingung ${\textstyle \delta M\leq \beta }$ (notwendig für die ”Abbildung in sich selbst” - Eigenschaft) verzichten. Man erhält dann die globale Existenz und Eindeutigkeit der Lösung der Anfangswertaufgabe (1.6) auf ${\textstyle [a,b]\times \mathbb {R} }$ , für jedes ${\textstyle (t_{0},y_{0})\in [a,b]\times \mathbb {R} }$ .
Ist ${\textstyle f}$ lediglich nur stetig, erhält man mit dem Fixpunktsatz von Schauder ^[2] die Existenz einer Lösung, allerdings keine Eindeutigkeit, und keine Aussage über die Konvergenz der Iteration (2.2). Dieses Existenzergebnixs ist bekannt als der Satz von Peano.
Der Beweis von Satz 2.2 lässt sich auf Systeme (1.7), ${\textstyle m>1}$ , leicht verallgemeinern, indem man die Beträge ${\textstyle |\cdot |}$ durch eine Norm ${\textstyle \|\cdot \|_{\mathbb {R} ^{m}}}$ in ${\textstyle \mathbb {R} ^{m}}$ ersetzt.
Theoretisch kann man die Piccard-Lindelöf Iteration (2.2) zur Berechnung einer Annäherung der Lösung anwenden, indem man nach einigen Iterationen abbricht, siehe Beispiele 1.2, 1.3 (Kapitel 1). Die Integrale auf der rechten Seite kann man numerisch mittels Quadraturformeln ersetzen, dieser Ansatz heißt ”Finite Piccard Iteration”. Ansonsten sind diese Integrale exakt auszurechnen, was durchführbar aber weniger praktisch ist. Ziel dieser Vorlesung ist die Konstruktion solcher numerischer Verfahren, die an hinreichend vielen Stellen ${\textstyle t_{i}}$ zwischen ${\textstyle t_{0}}$ und ${\textstyle t_{0}+T}$ , ${\textstyle i=1,\ldots ,N}$ die Näherungen ${\textstyle \eta _{i}\approx y(t_{i})}$ ohne allzu großen Aufwand liefern.

Beispiel 2.1

Betrachte das lineare System von gewöhnlichen Differentialgleichungen $y'=A(t)y(t)+b(t),$

wobei ${\textstyle A\colon [a,b]\to \mathbb {R} ^{m\times m}}$ eine gegebene stetige matrixwertige und ${\textstyle b\colon [a,b]\to \mathbb {R} ^{m}}$ eine gegebene vektorwertige Funktion ist.

Wir überprüfen jetzt die Lipschitz-Stetigkeit der rechten Seite bezüglich der ${\textstyle \mathbb {R} ^{m}}$ -Norm. ${\begin{aligned}\|f(t,y_{1})-f(t,y_{2})\|_{\mathbb {R} ^{m}}=\|A(t)(y_{1}-y_{2})\|_{\mathbb {R} ^{m}}\leq \|A(t)\|\|y_{1}-y_{2}\|_{\mathbb {R} ^{m}}.\end{aligned}}$

Die letzte Ungleichung basiert auf einer Eigenschaft der Matrixnorm ${\textstyle \|A\|}$ , der Verträglichkeit der Matrixnorm mit einer Vektornorm ${\textstyle \|\cdot \|_{\mathbb {R} ^{m}}}$ : $\|Ay\|_{\mathbb {R} ^{m}}\leq \|A\|\cdot \|y\|_{\mathbb {R} ^{m}},$

wobei die Matrixnorm durch eine Vektornorm als $\|A\|:=\max _{\|x\|_{\mathbb {R} ^{m}}=1}\|Ax\|_{\mathbb {R} ^{m}}$ definiert (induziert) ist.

Nämlich, für ${\textstyle x\in \mathbb {R} ^{m}}$ mit ${\textstyle \|x\|_{\mathbb {R} ^{m}}=1}$ , ist $\|Ax\|_{\mathbb {R} ^{m}}=\|A{\frac {y}{\|y\|_{\mathbb {R} ^{m}}}}\|_{\mathbb {R} ^{m}}={\frac {\|Ay\|_{\mathbb {R} ^{m}}}{\|y\|_{\mathbb {R} ^{m}}}}\leq \max _{x=y/\|y\|_{\mathbb {R} ^{m}}}\|Ax\|_{\mathbb {R} ^{m}}{\stackrel {def}{=}}\|A\|.$

Damit folgt die Verträglichkeit der Matrixnorm mit der Vektornorm ${\textstyle \|Ay\|_{\mathbb {R} ^{m}}\leq \|A\|\cdot \|y\|_{\mathbb {R} ^{m}}}$ .

Da die Norm ${\textstyle \|A(t)\|}$ auch eine stetige Abbildung ist, nimmt sie ihr Maximum auf ${\textstyle [a,b]}$ an. Dann ist ${\textstyle L:=\max _{t\in [a,b]}\|A(t)\|}$ die Lipschitz-Konstante für die rechte Seite des linearen Systems und damit besitz dieses System nach Satz 2.2 eine eindeutige Lösung.

Beispiel 2.2

Löse ${\textstyle y'={\sqrt {|y|}},\ y(0)=0.}$
Mit Trennug der Variablen erhält man die Lösung ${\begin{aligned}y(t)=\left\{{\begin{matrix}{\frac {t^{2}}{4}}&{\mbox{für}}\ t>0\\-{\frac {t^{2}}{4}}&{\mbox{für}}\ t\leq 0.\end{matrix}}\right.\end{aligned}}$

Weitere nichtriviale Lösungen sind beispielsweise für beliebiges ${\textstyle a\leq 0}$ : ${\begin{aligned}y(t)=\left\{{\begin{matrix}{\frac {t^{2}}{4}}&{\mbox{für}}\ t>0\\0&a\leq t\leq 0\\-{\frac {(t-a)^{2}}{4}}&{\mbox{für}}\ t<a.\end{matrix}}\right.\end{aligned}}$

Beachte, dass die Funktion der rechten Seite ${\textstyle f(t,y)={\sqrt {|y|}}}$ in der Umgebung von ${\textstyle (t_{0},y_{0})=(0,0)}$ nicht Lipschitz stetig ist.

↑ Ein vollständiger normierter Raum ${\textstyle X}$ ist einer, in dem jede Cauchy-Folge von Elementen aus ${\textstyle X}$ gegen ein Element aus ${\textstyle X}$ konvergiert (in der Norm ${\textstyle \|\cdot \|}$ ).
↑ Den Fixpunktsatz von Schauder kann man zum Beispiel in M. Ružička, Nichtlineare Funktionalanalysis,(https://link.springer.com/book/10.1007/978-3-662-62191-2 )Satz 2.46 finden. In den Voraussetzungen verzichtet man hier auf die kontrahierende Eigenschaft der Abbildung ${\textstyle G}$ (die aus der Lipschitz - Stetigkeit von ${\textstyle f}$ folgt).

[1] Ein vollständiger normierter Raum ${\textstyle X}$ ist einer, in dem jede Cauchy-Folge von Elementen aus ${\textstyle X}$ gegen ein Element aus ${\textstyle X}$ konvergiert (in der Norm ${\textstyle \|\cdot \|}$ ).

[2] Den Fixpunktsatz von Schauder kann man zum Beispiel in M. Ružička, Nichtlineare Funktionalanalysis,(https://link.springer.com/book/10.1007/978-3-662-62191-2 )Satz 2.46 finden. In den Voraussetzungen verzichtet man hier auf die kontrahierende Eigenschaft der Abbildung ${\textstyle G}$ (die aus der Lipschitz - Stetigkeit von ${\textstyle f}$ folgt).

[1]

[2]