レゾルベント
数学におけるレゾルベント(英: resolvent, 解素)は、線型作用素(あるいは行列)のスペクトルの補集合(レゾルベント集合)を定義域とする解析函数である。
レゾルベントの解析的構造から線型作用素のスペクトル的な性質が調べられる。また、レゾルベントを用いれば、ヒルベルト空間やもっと一般の空間上の作用素のスペクトルの研究に複素解析学の概念を定式化して持ち込むことができる。レゾルベントは解核とも呼ばれ、(通常はリウヴィル-ノイマン級数として定義される)積分核として、非斉次フレドホルム積分方程式を解くのにも使われる。
イヴァール・フレドホルムは Acta Mathematica に収録された論文 (Fredholm 1903) において、初めてレゾルベント作用素を大々的に用いた。これは、現代的な作用素論が構築される基となった歴史的な論文である。レゾルベントの名称は、ダフィット・ヒルベルトによる。
定義
与えられた線型作用素 A のレゾルベントは A のレゾルベント集合 ρ(A)(A − zI が可逆となる集合)上で定義される写像
である。文献によっては R(z, A) := (zI − A)−1 を定義とするものもあるが、さほど違いは生じない。
性質
線型作用素 A のレゾルベントは、r を A のスペクトル半径とすれば、領域 {z ∈ C : |z| > r} 上の解析函数であり、ノイマン級数
として表される。レゾルベントは不安定作用素のスペクトル分解(たとえば レリック-加藤分解およびストラット-シュレーディンガー分解)を記述するのに用いることができる。たとえば、λ を A の孤立した固有値(つまり、複素平面上の適当な単純閉曲線 Cλ が存在して、λ を A のほかのスペクトルから分離することができる)ならば留数
ヒレ-吉田の定理はレゾルベントを A の生成する変換の一径数群上の積分と関連付けるものである。これはたとえば、A がエルミート作用素ならば U(t) = exp(itA) はユニタリ作用素からなる一径数群で、A のレゾルベントは積分
として表される。
レゾルベント方程式
第一および第二レゾルベント方程式(あるいはレゾルベント恒等式)は計算に有用である。z, w を線型作用素 A のレゾルベント集合 ρ(A) の元とすると、(z − w)I = (zI − A) − (wI − A) の逆元を取ることにより、第一レゾルベント方程式
が得られる(Dunford & Schwartz 1988, p.567 Lemma 6)。また z を ρ(A) ∩ ρ(B) の元として、A − B = (zI − B) − (zI − A) の逆元を考えることにより、第二レゾルベント方程式
を得る。
関連項目
参考文献
- Fredholm, Ivar (1903), “Sur une classe d'equations fonctionnelles”, Acta Mathematica 27 (1): 365-390, doi:10.1007/BF02421317
- Dunford, Nelson; Schwartz, Jacob T. (1988), Linear Operators Part I General Theory, Wiley-Interscience, ISBN 0-471-60848-3
- Dunford, Nelson; Schwartz, Jacob T. (1988), Linear Operators Part II Spectral Theory, Self Adjoint Operators in Hilbert Space, Wiley-Interscience, ISBN 0-471-60847-5
- Dunford, Nelson; Schwartz, Jacob T. (1988), Linear Operators Part III Spectral Operators, Wiley-Interscience, ISBN 0-471-60846-7
- Kato, Tosio (1980), Perturbation Theory for Linear Operators (2nd ed.), New York, NY: Spinger-Verlag, ISBN 0-387-07558-5 .