矩阵幂级数

若标量 $f(z)=\sum_{k=0}^{\infty}c_kz^k$ 的收敛半径为 $R$,当 $\rho(A)<R$ 时,矩阵级数 $\sum_{k=0}^{\infty}c_kA^k$ 收敛并表示 $f(A)$。边界 $\rho(A)=R$ 不能用这个充分条件直接判定。

指数、正弦、余弦是整函数,对任意有限阶方阵均可通过级数定义:

$$ e^{tA}=\sum_{k=0}^{\infty}\frac{t^kA^k}{k!},\quad \sin A=\sum_{k=0}^\infty\frac{(-1)^kA^{2k+1}}{(2k+1)!}. $$

性质及边界

$$ \frac{d}{dt}e^{tA}=Ae^{tA}=e^{tA}A,\qquad e^Ae^{-A}=I. $$

若 $AB=BA$,则 $e^{A+B}=e^Ae^B=e^Be^A$;非交换时通常不能直接拆分。对任意方阵:

$$ \det(e^A)=e^{\operatorname{tr}A}. $$

注意左边是 行列式,不是矩阵 $e^A$ 本身等于标量 $e^{\mathrm{tr}A}$。

与几何的联系

原课件第42–59页。