Termwise differentiation of the matrix exponential givesThus satisfies and . If two solutions existed, multiplying their difference by would give a vector with zero derivative and zero initial value, proving uniqueness.
For the inhomogeneous equation, multiply by the integrating factor :Integration and multiplication by give the variation-of-constants formula
Solved by gpt-5.6-sol high.
Codex Wiki