両辺を列ベクトルに分けると …(3) …(3') そこで,任意の(ただし,後で求まるベクトル とは1次独立でなければならない)ベクトル を選び,(3)で定まる を求めると固有ベクトルになって(2)を満たしているので,これと独立にもう1つ固有ベクトル を定めるとよい. 例えば, とおくと, となる. (1')は次の形に書ける と1次独立となるように を選ぶと, このとき, について, だから は正則になる. 変換行列は解き方①と同じではないが,n乗の計算を同様に行うと,結果は同じになる 【例題2. 2】 次の行列のジョルダン標準形を求めください. (略解:解き方③) 固有方程式は三重解 をもつ これに対応する固有ベクトルを求める これを満たすベクトルは独立に2つ選べる これらと独立にもう1つベクトル を定めるために となるベクトル を求める. 正則な変換行列 として 【例題2. 3】 次の行列のジョルダン標準形を求めて,n乗を計算してくださいください. (三重解) 次の形でジョルダン標準形を求める 正則な変換行列は3つの1次独立なベクトルを束にしたものとする 次の順に決める:任意の(ただし,後で求まるベクトル とは1次独立でなければならない)ベクトル を選び,(3')で定まる を求める.さらに(2')で を定める:(1')は成り立つ. 例えば となる. 以上がジョルダン標準形である n乗は次の公式を使って求める 【例題2. 4】 変換行列を求める. 任意のベクトル (ただし,後で求まるベクトル とは1次独立でなければならない)を選び となる を求めて,この作業を繰り返す. 例えば,次のように定まる. …(#1) により さらに …(#2) なお …(#3) (#1)は …(#1') を表している. (#2)は …(#2') (#3)は …(#3') (#1')(#2')(#3')より変換行列を によって作ると (右辺のジョルダン標準形において,1列目の は単独,2列目,3列目の の上には1が付く) に対して,変換行列 ○===高卒~大学数学基礎メニューに戻る... (PC版)メニューに戻る
【例題2. 3】 (解き方①1) そこで となる を求める ・・・(**) (解き方②) (**)において を選んだ場合 以下は(解き方①)と同様になる. (解き方③の2) 固有ベクトル と1次独立な任意の(零ベクトルでない)ベクトルとして を選び, によって定まるベクトル により正則行列 を定めると 【例題2. 4】 2. 3 3次正方行列で固有値が二重解になる場合 3次正方行列をジョルダン標準形にすると,行列のn乗が次のように計算できる 【例題2. 1】 次の行列のジョルダン標準形を求めてください. (解き方①) 固有方程式を解く (重複度1), (重複度2) 固有ベクトルを求める ア) (重複度1)のとき イ) (重複度2)のとき これら2つのベクトルと1次独立なベクトルをもう1つ求める必要があるから となるベクトル を求めるとよい. 以上により ,正則行列 ,ジョルダン標準形 に対して となる (重複度1), (重複度2)に対して, と1次独立になるように気を付けながら,任意のベクトル を用いて次の式から定まる を用いて,正則な変換行列 を定める. たとえば, , とおくと, に対しては, が定まるから,解き方①と同じ結果を得る. 【例題2. 2】 2次正方行列が二重解をもつとき,元の行列自体が単位行列の定数倍である場合を除けば,対角化できることはなくジョルダン標準形 になる. これに対して,3次正方行列が1つの解 と二重解 をもつ場合,二重解 に対応する側の固有ベクトルが1つしか定まらない場合は上記の【2. 1】, 【2. 2】のようにジョルダン標準形になるが,二重解 に対応する側の固有ベクトルが独立に2個求まる場合には,この行列は対角化可能である.すなわち, 【例題2. 3】 次の行列が対角化可能かどうか調べてください. これを満たすベクトルは独立に2個できる 変換行列 ,対角行列 により 【例題2. 4】 (略解) 固有値 に対する固有ベクトルは 固有値 (二重解)に対する固有ベクトルは 対角化可能 【例題2. 5】 2. 4 3次正方行列で固有値が三重解になる場合 三重解の場合,次の形が使えることがある. 次の形ではかなり複雑になる 【例題2. 1】 次の行列のジョルダン標準形を求めてて,n乗を計算してください. (重複度3) ( は任意) これを満たすベクトルは1次独立に2つ作れる 正則な変換行列を作るには,もう1つ1次独立なベクトルが必要だから次の形でジョルダン標準形を求める n乗を計算するには,次の公式を利用する (解き方③の3) 1次独立なベクトルの束から作った行列 が次の形でジョルダン標準形 となるようにベクトル を求める.
2. 1 対角化はできないがそれに近い形にできる場合 行列の固有値が重解になる場合などにおいて,対角化できない場合でも,次のように対角成分の1つ上の成分を1にした形を利用すると累乗の計算ができる. 【例2. 1】 2. 2 ジョルダン標準形の求め方(実際の計算) 【例題2. 1】 (1) 次の行列 のジョルダン標準形を求めてください. 固有方程式を解いて固有値を求める (重解) のとき [以下の解き方①] となる と1次独立なベクトル を求める. いきなり,そんな話がなぜ言えるのか疑問に思うかもしれない. 実は,この段階では となる行列 があるとは証明できていないが「求まったらいいのにな!」と考えて,その条件を調べている--方程式として解いているだけ.「もしこのような行列 があれば右辺がジョルダン標準形になるから」対角化できなくてもn乗が計算できるから嬉しいのである.(実際には,必ず求まる!) 両辺の成分を比較すると だから, …(*A)が必要十分条件 これにより (参考) この後,次のように変形すれば問題の行列Aのn乗が計算できる. [以下の解き方②] と1次独立な( が1次独立ならば行列 は正則になり,逆行列が求まるが,そうでなければ逆行列は求まらない)ベクトル 条件(*A)を満たせばよいから,必ずしも でなくてもよい.ここでは,他のベクトルでも同じ結果が得られることを示してみる. 1つの固有ベクトルとして, を使うと この結果は①の結果と一致する [以下の解き方③] 線形代数の教科書,参考書には,次のように書かれていることがある. 行列 の固有値が (重解)で,これに対応する固有ベクトルが のとき, と1次独立なベクトル は,次の計算によって求められる. これらの式の意味は次のようになっている (1)は固有値が で,これに対応する固有ベクトルが であることから を移項すれば として(1)得られる. これに対して,(2)は次のように分けて考えると を表していることが分かる. を列ベクトルに分けると が(1)を表しており が(2)を表している. (2)は であるから と書ける.要するに(1)を満たす固有ベクトルを求めてそれを として,次に を満たす を求めるという流れになる. 以上のことは行列とベクトルで書かれているので,必ずしも分かり易いとは言えないが,解き方①において ・・・そのような があったらいいのにな~[対角成分の1つ上の成分が1になっている行列でもn乗ができるから]~という「願いのレベル」で未知数 を求めていることと同じになる.