矩阵对数

对数矩阵的定义如下

${\displaystyle e^{A}\equiv \sum _{n=0}^{\infty }{\frac {A^{n}}{n!}}}$ 。

给定矩阵B ，若满足 e^A = B则称矩阵A是矩阵B的矩阵对数 。因为对于复数而言指数不是一对一的（例如 ${\displaystyle e^{\pi i}=e^{3\pi i}=-1}$ ），一个数可以有多个复数对数，因此，一些矩阵可能有多个矩阵对数，如下所述。

如果矩阵 B 与单位矩阵足够接近，那么B的矩阵对数可以表示为如下的幂级数：

${\displaystyle \mathrm {log} (B)=\sum _{k=1}^{\infty }{(-1)^{k+1}{\frac {(B-I)^{k}}{k}}}=(B-I)-{\frac {(B-I)^{2}}{2}}+{\frac {(B-I)^{3}}{3}}\cdots }$ 

如果 ${\displaystyle \left\|{B-I}\right\|<1}$ ，那么该级数收敛且 ${\displaystyle e^{\mathrm {log} (B)}=B}$ 。^[1]

这里给出一个简单的平面旋转矩阵的例子。绕原点逆时针旋转α弧度的旋转可表示为一个2×2矩阵

${\displaystyle A={\begin{bmatrix}\cos(\alpha )&-\sin(\alpha )\\\sin(\alpha )&\cos(\alpha )\\\end{bmatrix}}}$ 

对于任何整数n ，矩阵

${\displaystyle B_{n}=(\alpha +2\pi n){\begin{bmatrix}0&-1\\1&0\\\end{bmatrix}}}$ 

是A的矩阵对数。因此，矩阵A具有无穷多个矩阵对数。 这意味着旋转${\displaystyle 2\pi }$ 的整数倍会回到初始位置。

在李群中，旋转矩阵A是李群SO（2）的元素。对应的矩阵对数B是李代数的元素，因此（2）由所有反对称矩阵组成 。矩阵

${\displaystyle {\begin{bmatrix}0&1\\-1&0\\\end{bmatrix}}}$ 

是李代数 SO(2)的生成元。

对于一个复矩阵，该矩阵存在矩阵对数当且仅当它是可逆的。 ^[2] 如果一个矩阵没有负实特征值，那么它的矩阵对数不是唯一的，其中，在{z∈C | -π<Im z <π}中的对数称为对数主值 。 ^[3]

对于一个实矩阵，该矩阵存在实矩阵对数当且仅当它是可逆的并且负特征值对应的每个若尔当块出现偶数次。 ^[4] 如果可逆实矩阵不满足若尔当块的条件，那么它只有非实对数。 在实数的情况下体现为：对数在-1处不是实的。

如果A和B都是正定矩阵 ，那么

${\displaystyle \operatorname {tr} {\log {(AB)}}=\operatorname {tr} {\log {(A)}}+\operatorname {tr} {\log {(B)}}}$ 

如果A和B是可交换的，即AB = BA ，那么

${\displaystyle \log {(AB)}=\log {(A)}+\log {(B)}.\,}$ 

把B = A ^-1代入上式 ，得到

${\displaystyle \log {(A^{-1})}=-\log {(A)}}$ 

• 矩阵函数
• 矩阵的平方根
• 矩阵指数
• 贝克-坎贝尔-豪斯多夫公式

1. ^ Hall 2015 Theorem 2.8
2. ^ Higham (2008), Theorem 1.27
3. ^ Higham (2008), Theorem 1.31
4. ^ Culver (1966)

• Gantmacher, Felix R., The Theory of Matrices 1, New York: Chelsea: 239–241, 1959  。
• Hall, Brian C., Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Texts in Mathematics 222 2nd, Springer, 2015, ISBN 978-3319134666 
• Culver, Walter J., On the existence and uniqueness of the real logarithm of a matrix, Proceedings of the American Mathematical Society, 1966, 17 (5): 1146–1151, ISSN 0002-9939, doi:10.1090/S0002-9939-1966-0202740-6  。
• Higham, Nicholas, Functions of Matrices. Theory and Computation, SIAM, 2008, ISBN 978-0-89871-646-7  Higham, Nicholas, Functions of Matrices. Theory and Computation, SIAM, 2008, ISBN 978-0-89871-646-7  。
• Engø, Kenth, On the BCH-formula in so(3), BIT Numerical Mathematics, June 2001, 41 (3): 629–632 [2019-03-25], ISSN 0006-3835, doi:10.1023/A:1021979515229, （原始内容存档于2016-03-03）