うさぎでもわかる線形代数　第23羽　ジョルダン標準形を用いた行列のn乗の求め方

2019年9月14日 2019年9月14日 51分32秒

ももうさ

スポンサードリンク

こんにちは、ももやまです。

今回はジョルダン標準形を用いた行列の $n$ 乗の求め方についてまとめていきたいと思います。

前回の記事はこちら↓

www.momoyama-usagi.com

ジョルダン標準形がよくわかっていない人はこちらの記事で復習してください。

また、今回の例題の行列は第22羽の例題の行列と全く同じです。

目次 [hide]

１．はじめに
２．2次正方行列のジョルダン標準形のn乗
- 例題1
- 解説1
３．3次正方行列のジョルダン標準形のn乗
- (1) 固有値が2重解+1重解 or 3重解かつ固有ベクトルが2本求められる場合
- (2) 固有値が3重解かつ固有ベクトルが1本しか求められない場合
４．練習
- 練習
５．練習問題の答え
６．さいごに
- 2次のジョルダン標準形 $J$ のべき乗 $J^{n}$ のまとめ
- 3次のジョルダン標準形 $J$ のべき乗 $J^{n}$ のまとめ

スポンサードリンク

１．はじめに

こちらの記事で対角行列であれば行列の $n$ 乗が簡単に求められることは前説明しましたね。

www.momoyama-usagi.com

ジョルダン標準形の場合も対角行列のように行列の $n$ が比較的簡単に求められるのですが、ちょっとした工夫が必要です。

（対角化を用いた行列の $n$ 乗が理解できていないとこちらの記事の理解は少しむずかしいかもしれません。なので上の記事で対角化を用いた行列の $n$ 乗の求め方を復習することをおすすめします）

スポンサードリンク

２．2次正方行列のジョルダン標準形のn乗

2次正方行列のジョルダン標準形は2重解の固有値 $t$ を用いて $J = (\begin{array}{ccc} t & 1 \\ 0 & t \end{array})$ \]と求められますね。

ここで、行列を $J = (\begin{array}{ccc} t & 0 \\ 0 & t \end{array}) + (\begin{array}{ccc} 0 & 1 \\ 0 & 0 \end{array}) = D + A$ とします。

すると、2項定理を用いて $\begin{aligned} J^{n} & = (D + A)^{n} \\ =_{n} C_{0} D^{n} A^{0} +_{n} C_{1} D^{n - 1} A^{1} +_{n} C_{2} D^{n - 2} A^{2} + \dots +_{n} C_{n} D^{0} A^{n} \end{aligned}$ と変形できます。

ここで、 $A^{0} = E = (\begin{array}{ccc} 1 & 1 \\ 1 & 1 \end{array}) A^{1} = A = (\begin{array}{ccc} 0 & 1 \\ 0 & 0 \end{array}) A^{2} = A A = (\begin{array}{ccc} 0 & 0 \\ 0 & 0 \end{array}) = O$ と計算できるので $n ≧ 2$ に対し、 $A^{n} = O$ となることがわかります。

なので、 $\begin{aligned} J^{n} & = (D + A)^{n} \\ =_{n} C_{0} D^{n} A^{0} +_{n} C_{1} D^{n - 1} A^{1} \\ = D^{n} + n D^{n - 1} A \\ = (\begin{array}{ccc} t^{n} & 0 \\ 0 & t^{n} \end{array}) + n (\begin{array}{ccc} t^{n - 1} & 0 \\ 0 & t^{n - 1} \end{array}) (\begin{array}{ccc} 0 & 1 \\ 0 & 0 \end{array}) \\ = (\begin{array}{ccc} t^{n} & 0 \\ 0 & t^{n} \end{array}) + (\begin{array}{ccc} 0 & n t^{n - 1} \\ 0 & 0 \end{array}) \\ = (\begin{array}{ccc} t^{n} & n t^{n - 1} \\ 0 & t^{n} \end{array}) \end{aligned}$ と計算できます。

2次ジョルダン標準形のn乗2次ジョルダン標準形

J

が2重解の固有値

t

を用いて

J = (\begin{array}{ccc} t & 1 \\ 0 & t \end{array})

で表される場合のべき乗

J^{n} は \[J^{n} = (\begin{array}{ccc} t^{n} & n t^{n - 1} \\ 0 & t^{n} \end{array})

と求められる。

このようにジョルダン標準形の $n$ 乗は、対角行列＋残りで表し、2項定理で展開することより求めることができます。

2次ジョルダン行列の $n$ 乗が対角成分が固有値の $n$ 乗（ $t^{n}$ ）、対角成分の1つ上の要素が1の部分が $n t^{n - 1}$ になることは覚えてしまってもいいでしょう。

例題1

行列 $A = (\begin{array}{ccc} 2 & 1 \\ - 1 & 4 \end{array})$ のべき乗 $A^{n}$ を求めなさい。

（前回の第22羽の例題1と同じ行列です。）

解説1

基本的に対角化できる場合の行列のべき乗の求め方と同じです。

ただし、ジョルダン標準形に変わっているので、 $J^{n}$ を求める部分だけが少し違います。

行列 $A$ は $P = (\begin{array}{ccc} 1 & 0 \\ 1 & 1 \end{array})$ として、 $P^{- 1} A P = (\begin{array}{ccc} 3 & 1 \\ 0 & 3 \end{array}) = J$ とジョルダン標準形にできる。

（ジョルダン標準形にするまでの過程はこちらから）

ここで、

変形することができるので、 $J^{n} = P^{- 1} A^{n} P$ が成立する。よって行列 $A$ は、 $P J^{n} P^{- 1} = P P^{- 1} A^{n} P P^{- 1} = A^{n} A^{n} = P J^{n} P^{- 1}$ と求めることができる。

ここで逆行列 $P^{- 1}$ は $P^{- 1} = (\begin{array}{ccc} 1 & 0 \\ - 1 & 1 \end{array})$ と表せる。

また、ジョルダン標準形のべき乗 $J^{n}$ は、 $J^{n} = (\begin{array}{ccc} 3^{n} & 3^{n - 1} n \\ 0 & 3 \end{array})$ と求められるので、\[\begin{align*}
A^n & = P J^n P^{-1}
\ & = \left( $\begin{array}{ccc} 1 & 0 \\ 1 & 1 \end{array}$ \right) \left( $\begin{array}{ccc} 3^{n} & 3^{n - 1} n \\ 0 & 3 \end{array}$ \right) \left( $\begin{array}{ccc} 1 & 0 \\ - 1 & 1 \end{array}$ \right)
\ & = \left( $\begin{array}{ccc} 3^{n} & 3^{n - 1} n \\ 3^{n} & 3^{n - 1} n + 3^{n} \end{array}$ \right) \left( $\begin{array}{ccc} 1 & 0 \\ - 1 & 1 \end{array}$ \right)

\ & = \left( $\begin{array}{ccc} 3^{n} - 3^{n - 1} n & 3^{n - 1} n \\ - 3^{n - 1} n & 3^{n - 1} n + 3^{n} \end{array}$ \right)
\ & = 3^{n-1} \left( $\begin{array}{ccc} 3 - n & n \\ - n & n + 3 \end{array}$ \right)
\end{align*} \]と計算できます。

[検算： $n = 1$ を代入して $A^{1} = A$ となることを確認]

ちなみに二項定理ではなく、 $J^{2}$ , $J^{3}$ , $J^{4}$ …… と求めて行き形を推測し、数学的帰納法で証明する方法もあります。

スポンサードリンク

３．3次正方行列のジョルダン標準形のn乗

3次正方行列のジョルダン標準形の $n$ 乗も2次と同じように求めることができます。

ですが、2パターンに場合分けが必要です。

(1) 固有値が2重解+1重解 or 3重解かつ固有ベクトルが2本求められる場合

まずはこちらのジョルダン標準形の $n$ 乗から求めていきましょう。こちらのジョルダン標準形は $J = (\begin{array}{ccc} t_{1} & 0 & 0 \\ 0 & t_{2} & 1 \\ 0 & 0 & t_{2} \end{array}) J = (\begin{array}{ccc} t_{2} & 1 & 0 \\ 0 & t_{2} & 0 \\ 0 & 0 & t_{1} \end{array})$ の形で表されますね（実際に計算でお見せするときは上のほうで試したいと思います）。

（ただし $t_{1}$ , $t_{2}$ は固有値。 $t_{1}$ , $t_{2}$ の値が同じときは3重解で固有ベクトルが2本求められる場合に相当）

では先ほどと同じように2項定理を用いてジョルダン標準形 $J$ の $n$ 乗を求めていきたいと思います。 $J = D + A = (\begin{array}{ccc} t_{1} & 0 & 0 \\ 0 & t_{2} & 0 \\ 0 & 0 & t_{2} \end{array}) + (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array})$ とします。

すると、2項定理を用いて $\begin{aligned} J^{n} & = (D + A)^{n} \\ =_{n} C_{0} D^{n} A^{0} +_{n} C_{1} D^{n - 1} A^{1} +_{n} C_{2} D^{n - 2} A^{2} + \dots + +_{n} C_{n} D^{0} A^{n} \end{aligned}$ と変形できます（ここは2次の場合と同様）。

ここで、 $A^{0} = E A^{1} = A = (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array}) A^{2} = A A = (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}) = O$ と計算できるので $n ≧ 2$ に対し、 $A^{n} = O$ となることがわかります。

なので、 $\begin{aligned} J^{n} & = (D + A)^{n} \\ =_{n} C_{0} D^{n} A^{0} +_{n} C_{1} D^{n - 1} A^{1} \\ = D^{n} + n D^{n - 1} A \\ = (\begin{array}{ccc} t_{1}^{n} & 0 & 0 \\ 0 & t_{2}^{n} & 0 \\ 0 & 0 & t_{2}^{n} \end{array}) + n (\begin{array}{ccc} t_{1}^{n - 1} & 0 & 0 \\ 0 & t_{2}^{n - 1} & 0 \\ 0 & 0 & t_{2}^{n - 1} \end{array}) (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array}) \\ = (\begin{array}{ccc} t_{1}^{n} & 0 & 0 \\ 0 & t_{2}^{n} & 0 \\ 0 & 0 & t_{2}^{n} \end{array}) + (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & n t_{2}^{n - 1} \\ 0 & 0 & 0 \end{array}) \\ = (\begin{array}{ccc} t_{1}^{n} & 0 & 0 \\ 0 & t_{2}^{n} & n t_{2}^{n - 1} \\ 0 & 0 & t_{2}^{n} \end{array}) \end{aligned}$ と計算できます。

（ちなみに下のほうで試すと $J^{n}$ は $J^{n} = (\begin{array}{ccc} t_{2}^{n} & n t_{2}^{n - 1} & 0 \\ 0 & t_{2}^{n} & 0 \\ 0 & 0 & t_{1}^{n} \end{array})$ と求められます。）

対角成分の上の1が1つのみの場合の3次ジョルダン標準形のn乗3次正方行列のジョルダン標準形

J

が固有値

t_{1}

t_{2}

を用いて

J = (\begin{array}{ccc} t_{1} & 0 & 0 \\ 0 & t_{2} & 1 \\ 0 & 0 & t_{2} \end{array}) J = (\begin{array}{ccc} t_{2} & 1 & 0 \\ 0 & t_{2} & 0 \\ 0 & 0 & t_{1} \end{array})

と表される場合のべき乗

J^{n}

は

J^{n} = (\begin{array}{ccc} t_{1}^{n} & 0 & 0 \\ 0 & t_{2}^{n} & n t_{2}^{n - 1} \\ 0 & 0 & t_{2}^{n} \end{array}) J^{n} = (\begin{array}{ccc} t_{2}^{n} & n t_{2}^{n - 1} & 0 \\ 0 & t_{2}^{n} & 0 \\ 0 & 0 & t_{1}^{n} \end{array})

と表される。

このパターンの $J$ から $J^{n}$ を二項定理ではなく、 $J^{2}$ , $J^{3}$ , $J^{4}$ を求めていくことで $J^{n}$ を推測し、帰納法で証明する問題はこちらに用意しているので余裕あればチャレンジしてみてください。

例題2

行列 $A = (\begin{array}{ccc} 1 & 0 & - 1 \\ 0 & 2 & 0 \\ 0 & 1 & 1 \end{array})$ のべき乗 $A^{n}$ を求めなさい。

（前回の第22羽の例題2と同じ行列です。）

解説2

行列 $A$ は $P = (\begin{array}{ccc} 1 & 0 & - 1 \\ 0 & 0 & 1 \\ 0 & - 1 & 1 \end{array})$ を用いて $P^{- 1} A P = (\begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2 \end{array}) = J$ とジョルダン標準形にできる。

（ジョルダン標準形にするまでの過程はこちらから）

行列 $A$ のべき乗 $A^{n}$ を求めるためには、 $A^{n} = P J^{n} P^{- 1}$ を求めればよい（例題1と同じように変形すればOK）。

ここで行列 $P^{- 1}$ の逆行列を求める。

3次正方行列なので掃き出し法で解く。 $\begin{aligned} (\begin{array}{cccccc} 1 & 0 & - 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 & 1 & 0 \\ 0 & - 1 & 1 & 0 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 1 & 0 & 1 & 0 \\ 0 & - 1 & 0 & 0 & - 1 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 1 & 0 \\ 0 & 1 & 0 & 0 & 1 & - 1 \\ 0 & 0 & 1 & 0 & 1 & 0 \end{array}) \end{aligned}$ となるので、 $P^{- 1} = (\begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & - 1 \\ 0 & 1 & 0 \end{array})$ となる。

また、ジョルダン標準形のべき乗 $J^{n}$ は、 $J^{n} = (\begin{array}{ccc} 1^{n} & 1^{n - 1} n & 0 \\ 0 & 1^{n} & 0 \\ 0 & 0 & 2^{n} \end{array}) = (\begin{array}{ccc} 1 & n & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2^{n} \end{array})$ と求められるので、 $\begin{aligned} A^{n} & = P J^{n} P^{- 1} \\ = (\begin{array}{ccc} 1 & 0 & - 1 \\ 0 & 0 & 1 \\ 0 & - 1 & 1 \end{array}) (\begin{array}{ccc} 1 & n & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2^{n} \end{array}) (\begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & - 1 \\ 0 & 1 & 0 \end{array}) \\ = (\begin{array}{ccc} 1 & n & - 2^{n} \\ 0 & 0 & 2^{n} \\ 0 & - 1 & 2^{n} \end{array}) (\begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & - 1 \\ 0 & 1 & 0 \end{array}) \\ = (\begin{array}{ccc} 1 & 1 + n - 2^{n} & - n \\ 0 & 2^{n} & 0 \\ 0 & - 1 + 2^{n} & 1 \end{array}) \end{aligned}$ と計算できます。

(2) 固有値が3重解かつ固有ベクトルが1本しか求められない場合

つぎに（といっても最後ですが）固有値が3重解かつ固有ベクトルが1本しか求められない場合のジョルダン標準形の $n$ 乗を求める方法を説明していきましょう。

こちらのジョルダン標準形は3重解の固有値 $t$ を用いて $J = (\begin{array}{ccc} t & 1 & 0 \\ 0 & t & 1 \\ 0 & 0 & t \end{array})$ の形で表されますね。

先ほどと同じように2項定理を用いてジョルダン標準形 $J$ の $n$ 乗を求めていきたいと思います。 $J = D + A = (\begin{array}{ccc} t_{1} & 0 & 0 \\ 0 & t_{2} & 0 \\ 0 & 0 & t_{2} \end{array}) + (\begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array})$ とします。

ここで、 $A^{0} = E A^{1} = A = (\begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{array}) A^{2} = A A = (\begin{array}{ccc} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}) A^{3} = A^{2} A = (\begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}) = O$ と計算できるので $n ≧ 3$ に対し、 $A^{n} = O$ となることがわかります。

（先ほどと異なり、 $A^{3}$ まで計算しないとゼロ行列 $O$ にならないので注意）

なので、 $\begin{aligned} J^{n} & = (D + A)^{n} \\ =_{n} C_{0} D^{n} A^{0} +_{n} C_{1} D^{n - 1} A^{1} +_{n} C_{2} D^{n - 2} A^{2} \\ = D^{n} + n D^{n - 1} A + \frac{1}{2} n (n - 1) D^{n - 2} A^{2} \\ = (\begin{array}{ccc} t^{n} & 0 & 0 \\ 0 & t^{n} & 0 \\ 0 & 0 & t^{n} \end{array}) + (\begin{array}{ccc} 0 & n t^{n - 1} & 0 \\ 0 & 0 & n t^{n - 1} \\ 0 & 0 & 0 \end{array}) + (\begin{array}{ccc} 0 & 0 & \frac{1}{2} n (n - 1) t^{n - 2} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}) \\ = (\begin{array}{ccc} t^{n} & n t^{n - 1} & \frac{1}{2} (n^{2} - n) t^{n - 2} \\ 0 & t^{n} & n t^{n - 1} \\ 0 & 0 & t^{n} \end{array}) \end{aligned}$ と計算できます。

固有値が3重解かつ固有ベクトルが1本の場合の3次ジョルダン標準形のn乗3次正方行列のジョルダン標準形

J

が3重解の固有値

t

を用いて

J = (\begin{array}{ccc} t & 1 & 0 \\ 0 & t & 1 \\ 0 & 0 & t \end{array})

と表される場合のべき乗

J^{n}

は

J^{n} = (\begin{array}{ccc} t^{n} & n t^{n - 1} & \frac{1}{2} (n^{2} - n) t^{n - 2} \\ 0 & t^{n} & n t^{n - 1} \\ 0 & 0 & t^{n} \end{array})

と表される。

ではこちらも1問練習してみましょう。

例題3

行列 $A = (\begin{array}{ccc} 7 & - 1 & 1 \\ 8 & 1 & 2 \\ - 6 & 1 & 1 \end{array})$ のべき乗 $A^{n}$ を求めなさい。

（前回の第22羽の例題3と同じ行列です。）

行列 $A$ は $P = (\begin{array}{ccc} 1 & 0 & 0 \\ 2 & 0 & - 1 \\ - 2 & 1 & - 1 \end{array})$ を用いて $P^{- 1} A P = (\begin{array}{ccc} 3 & 1 & 0 \\ 0 & 3 & 1 \\ 0 & 0 & 3 \end{array}) = J$ とジョルダン標準形にできる。

（ジョルダン標準形にするまでの過程はこちらから）

行列 $A$ のべき乗 $A^{n}$ を求めるためには、 $A^{n} = P J^{n} P^{- 1}$ を求めればよい（例題1と同じように変形すればOK）。

ここで行列 $P^{- 1}$ の逆行列を求める。

3次正方行列なので掃き出し法で解く。 $\begin{aligned} (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 2 & 0 & - 1 & 0 & 1 & 0 \\ - 2 & 1 & - 1 & 0 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & - 1 & - 2 & 1 & 0 \\ 0 & 1 & - 1 & 2 & 0 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & - 1 & - 2 & 1 & 0 \\ 0 & 1 & - 1 & 4 & - 1 & 1 \end{array}) \\ \to & (\begin{array}{cccccc} 1 & 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & 4 & - 1 & 1 \\ 0 & 0 & 1 & 2 & - 1 & 0 \end{array}) \end{aligned}$ となるので、 $P^{- 1} = (\begin{array}{ccc} 1 & 0 & 0 \\ 4 & - 1 & 1 \\ 2 & - 1 & 0 \end{array})$ となる。

また、ジョルダン標準形のべき乗 $J^{n}$ は、 $J^{n} = (\begin{array}{ccc} 3^{n} & 3^{n - 1} n & \frac{1}{2} \cdot 3^{n - 2} (n^{2} - n) \\ 0 & 3^{n} & 3^{n - 1} n \\ 0 & 0 & 3^{n} \end{array}) = \frac{1}{2} \cdot 3^{n - 2} (\begin{array}{ccc} 18 & 6 n & n^{2} - n \\ 0 & 18 & 6 n \\ 0 & 0 & 18 \end{array}) =$ と求められるので、 $\begin{aligned} A^{n} & = P J^{n} P^{- 1} \\ = (\begin{array}{ccc} 1 & 0 & 0 \\ 2 & 0 & - 1 \\ - 2 & 1 & - 1 \end{array}) \cdot \frac{1}{2} \cdot 3^{n - 2} (\begin{array}{ccc} 18 & 6 n & n^{2} - n \\ 0 & 18 & 6 n \\ 0 & 0 & 18 \end{array}) (\begin{array}{ccc} 1 & 0 & 0 \\ 4 & - 1 & 1 \\ 2 & - 1 & 0 \end{array}) \\ = \frac{1}{2} \cdot 3^{n - 2} (\begin{array}{ccc} 18 & 6 n & n^{2} - n \\ 36 & 12 n & 2 n^{2} - 2 n - 18 \\ - 36 & 18 - 12 n & - 2 n^{2} + 8 n - 18 \end{array}) (\begin{array}{ccc} 1 & 0 & 0 \\ 4 & - 1 & 1 \\ 2 & - 1 & 0 \end{array}) \\ = \frac{1}{2} \cdot 3^{n - 2} (\begin{array}{ccc} 2 n^{2} + 22 n + 18 & - n^{2} - 5 n & 6 n \\ 4 n^{2} + 44 n & - 2 n^{2} - 10 n + 18 & 12 n \\ - 4 n^{2} - 32 n & 2 n^{2} + 4 n & - 12 n + 18 \end{array}) \end{aligned}$ と計算できます。

４．練習

では1問だけですが練習してみましょう。

3次正方行列の計算はめんどくさいので2次正方行列の問題を持ってきました。

練習

つぎの行列 $A = (\begin{array}{ccc} 8 & 4 \\ - 9 & - 4 \end{array})$ の行列について、次の問いに答えなさい。

(1) 行列 $A$ の固有値を求めなさい。
(2) 行列 $A$ が対角化可能かどうかを判定しなさい。
(3) 行列 $A$ が対角化可能であれば正則な行列 $P$ を用いて行列 $A$ を対角化し、 $P^{- 1} A P$ を対角行列にしなさい。対角化できなければ正則な行列 $P$ を用いて行列 $A$ のジョルダン標準形を求めなさい。
(4) 行列 $A$ のべき乗 $A^{n}$ を求めなさい。

(5) (4)の結果を用いて初項 $a_{0} = 1$ , $b_{0} = - 2$ で表される差分方程式（漸化式）

${\begin{cases} a_{n} = 8 a_{n - 1} + 4 b_{n - 1} \\ b_{n} = - 9 a_{n - 1} - 4 b_{n - 1} \end{cases}$

の $a_{n}$ , $b_{n}$ を求めたい。 ${\vec{x}}_{n} = (\begin{array}{ccc} a_{n} \\ b_{n} \end{array}) {\vec{x}}_{n} = A {\vec{x}}_{n - 1}$ とし、 ${\vec{x}}_{n}$ を求めることで、 $a_{n}$ , $b_{n}$ の特殊解を求めなさい。

５．練習問題の答え

(1)

固有値を $t$ とすると、固有方程式は、 $\begin{aligned} | A - t E | = & | \begin{array}{ccc} 8 - t & 4 \\ - 9 & - 4 - t \end{array} | \\ = & (t + 4) (t - 8) + 36 \\ = & t^{2} - 4 t + 4 \\ = & (t - 2)^{2} = 0 \end{aligned}$ より固有値は2（2重解）となる。

（できればこの時点で対角化難しくねって思ってほしいです……）

(2)

固有値が2のときの固有ベクトルは、 $\begin{aligned} (A - 2 E) = & (\begin{array}{ccc} 6 & 4 \\ - 9 & - 6 \end{array}) \\ \to & (\begin{array}{ccc} 3 & 2 \\ 0 & 0 \end{array}) \end{aligned}$ となる。 $3 x + 2 y = 0$ を解くと、任意定数 $k$ を用いて $(\begin{array}{ccc} x \\ y \end{array}) = k (\begin{array}{ccc} 2 \\ - 3 \end{array})$ と表せるので、固有ベクトルは1本あり、固有ベクトル $\vec{p_{1}}$ は、 $\vec{p_{1}} = (\begin{array}{ccc} 2 \\ - 3 \end{array})$ となる。

よって固有ベクトルが行列のサイズ分（2つ）出せないので対角化はできない。

(3)

対角化ができないので、広義固有ベクトルを求めることでジョルダン標準形を求める。 $(A - 3 E) \vec{p_{2}} = \vec{p_{1}}$ を満たすような $\vec{p_{2}}$ を求める。

$\begin{aligned} (\begin{array}{ccc} 6 & 4 & 2 \\ - 9 & - 6 & - 3 \end{array}) \\ \to & (\begin{array}{ccc} 3 & 2 & 1 \\ 0 & 0 & 0 \end{array}) \end{aligned}$ となる。 $3 x + 2 y = 1$ の解の1つに $(\begin{array}{ccc} x \\ y \end{array}) = (\begin{array}{ccc} 1 \\ - 1 \end{array})$ があるので、広義固有ベクトル $\vec{p_{2}}$ は $\vec{p_{2}} = (\begin{array}{ccc} 1 \\ - 1 \end{array})$ となる。（なるべく整数になるように広義固有ベクトルを決めましょう。）

よって、 ${\begin{cases} (A - 2 E) \vec{p_{1}} = \vec{0} \\ A \vec{p_{1}} = 2 \vec{p_{1}} \end{cases} {\begin{cases} (A - 2 E) \vec{p_{2}} = \vec{p_{1}} \\ A \vec{p_{2}} = \vec{p_{1}} + 2 \vec{p_{2}} \end{cases}$ が成立するので、 $P = (\vec{p_{1}}, \vec{p_{2}}) = (\begin{array}{ccc} 2 & 1 \\ - 3 & - 1 \end{array})$ とすると、 $\begin{aligned} A P & = A (\vec{p_{1}}, \vec{p_{2}}) \\ = (2 \vec{p_{1}}, ¥ v e c p_{1} + 2 \vec{p_{2}}) \\ = (\vec{p_{1}}, \vec{p_{2}}) (\begin{array}{ccc} 2 & 1 \\ 0 & 2 \end{array}) \\ = P (\begin{array}{ccc} 2 & 1 \\ 0 & 2 \end{array}) \end{aligned}$ となるので、 $P = (\begin{array}{ccc} 2 & 1 \\ - 3 & - 1 \end{array}) J = P^{- 1} A P = (\begin{array}{ccc} 2 & 1 \\ 0 & 2 \end{array})$ とジョルダン標準形にできる。

[検算]

A P = P J = (\begin{array}{ccc} 4 & 4 \\ - 6 & - 5 \end{array})

(4)

行列 $A$ のべき乗 $A^{n}$ を求めるためには、 $A^{n} = P J^{n} P^{- 1}$ を求めればよい。

ここで行列 $P^{- 1}$ の逆行列を求める。 $P^{- 1} = (\begin{array}{ccc} - 1 & - 1 \\ 3 & 2 \end{array})$

また、ジョルダン標準形のべき乗 $J^{n}$ は、 $J^{n} = (\begin{array}{ccc} 2^{n} & 2^{n - 1} n \\ 0 & 2 \end{array})$ と求められるので、 $\begin{aligned} A^{n} & = P J^{n} P^{- 1} \\ = (\begin{array}{ccc} 2 & 1 \\ - 3 & - 1 \end{array}) (\begin{array}{ccc} 2^{n} & 2^{n - 1} n \\ 0 & 2 \end{array}) (\begin{array}{ccc} - 1 & - 1 \\ 3 & 2 \end{array}) \\ = (\begin{array}{ccc} 2^{n + 1} & 2^{n} (1 + n) \\ - 3 \cdot 2^{n} & - 3 \cdot 2^{n - 1} n + 2^{n} \end{array}) (\begin{array}{ccc} - 1 & - 1 \\ 3 & 2 \end{array}) \\ = (\begin{array}{ccc} 2^{n} (3 n + 1) & 2 n \cdot 2^{n} \\ - 9 n \cdot 2^{n - 1} & 2^{n} - 6 n \cdot 2^{n - 1} \end{array}) \\ = 2^{n - 1} (\begin{array}{ccc} 6 n + 2 & 4 n \\ - 9 n & 2 - 6 n \end{array}) \end{aligned}$ と計算できます。

(5) $\begin{aligned} {\vec{x}}_{n} = & A {\vec{x}}_{n - 1} \\ = & A^{2} {\vec{x}}_{n - 2} \\ = & \dots \\ = & A^{n} {\vec{x}}_{0} \end{aligned}$ となる。よって、 $\begin{aligned} {\vec{x}}_{n} & = 2^{n - 1} (\begin{array}{ccc} 6 n + 2 & 4 n \\ - 9 n & 2 - 6 n \end{array}) (\begin{array}{ccc} 1 \\ - 2 \end{array}) \\ = 2^{n - 1} (\begin{array}{ccc} - 2 n + 2 \\ 3 n + 4 \end{array}) \\ = (\begin{array}{ccc} a_{n} \\ b_{n} \end{array}) \end{aligned}$ となるので、特殊解は ${\begin{cases} a_{n} = (1 - n) \cdot 2^{n} \\ b_{n} = (3 n - 4) \cdot 2^{n} \end{cases}$ となる。