1 スペクトルの基本概念
スペクトルは、線形作用がどのような“振る舞い”を生むかを、数値の集合と幾何学的構造に分解して理解するための枠組みである。とくに作用素や行列が対象である場合、「入力のある成分が、作用後に特定の比率で保たれる」という状況を固有値・固有ベクトル（固有モード）として捉え、そこから連続部分や反映されない部分まで含む全体像をスペクトル集合として表す。
数学的に見ると、スペクトルは「対象がある変換をどのように効かせるか」を、演算の観点から解析する手段である。多くの場面でスペクトルは、解の存在性、発展の安定性、長時間挙動などの定性的特徴を決める役割を担い、作用素論の中心概念として位置付く。
1.1 固有値・固有ベクトル
線形変換 \(T\)（有限次元の行列でも、無限次元の作用素でもよい）に対し、ある非零ベクトル \(v\) が存在して \[ T v=\lambda v \] を満たすとき、\(\lambda\) を固有値、\(v\) を固有ベクトル（あるいは固有モード）という。固有ベクトルは、作用後に方向が変わらず大きさのみが倍率 \(\lambda\) で変化する成分を表す。
固有値が複素数で現れることもあるが、自己共役（エルミート）性を仮定できると固有値は実数に制限され、モード間の直交関係が整理される。複数の固有ベクトルが同じ固有値に対応しうるため、次節の「集合としてのスペクトル」を理解するうえでも、固有値に付随する空間の大きさが重要になる。
1.2 スペクトル集合（スペクトル全体）
固有値だけでは、十分に広いクラスの作用素を扱うには情報が足りない。そこで「作用素 \(T\) に対し \(\lambda I-T\) が逆をもつかどうか」を基準にスペクトルを定める。一般に、逆が存在しない値の集合としてスペクトル集合が現れるため、固有値を含みつつ、固有値ではないが逆不可能な値（連続的な成分など）も取り込める。
この立場から、スペクトルは点の集合として理解でき、さらに作用素の性質に応じて「離散的」「連続的」「集積点を持つ」といった構造が決まる。スペクトルがどの領域に現れるかは、解析的問題の特徴（解の挙動、減衰率、発展の型）を規定することが多い。
1.3 レゾルベントとスペクトルの関係
スペクトル集合を理解する最短経路の一つはレゾルベント（resolvent）を用いることにある。値 \(\lambda\) に対し、\((\lambda I-T)^{-1}\) が存在し有界に振る舞う範囲がレゾルベント集合である。逆に、どこでこの逆が失われるかがスペクトル集合に対応する。
この対応により、解析の推進装置が得られる。たとえば、レゾルベントが有界である領域では方程式 \[ (\lambda I-T)u=f \] が安定に解ける傾向がある。さらにレゾルベントの正則性や境界挙動は、スペクトル周辺での特異性として現れ、固有値に対応する極や、連続成分に関連する振る舞いへつながる。
2 行列のスペクトル
有限次元の行列では、スペクトルはより具体的な形を取りやすい。行列の固有値は多項式（特性多項式）の根として計算でき、固有空間はその根に対応して記述される。さらに、条件を課せば対角化や実スペクトルの保証などが得られ、数値計算にもつながる。
2.1 固有値分解と対角化
対角化が可能な場合、行列は適切な基底選択により対角行列へ変換され、作用は固有値の倍率を並べただけで表現できる。より一般には、固有値分解の観点から、状態空間を固有空間の直和として分け、作用が各部分に独立に働く構造を明確化する。
対角化に必要な条件は、十分な数の線形独立な固有ベクトルが存在することである。行列がこの条件を満たさない場合には、次節で扱うジョルダン標準形のように“固有ベクトルだけでは足りない”冪構造が現れる。
2.1.1 多重度と固有空間
固有値 \(\lambda\) の代数的多重度は、特性多項式での根の重複度として定義される。幾何的多重度は、その固有値に属する固有空間の次元であり、一般には代数的多重度以下になる。
代数的多重度が大きくても幾何的多重度が小さいと、対角化はできない。その場合、固有空間に加えて、固有ベクトルではないが“付随するベクトル”が必要になり、以後のジョルダン形へとつながる。多重度の関係は、冪や指数関数（例えば \(e^{tA}\)）の式における多項式因子の出現にも影響する。
2.2 正規行列・エルミート行列の場合の性質
正規行列（\(A^*A=AA^*\)）では、スペクトルと幾何学が良く結びつき、対角化が保障される。さらにスペクトルの位置と直交性が整合するため、解析・数値の双方で扱いやすい。
エルミート行列は正規の一種であり、固有値は実数となり、固有ベクトルは互いに直交する基底を成す。これにより、固有値の集合はエネルギー的な意味を持ち、最適化や変分原理にも接続される。
2.2.1 実スペクトル性と直交性
エルミート行列に対して、固有値は実数であり、異なる固有値に属する固有ベクトルは互いに直交する。したがって、行列の作用はユニタリ変換（内積を保つ変換）のもとで単純な形に整理できる。
この直交性は、分解の安定性や誤差評価に直接影響する。特に、内積空間としての幾何が保たれるため、スペクトルに関する情報が距離やノルムの議論へ自然に移植される。
2.3 非対角化（ジョルダン標準形）
対角化が不可能な行列は、ジョルダン標準形により構造が分類できる。これは、対角に固有値を並べつつ、超対角成分に“ずれ”を表す要素を持たせたブロック対角行列である。
ジョルダン形では、固有値ごとにブロックのサイズ（冪の次数）が現れ、作用の繰り返しや指数の計算で多項式因子が出現する。したがって、スペクトルの単なる点の情報に加え、各固有値に付随する冪構造が動力学（離散・連続）の挙動を左右する。
3 有限次元から無限次元へ
無限次元では、スペクトルの意味がより広がる。固有値が有限個であるとは限らず、連続成分や集積点を持つことが普通になる。さらに、逆写像の有界性や適切な定義域の扱いが重要となり、スペクトルが解析の前提条件と深く結びつく。
3.1 バナッハ空間・ヒルベルト空間
作用素論の土台として、バナッハ空間（ノルム完全性）やヒルベルト空間（内積のある完全性）が用いられる。バナッハ空間ではノルムを基準に連続性や有界性を議論し、ヒルベルト空間では直交性や射影、スペクトル定理がより強い形で利用できる。
ヒルベルト空間は自己共役作用素に関するスペクトル定理が整備されており、連続スペクトルを含む一般形にも自然に拡張できる。対してバナッハ空間では、直交の概念がないため、同様の結果を得るには追加条件が必要になりやすい。
3.2 有界作用素のスペクトル
有界作用素に対しては、スペクトルはコンパクト集合となる。直観的には、作用の“増幅”に上限があるため、スペクトルも無限遠へ逃げにくい。
また、有界作用素では解析関数（レゾルベント）のふるまいが整理され、レゾルベントが存在する領域で方程式が安定に解けることが保証される。とはいえ、有界であっても固有値が離散的に並ぶとは限らず、連続成分や集積が一般に起こる。
3.3 一般の閉作用素とスペクトル
閉作用素は有界でない場合を扱うために導入され、定義域が重要な役割を果たす。非有界作用素では、\(\lambda I-T\) の逆が存在しても有界とは限らないことがあり、その結果としてスペクトルの境界が複雑になる。
また、自己共役性のような条件が満たされるとスペクトルの性質が改善されるが、そうでない場合はスペクトルの幾何が悪くなることがある。閉性と適切な対称性（あるいは自己共役性）を組み合わせることが、無限次元の解析的問題を安全に進める鍵となる。
4 関数解析におけるスペクトル理論
無限次元のスペクトル理論では、固有値だけでなくスペクトル測度や関数計算といった道具が重要になる。特に自己共役作用素ではスペクトル定理が強力に働き、作用素の“全情報”をスペクトル上の計算に落とし込める。
4.1 自己共役作用素のスペクトル定理
自己共役作用素 \(A\) に対しては、スペクトル定理が成立し、関数解析で扱う広範な問題を統一的に扱える。直観的には、作用素の複雑な振る舞いが、スペクトル集合上の積分として記述される。
自己共役性は固有値の実性だけでなく、連続部分を含む場合でも、変換の分解が測度論的に整備される点で中心的である。これにより、たとえば指数型の作用（時間発展）や分数冪のような演算子が、スペクトル上の対応する関数へ置き換えられる。
4.1.1 関数計算とスペクトル測度
関数計算は、自己共役作用素に対して連続関数や適切なクラスの関数 \(f\) を作用素に“代入”する考え方である。実際には、\(f(A)\) が定義され、内積やノルムの議論がスペクトル測度により記述される。
スペクトル測度は、スペクトル点ではなく領域へ重みを割り当てる仕組みであり、離散固有値の寄与と連続成分の寄与を同じ枠で扱う。したがって、スペクトル定理は「固有値の足し合わせ」ではなく、「測度に対する積分」として作用素の性質を表現する理論へ拡張される。
4.2 コンパクト作用素のスペクトル
コンパクト作用素ではスペクトル構造が著しく単純化される。非有界の散らばりが起こりにくく、固有値が零へ集積するという特徴が得られる。
この性質により、無限次元でもある種の近似や計算が有限次元に近い形で進む。数値的にも、有限要素法や固有値ソルバで見られる“漸近的な有限個性”の理論的背景に関わる。
4.2.1 固有値の集積と零への収束
コンパクト作用素のスペクトルは、零を除いて有限個しか任意近傍に入らない（厳密には零以外の固有値は集積点を持たず、零のみが集積点となる）。したがって、非零の固有値は離散的に列挙でき、サイズが次第に小さくなる。
固有空間の次元（幾何的多重度）は有限であり、対応するモードが“濃く”現れる。さらに、作用素の挙動は固有モードの寄与の総和で近似できるため、解析・数値の両面で基礎的な道具になる。
4.3 スペクトル半径と演算子ノルム
スペクトル半径は、スペクトル集合に含まれる値の絶対値の上限として定義される。これは、作用素の反復における成長率を規定する量として解釈できる。
一般にはノルムとスペクトル半径の関係が成り立ち、ノルムはスペクトル半径を上から抑える。反復の挙動では、スペクトル半径が支配的となる場合が多く、特に指数型の議論や安定性判定に利用される。
5 スペクトルと解析的問題
スペクトルは偏微分方程式などの解析的問題と結びつき、解を“固有モードの重ね合わせ”として理解する枠組みを与える。時間発展の式に対しても、スペクトルが減衰や成長の速度を決めるため、理論と計算の双方で重要になる。
5.1 偏微分方程式の固有モード
境界値問題では、ある差分方程式（あるいは微分作用素）を固有値問題へ落とし込み、空間変数に関する固有関数を求めることでモード分解ができる。固有関数は、境界条件を満たしつつ、空間微分の作用に対して比例関係を与える。
この固有モードは、初期値をどのように分解するかにも影響する。モードの基底性（どの範囲で任意の初期状態を近似可能か）によって、理論的にどこまで“解の全体像”を予測できるかが決まる。
5.2 熱方程式・波動方程式と時間発展
熱方程式のような放物型では、時間発展が指数減衰として現れやすい。分離変数で得た空間固有関数に対して、時間部分がスペクトル値に応じた指数因子を持ち、減衰率が固有値の位置で決まる。
波動方程式のような双曲型では、時間振動が固有周波数により決まる。固有値が正負や複素平面上のどこに現れるかが、振動の周波数や成長の有無に反映される。したがって、作用素スペクトルが物理的な観測量（減衰、周期）と対応づく。
5.2.1 演算子指数と減衰
線形時間発展は一般に \(e^{tT}\) の形で記述される。ここで \(T\) が関係する空間作用素であると、スペクトルの位置が指数の挙動に直結する。
特に、スペクトルが右半平面（実数部が正側）にどれほど広がるかは増大を許し、左半平面側に抑えられる場合は減衰が見込まれる。自己共役や関連する対称性があると、減衰や発散の議論が実数の条件に還元され、結論が明確になる。
5.3 安定性判定への応用
安定性は、時間発展で解がどの程度抑えられるか、あるいは外乱に対してどれだけ応答が増幅されるかという観点で定義される。スペクトルはその判定において中心的な役割を持つ。
典型的には、支配的なモードの固有値（あるいはスペクトルの境界）が指数項の符号を通じて安定・不安定を決定する。さらに、非自励系では冪構造によって一時的成長（後に減衰しても途中で大きくなる）も起こりうるため、スペクトル半径だけでなく付随構造にも注意が必要となる。
6 スペクトル推定と周辺結果
スペクトルそのものが解析的に求まらない場合、推定や比較により情報を得る。変分法や不等式は、固有値の位置を絞り込むための代表的手段である。
6.1 変分法とレイリー商
レイリー商は、内積空間において \[ R(v)=\frac{\langle Av,v\rangle}{\langle v,v\rangle} \] の形で与えられ、候補ベクトル \(v\) に対する“平均的な応答”を表す指標となる。自己共役作用素では、最小・最大値（あるいは極値）の取り方により固有値が特徴づけられる。
変分法は、真の固有モードを直接求める代わりに、適切な部分空間上でレイリー商の極値を調べ、固有値の下界や上界を推定する考え方である。有限要素法などの計算アルゴリズムにも密接に関係し、境界条件と近似空間の選択が精度を左右する。
6.2 楕円型作用素に対するスペクトルの性質
楕円型作用素は、境界値問題の基本クラスであり、条件に応じてスペクトルが離散化しやすい。典型的には、適切な境界条件のもとで固有値は無限に存在しても増大し、対応する固有関数が正則性を持つ。
また、固有関数の配列は並び替えが可能で、低次の固有値ほど“ゆっくり変化する”モードと結びつく傾向がある。こうした性質は、熱・波のような時間発展方程式だけでなく、定常状態の解析にも影響する。
6.3 不等式・比較定理
スペクトル推定では、作用素間の比較が強力な原理になる。たとえば、ある作用素を別の作用素より“強い”と見なせる場合、下界や上界を通じて固有値やスペクトル位置の範囲を絞り込める。
不等式や比較定理は、比較対象の正則性や凝縮性、境界条件の整合性に依存する。これにより、直接計算が難しい場合でも設計や解析の指針を得ることができる。さらに、推定結果がどの程度鋭いかは、比較で用いる仮定の強さと連動する。
7 スペクトルの典型的な計算手法
スペクトルの計算は、有限次元では主として数値線形代数で行われ、無限次元では近似（有限次元化）を介して固有値・固有モードを推定する。ここでは、理論的性質と計算手法の接点に焦点を当てる。
7.1 既約性と対称性
行列や作用素に対して対称性が存在すると、空間が不変部分空間へ分解され、固有値問題が縮約される。既約性は、このような縮約をどこまで行えるかを示す概念であり、最終的に固有値の計算を効率化する。
対称群や可換作用素の枠組みでは、共通固有空間としての整理が可能になり、スペクトルの多重度や選択則（どのモードが混ざりうるか）が明らかになる。こうした構造の利用は、計算量を削減するだけでなく、結果の解釈にも役立つ。
7.2 数値線形代数との接点
数値線形代数では、固有値・固有ベクトルを求めるアルゴリズムが多数開発されている。目的は、誤差の制御、計算効率、そして必要とする精度に応じた停止基準の設計である。
行列が疎であれば反復法が有利になり、対称性があれば安定性や収束の速さが向上する。さらに、有限次元の計算で得た結果を、元の無限次元問題の近似として解釈する際には、スペクトルの収束や誤差評価が鍵となる。
7.2.1 固有値計算の基本アルゴリズム
基本アルゴリズムとして、反復法（べき法、逆反復法、レイリー商反復法など）と、分解に基づく方法（QR法など）が挙げられる。べき法は支配的固有値に関連する固有ベクトルを近似し、逆反復法は所望の固有値近傍を狙うのに用いられる。
対称行列（またはエルミート行列）に対しては、数値的に安定な手法が多数あり、誤差の蓄積が抑えられやすい。実務上は、行列の性質（対称性、疎性、スペクトルの偏り）に応じて適切な手順を選択し、必要な精度まで反復を進める。