数値解析 第13回 (5) 固有値・固有ベクトルの手計算
固有値・固有ベクトルの手計算
前ページの定理より、
$n$ 次正方行列 $A$ の固有値・固有ベクトル $(\lambda_j,\vvv_j)$ ( $j = 1,2,\cdots,n$ ) を求めるアルゴリズムは次で与えられます。
Algorithm 16
- 固有多項式 $\varphi_A(x)$ を求める
- 固有方程式 $\varphi_A(x)=0$ の $n$ 個の解 $\lambda_1$, $\lambda_2$, $\cdots$, $\lambda_n$ を求める
- 各 $\lambda_j$ に対し $(\lambda_j E-A)\vvv=\ooo$ の非零解 $\vvv_j$ を求める
Ex.6 の行列 $\dps{A=\mat{rr}{3 & 1 \\ 1 & 3}}$ の場合:
- $\varphi_A(x)=(x-4)(x-2).$
- $\lambda_1=4$, $\lambda_2=2$.
- $\lambda_1=4$ のとき
$\dps{(4 E-A)\vvv=\mat{rr}{1 & -1 \\ -1 & 1}\vvv=\ooo}$
の非零解を求めて $\vvv_{1}=\mat{c}{1 \\ 1}$.
$\lambda_2=2$ のとき
$\dps{(2 E-A)\vvv=\mat{rr}{-1 & -1 \\ -1 & -1}\vvv=\ooo}$
の非零解を求めて $\vvv_{2}=\mat{c}{1 \\ -1}$.
複素数が必要な場合
$A$ が実数成分でも、固有値・固有ベクトルの計算には複素数が必要な場合があります。
Ex.17 角 $\theta$ の回転の行列
$\dps{A=\mat{rr}{\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta}}$
は全ての非零ベクトルを回転させてしまうので、実数成分の固有ベクトルは存在しません。
複素数を用いると、
- $\dps{\varphi_A(x)
=\left|\,\begin{array}{cc}x-\cos\theta & \sin\theta \\ -\sin\theta & x - \cos\theta \end{array}\,\right|
=(x-\cos\theta)^2+\sin^2\theta}$.
- $\lambda_1=\cos\theta+i\sin\theta=e^{i\theta}$, $\lambda_2=\cos\theta-i\sin\theta=e^{-i\theta}$.
- $\lambda_1=\cos\theta+i\sin\theta$ のとき
$\dps{((\cos\theta+i\sin\theta)E-A)\vvv
=\mat{rr}{i\sin\theta & \sin\theta \\ -\sin\theta & i\sin\theta}\vvv=\ooo
}$
の非零解を求めて $\vvv_{1}=\mat{c}{i \\ 1}$.
同様にして $\lambda_2=\cos\theta-i\sin\theta$ のとき $\vvv_{2}=\mat{c}{-i \\ 1}$.
※ 体の理論から、$\lambda_1=\cos\theta+i\sin\theta$, $\vvv_{1}=\mat{c}{i \\ 1}$ が求めまれば、
その複素共役
$\lambda_2=\cos\theta-i\sin\theta$, $\vvv_{2}=\mat{c}{-i \\ 1}$
も固有値・固有ベクトルであることが自動的にわかります。
有理数成分の行列で固有値に $\sqrt{\phantom{x}}$ が出てきたときも同様です。たとえば
$\dps{A=\mat{cc}{0 & 2 \\ 1 & 0}}$
のとき
$\lambda_1=\sqrt{2}$, $\vvv_{1}=\mat{c}{\sqrt{2} \\ 1}$
が求まれば、その共役を取って
$\lambda_2=-\sqrt{2}$, $\vvv_{2}=\mat{c}{-\sqrt{2} \\ 1}$
が求まります。
練習問題
次の行列の固有値・固有ベクトルを求めよ。
(1) $\dps{A=\mat{cc}{2 & 1 \\ 0 & 1 }}$
解を折りたたむ
$\varphi_A(x)=\determ{cc}{x-2 & -1 \\ 0 & x-1}=(x-2)(x-1)$,
$\lambda_1=2,\ \vvv_1=\mat{r}{1 \\ 0};\quad$
$\lambda_2=1,\ \vvv_2=\mat{r}{1 \\ -1}$.
(2) $\dps{A=\mat{rr}{3 & 2 \\ 1 & 2 \\}}$
解を折りたたむ
$\varphi_A(x)=\determ{cc}{x-3 & -2 \\ -1 & x-2}=(x-3)(x-2)-2=(x-4)(x-1)$,
$\lambda_1=4,\ \vvv_1=\mat{r}{2 \\ 1};\quad$
$\lambda_2=1,\ \vvv_2=\mat{r}{1 \\ -1}$.
(3) $\dps{A=\mat{rr}{0 & -1 \\ 1 & 0 \\}}$
解を折りたたむ
$\varphi_A(x)=\determ{cc}{x & 1 \\ -1 & x}=x^2+1$,
$\lambda_1=i,\ \vvv_1=\mat{r}{i \\ 1};\quad$
$\lambda_2=-i,\ \vvv_2=\mat{r}{-i \\ 1}$.
(4) $\dps{A=\mat{rrr}{
0 & 2 & 3 \\
3 & -1 & 3 \\
4 & -4 & 1}}$
解を折りたたむ
\begin{align}
\varphi_A(x)
&=\determ{ccc}{x & -2 & -3 \\ -3 & x+1 & -3 \\ -4 & 4 & x-1} \\
&= x \determ{cc}{x+1 & -3 \\ 4 & x-1}
+ 3 \determ{cc}{-2 & -3 \\ 4 & x-1}
- 4 \determ{cc}{-2 & -3 \\ x+1 & -3} \\
&= x(x^2-1+12) + 3(-2x+2+12)-4(6+3x+3) \\
&= x^3 - 7x + 6 \\
&= (x-1)(x-2)(x+3),
\end{align}
$\lambda_1=1,\ \vvv_1=\mat{r}{3 \\ 3 \\ -1};\ $
$\lambda_2=2,\ \vvv_2=\mat{r}{1 \\ 1 \\ 0};\ $
$\lambda_3=-3,\ \vvv_3=\mat{r}{1 \\ 0 \\ -1}$.