Weak Existence of Matrix Logarithm

Theorem
Let $T$ be a square matrix of order $n$.

Let $\norm {T - I} < 1$ in the norm on bounded linear operators, where $I$ the identity matrix.

Then there is a square matrix $S$ such that:
 * $e^S = T$

where $e^S$ is the matrix exponential.

Proof
Define:


 * $\ds S = \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n - 1} } n \paren {T - I}^n$

$S$ converges since $\norm {T - I} < 1$.

We have that $\ds \sum_{n \mathop = 1}^\infty \frac {\paren {-1}^{n - 1} } n \norm {T - I}^n$ is the Newton-Mercator Series.

This converges since $\norm {T - I} < 1$.

Hence the series for $S$ converges absolutely, and so $S$ is well defined.

Using the series definition for the matrix exponential:

If $c_i = 0$ for $i \ge 2$, then $e^S = T$, and the result is shown.

The Newton-Mercator Series is a Taylor expansion for $\map \ln {1 + x}$.

When combined with the Power Series Expansion for Exponential Function, it gives:

But $e^{\map \ln {1 + x} } = 1 + x$.

Thus:
 * $1 + x = 1 + x + c_2 x^2 + c_3 x^3 + \cdots \implies c_i = 0$

for $i \ge 2$.

Also see

 * Existence of Matrix Logarithm