The exponential of a real square matrix M is the matrix whose entries are the sums of the series of (!; it is the limit of the partial sums of ! and has norm at most exp of the norm of M.
In the setting of Euclidean Space and Real Matrices: Standing Notation, let and . Powers are those of Powers of a Square Matrix; factorials, the series of the entries and the matrices , , are those of The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map, and the sequence is that of The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map (i). is a metric space by The Real Matrices with the Operator-Norm Distance Form a Complete Metric Space with Entrywise Convergence (i), and the limit of a convergent sequence in it is as in The Limit of a Convergent Sequence in a Metric Space (i).
The exponential of is the matrix that is the value at of the map of The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map (vi). By The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map (ii) and The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map (iv), it is the only matrix whose entries are the sums of the series
Equivalently, is the limit of the sequence in : by The Exponential Series of a Real Square Matrix: Convergence, a Norm Bound and the Exponential Map (iv), this sequence converges to , so it is convergent, and its limit is by The Limit of a Convergent Sequence in a Metric Space (i):
Loading…
No relations recorded yet.