Lineares Differentialgleichungssystem/Konstante Koeffizienten/Basiswechsel/Fakt/Beweis

Beweis

Es sei vorausgesetzt, dass

{}v'=Mv\,

ist. Dann gelten für ${}w=Bv$ mit ${}B=(b_{ij})_{ij}$ die Gleichungen

{}{\begin{aligned}w'(t)&={\begin{pmatrix}w_{1}'(t)\\\vdots \\w_{n}'(t)\end{pmatrix}}\\&={\begin{pmatrix}(b_{11}v_{1}(t)+\cdots +b_{1n}v_{n}(t))'\\\vdots \\(b_{n1}v_{1}(t)+\cdots +b_{nn}v_{n}(t))'\end{pmatrix}}\\&={\begin{pmatrix}b_{11}v'_{1}(t)+\cdots +b_{1n}v'_{n}(t)\\\vdots \\b_{n1}v'_{1}(t)+\cdots +b_{nn}v'_{n}(t)\end{pmatrix}}\\&=B{\begin{pmatrix}v_{1}'(t)\\\vdots \\v_{n}'(t)\end{pmatrix}}\\&=BM{\begin{pmatrix}v_{1}(t)\\\vdots \\v_{n}(t)\end{pmatrix}}\\&=BMB^{-1}{\begin{pmatrix}w_{1}(t)\\\vdots \\w_{n}(t)\end{pmatrix}},\end{aligned}}

so dass ${}w$ die Differentialgleichung

{}w'=Nw\,

löst. Die inverse Transformation zeigt, dass zu einer Lösung von ${}w'=Nw$ die Abbildung ${}B^{-1}w$ eine Lösung für ${}v'=Mv$ ist.