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), 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 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.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Satz von Picard-Lindelöf aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren