自己共役

1 定義

自己共役とは、線形空間上の作用素が、内積に関して自分自身の随伴と一致する性質である。有限次元では、行列の転置共役と元の行列が一致することに対応し、複素数成分をもつ場合にはエルミート行列と同義に扱われる。無限次元では、作用素が定義される範囲まで含めて考える必要があり、単なる形式的な対称性だけでは十分でない。

1.1 線形代数における自己共役

線形代数では、複素ベクトル空間上の正方行列Aが自己共役であるとは、Aがその共役転置A*に等しいことをいう。成分で書けば、対角成分は実数になり、非対角成分は互いに共役な位置関係を満たす。実数体上では、これは対称行列に対応する。

この性質をもつ行列は、固有値や固有ベクトルの振る舞いが整っており、対角化の理論でも中心的な役割を果たす。

1.2 ヒルベルト空間における随伴作用素

ヒルベルト空間では、作用素Tに対して随伴作用素T*が定義される。これは、任意のベクトルxとyについて、内積の関係

⟨Tx, y⟩ = ⟨x, T*y⟩

を満たすような作用素である。自己共役作用素とは、TとT*が同じであるものを指す。

無限次元では、作用素の定義域が全空間でないことが珍しくなく、その場合は定義域も含めてT = T*を考える必要がある。解析学や量子理論で現れる多くの重要な演算子は、この枠組みに属する。

1.3 対称作用素との違い

対称作用素は、定義域内のベクトルに対して

⟨Tx, y⟩ = ⟨x, Ty⟩

が成り立つものをいうが、これだけでは自己共役とは限らない。自己共役であるためには、随伴作用素と一致するだけでなく、定義域も適切に一致していなければならない。

この差は有限次元では目立たないが、無限次元では本質的である。対称だが自己共役でない作用素は、スペクトル理論や時間発展の扱いで不完全さを残すことがある。

2 基本性質

自己共役作用素は、線形代数と関数解析の両方で扱いやすい構造を備える。固有値の実数性、異なる固有空間の直交性、スペクトルの良い性質などが代表的である。これらの性質は、計算上の安定性だけでなく、理論的な解釈の明快さにもつながる。

2.1 固有値と固有ベクトル

自己共役作用素の固有値は実数になる。これは、固有ベクトルvに対してTv = λvとおくと、内積の性質からλがその共役と一致しなければならないためである。

また、異なる固有値に対応する固有ベクトルは、互いに独立であるだけでなく、内積が0になる。この事実は、固有空間が互いに干渉しないことを意味し、分解の基礎を与える。

2.2 直交性と直交分解

自己共役作用素が十分よい条件を満たすとき、空間は固有空間の直交和として分解できる。有限次元では、適当な直交基底を選ぶことで、作用素は対角行列として表される。

この直交分解は、複雑な変換を単純な成分の集まりとして理解する助けになる。数値計算でも、互いに直交する基底は誤差の蓄積を抑えやすい。

2.3 スペクトルの性質

自己共役作用素のスペクトルは、一般の作用素に比べて規則的である。特に、スペクトルは実軸上に現れ、正規作用素の中でも解析しやすい類型に属する。有限次元では固有値の集合がそのままスペクトルになるが、無限次元では連続スペクトルも現れる。

2.3.1 実固有値

自己共役作用素の固有値が実数であることは、最も基本的な特徴の一つである。これは物理量の測定値が実数であることと整合し、理論上の解釈を支える。

2.3.2 スペクトル定理との関係

スペクトル定理は、自己共役作用素を「直交射影の積分」として表す理論である。有限次元の対角化定理を一般化したものとみなせる。これにより、作用素の関数計算や時間発展の記述が可能になる。

3 具体例

自己共役性は抽象的な概念である一方、具体例を通すと理解しやすい。行列、微分作用素、物理で使われる演算子など、多くの場面で現れる。

3.1 エルミート行列

複素数成分をもつエルミート行列は、自己共役行列の代表例である。対角化可能で、適当なユニタリ行列によって対角形に変換できる。工学や量子理論の基礎計算で頻繁に利用される。

3.2 実対称行列

実数成分の対称行列も自己共役の例である。共役転置は単なる転置に一致するため、A = A^T が成立すればよい。固有値分解が容易で、主成分分析などの統計的手法にも現れる。

3.3 微分作用素の例

微分作用素は、適切な境界条件や定義域を与えることで自己共役になることがある。形式的に同じ式でも、定義域の選び方次第で性質が大きく変わる点に注意が必要である。

3.3.1 シュレーディンガー作用素

シュレーディンガー作用素は、量子力学で粒子の状態を記述する中心的な演算子である。典型的には運動エネルギー項とポテンシャル項からなり、適切な条件下で自己共役となる。

3.3.2 ラプラス作用素

ラプラス作用素は、空間的な広がりや拡散を表す基本的な微分作用素である。境界条件を含めて定義すると、自己共役性をもつ場合が多い。熱方程式や波動方程式の解析に深く関わる。

4 応用

自己共役作用素は、純粋数学にとどまらず、物理学、微分方程式、計算数学に広く使われる。実数値の安定性や直交分解の可能性が、実用上の大きな利点となる。

4.1 量子力学

量子力学では、観測可能量は自己共役作用素で表される。位置、運動量、エネルギーなどはその代表例であり、測定結果が実数になることと対応している。スペクトル定理は、測定値の分布を扱う理論的基盤を与える。

4.2 偏微分方程式

偏微分方程式の理論では、自己共役性が解の存在、唯一性、安定性に影響する。固有値問題や境界値問題では、対応する演算子が自己共役であると、解析が整理されやすい。特に、振動問題や拡散過程の記述で重要である。

4.3 数値解析と近似理論

数値解析では、自己共役な行列や作用素は計算の信頼性を高める。反復法の収束解析、誤差評価、固有値計算の安定性において有利である。近似理論でも、直交射影や最小二乗法と結びつき、効率的な表現を可能にする。