数学においてフーリエ変換(フーリエへんかん、: Fourier transform、FT)は、変数複素または数値関数を、別の同種の関数ˆfに写す変換である。

上は時間領域で表現された矩形関数f(t)(左)と、周波数領域で表現されたそのフーリエ変換(ω)(右)。(ω)Sinc関数である。下は時間遅れのある矩形関数 g(t) と、そのフーリエ変換 ĝ(ω)。 時間領域における平行移動 (ディレイ)は、周波数領域では虚数部の位相シフトとして表現される。

工学においては、変換後の関数ˆfはもとの関数に含まれる周波数を記述していると考え、しばしばもとの関数周波数領域表現 (frequency domain representation) と呼ばれる。言い換えれば、フーリエ変換は関数正弦波・余弦波に分解するとも言える。

フーリエ変換 (FT) は他の多くの数学的な演算と同様にフーリエ解析の主題を成す。特別の場合として、もとの関数とその周波領域表現が連続かつ非有界である場合を考えることができる。「フーリエ変換」という言葉は関数の周波数領域表現のことを指すこともあるし、関数を周波数領域表現へ写す変換の過程・公式を言うこともある。なおこの呼称は、19世紀フランスの数学者・物理学者で次元解析の創始者とされるジョゼフ・フーリエに由来する。

定義 編集

絶対可積分関数に対する定義 編集

絶対可積分関数 f: RC のフーリエ変換の定義として、よく用いられるものにもいくつか異なる流儀がある[1]。本項では

 

を定義として用いる。ここでギリシャ文字小文字の ξ は任意の実数である。(他の流儀による定義については後述 → #その他の定義

対象の関数における独立変数が物理量の場合、フーリエ変換は独立変数の次元をもとの逆数に移す。例えば、変換前の関数における独立変数 x時間の次元をもつとき、変換後の独立変数 ξ周波数の次元を持つ。あるいは、変換前の独立変数 x長さの次元をもつとき、変換後の独立変数 ξ波数の次元を持つ。この性質は定義より x ξ無次元量であることから従う。

適当な条件のもと、f はその変換 ˆf からフーリエ逆変換 (inverse transform)

 

によって復元することができる(x は任意の実数)。

超関数としての定義 編集

上記の絶対可積分関数の定義では、次のような関数は のため絶対可積分ではなく、フーリエ変換が定義できない。

  はゼロ以外の定数)
  は自然数)
・周期関数( を除く)

このように、周期関数のようなフーリエ級数展開が可能な関数が、絶対可積分関数の意味でフーリエ変換できないことは非常に不便であり、またフーリエ変換の理解を難しくしている。

そこで、フーリエ変換の定義を超関数に拡張することが行われる。

超関数とは、急減少関数(シュワルツ空間の元である関数)の列 であって、任意の急減少関数 について が存在するものを言い、 2つの急減少関数の列  が、任意の急減少関数 について が成り立つとき、  は同一の超関数を表すものとする。

イメージとしては、超関数は関数列の極限であるが、関数列自体が超関数であり、 が収束値を持つ必要はない。

急減少関数は絶対可積分関数であるため、絶対可積分関数としてのフーリエ変換が定義されるが、急減少関数のフーリエ変換は急減少関数になるという性質がある。この性質を利用し、次のように超関数のフーリエ変換が定義される。

定義: 急減少関数の列である超関数 のフーリエ変換は、急減少関数の列 からなる超関数と定義される。

  はゼロ以外の定数)については、急減少関数の列である超関数 を考え( のため、任意の急減少関数 について となり広い意味で同一視可能)、そのフーリエ変換は急減少関数の列である超関数 となる。
ここで、 のときは  のときは であり、 である。これはデルタ関数と言われ、 のフーリエ変換は、 となる。

導入 編集

この節の記載は、フーリエ変換の「動機」についてのものであるが、フーリエ変換の理解に必須のものではなく、むしろ理解を妨げる要因(数学的に不正確な内容を含む)もあるため、注意が必要である。フーリエ変換についてのイメージを掴むには有用であるが、この節の理解に拘泥するとむしろ本質的な理解が阻害されることになる。

フーリエ変換を考える動機はフーリエ級数の研究に始まる。フーリエ級数の研究において、複雑な周期関数は単純な波動の数学的な表現である正弦関数余弦関数の和として表される。正弦や余弦の性質のおかげで、この和に現れる各波の量、フーリエ係数を積分によって計算することができる。

多くの場合に、 オイラーの公式)を用いて、正弦関数および余弦関数の代りに基本波動   を用いた方が便利である。この場合には多くの公式が簡単化され、本項で後述するフーリエ変換のほかの類似の定式化をあたえるという点に優位性がある。この正弦・余弦から複素指数関数への移行にはフーリエ係数が複素数値であることを要する。この複素数は、関数に含まれる波動の振幅(あるいは大きさ)と、位相(あるいは初期角)の両方を与えているものと通常は解釈される。また、この移行に際して「負の周波数」も導入される。例えば、波動   および   はともに周期1を持つが、複素フーリエ級数においては別々の成分として取り扱われる。したがって、周波数を単純に周期の逆数と考えることはできなくなる。

フーリエ級数を以下のようにしてフーリエ変換の動機付けに用いることができる。関数 ƒ をある区間 [−L/2, L/2] の外側で 0 となるようなものとすると、任意の TL に対して ƒ を区間 [−T /2, T /2] 上のフーリエ級数に拡張できる。ここで f のフーリエ級数に現れる波動   の係数となる   で表される「量」は

 

で与えられ、ƒ は公式

 

で与えられなければならない。ξn = n/T とおき、Δξ = (n + 1)/Tn/T = 1/T とおくと、最後の和をリーマン和

 

として考えることができる。T → ∞ とすることにより、このリーマン和は定義節で与えられるフーリエ逆変換に収束する。適当な条件の下では、この議論をもっと明確化することができる[2]。したがって、この場合はフーリエ級数だが、フーリエ変換は関数に含まれる個々の特定の周波数がどの程度あるかを測るものと考えることができ、それらの波動を積分(あるいは「連続和」)によって再結合して元の関数を復元することができる。

以下の画像はフーリエ変換が特定の関数に含まれる周波数を測る方法を視覚的に現したものである。関数として、(t が秒で測られる場合には)3 ヘルツで振動し、急速に 0 になる

 

を描く。この関数は特に描画しやすい実フーリエ変換をもつものとして選ばれたものであり、最初の画像はそのグラフである。ˆf(3) を計算するために、e−2πi(3t)ƒ(t) を積分する。二枚目の画像はこの被積分関数の実部および虚部である。被積分関数の実部は殆ど常に正となる。これは ƒ(t) が負であるときには e−2πi(3t) の実部が同様に負となることによる。それらは同じ比率で振動するから、ƒ(t) が正であるときも同様に e−2πi(3t) の実部も正になる。

この結果、被積分関数の実部のを積分すれば、比較的大きな数値(ここでの場合 0.5)を得ることになる。

一方、(ˆf(5) を見る場合のように)含まれない周波数を測れば、被積分関数は十分に振動し、それゆえにその積分はとても小さい値となる。一般の設定ではこれよりは少し複雑になるが、それでもフーリエ変換は関数 ƒ(t) に含まれる個々の周波数がどれくらいあるかを測るものという考え方に変わりはない。

フーリエ変換の性質 編集

実数直線上で定義される関数 f絶対可積分であるとは、

 

を満たすルベーグ可測関数であることをいう。

基本性質 編集

絶対可積分関数 f(x), g(x), h(x) が与えられたとき、これらのフーリエ変換をそれぞれ ˆf(ξ), ˆg(ξ), ˆh(ξ)で表す。フーリエ変換は以下の基本性質を満たす[3]

線型性
任意の複素数 a, b について h(x) = (x) + bg(x) であるならば
 
が成り立つ。
平行移動
任意の実数 x0 に対して h(x) = ƒ(xx0) であるならば
 
が成り立つ。
変調
任意の実数 ξ0 に対して h(x) = eixξ0ƒ(x) ならば
 
が成り立つ。
定数倍
非零実数 a に対し、h(x) = ƒ(ax) ならば
 
が成り立つ。a = −1 つまり h(x) = ƒ(−x) の場合には、時間反転性 (time-reversal property)
 
が導かれる。
複素共役
f(x)複素共役 f(x) について
 
が成り立つ。
畳み込み
h(x) = (fg)(x) ならば
 
が成り立つ。

一様連続性とリーマン・ルベーグの補題 編集

絶対可積分関数のフーリエ変換は、常に成り立つというわけではない性質も持っている。絶対可積分関数 ƒ のフーリエ変換は一様連続で

 

を満たす[4]。絶対可積分関数のフーリエ変換は

 

であることを述べたリーマン・ルベーグの補題をも満足する[5]。絶対可積分函数 f のフーリエ変換 ˆf は有界連続だが絶対可積分であるとは限らず、その逆変換をルベーグ積分として書くことは一般にはできない。しかしながら、ƒ および ˆf がともに絶対可積分ならば、反転公式

 

が殆ど全ての x において成り立つ。つまり、ƒ は右辺で定義される連続関数と殆ど至る所等しい。特に ƒ が実数直線上の連続関数として与えられたならば全ての x において等式が成り立つ。

前述の結果としてわかることは、フーリエ変換が L1(R) 上単射であることである。

プランシュレルの定理とパーセバルの定理 編集

f(x) および g(x) は絶対可積分であるとし、そのフーリエ変換をそれぞれ ˆf(ξ) および ˆg(ξ) と表す。f(x) および g(x) がともに自乗絶対可積分であるならばパーセバルの定理

 

が成立する[6]。ここで上付きバーは複素共役を表す。

パーセバルの定理と同値なプランシュレルの定理によれば

 

が成立する[7]。プランシュレルの定理により、L2(R) に属する関数の後述する意味でのフーリエ変換を定義することが可能になる。プランシュレルの定理は、フーリエ変換はもとの量のエネルギーを保存するという自然科学における解釈を持つ。著者によってはこれらの定理のどちらともをプランシュレルの定理あるいはパーセバルの定理と呼んでいる場合があるので注意を要する。

局所コンパクトアーベル群に関する文脈におけるフーリエ変換の概念の一般の定式化についてはポントリャーギン双対の項を参照されたい。

不確定性関係 編集

一般的に言って、f(x) が凝縮されればされるほどそのフーリエ変換 ˆf はより拡散される。特に、フーリエ変換のスケール性からわかることとして、関数を x において「圧搾」するならば、そのフーリエ変換は ξ において「伸展」される。したがって、関数とそのフーリエ変換の両方ともを勝手に凝縮させることはできない。

関数とそのフーリエ変換のコンパクト化のあいだの得失評価は不確定性関係の形で定式化することができる。ƒ(x) は絶対可積分かつ自乗絶対可積分であると仮定する。一般性を失うことなく関数 ƒ(x) は

 

に正規化されているものと仮定してよい。このとき、プランシュレルの定理により ˆf(ξ) も同様に正規化される。

x = 0 の周りでの拡散を

 

で定義される「0 の周りでの分散」(dispersion about zero) によって測ることにする[3]。確率の言葉で言えば、これは |f(x)|2 の 0 の周りでの二次のモーメントである。

このとき不確定性原理は、関数 ƒ(x) が絶対連続で、関数 x·ƒ(x) および ƒ′(x) が自乗絶対可積分であるならば

 

が成り立つことを述べる[3]。等式が成立するのは

 

したがって、

 

である場合に限る。ただし、定数 σ > 0 は任意であり、係数 C1ƒL2-正規化する定数である[3]。言い換えれば、 ƒ は 0 を中心に持つ(正規化)ガウス関数のとき等号が成り立つ。

事実として、この不等式は任意の x0, ξ0R について

 

が成立することをも含む[2]

量子力学において、運動量位置波動関数は(プランク定数を因子に持つ)フーリエ変換対である。プランク定数でスケールしなおせば、上述の不等式はロバートソンの不確定性関係を記述する。これは、ハイゼンベルグが構想した不確定性原理そのものではないが、深い関係がある。

ポアソン和公式 編集

ポアソン和公式はフーリエ変換とフーリエ級数の間の関連性を提供する。絶対可積分関数 ƒL1(Rn) が与えられたとき、ƒ周期化

 

によって与えられる。このとき、ポアソン和公式は f のフーリエ級数を ƒ のフーリエ変換に結びつけるもので、特に f のフーリエ級数は

 

で与えられることを述べるものである。ポアソン和公式を用いて、大きな次元のユークリッド球面における格子点の数に対するランダウの漸近公式を導出することができる。また、絶対可積分函数 fˆf がともにコンパクト台を持つならば ƒ = 0 を示すこともできる[3]

畳み込み定理 編集

フーリエ変換は、関数の畳み込みと関数の(点毎の)積とを相互に変換する。ƒ(x) および g(x) が絶対可積分関数であるとし、そのフーリエ変換をそれぞれ ˆf(ξ) および ˆg(ξ) で表す。さらに ƒg との畳み込みが存在して絶対絶対可積分であるならば、この畳み込みのフーリエ変換はフーリエ変換 ˆf(ξ)ˆg(ξ) との積で与えられる(ただし、フーリエ変換の定義の仕方によっては定数因子が現れる場合もある)。

これを式で表せば、∗ を畳み込みとして

 

と表されるとき、

 

が成立することを意味する。線型時不変 (LTI) 系理論において、f(x) を単位インパルスで置き換えたものが h(x) = g(x) を与えることから、通例 g(x) は、入力 ƒ(x) と出力 h(x) に関する LTI 系のインパルス応答として解釈される。この場合、ˆg(ξ) はこの系の周波数応答を表す。

逆に、ƒ(x) がふたつの自乗絶対可積分函数 p(x) および q(x) の積に分解されるならば、 ƒ(x) のフーリエ変換は、各因子のフーリエ変換 ˆp(ξ) および ˆq(ξ) の畳み込みで与えられる。

相互相関定理 編集

同様の方法で、h(x) が ƒ(x) と g(x) との相互相関

 

であるならば h(x) のフーリエ変換が

 

で与えられることが示される。

固有関数 編集

L2(R) の正規直交基底の重要な一つはエルミート函数系

 

で与えられる。ここで Hn(x) は「確率論者の」エルミート多項式と呼ばれる、  で定義される関数である。この規約の下、フーリエ変換は

 

で与えられる。言い換えれば、エルミート関数系は L2(R) 上のフーリエ変換の固有関数からなる完全正規直交系を成す[3]。しかしながら、この固有関数系の選び方は一意ではなく、フーリエ変換の相異なる固有値は {±1, ±i} の 4 つしかなく、同じ固有値に属する固有関数の任意の線型結合はふたたび固有関数になる。この結果として L2(R) を 4 つの空間 H0, H1, H2, H3 で、フーリエ変換が Hk 上で単に ik-倍として作用するものの直和に分解することができる。この方法によるフーリエ変換の定義はウィーナーによる[8]。エルミート関数を選ぶのが便利なのは、それらが周波数域と時間域の両方で指数関数的に局在することと、それゆえに時間周波数解析において用いられる非整数次フーリエ変換が得られることにある [要出典]

球面調和関数 編集

  で次数 k斉次調和多項式全体の成す集合を表す。集合  体球面調和関数系英語版として知られる。高次元において体球面調和関数系はエルミート多項式と同様の役割を演じる。具体的には、  の適当な P(x) に対し、f(x) = e−π|x|2P(x) のフーリエ変換は

 

で与えられる。集合  f(|x|)P(x) (P(x) ∈  ) の形の関数から作られる線型結合全体の成す集合の L2(Rn) における閉包とする。このとき、空間 L2(Rn) は空間   の直和に分解され、フーリエ変換は各空間   をそれ自身に移す。また、各空間   へのフーリエ変換の作用を特徴付けることができる[5]ƒ(x) = ƒ0(|x|)P(x) (P(x) ∈  ) と表される関数のフーリエ変換は

 

となる。ただし、

 

であり、J(n + 2k − 2)/2 は次数 (n + 2k − 2)/2 の第一種ベッセル関数である。k = 0 のとき、これは動径関数のフーリエ変換に対する有用な公式を与える[9]

一般化 編集

他の函数空間上のフーリエ変換 編集

フーリエ変換の定義を他の函数空間に対するものへ拡張することができる。コンパクト台を持つ滑らかな函数は絶対可積分で、その全体は L2(R) において稠密であるから、プランシュレルの定理を用いて、L2(R) の一般の函数にまで(コンパクト台をもつ滑らかな函数によって近似して)フーリエ変換の定義を拡張することができる。さらに

 

ユニタリ作用素である[10]。フーリエ変換の多くの性質はこの場合にもそのまま成立する。ハウスドルフ・ヤング不等式を用いて 1 ≤ p ≤ 2 に対する Lp(R) の函数を含むようにフーリエ変換の定義を拡張することができる。

だが、さらなる拡張はもっと技巧的である。2 < p < ∞ の範囲でのLp に属する函数のフーリエ変換には超函数の研究が必要である[4]。事実として、p > 2 に関する Lp に属する函数のフーリエ変換は函数としては定義できないことを示すことができる [5]

多次元版 編集

フーリエ変換は勝手な次元 n において考えることができる。1-次元の場合と同様にさまざまな流儀があるが、本項では絶対可積分函数 ƒ(x) に対して、

 

をフーリエ変換の定義とする。ここで、x および ξn-次元ベクトルであり、x · ξ はベクトルの点乗積である。点乗積はしばしば <x, ξ> とも書き表される。

プランシュレルの定理やパーセバルの定理がそうであるように、上述の基本性質は n-次元フーリエ変換においても成立する。函数が絶対可積分であるとき、フーリエ変換はやはり一様連続であり、リーマン・ルベーグの補題が成立する[5]

より高い次元ではフーリエ変換の制限問題の研究が興味深いものになる。絶対可積分函数のフーリエ変換は連続で、この函数の任意の集合への制限が定義される。しかし自乗絶対可積分函数のフーリエ変換は自乗絶対可積分函数の一般の類を成す。そのような L2(Rn)-函数のフーリエ変換の制限は測度 0 の集合上では定義することができない。1 ≤ p ≤ 2 に対する Lp における制限問題の理解はいまだ活発な研究の行われる領域である。驚くべきことに、集合 S の曲率が非零であるようないくつかの場合には、フーリエ変換の S への制限を定義することができる。SRn における単位球面であるときが特に興味深い。この場合に、トマス-ステインの制限定理によれば、フーリエ変換の Rn における単位球面への制限は 1 ≤ p ≤ (2n + 2)/(n + 3) に対する Lp 上で有界作用素である。

1-次元の場合と多次元の場合とで、フーリエ変換の大きな違いは部分和作用素に関係する。与えられた絶対可積分函数 ƒ に対し

 

で定義される函数 ƒR を考える。さらに ƒLp(Rn) に属すると仮定する。n = 1 で 1 < p < ∞ とし、SR = (−R, R) と置くと、ヒルベルト変換の有界性から ƒRR を無限大に飛ばす極限で ƒLp 内で収束する。素朴に n > 1 の場合にも同様であることを期待するかもしれない。SR を一辺の長さが R の立方体とするならば、確かに部分和作用素はもとの函数に収束する。別の自然な候補としてユークリッド球体 SR = {ξ : |ξ| < R} をとると、部分和作用素が収束するためには単位球体に対するマルチプライヤーが Lp(Rn) において有界である必要がある。n ≥ 2 に対しては、単位球体に対するマルチプライヤーは p = 2 でない限り有界にはならないというよく知られたチャールズ・フェファーマンの定理がある[8]。事実として、p ≠ 2 のときには ƒRƒLp 内で収束しないだけではなく、函数 ƒLp(Rn) であっても ƒRLp の元でさえないようなものまでが存在する。

フーリエ・スティルチェス変換 編集

Rn 上の有限ボレル測度 μ のフーリエ変換は

 

によって与えられる[3]。この変換は絶対可積分函数のフーリエ変換がもつ多くの性質を引き続き満足する。大きな違いの一つに、測度に関してリーマン・ルベーグの補題が成り立たないことが挙げられる[4]dμ = ƒ(x)dx の場合には上述の定義式を f の通常のフーリエ変換の定義に簡約化することができる。

このフーリエ変換を用いて連続測度の特徴づけを与えることができる。ボホナーの定理英語版はそのような函数を測度のフーリエ・スティルチェス変換として得られるものとして特徴付ける[4]

さらに言えば、ディラックのデルタ函数は函数ではないが有限ボレル測度であり、そのフーリエ変換は定数函数となる(特殊値は用いるフーリエ変換の形に依存する)。

緩増加超函数 編集

フーリエ変換はシュワルツ函数全体の成す空間(シュワルツ空間)をそれ自身に移す同相写像を与える[5]。これにより、緩増加超函数のフーリエ変換を定義することができる。これには上述の絶対可積分函数が全て含まれ、それに加えて緩増加超函数のフーリエ変換がふたたび緩増加超函数となるという利点がある。

超函数のフーリエ変換を定義するいくつかの動機は、以下のふたつの事実に由来する。ひとつめは、ƒg が絶対可積分函数でそのフーリエ変換をそれぞれ ˆf, ˆg とするとき、フーリエ変換は乗法公式

 

に従うこと[5]。ふたつめは、任意の絶対可積分函数 ƒ は、任意のシュワルツ函数 φ に対して

 

を満たすという条件によって超函数 Tƒ を定めることである。これらの事実により、与えられた超函数 T に対してそのフーリエ変換を、任意のシュワルツ函数 φ に対して

 

なる関係式によって定義する。これは ˆTf = Tf^ から従う。

超函数は微分可能であり、緩増加超函数のフーリエ変換と微分および畳み込みとはやはり上述の意味で両立する。

局所コンパクトアーベル群 編集

フーリエ変換を任意の局所コンパクトアーベル群に対して一般化することができる。局所コンパクトアーベル群とは、抽象アーベル群であると同時に局所コンパクトハウスドルフ空間であって、なおかつその位相に関して群演算が連続となるものである。G が局所コンパクトアーベル群ならば、Gハール測度と呼ばれる平行移動不変な測度 μ を持つ。また、局所コンパクトアーベル群 G に対して、その位相を指標全体の成す集合 ˆG へ移行することができて、ˆG 自身も局所コンパクトアーベル群の構造を持つ。L1(G) に属する函数 f に対して、そのフーリエ変換を

 

によって定義することができる[4]

この一般化を概周期函数に適用した理論や、準周期函数に適用した理論が知られている。

応用 編集

微分方程式の解析学 編集

フーリエ変換および近い関係にあるラプラス変換微分方程式の解法において広く用いられる。f(x) を可微分函数で、そのフーリエ変換を ˆf(ξ) とすると、導函数のフーリエ変換が iξˆf(ξ) で与えられるという意味でフーリエ変換と微分作用素は両立する。このことを用いて微分方程式を代数方程式に変換することができる。ただし、この手法は定義域が実数全体である場合にしか適用できないことに注意が必要である。これを拡張して、定義域が Rn であるような多変数函数に関する偏微分方程式を代数方程式に書き換えることもできる。

フーリエ変換の定義域と値域 編集

フーリエ変換を可能な限り最も一般な定義域上で考えることが望ましいことも多々ある。フーリエ変換を積分として定義すれば、定義域は絶対可積分函数全体の成す空間に自然に制限されてしまうが、不幸にして絶対可積分函数のフーリエ変換として得られる函数の簡単な特徴づけは知られていない[5]。フーリエ変換の定義域の拡張は上述のようにいくつかの方法を用いて行うことができる。以下いくつか、フーリエ変換の定義されるより広範な定義域と領域について詳細を述べる。

  • シュワルツ函数全体の成す空間(シュワルツ空間)はフーリエ変換の下で閉じている。シュワルツ函数は急減少函数であって、フーリエ変換の関連する函数すべてを含んでいるわけではない。より詳細は (Stein & Weiss 1971) を参照せよ。
  • ルベーグ絶対可積分函数全体の成す空間 L1 はフーリエ変換によって、無限遠で 0 に収束する連続函数全体の成す空間 C0 へ写される。
  • 自乗絶対可積分函数全体の成す空間 L2 はフーリエ変換のもとで閉じている。しかしここでのフーリエ変換はもはや積分によって定義されるものではない。
  • 空間 Lp は空間 Lq へ写る。ここに、 1/p + 1/q = 1 であり、 1 ≤ p ≤ 2 とする(ハウスドルフ・ヤング不等式)。
  • 緩増加超函数全体の成す集合はフーリエ変換の下で閉じている。緩増加超函数は函数の一般化ともなっている。この一般化ではディラックの櫛型函数のようなもののフーリエ変換も定義することができる。

その他の記法 編集

フーリエ変換の記法として ˆf(ξ) 以外によく用いられるものに

 

などがある。あるいはもっと他の記号を使うことも在りうる。たとえば、(f(x) と F(ξ) のように)もとの函数を表している文字の対応する大文字を用いてそのフーリエ変換を表すことは自然科学や工学においてとくによく用いられる記法である。

複素函数 ˆf(ξ) は、極座標に関してこれを表示することにより、振幅

 

および位相

 

と呼ばれるふたつの実函数 A(ξ) および φ(ξ) を用いて

 

なる形に解釈することができる。

このとき逆変換は ƒ(x) の周波数成分すべての再結合として

 

と書くことができる。各成分は振幅A(ξ) で(x = 0 における)初期位相角が φ(ξ) であるような eixξ のかたちの複素正弦曲線である。

フーリエ変換は函数空間の間の写像として考えることもできる。この写像はここでは   で表し、函数 f のフーリエ変換には   が用いられる。この写像   は函数空間上の線型変換とみることができ、それによって   と書く代わりに、ベクトル(ここでは函数 f)の線型変換を表す線型代数学の標準的な記法で   と書くこともできる。函数にフーリエ変換を施した結果は再び函数となるから、この新たな函数の ξ における値というものには意味があり、それを   あるいは   などと表す。前者の場合には   はまず f に施されて、その後に得られた函数の ξ における値が評価されるものと暗黙に理解されているということに注意しなければならない。

数学や多くの応用科学において、函数 f それ自身と函数 f の変数 x における値 f(x) とを峻別しなければならないことがしばしばある。このことが意味するのは、たとえば  のような記法は、形式的には fx における「値」のフーリエ変換と解釈できてしまうということである。このような不具合にもかかわらず、特定の函数あるいは特定の変数の函数を頻繁に変換しなければならないような場合には、このような記法はよく用いられる。たとえば

 

は矩形函数のフーリエ変換が sinc-函数であることを表すために用いられることがあり、またたとえば

 

はフーリエ変換のシフト性を表すのに用いられることがある。最後の例は、変換される函数 fx0 のではなく x の函数であるという前提のもとでのみ正しいということに注意を要する。

その他の定義 編集

フーリエ変換の定義として慣習的によく用いられるものが3個ある。しばしば、フーリエ変換を毎秒ラジアンを単位とする角周波数 ω = 2πξ を用いて表す。ξ = ω/(2π) と置き換えれば、上述の定義式はこの規約の下

 

と書くことができ、また同じくこの規約の下で逆変換は

 

となる。本項における定義とは異なり、この規約によって定義されるフーリエ変換はもはや L2(Rn) 上の変換としてユニタリではなく、フーリエ変換と逆変換との間の対称性も失われている。

他によく用いられる流儀は (2π)n の因子をフーリエ変換とその逆変換の間で均等に分割するもので、

 
 

という定義が導かれる。この規約のもとでは、フーリエ変換はふたたび L2(Rn) 上のユニタリ変換となり、また フーリエ変換と逆変換の間の対称性も回復することができる。

これら三種類の定義はどれも、順変換逆変換ともに複素指数函数的な積分核を結びつけることによって形成されている。順変換と逆変換で肩に付く符合は反対でなければならないが、どちらがどちらの符号を持つべきであるかという選択は、やはり定義の仕方によるということになる。

よく用いられる定義のまとめ
周波数 ξ(ヘルツ) ユニタリ  

 

角周波数 ω(ラジアン毎秒) 非ユニタリ  

 

ユニタリ  

 

主なフーリエ変換の一覧 編集

以下にフーリエ変換の閉じた表示に関する表を掲げる(フーリエ変換はよく用いられる三種類を挙げてある)。函数 ƒ(x) , g(x), h(x) に対して、それらのフーリエ変換をそれぞれ ˆf, ˆg, ˆh で表す。

函数の関係式 編集

以下の表におけるフーリエ変換は (Erdélyi 1954) あるいは (Kammler 2000) の付録に見つけることができる。

もとの函数 ユニタリ・周波に関するフーリエ変換 ユニタリ・角周波に関するフーリエ変換 非ユニタリ・角周波に関するフーリエ変換 備考
   

 

    

 

101         線型性
102         時間領域シフト
103         周波数領域シフト
102の双対
104         |a| が大きければ f(ax) は 0 の周りに集中し   は平らに広がる
105         ここで、  は、それぞれの列で考えているフーリエ変換を施した結果の、変数を x に取替えたものである。
106        
107         106の双対
108         fgfg との畳み込みである。この公式は畳み込み定理と呼ばれる。
109         108の双対
110 純実偶関数    はいずれも純実偶関数 正弦・余弦変換も参照
111 純実奇関数    はいずれも純虚奇関数

自乗絶対可積分函数 編集

以下の表におけるフーリエ変換は (Campbell & Foster 1948), (Erdélyi 1954) あるいは (Kammler 2000) の付録に見つけることができる。

もとの函数 ユニタリ・周波に関するフーリエ変換 ユニタリ・角周波に関するフーリエ変換 非ユニタリ・角周波に関するフーリエ変換 備考
   

 

 

 

 

 

201         矩形波と標準化されたsinc関数sinc関数はsinc(x) = sin(πx)/(πx)で表される
202         201の双対で矩形波は理想的なローパスフィルターである。sinc関数はそのようなフィルターの非因果波応答である。
203         tri(x)は三角形関数である。
204         203の双対
205         u(x)はヘビサイドの単位ステップ関数であり、a>0
206         これが示すものは、ガウス関数exp(−αx2)でαを選んだ場合はユニタリフーリエ変換である。 Re(α)>0で積分可能である
207         a>0である
208    

   

 

   

 

   

関数Jn (x)は、n次の第1種ベッセル関数である。関数Un (x)は第2種チェビシェフ多項式である。下記315と316を参照
209         双曲線正割は自分自身をフーリエ変換したものである

超函数 編集

以下の表におけるフーリエ変換は (Erdélyi 1954) あるいは (Kammler 2000) の付録に見つけることができる。

もとの函数 ユニタリ・周波に関するフーリエ変換 ユニタリ・角周波に関するフーリエ変換 非ユニタリ・角周波に関するフーリエ変換 備考
   

 

 

 

 

 

301         δ(ξ) はディラックのデルタ関数
302         301の双対
303         103と301より導かれる。
304         101、303とオイラーの公式 より導かれる。
305         101、303と   より導かれる。
306        
307        
308         n自然数、 δ(n )(ξ) はディラックのデルタ関数のn 階微分。107と301より導かれる。さらに101と組み合わせることで、任意の多項式を変換できる。
309         sgn(ξ) は符号関数。1/x は超関数ではないことに注意。シュワルツ関数に対してテストするときにコーシーの主値を使用する必要がある。この規則はヒルベルト変換を研究するとき有用である。
310         309の一般化
311        
312         309の双対。積分はコーシーの主値を考える。
313         u (x ) はヘヴィサイドの階段関数。101、301および312より導かれる。
314         この関数はくし型関数といわれる。302、102および、超関数として   であることから導かれる。
315         J0 (x ) は0次の第1種ベッセル関数
316         315の一般化。Jn (x ) はn 次の第1種ベッセル関数Tn (x ) は第1種チェビシェフ多項式

二変数函数 編集

もとの函数 ユニタリ・周波に関するフーリエ変換 ユニタリ・角周波に関するフーリエ変換 非ユニタリ・角周波に関するフーリエ変換 備考
   

 

 

 

 

 

ξx , ξy , ωx , ωy , νx , νy は実変数。積分領域は全平面である。
401         両方のガウス関数は規格化されている必要はない。
402         元の函数は circ(r ) = 1 (0≤r ≤1), and 0 (otherwise) で定義される。これはエアリー分布であり、1次の第1種ベッセル函数 J1 で表される[11]

一般の n-変数函数 編集

もとの函数 ユニタリ・周波に関するフーリエ変換 ユニタリ・角周波に関するフーリエ変換 非ユニタリ・角周波に関するフーリエ変換 備考
   

 

    

 

501    
 
 
 
 
 
χ[0,1] は区間 [0, 1] の指示関数、Γ(x ) はガンマ関数、Jn /2+δn /2 + δ次の第1種ベッセル関数である。n = 2 およびδ = 0とすると402を得る[12]

関連項目 編集

出典 編集

参考文献 編集

  • Bochner, S.; Chandrasekharan, K. (1949). Fourier Transforms. Princeton University Press 
  • Bracewell, R. N. (2000), The Fourier Transform and Its Applications (3rd ed.), Boston: McGraw-Hill .
  • Campbell, George; Foster, Ronald (1948), Fourier Integrals for Practical Applications, New York: D. Van Nostrand Company, Inc. .
  • Duoandikoetxea, Javier (2001), Fourier Analysis, American Mathematical Society, ISBN 0-8218-2172-5 .
  • Dym, H; McKean, H (1985), Fourier Series and Integrals, Academic Press, ISBN 978-0122264511 .
  • Erdélyi, Arthur, ed. (1954), Tables of Integral Transforms, 1, New Your: McGraw-Hill 
  • Grafakos, Loukas (2004), Classical and Modern Fourier Analysis, Prentice-Hall, ISBN 0-13-035399-X .
  • Hörmander, L. (1976), Linear Partial Differential Operators, Volume 1, Springer-Verlag, ISBN 978-3540006626 .
  • James, J.F. (2002), A Student's Guide to Fourier Transforms (2nd ed.), New York: Cambridge University Press, ISBN 0-521-00428-4 .
  • Kaiser, Gerald (1994), A Friendly Guide to Wavelets, Birkhäuser, ISBN 0-8176-3711-7 
  • Kammler, David (2000), A First Course in Fourier Analysis, Prentice Hall, ISBN 0-13-578782-3 
  • Katznelson, Yitzhak (1976), An introduction to Harmonic Analysis, Dover, ISBN 0-486-63331-4 
  • Pinsky, Mark (2002), Introduction to Fourier Analysis and Wavelets, Brooks/Cole, ISBN 0-534-37660-6 
  • Polyanin, A. D.; Manzhirov, A. V. (1998), Handbook of Integral Equations, Boca Raton: CRC Press, ISBN 0-8493-2876-4 .
  • Rudin, Walter (1987), Real and Complex Analysis (Third ed.), Singapore: McGraw-Hill, ISBN 0-07-100276-6 .
  • Stein, Elias; Shakarchi, Rami (2003), Fourier Analysis: An introduction, Princeton University Press, ISBN 0-691-11384-X .
  • Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-08078-9 .
  • Wilson, R. G. (1995), Fourier Series and Optical Transform Techniques in Contemporary Optics, New York: Wiley, ISBN 0471303577 .
  • Yosida, K. (1968), Functional Analysis, Springer-Verlag, ISBN 3-540-58654-7 .

外部リンク 編集