proof of equivalence of formulas for exp
We present an elementary proof that:
There are of course other proofs, but this one has the advantage that it carries verbatim for the matrix exponential and the operator exponential
.
At the outset, we observe that converges by the ratio test.For definiteness, the notation below will refer to exactly this series.
Proof.
We expand the right-hand in the straightforward manner:
where denotes the coefficient
Let .Given , there is a such that whenever , then,since the sum is the tail of the convergent series .
Since for , there is also a , with , so that whenever and , then.(Note that is chosen only from a finite set.)
Now, when , we have
(In the middle sum, we use the bound for all and .) | ||||
In fact, we have proved uniform convergence of over .Exploiting this fact we can also show:
Proof.
.Given , for large enough , we have
Since , for large enough we can set above.Since the exponential is continuous11follows from uniform convergence on bounded subsets of either expression for , for large enough we also have . Thus