今回はジョルダン標準化の応用です。[br][br]ジョルダン標準化が一般で、対角化は特殊です。[br]だから、ジョルダン標準化のステップをふむことの中に対角化は含まれてしまいます。[br]また、ジョルダン標準化で行列のベキ計算がカンタンになります。[br]それに、数列、差分、微分などの連立方程式を行列に直して処理するときも、標準化は見通しを与えてくれます。[br][br]なお、ｋ次のJB（ジョルダンブロック）はｋ乗するとゼロ行列になるベキゼロ行列です。[br]

[size=150][b]＜対角化＞[/b][/size][br][br][b][color=#0000ff]「n次の行列Aの固有多項式が互いに素なn個の因数の積に分解できればよい。」[br][/color][/b][br]n個の異なる固有値が対角成分として並ぶと、Jの直和分解の成分が自動的に次数1になるしかないから、[br]当然の条件と言えるね。[br]ｎ個の固有値に対する固有ベクトルがすべて独立しているということになる。[br]Jが固有空間（箱）がすべて線状になるように、全体空間を分割する行列になっているということだね。[br][br][b][size=150]＜行列のベキ＞[br][/size][/b][br]Aの変換行列をPとすると、A^nの計算は、[br]J＝P^(-1)APから、[br]A＝PJP^(-1)なので、A^n=PJ^nP^(-1)と変形できるけど、[br][b][color=#0000ff][size=150]J=S＋N[br][/size][/color][/b]のように[br]Jは、対角化行列（伸び縮み）＋情報伝播と分解できるイメージだったことを思い出そう。[br]N部分はベキゼロで減衰するので、n乗の過程でほぼS部分の骨格だけが繰り返されるという構造だった。[br][br]それに、「行列〜表のデータを取り出したもの」[br][url=https://www.geogebra.org/m/mrmfxu6x#material/mb3zrnmq ]くわしくはこちら[/url]にもあるように、[br][br]A＝λE＋Nとおくと、[br]λEが単位行列の倍数だからどんな行列相手でもかけ算の順番を入れ替えることができる。[br][br][b]だから、２項定理が使える。[br][/b]N= {{0,1,0},[br] {0,0,1},[br] {0,0,0}},[br]N^2={{0,0,1},[br] {0,0,0},[br] {0,0,0}}, [br][b]N^3=N^4=....=O[br][/b][br]A^n=(λE)^n + nC1(λE)^{n-1}N + nC2(λE)^{n-2}N^2 +nC3(λE)^{n-3}N^3 +.....[br] =λ^n E + nλ^{n-1} N + n(n-1)/2λ^{n-2} N^2[br][color=#0000ff][size=200] ={{λ^n, nλ^{n-1}, n(n-1)/2 λ^{n-2} },[br] {0 , λ^n, nλ^{n-1} },[br] {0 , 0 , 　λ^n }}[br][/size][/color][br][b]Nの3乗以降が減衰によってゼロ行列になる[/b]ため、[br]たったの3次行列に収まってしまっていたよね。[br]

[b][size=150]＜線形差分方程式＞[br][/size][/b][br]数列 x(m)(m=O, 1, ，…）に関する方程式[br][b]x(m+n) = a_0 x(m）＋ a_1 x(m+l）＋… a_{n-1} x(m+n-l)[br][/b](m=O, 1, 2,…)[br]をn階の1変数線形差分方程式という。[br][br]たとえば、2階の線形差分方程式[br][b]x(m+2)=x(m)+x(m+1)　(m=0,1,2,...)において、[br][/b]初期値x(0)=0,x(1)=1を与えると、[br]{x(i)}={0,1,1,2,3,5,8,13,...}というフィボナッチ数列を表すことがわかるね。[br][br]また、1階の3変数線形差分方程式は[br][b]x1(m+1)=a_11 x1(m)+a_12 x2(m)+a_13 x3(m)[br]x2(m+1)=a_21 x1(m)+a_22 x2(m)+a_23 x3(m)[br]x3(m+1)=a_31 x1(m)+a_32 x2(m)+a_33 x3(m) (m=0,1,2,...)[br][/b]m=0のときのxi(m)の値を初期値という。[br][br]この式のイメージは状態xiが３つあり、それぞれの遷移確率がa_jiで表されているときの、先の遷移状態を求めたりすることができる。[br]この係数を取り出すとカンタンに行列ができるから、[br]行列方程式や、行列のｎ乗の置き換えられるはずだ。[br]だから、それをジョルダン標準化につなげられる。[br][br]最初のn階の1変数線形差分方程式[br][b]x(m+n) = a_0 x(m）＋ a_1 x(m +1）＋… a_{n-1} x(m +n-1)[br][/b]は、ただの多項式に見えるが、[br][b]x_1(m)=x(m)[br]x_2(m)=x(m+1)[br]....[br]x_n(m)=x(m+n-1)[br][/b]のようにｘの引数をxの番号としての添え字に移し替えると、[br][b]x_{n+1}(m) = a_0 x_1(m）＋ a_1 x_2(m）＋… a_{n-1} x_n(m)[br][/b]のように多項漸化式に変わる。[br]ここで、[br][b]X(m)=t[x_1(m),x_2(m),...x_n(m)]とおくと、[br]X(m+1)=t[x_2(m),x_3(m),...x_n+1(m)]だから、[br][/b]どの成分もまとめて、１つ先に進むのだけど、最後のx_n+1(m)だけは、[br][b]x_{n+1}(m)=[a_0,a_1,...a_{n-1}] X(m)[br][/b]と内積になる。[br][br]ということは、[br][b][br][color=#0000ff][size=200]A={{0,1,0,0,....,0},[br]　 {0,0,1,0,....,0},[br] .....[br] {0,0,.......,1,0},[br] {a_0.a_1,...,a_{n-1}}[br][/size][/color][/b][br]とおくと、[br][br][size=200][color=#0000ff]X(m+1)=AX(m)[br][/color][/size][br]というベクトルX(m)の漸化式ができるね。[br]この行列Aを[b]コンパニオン（友伴）行列[/b]といいます。[br][br]だから、ベクトルX(0)を初期値として、X(m)=A^m X(0)によって、[br]最初の解空間Wを定めることが、最初のn階の1変数線形差分方程式を解くことになる。[br]ここで、ジョルダン標準化によって、A^mの計算を見通しよくすることができるはずだ。[br][b]X_k = A^k x_0 = P J^k P^{-1} X_0[br][/b][br]ジョルダン行列のｎ乗では、対角成分がλ^nで、[br]そのとなりが nλ^{n-1}、右上かどがn(n-1)/2 λ^{n-2}の上三角行列だった。[br]対角化できれば、対角成分だけになるので、λ^nの指数的な爆発だけを引き起こすはずだ。[br]しかし、[b]対角化できないときはnλ^{n-1}成分が効いてくる[/b]。[br][br]λ＜1ならば、nλ^{n-1}は一時的に大きくなる（過渡的な増加）ものの、[br]最後は λ^n の衰退パワーに負けて0に収束します。[br][br]λ=1 のときはλ^n = 1なので、n 1^{k-1} = n となり、時間経過とともに状態が直線的（線形）に増大し続けるという現象が起きます。[br][br]ジョルダン標準化の行列のｎ乗の上三角行列であること、対角部分以外があることによって、[br]爆発か減衰かという骨格部分の挙動だけではない、[br][b]過渡的現象や直線現象という中間的な動き[/b]を表現できます。[br][br]

[b][size=150]＜行列の極限・級数・微分＞[br][/size][/b][br]Aの最小多項式φ(x)の[b]固有値λiのリストΣAをAのスペクトル[/b]という。[br]多項式の因数(x-λi)の指数がmiだとする。iが1からs。m=m1+m2+...+ms[br]関数列f1(x),f2(x),...,ｆp(x),...に対して、kを1からsまで動かすとき、p→∞のとき、fp(λk),f'p(λk),f''p(λk),...f^(mk-1)p(λk)の極限値がすべてあるとき、fp(x)はΣAで極限値を持つという。[br]関数f(x)について、p→∞のとき、fp(λk),f'p(λk),f''p(λk),...f^(mk-1)p(λk)の極限値がすべてあるとき、f(x)に収束するといい、fp(ΣA)→f(ΣA)とかく。[br]p→∞のとき、fp(ΣA)→f(ΣA)ならば、[br]p→∞のとき、fp(A)→f(A)である。[br]このように、１つの変数ｘの関数と同様に収束が定義できるので、[br][b]１つの行列Aの関数についても収束が定義できて、級数展開も定義できる[/b]ね。[br][br]指数関数のベキ級数[br][b][color=#0000ff][size=200]e^x = Σ1/p! x^p[br][/size][/color][/b]の収束半径が∞だから、xをAに置き換えて、[br][b]どんな正方行列Aでもe^A=Σ1/p! A^p[/b]が成り立ち、これを行列Aの指数関数と呼ぶ。[br]ちなみに、e^0=E（Oがゼロ行列、Eは単位行列）[br][br]行列に極限が定義できるのだから、[b]微分も定義[/b]できるはず。[br]パラメータtの成分がならぶ行列A(t)={aij(t)}がm行n列だとする。d/dt aij(t)を(i,j)成分とする行列のことを行列A(t)の微分といい、d/dt A(t)とかく。[br][br]たとえば、F(t)=e^{tA}の微分を考えてみよう。[br]e^{tA}=Σ1/p! t^p A^p のΣされる(i,j)成分をt^p aij^pとかこう。[br]e^{iA}の(i,j)成分はそのΣだから、aij(t)＝Σt^p aij^pとかける。[br]だから、その微分は項別微分により、[br]d/dt aij(t)=Σpt^{p-1} aij^p .[br]1/p!A^pをaij^pとおいたので、p-1=qとおくと[br][b]d/dt e^{tA}[/b]=Σpt^{p-1} 1/p!A^p＝AΣ1/q! t^q A^q[br][b]=Ae^{tA}[br][/b][br]他にもd/dtを'印でかくと[br][b](A(t)B(t))'=(A(t))'B(t)+A(t)(B(t))'[br][/b]と積の微分法則が行列でも成り立つ。[br]

[size=150][b]＜微分方程式＞[br][/b][/size][br][b]連立微分方程式[br][/b][br]d/dt x1(t)=a_11 x1(t)+a_12 x2(t)....+a_1n xn(t),[br]d/dt x2(t)=a_21 x1(t)+a_22 x2(t)....+a_2n xn(t),[br]....................[br]....................[br]d/dt xn(t)=a_n1 x1(t)+a_n2 x2(t)....+a_3n xn(t)[br]x(t)=t[x1(t),....,xn(t)]とおき、aijを(i,j)成分とすると、[br]d/dt x(t)=Ax(t)と行列の微分方程式で、初期値はx(0)となるね。[br]この解x(t)の全体Wがベクトル空間となるから、[br]これが解空間（解箱）だ。さっきの[br]積の微分法則と指数の微分から、[br][b]x(t)=e^{tA}x(0)[br][/b]となるね。[br][br]ジョルダン標準形Jが求まれば、A＝PJP^(-1)。[br]指数関数のテイラー展開はe^{tA}=Σ1/p! t^p A^p だった。[br]ここで各項のA^pをPJ^pP^(-1)におきかえよう。[br]e^{tA}=Σ1/p! t^p A^p[br]＝Σ1/p! t^p (PJ^pP^(-1))[br]＝P(Σ1/p! t^p J^p)P^(-1)[br]このカッコの中はe^{tA}のAがJに置き換わった形だね。[br]だから、[br]e^{tA}=Pe^{tJ}P^(-1)となる。[br]Aのジョルダン標準化[br][b]J=P^(-1)AP=JB1⊕JB2⊕...⊕JBr[br][/b]だから、[br][color=#0000ff][b][size=200]P^(-1)e^{tA}P[br]=e^{t(P^(-1)AP}=e^{tJB1}⊕e^{tB2}...⊕e^{tBr}=e^{tJ}[br][/size][/b][/color][br]最後にe^{tA}=P(e^{tJ})P^(-1)となるので、これに初期値x(0)をかければ、解の箱が決まるね。[br][br][b][color=#0000ff][size=150]ところで、Jと指数関数は仲がよいことに気づきまたか？[/size][/color][/b][br][br]J=λE+Nと和分解できるね。[br]ところがJはeの指数にくるから、和が積に直せる。[br]e^{tJ}=e^t{λE+N}=e^{tλE+tN}[br]=e^λtE * e^tN となるね。[br]e^{λtE}は単位行列Eのe^λt倍だから、対角成分がe^λtだ。この成分は、λに応じた回転、振動を表しているね。[br]一方でe^tNはどうだろうか。[br][b]N^3=Oだから、e^{tN}のテイラー展開がN^2で止まる[/b]。[br][br]e^{tA}=Σ1/p! t^p A^pだったので、[br]e^{tN}=1/0! t^0 N^0 +1/1! t^1 N^1 +1/2! t^2 N^2 [br]= I + t N + 1/2 t^2 N^2[br]だから、対角成分が１、となりがt, 右上角が1/2 t^2[br]ではいよいよ積の計算だ。[br]e^{tJ}=e^{λtE}*e^{tN}は、e^{tN}の成分がe^λt倍される。[br][color=#0000ff][b][size=200]e^{tJ}=[br]{{e^λt, t e^λt, 1/2! t^2 e^λt},[br]{{ 0, 　 e^λt, 　　 t e^λt},[br]{{ 0, 　0, 　 e^λt}}[br][/size][/b][/color][br]最後にe^{tA}=P(e^{tJ})P^(-1)となるので、[br]これに初期値x(0)をかければ、解の箱が決まる。[br][br]e^{tJ}の対角成分指数関数なので、λに応じた回転に応じた振動・波でしかない。[br]しかし、残りの三角成分にｔの多項式がかけられている分、変化の仕方に加速、減速の要素が加味される。[br]それが、ばねの共振や臨界減衰を作りだしていることがわかる。[br][br][b][color=#0000ff][size=200]物理現象の裏にジョルダン細胞のN成分あり[br][/size][/color][/b]というところだね。[br][br][br][br][br] [br]

＜Geogebraでコード化＞[br][br]// 固有値 λをlamとして、0.7を初期値にする。[br]// 右上成分 N (0: OFF / 1: ON)の切り替えにswの01をアニメーションにする。[br]// 初期値ベクトル (x1_0, x2_0)としてc1,c2を設定する。[br]// 微分方程式の解f(x)= 指数関数×（定数＋多項式）にして、多項式部分がswでONOFF切り替えになる。[br]// 差分方程式の点列ptsも同様に作る。[br]//表示用のテキストをif文で作ることによって、swの変化にあわせた表示になる。[br][br]lam = Slider(0.1, 1.5, 0.05) [br]sw = Slider(0, 1, 1) [br]c1 = 0[br]c2 = 1[br]f(x) = exp(-lam * x) * (c1 + sw * x * c2)[br]pts = Sequence(Point({k, exp(-lam * k) * (c1 + sw * k * c2)}), k, 0, 15)[br]If(sw ≟ 1, "{sw=1ジョルダン型では過渡的な「山」が発生}", "{対角型 では単調減衰}")[br]