Convergence of the matrix exponential and its first bounds
Statement
Throughout, is the operator norm on , so and .
Show that for every the series converges absolutely, and that
Deduce that is continuous.
Hint
By submultiplicativity, . Compare with the scalar exponential series.
Show solutionHide solution
Solution
Idea. The series of norms is dominated by the scalar series , which converges.
Absolute convergence. Submultiplicativity gives by induction on (with and for the operator norm). Hence
Since is complete (it is ), an absolutely convergent series converges, so is well defined.
The two bounds. By the triangle inequality for series,
and, removing the term (which is ),
Continuity. On the ball the -th term is bounded by , and . By the Weierstrass M-test the series converges uniformly on this ball. Each partial sum is a polynomial in the entries, hence continuous, and a uniform limit of continuous functions is continuous. So is continuous on every ball, hence on .
Remark. (For the Frobenius norm , and the first bound would need the factor ; the second bound is unchanged.) The bound shows that is close to when is small: this is the starting point of the local study of and near .