0

ケーリー・ハミルトンの定理をfunctional calculusで証明できるか

36
0

とんとん拍子とはいかへんな
教えてとんとん〜

多項式への代入

あるとき思いついたことなのですが.
行列Aが対角化可能であり対角化により
PAP1=(λ10λ2λ30λ4)となるとします.pを多項式とすると
p(PAP1)=Pp(A)P1=(p(λ1)0p(λ2)p(λ3)0p(λ4))が成り立ちます.つまりσ(A)Aの固有値の集合とすると,多項式pへの代入はpσ(A)上での値だけで決まります.よって,このときAの固有多項式をΦAとするとσ(A)ΦA0だからΦA(A)=0(A)=0.
対角化できるとは限らない一般の場合もこのように示すことは可能でしょうか?そしてσ(A)での値に加え何があればp(A)が定まるのでしょうか?

2×2行列の場合

簡単のためにまずは2×2行列で対角化できない場合を考えていきましょう.三角化によって
A=(λα0λ),(α,λC)であるとすることができます.このときN=(0100)としてnNに対し
An=(λI+αN)n=λnI+nλαN.この計算によりケーリー・ハミルトンの定理は明らかです.実際,対角化不可能であることから固有多項式は(tλ)2であり,N2=0だからです.さらに次の定理が成り立ちます.

Aを対角化不可能な行列,p,qC[t],p(λ)=q(λ),p(λ)=q(λ)とするとp(A)=q(A)

三角化によりA=(λα0λ),(α,λC)としてよい.また,ケーリー・ハミルトンの定理と割り算によってp(t)=a(tλ)2+b(tλ)+c,q(t)=a(tλ)2+b(tλ)+cとしてよい.仮定からp(λ)=q(λ),p(λ)=q(λ)なのでそれぞれc=c,b=bが従う.ここにAを代入すると最高次の項は消えるのでp(A)=q(A).

よって導関数の固有値での値まで等しければ代入した結果が等しくなることがわかりました.より一般には次のことが成り立ちます.標準形(λI+αN)nと多項式(x+h)nで二項展開の結果が等しいことから導関数が出てきたので証明も同様です.

Aを複素n×n行列とし,その最小多項式をΨA(t)=j=1k(tλj)mjとおく.このとき多項式p,qC[t]に対して
p(λj)=q(λj),p(λj)=q(λj),,p(mj1)(λj)=q(mj1)(λj), (j=1,2,,k)
が成り立てばp(A)=q(A)

実はこの定理は逆も成り立ちます.証明は最小多項式で割り切れることを使います.詳しくは参考文献のリンクからNote,fanctional calculus for matricesをご覧ください.

まとめ

証明を見たところ,標準形と微分との関係を考えても一般の場合は三角化では厳しそうだなという印象でした.その方法でできないことを証明もできませんが...
ここまでお付き合いいただきありがとうございました.

参考文献:荷見 守助,長 宗雄,瀬戸 道夫,『関数解析入門』,内田老鶴圃
Alonso Delfín先生のページ

投稿日:20241022
更新日:20241022
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

qq_pp
qq_pp
6
3589

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中