Eine Anfangswertformulierung für eine Differentialgleichung, bei der die Lösung auf einem Gebiet gesucht wird, nachdem auf einer Anfangshypersurface bestimmte Werte (und gegebenenfalls Ableitungen) der Unbekannten vorgegeben wurden.

Prinzip

Die Angabe hinreichender Anfangsdaten auf einer nicht-charakteristischen Hypersurface bestimmt unter geeigneten Regularitäts- und Kompatibilitätsannahmen eine eindeutige lokale Lösung einer wohlgestellten Entwicklungs‑ oder hyperbolischen PDE (oder ODE).

Demonstration

Für die ODE y'(t)=f(t,y) mit y(t0)=y0 fragt das Cauchy-Problem nach y(t), das die Differentialgleichung und die Anfangsbedingung erfüllt; Picard–Lindelöf liefert lokale Existenz und Eindeutigkeit, wenn f in y Lipschitz ist.

Fehlanwendung

Ein Randwertproblem als Cauchy-Problem zu bezeichnen oder Anfangsdaten auf einer charakteristischen Fläche für eine hyperbolische PDE anzugeben, was typischerweise zu Nichtexistenz oder Nicht-Eindeutigkeit führt.

Konsequenz

Ist das Cauchy-Problem wohlgestellt, so führen kleine Änderungen der Anfangsdaten zu kleinen Änderungen der Lösung (stetige Abhängigkeit), was stabile Vorhersage und zeitliche Entwicklung aus Anfangsbedingungen ermöglicht.

Umkehrung

Ein Randwertproblem legt Daten am Rand eines Gebietes fest statt auf einer Anfangshypersurface; solche Probleme haben andere Existenz- und Eindeutigkeitskriterien.

Abgrenzung

Gilt für ODEs und PDEs, bei denen Anfangshypersurfaces definiert sind und die Charakteristiken des Operators Propagation von der Fläche zulassen; schließt elliptische Gleichungen aus, die ausschließlich als Cauchy-Daten auf einer offenen Menge ohne analytische Fortsetzung formuliert werden.

Semantische Spannung

Der Begriff überschneidet sich mit 'Anfangswertproblem', unterscheidet sich in der PDE-Theorie jedoch durch geometrische Anforderungen an die Fläche (nicht-charakteristisch) und durch Fragen der Hyperbolizität; in manchen Kontexten werden beide austauschbar gebraucht.

Synthese

Das Cauchy-Problem formalisiert Evolution durch Vorgabe von Anfangsdaten auf einer Hypersurface und die Suche nach einer Lösung, die mit den Ausbreitungseigenschaften des Differentialoperators verträglich ist; es bildet den Rahmen für Eindeutigkeit, Existenz und Stabilitätsanalysen.