Differentialgleichungen höherer Ordnung/Textabschnitt

Definition

Es sei  ${}I\subseteq \mathbb {R}$  ein offenes Intervall,  ${}U\subseteq \mathbb {R} ^{n}$  offen und

$h\colon I\times U\longrightarrow \mathbb {R}$

eine Funktion. Dann nennt man den Ausdruck

${}y^{(n)}=h{\left(t,y,y',y^{\prime \prime },\ldots ,y^{(n-1)}\right)}\,$

eine Differentialgleichung der Ordnung ${}n$.

Unter einer Lösung einer Differentialgleichung höherer Ordnung versteht man eine ${}n$-mal differenzierbare Funktion

$y\colon J\longrightarrow \mathbb {R} ,\,t\longmapsto y(t)$

(wobei ${}J\subseteq I$ ein offenes Teilintervall ist) derart, dass

${}y^{(n)}(t)=h(t,y(t),y'(t),y^{\prime \prime }(t),\ldots ,y^{(n-1)}(t))\,$

für alle  ${}t\in J$  gilt.

Differentialgleichungen beliebiger Ordnung können unter Inkaufnahme von neuen Variablen auf ein Differentialgleichungssystem erster Ordnung zurückgeführt werden.

Lemma

Es sei  ${}I\subseteq \mathbb {R}$  ein Intervall,  ${}U\subseteq \mathbb {R} ^{n}$  eine offene Menge und

$h\colon I\times U\longrightarrow \mathbb {R}$

eine Funktion.

Dann ist die Differentialgleichung höherer Ordnung

${}y^{(n)}=h{\left(t,y,y',y^{\prime \prime },\ldots ,y^{(n-1)}\right)}\,$

über die Beziehung

${}v_{i}:=y^{(i)}\,$

äquivalent zum Differentialgleichungssystem

${}{\begin{pmatrix}v_{0}\\v_{1}\\\vdots \\v_{n-2}\\v_{n-1}\end{pmatrix}}'={\begin{pmatrix}v_{1}\\v_{2}\\\vdots \\v_{n-1}\\h(t,v_{0},v_{1},\ldots ,v_{n-1})\end{pmatrix}}\,.$

Beweis

Wenn

$y\colon J\longrightarrow \mathbb {R}$

eine Lösung der Differentialgleichung höherer Ordnung

${}y^{(n)}=h{\left(t,y,y',y^{\prime \prime },\ldots ,y^{(n-1)}\right)}\,$

ist, so sind alle Funktionen  ${}v_{i}=y^{(i)}$  für  ${}i=0,\ldots ,n-1$  differenzierbar, und es gilt  ${}v_{i}'=v_{i+1}$  für  ${}i=0,\ldots ,n-2$  nach Definition und schließlich

${}{\begin{aligned}v_{n-1}'(t)&={\left(y^{(n-1)}\right)}^{\prime }(t)\\&=y^{(n)}(t)\\&=h{\left(t,y(t),y'(t),y^{\prime \prime }(t),\ldots ,y^{(n-1)}(t)\right)}\\&=h{\left(t,v_{0}(t),v_{1}(t),v_{2}(t),\ldots ,v_{n-1}(t)\right)}.\end{aligned}}$

Wenn umgekehrt

$v\colon J\longrightarrow \mathbb {R} ^{n}$

eine Lösung des Differentialgleichungssystems zum Vektorfeld

$F\colon I\times U\longrightarrow \mathbb {R} ^{n},\,(t,v_{0},\ldots ,v_{n-1})\longmapsto F(t,v_{0},\ldots ,v_{n-1})=(v_{1},\ldots ,v_{n-1},h(t,v_{0},v_{1},\ldots ,v_{n-1})),$

ist, so ergibt sich sukzessive aus den ersten ${}n-1$ Gleichungen, dass  ${}y=v_{0}$  ${}n$-mal differenzierbar ist, und die letzte Gleichung des Differentialgleichungssystems besagt gerade

${}y^{(n)}(t)=h{\left(t,y(t),y'(t),y^{\prime \prime }(t),\ldots ,y^{(n-1)}(t)\right)}\,.$

$\Box$

Mit dieser Umformung ist auch klar, wie sinnvolle Anfangsbedingungen für eine Differentialgleichung höherer Ordnung aussehen. Man muss nicht nur einen Startwert  ${}y(t_{0})=w_{0}$,  sondern auch die höheren Ableitungen  ${}y'(t_{0})=w_{1}$,   ${}y^{\prime \prime }(t_{0})=w_{2}$,  usw. festlegen.