文献あり

東大院試04-A1

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

（説明のため記法を一部改変）

実行列 $A = (a_{i j})$ に対して， $| | A | | = \sum_{i, j} | a_{i j} |$ とおく．行列
$B = (\begin{matrix} 3 & 1 & - 1 \\ - 2 & 1 & 1 \\ 0 & 1 & 1 \end{matrix})$
について， $lim_{n \to \infty} | | B^{n} | |^{1 / n}$ を求めよ．

まず，
「 $n$ 次行列 $A$ のべき乗 $A^{k}$ の挙動は $A$ の固有値の挙動と密接な関係を持つ」という事実がキーとなります（参考文献[1]）．
このことを説明するために，スペクトル半径という概念を導入します．

スペクトル半径

$n$ 次行列 $A$ の固有値を $λ_{1}, \dots, λ_{n}$ とし，
$ρ (A) = max_{i} | λ_{i} |$
とおく． $ρ (A)$ を $A$ のスペクトル半径と呼びます．

これについて以下が成り立ちます．

$lim_{k \to \infty} A^{k} = O \Leftrightarrow ρ (A) < 1$
また， $ρ (A) > 1$ ならば， $lim_{k \to \infty} | | A^{k} | | = \infty$ が成り立つ．

ジョルダン標準形の理論により， $A$ はある正則行列 $P$ を用いて
$P^{- 1} A P = (\begin{matrix} J_{1} \\ ⋱ \\ J_{m} \end{matrix}) = J$
とかける．ここに各 $J_{i}$ はジョルダンブロックを表す．
$J_{i}$ の次数を $p$ とすれば， $k \geq p$ のとき
$J_{i}^{k} = (\begin{matrix} λ_{i}^{k} & (\begin{matrix} k \\ 1 \end{matrix}) λ_{i}^{k - 1} & (\begin{matrix} k \\ 2 \end{matrix}) λ_{i}^{k - 2} & \dots & (\begin{matrix} k \\ p - 1 \end{matrix}) λ_{i}^{k - p + 1} \\ λ_{i}^{k} & (\begin{matrix} k \\ 1 \end{matrix}) λ_{i}^{k - 1} & ⋮ \\ ⋱ & ⋱ & ⋮ \\ ⋱ & (\begin{matrix} k \\ 1 \end{matrix}) λ_{i}^{k - 1} \\ λ_{i}^{k} \end{matrix})$
となるので，
$lim_{k \to \infty} J_{i}^{k} = O \Leftrightarrow lim_{k \to \infty} (\begin{matrix} k \\ j \end{matrix}) λ_{i}^{k - j} = 0$
が成り立つ．
$(\begin{matrix} k \\ j \end{matrix})$ の部分は $k^{i}$ のオーダーで増加するので，
$lim_{k \to \infty} (\begin{matrix} k \\ j \end{matrix}) λ_{i}^{k - j} = 0 \Leftrightarrow | λ_{i} | < 1$
である．
よって
$lim_{k \to \infty} A^{k} = O \Leftrightarrow lim_{k \to \infty} J_{i}^{k} = O \Leftrightarrow | λ_{i} | < 1 \Leftrightarrow ρ (A) < 1$
である．
二つ目の主張は例えばジョルダンブロックの対角成分を考えれば明らかであろう．

さて，これを用いて本丸の定理を示しましょう．

Gelfandの公式

$ρ (A) = lim_{n \to \infty} | | A^{n} | |^{1 / n}$

$ε$ を任意の正の実数とする．このとき，
$\tilde{A} = (ρ (A) + ε)^{- 1} A$
について， $ρ (\tilde{A}) < 1$ が成り立つので，定理1より
$lim_{n \to \infty} \tilde{A} = O$ が成り立つ．よって，自然数 $N_{1}$ が存在して，「 $n \geq N_{1} \Rightarrow | | {\tilde{A}}^{n} | | < 1$ 」が成り立つ． $\tilde{A} = (ρ (A) + ε)^{- 1} A$ を代入して，ついでに両辺を $1 / n$ 乗すれば，
「 $n \geq N_{1} \Rightarrow | | A^{n} | |^{1 / n} < ρ (A) + ε$ 」が成り立つ．
次に，
$\hat{A} = (ρ (A) - ε)^{- 1} A$
を考えると， $ρ (\hat{A}) > 1$ より，自然数 $N_{2}$ が存在して，「 $n \geq N_{2} \Rightarrow | | {\hat{A}}^{n} | | > 1$ 」が成り立つ．上と同様に，「 $n \geq N_{2} \Rightarrow | | A^{n} | |^{1 / n} > ρ (A) - ε$ 」が分かる．
ゆえに定理が成り立つ．