コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

ヤコビの公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』

行列の微分積分学英語版において、ヤコビの公式英語: Jacobi's formula)は行列 A の導函数および余因子を用いて行列式導函数を表す方法である[1]

A を実数から n × n 行列への微分可能な写像とすると、tr(X) を行列 Xとして

となる(右の等号は A(t)正則な場合にのみ成立する)。

特殊例として、次の式が成り立つ。

dAA の導函数とすると、公式は次のようになる。

名称は数学者カール・グスタフ・ヤコブ・ヤコビにちなむ。

導出

[編集]

行列計算による方法

[編集]

次の補題を先に証明する。

補題 AB を同次元 n での正方行列の組とする。このとき、次の式が成り立つ。

証明 行列の積 AB は次の成分を持つ。

行列 A転置行列 AT で置き換えることは、成分の添字を並び替えることと等しい。

結果は両辺の跡を取ることで導かれる。

定理(ヤコビの公式) 実数から n × n 行列への微分可能な任意の写像 A に対して

が成り立つ。

証明 A の行列式に対する余因子展開は次のように表せられる。

和は行列の任意の行 i に対して実行されることに注意。

A の行列式は A の要素の函数と見なせる。

それゆえ、連鎖律より、導函数は

となる。

この加算は行列の n × n 要素すべてで実行される。

余因子展開右辺の F/∂Aij を得るために、添字 i は任意に定められる(計算を最適化するため。他の任意の選択からも同様の結果が得られるが、過程がより困難なものとなりうる)。特に、∂ / ∂Aij の最初の添字と一致するように選ぶことができる。

積の微分法則より

となる。

ここで、もし行列 Aij の要素および要素 Aik余因子 adjT(A)ik が同じ行(あるいは列)にある場合、Aik の余因子はその行(あるいは列)以外の要素で表されることから、余因子は Aij の函数とならない。それゆえ

であり、

A のすべての要素は互いに独立であるから、δクロネッカーのデルタとして

それゆえ

すなわち

となり、補題を用いることで次の結果が得られる。

連鎖律による方法

[編集]

補題1 det'det の導函数として、det'(I) = tr である。この等式は単位行列によって定まる det の導関数は跡と等しいことを意味している。導関数 det'(I)n × n 行列を実数へ写す線形演算子である。

証明 方向微分の定義と微分可能な函数の基本的な性質を用いることで、次の式を得る。

det(I + εT)n 次元での ε に関する多項式であり、T固有多項式と密接にかかわる。定数項(ε = 0)は1であり、ε の一次項は trT となる。

補題2 正則行列 A に対して、det'(A)(T) = det A tr(A−1T) である。

証明 X の函数

を考える。

det X の導函数を計算し、上式の通り補題1を用いて X = A での値を求め、連鎖律を用いることで

を得る。

定理(ヤコビの公式)

証明 A が正則な場合、補題2より、T = dA/dt を用いて

となる。

A から A−1 への余因子と関連する等式を用いる。正則線形行列は行列空間上で稠密であるから公式はすべての行列に対し成り立つ。

対角化による方法

[編集]

ヤコビ公式の両辺は A および A'係数に関して多項式である。それゆえ A の固有値が相異なり、かつゼロでないような稠密な部分集合上で多項恒等式を示せば十分である。

A の因子が A = BC のように微分可能ならば、

である。

特に、L が正則ならば、I = L−1 L かつ

である。

A は相異なる固有値を持つから、A = L−1 DLD は対角行列)を満たす微分可能な複素正則行列 L が存在する。 このとき

である。

λii = 1, ... , n)を A の固有値とする。このとき

すなわち相異なるゼロでない固有値を持つ行列 A に対するヤコビ公式となる。

[編集]

次の式は行列指数函数の行列式とを結びつける有用な関係式である。

この事実は対角行列に対して明らかであり、以下に一般化された証明を述べる。

任意の正則行列 A(t) に対し、連鎖律の部分で次のことを示した。

ここで A(t) = exp(tB) の場合を考えることで、次の式を得る。

この微分方程式を解くことで、求める結果が得られる。

応用

[編集]

ヤコビの公式は固有多項式を解くためのファデーエフ=ルヴェリエ法英語版や、ケイリー・ハミルトンの定理の応用で用いられる。例えば、上記で示された式

に対して A(t) = tIB を用いることで

が得られる。ただし adj余因子行列を表す。

脚注

[編集]
  1. ^ Magnus & Neudecker (1999, pp. 149–150), Part Three, Section 8.3

参考文献

[編集]
  • Magnus, Jan R.; Neudecker, Heinz (1999). Matrix Differential Calculus with Applications in Statistics and Econometrics (Revised ed.). Wiley. ISBN 0-471-98633-X. https://books.google.com/books?id=0CXXdKKiIpQC 
  • Bellman, Richard (1997). Introduction to Matrix Analysis. SIAM. ISBN 0-89871-399-4. https://books.google.com/books?id=QVCflvTPYE8C