Definition
Matrix exponential
The absolutely convergent power series sum A^n/n! for a square real or complex matrix.
For a square matrix , its matrix exponential is
The operator norm bounds this series by , proving absolute convergence. The same definition works for a bounded operator on a Banach space.
Constant-coefficient evolution
Termwise differentiation gives , so is the propagator of . Also , hence is invertible. For distinct matrices, is guaranteed when and is false in general without a commutation hypothesis.