跳转到内容

矩阵对数

维基百科,自由的百科全书

数学 中,矩阵的对数是找到另一矩阵,使其矩阵指数等于某个矩阵的运算。这是对数的推广,也是矩阵指数的逆运算。不是所有的矩阵都有矩阵对数,矩阵也可能有多于一个矩阵对数。对数矩阵的研究源于李群,因为如果一个矩阵存在矩阵对数,那么这个矩阵对数是李代数向量空间的对应元素。

定义

[编辑]

矩阵指数的定义如下

给定矩阵B ,若满足 eA = B则称矩阵A是矩阵B矩阵对数 。因为对于复数而言指数不是一对一的(例如 ),一个数可以有多个复数对数,因此,一些矩阵可能有多个矩阵对数,如下所述。

幂级数表示

[编辑]

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

如果 ,那么该级数收敛且 [1]

示例:平面旋转矩阵的对数

[编辑]

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

对于任何整数n ,矩阵

A的矩阵对数。因此,矩阵A具有无穷多个矩阵对数。 这意味着旋转的整数倍会回到初始位置。

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

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

存在性

[编辑]

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

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

性质

[编辑]

如果AB都是正定矩阵 ,那么

如果AB是可交换的,即AB = BA ,那么

B = A -1代入上式 ,得到

参看

[编辑]

注释

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

参考

[编辑]