レッスン6part

Transcription

1 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II レッスン ジョルダン分解 Pa II このレッスンでは ジョルダン分解の応用として 行列関数の定義 スペクトル写像定理 微分方程式解法を扱う 行列関数 f ( の定義には 最初の節で定義する M 演算による方法がわかりやすい 直接代入形 ジョルダン分解代入形である M 演算形 コーシーの積分公式 f ( f( λ( λ π i I dz の順に一般化していく ここに f ( λ は のスペクトル ( 固 有値全体 を含む 複素領域内でいたるところ微分可能な関数 は のスペクトルを内部に含むその領域内の閉積分路 を表す M 演算形からスペクトル写像定理 de( λi ( λ λ ( λ λ なら de( f( λi ( f( λ λ ( f( λ λ が e 簡単に出る 最後に 行列関数の定係数線形微分方程式解法への応用を示す 複素解析からの必要な知識はその都度のべる. M 演算 f ( λ を微分可能な複素関数とし ( 今はどんな集合上で微分可能かは問題としない f ( λ に対応して次の 次上三角行列を定義する (,, : ( ( ( f f f /! f /(! ( ( ( f f f /! f /(! ( ( ( M ( f ( λ M ( f M ( f ( ( f f f /! ( f f f ただし 記号 M( f は の値が前後関係から明らかな場合にのみ使う M( f の主対角成分 ( ' はすべて f ( λ その一本上の対角成分はすべて 階微分 f ( λ f ( λ その一本上の対角成分はすべて 階微分 f ( ( λ/! である 演算 f M( f を仮に M 演算 M opeaio と呼んでおく 例 f ( λ なら M( f M( f ( λ なら M( f M( ( 単位行列! I opyigh 再履修線形代数研究会

2 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II f ( λ λ ( λ なら ( f ( λ M M J ( λ λ λ M 演算の価値は次の算法が成立する点にある : ( M( f ± g M( f ± M( g M( cf cm( f c (3 ( は複素定数 (4 M( fg M( f M( g M( g M( f (5 (6 M( f M ( f ( f ( f / g ( f M M M ( g M ( g M( f g ( ジョルダンブロック! ( 積の高階微分に関するライプニッツの定理 ( 証明 ((3 は明らか (4 は積の高階微分に関するライプニッツの定理 ( ( ( ( fg f g!! (! から出る (5 は I M( M( f f に (4 を適用すればよい 最 * * * * 後の関係は ( f / g ( f g f ( g ((4 による f * ( g * ((5 による 例 (5 より M ( λ M( λ が成り立つ 展開すれば 3 λ λ λ ( λ λ λ ( λ ( J ( λ 3 λ λ λ λ ( ( ( λ /! ( λ,,, 例 3 公式 (4 より M( a λ + aλ + + a λ+ a p p p p ( λ a M( λ + am( λ + + a M( λ + a M( p p p p ( a J + aj + + a J+ a I ( J J ( λ 例 参照 p p p p 例 4 前例の結果と公式 (6 より a λ + aλ + + a λ+ ap M( b λ + bλ + + b λ+ b p p p q q q q q q ( ただし b λ + bλ + + b λ+ b q q ( a J + aj + + a J+ a I( b J + bj + + b J+ b I p p q q p p q q opyigh 再履修線形代数研究会

3 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( b J + bj + + b J+ b I ( a J + aj + + a J+ a I q q p p q q p p. 多項式 P( p p いま P( λ aλ + aλ + + a p λ+ を与えられた多項式とし P( について 考える ここに は与えられた 次行列をあらわし そのジョルダン分解を VJV ここに ( J ( λ ( ( J diag{ J ( λ,, J ( λ } ( ( λ J a p J ( λ ( λ ( λ は次数,, 前節例 で使った記法と同じ λ とする ゆえに の特性多項式は すると次の関係が成り立つ : ( P( V diag{ P( J ( λ,, P( J ( λ } V de( λi ( λ λ ( λ λ である ( ( V diag{ M ( P( λ,, M ( P( λ } V ( ( ここに ( M ( P( λ とは ( ( P( λ M に λ λ を代入した値を意味する これよりまた de( P( λi ( P( λ λ ( P( λ λ ( が従う すなわち P( の固有値は{ P( λ, P( λ; ; P( λ, P( λ } る 原行列の固有値 { λ, ; ; λ λ, λ } 定理 specal mappig heoem という P( P( VJV VP( J V 証明 ( 直接計算 によって与えられ と対比する立場から この事実をスペクトル写像 V diag{ P( J ( λ,, P( J ( λ } V ( 直接計算 ( ( V diag{ M ( P( λ,, M ( P( λ } V ( 前節例 による ( ( opyigh 再履修線形代数研究会 3

4 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II これで ( が示された 最後の式内の 成分としてもつ上三角行列を表す これより ( が従う 以上の結果を見ると ( 式は 点が値打ち! 第 に この式中における diag{ } は{ P( λ, P( λ; ; P( λ, P( λ } を対角 P( を前節で定義した M 演算によって表現している ( この P( λ の関与は ( における PP, ', P, の値だけである これは多項式以外の複素関数 ( 定義に役立つ事実である ( 後ほど示す 例 いま とする のスペクトル ( 固有値全体 上 f λ に対する P( λ λ λ 与えられた 3 次行列 のジョルダン分解を α VJ ( α V V α V α (3 の特性多項式は de( ( 3 λi α λ によって与えられる 上式 ( により Pa ( P'( α P''( α / P( VM ( P( α V V P( a P'( α V Pa ( (3 f ( の ゆえに α α α V α α α V α α P ( I の特性多項式は確かに de( P( λ ( α α λ ( ( α λ 例, P( 3 3 I P によって与えられる は一般に異なるジョルダン標準形をもつ 実際 3 なら である の一次独立な固有ベクトル 3,,, は それぞれ 3 個存在する ゆえに レッスン 9 の結果により ジョルダンブロック の総数は それぞれ 3 である すなわち である,, 3 のジョルダン標準形は 自体.3 分数関数 P( Q ( opyigh 再履修線形代数研究会 4

5 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II q q ( λ λ + λ + + λ+ a Q( λ bλ + bλ + + b q λ+ bqを与えら p p P a a a p p P( λ Q( λ Q( λ P( λ れた多項式 を与えられた次行列とすれば P( Q( Q( P( も成り立つ Q ( が存在すれば これより が成り立つから Q ( P( P( Q ( も出る そこで これを分数関数 R( λ P( λ/ Q( λ を代入したもの と定義する すなわち ( R Q P P Q ( ( ( ( ( そして のジョルダン分解を考慮すれば Q ( Q( Q( λ,, Q( λ ( が存在するの固有値はすべて非零 ( 最後の同値性は前節で得られたスペクトル写像定理による 中の λ に いいかえれば Q ( が存在する と の固有値はどれもQ( λ の零点ではない は同値 である のジョルダン分解を前節で与えた形とすれば 同様の計算によって次式が従う : ( R( V diag{ R( J ( λ,, R( J ( λ } V ( ( R( の特性多項式は V diag{ M ( R( λ,, M ( R( λ } V ( ( ( de( R( λi ( R( λ λ ( R( λ λ によって与えられる 仮定により λ, のスペクトル写像定理の拡張を表す 以上の証明は練習問題とする 例 f ( λ / λ, λ はどれも R( λ の分母を にしない これは前節 α (3 VJ ( α V V α V とする. 節例 を利用すれば α 3 α α α f ( V[ M( λ ] λ αv V α α V α de( ( 3 λi α λ.4 コーシーの積分公式前 節において f ( λ 多項式または分数関数の場合は関係式 opyigh 再履修線形代数研究会 5

6 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( f ( V diag{ M ( f ( λ,, M ( f ( λ } V ( ( の成立することが示された ここに 与えられた 行列 き継いで (. 節 VJV ( としている ( のジョルダン分解形を以前の形を引 ( J ( λ ( ( J diag{ J ( λ,, J ( λ } ( ( λ J + + 式を見ると 右辺はのジョルダン分解形と のスペクトル上における の値のみを与えれば確定することが看てとれる そこで分数関数以外の関数 ( ( f, f, f, f ( λ に対しても ( を f ( の定義として採用するのが自然であろう そして f ( λ の範囲をどこまで広げる かは むしろ 応用性の問題である そこで以下では与えらた f ( λ に対して (3 のスペクトルを含む複素平面上のある領域 G 内の各点で微分可能な関数 のみを考えることにする 解析学の教えるところによれば (3 型の関数は G 内の至るところで 無限回微分可能である f ( λ f ( (I 定義 (3 型の関数に対してを ( により定義する ここに 領域 とは 開連結集合 をいう 正確な定義は専門書に譲るが 全平面 実部 > を満たす複素数の集合 周を含まない円板 三角形 長方形などの内部 はよく出てくる領域の例である 例 分数関数 f( λ P( λ/ Q( λ に対応する領域 G の例 : x x x x G( 周を含まない opyigh 再履修線形代数研究会 6

7 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ここに 印 の固有値 x 印 分母 ( Q λ の零点 を表す 分母 Q( λ の零点はすべて G 外 にあるので f ( λ は G 内の各点で微分可能である また のスペクトルは G 内にあるため Q( λ の各零点は のどの固有値とも重ならない ゆえに Q ( が存在し f ( の定義 ( は意味をもつ (3 型の関数の重要な例は. 3 節で扱った λ の多項式 分母が G 内の各点で と ならないような分数関数 の他 G 内の定点を中心とし G を収束円の内部に含むような冪 ( ベキ 級数 が知られている 冪級数については後ほど詳しくのべる (II スペクトル写像定理 de( λi ( λ λ ( λ λ なら de( f( λi { f( λ λ} { f( λ λ} (4 証明定義式 ( から明らか (III (3 型の関数に対して本節の主題である次のコーシーの積分公式 auchy s iegal fomula が成立する : (5 ( ( λ ( λ λ π i f f I d ここに は ごとの積分 すなわち を表す のスペクトルを内部に含む領域 G 内の閉積分路を表す ここに右辺の積分は成分 f ( ( pq, ( ( ( pq, (,,, f λ λ d λ π i I p q 証明まず 複素関数論の最重要公式である コーシーの積分公式 ( f ( λ f ( a f( λ (6 f ( a dλ π i および dλ (,, λ a! π i + ( λ a は既知であるとする ここに a は の内部にある任意点を表す 次に 与えられたジョルダン分解より ( λi V( λi J V Vdiag{( λij ( λ, ( λij ( λ } V ( ( これを (5 の右辺に代入すると 積分の線形性により (7 f( λ ( λ dλ { f( λ ( λ dλ} π i I V π i I J V ( ( V diag{ f ( λ( λ ( λ dλ,, f ( λ( λ ( λ dλ} π i IJ π i I J V ここで. 節例 を利用すると opyigh 再履修線形代数研究会 7

8 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( λλ ( λλ ( λλ ( ( λi J ( λ (,, ( λλ ( λλ ( λ λ が得られる これを上式に代入すると ( d f( λ ( λ ( λ λ π i I J ここに コーシーの積分公式 (6 により c c c c c c f λ λ λ dλ f λ π i ( ( (, c c ( m m f ( λ cm f( λ ( λ λ dλ ( m,, π i m! ゆえに 一つ前の式の右辺は M 演算で書けて λ λ λ λ π i I J M λ これを (7 に代入し f ( ( ( ( ( d ( f( f d f ( の定義式 ( を参照すれば ( λ( λ λ π i I ( ( { ( (,, V diag M f λ M ( f ( λ } V f ( 先へ進む前にこれまでに得られた結果を簡単に復習すると 多項式 ( λ λ + λ + + λ+ a に対する f ( の表現形式には 3 種ある : p p f a a a p p c 第 は直接代入形 f ( a + a + + a + a I p p p p ( ( 第 は M 演算形 f ( { ( (,, V diag M f M ( f ( } V 第 3 はコーシーの積分公式 λ f f I d λ ( ( λ ( λ λ π i 分数関数に対しても同様である M 演算形はもともと直接代入形にジョルダン分解を代入して opyigh 再履修線形代数研究会 8

9 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 得られたものであるが その形から多項式 分数関数以外の関数族 すなわち 特定の領域内の至るところで微分可能な関数 に対するの定義式として採用された コーシーの積分 f ( 公式を定義式として採用すれば M 演算形は結果となる 分数関数を含み 一定の領域内で至るところ微分可能な関数族として 応用上重要な冪級数が知られている ゆえに 数を表す場合は f ( λ が冪級 f ( の定義が可能となる そこで 次節以降は行列冪級数の話をする.5 行列冪 ( ベキ 級数最初に必要な予備知識をのべる (I 冪級数 powe seies とは z c + c z+ cz + c ( f ( 型の無限級数 すなわち 部分和 paial sum f ( z c z, l,,, z の ( 無限 列 の ことをいう ここに c c は与えられた複素数 は複素変数を表す そして部分和の列が z aで収束すれば 極限値を冪級数の z aにおける和 sum という 慣例により元の冪級数,, 自体を和の表現としても使う すなわち 和を f ( a c ca c a 冪級数論は解析学の教科書に詳しい解説がある 冪級数の際立った特徴は次の (I(II である : (a 収束半径の存在 : z l z l ca と書く < Rなら収束し z > Rなら ( 発散する ( 収束しない ような数 R が存在し これを冪級数 ( の収束半径 adius of covegece という また z Rを満たす z 全体を収束円 cicle of covegece という 収束半径は /limsup l l によって与えられ ることが知られている ( 分母 の場合は R 分母 の場合は R とする 収束円上での冪級数の挙動は多様である (b 微分可能性 : R > なら 冪級数は収束円の内部 ( 周は除外 で至るところ無限回微分可能な関数を表し 各階の導関数は項別微分で求めてよく その収束半径は元の級数と同一であ る すなわち f ( z c + cz+ cz + c z の収束半径を R > とすれば 収束円の 内部で df f z z c c z c z c z ( ( ( dz ( ( ( f z c c z c z c z R l c opyigh 再履修線形代数研究会 9

10 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( ( が成立し f ( z, f ( z, もすべて収束半径 R をもつ 例 応用上重要な冪級数と収束半径 ( 証明略 冪級数収束半径収束円上の挙動 3 e z + z+ z + z +! 3! 3 5 z z si z z + 3! 5! 4 z z cos z +! 4! 3 z z z z z なら発散 3 z z + z z を除き z 上で収束 3 3 z z + z z 上の各点で収束 3 項別微分により d z z d d e e, si z cos z, cos z si z ( z < dz dz dz d dz ( z ( z + z+ 3 z + z ( z < d z z dz 3 3 ( + z z+ z + ( z ( < z 3 3 d z z z z ( + z ( z < dz 3 3 m m (II 行列冪級数行列の ( 無限 列 { }(,,, が に収束すると は成分ごとに収束する o covegece compoewise すなわち ( a ij ( aij a a ( ( i,, m, j,, ( ij ij を意味するものと定義する これが任意の行列ノルム に関する収束 と同値で あることはレッスン 4 で証明する 無限級数 c + c + c + c I とは スカラー 級数の場合と同じく 部分和の ( 無限 列を意味するものとし この列が収束するとき 元の opyigh 再履修線形代数研究会

11 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 冪級数は収束するといい 級数表現自体を和の表現として使う 極限値を和と呼ぶこともスカーラー級数の場合と同じである 例 λ ( J ( λ < ここに ( λ J J λ λ 証明. で学んだ M 演算を使えば ( ( ( + c λ c λ c λ ( ( c λ c λ J M ( λ M( λ ( ( c λ c λ ( c λ ここに (! ( ( l+ l cl O( (,,, l,,, l!( l! l! ゆえに のとき ( λ < なら c λ なら c ( l l (III 直接代入形の成立いま を与えられた 次行列 f( λ c + cλ+ cλ + cλ を のスペクトルを収束円の内部に含むような冪級数 とすれば ( 直接代入形 f( c + c + c + c I ( ( (3 M 演算形 f ( { ( (,, V diag M f λ M ( f ( λ } V (4 コーシーの積分公式 f ( f( ( d π λ λ λ i I はすべて同一の行列を表す ここに のジョルダン分解は. 節と同一形にとっている : ( J ( λ ( ( VJV J diag{ J ( λ,, J ( λ } ( ( λ J opyigh 再履修線形代数研究会

12 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II J ( λ ( λ ( λ 次行列,, λ f ( 証明 (I( を受け入れれば は前節で示したように 演算形またはコーシーの積分公 式によって定義でき 両者は等しい ゆえに ( (3 を示せばよい 冪級数の第 部分和 l f ( λ c λ ( l,, に対しては ( (3 が成立しているから l l l f( cl V diag{ M ( f (,, λ M ( f( λ} V l M ( ( ここで とすれば 上でのべた冪級数の性質 (a(b(c と各 M 演算の形から 右辺は V diag{ M ( f ( λ,, M ( f ( λ } V に収束する ゆえに ( ( l l lim cl cl l l V diag{ M ( f ( λ,, M ( f ( λ } V これは証明すべき式に他ならない ( ( ( 注意 一般にの固有値は複素数だから e λ は e z 型の数である z a+ ib(, は実 数 とすれば, z a e e b+ i b 例 行列指数関数冪級数 (cos si である 3 e λ ab λ λ e λ の収束半径は であるから 任意の! 3! 3 3 スカラー定数 任意の複素変数 λ に対して f( λ e λ + λ+ λ + λ + も収束す! 3! る ゆえに 任意の 任意の 次行列 に対して 収束する すると 上の一般論から e f ( V diag{ M ( f ( λ,, M ( f ( λ } V ( ( 3 3 f( e も! 3! そして 右辺の各対角ブロック ( M ( f ( λ は直接計算から次式によって与えられる : opyigh 再履修線形代数研究会

13 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II M /! /(! ( f( λ e /! ( λ 例として 3 次行列 のジョルダン分解を (,, ( J VJV V ( V ( J とすれば は次式によって与えられる : ( e e e [ ] V V e ( e e.6 定係数線形微分方程式への応用 Pa I ( 本節では前節例 で定義した行列指数関数 e d y ( y a a y d ( ( d d ( 行列形 : d y ( a a y ( y ( d の応用として 定係数線形同次微分方程式 dy( y ( d について考える ここに a は既知 ( 複素 定数 y (, は未知関数 は独立変数を表し, 行列の微分は成分ごとの微分 と定義する 最初に ( d e d e を示す 実際 前節例 で示したように 任意の 任意の に対して 冪級数展開 opyigh 再履修線形代数研究会 3

14 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 3 3 e I が成立する ゆえに 右辺の各行列成分は に関して収束半径! 3! (3 の冪級数を表す ゆえに 各成分の微分は項別微分に等しく これは で微分してよいことを意味する ゆえに 3 3 d d 3 e ( I e d d! 3!! ( の両辺に右から任意ベクトル [ ] y e c, T d c c c を乗じると e d e c の微分は右辺を直接 e cとなるから は ( の解を表すことがわかる そして ( の解はこれ以外にないことは微分方程式論の教える ところである 結論として 微分方程式 ( の解法は e の計算に帰すことがわかる 例 なら e e dy ゆえ ( 前節例 ( y( の解は d y e c c e e c c によって与えられる ここに c, c, c3は任意定数を c + c 3 表す 微分方程式に代入すれば検算できる.7 定係数線形微分方程式への応用 Pa II 本節では前節の方法により 定係数常微分方程式 ( ( ( ( ( dy ( ( ay + ay + + a y y ( y y(, y, d が解けることを示す ここに a,, a は既知 ( 複素 定数を表す ( に対応して多項式 ( f( a + a + a + + a ( ( λ λ λ λ λ λ λ λ λ を考え ( の特性多項式という ここに右辺の因数分解形における, は異なる ( 複素 数を表し + + としている 前節の方法を適用するため まず ( を次のように行列形に書き直す : λ λ, opyigh 再履修線形代数研究会 4

15 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II (3 y ( y ( y a a a a d d y y ( ( y : y d y d 左辺の 行列 を ( のコンパニオン行列 compaio maix という の特性多項式 λ λ の任意の固有値 α に対応する固有ベクトルは ( αi x と微分方程式 ( の特性多項式との間には簡単な関係がある : de( ( + I f ( ( 検 算して下さい また 3 けば簡単に出るように, αα,, α, 値に対応するジョルダンブロックは 個のみ存在する ゆえに のジョルダン分解は T を解 のスカラー倍に限られる ゆえに 各異なる固有 (4 VJV ( ( { (,, V diag J λ J ( λ } V すると 前節の結果から (3 の解は (5 y e c ' /! /(! λ V diag{ e /!, } c c V c よって与えられる ここにc' は任意ベクトルを表す ( ゆえにも任意 求める未知関数 y ( は y の第 成分であるから T T (6 y e y ( e V diag{ } c ( [ ] e T ゆえに 特性多項式の各零点 その重複度 V の第 行がわかれば未知関数 y が定まることになる さいわい 特性多項式 f ( λ の零点と重複度がわかれば V は陽に記述できる 例によって示す 例 5 とし 次の微分方程式を考える : ay+ ay + ay + ay + ay y ( a,, a4は既知複素定数 ( ( (3 (4 (5 3 4 ' opyigh 再履修線形代数研究会 5

16 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 特性多項式は次式で与えられる : 5 f( λ a + aλ+ a λ + a λ + a λ λ 微分方程式を行列形で書くと y y ( ( y y ( d ( y y : y d (3 (3 y y a a a a a y y (4 (4 3 4 この場合は de( λi f ( λ である d y d ここから先の話は f ( λ の因数分解形に依存する ( f ( λ が 5 重根をもつ場合 f ( α/! f ( λ ( λ α 5 a + aα + a α + aα + a α α とする すると 次の 5 式が成立する : ( f ( α/ 3 4! a + a α + a 3α + a 4α 5α 3 4 ( f ( α/! 3 a + a 3α + a 6α α 3 4 (3 f ( α/3! a + a 4α α 3 4 (4 f ( α/4! 5α a 4 これは次の行列形に書ける : V VJ : α α α 3 α 3α 3α a a a a a α α α α これは実際に乗算を実行すれば確認できる ここに V の各列は各式 ( ( f( α, f ( α, f ( α/!, α α α α α α 3 α 3α 3α α 4 3 α 4α 6α 4α α 中における a,, a 4 の係数を読み取って上から順 に並べたものになっている また 各行は見かけ上 から降冪順に並べたものになっている V は可逆行列 ( de ジョルダン分解形を与えている + ( α +,( α +, を展開し左 ( α, V であるから 上式は の opyigh 再履修線形代数研究会 6

17 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 以上により y は次式によって与えられる : e 3 4 /! /3! / 4! 3 /! / T α y e / すなわち y ( は 3 4 e, e, e, e, e 3! 3 4! c e α,, /!, /3!, /4! c α α α α α の任意の一次結合によって与えられる 念のため 5 ( ( α D α e (,,,3, 4 ( D d / d を検算して下さい (B f ( λ が単根 5 個をもつ場合 f ( λ ( λα( λβ( λγ( λδ( λ ε とする すると次の 5 式が成立する : 5 f( α a + aα + a α + aα + a α α f( ε a + aε + a ε + a ε + a ε ε 行列形に書けば V VJ : α α β γ δ ε α β γ δ ε β α β γ δ ε α β γ δ ε γ α β γ δ ε α β γ δ ε δ a a a a3 a α β γ δ ε α β γ δ ε ε α,, ε は相異なる数だから V ( ヴァンデルモンド行列! は可逆行列を表し この式は のジョルダン分解を与えている 実際 de V ( α β( α γ( α δ( α ε( β γ( β δ( β ε( γ δ( γ ε( δ ε 解 y は次式によって与えられる : [ ] α β γ δ e y diag{ e e e e e } c e e α e β e γ e δ e c α β γ δ e すなわち y は e, e, e, e, e の任意一次結合によって与えられる ( ( 中間的場合の例 f ( λ が異なる 重根 個と単根をもつ場合 f ( λ ( λα ( λβ ( λ γ ( α, βγ, は相異なる数 とすれば 次の 5 式が成立する : f ( α/! 5 a + aα + a α + aα + a α α α! a + a α + a 3α + a 4α 5α ( f ( / 3 4 opyigh 再履修線形代数研究会 7

18 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II f ( β /! 5 a + aβ + a β + a β + a β β β ( f ( /! 4 a + a β + a 3β + a 4β 5β f ( γ /! 行列形に書けば V VJ : 5 a + aγ + a γ + aγ + a γ γ α β γ α α β β γ α 3α β 3β γ a a a a a α 4α β 4β γ α α β γ α α α β β γ β α 3α β 3β γ β α 4α β 4β γ γ ここに V は可逆行列を表し 上式は のジョルダン分解を表すことになる 実際 V α β α γ β γ この関係の導出には de V F F( α, βγ, 4 de ( ( ( V の構成法から 3 F F F ( F α β ( α β ( ( α β α α α 3 F F ( F α γ ( α γ ( F β γ ( α β が成立することを確かめ de V は,, α β β γ 略 行列式の微分法についてはレッスン 6 問題 6. 参照 以上から 解 y は次式によって与えられる : とおき α βγ に関する多項式であることに着目すればよい ( 詳細 α β γ α α β β γ y [ ] diag{ e, e, e [ } ] c e e e e e c すなわち y は e α, e α, e β, e β, e γ の任意一次結合によって与えられる 以上から得られる一般的結論は次の通りである : 特性多項式の因数分解形 ( が知られれば ( の解は次の 個の解 ( 基本解 λ λ,,, λ e e e (,, opyigh 再履修線形代数研究会 8

19 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II の任意一次結合によって与えられる d この結論は次のようにして検算できる : D, D d d d d (, d d d と書くと ( は f( D y ( Dλ ( D λ y と書ける 各基本解を代入すれば ( D λ I e,,( Dλ I e (,, λ λ が成り立ち Dλ,, Dλ は可換であるから ( 作用させる順序を変えてよいから 結局基 本解はすべて ( を満たし その任意一次結合も ( を満たす 念のため 簡単な例を追加する : 例 ( ( (3 (4 y+ 7y 9y + 5y y f ( λ y λ 9λ 5 λ λ ( λ ( λ ゆえに解は次の 4 個の基本解の任意一次結合によって与えられる : e, e, e, e この節で示した行列法による解法が複雑化したのは 解 y を求める問題を未知ベクトル T ( ( y y y を求める問題として定式化したからである 最後にひとこと : このレッスンの華は 行列関数 程 その副産物である スペクトル写像定理 行列指数関数 の応用である f ( の定義に 3 種あることを示す過 e の定係数微分方程式解法へ 腕試し問題 問題. M 演算 (. 節 を利用して次の関係を証明せよ : ( λ λ λ { ( /} λ λ λ λ λ λ (,, λ λ λ { ( + /} λ ( λ λ λ ( λ,, λ λ 問題. を満たす 次行列 をすべて求めよ ( 略解 : の特性方程式を de( λi ( λ λ( λ λ とすれば スペクトル写像定理によ り B の特性多項式は de( B λi ( λ λ λ( λ λ λ B だから opyigh 再履修線形代数研究会 9

20 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II λ λ すなわち λ, ( i, ゆえに のジョルダン分解を VJV i i i とすれ ば 可能な J の形は ( a,( b,( c,( d,( e J の 5 種 のみである このうち 最後の二つの場合は が満たされない 最初の三つの場合は I,, V V となり は確かに満たされる この最後の場合は a b d b V, ( ad bc ( ad bc c d V c a と仮定しても一般性を失わないこと に注意すると ( 任意の定数 に対して VJV ( V J( V 結局求める は次の 5 α α α α( α/ β 種となる : I,,,, β α ( β, α は任意 問題.3 次行列のジョルダン分解 VJV を利用し X を解け /4 ( 略解 : X VZV とおけば Z J これを解けば Z ± が得られる ゆ えに /4 3 4 X の解は X VZV ± ± (/ 問題.4 のジョルダン標準形が J であることを知って h( ( I( + + I の特性多項式 de{ h( λi} を求めよ ( 略解 :de( λi ( λ( λ h( λ ( λ /( λ + λ+ だから スペクトル写像 定理により de{ h( λi} ( h( λ( h( λ ( λ( λ 7 3 問題.5 ( プロジェクト型問題 この問題では を 次行列とすれば f ( はかならず に関する高々 次多項式によって表現できる を示す 実際 を 次行列 ジョルダン分解を ( ( ( { (,, V J J ( } V VJV ( + + diag λ λ とすれば (. 節 f ( は次式によって定義されている (.4 節 ( 式 ( f( V diag{ M f( λ,, M f( λ } V ( ( opyigh 再履修線形代数研究会

21 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II M ( ( ( f f /! f /(! ( f ( λ ( f f /! f,, ( ( ( ( f f( λ, f f ( λ, 以上の式を見ると 与えられた二つの関数 f( λ, g( λ に対して f( g( が成立する ための必要十分条件は (4 M ( f ( λ M ( g( λ,,, ( ( すなわち (5 f g f g f g ( ( ( ( ( λ ( λ, ( λ ( λ,, ( λ ( λ,,, で与えられる ことがわかる ただ λ,, λ 性がある そこで,, はすべて相異なるとは限らないから (5 の条件の一部は重複している可能 λ λ のうち 相異なるものだけを集めて μ,, μs と書き直し 各 μ, に対応するジョルダンブロックの最大次数を m,, ms と書けば (5 から重複分を省けば (6 ( ( ( mj ( mj j j j j j j f ( μ g( μ, f ( μ g ( μ,, f ( μ g ( μ, j,, s となる m m 例えば f ( λ ( μ λ ( μ λ s ( すなわち の最小多項式 をとれば 直接計 s ( m ( j 算により f ( μj f ( μj f ( μ j, j,, s ゆえ (6 を満たす g( λ とし てに g( λ が取れる ゆえに f( g( また f ( λ として特性多項式 ( m j ( f ( λ de( λi をとれば やはり f ( μj f ( μj f ( μ j, j,, s が満たされる ゆえに f ( これはケイリー ハミルトンの定理に他ならない 以下において 与えられた関数 f ( λ に対して f( g( を満たす高々 ( m + + m s ( 次多項式 g( λ が唯一つ存在する を示す このような g( λ は のスペクトル上における f ( λ のエルミート補間多項式 Hemie iepolaio polyomial と呼ばれている このような g( λ は f ( λ のみならず 例によって証明法を示し 一般化は練習問題とする そこで 例として f ( x を与えられた関数 abc,, にも依存することは明らかである を異なる 3 点とし 次の 7 個の補間条件 opyigh 再履修線形代数研究会

22 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II を満たす 6 次エルミート補間多項式 gx ( を求める問題を考える : (7 (8 f a g a f a g a g a f a g a ( ( ( ( (3 (3 ( (, ( ( a, f ( (, ( (, ( ( f ( b g( b, f ( b g ( b, f ( c g( c まず gx ( は次の形で求まることを示す ( 一意性の証明は後ほど : α 3 3 g( x ( x b ( x c{ ( ( x a ( x a }! x a α α α + + +! 3! 4 β 4 + ( xa ( x c{ β + ( x b} + ( xa ( x b γ! ここにα, α,, γ は補間条件から決定すべき未定係数を表す ( ( ( ( (3 (3 f ( a g( a, f ( a g ( a, f ( a g ( a, f ( a g ( a ( x a における補間 条件 を行列形に書くと (9 f( a δ α ( f ( a * δ α δ ( f ( a * * δ α (3 f ( a * * * δ α 3 ( ( a b ( ac となることを示せ ここに * 印は既知成分を表す 右辺の 4 x 4( 下三角 行列はδ ゆ (3 え 可逆行列を表す ゆえに 全く任意に与えられた f ( a,, f ( a の値に対して ( 式を満たすα,, α が一意的に定まる 3 同様の手続きによりに 全く任意に与えられた ( f ( b, f ( b, f( c の値に対して β, β, γ が一意的に定まることを示せ 次に一意性の証明のために高々 6 次多項式 gx ( g( x, g( x がともに (7 を満たせば hx ( g( x g( x であることを次の手順によって示せ まず hx ( は次の補間条件を 満たすことを示せ : ( ( (3 ( ha ( h ( a h ( a h ( a, ( hb ( h ( b, hc ( 4 微積分学におけるテイラーの定理により最初の条件より hx ( ( xa px ( と書けることを示せ ( ここに p( x は高々 3 次多項式を表す a bゆえ 続く 条件より ( pb ( p ( b を出し p( x ( xb q( x ( qx ( は高々 次 であることを示せ abc,, は相異なる数だから ( 式最後の条件より qc ( すなわち qx ( d ( xc ( d は定 4 数 が出る 以上を総合すると hx ( d ( x a (xb ( xc となり hx ( は高々 6 次だから d でなければならない すなわち hx ( でなければならない opyigh 再履修線形代数研究会

23 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II 5 問題.6( 前問の応用問題 VJV とする ( ( ( + I + I α + α ( I I を満たす α, αを求めよ I β, ( e β β ( I + を満たす定数 β を求めよ ( 解 のジョルダン標準形は単一ブロックから構成され 異なる固有値は λ のみである ( f ( λ (λ+ /( λ λ+ g( λ α + α( λ とおけば 補間条件は + 5 f ( g( : α ( ( λ λ+ f ( g ( : λ α ( λ + λ これより g( λ α + α( λ ( 7 47 λ g ( 5 I ( I 得られる 7 49 検算 : f ( ( + I( + + I g( I ( I f( λ ( f( λ e, g( λ β + β ( λ とおけば 補間条件は f( λ g( λ および ( ( f λ g ( ( λ によって与えられる これを解けば e β β が得られる ゆえに e e I+ e ( I e ( I e 4 3 e e e e 5 検算 : e V V e e 5 e 4 3 問題.7 ジョルダン分解 opyigh 再履修線形代数研究会 3

24 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II VJV を知って微分方程式 y y d y y を解け d y 3 y 3 y e e ( 略解 : ジョルダン標準形 J の形から一般解は y Ve c 3 e y 3 e 8 4 e 与えられる ここにc は3 任意行列を表す 問題.8 ( スペクトル写像定理の応用 与えられた 3 次行列 次の行列の特性多項式を求めよ (a (b ( I p q( ( I( + I (c ( ( I e c (d の特性多項式が f f λ λ d π i de( ( ( ( ( ( I λ ただし f ( λ は点, c によって λi λ λ であることを知って を含む複素領域内で至ると ころ微分可能とし 閉積分路 はこの領域内にあって点, を内部に含むものとする ( 略解 : スペクトル写像定理を使う (a (b (c (d de( p( ( p( ( p( ( (3 λi λ λ λ λ ( de( q( ( q( ( q( ( ( 3 ( λ p λ λi λ λ λ λ ( q( λ ( λ /( λ c de( ( λ ( ( λ( ( λ ( λ( e + I λ ( ( ( e c λ λ λ de( f( ( f( ( f( 問題.9 (a λi λ λ y ( y ( 略解 :(a 特性多項式は を解け (b ( y y を解け ( ( ( +λ f λ λ λ で与えられる ゆえに 一般解は y ce c e + (b 特性多項式は f( λ λ ( i λ( i+ λ で与えられる ゆえに y ce + c e ( c + c cos + i( c c si c cos+ c si i i ' ' 一般解は 問題. 次の各場合に対して微分方程式 f ( Dy ay+ ay + ay y ( D d / d a, a, a は与えられた定数 ( ( (3 opyigh 再履修線形代数研究会 4

25 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( (, /, y y y dy d のコンパニオン行列のジョルダン分解と微分方程式の解を求めよ ( ( 3 3 (a f λ a + aλ+ a λ λ λ の場合 (b f ( λ ( λ( λ の場合 (c f ( λ ( λ( λ( λ の場合 VJV ( 略解 :.7 節の結果を利用する コンパニオン行列のジョルダン分解をと書く (a a a a 3 3 V α α α α J α α y (,, 一般解は e e e の任意の一次結合で与えられる (b a a a V α β α β β 4 4 α J β β y (,, 一般解は e e e の任意の一次結合で与えられる (c a a a V α β γ α β γ 4 α J β γ y (,, 一般解は e e e の任意の一次結合で与えられる 問題. 次の行列のジョルダン分解を求めよ : opyigh 再履修線形代数研究会 5

26 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II (a (b VJV と書くと : 3 4 de( λi + 4λ+ 6λ + 4 λ + λ ( + λ 4 ( 略解 :.7 節の方法に従う ジョルダン分解を (a α α α V J α α α 3 α 3α 3α 3 3 α (b 3 4 de( λi 4 + 4λ3λ λ + λ ( + λ ( λ α α β α V J α α β β 4 4 β 3 3 α 3α β 3β 3 8 β 問題.( プロジェクト型問題 差分商と差分商行列 くとも ( いま を与えられた自然数 を複素平面上の異なる点 w f z を少な { z,, z } 上で定義された複素関数とするとき z, z, ( ( f( zi f( zj f ( zi, zj ( i j z z i j 型の数を ( 階 差分商 divided diffeece という 高階差分商は再帰的に次式によって定義される : f ( z,, z f( z,, z f( z, z,, z z z ( 階差分商 ( : そして関数値自体 f( z, くからよく知られている 例 階差分商の例 は 階差分商と見なす 差分商は数値計算上の重要ツールとして古 f( z, z f( z, z f( z, z f( z, z f( z, z, z, f( z, z, z, zz3 z z 展開すればわかるようにこの両者は相等しい ( (,, の値は z z の配列順序に無関係である 実際 f z z,, f ( λ f ( z,, z dλ π i gz (,, z ( λz ( λz (3 opyigh 再履修線形代数研究会 6

27 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II が成り立つことを次の手順に従って示せ ここに f ( λ は z,, z ところ微分可能な複素関数 は z,, z まず (3 の右辺を gz (,, と呼び 部分分数展開 z を含むある領域内で至る をその内部に含む その領域内の閉積分路を表す { } ( λz ( λz z z ( λz ( λz ( λz ( λ を代入すると gz (,, z { gz (,, z gz (,, z}/( zz がでる また コーシーの積分公式 f ( f ( z λ dλ (,, π i λ z により f ( z g( z,,, が成り立つ 以上と差分商の定義から f ( z,, z g( z,, z が従う (B 差分商行列 ( ここから行列の話になる.- 節で学んだ行列関数の演算の算法によく似た事実が差分商に対しても成立する ことを示す 差分商は次の表形式で提示されることが多い : f( z f( z, z 3 M f ( z f( z, z, z f( z, z 3 f ( z f( z, z, z 上の表をいくらか形を変えて次の行列形に書く : f f f3 f f f3 f 34 D( f D( f( z,, z f f ( f z ( f f( z, f f( z, z, D( f を D 演算 D opeaio と仮に呼び この右辺を差分商行列と呼ぶことにする これは. 節で定義した M( f と深い関係がある すなわち z a が考えている領域内に点なら z,, z a のとき ( ( f ( a f ( a f( z f( a, f( z, z,, f( z,, z すなわち! (! が成り立つことが知られている 実際 (3 とコーシーの積分 D( f ( z,, z M( f( a 公式 f ( a f ( ( λ dλ (,,,! π i + ( λ a opyigh 再履修線形代数研究会 7

28 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II から出るのだが詳細は略する 例 z z D(, D( I, D( z z z D ( z f ( z zのときの ( f ( とは D の意味 ( 積の高階差分商に関するライプニッツの法則 f, g を z,, z 上で定義された関数とすれば次式が成立することを示せ : ( fg f g + f g + + f g + f 3 ( f f( z, f f( z, z, ( ( 略証厳密には数学的帰納法によるが まずは,3の場合についてやっておく 記号使い の簡略化のため 以下では " " 等とは " z z " 等を意味するものとする ( 混乱は起らない! の場合 : ( ( fg ( fg ( fg f g f g f g + ( f g + f g f g f ( g g + ( f f g ( f g + ( f g ゆえに ( fg f g + f g 3 の場合 : ( 3( fg ( fg ( fg f g + f g ( f g + f g ( の場合の結果を利用 f g + ( f g + f g + f g f g + ( f g + f g f g f ( g g + ( f f g + f ( g g + ( f f g ( 3 f g + ( f g + ( 3 f g + (3 f g ( 3( f g + f g + f g ( fg f g + f g + f g ゆえに 一般化は練習問題とする (D 差分商行列 f + の算法に関して次式が成立することを示せ : (a D( f ± g D( f ± D( g D( cf cd( f c (b ( は定数 (c D( fg D( f D( g D( g D( f g ( 積の高階差分商に関するライプニッツの法則 (d D( f D ( f ( f f( z,, f f( z (e ( f / g ( f D D D ( g D ( g D( f ( g g( z,, g g( z opyigh 再履修線形代数研究会 8

29 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II ( 略証 : (a(b は簡単 (c はライプニッツの法則から出る それ以外は (c から出る 例 (d を f ( z zに適用すると ( ただし z,, z 3 ( + y yy yyy yy z z y yy3 ( y z,,, z z y y y y ここに 右辺の ( p, q 成分は ( p + q y pyp+ yq に等しい ( p q (E 直前の式において なる : z (,,, x 検算して下さい と書き変え 次式を導出せよ ( 後ほど必要と x x x x w ww ww w3 ww w ww 3 w w w w ( w x,,, ここに 右辺の ( p, q 成分は ww p p+ wq に等しい ( p q (F (E の結果を利用して次式を導け : λ z p p 3 z ( λi D( ここに λ z λ z p λ z i i+ j pij ( i j ( λz ( λz ( λz (G 差分商行列に対するコーシー積分公式 D f z z f z d f z π i I D D ( (,, ( λ( λ ( λ ( ( p p p opyigh 再履修線形代数研究会 9

30 再履修線形代数 分解定理を主軸に整理整頓レッスン ジョルダン分解 Pa II を導け ここに f ( D( z ( 略証左辺の ( p, q 成分 ( p q 分は (F の結果を代入すれば p p+ q は.4 節で定義した行列関数の意味である は f ( zp, zp, +, zq に等しい また中央の積分の ( p, q 成 f ( λ dλ π i に等しい しかし この積分値は ( により ( λz ( λz ( λz f ( zp, zp, +, zq に等しい 最後の行列 f ( D( z い は.4 節により中央のコーシー積分に等し opyigh 再履修線形代数研究会 3