スペクトル半径

数学におけるスペクトル半径（スペクトルはんけい、英: spectral radius）とは、複素正方行列や線形位相空間上の有界線形作用素の固有値の絶対値の最小上界のことである。ギリシャ文字ρによって表記されることがおおい。

行列のスペクトル半径および諸性質

複素正方行列[math]A\in{\mathbb C}^{n\times n}[/math]について、その固有値を[math]\lambda_1, \lambda_2, \ldots, \lambda_2 [/math]（実数または複素数）とする。このときの[math]A [/math]のスペクトル半径 [math]\rho(A) [/math]は以下のように定義される。

[math]\rho(A) := \max_i(|\lambda_i|)[/math]

より一般に、単位的バナッハ環の元 [math]A [/math]について、そのスペクトル σ(A) = {λ ∈ C | I λ - A は可逆でない } に含まれる数の絶対値の上限 [math]\rho(A) [/math]が [math]A [/math] のスペクトル半径と呼ばれる(ここで I はバナッハ環の単位元とする)。 有界線形作用素 [math]A [/math] と作用素ノルム ||·|| に対し、次式がなりたつ(#ノルムによる評価節を参照のこと)。

[math]\rho(A) = \lim_{k \to \infty}\|A^k\|^{1/k}.[/math]

複素ヒルベルト空間上の有界作用素は、そのスペクトル半径が数域半径と一致する場合、spectraloid operator と呼ばれる。このような作用素の例としては、正規作用素がある。

等比列の収束

スペクトル半径は行列の等比列の収束性と次のようにして密接に関係している。 [math]A\in{\mathbb C}^{n\times n}[/math]を複素行列、[math]\rho(A) [/math]をそのスペクトル半径とすると、

[math]\lim_{k \to \infty}A^k=0[/math] のとき、およびそのときに限り [math]\rho(A)\lt 1[/math]である。

これは特に、任意の行列ノルム ||・|| について

• ρ(A) < 1 ならば || A || → 0（ノルムの連続性により）
• ρ(A) > 1 ならば || A || → ∞（ノルムの同値性により）

ということを導く。

[math]\lim_{k \to \infty}A^k = 0[/math]がρ(A) < 1 を導くことは以下のようにしてわかる。 (v, λ) を行列Aの固有ベクトル-固有値の組とすると、

[math]A^k\mathbf{v} = \lambda^k\mathbf{v}[/math]

であるから、

[math]0 = (\lim_{k \to \infty}A^k)\mathbf{v}= \lim_{k \to \infty}A^k\mathbf{v}[/math]

ここで、v ≠ 0 であることより、

[math]\lim_{k \to \infty}\lambda^k = 0[/math]

でなければならないが、これは、|λ| < 1 であることを意味する。これがすべての固有値 λ に対して成立しなければならないから、ρ(A) < 1 と結論づけることができる。

一方、ρ(A) < 1 が[math]\lim_{k \to \infty}A^k = 0[/math]を導くことは以下のようにしてわかる。ジョルダン標準形の理論から、任意の複素行列 A ∈ M_nC について、互いに可換な半単純行列 S とベキ零行列 N があって、A = S + N 、ρ(A) = ρ(S) が成立している。 K をN^K = 0 であるような自然数とすれば、任意の自然数 k について

[math]A^k = S^k + k S^{k-1}N + \binom{k}{2} S^{k-2}N^2 + \cdots + \binom{k}{K-1} S^{k-K+1}N^{K-1}[/math]

が成り立っている。ρ(S)が1より小さいため任意の j について

[math] \binom{k}{j} S^{k-j} \rightarrow 0 \quad (k \rightarrow \infty) [/math]

であり、したがって上式右辺の有限和の各項は 0 に収束している。

ノルムによる評価

複素行列のスペクトル半径と任意の行列ノルム ||·|| に関して、次式が成立する (Gelfand, 1941)。

[math]\rho(A)=\lim_{k \to \infty}||A^k||^{1/k}.[/math]

この定理は以下のようにして示される。 ε > 0 を任意の正の実数とする。このとき、

[math]\tilde{A}=(\rho(A)+\epsilon)^{-1}A.[/math]

について

[math]\rho(\tilde{A}) = \frac{\rho(A)}{\rho(A)+\epsilon} \lt 1[/math]

だから、#等比列の収束により、

[math]\lim_{k \to \infty}\tilde{A}^k=0[/math]

が成り立っている。したがって、ある自然数 N₁ ∈ N が存在して、

[math]\forall k\geq N_1 \Rightarrow \|\tilde{A}^k\| \lt 1[/math]

が成り立つ。これは

[math]\forall k\geq N_1 \Rightarrow \|A^k\|^{1/k} \lt (\rho(A)+\epsilon).[/math]

ということを示している。同様にして

[math] \check{A} = \frac{A}{\rho(A) - \epsilon}[/math]

を考えることにより、ある自然数 N₁ ∈ N が存在して、

[math]\forall k\geq N_1 \Rightarrow \|\check{A}^k\| \gt 1[/math]

がわかる。以上のことから

[math]\forall \epsilon\gt 0, \exists N\in\mathbb{N}: \forall k\geq N \Rightarrow \rho(A) - \epsilon\lt \|A^k\|^{1/k} \lt \rho(A)+\epsilon[/math]

が言えるが、これは

[math]\lim_{k \to \infty}\|A^k\|^{1/k} = \rho(A)[/math]

ということを表している。

さらに||·|| が 一貫性を持つ場合には、任意の複素行列 A ∈ M_nC と k ∈ N に対し

[math]\rho(A)\leq \|A^k\|^{1/k}[/math]

が成立している。これは以下のようにして示すことができる。Aの固有ベクトルv と対応する固有値λについて、行列ノルムの一貫性から次式を得る。

[math]|\lambda|^k\|\mathbf{v}\| = \|\lambda^k \mathbf{v}\| = \|A^k \mathbf{v}\| \leq \|A^k\|\cdot\|\mathbf{v}\|[/math]

ここで、v ≠ 0 であるので、任意の固有値 λ に対して次式を得る。

[math]|\lambda|^k\leq \|A^k\|[/math]

したがって、

[math]\rho(A)\leq \|A^k\|^{1/k}[/math]

が成立する。また、ヒルベルト空間上の作用素ノルムについては

[math]\rho(A^*A) = \| A^*A \| = \| A \|^2[/math]

が成り立つ。

Gelfand の公式は、有限個の行列の積のスペクトル半径に対しても考えることができる。すべての行列が可換であると仮定すると、次式を得る。

[math] \rho(A_1 A_2 \ldots A_n) \leq \rho(A_1) \rho(A_2)\ldots \rho(A_n). [/math]

例

例: 次の行列を考える。

[math]A=\begin{bmatrix} 9 & -1 & 2\\ -2 & 8 & 4\\ 1 & 1 & 8 \end{bmatrix}[/math]

この固有値は 5, 10, 10 であるから、定義より、スペクトル半径は ρ(A)=10 である。以下の表には、ベクトルの p-ノルムから誘導された行列の作用素ノルムおよびヒルベルト-シュミットノルム(フロベニウスノルム)に関する [math]\|A^k\|^{1/k}[/math] の、k の増加に対する値が列挙されている（この行列の場合には[math]\|A^k\|_1=\|A^k\|_\infty[/math] となっている）。

[math]\| A^k \|^{1/k} [/math]

k	[math]\|.\|_1=\|.\|_\infty[/math]	[math]\|.\|_F[/math]	[math]\|.\|_2[/math]
1	14	15.362291496	10.681145748
2	12.649110641	12.328294348	10.595665162
3	11.934831919	11.532450664	10.500980846
4	11.501633169	11.151002986	10.418165779
5	11.216043151	10.921242235	10.351918183
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
10	10.604944422	10.455910430	10.183690042
11	10.548677680	10.413702213	10.166990229
12	10.501921835	10.378620930	10.153031596
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
20	10.298254399	10.225504447	10.091577411
30	10.197860892	10.149776921	10.060958900
40	10.148031640	10.112123681	10.045684426
50	10.118251035	10.089598820	10.036530875
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
100	10.058951752	10.044699508	10.018248786
200	10.029432562	10.022324834	10.009120234
300	10.019612095	10.014877690	10.006079232
400	10.014705469	10.011156194	10.004559078
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
1000	10.005879594	10.004460985	10.001823382
2000	10.002939365	10.002230244	10.000911649
3000	10.001959481	10.001486774	10.000607757
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
10000	10.000587804	10.000446009	10.000182323
20000	10.000293898	10.000223002	10.000091161
30000	10.000195931	10.000148667	10.000060774
[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]	[math]\vdots[/math]
100000	10.000058779	10.000044600	10.000018232

グラフのスペクトル半径

有限グラフのスペクトル半径は、その隣接行列のスペクトル半径として定義される。

この定義は、頂点の次数が有界な無限グラフ（すなわち、ある実数 C が存在して、グラフ中のすべての頂点の次数が C より小さくなる）の場合に拡張される。この場合、グラフ G に対して、その頂点集合を基底にするようなヒルベルト空間 l²(V(G)) 上に

[math] (\gamma f)(v) = \sum_{(u,v) \in E(G)} f(u) [/math]

によって G の隣接作用素とよばれる l²(V(G)) 上の有界作用素 γ を考えることができる。このとき、 γ のスペクトル半径のことをG のスペクトル半径という。

関連記事

• 作用素環論
• バナッハ空間

参考文献

• Gert K. Pedersen (2001). Analysis Now, Corrected ed., Graduate Texts in Mathematics, Springer. ISBN 978-0387967882. 
• Ronald G. Douglas (1998). Banach Algebra Techniques in Operator Theory, Graduate Texts in Mathematics. Springer. ISBN 978-0387983776.