Satz von Picard-Lindelöf


Satz von Picard-Lindelöf

Der Satz von Picard-Lindelöf ist in der Mathematik, neben dem Satz von Peano, ein grundlegender Satz der Existenztheorie von Lösungen gewöhnlicher 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 Émile Picard mit der schrittweisen Approximation von Lösungen. Diese Picarditeration, eine Fixpunktiteration im Sinne des banachschen Fixpunktsatzes, ist der Kern moderner Beweise dieses Satzes.

Ähnlich wie im Satz von Peano wird auch dieser Satz in mehreren, aufeinander aufbauenden Versionen formuliert und bewiesen.

  1. Die lokale Version besagt, dass jedes Anfangswertproblem zu einer Differentialgleichung y'(x)=f(x,y),\quad y(a)=y_a unter Voraussetzung der Lipschitz-Bedingung (s.u.) in einer kleinen Umgebung von a eindeutig gelöst werden kann. Die Größe dieser Umgebung hängt dabei stark von der rechten Seite f(x,y) ab.
  2. Die globale Version besagt, dass ein solches Anfangswertproblem, welches auf einem senkrechten Streifen (x,y)\in[a,e]\times\R^n eine globale Lipschitz-Bedingung erfüllt, auf dem gesamten Intervall [a,e] eine eindeutige Lösung besitzt.

Besitzt man erst einmal eine (lokale) Lösung, 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 Picard-Lindelöf der erste Schritt für die Existenztheorie einer Differentialgleichung.

Bemerkung zur theoretischen Einbettung: Im Sinne einer möglichst knappen Darstellung ist es ausreichend, aus der Stetigkeit der rechten Seite f(x,y) mit dem Satz von Peano auf die Existenz von (möglicherweise mehreren) maximalen Lösungen zu schließen, und mit der grönwallschen Ungleichung (siehe auch unten) auf die Eindeutigkeit der Lösung. Dieser Weg wird in einführenden Kursen meist nicht gewählt, da der Satz von Peano auf dem Satz von Arzelà-Ascoli aufbaut, während der Satz von Picard-Lindelöf mit wesentlich elementareren Mitteln, wie dem Fixpunktsatz von Banach, bewiesen werden kann.

Inhaltsverzeichnis

Problemstellung

Sei E=\R^n oder E=\mathbb C^n oder sei allgemeiner E ein reeller Banach-Raum. Im einfachsten Fall ist E=\R. Es lassen sich alle Aussagen, die in diesem einfachsten Fall getroffen und bewiesen werden, durch einfache Änderung der Notation auf den allgemeinen Fall übertragen. Es muss dazu nur \R,|\cdot| durch E,\|\cdot\| ersetzt werden, d.h. der Absolutbetrag durch die Norm des Banachraumes.

Eine Differentialgleichung für eine Funktion mit Werten in E ist eine Gleichung der Form y'(x) = f(x,y(x)). Die Funktion f(x,y) der rechten Seite ist dabei auf einem (offenen) Gebiet G\subset\R\times E definiert und hat Werte in E, f\colon G\to E.

Oft wird der Definitionsbereich G in Form eines vertikalen Streifens vorausgesetzt, dann ist G=(a,b)\times E.

Eine stetig differenzierbare Funktion y\colon I\to E für ein Intervall I \subset \mathbb{R} ist eine (lokale) Lösung der Differentialgleichung, wenn für alle x\in I sowohl (x,y(x))\in G als auch y'(x) = f(x,y(x)) gelten.

Die Frage ist nun, ob sich bei Vorgabe eines Punktes (x_0,y_0)\in G eine lokale Lösung der Differentialgleichung finden lässt, deren Definitionsbereich x0 enthält und die gleichzeitig y(x0) = y0 erfüllt.

Der Satz in seinen Versionen

Die Voraussetzungen der Satzversionen sind immer die Stetigkeit der rechten Seite und das Bestehen einer Lipschitz-Bedingung. Diese Lipschitz-Bedingung wird oft als „lokale Lipschitz-Stetigkeit in der zweiten Variablen“ beschrieben.

Globale und lokale Lipschitz-Bedingung

Definition: Seien U\subset\R\times E und f\colon U\to E gegeben. Es wird gesagt, dass f eine (globale) Lipschitz-Bedingung auf U in der zweiten Variablen erfüllt, wenn es eine Konstante L\geq 0 gibt, so dass für jedes x\in\R und Punkte y_1,y_2\in E mit (x,y_1), (x,y_2)\in U die Ungleichung

\|f(x,y_1)-f(x,y_2)\|\le L\|y_1-y_2\|

gilt.

Definition: Seien G\subset\R\times E und f\colon G\to E gegeben. Es wird gesagt, dass f eine lokale Lipschitz-Bedingung auf U in der zweiten Variablen erfüllt, wenn es für jeden Punkt (x,y)\in G eine Umgebung (x,y)\in U\subset G gibt, auf der die Einschränkung von f auf G \cap U eine (globale) Lipschitz-Bedingung erfüllt.

Bemerkungen:

  • Die Umgebung U der lokalen Lipschitz-Bedingung kann immer als Kugel bzw. Zylinder [x-\delta,x+\delta]\times B(y,\delta) gewählt werden, da es in jeder offenen Menge eine Teilmenge dieser Gestalt für jeden ihrer Punkte geben muss. Darin bezeichnet B(y,\delta) := \{z \in E\ |\ \|z-y\| < \delta\} die offene Kugel um y mit Radius δ.
  • Jede stetig partiell nach der zweiten Variablen differenzierbare Funktion mit konvexem Definitionsbereich erfüllt auch eine lokale Lipschitz-Bedingung in der zweiten Variablen, da nach dem Mittelwertsatz
\|f(x,y_2)-f(x,y_1)\|\le \sup_{t\in[0,1]}\|\partial_yf\bigl(x,y_1+t(y_2-y_1)\bigr)\|\cdot\|y_2-y_1\|

mit einer geeigneten Norm der Ableitung gilt. Als stetige Funktion ist die Norm der Ableitung lokal beschränkt, woraus die Lipschitz-Bedingung in der zweiten Variablen folgt.

Lokale Version des Satzes von Picard-Lindelöf

Sei E ein Banachraum, G \subset \mathbb{R} \times E, y_0 \in E, R>0 mit [a,b] \times \overline{B}(y_0,R) \subset G und f=f(x,y): G \rightarrow E stetig und lokal Lipschitz-stetig in der zweiten Variablen. Hierin bezeichnet

\overline{B}(y_0,R) := \{z \in E\ |\ \|z-y_0\| \leq R\}

die abgeschlossene Kugel um y0 mit Radius R. Ist

M := \max\{\|f(x,y)\|\ |\ (x,y) \in [a,b] \times \overline{B}(y_0,R)\}

sowie

\alpha := \min\left\{b-a, \frac{R}{M}\right\}\ ,

dann existiert genau eine Lösung des Anfangswertproblems

y'=f(x,y)\ ,\ y(a) = y_0

auf dem Intervall [a,a + α]; sie hat Werte in \overline{B}(y_0,R).

Globale Version des Satzes von Picard-Lindelöf

Es sei E ein Banach-Raum und f: [a,b]\times E\to E eine stetige Funktion, welche eine globale Lipschitz-Bedingung bezüglich der zweiten Variablen erfüllt. Dann gibt es zu jedem y_0 \in E eine globale Lösung y: [a,b] \to E des Anfangswertproblems

y'=f(x,y)\ ,\ y(a)=y_0\ .

Es gibt keine weiteren (lokalen) Lösungen.

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Picard-Lindelöf — Der Satz von Picard Lindelöf ist in der Mathematik, neben dem Satz von Peano, ein grundlegender Satz der Existenztheorie der gewöhnlichen Differentialgleichungen. Er wurde erstmals 1890 von Ernst Leonard Lindelöf in einem Artikel zur Lösbarkeit… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Lindelöf — ist der Familienname zweier finnischer Mathematiker: Lorenz Leonhard Lindelöf (1827 1908), und dessen Sohn Ernst Leonard Lindelöf (1870 1946) lindelöf bezeichnet: nach Ernst Leonhard Lindelöf einen mathematischen Raum, der ein Lindelöf Raum ist… …   Deutsch Wikipedia

  • Picard-Iteration — Der Satz von Picard Lindelöf ist in der Mathematik, neben dem Satz von Peano, ein grundlegender Satz der Existenztheorie der gewöhnlichen Differentialgleichungen. Er wurde erstmals 1890 von Ernst Leonard Lindelöf in einem Artikel zur Lösbarkeit… …   Deutsch Wikipedia

  • Satz vom Minimum und Maximum — Die Stetigkeit ist ein Konzept der Mathematik, das vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung ist. Eine Funktion heißt stetig, wenn verschwindend kleine Änderungen des Argumentes (der Argumente) nur zu… …   Deutsch Wikipedia

  • Sukzessive Approximation nach Picard und Lindelöf — Der Satz von Picard Lindelöf ist in der Mathematik, neben dem Satz von Peano, ein grundlegender Satz der Existenztheorie der gewöhnlichen Differentialgleichungen. Er wurde erstmals 1890 von Ernst Leonard Lindelöf in einem Artikel zur Lösbarkeit… …   Deutsch Wikipedia

  • Charles Emile Picard — Charles Émile Picard, meist Emile Picard genannt, (* 24. Juli 1856 in Paris; † 11. Dezember 1941 ebenda) war ein französischer Mathematiker. Inhaltsverzeichnis 1 Leben und Wirken 2 Schriften 3 Literatur 4 …   Deutsch Wikipedia

  • Charles Émile Picard — Charles Émile Picard, meist Emile Picard genannt, (* 24. Juli 1856 in Paris; † 11. Dezember 1941 ebenda) war ein französischer Mathematiker. Inhaltsverzeichnis 1 Leben und Wirken 2 Schriften 3 Literatur 4 …   Deutsch Wikipedia

  • Emile Picard — Charles Émile Picard, meist Emile Picard genannt, (* 24. Juli 1856 in Paris; † 11. Dezember 1941 ebenda) war ein französischer Mathematiker. Inhaltsverzeichnis 1 Leben und Wirken 2 Schriften 3 Literatur 4 …   Deutsch Wikipedia

  • Ernst Lindelöf — Ernst Leonard Lindelöf (* 7. März 1870 in Helsingfors (Helsinki); † 4. Juni 1946 in Helsinki) war ein finnischer Mathematiker. Er lieferte wichtige Beiträge zur Funktionentheorie, Analysis und zur Theorie der Differentialgleichungen. Nach Ernst… …   Deutsch Wikipedia