The derivative of the matrix exponential and the one-parameter group property
Statement
Let . Show that is differentiable with , and that it is a continuous group homomorphism .
Hint
A power series in can be differentiated termwise inside its disc of convergence. For the homomorphism property, use the commuting case .
Show solutionHide solution
Solution
Termwise differentiation. We have , a power series in the real variable with matrix coefficients. Its entries are real power series in with infinite radius of convergence (each entry is bounded by times a constant). A power series may be differentiated termwise on its interval of convergence, so
(The matrix can be pulled out on the left or on the right: .)
Homomorphism. For the matrices and commute, so
In particular , so is invertible with inverse : the map takes values in .
Continuity. It is differentiable, hence continuous (or: composition of the continuous maps and ).
Remark. The matrix function is the unique solution of the linear differential equation , : if is another one, , so is constant . This uniqueness is used in the classification of one-parameter subgroups below.