フーリエ反転定理：条件・定式化・応用

定理の主張と一般的な定式化

厳密な定式化は、関数の属するクラスに応じて複数ある。十分によい関数、たとえばシュワルツ関数と呼ばれる急減少する滑らかな関数については、反転公式の一般的な正規化の一つは次のとおりである。

f(x) = ∫ℝn f̂(ξ) e2πi x·ξ dξ

ここで f̂ はフーリエ変換を表す。著者によっては 1/(2π) 型の係数など、別の定数を用いる。正確な係数は採用する約束によって決まる。この定理はより弱い意味でも成り立つ。f が L1 に属し、その変換も L1 に属するなら、この積分はほとんどいたるところで f を与える。L2 ではプランシュレルの定理による L2 の意味での反転が得られ、分布については分布の意味で反転が成り立つ。周波数と位相の実用的な直観については、周波数および位相を参照。

条件と技術的な要点

• L1 理論：f∈L1(ℝn) かつ f̂∈L1(ℝn) であれば、反転積分はほとんどいたるところで点ごとに存在し、f を復元する。
• L2／プランシュレル：二乗可積分関数では、L2 の意味で反転が保証される。点ごとの値を得るには、追加の正則性が必要となる場合がある。
• 緩増加分布：変換と反転は分布へ拡張され、一般化関数について弱い意味での復元を可能にする。

歴史と発展

関数を正弦波成分へ分解するという考え方は、19世紀初頭におけるジョゼフ・フーリエの熱伝導に関する研究にさかのぼる。可積分性と収束の概念が形式化されるにつれ、数学的基礎は19世紀後半から20世紀にかけて洗練された。解析学者たちが変換対の存在と一意性を保証する条件を明らかにするなかで反転定理が成立し、その後、プランシュレル、リーマン、ルベーグ、シュワルツらの研究によって、L2 や分布の設定へと適用範囲が広げられた。

用途と例

反転定理は多くの応用を支えている。信号処理では、帯域制限信号をそのスペクトルから正確に再構成できることを保証する。偏微分方程式では、線形定係数方程式の解法はしばしばフーリエ領域での乗算と、解への反転へ帰着される。確率論および統計学では、測度のフーリエ変換である特性関数を反転して分布を復元する。具体的な導入は関数空間、応用的な扱いは波動の応用を参照。

注記と重要な事実

実用上の重要な点として、正規化の約束と正則性への依存がある。点ごとの反転は不連続点では成り立たないことがあり、その場合には平均値が得られる。リーマン＝ルベーグの補題は、可積分関数の変換が無限遠でゼロに収束することを保証する。一方、パレー＝ウィーナーの定理群は、変換を通じて台と解析性の性質を特徴づける。さらに読むための文献や技術的証明については、位相に関する資料および周波数に関する解説からリンクされる高度な解説書や概説論文を参照。