next up previous
: ジョルダン標準形 : Dsys : 離散システムの方程式(狼とウサギ)

行列の対角化

前節のお話を繰り返しますと.
$\displaystyle x(n+1)=\alpha x(n)+\beta y(n) $     (5)
$\displaystyle y(n+1)=\gamma x(n)+\delta y(n) $     (6)

という系について行列とベクトルを使えば,

\begin{displaymath}A=
\left \lbrack
\begin{array}{cc}
\alpha & \beta \\
\gamma & \delta \\
\end{array}
\right \rbrack
\end{displaymath}


\begin{displaymath}\chi(n)=
\left \lbrack
\begin{array}{c}
x(n) \\
y(n) \\
\end{array}
\right \rbrack
\end{displaymath}

として % latex2html id marker 1797
$ (\ref{eqn:rsn21}),( \ref{eqn:rsn22}) $
\begin{displaymath}
\chi (n+1)=A \chi (n)
\end{displaymath} (7)

と表すことができました.

\begin{displaymath}\chi(0)=
\left \lbrack
\begin{array}{c}
x(0) \\
y(0) \\
\end{array}
\right \rbrack
\end{displaymath}

から始めて % latex2html id marker 1799
$(\ref{eqn:rsn23})$ 式から
\begin{displaymath}
\chi(n+1)=A \chi(n)= \; \; \cdots \; \; = A^{n+1} \chi(0) 
\end{displaymath} (8)

となります. 前回は手始めに, $ \beta =\gamma =0 $ という特別な場合を考えました.

\begin{displaymath}A=
\left \lbrack
\begin{array}{cc}
\alpha & 0 \\
0 & \delta \\
\end{array}
\right \rbrack
\end{displaymath}

ですから

\begin{displaymath}A^n=
\left \lbrack
\begin{array}{cc}
\alpha^n & 0 \\
0 & \delta^n \\
\end{array}
\right \rbrack
\end{displaymath}

と簡単に $A^n$ が計算できたわけです.$\\ $ さて,今度は, $ \beta =\gamma =0 $ とは限らない一般の場合を考えます. ここで

\begin{displaymath}A=
\left \lbrack
\begin{array}{cc}
\alpha & \beta \\
\gamma & \delta \\
\end{array}
\right \rbrack
\end{displaymath}

にある可逆な行列

\begin{displaymath}V=
\left \lbrack
\begin{array}{cc}
v_1 & w_1 \\
v_2 & w_2 \\
\end{array}
\right \rbrack
\end{displaymath}

とその逆行列 $V^{-1}$ を左右からかけて $V^{-1}AV$ という積を作り,これが
\begin{displaymath}
V^{-1} AV = \Gamma 
\end{displaymath} (9)


\begin{displaymath}\Gamma =
\left \lbrack
\begin{array}{cc}
\lambda & 0 \\
0 & \mu \\
\end{array}
\right \rbrack
\end{displaymath}

となったとします.こんな $V$ はどうやって探すかという話しは取り合えず置いて, $V$ とその逆行列 $V^{-1}$ には

\begin{displaymath}V V^{-1}= V^{-1} V=I \end{displaymath}

ただし,$I$ は単位行列

\begin{displaymath}I =
\left \lbrack
\begin{array}{cc}
1 & 0 \\
0 & 1 \\
\end{array}
\right \rbrack
\end{displaymath}

が成り立っていますから

\begin{eqnarray*}
\Gamma^2 &=& \{ V^{-1} AV \} \{ V^{-1} AV \} \\
&=& V^{-1...
...=& V^{-1} AI AV \\
&=& V^{-1} AAV \\
&=& V^{-1} A^2 V \\
\end{eqnarray*}



\begin{eqnarray*}
\Gamma^3 &=& \Gamma^2 \Gamma \\
&=& \{ V^{-1} A^2 V}V^{-...
...{-1} A^2I AV \\
&=& V^{-1} A^2 AV \\
&=& V^{-1} A^3 V \\
\end{eqnarray*}




\begin{displaymath}\vdots \end{displaymath}

\begin{eqnarray*}
\Gamma^n &=& \Gamma^{n-1} \Gamma \\
&=& \{ V^{-1} A^{n-1}...
...1}I AV \\
&=& V^{-1} A^{n-1} AV \\
&=& V^{-1} A^n V \\  
\end{eqnarray*}



となります. ここで $\Gamma^n$
$\displaystyle \Gamma^n =
\left \lbrack
\begin{array}{cc}
\lambda^n & 0 \\
0 & \mu^n \\
\end{array}\right \rbrack$     (10)

と簡単に計算できます.
\begin{displaymath}
\Gamma^n = V^{-1} A^n V
\end{displaymath} (11)

ですから,両辺に左から $V$ ,右から $V^{-1}$ をかけると
$\displaystyle V \Gamma^n V^{-1}$ $\textstyle =$ $\displaystyle V \{ V^{-1} A^n V \} V^{-1}$  
  $\textstyle =$ $\displaystyle V V^{-1} A^n V V^{-1}$  
  $\textstyle =$ $\displaystyle IA^n I$  
  $\textstyle =$ $\displaystyle A^n$ (12)

となります. $\Gamma^n$ から $A^n$ が簡単に計算できます.それで

\begin{displaymath}
% latex2html id marker 1831
V^{-1} AV = \Gamma \eqno{(\ref{eqn:rsn25})} \end{displaymath}

\begin{eqnarray*}
\Gamma =
\left \lbrack
\begin{array}{cc}
\lambda & 0 \\
0 & \mu \\
\end{array}
\right \rbrack
\end{eqnarray*}



となる行列Vを何とか探そうということにします. % latex2html id marker 1833
$(\ref{eqn:rsn25})$ 式の両辺に左からVをかけると
\begin{displaymath}
 AV = V \Gamma
\end{displaymath} (13)

です. $V \Gamma$ を計算すると
$\displaystyle V \Gamma$ $\textstyle =$ $\displaystyle \begin{array}{cc}
\left \lbrack
\begin{array}{cc}
v_1 & w_1 \\
v...
...in{array}{cc}
\lambda & 0 \\
0 & \mu \\
\end{array}\right \rbrack
\end{array}$  
  $\textstyle =$ $\displaystyle \left \lbrack
\begin{array}{cc}
\lambda v_1 & \mu w_1 \\
\lambda v_2 & \mu w_2\\
\end{array}\right \rbrack$ (14)

行列 $V$ の縦に並んでいる要素をまとめて列ベクトル

\begin{displaymath}v=
\left \lbrack
\begin{array}{c}
v_1 \\
v_2 \\
\end{array}
\right \rbrack
\end{displaymath}


\begin{displaymath}w=
\left \lbrack
\begin{array}{c}
w_1 \\
w_2 \\
\end{array}
\right \rbrack
\end{displaymath}

と書くと, $V= \lbrack v,w \rbrack $で, % latex2html id marker 1841
$(\ref{eqn:rsn210})$ 式は $V \Gamma = \lbrack \lambda v,\mu w \rbrack $ と書けます.すると

\begin{displaymath}
% latex2html id marker 1845
A V = V \Gamma \eqno{(\ref{eqn:rsn29})} \end{displaymath}

は,

\begin{displaymath}A \lbrack v,w \rbrack = \lbrack \lambda v, \mu w \rbrack \end{displaymath}

でさらに左辺を計算すると

\begin{displaymath}\lbrack Av,Aw \rbrack = \lbrack \lambda v ,\mu w \rbrack \end{displaymath}

両辺の1列目,2列目の列ベクトルは等しいはずですから

\begin{eqnarray*}
Av &=& \lambda v \\
Aw &=& \mu w \\
\end{eqnarray*}



という式がでてきます.結局,
\begin{displaymath}
Ax = tx
\end{displaymath} (15)

という定数 $t$ と列ベクトル $x$ の組2組 $(\lambda,v),(\mu,w)$ を求める問題になりました. % latex2html id marker 1853
$(\ref{eqn:rsn211})$ 式の右辺は単位行列 $I$ を使って, $tx=tIx$ と書けますから, % latex2html id marker 1859
$(\ref{eqn:rsn211})$ 式の右辺を左辺に移項して,
\begin{displaymath}
(A-tI)x=
\left \lbrack
\begin{array}{c}
0 \\
0 \\
\end{array}
\right \rbrack
\end{displaymath} (16)

となります. 実数の1次方程式 $ax=0$ の解は $a$ の逆数 $1/a$ があれば(これは $a \ne 0 $ という条件ですが) $ x=(1/a) \, 0=0 $ だけです. 同様に,行列 $(A-tI)$ の逆行列 $(A-tI)^{-1} $ があると, % latex2html id marker 1875
$(\ref{eqn:rsn212})$ 式の両辺に左から $(A-tI)^{-1} $ をかけて,

\begin{displaymath}x=(A-tI)^{-1}\left \lbrack
\begin{array}{c}
0 \\
0 \\
\end{array}
\right \rbrack \end{displaymath}

となって

\begin{displaymath}x=\left \lbrack
\begin{array}{c}
0 \\
0 \\
\end{array}
\right \rbrack
\end{displaymath}

だけが解になってしまいます.これでは目的の $V$ は求まりません. 大学1年次の線形代数の講義を思い出して頂くと, $(A-tI)$ が 逆行列を持たない条件は, それの行列式について

\begin{displaymath}\vert(A-tI)\vert=0 \end{displaymath}

でした.実際,これを計算すると,

\begin{eqnarray*}
A-tI &=&
\left \lbrack
\begin{array}{cc}
\alpha & \bet...
...  
\gamma & \delta-t \\
\end{array}
\right \rbrack \\
\end{eqnarray*}



から 行列式=(左上×右下)−(右上×左下)によって
\begin{displaymath}
0=\vert(A-tI)\vert= ( \alpha-t)(\delta-t)- \beta \gamma
\end{displaymath} (17)

$t$ についての2次の代数方程式がでてきます. まず % latex2html id marker 1885
$(\ref{eqn:rsn213})$ 式が異なる,2つの実数根を持つ場合について考えます. この場合,$t=\lambda,\mu $ になるわけです.これに対応するベクトル $v$$w$ を求めるには, % latex2html id marker 1893
$(\ref{eqn:rsn211})$ 式から

\begin{eqnarray*}
v &=& \left \lbrack
\begin{array}{c}
v_1 \\
v_2 \\
...
...ray}{c}
w_1 \\
w_2 \\
\end{array}
\right \rbrack \\
\end{eqnarray*}



について
$\displaystyle Av$ $\textstyle =$ $\displaystyle \lambda v$ (18)
$\displaystyle Aw$ $\textstyle =$ $\displaystyle \mu w$ (19)

として,$v,w$ を求めることになります.

\begin{eqnarray*}
&& \vert(A- \lambda I)\vert=0 \\
&& \vert(A- \mu I)\vert=0 \\
\end{eqnarray*}



が成り立っていますから, % latex2html id marker 1897
$(\ref{eqn:rsn214}),(\ref{eqn:rsn215})$ は解は一意には決まりません. たとえば $v_1=1,w_1=1 $などとすると,$v_2,w_2$ が決まります.





  1. [ 練習問題 2] $\\ $

    \begin{displaymath}A= \left \lbrack
\begin{array}{cc}
1 & 4 \\
2 & 3 \\
\end{array}
\right \rbrack
\end{displaymath}

    とするとき,上の議論によって,$V$$A$ の対角化 $\Gamma$ を求めてください.

next up previous
: ジョルダン標準形 : Dsys : 離散システムの方程式(狼とウサギ)
Yasunari SHIDAMA