Existenzsatz von Peano

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Der Existenzsatz von Peano ist eine mathematische Aussage aus der Theorie der gewöhnlichen Differenzialgleichungen. Er gibt eine einfache Voraussetzung an, unter der das Anfangswertproblem lösbar ist. Der Satz wurde 1886 vom Mathematiker Giuseppe Peano veröffentlicht.

Gegenüber dem Existenz- und Eindeutigkeitssatz von Picard-Lindelöf besitzt der Existenzsatz von Peano den Vorteil, dass er schwächere Voraussetzungen besitzt.

[Bearbeiten] Satz

Ist $f (x, y)$ eine, auf einem Gebiet $G \subseteq \R^{n+1}$ stetige Funktion, dann existiert für das Anfangswertproblem

y'(x) = f (x, y)

y (x 0) = y 0

mit $(x_0 , y_0) \in G$ mindestens eine lokale Lösung $y: \R \to \R^n$ und die Lösung lässt sich bis zum Rand von $G$ fortsetzen. Dabei sind unter „Rand“ auch im Unendlichen liegende Bestandteile der Grenze von $G$ zu verstehen, z.B. lautet die Aussage für $G=[x_0,b]\times\R^n$ : Entweder lässt sich die Lösung bis $b$ fortsetzen, oder die Lösung wächst innerhalb des Intervalls über alle Schranken.

[Bearbeiten] Beweisskizze

Dieser Satz wird in zwei Teilen bewiesen. Zuerst wird die lokale Lösbarkeit gezeigt, d.h. die Existenz einer Lösung auf einem Intervall $[x 0, x 0 + d]$ mit beschränkten Werten. Dann werden die lokalen Aussagen zu einer globalen Aussage zusammengefasst, indem der Endpunkt des einen Intervalls zum Anfangspunkt des nächsten Intervalls gemacht wird. Gibt es eine gemeinsame Schranke für die Norm der Werte der Lösung, die für alle Intervalle gültig ist, so kann die Lösung bis zum „seitlichen“ Rand von $G$ fortgesetzt werden. Ist dies nicht der Fall, so gibt es für jede Schranke $N$ ein Intervall, auf welchem diese überschritten wird. Die Reihe der Intervalllängen konvergiert, am Grenzwert verlässt die Lösung die Menge $G$ im Unendlichen.

Der Beweis verwendet den Satz von Arzelà-Ascoli, um aus einer Folge von Approximationen eine Teilfolge auszuwählen, welche gegen eine Lösung des Anfangswertproblems konvergiert. Um die Voraussetzungen des verwendeten Satzes zu erfüllen, muss die konstruierte Folge in einer gleichgradig stetigen Funktionenfamilie enthalten sein. Jede Menge von Funktionen, die lipschitz-stetig mit einer endlichen Schranke der Lipschitz-Konstanten ist, erfüllt dieses Kriterium.

Seien zwei positive reelle Zahlen D und R beliebig vorgegeben und sei $Z:=[x_0,x_0+D]\times \bar K(y_0,R)\subset G$ die zylindrische Menge, welche das kartesische Produkt aus einem den Anfangspunkt enthaltenden Intervall und einer Kugel um den Anfangswert ist. Nach dem Satz von Bolzano-Weierstraß existiert für die stetige Funktion $f$ auf der kompakten Menge $Z$ eine Schranke $M$ .

$\|f(x,y)\| < M \qquad \text{f}\ddot u \text{r alle } (x,y)\in Z$

Wir betrachten nun die Familie F derjenigen Funktionen $y:[x_0,x_0+D]\to \R^n$ , die Lipschitz-stetig mit Lipschitz-Kontante kleiner M sind und die durch den Anfangspunkt verlaufen, d.h. $f (x 0) = y 0$ . Diese erfüllt die Bedingung der gleichgradigen Stetigkeit, jedoch kann der Graph solcher Funktionen die Umgebung Z verlassen, wenn MD>R gilt. Sei also d:=min(D,R/M) und seien die Funktionen aus F auf das kleinere Intervall eingeschränkt.

Zur Existenz: Wir können nun mittels des Eulerschen Polygonzugverfahrens für jede natürliche Zahl n und Schrittweiten $h n : = d / n$ eine stückweise lineare Funktion $g n$ konstruieren, welche die Punkte $\left(kh_n,y_{n,k}\right)$ mit

y n,0 : = y 0

und

y n, k + 1 : = y n, k + h n f (k h n, y n, k)

zu einem Funktionsgraphen verbindet. Jede dieser Funktionen ist in der Familie F enthalten, es gibt also eine konvergente Teilfolge $(g_{n_k})_k$ der so gebildeten Funktionenfolge. Da f stetig ist, konvergieren auch die Ableitungen, die Grenzfunktion ist differenzierbar und erfüllt die Differentialgleichung.

Zur Eindeutigkeit: Es kann verschiedene Teilfolgen geben, die verschiedene Lösungen der Differenzialgleichung als Grenzwert haben. Des Weiteren kann man im Eulerschen Polygonzugverfahren in jedem Schritt eine Störung anbringen, welche proportional zum Quadrat $h_n^2$ der Schrittweite ist. Auch in diesem Fall ergeben sich konvergente Teilfolgen, die eine Lösung der Differentialgleichung zum Grenzwert haben, die aber von den ursprünglich konstruierten Lösungen abweichen können. Ist wie im Satz von Picard-Lindelöf eine Lipschitz-Bedingung erfüllt, so folgt nach dem Gronwall-Lemma, dass alle Konstruktionen dieselbe Lösung ergeben.

Die andere Richtung: Man kann die Richtung der Differentialgleichung und damit der Polygonzugkonstruktion umkehren und erhält Lösungen auf einem Intervall $[x_0-\tilde d,x_0]$ . Die Lösungen links und rechts vom Anfangspunkt können beliebig kombiniert werden, jede Kombination ergibt eine Lösung des Anfangswertproblems auf dem Intervall $[x_0-\tilde d,x_0+d]$ .