Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil II/Vorlesung 42/latex
\setcounter{section}{42}
\zwischenueberschrift{Lineare Transformationen}
Entkoppelte Differentialgleichungssysteme kann man lösen, indem man die einzelnen eindimensionalen Komponenten löst. Manchmal kann eine Differentialgleichung erst durch eine lineare Transformation entkoppelt werden. Eine lineare Transformation ist einfach eine bijektive lineare Abbildung $\varphi$ zwischen zwei Vektorräumen
\mathkor {} {V} {und} {W} {.}
Zu einem Vektorfeld $F$ auf $V$ möchte man ein Vektorfeld $G$ auf $W$ definieren derart, dass sich die Lösungen der zugehörigen Differentialgleichungssysteme entsprechen. Dies geschieht durch
\mavergleichskette
{\vergleichskette
{ G(t,y)
}
{ = }{ \varphi( F(t, \varphi^{-1}(y)))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zu einem Punkt
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet man also den Urbildpunkt
\mathl{\varphi^{-1}(y)}{,} wertet dort
\zusatzklammer {bei unverändertem Zeitpunkt $t$} {} {}
das Vektorfeld $F$ aus und transportiert das Ergebnis mittels $\varphi$ wieder nach $W$. Besonders übersichtlich wird die Situation durch das folgende kommutative Diagramm.
\mathdisp {\begin{matrix} I \times V & \stackrel{ F }{\longrightarrow} & V & \\ \!\!\!\!\! \operatorname{Id} \times \varphi \downarrow & & \downarrow \varphi \!\!\!\!\! & \\ I \times W & \stackrel{ G }{\longrightarrow} & W & \!\!\!\!\! . \\ \end{matrix}} { }
\inputfaktbeweis
{Gewöhnliche Differentialgleichung/Lineare Transformation/Lösung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\maabbdisp {\varphi} {V} {W
} {}
ein
\definitionsverweis {Isomorphismus}{}{}
zwischen den
\definitionsverweis {endlichdimensionalen}{}{}
\definitionsverweis {reellen Vektorräumen}{}{}
\mathkor {} {V} {und} {W} {}
und sei
\maabbeledisp {F} {I \times V} {V
} {(t,x)} {F(t,x)
} {,}
ein
\definitionsverweis {Vektorfeld}{}{}
auf $V$. Es sei $G$ das durch
\mavergleichskette
{\vergleichskette
{ G(t,y)
}
{ \defeq }{ \varphi(F(t, \varphi^{-1}(y)))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definierte Vektorfeld auf $W$.}
\faktfolgerung {Dann ist
\maabbdisp {\alpha} {J} {V
} {}
genau dann eine
\definitionsverweis {Lösung des Anfangswertproblems}{}{}
\mathdisp {x' =F(t,x) \text{ mit } x(t_0)=x_0} { , }
wenn
\mathl{\varphi \circ \alpha}{} eine Lösung des Anfangswertproblems
\mathdisp {y' =G(t,y) \text{ mit } y(t_0)= \varphi( x_0)} { }
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Da mit $\varphi$ auch die
\definitionsverweis {Umkehrabbildung}{}{}
$\varphi^{-1}$ eine lineare Isomorphie ist, genügt es, die eine Richtung zu zeigen. Es sei also $\alpha$ eine Lösung des Anfangswertproblems zu $F$. Dann gelten
unter Verwendung von Lemma 37.11
für
\mathl{\varphi \circ \alpha}{} die Gleichheiten
\mavergleichskettealign
{\vergleichskettealign
{ { \left( \varphi \circ \alpha \right) }' (t)
}
{ =} { \varphi (\alpha'(t) )
}
{ =} { \varphi( F(t, \alpha(t)))
}
{ =} { (\varphi \circ F)( t, \alpha (t))
}
{ =} { (\varphi \circ F \circ ( \operatorname{Id} \times \varphi^{-1} ) ) ( t, (\varphi \circ \alpha) (t))
}
}
{
\vergleichskettefortsetzungalign
{ =} { G(t, (\varphi \circ \alpha) (t) )
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Ferner gilt
\mavergleichskettedisp
{\vergleichskette
{( \varphi \circ \alpha) (t_0)
}
{ =} { \varphi( \alpha(t_0))
}
{ =} { \varphi(x_0)
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn das Vektorfeld $F$ nur auf einer offenen Menge
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ I \times V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert ist, so ist entsprechend das Vektorfeld $G$ auf
\zusatzklammer {der ebenfalls offenen Menge} {} {}
\mavergleichskette
{\vergleichskette
{ (\operatorname{Id} \times \varphi) (U)
}
{ \subseteq }{ I \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert. Das Lemma gilt auch in dieser Situation.
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {gewöhnliche Differentialgleichung}{}{}
zum
\definitionsverweis {Vektorfeld}{}{}
\mavergleichskettedisp
{\vergleichskette
{ F(t,x,y)
}
{ =} { \left( tx+t^3,y^2 \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieses System ist
\definitionsverweis {entkoppelt}{}{} und besteht aus den beiden einzelnen Gleichungen
\zusatzklammer {in jeweils einer Raumvariablen} {} {}
\mathdisp {x'=t x+t^3 \text{ und } y'= y^2} { . }
Eine Lösung der linken Differentialgleichung ist
\mavergleichskette
{\vergleichskette
{ x(t)
}
{ = }{-t^2-2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
eine Lösung der rechten ist
\mavergleichskette
{\vergleichskette
{ y(t)
}
{ = }{ -t^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mathdisp {\begin{pmatrix} -t^2-2 \\-t^{-1} \end{pmatrix}} { }
eine Lösung zu $F$. Wir betrachten nun die lineare Transformation
\mavergleichskettedisp
{\vergleichskette
{ \varphi
}
{ =} { \begin{pmatrix} 4 & 3 \\ -3 & -2 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit der inversen Matrix
\mavergleichskettedisp
{\vergleichskette
{ \varphi^{-1}
}
{ =} { \begin{pmatrix} -2 & -3 \\ 3 & 4 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das transformierte Vektorfeld ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ G(t,u,v)
}
{ =} { \varphi (F(t, \varphi^{-1}(u,v)))
}
{ =} { \varphi (F(t,-2u-3v,3u+4v ))
}
{ =} { \varphi (t(-2u-3v)+t^3, (3u+4v)^2 )
}
{ =} { \varphi (t(-2u-3v)+t^3, 9u^2+24uv+16v^2 )
}
}
{
\vergleichskettefortsetzungalign
{ =} { ( 4(t(-2u-3v)+t^3)+3 (9u^2+24uv+16v^2) , -3(t(-2u-3v)+t^3)-2 (9u^2+24uv+16v^2) )
}
{ =} { (-8tu-12tv+4t^3+27u^2+72uv+48v^2, 6tu+9tv-3t^3-18u^2-48uv+32v^2)
}
{ } {}
{ } {}
}{}{.}
Für die zu $G$ gehörende Differentialgleichung
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} u' \\v' \end{pmatrix}
}
{ =} { G(t,u,v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist gemäß
Lemma 42.1
\mavergleichskettedisp
{\vergleichskette
{ \varphi ( \begin{pmatrix} -t^2-2 \\-t^{-1} \end{pmatrix} )
}
{ =} { \begin{pmatrix} -4t^2-8-3t^{-1} \\ 3t^2+6+2t^{-1} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Lösung.
}
Für eine Verallgemeinerung von Lemma 42.1, wenn $\varphi$ nicht linear, aber bijektiv und total differenzierbar ist, siehe Aufgabe 53.36.
\zwischenueberschrift{Lineare Differentialgleichungssysteme}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {offenes reelles Intervall}{}{.}
Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{v'
}
{ =} {Mv
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ n 1 } & a_{ n 2 } & \ldots & a_{ n n } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {Matrix}{}{}
ist, deren Einträge allesamt
\definitionsverweis {Funktionen}{}{}
\maabbeledisp {a_{ij}} {I} {\R
} {t} {a_{ij}(t)
} {,}
sind, heißt \definitionswort {homogene lineare gewöhnliche Differentialgleichung}{} oder \definitionswort {homogenes lineares gewöhnliches Differentialgleichungssystem}{.}
}
Es handelt sich also um die Differentialgleichung zum \definitionsverweis {Vektorfeld}{}{} \maabbeledisp {f} {I \times \R^n} {\R^n } {(t,v)} {f(t,v) = (M(t))v = \begin{pmatrix} a_{11}(t)v_1 + \cdots + a_{1n}(t)v_n \\\vdots\\ a_{n1}(t)v_1 + \cdots + a_{nn}(t)v_n \end{pmatrix} } {.}
Dieses Vektorfeld ist zu jedem fixierten Zeitpunkt
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {lineare Abbildung}{}{}
\maabbeledisp {} {{\R}^n} {{\R}^n
} {v} {M(t)v
} {.}
Ausgeschrieben liegt das Differentialgleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} v'_1 \\\vdots\\ v'_n \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11}(t)v_1 + \cdots + a_{1n}(t)v_n \\\vdots\\ a_{n1}(t)v_1 + \cdots + a_{nn}(t)v_n \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11}(t) & \cdots & a_{1n}(t) \\ \vdots & \ddots & \vdots \\ a_{n1}(t) & \cdots & a_{nn}(t) \end{pmatrix} \begin{pmatrix} v_1 \\\vdots\\ v_n \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
vor. Es gibt immer die Nulllösung, also die konstante Abbildung mit dem Nullvektor als Wert, diese nennt man auch die triviale Lösung.
Für lineare Differentialgleichungssysteme gibt es wieder eine inhomogene Variante.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {offenes reelles Intervall}{}{.}
Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{v'
}
{ =} { Mv+z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ n 1 } & a_{ n 2 } & \ldots & a_{ n n } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {Matrix}{}{}
ist, deren Einträge allesamt
\definitionsverweis {Funktionen}{}{}
\maabbeledisp {a_{ij}} {I} {\R
} {t} {a_{ij}(t)
} {,}
sind und wobei
\maabbeledisp {z} {I} {\R^n
} {t} {z(t) = \begin{pmatrix} z_1(t) \\\vdots\\ z_n(t) \end{pmatrix}
} {,}
eine Abbildung ist, heißt \definitionswort {inhomogene lineare gewöhnliche Differentialgleichung}{} oder \definitionswort {inhomogenes lineares gewöhnliches Differentialgleichungssystem}{.} Die Abbildung $z$ heißt dabei \definitionswort {Störabbildung}{.}
}
Insgesamt liegt das Differentialgleichungssystem
\mavergleichskettealign
{\vergleichskettealign
{ \begin{pmatrix} v'_1 \\\vdots\\ v'_n \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11}(t)v_1 + \cdots + a_{1n}(t)v_n +z_1(t) \\\vdots\\ a_{n1}(t)v_1 + \cdots + a_{nn}(t)v_n +z_n(t) \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11}(t) & \cdots & a_{1n}(t) \\ \vdots & \ddots & \vdots \\ a_{n1}(t) & \cdots & a_{nn}(t) \end{pmatrix} \begin{pmatrix} v_1 \\\vdots\\ v_n \end{pmatrix} + \begin{pmatrix} z_1(t) \\\vdots\\ z_n(t) \end{pmatrix}
}
{ } {
}
{ } {}
}
{}
{}{}
vor.
Die explizite Lösbarkeit eines solchen Systems hängt natürlich von der Kompliziertheit der beteiligten Funktionen \mathkor {} {a_{ij}} {und} {z_i} {} ab. In der folgenden Situation kann man das System auf einzelne eindimensionale lineare inhomogene Differentialgleichungen zurückführen und dadurch sukzessive lösen.
{Lineares Differentialgleichungssystem/Trigonalgestalt/Sukzessive Lösbarkeit/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {offenes Intervall}{}{}
und es liege eine
\definitionsverweis {inhomogene lineare gewöhnliche Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} v_1 \\v_2\\ \vdots\\v_n \end{pmatrix}'
}
{ =} { \begin{pmatrix} a_{11} & \cdots & \cdots & a_{1n} \\ 0 & a_{22} & \cdots & a_{2n} \\ \vdots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & a_{nn} \end{pmatrix} \begin{pmatrix} v_1 \\v_2\\ \vdots\\v_n \end{pmatrix} + \begin{pmatrix} z_1 \\z_2\\ \vdots\\z_n \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\definitionsverweis {stetigen Funktionen}{}{}
\maabb {a_{ij}} {I} {\R
} {}
und
\maabb {z_i} {I} {\R
} {}
und den Anfangsbedingungen
\mathdisp {v_i(t_0) =w_i \in \R \text{ für } i=1 , \ldots , n \,\, (t_0 \in I)} { }
vor.}
\faktfolgerung {Dann lässt sich diese Gleichung lösen, indem man sukzessive unter Verwendung der zuvor gefundenen Lösungen die
\definitionsverweis {inhomogenen linearen gewöhnlichen Differentialgleichungen in einer Variablen}{}{,}
nämlich
\mathdisp {v_n'= a_{nn}(t)v_n + z_n(t) \text{ mit } v_n(t_0)=w_n} { , }
\mathdisp {v_{n-1}'= a_{n-1\, n-1}(t)v_{n-1} +a_{n-1 \, n}(t) v_n(t)+ z_{n-1}(t) \text{ mit } v_{n-1}(t_0)=w_{n-1}} { , }
\mathdisp {v_{n-2}'= a_{n-2\, n-2}(t)v_{n-2} + a_{n-2 \, n-1}(t) v_{n-1}(t)+ a_{n-2 \, n}(t) v_{n}(t) + z_{n-2}(t) \text{ mit } v_{n-2}(t_0)=w_{n-2}} { , }
\mathdisp {\vdots} { }
\mathdisp {v_{1}'= a_{1 1}(t)v_{1} + a_{1 2}(t) v_{2}(t) + \cdots + a_{1n}(t) v_{n}(t) + z_{1}(t) \text{ mit } v_{1}(t_0)=w_{1}} { , }
löst.}
\faktzusatz {}
\faktzusatz {}
}
Die Lösungen eines solchen linearen Differentialgleichungssystems in oberer Dreiecksgestalt stehen also in Bijektion zu den Lösungen der $n$ linearen inhomogenen Differentialgleichungen in einer Ortsvariablen, wobei die Störfunktionen jeweils mit den anderen Lösungen in der beschriebenen Weise zusammenhängen. Insbesondere übertragen sich Existenz- und Eindeutigkeitsaussagen.
Auch wenn man ein homogenes System lösen möchte, so muss man in den Einzelschritten inhomogene Differentialgleichungen lösen.
\inputbeispiel{}
{
Wir betrachten das
\definitionsverweis {homogene lineare Differentialgleichungssystem}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y \end{pmatrix}^\prime
}
{ =} { \begin{pmatrix} { \frac{ 1 }{ t } } & t-1 \\ 0 & { \frac{ 2t }{ t^2+1 } } \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{t
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die zweite Zeile dieses Systems bedeutet
\mavergleichskettedisp
{\vergleichskette
{ y'
}
{ =} { { \frac{ 2t }{ t^2+1 } } \cdot y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
das ist eine homogene lineare Differentialgleichung in einer Variablen. Ihre Lösungen sind
gemäß Satz 32.2
gleich
\mavergleichskettedisp
{\vergleichskette
{ y(t)
}
{ =} { c { \left( t^2+1 \right) }
}
{ =} { ct^2+c
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die erste Zeile des Systems führt daher auf
\mavergleichskettealign
{\vergleichskettealign
{ x'
}
{ =} { { \frac{ 1 }{ t } } x + (t-1) y
}
{ =} { { \frac{ 1 }{ t } } x + c(t-1) { \left( t^2+1 \right) }
}
{ =} { { \frac{ 1 }{ t } } x + c { \left( t^3-t^2+t-1 \right) }
}
{ } {
}
}
{}
{}{.}
Dies ist eine
\definitionsverweis {inhomogene lineare Differentialgleichung in einer Variablen}{}{.}
Die zugehörige homogene Gleichung
\mavergleichskette
{\vergleichskette
{x'
}
{ = }{ { \frac{ 1 }{ t } } x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt $t$ als eine Lösung.
Nach Satz 32.10
müssen wir eine Stammfunktion von
\mavergleichskettedisp
{\vergleichskette
{ c { \frac{ t^3-t^2+t-1 }{ t } }
}
{ =} { c { \left( t^2-t+1- { \frac{ 1 }{ t } } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
finden, eine solche ist
\mathdisp {c { \left( { \frac{ 1 }{ 3 } } t^3 - { \frac{ 1 }{ 2 } } t^2 +t - \ln t \right) } +d} { . }
Daher ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ t { \left( c { \left( { \frac{ 1 }{ 3 } } t^3 - { \frac{ 1 }{ 2 } } t^2 +t - \ln t \right) } +d \right) }
}
{ =} { { \frac{ c }{ 3 } } t^4 - { \frac{ c }{ 2 } } t^3 +ct^2 - ct \ln t +d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die allgemeine Lösung der inhomogenen Gleichung. Also ist die allgemeine Lösung des Systems gleich
\mathdisp {\begin{pmatrix} { \frac{ c }{ 3 } } t^4 - { \frac{ c }{ 2 } } t^3 +ct^2 - ct \ln t +d t \\ct^2+c \end{pmatrix}} { . }
}
\zwischenueberschrift{Lineare Differentialgleichungssysteme mit konstanten Koeffizienten}
Falls die Funktionen $a_{ij}$ alle konstant sind, so spricht man von einem \stichwort {linearen Differentialgleichungssystem mit konstanten Koeffizienten} {,} welche im Wesentlichen mit Mitteln der linearen Algebra gelöst werden können. Dazu ist es sinnvoll, von vornherein auch komplexe Koeffizienten zuzulassen.
\inputdefinition
{}
{
Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{v'
}
{ =} { Mv
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ n 1 } & a_{ n 2 } & \ldots & a_{ n n } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {Matrix}{}{}
mit Einträgen
\mavergleichskette
{\vergleichskette
{ a_{ij}
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, heißt \definitionswort {homogene lineare gewöhnliche Differentialgleichung mit konstanten Koeffizienten}{} oder \definitionswort {homogenes lineares gewöhnliches Differentialgleichungssystem mit konstanten Koeffizienten}{.}
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {offenes Intervall}{}{.}
Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{v'
}
{ =} { Mv + z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ n 1 } & a_{ n 2 } & \ldots & a_{ n n } \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {Matrix}{}{}
mit Einträgen
\mavergleichskette
{\vergleichskette
{a_{ij}
}
{ \in }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und
\maabbdisp {z} {I} {{\mathbb C}^n
} {}
eine Abbildung, heißt \definitionswort {inhomogene lineare gewöhnliche Differentialgleichung mit konstanten Koeffizienten}{} oder \definitionswort {inhomogenes lineares gewöhnliches Differentialgleichungssystem mit konstanten Koeffizienten}{.}
} Die Störfunktion muss also nicht konstant sein.
\inputbemerkung
{}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)} + a_{n-1} y^{(n-1)} + \cdots + a_1y' +a_0 y + f(t)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine lineare
\definitionsverweis {gewöhnliche Differentialgleichung höherer Ordnung}{}{}
mit konstanten Koeffizienten, d.h. die $a_i$ sind reelle
\zusatzklammer {oder komplexe} {} {}
Zahlen. Das
gemäß Lemma 41.5
zugehörige Differentialgleichungssystem
\mavergleichskettedisp
{\vergleichskette
{ \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}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ v_i
}
{ \defeq} { y^{(i)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ h (t, v_0,v_1 , \ldots , v_{n-1})
}
{ \defeq} {-a_{n-1} v_{n-1} - \cdots - a_1y v_1-a_0 v_0 - f(t)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wird in dieser Situation zum
\definitionsverweis {linearen Differentialgleichungssystem mit konstanten Koeffizienten}{}{}
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \begin{pmatrix} v_0 \\v_1\\ \vdots\\v_{n-2}\\ v_{n-1} \end{pmatrix}'
}
{ =} { \begin{pmatrix} 0 & 1 & 0 & \ldots & \ldots & 0 \\
0 & 0 & 1 & 0 & \ldots & 0 \\
\vdots & \vdots & \ddots& \ddots & \ddots & \vdots \\
0 & \ldots & \ldots & 0 & 1 & 0 \\
0 & 0 & \ldots & \ldots & 0 & 1\\
-a_{0} & -a_1 & \ldots & \ldots & -a_{n-2} & -a_{n-1}
\end{pmatrix} \begin{pmatrix} v_0 \\v_1\\ \vdots\\\vdots\\ v_{n-2}\\ v_{n-1} \end{pmatrix} + \begin{pmatrix} 0 \\0\\ \vdots\\\vdots\\ 0\\ -f(t) \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}