TheoremBase

The State-Transition Matrix of a Constant Coefficient Matrix Is a Matrix Exponential

For the constant coefficient map t -> M on [a,b], the state-transition matrix is Phi(t,s) = e(t−s)Me^{(t-s)M} for all s and t in [a,b].

Statement

In the settings of Single-Variable Calculus on an Interval and Euclidean Space and Real Matrices: Standing Notation, let a,b∈Ra,b\in\mathbb{R} with a<ba<b, let n∈Nn\in\mathbb{N} and M∈Mn(R)M\in\mathcal{M}_{n}(\mathbb{R}), and let A:[a,b]→Mn(R)A:[a,b]\to\mathcal{M}_{n}(\mathbb{R}) be the map with A(t)=MA(t)=M for every t∈[a,b]t\in[a,b], which is continuous on [a,b][a,b] by Continuity of Vector- and Matrix-Valued Maps: the Componentwise Criterion, Norms and Algebraic Operations (iv) and Continuity of Vector- and Matrix-Valued Maps: the Componentwise Criterion, Norms and Algebraic Operations (v). Let ΦA\Phi_{A} be the state-transition matrix of AA, and for X∈Mn(R)X\in\mathcal{M}_{n}(\mathbb{R}) let eXe^{X} be the exponential of XX.

ΦA(t,s)=e(t−s)M\Phi_{A}(t,s)=e^{(t-s)M} for all s,t∈[a,b]s,t\in[a,b].

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…