Satz von Picard-Lindelöf

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

Der Satz von Picard-Lindelöf ist in der Mathematik, neben dem Satz von Peano, der grundlegende Satz der Theorie der gewöhnlichen Differentialgleichungen. Er wurde erstmals 1890 von Ernst Leonard Lindelöf in einem Artikel zur Lösbarkeit von Differentialgleichungen aufgestellt. Um die gleiche Zeit beschäftigte sich auch Charles Émile Picard mit der schrittweisen Approximation von Lösungen. Diese Picard-Iteration, eine Fixpunktiteration im Sinne des Banachschen Fixpunktsatzes, ist der Kern moderner Beweise dieses Satzes.

Inhaltsverzeichnis

1 Problemstellung
2 Satz
3 Beweis
- 3.1 Beweisskizze
- 3.2 Eindeutigkeitsbeweis
4 Weblinks

[Bearbeiten] Problemstellung

Gegeben sei eine Differentialgleichung $y'(x) = F (x, y (x))$ auf einem Intervall [a,b]. Gesucht sind stetig differenzierbare Funktionen $y:[a,b] \to \mathbb{R}$ , welche die aus dieser Gleichung folgenden Bedingungen an Funktionswert und Wert der Ableitung in jedem Punkt x aus [a,b] erfüllen. Der Graph einer solchen Lösungsfunktion ist eine Kurve im Streifen $[a,b] \times \mathbb{R}$ . Die Frage, die von diesem Satz beantwortet wird, lautet: Unter welchen Bedingungen kann zu jedem Punkt des Streifens genau eine Lösungsfunktion angegeben werden, deren Graph diesen Punkt enthält? D.h. füllen die Lösungskurven den Streifen voll aus und kann garantiert werden, dass sich keine zwei dieser Kurven schneiden?

Das Problem lässt sich auf die allgemeine und eindeutige Lösbarkeit des Anfangswertproblems erster Ordnung dieser Differentialgleichung zurückführen. Dazu sind an die die Differentialgleichung bestimmende Funktion F Regularitätsbedingungen zu stellen. Außerdem wird der Satz gleich für Systeme von Differentialgleichungen formuliert, da der einzige formale Unterschied im Ersetzen der einfachen Betragsstriche durch die doppelten Striche einer Norm im mehrdimensionalen Spaltenvektorraum besteht.

[Bearbeiten] Satz

Es sei $F: \mathbb{R}\supset[a,b]\times\mathbb{R}^n\to\mathbb{R}^n$ , eine stetige Funktion, welche eine Lipschitz-Bedingung bzgl. y erfüllt. Diese besagt: Es gibt eine Konstante $L > 0$ , so dass für jedes $x \in [a,b]$ gilt:

$\forall y_1,y_2\in \mathbb{R}^n:\; \|F(x,y_1)-F(x,y_2)\|\le L\cdot\|y_1-y_2\|.$

Wobei unter der $L$ -Lipschitzkonstante die betragsgrößte Steigung auf dem Intervall $[a, b]$ zu verstehen ist.

Dann gibt es zu jedem $y_0 \in \mathbb{R}^n$ eine differenzierbare Funktion $y: \mathbb{R} \to \mathbb{R}^n$ , welche das Anfangswertproblem

$y(a)=y_0\!$ und $\forall x\in (a,b):\;y'(x)=F(x,y(x))$

eindeutig löst.

[Bearbeiten] Beweis

[Bearbeiten] Beweisskizze

Zum Beweis wird ein Integraloperator T benutzt, welcher stetige Funktionen über dem Intervall [a,b] in stetige Funktionen über demselben Intervall abbildet. Dieser ist definiert durch

$T:u\mapsto T(u)$ wobei $T(u)(x)=y_0+\int_{a}^x F(t,u(t))\,dt$ .

Damit dieser Operator im Sinne des Banachschen Fixpunktsatzes kontraktiv ist, wird eine spezielle Norm auf dem Raum der stetigen Funktionen definiert, eine gewichtete Supremumsnorm

$\|u\|:=\sup_{x\in[a,b]}e^{-2L|x|}\cdot |u(x)|$ .

Mit dieser sind die Voraussetzungen des Fixpunktsatzes von Banach erfüllt, der somit die Existenz und Eindeutigkeit liefert. Die in letzterem gegebene iterative Vorschrift zur Konstruktion des Fixpunktes wird Picard-Iteration genannt:

$y_0(x)\equiv y_0,\quad y_{n+1}:=T(y_n)$ .

[Bearbeiten] Eindeutigkeitsbeweis

Es seien $y_1, y_2: I \rightarrow \mathbb{R}^n$ Lösungen der Differentialgleichung und $\bar I \subset I$ die Menge der Punkte $t \in I$ mit $y 1 (t) = y 2 (t)$ . Aufgrund der Stetigkeit ist $\bar I$ abgeschlossen. Nun sei $t_0 \in \bar I$ und $J \times V \subset U$ eine Umgebung von $(t 0, y 1 (t 0))$ , in der $f$ Lipschitz-stetig bezüglich $x$ mit der Konstanten $L$ ist. Durch $ψ: = y 2 - y 1$ und $ψ(t 0) = 0$ folgt für alle $t \in J \cap I$ , dass

$\| \psi (t) \| \leq \left| \int_{t_0}^t \| f(s, y_2(s)) - f(s, y_1(s)) \| \mathrm{ds} \right| \leq \left| L \int_{t_0}^t \| \psi (s) \| \mathrm{ds} \right|,$

wegen Integraldarstellung der Differentialgleichung. Nach dem Gronwall-Lemma folgt $ψ = 0$ in $J \cap I$ , so dass $\bar I$ auch offen sein muss. Dies liefert schließlich $\bar I = I$ , da $\bar I$ nicht leer ist und $I$ zusammenhängt.