フレドホルムの交代定理のソースを表示

[[数学]]において、[[エリック・イヴァル・フレドホルム]]の名にちなむ'''フレドホルムの交代定理'''（フレドホルムのこうたいていり、{{Lang-en-short|Fredholm alternative}}; フレドホルムの'''択一定理'''）とは、[[フレドホルムの定理]]の一つであり、[[フレドホルム理論]]の一結果である。[[線型代数学]]、[[積分方程式]]あるいは[[フレドホルム作用素]]の定理として、いくつかの表現が存在する。その内の一つでは、[[コンパクト作用素]]の[[スペクトル (関数解析学)|スペクトル]]内のある非ゼロの複素数は固有値であることが示されている。

== 線型代数学 ==

''V'' を ''n''-次元[[ベクトル空間]]とし、{{math|''T'': ''V'' → ''V''}} を[[線型写像]]とすると、次のいずれか一つが成り立つ：

# ''V'' 内の各ベクトル ''v'' に対して、{{math|''T''(''u'') {{=}} ''v''}} を満たすベクトル {{math|''u'' &isin; ''V''}} が存在する。言い換えると、''T'' は[[全射]]（実際 ''V'' は有限次元なので、[[全単射]]）である。
# {{math|dim(ker(''T'')) > 0}}.

より初等的な行列に関する表現は次のようになる：''m''&times;''n'' 行列 ''A'' と ''m''&times;1 列ベクトル '''b''' が与えられたとき、次のいずれか一つが成り立つ：

# ''A'' '''x''' = '''b''' は解 '''x''' を持つ。
# ''A''<sup>⊤</sup> '''y''' = 0 は，'''y'''<sup>⊤</sup>'''b''' ≠ 0 を満たす解 '''y''' を持つ。

言い換えると、''A'' '''x''' = '''b'''（つまり {{math|'''b''' &isin; [[値域|rng]](''A'')}}）が解を持つための必要十分条件は、''A''<sup>T</sup> '''y''' = 0 を満たす任意の '''y''' に対して '''y'''<sup>T</sup>'''b''' = 0（つまり、{{math|'''b''' &isin; [[核空間|ker]](''A''{{msup|⊤}}){{msup|⊥}}}}）が成立することである。

== 積分方程式 ==

[[積分核]] {{math|''K''(''x'',''y'')}} に対し[[線型方程式系|斉次]]および非斉次[[フレドホルム積分方程式]]
: <math>\lambda \varphi(x)- \int_a^b K(x,y) \varphi(y) \,dy = 0</math>
および
: <math>\lambda \varphi(x) - \int_a^b K(x,y) \varphi(y) \,dy = f(x)</math>
を考える。このときのフレドホルムの択一定理の主張は
; 定理 (Fredholm alternative)
: 「任意のゼロで無い固定された[[複素数]] {{math|&lambda; &isin; '''C'''}} に対して、初めの方程式が非自明な解を持つか、第二の方程式がすべての {{mvar|f}} に対して解を持つかのいずれか一方のみが成り立つ。」
というものである。

この主張が真となるためのひとつの十分条件は、{{math|''K''(''x'',''y'')}} が矩形領域 {{math|[''a'', ''b''] &times; [''a'', ''b'']}} 上で[[自乗可積分]]（ここで ''a'' および ''b'' は正あるいは負の無限大であってもよい）であることである。そのような ''K'' によって定義される積分作用素は[[ヒルベルト＝シュミット積分作用素]]と呼ばれる。

== 函数解析学  ==
[[フレドホルム作用素]]に関する結果は、無限次元ベクトル空間、[[バナッハ空間]]に対して前述の結果を一般化するものである。

上記の積分方程式は、作用素の記法では以下のように定式化できる。（少々乱暴な書き方になるが）
: <math>T=\lambda - K</math>
と書けば、
: <math>T(x,y)=\lambda\; \delta(x-y) - K(x,y)</math>
を意味するものとする。ここで {{math|&delta;(''x'' &minus; ''y'')}} は[[シュヴァルツ超函数]]あるいはもっとほかの[[超函数]]として考えた[[ディラックのデルタ関数|ディラックのデルタ函数]]である。[[畳み込み]]により、''T'' は函数からなるバナッハ空間 ''V'' に作用する[[線型作用素]]を誘導する。それも同じく ''T'' と書くことにすると、線型作用素
: <math>T\colon V\to V;\; \phi \mapsto \psi</math>
は
: <math>\psi(x)=\int_a^b T(x,y) \phi(y) \,dy = \lambda\;\phi(x) - \int_a^b K(x,y) \phi(y) \,dy</math>
で与えられる。

このように書けば、積分方程式に対するフレドホルムの択一定理が、線型代数学の節で述べた有限次元の場合のフレドホルムの択一定理の無限次元の場合の対応物であることが見て取れる。

上述のような、ある ''L''<sup>2</sup> の核との畳み込みで与えられる作用素 ''K'' は、[[ヒルベルト＝シュミット積分作用素]]として知られる。そのような作用素は常に[[コンパクト作用素|コンパクト]]である。より一般に、''K'' が任意のコンパクト作用素のときもフレドホルムの択一定理は成立する。フレドホルムの択一定理を「{{math|&lambda;}} がゼロでないならば、それは ''K'' の[[固有値]]であるか、[[レゾルベント]]作用素
: <math>R(\lambda; K)= (K-\lambda \operatorname{Id})^{-1}</math>
の定義域に属するかのいずれか一方が成り立つ。」と言いなおすことができる。

== 楕円型偏微分方程式 ==
フレドホルムの交代定理は、線型の[[楕円型偏微分方程式]]を解くために用いることが出来る。基本となる結果は次のものである：方程式とバナッハ空間が適切に定められるなら、次のいずれかが成り立つ。

:(1) 同次方程式が非自明な解を持つ。

:(2) 非同次方程式がデータの選び方に対して一意に解かれる。

この内容について以下で述べる。典型的な[[楕円型作用素]] ''L'' の分かりやすい例として、ラプラシアンに低階の項をいくつか加えたものが考えられる。適切な境界条件が課され、適切なバナッハ空間 ''X''（これは境界条件と解の適切性を保証する）上で表現されることで、''L'' は ''X'' からそれ自身への非有界作用素となり、問題は次を解くこととなる：

:<math>L u = f,\qquad u\in dom(L) \subseteq X. </math>

ここで ''f'' ∈ ''X'' はデータとして与えられるある函数で、これに対する解を得ることを考える。フレドホルムの交代定理は、楕円型方程式の理論と組み合わされることで、この方程式の解を構成することを可能にする。

具体例として、次のような楕円型[[境界値問題]]が挙げられる。

:<math>(*)\qquad Lu := -\Delta u + h(x) u = f\qquad \text{in }\Omega. </math>

境界条件は次のものとする。

:<math> (**) \qquad u = 0 \qquad \text{on } \partial\Omega.</math>  

ここで Ω ⊆ '''R'''<sup>n</sup> は滑らかな境界を持つ有界集合で、''h''(''x'') は固定された函数（シュレディンガー作用素の場合は、ポテンシャル）である。函数 ''f'' ∈ ''X'' は、変化させることの出来るデータで、それに対して方程式の解を求めることを考える。ここで ''X'' を、Ω 上のすべての[[自乗可積分函数]]からなる空間 ''L''<sup>2</sup>(Ω) とし、''dom''(''L'') は、[[ソボレフ空間]] ''W'' <sup>2,2</sup>(Ω) ∩ ''W''<sub>0</sub><sup>1,2</sup>(Ω)（Ω 上の自乗可積分函数で、1階および2階の[[弱微分]]が存在し、それらも自乗可積分であるものからなる空間）とする。さらに ∂Ω 上ではゼロ境界条件が満たされるものとする。

''X'' が（今回の例のように）適切に選ばれるなら、''μ''<sub>0</sub> >> 0 に対して作用素 ''L'' + ''μ''<sub>0</sub> は正となり、楕円型評価を利用することで、''L''+''μ''<sub>0</sub> : ''dom''(''L'') → ''X'' は全単射かつその逆はコンパクトで、像が ''dom''(''L'') と等しいような至る所で定義される ''X'' から ''X'' への作用素 ''K'' であることが分かる。そのような ''μ''<sub>0</sub> を固定する。しかしそれは道具に過ぎないので、その値は重要ではない。

このとき、前述のコンパクト作用素に対するフレドホルムの交代定理を、境界値問題 (*)-(**) の可解性に関する内容に変えることが出来る。上述のように、フレドホルムの交代定理では次のことが主張される：

* 各 ''λ'' ∈ '''R''' に対し、''λ'' は ''K'' の固有値であるか、作用素 ''K'' - ''λ'' が ''X'' からそれ自身への全単射である。

境界値問題に対して、次の二つの内容を述べる。''λ'' ≠ 0 とする。このとき次のいずれかが成り立つ：

(A) ''λ'' は K の固有値 ⇔ (''L'' + ''μ''<sub>0</sub>) ''h'' = ''λ''<sup>-1</sup>''h'' のある解 ''h'' ∈ ''dom''(''L'') が存在 ⇔ -''μ''<sub>0</sub>+''λ''<sup>-1</sup> は ''L'' の固有値

(B) 作用素 ''K'' - ''λ'' : ''X'' → ''X'' は全単射 ⇔ (''K'' - ''λ'') (''L'' + ''μ''<sub>0</sub>) = ''Id'' - ''λ'' (''L'' + ''μ''<sub>0</sub>) : ''dom''(''L'') → ''X'' は全単射 ⇔  ''L'' + ''μ''<sub>0</sub> - ''λ''<sup>-1</sup> : ''dom''(''L'') → ''X'' は全単射

-''μ''<sub>0</sub>+''λ''<sup>-1</sup> を ''λ'' で置き換え、''λ'' = -''μ''<sub>0</sub> の場合を別に扱うことで、この結果は次の楕円型境界値問題に対するフレドホルムの交代定理につながる：

* 各 ''λ'' ∈ '''R''' に対し、同次方程式 (''L'' - ''λ'') ''u'' = 0 は自明解を持つか、非同次方程式 (''L'' -  ''λ'') ''u'' = ''f'' は与えられた各データ ''f'' ∈ ''X'' に対して一意な解 ''u'' ∈ ''dom''(''L'') を持つ。

この後者の函数 ''u'' は、上述の境界値問題 (*)-(**) の解である。これは上述の (1)-(2) で主張されたような二者択一の内容である。[[コンパクト作用素のスペクトル理論]]より、可解性が失われるような ''λ'' の集合は '''R''' の離散部分集合（''L'' の固有値）であることが分かる。このような固有値は、方程式の可解性を妨げる resonances であると考えられる。

== 関連項目 ==

* [[コンパクト作用素のスペクトル理論]]

== 参考文献 ==
* {{cite journal |first=E. I. |last=Fredholm |title=Sur une classe d'equations fonctionnelles |journal=Acta Math. |volume=27 |year=1903 |pages=365–390 }}
* A. G. Ramm, "[https://arxiv.org/abs/math/0011133 A Simple Proof of the Fredholm Alternative and a Characterization of the Fredholm Operators]", ''American Mathematical Monthly'', '''108''' (2001) p.&nbsp;855.
* {{SpringerEOM|title=Fredholm theorems for integral equations|last=Khvedelidze|first=B.V. |urlname=Fredholm_equation}}
* {{mathworld|urlname=FredholmAlternative|title=Fredholm Alternative}}

{{DEFAULTSORT:ふれとほるむのこうたいていり}}
[[Category:フレドホルム理論]]
[[Category:線型代数学]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]