授業のための覚書*1。 Cayley-Hamiltonの定理*2, 剰余の定理*3, Lagrange の補間*4を用いると、対角化の操作*5をスルーして行列のn乗を求めることができるのでメモ*6。シルベスターの公式*7の応用例()になっている。行列のn乗なんて、ケーリー・ハミルトンの定理の式で与えらえる行列の多項式の剰余類への還元だから、多項式の剰余の定理を使えば十分。例題は行列: より の解を , , とすると*8、 (, も同様)である。これは3点 , , を通る2次関数を求めることに他ならないから、ラグランジュ補間の公式より
.
よって行列 の固有値 , , が非零で縮退がないならば
行列の乗:公式の意味はケイリー・ハミルトンの定理より固有値に属する固有ベクトルの空間への射影をとる行列(Frobenius covariant, フロベニウス共変行列*9)を構成できるということ*10。だからこんな応用もある;
.
逆行列():
.
任意のベクトルの固有ベクトルへの分解():式の形はきれいだけど、一般の場合に計算のコストが高そう。この式のありがたみの極大値は「整数成分の行列の筆算」くらいかも。
.
*1:筆算での処理を念頭に置いている。数式処理ソフトで瞬殺という意見はいまは無しの方向で。
*6:ケーリーハミルトン n乗 - Google 検索 剰余類を用いた解法、漸化式と関連付けた解法は、高校数学に行列があった頃のページがいくつか残っているようだ。
*7:Sylvester's formula - Wikipedia このページには固有値が縮退をしている一般の場合の公式も記述されている。
*8:ここでは重解を持たないと前提する。