General Fundamental Matrix

From ProofWiki
Jump to navigation Jump to search


Let $\map \Phi t$ be a fundamental matrix of the system $x' = \map A t x$.


$\map \Phi t C$

is a general fundamental matrix of $x' = \map A t x$, where $C$ is any nonsingular matrix.


$\map \Phi t C$ is a fundamental matrix as follows:

$\dfrac \d {\d t} \map \Phi t C = \map {\Phi'} t C = \map A t \map \Phi t C$
$\map \det {\map \Phi t C} = \map \det {\map \Phi t} \map \det C \ne 0$

Let $\map \Psi t$ be an arbitrary fundamental matrix.

Then from General Vector Solution of Fundamental Matrix $\map \Phi t \map {\Phi^{-1} } {t_0} \map \Psi {t_0}$ solves the same matrix equation and has the same initial conditions.

Hence by uniqueness:

$\map \Phi t \, \map {\Phi^{-1} } {t_0} \map \Psi {t_0}$ is equal to $\map \Psi t$

Letting $C = \map {\Phi^{-1} } {t_0} \map \Psi {t_0}$ finishes the proof.