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

Da ${}h$ stetig ist und keine Nullstelle besitzt, ist ${}h$ bzw. ${}{\frac {1}{h}}$ nach dem Zwischenwertsatz entweder stets positiv oder stets negativ, so dass ${}H$ nach Fakt streng monoton und daher nach Aufgabe injektiv (also bijektiv auf sein Bild) ist.

Sei ${}y(t)=H^{-1}(G(t))$ wie angegeben. Dann ist

${}{\begin{aligned}y'(t)&={\frac {G'(t)}{H'{\left(H^{-1}(G(t))\right)}}}\\&={\frac {g(t)}{{\frac {1}{h}}{\left(H^{-1}(G(t))\right)}}}\\&=g(t)\cdot h{\left(H^{-1}(G(t))\right)}\\&=g(t)\cdot h(y(t)),\end{aligned}}$

so dass in der Tat eine Lösung vorliegt.

Es sei nun ${}y(t)$ eine differenzierbare Funktion, die die Differentialgleichung erfüllt. Daraus folgt

${}\int _{t_{1}}^{t_{2}}g(t)\,dt=\int _{t_{1}}^{t_{2}}{\frac {y'(t)}{h(y(t))}}\,dt=\int _{y(t_{1})}^{y(t_{2})}{\frac {1}{h(z)}}\,dz\,,$

wobei wir die Substitution ${}z=y(t)$ angewendet haben. Für die zugehörigen Stammfunktionen (mit den unteren Integralgrenzen ${}t_{1}$ bzw. ${}y(t_{1})$) bedeutet dies ${}G(t)=H(y(t))$, also ist

${}y(t)=H^{-1}(G(t))$.

Zur gelösten Aufgabe