A が対角化可能なとき e^(At) のべき級数が S e^(Λt) S⁻¹ にまとまるのはなぜで、階乗がどんな行列でも収束を保証するのはなぜでしょうか。
日本語版の動画は準備中です(英語版を表示しています)
読み込み中…
置き換え による系の切り離し
を代入し、対角な系 ()に帰着させ、各 を解き、元に戻して を得ましょう。
べき級数による定義
をスカラーの の級数と並べて書き、階乗のおかげで、どんな とどんな に対しても収束することを書き留めましょう。
( が対角化可能なとき)
級数の各項に を代入し、各べき乗で内側の因子を打ち消して と を外にくくり出し、 を を並べた対角行列として書きましょう。
等比級数
を、 が小さいときの近似 とともに書き、収束の条件、つまり のすべての固有値が を満たすことを書き留めましょう。