固有ベクトルを用いた行列のn乗の計算

数学

2024.04.262024.07.14

行列 $A = (\begin{matrix} - 8 & 6 \\ - 9 & 7 \end{matrix})$ が存在する。

固有値 $λ = - 2, 1$ で、対応する固有ベクトルは $v_{1} (\begin{matrix} 1 \\ 1 \end{matrix}), v_{2} = (\begin{matrix} 2 \\ 3 \end{matrix})$ である。

このとき、 $\begin{array}{r} (1) & A^{n} (\begin{array}{c} 0 \\ 1 \end{array}) \end{array}$ の値を求めよ。
新訂線形代数問題集P65 大問147 より抜粋

はじめに
本記事で覚えたいこと
解答例
最後に
参考文献

はじめに

本問は、固有値の性質を利用し、 $A^{n}$ の乗数を落としていき、結果を求める問題です。色々な大学でたまに出題されます。(電通大2023など)

まず自力で解けるか確認し、分からなかった場合は復習に役立てて下さると幸いです。

なお、問題は引用元から抜粋しましたが、解答は略解での記載でした。本記事で解答のキーポイントを埋め合わせできればと思います。

本記事で覚えたいこと

行列 $A$ の固有値を $λ$ 、対応する固有ベクトルを $v_{1}$ とすると
$A v_{i} = λ v_{i}$ が成立する。
ある2次元ベクトル $a$ を固有ベクトル $v_{1}, v_{2}$ を使用して、 $a = s v_{1} + t v_{2}$ と分解する。
$A^{n} a = s A^{n} v_{1} + t A^{n} v_{2} = s λ_{1}^{n} v_{1} + t λ_{2}^{n} v_{2}$ と変形し、結果を求める。

１．２．がキーポイントです。

１．は固有値の性質そのものですが、対角化などの問題を解くうえではあまり使用しません。ですので、盲点になりがちなところです。

２．は、一次独立なベクトルを組み合わせれば、同じ次元の任意のベクトルを表すことができる事実を知っているとできます。

文字ばかりで分かりづらいと思います。下記に解答例を示しますので、ご覧いただければと思います。

解答例

まず、 $(\begin{matrix} 0 \\ 1 \end{matrix}) = - 2 (\begin{matrix} 1 \\ 1 \end{matrix}) + (\begin{matrix} 2 \\ 3 \end{matrix})$ とベクトルを分解できる。(CHECK2)

これより、求める式(1)は以下のように変形できる。

$\begin{array}{r} (2) & A^{n} (\begin{array}{c} 0 \\ 1 \end{array}) = A^{n} ((- 2) (\begin{array}{c} 0 \\ 1 \end{array}) + (\begin{array}{c} 2 \\ 3 \end{array})) \end{array}$

(CHECK1)の性質より

$A (\begin{matrix} 1 \\ 1 \end{matrix}) = (- 2) (\begin{matrix} 1 \\ 1 \end{matrix}), A (\begin{matrix} 2 \\ 3 \end{matrix}) = (\begin{matrix} 2 \\ 3 \end{matrix})$

だから、これをn乗分適用することで

$\begin{matrix} (3) & \begin{aligned} A^{n} (\begin{array}{c} 0 \\ 1 \end{array}) & = A^{n} ((- 2) (\begin{array}{c} 0 \\ 1 \end{array}) + (\begin{array}{c} 2 \\ 3 \end{array})) \\ = - 2 (- 2^{n}) (\begin{array}{c} 1 \\ 1 \end{array}) + (\begin{array}{c} 2 \\ 3 \end{array}) \\ = (\begin{array}{c} {(- 2)}^{n + 1} + 2 \\ {(- 2)}^{n + 1} + 3 \end{array}) \end{aligned} \end{matrix}$