とんとん拍子とはいかへんな
教えてとんとん〜
あるとき思いついたことなのですが.
行列
対角化できるとは限らない一般の場合もこのように示すことは可能でしょうか?そして
簡単のためにまずは
三角化により
よって導関数の固有値での値まで等しければ代入した結果が等しくなることがわかりました.より一般には次のことが成り立ちます.標準形
が成り立てば
実はこの定理は逆も成り立ちます.証明は最小多項式で割り切れることを使います.詳しくは参考文献のリンクからNote,fanctional calculus for matricesをご覧ください.
証明を見たところ,標準形と微分との関係を考えても一般の場合は三角化では厳しそうだなという印象でした.その方法でできないことを証明もできませんが...
ここまでお付き合いいただきありがとうございました.
参考文献:荷見 守助,長 宗雄,瀬戸 道夫,『関数解析入門』,内田老鶴圃
Alonso Delfín先生のページ