フレドホルムの定理 (英語 : Fredholm's theorems) とは、エリック・イヴァル・フレドホルム (Erik Ivar Fredholm) の積分方程式の理論であるフレドホルム理論から導かれる、有名ないくつかの結果のことをいう。それらの定理は互いに密接に関係し、いくつかの文脈、積分方程式や線形代数、バナッハ空間上のフレドホルム作用素で説明される。
フレドホルムの交代定理 (Fredholm alternative) はフレドホルムの定理のひとつである。
線形代数[編集]
線形代数におけるフレドホルムの定理とは、次のようなものである。
M が行列ならば、M の行空間の直交補空間は M の零空間 ker M である。
![{\displaystyle (\operatorname {row} M)^{\bot }=\ker M.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/054c3b5f765b5c7ba21341628ae9913b99de1a4f)
同様に、M の列空間の直交補空間は M のエルミート共役 (随伴) M * の零空間 ker M * である。
![{\displaystyle (\operatorname {col} M)^{\bot }=\ker M^{*}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fa141a52b8874057b3a77ee75d3da64c88a7039)
積分方程式[編集]
積分方程式のフレドホルムの定理は次のように表される。
を積分核 (kernel) とし、斉次方程式、
![{\displaystyle \int _{a}^{b}K(x,y)\phi (y)\,dy=\lambda \phi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51ec964c79c0331709862489f3071360d8f7a3c)
とその複素共役、
![{\displaystyle \int _{a}^{b}\psi (x){\overline {K(x,y)}}\,dx={\overline {\lambda }}\psi (y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e8009e7bc7715d8a726c085dd78e08f6fd5fcea)
を考える。ここで、
は複素数
の複素共役を表し、
は同様に積分核の複素共役を表す。
このとき、フレドホルムの定理は、いかなる
についても、これらの方程式は自明な解
を持つか、同数の線形独立な解
を持つことをいう。
積分方程式におけるフレドホルムの定理が成り立つための充分条件は、積分核
が矩形
の上で自乗可積分なことである。
ここでは、積分を実数軸上の一次元の積分として表しているが、フレドホルム理論の中では、リーマン多様体などを含む多次元空間上の積分作用素へと一般化される。
解の存在[編集]
フレドホルムの定理はフレドホルムの交代定理と密接な関係がある。非斉次のフレドホルム積分方程式、
![{\displaystyle \lambda \phi (x)-\int _{a}^{b}K(x,y)\phi (y)\,dy=f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28d449ea9566123530a1005b455a4e27da46e7e5)
の解の存在を考えると、この方程式に解が存在するのは、対応する斉次な共役の方程式の解の完全系
に対して関数
が直交する場合に限られる。
![{\displaystyle \int _{a}^{b}{\overline {\psi _{n}(x)}}f(x)\,dx=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90927441d07c5df9bb8fca336026b590715691a1)
ここで
は
の複素共役を表し、積分方程式、
![{\displaystyle \lambda {\overline {\psi (y)}}-\int _{a}^{b}{\overline {\psi (x)}}K(x,y)\,dx=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65f31c6825d6e5ff8095ed49d81d014c8a58edc)
の解の一つである。
この定理が成り立つ充分条件は
が矩形
上で自乗可積分なことである。
参考文献[編集]
- E.I. Fredholm, Sur une classe d'equations fonctionnelles , Acta Math., 27 (1903) pp. 365–390.
- Weisstein, Eric W. "Fredholm's Theorem". mathworld.wolfram.com (英語).
- B.V. Khvedelidze (2001), “Fredholm theorems for integral operators”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Fredholm_operator