フレドホルム積分方程式

数学におけるフレドホルム積分方程式（フレドホルムせきぶんほうていしき、テンプレート:Lang-en）は、その解がフレドホルム核およびフレドホルム作用素の研究であるフレドホルム理論から生じる積分方程式である。数学者のエリック・イヴァル・フレドホルムにより研究された。

定義

フレドホルム方程式は（以下に定義する）核函数を含む積分方程式で積分の限界が定数であるようなものである。これは積分の限界が変数であるヴォルテラ積分方程式とは形の上で近い関係にある。

第一種

非等質 (inhomogeneous) な第一種フレドホルム積分方程式は

$g(t)=\underset{a}{\overset{b}{\int }}K(t,s)f(s)ds$

と書かれ、連続な積分核 テンプレート:Math および函数 テンプレート:Math を既知として、その解 テンプレート:Math を求める。（テンプレート:Math のときが等質 (homogeneous)）

核 テンプレート:Math が二つある引数の差のみで決まる函数であるとき（記号の濫用だがそれを テンプレート:Math と書けば）、積分の上下の限界を テンプレート:Math とするとき、この方程式の右辺は一変数の函数 テンプレート:Mvar と テンプレート:Mvar との畳み込みとして書き直せるから、方程式の解は

$f(t)={ℱ}_{\omega }^{-1}\left[\frac{{ℱ}_t[g(t)](\omega )}{{ℱ}_t[K(t)](\omega )}\right]=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{{ℱ}_t[g(t)](\omega )}{{ℱ}_t[K(t)](\omega )}{e}^{2\pi i\omega t}d\omega$

で与えられる。ここで ${ℱ}_t$ および ${ℱ}_{\omega }^{-1}$ は、フーリエ変換およびフーリエ逆変換を表す。

第二種

非等質な第二種フレドホルム積分方程式は

$\varphi (t)=f(t)+\lambda \underset{a}{\overset{b}{\int }}K(t,s)\varphi (s)ds$

で与えられ、既知の核 テンプレート:Mvar および函数 テンプレート:Mvar から、函数 テンプレート:Mvar を求める（テンプレート:Math のとき等質）。

これを解く標準的な方法は、レゾルベントの方法論を用いることであり、級数として得られる解はテンプレート:仮リンクと呼ばれる。

一般論

フレドホルム方程式の下敷きとなる一般論はフレドホルム理論と呼ばれる。主要な結果の一つは、核 テンプレート:Mvar がコンパクトとなることであり、そのコンパクト性は同程度連続性を見ることで示せる。またこれは作用素として、0 に収束する固有値からなる離散スペクトルによって理解することのできるスペクトル論を持つ。

応用

フレドホルム積分方程式は信号処理の理論において自然に生じ、中でもテンプレート:仮リンクにより広められた有名なテンプレート:仮リンクは最も顕著である。フレドホルム積分方程式はまた、線形前進モデリングや逆問題においても用いられる。

関連項目

• テンプレート:Ill
• ヴォルテラ積分方程式

参考文献

• Integral Equations at EqWorld: The World of Mathematical Equations.
• A.D. Polyanin and A.V. Manzhirov, Handbook of Integral Equations, CRC Press, Boca Raton, 1998. ISBN 0-8493-2876-4
• テンプレート:SpringerEOM
• F. J. Simons, M. A. Wieczorek and F. A. Dahlen. Spatiospectral concentration on a sphere. SIAM Review, 2006, doi:10.1137/S0036144504445765
• D. Slepian, "Some comments on Fourier Analysis, uncertainty and modeling", SIAM Review, 1983, Vol. 25, No. 3, 379-393.
• テンプレート:Cite book
• テンプレート:Cite book