1. Das Problem: Wir betrachten Anfangswertprobleme (AWP) gewöhnlicher Differentialgleichungen (DGL) der Form $$y'(t) = f(t,y(t)), \quad y(t_0) = y_0$$. 2. Existenz- und Eindeutigkeitssätze geben Bedingungen an, unter denen eine Lösung existiert und eindeutig ist. 3. Der wichtigste Satz ist der Satz von Picard-Lindelöf (auch Cauchy-Lipschitz-Satz): - Wenn die Funktion $f(t,y)$ stetig ist und eine Lipschitz-Bedingung in $y$ erfüllt, dann existiert ein eindeutiges lokales Lösung auf einem Intervall um $t_0$. 4. Formal: Wenn $f$ stetig auf einem Rechteck $[t_0 - a, t_0 + a] \times [y_0 - b, y_0 + b]$ ist und es eine Konstante $L$ gibt mit $$|f(t,y_1) - f(t,y_2)| \leq L |y_1 - y_2|$$ für alle $y_1,y_2$ in diesem Intervall, dann existiert genau eine Lösung $y(t)$ mit $y(t_0) = y_0$. 5. Ein weiterer Existenzsatz ist der Satz von Peano: - Wenn $f$ nur stetig ist (ohne Lipschitz-Bedingung), dann existiert mindestens eine lokale Lösung, aber die Eindeutigkeit ist nicht garantiert. 6. Zusammenfassung: - Peano-Satz: Stetigkeit von $f$ garantiert Existenz einer Lösung. - Picard-Lindelöf-Satz: Stetigkeit und Lipschitz-Bedingung garantieren Existenz und Eindeutigkeit. 7. Diese Sätze sind grundlegend für das Verständnis von Anfangswertproblemen gewöhnlicher Differentialgleichungen.