行列の対数

数学において、行列の対数とは、行列の指数関数を施したとき与えられた行列と一致するようなもう一つの行列をいう。つまり行列の対数函数は、スカラー変数スカラー値の対数函数の一般化であり、また行列の指数関数のある意味での逆関数を与えるものとなる。必ずしも全ての行列がその対数を持つわけではなく、また対数を持つ場合であっても複数の行列を対数として持ち得る。対数を持つ行列は何らかのリー群に属し、かつ、その対数はそのリー群に付随するリー代数の元に対応するため、行列の対数函数の研究はリー理論につながる。

1. 定義
-----

与えられた正方行列 A}} に対して、1=//e////B// = //A//}} を満たす正方行列 B}} を、A}} の対数と呼び 1=//B// = log}} あるいは ln}} などで表す。複素数の場合と同様、行列の対数はしばしば一意ではない。

なお、正方行列を変数とする指数関数は、正方行列 B}} に対して

で定義される。

2. 具体例
------

正方行列 A}} に対して、 が適当な正の実数について収束すれば、である。

複素関数について、を中心としたテイラー展開は、 であり、その収束半径はであるので、ならばを十分大きくとればテイラー展開は収束する。

これを行列に当てはめれば、 正方行列A}}のすべての固有値の実数部分が正であれば、適当な正の実数について、 は収束し、である。

3. 例: 平面回転の対数
-------------

簡単な例が、平面上の回転によって与えられる。原点を中心とする角度 α}} の回転は gaps 行列

で表わされる。任意の整数 n}} に対して、行列

は A}} の対数である。したがって、A}} は無限個の対数を持つ。このことは、回転角が 2π}}}} の整数倍の違いを除いてしか決めることができないという事実に対応するものである。

リー理論の用語を用いれば、回転行列 A}} はリー群 //SO//}} の元であり、対応する対数 B}} はリー代数 unicode の元となる。行列

はリー代数 unicode の生成元である。

4. 存在性
------

「与えられた行列に対数が存在するか否か」という問題は、複素係数の範囲で考えるときに最も単純な答を持つ。この場合、与えられた行列が対数を持つための必要十分条件は、それが可逆であることである。ジョルダン標準形で考えれば、任意のに対して、であるから、となるが存在すれば、となりは対数を持つ。逆にとなるが存在すれば、となりは対数を持つ。このため、の対数の存在と、そのジョルダン標準形の対数の存在は必要十分である。一方、ジョルダン細胞については、固有値がゼロでなければ対数行列を持ち、固有値がゼロならば対数行列を持たないことが言えるので、行列が対数行列を持つには、固有値ゼロを持たない、即ち行列式がゼロでない、即ち可逆であることが必要十分と言える。

対数を持つ場合においても対数が一意とは限らないが、その行列が負の実固有値を持たないならば、そのすべての固有値が帯状領域 mset に載っているような対数はただ一つ定まり、主値あるいは「主対数 」と呼ばれる。

実係数の範囲内で考えるならば答はより込み入ってくる。実行列が実行列を対数に持つための必要十分条件は、それが可逆かつ負の固有値に属する各ジョルダン細胞が偶数回あらわれることである。可逆な実行列が、このジョルダン細胞に関する条件を満たさないならば、その対数は実でない複素行列の中でしか考えられない。この状況はスカラーの場合にすでに生じていることであり、実際 −1}} の対数は実数でない複素数である。gaps 実行列の実対数の存在性については後述する。

5. 性質
-----

A}} および B}} がともに正定値行列ならば

が成り立つ。A}} と B}} とが可換なとき

が成り立つ。ここで 1=//B// = //A//sup を代入すれば

が得られる。

6. さらなる例: 三次元空間上の回転行列の対数
------------------------

ℝ³}} における回転 //R// ∈ //SO//}} は gaps 直交行列によって与えられる。

そのような回転行列 R}} の対数はロドリゲスの回転公式の反対称成分から直ちに計算できる 。これにより、フロベニウスノルムを最小とする対数が得られるが、R}} が固有値 −1}} を持つとき、そのようなものは一意でないためうまくいかない。

さらなる注意として、回転行列 A, B}} に対して、

は回転行列全体の成す三次元多様体上の測地的距離である。

7. 対角化可能な行列の対数の計算法
------------------

対角化可能行列 A}} に対する ln   //A//}} の求め方は以下のようにする。

行列 A}} の固有ベクトルからなる行列 V}} を求める。
V}} の逆行列 //V//sup を求める。このとき

と置けば A'}}}} は A}} の固有値が対角成分に並んだ対角行列となる。

ln}} を得るためには、A'}}}} の対角成分をそれぞれの自然対数で置き換えればよい。これにより

を得る。

このような A}} の対数が複素行列となりうることは、各成分が実かつ正の行列が負のあるいはさらに複素数の固有値を持ち得るという事実から従う。この種の行列の対数が一意でないことは、複素数の対数が一意でないことから生じてくる。

8. 対角化が不可能な行列の対数
----------------

8.1. ジョルダン細胞の対数行列
-----------------

ジョルダン細胞とは、n次正方行列で、のとき、、、のときとなる行列である。

のとき、ジョルダン細胞の対数行列の各成分は、

のとき、、のときである。

このことは、次のことからわかる。のとき、ジョルダン細胞の成分は、を変数とみて、成分を回微分したものとなっている。同様の性質は、、単位行列、同様の性質を持つ行列の定数倍、同様の性質を持つ行列どうしの和についても成り立つ。このため、についても同様の性質が成り立つ。の対角成分は明らかにであるから、そこから順次微分して他の成分が分かる。

8.2. 英語版よりの直訳
-------------

上述のアルゴリズムは

ような対角化不可能な行列については適用できない。このような行列に対しては、そのジョルダン分解を計算する必要があり、また上述のような対角成分の対数ではなく、label=ジョルダン細胞の対数を計算することになる。

後者の作業については、ジョルダン細胞が

のような形に書き表せることに注意することで達成される。ここで、K}} は主対角成分およびその下がすべて 0}} であるような行列である。

このとき、メルカトル級数

を用いれば

を得る。一般には、この級数は任意の行列 K}} に対して収束するわけではないが、今の場合に限っては K}} は冪零行列であるから、実際には有限項しかない。

このやり方で、例えば

を得る。

9. 関数解析学的な側面
------------

正方行列はユークリッド空間 Rsup上の線形作用素を表現する。そのような空間は有限次元であるから、この作用素は実際に有界である。

正則汎函数計算の道具立てを用いると、複素数平面内の開集合上で定義された正則関数 //f//}} および有界作用素 T}} に対し、//f//}} が T}} のスペクトル上で定義される限りにおいて、//f//}} を計算することができる。

関数 1=//f// = ln   //z//}} は、複素数平面内の原点を含まない任意の単連結開集合上で定義することができて、かつそのような領域上で正則である。このことは T}} のスペクトルが原点を含まず、原点から無限遠点へ向かう T}} のスペクトルを横切らない径路が存在するならば ln   //T//}} が定義できることを示している。

ユークリッド空間の場合に立ち戻ると、この空間上の線形作用素のスペクトルはその表現行列の固有値全体の成す集合であり、それは有限集合である。そのスペクトルに原点が含まれないである限りにおいて、前段落で述べた径路に関する条件などは明らかに満たされるので、その論法により ln   //T//}} が定義可能である。この種の行列の対数が一意でないことは、行列の固有値集合上で定義される対数函数の分枝が複数選びうるという事実から生じる。

10. リー群論的な側面
------------

リー群論において、リー代数 unicode から対応するリー群 G}} への指数写像

が存在する。行列リー群に対して、unicode および G}} の元は正方行列であり、指数写像は行列の指数関数で与えられる。その逆写像 1=log := expsup は多価であり、本項で扱う行列の対数と一致する。対数写像はリー群 G}} を付随するリー代数 unicode へ写す。ここで、指数写像は零行列 underline の近傍 U}} と単位行列 underline の近傍 V}} の間の局所微分同相写像であることに注意する。したがって、対数函数は

なる写像として矛盾なく定義される。このとき、ヤコビの公式の重要な系として

が成り立つ。

11. 2 に限った話
-----------

2 実行列が負の行列式を持つとき、その実対数は存在しない。まず初めに、任意の gaps 実行列は三種類の複素数 1=//z// = //x// + //y//ε}}のいずれか一種類と見なすことができて、そのときの z}} はgaps 実行列全体の成す環の部分複素数平面上の点になっていることに注意する。

行列式が負であるような場合は 1=ε² = +1}} の場合、すなわち分解型複素数平面上にしか存在しない。この平面のうちの1/4のみが指数写像の像であって、この部分においてのみ対数写像が定義できる。三つある他の象限は ε}} と −1}} が生成するクラインの四元群の作用による一つ目の象限の像になる。

たとえば、1=//a// = ln   2}}とすれば、行列の形で

と書くことができるから、この行列は

を対数に持つ。しかし、以下の行列

.は対数を持たない。これらは、上述の四元群の作用の下で対数を持つ上記の行列 A}} の共軛として得られるほかの三つを表している。

正則な gaps 実行列 2 x 2 行列が必ずしも対数を持つとは限らないが、この四元群による作用のもと対数を持つ行列に共役になる。

また以下のようなことも従う。たとえば、上述の行列 A}} のlabel=平方根は指数函数に /2}} を代入することにより、直接的に

と計算することができる。

より豊かな例として、初めに ピタゴラスの三つ組 }} をとって //a// =}} ln − ln   //q//}} とおくと

が成り立つ。するといま

となるから

は行列

を対数に持つ。

12. 関連項目
--------

行列値関数
行列の平方根
行列指数関数

13. 脚注
------

13.1. 出典
--------

14. 参考文献
--------

title=The Theory of Matrices.
title=On the existence and uniqueness of the real logarithm of a matrix.
title=Functions of Matrices. Theory and Computation.

15. 外部リンク
---------