Zum Inhalt springen

Picard Lindelöf/Lokal Lipschitz/Lokale Existenz und Eindeutigkeit/Fakt

Aus Wikiversity
Der Satz von Picard-Lindelöf

Es sei ein endlichdimensionaler reeller Vektorraum, ein reelles Intervall, eine offene Menge und

ein Vektorfeld auf . Es sei vorausgesetzt, dass dieses Vektorfeld stetig sei und lokal einer Lipschitz-Bedingung genüge.

Dann gibt es zu jedem ein offenes Intervall  mit derart, dass auf diesem Intervall eine eindeutige Lösung für das Anfangswertproblem

existiert.