數學 中,矩陣的對數是找到另一矩陣,使其矩陣指數等於某個矩陣的運算。這是對數的推廣,也是矩陣指數的逆運算。不是所有的矩陣都有矩陣對數,矩陣也可能有多於一個矩陣對數。對數矩陣的研究源於李群,因為如果一個矩陣存在矩陣對數,那麼這個矩陣對數是李代數向量空間的對應元素。

定義

編輯

矩陣指數的定義如下

 

給定矩陣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)

參考

編輯