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

Beweis

Da mit auch die Umkehrabbildung ein Diffeomorphismus ist, genügt es, die eine Richtung zu zeigen. Es sei also eine Lösung des Anfangswertproblems zu . Dann gelten nach der Kettenregel für die Gleichheiten

Ferner gilt