ja.wikipedia.org

フレドホルム作用素 - Wikipedia

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学の分野におけるフレドホルム作用素（フレドホルムさようそ、英語: Fredholm operator）とは、積分方程式に関するフレドホルム理論において登場するある作用素のことを言う。数学者のエリック・イヴァル・フレドホルムの名にちなむ。

フレドホルム作用素は、二つのバナッハ空間の間の有界線形作用素であって、その核および余核が有限次元であり、その値域が閉であるようなもののことを言う（最後の条件は実際には必要ない^[1]）。またそれと同値な定義として、ある作用素 T : X → Y がフレドホルム作用素であるとは、それがコンパクト作用素を法として可逆な作用素である（適当なコンパクト作用素の違いを除いて可逆である）こと、というものがある。すなわち

$\mathrm {Id} _{X}-ST\quad {\text{and}}\quad \mathrm {Id} _{Y}-TS$

がそれぞれ空間 X および Y 上のコンパクト作用素となるような有界線形作用素 S : Y → X が存在するならば、T はフレドホルム作用素である。

フレドホルム作用素の指数は

$\mathrm {ind} \,T:=\dim \ker T-\mathrm {codim} \,\mathrm {ran} \,T$

あるいは、それと同値だが

$\mathrm {ind} \,T:=\dim \ker T-\mathrm {dim} \,\mathrm {coker} \,T$

で定義される（記号の意味については次元、零空間、余次元（英語版）を参照されたい）。

空間 X から空間 Y への全てのフレドホルム作用素から成る集合は、全ての有界線型作用素が作用素ノルムをノルムとして成すバナッハ空間 L(X, Y) において開集合となる。より正確に述べれば、作用素 T₀ が X から Y へのフレドホルム作用素であるならば、 ‖T − T₀‖ < ε をみたすすべての L(X, Y) の元 T が T₀ と同じ指数を持つフレドホルム作用素となるような正の数 ε > 0 が存在する。

T が X から Y へのフレドホルム作用素であり、U が Y から Z へのフレドホルム作用素であるとき、その合成 U ∘ T は X から Z へのフレドホルム作用素となり

$\mathrm {ind} (U\circ T)=\mathrm {ind} (U)+\mathrm {ind} (T)$

が成立する。

T が X から Y へのフレドホルム作用素であるとき、その転置または随伴作用素 T ′ は Y ′ から X ′ へのフレドホルム作用素となり、ind(T ′) = −ind(T) が成立する。X と Y がヒルベルト空間であるとき、同じ結論がエルミート共役 T^∗ に対して成立する。

T がフレドホルム作用素で K がコンパクト作用素なら、T + K はフレドホルム作用素となる。T についてのコンパクトな摂動の下でも T の指数は一定である。このことは T + s K の指数 i(s) が [0, 1] に含まれるすべての s に対して整数で、かつ i(s) が局所定数函数となることから i(1) = i(0) が成立するという事実により従う。

そのような摂動に関する不変性は、コンパクト作用素以外の作用素に対しても成立する。たとえば T がフレドホルム作用素で S が厳密特異作用素であるとき、T + S は T と指数の等しいフレドホルム作用素となる^[2]。ここで、X から Y への有界線形作用素 S が厳密特異であるとは、X の任意の無限次元部分空間 X₀ への作用素 S の制限が同型とならないこと、すなわち

$\inf\{\|Sx\|:x\in X_{0},\,\|x\|=1\}=0\,$

が成立することを意味する。

空間 H を、非負の整数により番号付けられる正規直交基底 {e_n} を持つヒルベルト空間とする。H 上の（右への）シフト作用素 S は

$S(e_{n})=e_{n+1},\quad n\geq 0$

で定義される。この作用素 S は単射（実際には等長）であり、その値域は閉でその余次元は 1 となる。このことから S は、指数 ind(S) = −1 のフレドホルム作用素となる。その冪 S^k （k ≥ 0）は、指数が −k のフレドホルム作用素となる。その随伴作用素 S^∗ は左へのシフト作用素

$S^{*}(e_{0})=0,\quad S^{*}(e_{n})=e_{n-1},\quad n\geq 1$

で与えられる。S^∗ は指数 1 のフレドホルム作用素となる。

H が複素平面の単位円周 T 上の古典的ハーディ空間 H²(T) であるなら、複素指数函数からなる正規直交基底

$e_{n}\colon e^{it}\in \mathbb {T} \mapsto e^{int},\quad n\geq 0\,$

に関するシフト作用素は、関数 φ = e₁ を掛ける乗算作用素 M_φ である。より一般的に、φ を T 上定義された、T 上で消えない（0 にならない）複素連続関数とし T_φ を記号 φ に関するテープリッツ作用素（英語版）とすれば、T_φ は L²(T) から H²(T) への正射影 P の導く φ の乗算作用素

$T_{\varphi }\colon f\in H^{2}(\mathbb {T} )\mapsto P(f\varphi )\in H^{2}(\mathbb {T} )$

に等しい。このとき T_φ は H²(T) 上のフレドホルム作用素で、その指数は閉道 t ∈ [0, 2 π] → φ(e^i t) に関する 0 のまわりでの巻き数に -1 をかけたものとなる。

アティヤ＝シンガーの指数定理は多様体上のある種の作用素の指数の、位相的な特徴づけを与える。

楕円作用素はフレドホルム作用素で展開することができる。偏微分方程式論においてフレドホルム作用素を用いることは、パラメトリックス法の抽象的な形である。

各々の整数 $n$ に対し、 $T_{n}$ を $T$ の $R(T^{n})$ への制限とする。このとき、写像は $R(T^{n})$ から $R(T^{n})$ への写像とみなす（とくに $T_{0}=T$ である）。ある整数 $n$ に対し、空間 $R(T^{n})$ が閉であり、 $T_{n}$ がフレドホルム作用素であれば、 $T$ を B-フレドホルム作用素と呼ぶ。B-フレドホルム作用素 $T$ の指数は、フレドホルム作用素 $T_{n}$ の指数と定義する。このとき、指数は整数 $n$ には依存しない。B-フレドホルム作用素は M. Berkani により、1999年にフレドホルム作用素の一般化として導入された^[3]。

^ Yuri A. Abramovich and Charalambos D. Aliprantis, "An Invitation to Operator Theory", p.156
^ T. Kato, "Perturbation theory for the nullity deficiency and other quantities of linear operators", J. d'Analyse Math. 6 (1958), 273–322.
^ Berkani Mohammed: On a class of quasi-Fredholm operators INTEGRAL EQUATIONS AND OPERATOR THEORY Volume 34, Number 2 (1999), 244-249 [1]

D.E. Edmunds and W.D. Evans (1987), Spectral theory and differential operators, Oxford University Press. ISBN 0-19-853542-2.
A. G. Ramm, "A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators", American Mathematical Monthly, 108 (2001) p. 855 (NB: In this paper the word "Fredholm operator" refers to "Fredholm operator of index 0").
Fredholm operator - PlanetMath.org（英語）
Weisstein, Eric W. "Fredholm's Theorem". mathworld.wolfram.com (英語).
B.V. Khvedelidze (2001), “Fredholm theorems”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Bruce K. Driver, "Compact and Fredholm Operators and the Spectral Theorem", Analysis Tools with Applications, Chapter 35, pp. 579–600.
Robert C. McOwen, "Fredholm theory of partial differential equations on complete Riemannian manifolds", Pacific J. Math. 87, no. 1 (1980), 169–185.
Tomasz Mrowka, A Brief Introduction to Linear Analysis: Fredholm Operators, Geometry of Manifolds, Fall 2004 (Massachusetts Institute of Technology: MIT OpenCouseWare)

表話編歴関数解析学
集合 / 部分集合のタイプ	均衡星状絶対凸凸併呑有界（英語版）放射状（英語版）対称（英語版）線型錐（部分集合）凸錐（部分集合）
線型位相空間のタイプ	バナッハ樽型界相 Brauner（英語版） F-空間有限次元フレシェ (tame) ヒルベルト LF空間局所凸マッキー（英語版）モンテル核型ノルム付き（ノルム）準ノルム付き回帰的リーススミス（英語版） Stereotype（英語版）ウェブ付き位相テンソル積（英語版）（ヒルベルト空間の（英語版））
位相	双対双対空間作用素強（極作用素） Ultrastrong（英語版）弱（作用素） Ultraweak（英語版）一様収束（英語版）
線型作用素	随伴双線型（形式）有界 / 非有界閉（英語版）連続 / 不連続コンパクトフレドホルムヒルベルト＝シュミット汎関数（正（英語版））正規核自己共役 Strictly singular（英語版）トレースクラス転置ユニタリ
集合の操作	代数的内部（核）内部ミンコフスキー和（英語版）極
バナッハ環	C-環スペクトル（C-環（英語版）半径) スペクトル理論
定理	Eberlein–Šmulian（英語版）開写像角谷の不動点ゲルファント＝マズールコーシー＝シュワルツの不等式 Goldstine（英語版）シャウダーの不動点パーセヴァルの等式ハーン–バナッハ（分離超平面）バナッハ＝アラオグル Banach–Saks（英語版） Banach–Mazur（英語版）フロイデンタールのスペクトル閉値域閉グラフベッセルの不等式マッキー＝アレンスマズールの補題リースの拡張 Lomonosov's invariant subspace（英語版）ニュートン＝カントロビッチ
解析	ボホナー空間フレシェ空間における微分（英語版）微分（フレシェガトー汎函数 holomorphic（英語版））積分（ボホナー Dunford ゲルファント＝ペティス方正弱) 汎函数計算（Borel（英語版） continuous（英語版） holomorphic（英語版））逆函数定理（Nash–Moser theorem（英語版））ベクトル測度
応用	量子力学の数学的定式化有限要素法偏微分方程式の解に対する精度保証付き数値計算
日本人研究者	加藤敏夫吉田耕作藤田宏増田久弥
海外の研究者	リース・フリジェシュステファン・バナフダフィット・ヒルベルトイズライル・ゲルファントピーター・ラックス
カテゴリ