正定値行列とその実数乗
📂行列代数正定値行列とその実数乗
定義
正定行列である行列 A≥0 と実数 t∈R に対して、A の**t乗数**t-powerを次のように定義する。
At:=exp(tlogA)
ここで、exp と log はそれぞれ行列指数関数と行列対数関数である。
説明
一般に、行列の乗数 At は自然数 t∈N に対して、行列の積を t 回取ることで定義され、A が可逆行列である場合には逆行列 A−1 が存在し、整数 t∈Z に対して一般化できる。
さらに、A が正定行列である場合、その行列対数 logA が存在し、すべての固有値が正であるため、At を実数 t に対して自然に一般化できる。すべての固有値が正であることと At の存在性がどのような関係にあるかは、以下の定理の証明過程で容易に納得できるだろう。
定理
正定行列 A と実数 t に対して、At が一意に存在する。
証明
エルミート行列の空間と正定行列の凸集合をそれぞれ Hn と Pn と表すようにする。t が実数と仮定されるため、証明過程で軽率に etE=eteE のような操作を使用できないことに注意。
補助定理1: 行列指数関数のユニタリ対角化
スペクトル理論: A がエルミート行列であることとユニタリ対角化可能であることは同値である:
A=A∗⟺A=QΛQ∗
エルミート行列 X∈Hn はスペクトル理論によって X=QDQ∗ で対角化できる。このとき、Q はユニタリ行列であり、D はA の固有値からなる対角行列である。したがって、次が成り立つ。
expX=====eXk=0∑∞k!1Xkk=0∑∞k!1QDkQ∗Q[k=0∑∞k!1Dk]Q∗QeDQ∗
補助定理2: 行列と行列指数関数の固有値
X=QDQ∗ の固有値を d1,⋯,dn と表すと、つまり expX=QeDQ∗ において D=diag(d1,⋯,dn) とすると、次が成り立つ。
eX===Qk=0∑∞k!1d1000⋱000dnkQ∗Q∑kd1k/k!000⋱000∑kdnk/k!Q∗Qed1000⋱000ednQ∗
以下の必要十分条件も同様の方法で導出できる。
X=Qd1000⋱000dnQ∗⟺eX=Qed1000⋱000ednQ∗
具体的な形式
正定行列 A に行列対数 log:Pn→Hn を取った logA はエルミート行列であるため、同様に
t⋅logA=t⋅UEU∗=U[tE]U∗
というユニタリ対角化が可能である。λ1,⋯,λn をA の固有値とすれば、ここで E はそれぞれの固有値に対数を取り、対角行列とした diag(logλ1,⋯,logλn) であり、具体的な At の形を確認できる。
At====exp(tlogA)UetEU∗Uetlogλ1000⋱000etlogλnU∗Uλ1t000⋱000λntU∗∵Lemma 1∵Lemma 2
証明過程では、At の存在性はスペクトル理論と行列対数が全単射であることを通して確認でき、対角行列が正の乗数できれいに表されるため、他のAt が存在する余地がないことが確認できる。例として、正定行列A の平方根行列 A は一意に存在するだろう。
■