フレドホルムの定理
フレドホルムの定理はフレドホルムの交代定理と密接な関係がある。非斉次のフレドホルム積分方程式、
λ φ ( 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}