線形代数 線形代数におけるフレドホルムの定理とは、次のようなものである。 M が行列 ならば、M の行空間 の直交補空間 は M の零空間 ker M である。
( row M ) ⊥ = ker M . {\displaystyle (\operatorname {row} M)^{\bot }=\ker M.} 同様に、M の列空間の直交補空間は M のエルミート共役 (随伴) M * の零空間 ker M * である。
( col M ) ⊥ = ker M ∗ . {\displaystyle (\operatorname {col} M)^{\bot }=\ker M^{*}.}
積分方程式 積分方程式のフレドホルムの定理は次のように表される。 K ( x , y ) {\displaystyle K(x,y)} を積分核 (kernel) とし、斉次方程式、
∫ a b K ( x , y ) ϕ ( y ) d y = λ ϕ ( x ) {\displaystyle \int _{a}^{b}K(x,y)\phi (y)\,dy=\lambda \phi (x)} とその複素共役 、
∫ a b ψ ( x ) K ( x , y ) ¯ d x = λ ¯ ψ ( y ) . {\displaystyle \int _{a}^{b}\psi (x){\overline {K(x,y)}}\,dx={\overline {\lambda }}\psi (y).} を考える。ここで、 λ ¯ {\displaystyle {\overline {\lambda }}} は複素数 λ {\displaystyle \lambda } の複素共役を表し、 K ( x , y ) ¯ {\displaystyle {\overline {K(x,y)}}} は同様に積分核の複素共役を表す。 このとき、フレドホルムの定理は、いかなる λ {\displaystyle \lambda } についても、これらの方程式は自明な解 ψ ( x ) = ϕ ( x ) = 0 {\displaystyle \psi (x)=\phi (x)=0} を持つか、同数の線形独立 な解 ϕ 1 ( x ) , ⋯ , ϕ n ( x ) , ψ 1 ( y ) , ⋯ , ψ n ( y ) {\displaystyle \phi _{1}(x),\cdots ,\phi _{n}(x),\psi _{1}(y),\cdots ,\psi _{n}(y)} を持つことをいう。
積分方程式におけるフレドホルムの定理が成り立つための充分条件は、積分核 K ( x , y ) {\displaystyle K(x,y)} が矩形 [ a , b ] × [ a , b ] {\displaystyle [a,b]\times [a,b]} の上で自乗可積分 なことである。
ここでは、積分を実数軸上の一次元の積分として表しているが、フレドホルム理論 の中では、リーマン多様体 などを含む多次元空間上の積分作用素 へと一般化される。
解の存在 フレドホルムの定理はフレドホルムの交代定理と密接な関係がある。非斉次のフレドホルム積分方程式 、
λ ϕ ( x ) − ∫ a b K ( x , y ) ϕ ( y ) d y = f ( x ) {\displaystyle \lambda \phi (x)-\int _{a}^{b}K(x,y)\phi (y)\,dy=f(x)} の解の存在を考えると、この方程式に解が存在するのは、対応する斉次な共役の方程式の解の完全系 { ψ n ( x ) } {\displaystyle \{\psi _{n}(x)\}} に対して関数 f ( x ) {\displaystyle f(x)} が直交する場合に限られる。
∫ a b ψ n ( x ) ¯ f ( x ) d x = 0 {\displaystyle \int _{a}^{b}{\overline {\psi _{n}(x)}}f(x)\,dx=0} ここで ψ n ( x ) ¯ {\displaystyle {\overline {\psi _{n}(x)}}} は ψ n ( x ) {\displaystyle \psi _{n}(x)} の複素共役を表し、積分方程式、
λ ψ ( y ) ¯ − ∫ a b ψ ( x ) ¯ K ( x , y ) d x = 0. {\displaystyle \lambda {\overline {\psi (y)}}-\int _{a}^{b}{\overline {\psi (x)}}K(x,y)\,dx=0.} の解の一つである。 この定理が成り立つ充分条件は K ( x , y ) {\displaystyle K(x,y)} が矩形 [ a , b ] × [ a , b ] {\displaystyle [a,b]\times [a,b]} 上で自乗可積分なことである。
参考文献 E.I. Fredholm, Sur une classe d'equations fonctionnelles , Acta Math. , 27 (1903) pp. 365–390. Weisstein, Eric W . "Fredholm's Theorem ". MathWorld (英語). B.V. Khvedelidze (2001), "Fredholm theorems for integral operators", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics , Springer, ISBN 978-1-55608-010-4 。