1 複素固有値の基本概念
1.1 固有値と固有ベクトルの定義
1.1.1 固有方程式と特性多項式
行列 \(A\) に対して、固有値 \(\lambda\) は \[ \det(A-\lambda I)=0 \] を満たすスカラーとして定義される。左辺は \(\lambda\) の多項式となり、これを特性多項式という。特性多項式の根の集合が固有値に一致し、固有値は（場の拡大を許すことで）任意の複素数までに一般化される。実係数の行列であっても、根が複素数として現れることがあるため、複素固有値という概念が自然に導入される。
1.1.2 固有ベクトルの性質
固有値 \(\lambda\) に対応する固有ベクトル \(v\neq 0\) は \[ Av=\lambda v \] を満たすベクトルである。線形作用の作用で方向が変わらず、長さのみが変化する（実数なら伸縮、複素なら回転と伸縮の組合せ）という意味をもつ。固有ベクトルはスカラー倍で同一視されるため、本質的には「固有値に属する方向」の情報として捉えられる。
1.2 複素数体での固有値問題
1.2.1 実数上の解と複素数上の解の違い
係数が実数でも、固有方程式の解を実数に制限すると解が存在しない場合がある。そのとき特性多項式は実数の根を欠き、線形作用の振る舞いを実変数のみで完全には記述できない。複素数体まで拡張すると必ず根が得られ、固有値・固有ベクトルによる分解が可能になる。結果として、解軌道は指数的増減に加えて、複素平面上での回転成分も含む形で表される。
1.2.2 係数が実の場合の共役対称性
実係数の行列に対する特性多項式は実係数多項式である。したがって複素根が存在すれば、随伴する複素共役根も同じ重複度で現れる。つまり、固有値が \(\lambda=a+bi\)（\(b\neq 0\)）なら、\(\overline{\lambda}=a-bi\) も固有値となる。この性質は、固有空間の複素構造を扱う際に、実ベクトル空間に戻すための整理（後述の実表現への落とし込み）にも利用される。
1.3 複素固有値が生じる典型的状況
1.3.1 非対称行列と対称性の欠如
対称行列（実対称行列）は固有値がすべて実数になることが知られている。非対称性が強くなると、特性多項式は一般に複素根を含み得る。直感的には、作用が「回転を伴う」可能性を持つためである。例えば平面内で回転と伸縮を同時に行うような線形変換は、固有値が複素数として現れやすい。したがって複素固有値は、対称性（自己共役性）を欠く状況で頻出する。
1.3.2 固有値の幾何学的・代数的多重度
固有値 \(\lambda\) の代数的多重度は特性多項式での重さ（因子 \((\lambda-\lambda_0)^k\) の指数）で与えられる。幾何学的多重度は \[ \dim \ker(A-\lambda I) \] により定義される。一般には幾何学的多重度は代数的多重度以下であり、両者が一致しないときには、固有空間だけでは作用の振る舞いを説明できない。この差が、後にジョルダン標準形や一般化固有ベクトルの必要性として現れる。
2 計算と理論的性質
2.1 特性多項式からの決定
2.1.1 次数と根の構造
\(n\times n\) 行列の特性多項式は次数 \(n\) の多項式である。代数閉体（複素数体）では根が必ず存在し、重複度を含めて合計で \(n\) 個の固有値が数え上げられる。根の配置は係数の性質と整合し、実係数の場合には複素根が共役ペアとして現れることが重要な制約になる。
2.1.1.1 複素根と実根の配置
実根はそのまま実数固有値として固有空間を形成する。一方、複素根は共役ペアで現れるため、実ベクトル空間に対しては「ペアでまとめたブロック」として作用が表現される。したがってスペクトルの構造は、実成分（指数的増減のみ）と複素成分（指数的増減に回転が加わる）を分けて理解するのが自然である。
2.1.2 多重根の扱い
多重根があると、固有ベクトルの数（幾何学的多重度）は代数的多重度と一致しないことがある。このとき行列は対角化可能とは限らず、単に固有ベクトルの集合で表現を組み立てることができない。特性多項式の根に基づく計算では、数値的に多重根の近接や分離の問題も起こりやすく、安定した固有値推定には工夫が必要となる。
2.2 スペクトル分解の考え方
2.2.1 固有空間と不変部分空間
固有値 \(\lambda\) に対して固有空間は \(A\) によって不変である。すなわち、固有空間のベクトルを作用させても同じ空間に戻る。固有値が複数ある場合、（条件が揃えば）それらの固有空間や関連する不変部分空間を組み合わせて、作用全体を整理できる。複素固有値を含む場合は、共役ペアに対応する不変部分空間が実表現上のブロック構造として現れることが多い。
2.2.2 有限次元での分解の条件
対角化が可能であることは、固有値ごとの幾何学的多重度が代数的多重度に一致することと同値である。さらに、最小多項式の形状が反映され、作用は冪（べき）に関する表現で把握できる。対角化不能な場合には、固有ベクトルだけでなく一般化固有ベクトルが必要になるため、分解はジョルダン標準形に近い形で扱われる。
2.3 ジョルダン標準形との関係
2.3.1 ジョルダンブロックと複素固有値
ジョルダン標準形は、複素数体上での線形作用の標準的な分解を与える。固有値 \(\lambda\) に対応して、対角成分が \(\lambda\) で、上副対角に 1 を持つジョルダンブロックが現れる。複素固有値があると、その \(\lambda\) に対応するジョルダンブロックも複素成分を含む。したがって、作用の「非対角化性」や「冪での増え方」がブロックの大きさにより規定される。
2.3.2 一般化固有ベクトル
固有ベクトルは \((A-\lambda I)v=0\) を満たすが、一般化固有ベクトルはより高い冪までを許し \[ (A-\lambda I)^k v=0,\quad (A-\lambda I)^{k-1}v\neq 0 \] の形で定義される。これらはジョルダン連鎖を構成し、作用の繰り返し（冪）を解析する際に不可欠である。特性多項式だけから直ちに得られない情報が、一般化固有ベクトルによって補われる。
3 行列の分類との結びつき
3.1 正規行列・対称行列との比較
3.1.1 正規性と固有値の性質
正規行列（複素内積空間で \(A^*A=AA^*\) を満たすもの）では、ジョルダンブロックがサイズ 1 に限られ、対角化が容易になる。結果として、固有値の幾何学的多重度は代数的多重度に一致しやすい。複素固有値が存在しても、対応する固有ベクトルが直交関係（適切な内積のもとで）を持ち、解析や数値計算が安定しやすい。
3.1.2 実固有値に限られる場合
実対称行列のほか、特定の自己共役性を持つ行列では固有値が実数のみになる。これは作用が内積に関して「エネルギー的に整合的」になることに対応し、回転を伴う複素スペクトルが許されない。したがって複素固有値が現れるかどうかは、行列の構造（対称性、正規性、自己共役性など）を識別する指標としても利用される。
3.2 非正規行列での特徴
3.2.1 感度と摂動の影響
非正規行列では、固有値そのものの変化だけでなく、固有ベクトルの条件数に起因する振る舞いが大きくなる。小さな摂動がスペクトル分解の性質を大きく変えることがあり、数値計算においては誤差が増幅される場合がある。複素固有値が関与すると、共役ペアの扱いやブロック境界の不安定さが課題になり得る。
3.2.2 ジョルダン鎖の存在と振る舞い
対角化不能な場合、ジョルダン鎖（一般化固有ベクトルの連なり）が形成される。その結果、行列の冪は単なる指数関数の積で終わらず、冪に比例する多項式因子が現れる。複素固有値では指数部に加えて位相成分（回転）が入り、時間発展は減衰や増幅に加えて多項式的な変形も併存することがある。
3.3 実表現への落とし込み
3.3.1 複素共役ペアからの実係数ブロック
実係数行列を実数のまま扱う場合、複素共役ペアに対応する作用は実係数の 2 次ブロックとして再配置できる。具体的には、実部と虚部に基づく行列が平面上で回転・伸縮を表し、元の複素固有値の情報を実変換として保持する。これにより、実数データから得られる解の形が、三角関数と指数関数の組として理解できる。
3.3.2 実行列としての意味づけ
複素固有値は計算上の複素数として出ても、物理量や状態ベクトルが実数で表される状況では、実表示へ変換して解釈することが必要になる。実係数ブロックを用いれば、状態の成長率（指数部）と周期性（位相回転）を同時に読み取れるため、理論と応用の橋渡しになる。形式的に複素化した議論を、実世界の計測量に接続する役割がある。
4 応用領域
4.1 力学系と安定性
4.1.1 固有値の実部による分類
離散または連続の線形化された力学系では、固有値の実部（複素固有値ならその実部）が成長・減衰の方向を決める。連続時間の系では実部が負なら局所的に減衰し、正なら増幅し、零なら中立的な挙動になりやすい。離散時間の系では倍率（固有値の大きさ）に相当する量が安定性の指標となる。
4.1.2 振動・減衰・増幅の解釈
虚部を持つ複素固有値では、位相の回転が加わるため振動成分が現れる。実部が負なら振動しつつ減衰し、正なら振動しつつ増幅する。虚部が大きいほど周期的な振る舞いが強く、実部が支配的になるほど増減の効果が目立つ。これらの見取り図は、系の応答を定性的に理解する際に役立つ。
4.2 微分方程式の解法
4.2.1 線形常微分方程式と複素固有値
線形常微分方程式 \[ \dot{x}=Ax \] では、解は行列指数関数 \(e^{At}\) で表される。ジョルダン標準形やスペクトル分解を通じて、複素固有値は指数項と位相項を組み合わせた形で解に寄与する。複素固有値があると解が実数ベクトルとして表される場合でも、内部計算では複素数が利用されることが多い。
4.2.2 解の形（指数・三角関数）
共役ペアに対応する 2 次ブロックでは、指数部（増減）と三角関数（位相運動）が組み合わさる。結果として、解成分は \(\mathrm{e}^{at}\cos(bt)\) や \(\mathrm{e}^{at}\sin(bt)\) のような形をとりやすい。多重根やジョルダン鎖がある場合には、これに多項式因子が掛かるため、単純な減衰振動よりも複雑な時間変化が生じ得る。
4.3 数値計算と固有値探索
4.3.1 固有値アルゴリズムの概観
実務では、特性多項式を直接解くよりも、QR法やバランシング、数値的に安定な反復法が用いられることが多い。これらは行列の構造を活かしてスペクトルを近似し、複素固有値は計算過程で自然に導入される。特に非対称行列では、固有値探索が複素平面上で行われるため、出力形式や収束判定が重要になる。
4.3.2 計算誤差と復元（共役対の扱い）
数値計算では丸め誤差の影響で、共役ペアが厳密には完全な共役として得られない場合がある。そこで、対称性（実係数なら共役対）に関する復元や、ペアとして扱う方針が採用されることがある。また、多重根近傍では誤差が増幅されやすく、固有ベクトルの精度と固有値の精度が異なる振る舞いを示すこともある。
4.4 応用例としてのモデル化（定性的）
4.4.1 予測モデル・制御系の挙動
制御対象を線形近似したとき、閉ループ系の固有値は応答の形を支配する。実部の符号は目標値への収束や発散の傾向を示し、虚部は振動的なオーバーシュートの有無に関わる。したがって制御設計では、複素固有値の位置（実部と虚部の組）を調整し、応答の時間スケールと振動成分の強さを両立させることが目標になる。
4.4.2 ネットワークダイナミクスの典型例
結合した要素の線形化モデルでは、全体の作用素が大きな行列として現れる。非対称な結合や位相差を含む相互作用があると複素固有値が現れやすく、全体の同期や位相パターンの形成を左右する。特に共役ペアに対応するモードは、相互作用が生む回転的な位相ダイナミクスを反映し、定常化までの道筋や変動の周期に影響する。