Gewöhnliche Differentialgleichung/Diffeomorphismus/Lösung/Fakt

Es seien ${}V$ und ${}W$ endlichdimensionale reelle Vektorräume, ${}U\subseteq V$ und ${}U'\subseteq W$ offene Teilmengen und

$\varphi \colon U\longrightarrow U'$

ein Diffeomorphismus. Es sei

$F\colon I\times U\longrightarrow V,\,(t,x)\longmapsto F(t,x),$

ein Vektorfeld auf ${}U$. Es sei ${}G$ das durch

${}G(t,y):={\left(D\varphi \right)}_{\varphi ^{-1}(y)}{\left(F(t,\varphi ^{-1}(y))\right)}\,$

definierte Vektorfeld auf ${}U'$.

Dann ist

$\alpha \colon J\longrightarrow U$

genau dann eine Lösung des Anfangswertproblems

$x'=F(t,x){\text{ mit }}x(t_{0})=x_{0},$

wenn ${}\varphi \circ \alpha$ eine Lösung des Anfangswertproblems

$y'=G(t,y){\text{ mit }}y(t_{0})=\varphi (x_{0})$

ist.

Zum Beweis, Alternativen Beweis erstellen