Satz von Peano

Der Satz von Peano ist ein Satz aus der Theorie der gewöhnlichen Differentialgleichungen. Er gibt eine einfache Voraussetzung an, unter der das Anfangswertproblem (mindestens) eine lokale Lösung besitzt. Dieser Satz wurde 1886 vom Mathematiker Giuseppe Peano mit einem fehlerhaften Beweis veröffentlicht. 1890 lieferte er einen korrekten Beweis nach.

Gegenüber dem Existenz- und Eindeutigkeitssatz von Picard-Lindelöf hat der Existenzsatz von Peano den Vorteil, dass er schwächere Voraussetzungen besitzt. Dafür macht er keine Aussage bezüglich der Eindeutigkeit der Lösung.

Besitzt man erst einmal eine (lokale) Lösung, so kann man aus dieser in einem zweiten Schritt auf die Existenz einer nicht-fortsetzbaren Lösung schließen. In dieser Hinsicht ist der Satz von Peano ein erster Schritt für die Existenztheorie einer Differentialgleichung.

Formulierung

Sei $F\colon G\to \mathbb {R} ^{n}$ eine stetige Funktion. Ihr Definitionsbereich $G$ sei eine $[a,b]\times {\overline {B}}\left(y_{0},R\right)$ umfassende Teilmenge von $\mathbb {R} \times \mathbb {R} ^{n}$. Dabei bezeichne ${\overline {B}}\left(y_{0},R\right)$ die abgeschlossene Kugel um $y_{0}\in \mathbb {R} ^{n}$ mit Radius $R>0$, d. h.

${\overline {B}}\left(y_{0},R\right):=\{z\in \mathbb {R} ^{n}\mid \|z-y_{0}\|\leq R\}$.

Dann gibt es zu jedem Anfangswertproblem $\ y(a)=y_{0}$ der Differentialgleichung $y'(t)=F(t,y(t))$ wenigstens eine lokale Lösung. Genauer heißt das, dass es ein $\alpha >0$ gibt und eine stetig differenzierbare Funktion $y\colon [a,a+\alpha ]\to \mathbb {R} ^{n}$, die zwei Bedingungen erfüllt:

• Für alle $t\in [a,a+\alpha ]$ liegt der Punkt $(t,y(t))$ in $G$.
• Für alle $t\in [a,a+\alpha ]$ ist die Differentialgleichung $y'(t)=F(t,y(t))$ erfüllt.

Ein solches $\alpha >0$ kann man genau angeben: Auf der abgeschlossenen und beschränkten Menge $[a,b]\times {\overline {B}}\left(y_{0},R\right)$ besitzt die stetige Funktion $\|F\|$ einen maximalen Wert, setze

$M:=\max\{\|F(x,y)\|\mid (x,y)\in [a,b]\times {\overline {B}}\left(y_{0},R\right)\}$.

Diese Zahl ist eine Schranke für die Steigung einer möglichen Lösung. Man wähle nun

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \alpha :=\min \left\{b-a,{\frac {R}{M}}\right\}>0\ .}

Dann existiert (mindestens) eine Lösung des Anfangswertproblems

$y'=F(x,y)\ ,\ y(a)=y_{0}$

auf dem Intervall Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle [a,a+\alpha ]} mit Werten in ${\overline {B}}\left(y_{0},R\right)$.

Bemerkung: Analog können komplexe Differentialgleichungen betrachtet werden, indem man Real- und Imaginärteil einer komplexen Komponente als eigenständige reelle Komponente betrachtet, d. h., indem $\mathbb {C} ^{n}$, die komplexe Multiplikation vergessend, mit dem $\mathbb {R} ^{2n}$ identifiziert wird.

Für reelle Banachräume

$X$ sei ein reeller Banachraum und $f\colon [0,T]\times X\to X$ stetig und kompakt. Zu jedem Anfangswert $x_{0}\in X$ existieren dann ein $\tau >0$ und eine Lösung $x(\cdot )\in C^{1}([0,\tau ],X)$ der gewöhnlichen Differentialgleichung

$x'(\cdot )=f(\cdot ,x(\cdot ))$

mit $x(0)=x_{0}$.

Bemerkung: Im Falle $\dim(X)<\infty$ folgt aus der Stetigkeit die Kompaktheit von $f$.

Beweisskizze des endlichdimensionalen Falles

Dieser Satz wird in zwei Teilen bewiesen. Im ersten Schritt besorgt man sich mit Hilfe des eulerschen Polygonzugverfahrens zu jedem $\varepsilon >0$ spezielle $\varepsilon$-Näherungslösungen dieser Differentialgleichung, genauer: Man konstruiert eine stückweise stetig differenzierbare Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_\varepsilon \in C([a,a+\alpha]; \overline{B}(y_0,R))} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_\varepsilon(a) = y_0} , welche

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|y_\varepsilon'(x) - F(x,y_\varepsilon(x))\| \leq \varepsilon}

in jedem Differenzierbarkeitspunkt erfüllt sowie die Gleichstetigkeitsbedingung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|y(t)-y(s)\| \leq M|t-s|}

für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s,t \in [a,a+\alpha]} .

Im zweiten Schritt zeigt man mit Hilfe des Satzes von Arzelà-Ascoli, dass es eine gleichmäßig konvergente Teilfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (y_{\varepsilon_j})_{j\in\mathbb{N}}} gibt. Von ihrer Grenzfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} zeigt man dann, dass sie die Integralgleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y(x) = y_0 + \int_a^xF(s,y(s)){\rm d}s}

erfüllt. Aus dem Fundamentalsatz der Analysis folgt dann, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} stetig differenzierbar ist und der Differentialgleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ y'(x) = F(x,y(x))} genügt.

Beweisskizze für reelle Banachräume

Wir betrachten die entsprechende Volterra-Integralgleichung für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t \in [0,\tau] }

$x(t)=x_{0}+\int _{0}^{t}f(s,x(s))ds$.

Wir definieren den Operator

$T\colon C^{0}([0,\tau ],B_{1}(x_{0}))\to C^{0}([0,\tau ],B_{1}(x_{0})),x(\cdot )\mapsto x_{0}+\int _{0}^{\cdot }f(s,x(s))ds$.

Dieser Operator ist stetig bezüglich der Supremumsnorm, da ${\overline {f([0,1]\times B_{2}(x_{0}))}}\subset X$ kompakt und somit beschränkt ist. Des Weiteren ist $\tau :=\min(1,(\sup _{[0,1]\times B_{2}(x_{0})}|f|)^{-1})$. Mittels des Satzes von Arzela Ascoli kann man zeigen, dass $T(C^{0}([0,\tau ],B_{1}\left(x_{0}\right)))$ relativ kompakt bezüglich der Supremumsnorm in $C^{0}([0,\tau ],X)$ ist. Also ist T eine stetige Funktion, die von einer abgeschlossenen, konvexen Teilmenge $K\subset X$ in eine kompakte Teilmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C \subset K} abbildet. Somit besitzt T mindestens einen Fixpunkt nach dem Fixpunktsatz von Schauder. Jeder dieser Fixpunkte ist Lösung der Volterra-Integralgleichung und damit der Differentialgleichung.

Beispiele

Der Satz von Peano sagt nichts über die Eindeutigkeit aus. Hierfür ein Beispiel:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y'(t) = \sqrt{|y(t)|}} mit Anfangswert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y(0) = 0} . D.h. $f(t,y(t))=f(y(t))={\sqrt {|y(t)|}}$ eine autonome Differentialgleichung. Sie erfüllt die Voraussetzungen von Peano. Die Wurzelfunktion ist beschränkt und stetig. Es existiert eine Lösung, diese ist jedoch nicht eindeutig.

$y_{1}(t)=0,y_{1}(0)=0$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_1'(t) = 0 = \sqrt{|0|} = \sqrt{|y(t)|} } sind erfüllt. Das gilt aber auch für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y_2(t) = \frac{t^2}{4} , y_2(0) = 0 } und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y'_2(t) = \sqrt{\left|\frac{t^2}{4}\right|} = \frac{t}{2} = y_2'(t)}

Wird jedoch der Begriff der Stetigkeit um die sog. Lipschitz-Bedingung an die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} erweitert, dann existiert eine eindeutig bestimmte Lösung.

Literatur

• Herbert Amann: Gewöhnliche Differentialgleichungen. 2. Auflage. Gruyter – de Gruyter Lehrbücher, Berlin / New York 1995, ISBN 3-11-014582-0.
• Gerald Teschl: Ordinary Differential Equations and Dynamical Systems (= Graduate Studies in Mathematics. Band 140). American Mathematical Society, Providence 2012, ISBN 978-0-8218-8328-0 (mat.univie.ac.at).