Differentialgleichungen höherer Ordnung/Zugehöriges System erster Ordnung/Fakt/Beweis

Beweis

Wenn

eine Lösung der Differentialgleichung höherer Ordnung

ist, so sind alle Funktionen für differenzierbar, und es gilt für nach Definition und schließlich


Wenn umgekehrt

eine Lösung des Differentialgleichungssystems zum Vektorfeld

ist, so ergibt sich sukzessive aus den ersten Gleichungen, dass -mal differenzierbar ist, und die letzte Gleichung des Differentialgleichungssystems besagt gerade