Maths WorkshopMaths problems with full solutions
Exercise 290Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL2Added 6 Nov 2026

Convergence of the matrix exponential and its first bounds

#matrix exponential#absolute convergence#submultiplicative norm

Statement

Throughout, ∥⋅∥\|\cdot\| is the operator norm on Mn(R)M_n(\mathbb{R}), so ∥AB∥≤∥A∥ ∥B∥\|AB\|\le\|A\|\,\|B\| and ∥I∥=1\|I\|=1.

Show that for every A∈Mn(R)A\in M_n(\mathbb{R}) the series eA=∑k≥0Akk!e^A=\sum_{k\ge0}\frac{A^k}{k!} converges absolutely, and that
∥eA∥≤e∥A∥,∥eA−I∥≤e∥A∥−1.\|e^A\|\le e^{\|A\|},\qquad\|e^A-I\|\le e^{\|A\|}-1.
Deduce that exp⁡:Mn(R)→Mn(R)\exp:M_n(\mathbb{R})\to M_n(\mathbb{R}) is continuous.

Hint

By submultiplicativity, ∥Ak∥≤∥A∥k\|A^k\|\le\|A\|^k. Compare with the scalar exponential series.

Show solutionHide solution

Solution

Idea. The series of norms is dominated by the scalar series ∑∥A∥k/k!\sum\|A\|^k/k!, which converges.

Absolute convergence. Submultiplicativity gives ∥Ak∥≤∥A∥k\|A^k\|\le\|A\|^k by induction on kk (with A0=IA^0=I and ∥I∥=1\|I\|=1 for the operator norm). Hence
∑k≥0∥Akk!∥≤∑k≥0∥A∥kk!=e∥A∥<∞.\sum_{k\ge0}\left\|\frac{A^k}{k!}\right\|\le\sum_{k\ge0}\frac{\|A\|^k}{k!}=e^{\|A\|}<\infty.
Since Mn(R)M_n(\mathbb{R}) is complete (it is Rn2\mathbb{R}^{n^2}), an absolutely convergent series converges, so eAe^A is well defined.

The two bounds. By the triangle inequality for series,
∥eA∥≤∑k≥0∥A∥kk!=e∥A∥,\|e^A\|\le\sum_{k\ge0}\frac{\|A\|^k}{k!}=e^{\|A\|},
and, removing the term k=0k=0 (which is II),
∥eA−I∥=∥∑k≥1Akk!∥≤∑k≥1∥A∥kk!=e∥A∥−1.\|e^A-I\|=\Big\|\sum_{k\ge1}\frac{A^k}{k!}\Big\|\le\sum_{k\ge1}\frac{\|A\|^k}{k!}=e^{\|A\|}-1.

Continuity. On the ball {∥A∥≤R}\{\|A\|\le R\} the kk-th term is bounded by Rk/k!R^k/k!, and ∑Rk/k!<∞\sum R^k/k!<\infty. By the Weierstrass M-test the series converges uniformly on this ball. Each partial sum ∑k≤NAk/k!\sum_{k\le N}A^k/k! is a polynomial in the entries, hence continuous, and a uniform limit of continuous functions is continuous. So exp⁡\exp is continuous on every ball, hence on Mn(R)M_n(\mathbb{R}).

Remark. (For the Frobenius norm ∥I∥=n\|I\|=\sqrt n, and the first bound would need the factor n\sqrt n; the second bound is unchanged.) The bound ∥eA−I∥≤e∥A∥−1\|e^A-I\|\le e^{\|A\|}-1 shows that eAe^A is close to II when AA is small: this is the starting point of the local study of exp⁡\exp and log⁡\log near II.