Gewöhnliche Differentialgleichung/Getrennte Variablen/Lösungsexistenz/Fakt/Beweis

Beweis

Da stetig ist und keine Nullstelle besitzt, ist bzw. nach dem Zwischenwertsatz entweder stets positiv oder stets negativ, sodass nach Fakt streng monoton und daher nach Aufgabe injektiv (also bijektiv auf sein Bild) ist.
Sei wie angegeben. Dann ist nach Fakt und Fakt

sodass in der Tat eine Lösung vorliegt.
Es sei nun eine differenzierbare Funktion, die die Differentialgleichung erfüllt. Daraus folgt

wobei wir die Substitution angewendet haben. Für die zugehörigen Stammfunktionen (mit den unteren Integralgrenzen bzw. ) bedeutet dies , also ist .
Um die Anfangsbedingung zu erfüllen, kann man bzw. als untere Integralgrenzen wählen. Wir zeigen, dass dies die einzige Lösung ist. Es seien also und zwei Stammfunktionen zu und und zwei Stammfunktionen zu derart, dass sowohl als auch die Anfangsbedingung erfüllen. D.h. die beiden Funktionen stimmen zum Zeitpunkt überein. Da sich Stammfunktionen nur um eine Konstante unterscheiden, können wir und mit zwei Konstanten ansetzen. Es gilt also einerseits und andererseits , sodass gilt, woraus wegen sofort folgt. Also ist und somit wegen der Injektivität von auch für alle .