フーリエ変換のソースを表示

{{出典の明記|date=2013年2月}}
[[File:Fourier transform time and frequency domains (small).gif|frame|right|関数''f''とその周波数領域表現<math>\hat{f}</math>のアニメーション。''f''はフーリエ級数（三角関数の線形結合）に分解される。]]

[[数学]]において'''フーリエ変換'''（フーリエへんかん、{{lang-en-short|Fourier transform; FT}}）は、[[実数|実]][[変数 (数学)|変数]]の[[複素数|複素]]または[[実数|実]]数値[[函数]]を別の同種の函数に写す[[変換 (数学)|変換]]である。変換後の函数はもとの函数に含まれる周波数を記述し、しばしばもとの函数の[[周波数領域]]表現 (''{{en|frequency domain representation}}'') と呼ばれる。これは、演奏中の音楽を聴いてそれをコードに書き出すというようなことと同様な思想である。実質的に、フーリエ変換は函数を[[振動]]函数に分解する。

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

== 定義 ==
[[ルベーグ積分|可積分]]函数 {{Math|''f'': '''R''' &rarr; '''C'''}} のフーリエ変換の定義として、よく用いられるものにもいくつか異なる流儀がある{{sfn|Kaiser|1994}}。本項では
{{Indent|<math>\hat{f}(\xi) := \int_{-\infty}^{\infty} f(x)e^{- 2\pi i x \xi}\,dx</math>}}
を定義として用いる。ここでギリシャ文字小文字の [[Ξ|{{Math|''&xi;''}}]] は任意の実数である。

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

適当な条件のもと、{{Math|''f''}} はその変換 {{Math|{{Hat|''f''}}}} から'''フーリエ逆変換''' {{lang|en|(''inverse transform'')}}
{{Indent|<math>f(x) := \int_{-\infty}^{\infty}\hat{f}(\xi)e^{2 \pi i x \xi}\,d\xi</math>}}
によって復元することができる（{{Math|''x''}} は任意の実数）。

他の定義や記法については後述する。

== 導入 ==
{{See also|フーリエ級数}}
フーリエ変換を考える動機は[[フーリエ級数]]の研究に始まる。フーリエ級数の研究において、複雑な周期函数は単純な波動の数学的な表現である[[正弦函数]]や[[余弦函数]]の和として表される。正弦や余弦の性質のおかげで、この和に現れる各波の量、フーリエ係数を積分によって計算することができる。多くの場合に、''e''<sup>2&pi;''i''&theta;</sup> = cos&thinsp;2&pi;&theta; + ''i'' sin&thinsp;2&pi;&theta; ([[オイラーの公式]])を用いて、正弦関数および余弦関数の代りに基本波動 ''e''<sup>2&pi;i&theta;</sup> を用いた方が便利である。この場合には多くの公式が簡単化され、本項で後述するフーリエ変換のほかの類似の定式化をあたえるという点に優位性がある。この正弦・余弦から[[指数関数#複素変数への拡張|複素指数函数]]への移行にはフーリエ係数が複素数値であることを要する。この複素数は、函数に含まれる波動の[[振幅]]（あるいは大きさ）と、[[位相]]（あるいは初期角）の両方を与えているものと通常は解釈される。また、この移行に際して「負の周波数」も導入される。例えば、波動 ''e''<sup>2&pi;''i''&theta;</sup> および ''e''<sup>&minus;2&pi;''i''&theta;</sup> はともに周期1を持つが、複素フーリエ級数においては別々の成分として取り扱われる。したがって、周波数を単純に周期の[[逆数]]と考えることはできなくなる。

フーリエ級数を以下のようにしてフーリエ変換の動機付けに用いることができる。函数 ''ƒ'' をある区間 [&minus;''L''/2, ''L''/2] の外側で 0 となるようなものとすると、任意の ''T'' &ge; ''L'' に対して ''ƒ'' を区間 [&minus;''T'' /2, ''T'' /2] 上のフーリエ級数に拡張できる。ここで ''f'' のフーリエ級数に現れる波動 ''e''<sup>2&pi;''inx''/''T''</sup> の係数となる ''c''<sub>''n''</sub> で表される「量」は
:<math>\hat{f}\Big(\dfrac{n}{T}\Big)=c_n:=\int_{-T/2}^{T/2} e^{-2\pi i nx/T}f(x)\,dx</math>

で与えられ、''ƒ'' は公式

:<math>f(x)=\frac{1}{T}\sum_{n=-\infty}^\infty \hat{f}\Big(\dfrac{n}{T}\Big) e^{2\pi i nx/T}</math>

で与えられなければならない。&xi;<sub>''n''</sub> = ''n''/''T'' とおき、&Delta;&xi; = (''n'' + 1)/''T'' &minus; ''n''/''T'' = 1/''T'' とおくと、最後の和を[[リーマン和]]

:<math>f(x)=\sum_{n=-\infty}^\infty \hat{f}\Big(\dfrac{n}{T}\Big) e^{2\pi i x\xi_n}\Delta\xi</math>

として考えることができる。''T'' &rarr; &infin; とすることにより、このリーマン和は定義節で与えられるフーリエ逆変換に収束する。適当な条件の下では、この議論をもっと明確化することができる{{sfn|Stein|Shakarchi|2003}}。したがって、この場合はフーリエ級数だが、フーリエ変換は函数に含まれる個々の特定の周波数がどの程度あるかを測るものと考えることができ、それらの波動を積分（あるいは「連続和」）によって再結合して元の函数を復元することができる。

以下の画像はフーリエ変換が特定の函数に含まれる周波数を測る方法を視覚的に現したものである。函数として、（''t'' が秒で測られる場合には）3 ヘルツで振動し、急速に 0 になる
:<math>f(t):=\cos(6\pi t)e^{-\pi t^2}</math>
を描く。この函数は特に描画しやすい実フーリエ変換をもつものとして選ばれたものであり、最初の画像はそのグラフである。{{Math|{{Hat|''f''}}(3)}} を計算するために、''e''<sup>&minus;2&pi;''i''(3''t'')</sup>''ƒ''(''t'') を積分する。二枚目の画像はこの被積分函数の実部および虚部である。被積分函数の実部は殆ど常に正となる。これは ''ƒ''(''t'') が負であるときには ''e''<sup>&minus;2&pi;''i''(3''t'')</sup> の実部が同様に負となることによる。それらは同じ比率で振動するから、''ƒ''(''t'') が正であるときも同様に ''e''<sup>&minus;2&pi;''i''(3''t'')</sup> の実部も正になる。この結果、被積分函数の実部のを積分すれば、比較的大きな数値（ここでの場合 0.5）を得ることになる。いっぽう、（{{Math|{{Hat|''f''}}(5)}} を見る場合のように）含まれない周波数を測れば、被積分函数は十分に振動し、それゆえにその積分はとても小さい値となる。一般の設定ではこれよりは少し複雑になるが、それでもフーリエ変換は函数 ''ƒ''(''t'') に含まれる個々の周波数がどれくらいあるかを測るものという考え方に変わりはない。
<gallery>
Image:Function ocsillating at 3 hertz.svg|3ヘルツの振動を示すもとの函数
Image:Onfreq.svg|3ヘルツにおけるフーリエ変換の被積分函数の実部および虚部
Image:Offfreq.svg|5ヘルツにおけるフーリエ変換の被積分函数の実部および虚部
Image:Fourier transform of oscillating function.svg|3ヘルツおよび5ヘルツでラベル付けされたフーリエ変換
</gallery>

== フーリエ変換の性質 ==

実数直線上で定義される函数 ''f'' が'''可積分'''であるとは、
:<math>\int_{-\infty}^\infty |f(x)| \, dx < \infty</math>
を満たす[[可測函数|ルベーグ可測函数]]であることをいう。

=== 基本性質 ===

可積分函数 {{math|''f''(''x''), ''g''(''x''), ''h''(''x'')}} が与えられたとき、これらのフーリエ変換をそれぞれ {{Math|{{Hat|''f''}}(''&xi;'')}}, {{Math|{{Hat|''g''}}(''&xi;'')}}, {{Math|{{Hat|''h''}}(''&xi;'')}}で表す。フーリエ変換は以下の基本性質を満たす{{sfn|Pinsky|2002}}。

; 線型性
: 任意の[[複素数]] {{mvar|a}}, {{mvar|b}} について {{math|''h''(''x'') {{=}} ''a&fnof;''(''x'') + ''bg''(''x'')}} であるならば
::<math>\hat{h}(\xi)=a\cdot \hat{f}(\xi) + b\cdot\hat{g}(\xi)</math>
:が成り立つ。
; 平行移動
: 任意の[[実数]] {{math|''x''{{sub|0}}}} に対して {{math|''h''(''x'') {{=}} ''&fnof;''(''x'' &minus; ''x''{{sub|0}})}} であるならば
::<math>\hat{h}(\xi)= e^{-2\pi i x_0\xi }\hat{f}(\xi)</math>
:が成り立つ。
; 変調
: 任意の[[実数]] {{math|''&xi;''{{sub|0}}}} に対して {{math|''h''(''x'') {{=}} ''e''{{sup|2&pi;''ix&xi;''{{sub|0}}}}''&fnof;''(''x'')}} ならば
:: <math>\hat{h}(\xi) = \hat{f}(\xi-\xi_{0})</math>
: が成り立つ。
; 定数倍
: 非零実数 {{mvar|a}} に対し、{{math|''h''(''x'') {{=}} ''&fnof;''(''ax'')}} ならば
::<math>\hat{h}(\xi)=\frac{1}{|a|}\hat{f}\Big(\frac{\xi}{a}\Big)</math>
: が成り立つ。{{math|''a'' {{=}} &minus;1}} つまり {{math|''h''(''x'') {{=}} ''&fnof;''(&minus;''x'')}} の場合には、'''時間反転性''' ({{En|''time-reversal'' property}})
:: <math>\hat{h}(\xi)=\hat{f}(-\xi)</math>
: が導かれる。
; 複素共軛
: {{math|''f''(''x'')}} の[[複素共役]] {{math|{{overline|''f''(''x'')}}}} について
:: <math>\hat{\overline{f}}(\xi) = \overline{\hat{f}(-\xi)}</math>
: が成り立つ。
; 畳み込み
: {{math|''h''(''x'') {{=}} (''f'' &lowast; ''g'')(''x'')}} ならば
:: <math> \hat{h}(\xi)=\hat{f}(\xi)\cdot \hat{g}(\xi)</math>
: が成り立つ。

=== 一様連続性とリーマン・ルベーグの補題 ===
可積分函数のフーリエ変換は、常に成り立つというわけではない性質も持っている。可積分函数 ''ƒ'' のフーリエ変換は一様連続で
:<math>\|\hat{f}\|_{\infty}\leq \|f\|_1</math>
を満たす{{sfn|Katznelson|1976}}。可積分函数のフーリエ変換は
:<math>\hat{f}(\xi)\to 0\text{ as }|\xi|\to \infty</math>
であることを述べた'''[[リーマン・ルベーグの補題]]'''をも満足する{{sfn|Stein|Weiss|1971}}。可積分函数 ''f'' のフーリエ変換 {{Math|{{Hat|''f''}}}} は有界連続だが可積分であるとは限らず、その'''逆変換'''をルベーグ積分として書くことは一般にはできない。しかしながら、''ƒ'' および {{Math|{{Hat|''f''}}}} がともに可積分ならば、反転公式
:<math>f(x) = \int_{-\infty}^\infty \hat f(\xi) e^{2 i \pi x \xi} \, d\xi</math>
が殆ど全ての ''x'' において成り立つ。つまり、''ƒ'' は右辺で定義される連続函数と殆ど至る所等しい。特に ''ƒ'' が実数直線上の連続函数として与えられたならば全ての ''x'' において等式が成り立つ。

前述の結果としてわかることは、フーリエ変換が ''L''<sup>1</sup>('''R''') 上単射であることである。

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

''f''(''x'') および ''g''(''x'') は可積分であるとし、そのフーリエ変換をそれぞれ {{Math|{{Hat|''f''}}(&xi;)}} および {{Math|{{Hat|''g''}}(&xi;)}} と表す。''f''(''x'') および ''g''(''x'') がともに自乗可積分であるならば[[パーセバルの定理]]

: <math>\int_{-\infty}^{\infty} f(x) \overline{g(x)} \, dx = \int_{-\infty}^\infty \hat{f}(\xi) \overline{{\hat{g}}(\xi)} \, d\xi</math>

が成立する{{sfn|Rudin|1987|loc=p. 187}}。ここで上付きバーは[[複素共軛]]を表す。

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

:<math>\int_{-\infty}^\infty | f(x) |^2\, dx = \int_{-\infty}^\infty | \hat{f}(\xi) |^2\, d\xi</math>

が成立する{{sfn|Rudin|1987|loc=p. 186}}。プランシュレルの定理により、''L''<sup>2</sup>('''R''') に属する函数の[[#一般化|後述]]する意味でのフーリエ変換を定義することが可能になる。プランシュレルの定理は、フーリエ変換はもとの量のエネルギーを保存するという自然科学における解釈を持つ。著者によってはこれらの定理のどちらともをプランシュレルの定理あるいはパーセバルの定理と呼んでいる場合があるので注意を要する。

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

=== 不確定性原理 ===
{{main|不確定性原理|{{仮リンク|Hirschmanの不確定性原理|en|Hirschman uncertainty}}}}
一般的に言って、''f''(''x'') が凝縮されればされるほどそのフーリエ変換 {{Math|{{Hat|''f''}}}} はより拡散される。特に、フーリエ変換のスケール性からわかることとして、函数を ''x'' において「圧搾」するならば、そのフーリエ変換は &xi; において「伸展」される。したがって、函数とそのフーリエ変換の両方ともを勝手に凝縮させることはできない。

函数とそのフーリエ変換のコンパクト化のあいだの得失評価は'''不確定性原理'''の形で定式化することができる。''&fnof;''(''x'') は可積分かつ[[自乗可積分]]であると仮定する。一般性を失うことなく函数 ''&fnof;''(''x'') は

:<math>\int_{-\infty}^\infty |f(x)|^2 \,dx=1</math>

に正規化されているものと仮定してよい。このとき、プランシュレルの定理により {{Math|{{Hat|''f''}}(&xi;)}} も同様に正規化される。

''x'' = 0 の周りでの拡散は

:<math>D_0(f):=\int_{-\infty}^\infty x^2|f(x)|^2\,dx</math>

で定義される「0 の周りでの分散」{{lang|en|(''dispersion about zero'')}} によって測ることができる{{sfn|Pinsky|2002}}。確率の言葉で言えば、これは |''f''(''x'')|<sup>2</sup> の 0 の周りでの二次の[[モーメント (数学)|モーメント]]である。

このとき不確定性原理は、函数 ''ƒ''(''x'') が絶対連続で、函数 ''x''·''ƒ''(''x'') および ''ƒ''&prime;(''x'') が自乗可積分であるならば
:<math>D_0(f)D_0(\hat{f}) \geq \frac{1}{16\pi^2}</math>
が成り立つことを述べる{{sfn|Pinsky|2002}}。等式が成立するのは
:<math>f(x)=C_1 \, e^{{- \pi x^2}/{\sigma^2}}</math>
したがって、
:<math>\hat{f}(\xi)= \sigma C_1 \, e^{-\pi\sigma^2\xi^2}</math>
である場合に限る。ただし、定数 &sigma; &gt; 0 は任意であり、係数 ''C''<sub>1</sub> は ''ƒ'' を ''L''<sup>2</sup>-正規化する定数である{{sfn|Pinsky|2002}}。言い換えれば、 ''ƒ'' は 0 を中心に持つ（正規化）[[ガウス函数]]のとき等号が成り立つ。

事実として、この不等式は任意の ''x''<sub>0</sub>, &xi;<sub>0</sub> &isin; '''R''' について

:<math>\Big[\int_{-\infty}^\infty (x-x_0)^2|f(x)|^2\,dx\Big]\Big[\int_{-\infty}^\infty(\xi-\xi_0)^2|\hat{f}(\xi)|^2\,d\xi\Big]\geq \frac{1}{16\pi^2}</math>

が成立することをも含む{{sfn|Stein|Shakarchi|2003}}。

[[量子力学]]において、[[運動量]]と[[位置]]の[[波動函数]]は（[[プランク定数]]を因子に持つ）フーリエ変換対である。プランク定数を厳密に勘定に入れることで、上述の不等式は[[ヴェルナー・ハイゼンベルク|ハイゼンベルク]]の不確定性原理を記述する{{sfn|Stein|Shakarchi|2003}}。

=== ポアソン和公式 ===
{{main|[[ポアソン和公式]]}}

ポアソン和公式はフーリエ変換とフーリエ級数の間の関連性を提供する。可積分函数 ''ƒ'' &isin; ''L''<sup>1</sup>('''R'''<sup>''n''</sup>) が与えられたとき、''ƒ'' の'''周期化'''が

:<math>\bar f(x)=\sum_{k\in\mathbb{Z}^n} f(x+k)</math>

によって与えられる。このとき、ポアソン和公式は <span style="text-decoration:overline;">''f''</span> のフーリエ級数を ''ƒ'' のフーリエ変換に結びつけるもので、特に <span style="text-decoration:overline;">''f''</span> のフーリエ級数は

:<math>\bar f(x) \sim \sum_{k\in\mathbb{Z}^n} \hat{f}(k)e^{2\pi i k\cdot x}</math>

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

=== 畳み込み定理 ===
{{main|畳み込み定理}}

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

これを式で表せば、&lowast; を畳み込みとして

:<math>h(x) := (f*g)(x) := \int_{-\infty}^\infty f(y)g(x - y)\,dy</math>

と表されるとき、

:<math>\hat{h}(\xi) = \hat{f}(\xi)\cdot \hat{g}(\xi)</math>

が成立することを意味する。[[LTIシステム理論|線型時不変 (LTI) 系理論]]において、''f''(''x'') を[[ディラックのデルタ函数|単位インパルス]]で置き換えたものが ''h''(''x'') = ''g''(''x'') を与えることから、通例 ''g''(''x'') は、入力 ''ƒ''(''x'') と出力 ''h''(''x'') に関する LTI 系の[[インパルス応答]]として解釈される。この場合、{{Math|{{Hat|''g''}}(&xi;)}} はこの系の[[周波数応答]]を表す。

逆に、''ƒ''(''x'') がふたつの自乗可積分函数 ''p''(''x'') および ''q''(''x'') の積に分解されるならば、 ''ƒ''(''x'') のフーリエ変換は、各因子のフーリエ変換 {{Math|{{Hat|''p''}}(&xi;)}} および {{Math|{{Hat|''q''}}(&xi;)}} の畳み込みで与えられる。

=== 相互相関定理 ===
{{main|相互相関}}

同様の方法で、''h''(''x'') が ''ƒ(''x'') と ''g''(''x'') との相互相関
:<math>h(x):=(f\star g)(x) := \int_{-\infty}^\infty \overline{f(y)}\,g(x+y)\,dy</math>
であるならば ''h''(''x'') のフーリエ変換が
:<math>\hat{h}(\xi) = \overline{\hat{f}(\xi)}\,\hat{g}(\xi)</math>

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

=== 固有函数 ===
''L''<sup>2</sup>('''R''') の正規直交基底の重要な一つはエルミート函数系

:<math>{\psi}_n(x) := \frac{\sqrt[4]{2}}{\sqrt{n!}} \, e^{-\pi x^2}H_n(2x\sqrt{\pi})</math>

で与えられる。ここで ''H''<sub>''n''</sub>(''x'') は「確率論者の」[[エルミート多項式]]と呼ばれる、<math>H_n(x):=(-1)^ne^{x^2/2}D^ne^{-x^2/2}</math> で定義される函数である。この規約の下、フーリエ変換は

: <math> \hat\psi_n(\xi) = (-i)^n {\psi}_n(\xi)</math>

で与えられる。言い換えれば、エルミート函数系は ''L''<sup>2</sup>('''R''') 上のフーリエ変換の[[固有函数]]からなる[[正規直交系|完全正規直交系]]を成す{{sfn|Pinsky|2002}}。しかしながら、この固有函数系の選び方は一意ではなく、フーリエ変換の相異なる[[固有値]]は {&plusmn;1, &plusmn;''i''} の 4 つしかなく、同じ固有値に属する固有函数の任意の線型結合はふたたび固有函数になる。この結果として ''L''<sup>2</sup>('''R''') を 4 つの空間 ''H''<sub>0</sub>, ''H''<sub>1</sub>, ''H''<sub>2</sub>, ''H''<sub>3</sub> で、フーリエ変換が ''H''<sub>''k''</sub> 上で単に ''i''<sup>''k''</sup>-倍として作用するものの直和に分解することができる。この方法によるフーリエ変換の定義は[[ノーバート・ウィーナー|ウィーナー]]による{{sfn|Duoandikoetxea|2001}}。エルミート函数を選ぶのが便利なのは、それらが周波数域と時間域の両方で指数函数的に局在することと、それゆえに時間周波数解析において用いられる[[非整数次フーリエ変換]]が得られることにある {{要出典|date=2008年10月}}。

=== 球面調和函数 ===
{{main|{{仮リンク|球面調和函数系|en|Solid harmonics}}}}
<math>{\mathcal A}_k</math> で次数 ''k'' の[[斉次多項式|斉次]][[調和函数|調和]][[多項式]]全体の成す集合を表す。集合 <math>{\mathcal A}_k</math> は{{仮リンク|体球面調和函数系|en|solid spherical harmonics}}として知られる。高次元において体球面調和函数系はエルミート多項式と同様の役割を演じる。具体的には、<math>{\mathcal A}_k</math> の適当な ''P''(''x'') に対し、''f''(''x'') = ''e''<sup>&minus;&pi;|''x''|<sup>2</sup></sup>''P''(''x'') のフーリエ変換は
:<math>\hat{f}(\xi)=i^{-k}f(\xi)</math>
で与えられる。集合 <math>{\mathcal H}_k</math> を ''f''(|''x''|)''P''(''x'') (''P''(''x'') &isin; <math>{\mathcal A}_k</math>) の形の函数から作られる線型結合全体の成す集合の ''L''<sup>2</sup>('''R'''<sup>''n''</sup>) における閉包とする。このとき、空間 ''L''<sup>2</sup>('''R'''<sup>''n''</sup>) は空間 <math>{\mathcal H}_k</math> の直和に分解され、フーリエ変換は各空間 <math>{\mathcal H}_k</math> をそれ自身に移す。また、各空間 <math>{\mathcal H}_k</math> へのフーリエ変換の作用を特徴付けることができる{{sfn|Stein|Weiss|1971}}。''&fnof;''(''x'') = ''&fnof;''<sub>0</sub>(|''x''|)''P''(''x'') (''P''(''x'') &isin; <math>{\mathcal A}_k</math>) と表される函数のフーリエ変換は
:<math>\hat{f}(\xi)=F_0(|\xi|)P(\xi)</math>
となる。ただし、

:<math>F_0(r)=2\pi i^{-k}r^{-(n+2k-2)/2}\int_0^\infty f_0(s)J_{(n+2k-2)/2}(2\pi rs)s^{(n+2k)/2}\,ds</math>

であり、''J''<sub>(''n'' + 2''k'' &minus; 2)/2</sub> は次数 (''n''&nbsp;+&nbsp;2''k''&nbsp;&minus;&nbsp;2)/2 の第一種[[ベッセル函数]]である。''k'' = 0 のとき、これは動径函数のフーリエ変換に対する有用な公式を与える{{sfn|Grafakos|2004}}。

== 一般化 ==
=== 他の函数空間上のフーリエ変換 ===
フーリエ変換の定義を他の函数空間に対するものへ拡張することができる。[[コンパクト]]台を持つ滑らかな函数は可積分で、その全体は ''L''<sup>2</sup>('''R''') において[[稠密集合|稠密]]であるから、[[プランシュレルの定理]]を用いて、''L''<sup>2</sup>('''R''') の一般の函数にまで（コンパクト台をもつ滑らかな函数によって近似して）フーリエ変換の定義を拡張することができる。さらに
:<math> \mathcal{F}\colon L^2(\mathbb{R}) \to L^2(\mathbb{R})</math>
は[[ユニタリ作用素]]である{{sfn|Stein|Weiss|1971|loc=Thm. 2.3}}。フーリエ変換の多くの性質はこの場合にもそのまま成立する。[[ハウスドルフ・ヤング不等式]]を用いて 1 &le; ''p'' &le; 2 に対する ''L''<sup>''p''</sup>('''R''') の函数を含むようにフーリエ変換の定義を拡張することができる。

だが、さらなる拡張はもっと技巧的である。2 &lt; ''p'' &lt; &infin; の範囲での''L''<sup>''p''</sup> に属する函数のフーリエ変換には超函数の研究が必要である{{sfn|Katznelson|1976}}。事実として、''p'' &gt; 2 に関する ''L''<sup>''p''</sup> に属する函数のフーリエ変換は函数としては定義できないことを示すことができる {{sfn|Stein|Weiss|1971}}。

=== 多次元版 ===

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

:<math>\hat{f}(\xi) = \mathcal{F}(f)(\xi) = \int_{\R^n} f(x) e^{-2\pi i x\cdot\xi} \, dx</math>

をフーリエ変換の定義とする。ここで、''x'' および ''ξ'' は ''n''-次元[[数ベクトル|ベクトル]]であり、''x'' &middot; ''ξ'' はベクトルの[[点乗積]]である。点乗積はしばしば &lt;''x'', &xi;&gt; とも書き表される。

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

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

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

:<math>f_R(x) = \int_{S_R}\hat{f}(\xi) e^{2\pi ix\cdot\xi}\, d\xi, \quad x \in \mathbb{R}^n</math>

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

=== フーリエ・スティルチェス変換 ===
'''R'''<sup>''n''</sup> 上の有限ボレル測度 &mu; のフーリエ変換は

:<math>\hat\mu(\xi)=\int_{\mathbb{R}^n} e^{-2\pi ix\cdot \xi}\,d\mu</math>

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

このフーリエ変換を用いて連続測度の特徴づけを与えることができる。{{仮リンク|ボホナーの定理|en|Bochner's theorem}}はそのような函数を測度のフーリエ・スティルチェス変換として得られるものとして特徴付ける{{sfn|Katznelson|1976}}。

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

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

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

:<math>\int_{\mathbb{R}^n}\hat{f}(x)g(x)\,dx=\int_{\mathbb{R}^n}f(x)\hat{g}(x)\,dx</math>

に従うこと{{sfn|Stein|Weiss|1971}}。ふたつめは、任意の可積分函数 ''ƒ'' は、任意のシュワルツ函数 &phi; に対して
:<math>T_f(\varphi)=\int_{\mathbb{R}^n}f(x)\varphi(x)\,dx</math>

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

:<math>\hat{T}(\varphi)=T(\hat{\varphi})</math>

なる関係式によって定義する。これは {{Math|{{Hat|''T''}}}}<sub>''f''</sub> = ''T''<sub>''f''^</sub> から従う。

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

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

フーリエ変換を任意の[[局所コンパクトアーベル群]]に対して一般化することができる。局所コンパクトアーベル群とは、抽象[[アーベル群]]であると同時に[[局所コンパクト]]な[[ハウスドルフ空間]]であって、なおかつその位相に関して群演算が連続となるものである。''G'' が局所コンパクトアーベル群ならば、''G'' は[[ハール測度]]と呼ばれる平行移動不変な測度 &mu; を持つ。また、局所コンパクトアーベル群 ''G'' に対して、その位相を[[指標群|指標全体の成す集合]] {{Math|{{Hat|''G''}}}} へ移行することができて、{{Math|{{Hat|''G''}}}} 自身も局所コンパクトアーベル群の構造を持つ。''L''<sup>1</sup>(''G'') に属する函数 ''f'' に対して、そのフーリエ変換を
:<math>\hat{f}(\xi)=\int_G \xi(x)f(x)\,d\mu\qquad\text{for any }\xi\in\hat G</math>
によって定義することができる{{sfn|Katznelson|1976}}。

この一般化を[[概周期函数]]に適用した[[概周期函数#局所コンパクトアーベル群上の概周期函数|理論]]や、[[準周期函数]]に適用した[[概周期函数#音響および音楽合成における準周期信号|理論]]が知られている。

== 応用 ==
{{Main|フーリエ変換の応用}}
=== 微分方程式の解析学 ===
フーリエ変換および近い関係にある[[ラプラス変換]]は[[微分方程式]]の解法において広く用いられる。{{Math|''f''(''x'')}} を可微分函数で、そのフーリエ変換を {{Math|{{Hat|''f''}}(&xi;)}} とすると、導函数のフーリエ変換が {{Math|2&pi;''i''&xi;{{Hat|''f''}}(&xi;)}} で与えられるという意味でフーリエ変換と[[微分作用素]]は両立する。このことを用いて微分方程式を代数方程式に変換することができる。ただし、この手法は定義域が実数全体である場合にしか適用できないことに注意が必要である。これを拡張して、定義域が {{Math|'''R'''<sup>''n''</sup>}} であるような多変数函数に関する[[偏微分方程式]]を代数方程式に書き換えることもできる。

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

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

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

== その他の記法 ==

フーリエ変換の記法として {{Math|{{Hat|''f''}}(&xi;)}} 以外によく用いられるものに
: <math>F(\xi),\quad \mathcal{F}(f)(\xi),\quad (\mathcal{F}f)(\xi),\quad \mathcal{F}(f(t))</math>
などがある。あるいはもっと他の記号を使うことも在りうる。たとえば、（''f''(''x'') と ''F''(&xi;) のように）もとの函数を表している文字の対応する大文字を用いてそのフーリエ変換を表すことは自然科学や工学においてとくによく用いられる記法である。

複素函数 {{Math|{{Hat|''f''}}(&xi;)}} は、[[極座標]]に関してこれを表示することにより、[[振幅]]
: <math>A(\xi) = |\hat{f}(\xi)|,</math>
および[[位相]]
: <math>\varphi (\xi) = \arg(\hat{f}(\xi))</math>
と呼ばれるふたつの実函数 ''A''(&xi;) および &phi;(&xi;) を用いて
: <math>\hat{f}(\xi)=A(\xi)e^{i\varphi(\xi)}</math>
なる形に解釈することができる。

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

:<math>f(x) = \int_{-\infty}^{\infty} A(\xi)\, e^{ i(2\pi \xi x +\varphi (\xi))}\,d\nu</math>

と書くことができる。各成分は[[振幅]]が ''A''(&xi;) で（''x'' = 0 における）初期[[位相角]]が &phi;(&xi;) であるような ''e''<sup>2&pi;''ix''&xi;</sup> のかたちの複素[[正弦曲線]]である。

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

数学や多くの応用科学において、函数 ''f'' それ自身と函数 ''f'' の変数 ''x'' における値 ''f''(''x'') とを峻別しなければならないことがしばしばある。このことが意味するのは、たとえば<math>\mathcal{F}(f(x))</math> のような記法は、形式的には ''f'' の ''x'' における「値」のフーリエ変換と解釈できてしまうということである。このような不具合にもかかわらず、特定の函数あるいは特定の変数の函数を頻繁に変換しなければならないような場合には、このような記法はよく用いられる。たとえば
: <math>\mathcal{F}( \mathrm{rect}(x) ) = \mathrm{sinc}(\xi)</math>
は矩形函数のフーリエ変換が sinc-函数であることを表すために用いられることがあり、またたとえば
: <math>\mathcal{F}(f(x+x_{0})) = \mathcal{F}(f(x)) e^{2\pi i \xi x_{0}}</math>
はフーリエ変換のシフト性を表すのに用いられることがある。最後の例は、変換される函数 ''f'' を''x''<sub>0</sub> のではなく ''x'' の函数であるという前提のもとでのみ正しいということに注意を要する。

== その他の定義 ==
フーリエ変換の定義として慣習的によく用いられるものが3個ある。しばしば、フーリエ変換を毎秒ラジアンを単位とする[[角周波数]] &omega; = 2&pi;&xi; を用いて表す。&xi; = &omega;/(2&pi;) と置き換えれば、上述の定義式はこの規約の下
:<math>\hat{f}(\omega) = \int_{\mathbb{R}^n} f(x) e^{- i\omega\cdot x}\,dx </math>
と書くことができ、また同じくこの規約の下で逆変換は
:<math>f(x) = \frac{1}{(2\pi)^n} \int_{\mathbb{R}^n} \hat{f}(\omega)e^{ i\omega \cdot x}\,d\omega</math>
となる。本項における定義とは異なり、この規約によって定義されるフーリエ変換はもはや ''L''<sup>2</sup>('''R'''<sup>''n''</sup>) 上の変換として[[ユニタリ]]ではなく、フーリエ変換と逆変換との間の対称性も失われている。

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

:<math> \hat{f}(\omega) = \frac{1}{(2\pi)^{n/2}} \int_{\mathbb{R}^n} f(x) e^{- i\omega\cdot x}\,dx,</math>
:<math>f(x) = \frac{1}{(2\pi)^{n/2}} \int_{\mathbb{R}^n} \hat{f}(\omega) e^{ i\omega \cdot x}\,d\omega</math>

という定義が導かれる。この規約のもとでは、フーリエ変換はふたたび ''L''<sup>2</sup>('''R'''<sup>''n''</sup>) 上の[[ユニタリ作用素|ユニタリ変換]]となり、また フーリエ変換と逆変換の間の対称性も回復することができる。

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

{|class="wikitable"
|+ よく用いられる定義のまとめ
|-
! 周波数 &xi;（ヘルツ）
! ユニタリ
|  <math> \hat{f}_1(\xi)\ \stackrel{\mathrm{def}}{=}\ \int_{\mathbb{R}^n} f(x) e^{-2 \pi i x\cdot\xi}\, dx = \hat{f}_2(2 \pi \xi)=(2 \pi)^{n/2}\hat{f}_3(2 \pi \xi) </math><br />
<math> f(x) = \int_{\mathbb{R}^n} \hat{f}_1(\xi) e^{2 \pi i  x\cdot \xi}\, d\xi \ </math>
|-
! rowspan="2" | 角周波数 &omega;（ラジアン毎秒）
! 非ユニタリ
| <math> \hat{f}_2(\omega) \ \stackrel{\mathrm{def}}{=}\int_{\mathbb{R}^n} f(x) e^{-i\omega\cdot x} \, dx \ = \hat{f}_1 \left ( \frac{\omega}{2 \pi} \right ) = (2 \pi)^{n/2}\ \hat{f}_3(\omega) </math><br />
<math> f(x) = \frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \hat{f}_2(\omega) e^{i \omega\cdot x} \, d \omega \ </math>
|-
! ユニタリ
| <math> \hat{f}_3(\omega) \ \stackrel{\mathrm{def}}{=}\  \frac{1}{(2 \pi)^{n/2}} \int_{\mathbb{R}^n} f(x) \ e^{-i \omega\cdot x}\, dx = \frac{1}{(2 \pi)^{n/2}} \hat{f}_1\left(\frac{\omega}{2 \pi} \right) = \frac{1}{(2 \pi)^{n/2}} \hat{f}_2(\omega) </math><br />
<math> f(x) = \frac{1}{(2 \pi)^{n/2}} \int_{\mathbb{R}^n} \hat{f}_3(\omega)e^{i \omega\cdot x}\, d \omega \ </math>
|}

== 主なフーリエ変換の一覧 ==
以下にフーリエ変換の閉じた表示に関する表を掲げる（フーリエ変換はよく用いられる三種類を挙げてある）。函数 ''ƒ''(''x'') , ''g''(''x''), ''h''(''x'') に対して、それらのフーリエ変換をそれぞれ {{Math|{{Hat|''f''}}}}, {{Math|{{Hat|''g''}}}}, {{Math|{{Hat|''h''}}}} で表す。

=== 函数の関係式 ===
以下の表におけるフーリエ変換は {{harv|Erdélyi|1954}} あるいは {{harv|Kammler|2000}} の付録に見つけることができる。
{| class="wikitable"
! !! もとの函数 !! ユニタリ・周波に関するフーリエ変換 !! ユニタリ・角周波に関するフーリエ変換 !! 非ユニタリ・角周波に関するフーリエ変換 !! 備考
|-
|
|align="center"|<math> f(x)\,</math>
|align="center"|<math> \hat{f}(\xi)=</math>
<math>\int\limits_{-\infty}^{\infty}f(x) e^{-2\pi i x\xi}dx </math>
|align="center"|<math> \hat{f}(\omega)=</math><math>\frac{1}{\sqrt{2 \pi}} \int\limits_{-\infty}^{\infty} f(x) e^{-i \omega x}dx </math>
|align="center"|<math> \hat{f}(\nu)=</math>
<math>\int\limits_{-\infty}^{\infty}f(x) e^{-i \nu x}dx </math>
|
|-
| 101
|<math>af(x) + bg(x)\,</math>
|<math>a\hat{f}(\xi) + b\hat{g}(\xi)\,</math>
|<math>a\hat{f}(\omega) + b\hat{g}(\omega)\,</math>
|<math>a\hat{f}(\nu) + b\hat{g}(\nu)\,</math>
| [[線型性]]
|-
| 102
|<math>f(x - a)\,</math>
|<math>e^{-2\pi i a \xi} \hat{f}(\xi)\,</math>
|<math>e^{- i a \omega} \hat{f}(\omega)\,</math>
|<math>e^{- i a \nu} \hat{f}(\nu)\,</math>
| 時間領域シフト
|-
| 103
|<math>e^{ 2\pi iax} f(x)\,</math>
|<math>\hat{f} \left(\xi - a\right)\,</math>
|<math>\hat{f}(\omega - 2\pi a)\,</math>
|<math>\hat{f}(\nu - 2\pi a)\,</math>
| 周波数領域シフト<br />102の[[双対]]
|-
| 104
|<math>f(a x)\,</math>
|<math>\frac{1}{|a|} \hat{f}\left( \frac{\xi}{a} \right)\,</math>
|<math>\frac{1}{|a|} \hat{f}\left( \frac{\omega}{a} \right)\,</math>
|<math>\frac{1}{|a|} \hat{f}\left( \frac{\nu}{a} \right)\,</math>
| &#x007c;''a''&#x007c; が大きければ ''f''(''ax'') は 0 の周りに集中し <math>\frac{1}{|a|}\hat{f} \left( \frac{\omega}{a} \right)\,</math> は平らに広がる
|-
| 105
|<math>\hat{f}(x)\,</math>
|<math>f(-\xi)\,</math>
|<math>f(-\omega)\,</math>
|<math>2\pi f(-\nu)\,</math>
| ここで、<math>\hat{f}</math> は、それぞれの列で考えているフーリエ変換を施した結果の、変数を ''x'' に取替えたものである。
|-
| 106
|<math>\frac{d^n f(x)}{dx^n}\,</math>
|<math> (2\pi i\xi)^n  \hat{f}(\xi)\,</math>
|<math> (i\omega)^n  \hat{f}(\omega)\,</math>
|<math> (i\nu)^n  \hat{f}(\nu)\,</math>
|
|-
| 107
|<math>x^n f(x)\,</math>
|<math>\left (\frac{i}{2\pi}\right)^n \frac{d^n \hat{f}(\xi)}{d\xi^n}\,</math>
|<math>i^n \frac{d^n \hat{f}(\omega)}{d\omega^n}</math>
|<math>i^n \frac{d^n \hat{f}(\nu)}{d\nu^n}</math>
| 106の[[双対]]
|-
| 108
|<math>(f * g)(x)\,</math>
|<math>\hat{f}(\xi) \hat{g}(\xi)\,</math>
|<math>\sqrt{2\pi} \hat{f}(\omega) \hat{g}(\omega)\,</math>
|<math>\hat{f}(\nu) \hat{g}(\nu)\,</math>
| ''f'' &lowast; ''g'' は ''f'' と ''g'' との畳み込みである。この公式は畳み込み定理と呼ばれる。
|-
| 109
|<math>f(x) g(x)\,</math>
|<math>(\hat{f} * \hat{g})(\xi)\,</math>
|<math>(\hat{f} * \hat{g})(\omega) \over \sqrt{2\pi}\,</math>
|<math>\frac{1}{2\pi}(\hat{f} * \hat{g})(\nu)\,</math>
|108の[[双対]]
|-
|110
|純実[[偶関数]]<math>f(x)</math>
|colspan="3" align="center"|<math>\hat{f}(\omega),\,\hat{f}(\xi),\,\hat{f}(\nu)\,</math> はいずれも純実[[偶関数]]
|[[正弦・余弦変換]]も参照
|-
| 111
|純実[[奇関数]]<math>f(x)</math>
|colspan="3" align="center"|<math>\hat{f}(\omega),\, \hat{f}(\xi),\, \hat{f}(\nu)</math> はいずれも純虚[[奇関数]]
|
|}

=== 自乗可積分函数 ===
以下の表におけるフーリエ変換は {{harv|Campbell|Foster|1948}}, {{harv|Erdélyi|1954}} あるいは {{harv|Kammler|2000}} の付録に見つけることができる。
{| class="wikitable"
! !! もとの函数 !! ユニタリ・周波に関するフーリエ変換 !! ユニタリ・角周波に関するフーリエ変換 !! 非ユニタリ・角周波に関するフーリエ変換 !! 備考
|-
|
|align="center"|<math> f(x)</math>
|align="center"|<math> \hat{f}(\xi)=</math>
<math>\int_{-\infty}^{\infty}f(x) e^{-2\pi ix\xi}\,dx</math>
|align="center"|<math> \hat{f}(\omega)=</math>
<math>\frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{\infty} f(x) e^{-i \omega x}\, dx</math>
|align="center"|<math> \hat{f}(\nu)=</math>
<math>\int_{-\infty}^{\infty} f(x) e^{-i\nu x}\, dx</math>
|
|-
| 201
|<math>\operatorname{rect}(a x) \,</math>
|<math>\frac{1}{|a|}\cdot \operatorname{sinc}\left(\frac{\xi}{a}\right)</math>
|<math>\frac{1}{\sqrt{2 \pi a^2}}\cdot \operatorname{sinc}\left(\frac{\omega}{2\pi a}\right)</math>
|<math>\frac{1}{|a|}\cdot \operatorname{sinc}\left(\frac{\nu}{2\pi a}\right)</math>
|[[矩形波]]と標準化された[[sinc関数]]で[[sinc関数]]はsinc(''x'') = sin(''πx'')/(''πx'')で表される
|-
| 202
|<math> \operatorname{sinc}(a x)\,</math>
|<math>\frac{1}{|a|}\cdot \operatorname{rect}\left(\frac{\xi}{a} \right)\,</math>
|<math>\frac{1}{\sqrt{2\pi a^2}}\cdot \operatorname{rect}\left(\frac{\omega}{2 \pi a}\right)</math>
|<math>\frac{1}{|a|}\cdot \operatorname{rect}\left(\frac{\nu}{2 \pi a}\right)</math>
|201の[[双対]]で矩形波は理想的な[[ローパスフィルター]]である。[[sinc関数]]はそのようなフィルターの非因果波応答である。
|-
| 203
|<math> \operatorname{sinc}^2 (a x)</math>
|<math> \frac{1}{|a|}\cdot \operatorname{tri} \left( \frac{\xi}{a} \right) </math>
|<math> \frac{1}{\sqrt{2\pi a^2}}\cdot \operatorname{tri} \left( \frac{\omega}{2\pi a} \right) </math>
|<math> \frac{1}{|a|}\cdot \operatorname{tri} \left( \frac{\nu}{2\pi a} \right) </math>
| tri(''x'')は[[三角波 (波形)|三角波]]である。
|-
| 204
|<math> \operatorname{tri} (a x)</math>
|<math>\frac{1}{|a|}\cdot \operatorname{sinc}^2 \left( \frac{\xi}{a} \right) \,</math>
|<math>\frac{1}{\sqrt{2\pi a^2}} \cdot \operatorname{sinc}^2 \left( \frac{\omega}{2\pi a} \right) </math>
|<math>\frac{1}{|a|} \cdot \operatorname{sinc}^2 \left( \frac{\nu}{2\pi a} \right) </math>
| 203の双対
|-
| 205
|<math> e^{- a x} u(x) \,</math>
|<math>\frac{1}{a + 2 \pi i \xi}</math>
|<math>\frac{1}{\sqrt{2 \pi} (a + i \omega)}</math>
|<math>\frac{1}{a + i \nu}</math>
| ''u''(''x'')はヘビサイドの単位ステップ関数であり、''a''&gt;0
|-
| 206
|<math>e^{-\alpha x^2}\,</math>
|<math>\sqrt{\frac{\pi}{\alpha}}\cdot e^{-\frac{(\pi \xi)^2}{\alpha}}</math>
|<math>\frac{1}{\sqrt{2 \alpha}}\cdot e^{-\frac{\omega^2}{4 \alpha}}</math>
|<math>\sqrt{\frac{\pi}{\alpha}}\cdot e^{-\frac{\nu^2}{4 \alpha}}</math>
| これが示すものは、ガウス関数exp(&minus;''αx''<sup>2</sup>)で''α''を選んだ場合はユニタリフーリエ変換である。. Re(''α'')&gt;0で積分可能である
|-
| 207
|<math>\operatorname{e}^{-a|x|} \,</math>
|<math> \frac{2 a}{a^2 + 4 \pi^2 \xi^2} </math>
|<math> \sqrt{\frac{2}{\pi}} \cdot \frac{a}{a^2 + \omega^2} </math>
|<math> \frac{2a}{a^2 + \nu^2} </math>
|''a>0''である
|-
| 208
|<math> \frac{J_n (x)}{x} \,</math>
|<math> \frac{2 i}{n} (-i)^n \cdot U_{n-1} (2 \pi \xi)\,</math><br>
&nbsp; <math>\cdot \ \sqrt{1 - 4 \pi^2 \xi^2}  \operatorname{rect}( \pi \xi ) </math>
|<math> \sqrt{\frac{2}{\pi}} \frac{i}{n} (-i)^n \cdot U_{n-1} (\omega)\,</math><br>
&nbsp; <math>\cdot \ \sqrt{1 - \omega^2} \operatorname{rect} \left( \frac{\omega}{2} \right) </math>
|<math> \frac{2 i}{n} (-i)^n \cdot U_{n-1} (\nu)\,</math><br>
&nbsp; <math>\cdot \ \sqrt{1 - \nu^2} \operatorname{rect} \left( \frac{\nu}{2} \right) </math>
|関数''J<sub>n</sub>'' (''x'')は、''n''次の第1種ベッセル関数である。関数''U<sub>n</sub>'' (''x'')は第2種チェビシェフ多項式である。下記315と316を参照
|-
| 209
|<math>\operatorname{sech}(a x) \,</math>
|<math>\frac{\pi}{a} \operatorname{sech} \left( \frac{\pi^2}{ a} \xi \right)</math>
|<math>\frac{1}{a}\sqrt{\frac{\pi}{2}}\operatorname{sech}\left( \frac{\pi}{2 a} \omega \right)</math>
|<math>\frac{\pi}{a}\operatorname{sech}\left( \frac{\pi}{2 a} \nu \right)</math>
|双曲線正割は自分自身をフーリエ変換したものである
|}

=== 超函数 ===
以下の表におけるフーリエ変換は {{harv|Erdélyi|1954}} あるいは {{harv|Kammler|2000}} の付録に見つけることができる。
{| class="wikitable"
! !! もとの函数 !! ユニタリ・周波に関するフーリエ変換 !! ユニタリ・角周波に関するフーリエ変換 !! 非ユニタリ・角周波に関するフーリエ変換 !! 備考
|-
|
|align="center"|<math> f(x)\,</math>
|align="center"|<math> \hat{f}(\xi)=</math>
<math>\int_{-\infty}^{\infty}f(x) e^{-2\pi ix\xi}\,dx</math>
|align="center"|<math> \hat{f}(\omega)=</math>
<math>\frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{\infty} f(x) e^{-i \omega x}\, dx</math>
|align="center"|<math> \hat{f}(\nu)=</math>
<math>\int_{-\infty}^{\infty} f(x) e^{-i\nu x}\, dx</math>
|
|-
| 301
|<math>1</math>
|<math>\delta(\xi)\,</math>
|<math>\sqrt{2\pi}\cdot \delta(\omega)</math>
|<math>2\pi\delta(\nu)\,</math>
|&delta;(&xi;) は[[ディラックのデルタ関数]]
|-
| 302
|<math>\delta(x)\,</math>
|<math>1</math>
|<math>\frac{1}{\sqrt{2\pi}}\,</math>
|<math>1</math>
|301の双対
|-
| 303
|<math>e^{i a x}\,</math>
|<math>\delta\left(\xi - \frac{a}{2\pi}\right)</math>
|<math>\sqrt{2 \pi}\cdot \delta(\omega - a)</math>
|<math>2 \pi\delta(\nu - a)\,</math>
|103と301より導かれる。
|-
| 304
|<math>\cos (a x)\,</math>
|<math>\frac{\displaystyle \delta\left(\xi - \frac{a}{2\pi}\right)+\delta\left(\xi+\frac{a}{2\pi}\right)}{2}</math>
|<math>\sqrt{2 \pi}\cdot\frac{\delta(\omega-a)+\delta(\omega+a)}{2}\,</math>
|<math>\pi\left(\delta(\nu-a)+\delta(\nu+a)\right)</math>
|101、303と[[オイラーの公式]]：<math>\displaystyle\cos(a x) = (e^{i a x} + e^{-i a x})/2.</math>より導かれる。
|-
| 305
|<math>\sin( ax)\,</math>
|<math>i\cdot\frac{\displaystyle\delta\left(\xi+\frac{a}{2\pi}\right)-\delta\left(\xi-\frac{a}{2\pi}\right)}{2}</math>
|<math>i\sqrt{2 \pi}\cdot\frac{\delta(\omega+a)-\delta(\omega-a)}{2}</math>
|<math>i\pi\left(\delta(\nu+a)-\delta(\nu-a)\right)</math>
|101、303と <math>\displaystyle\sin(a x) = (e^{i a x} - e^{-i a x})/(2i).</math> より導かれる。
|-
| 306
|<math>\cos ( a x^2 ) \,</math>
|<math> \sqrt{\frac{\pi}{a}} \cos \left( \frac{\pi^2 \xi^2}{a} - \frac{\pi}{4} \right)  </math>
|<math> \frac{1}{\sqrt{2 a}} \cos \left( \frac{\omega^2}{4 a} - \frac{\pi}{4} \right) </math>
|<math> \sqrt{\frac{\pi}{a}} \cos \left( \frac{\nu^2}{4 a} - \frac{\pi}{4} \right) </math>
| 
|-
| 307
|<math>\sin ( a x^2 ) \,</math>
|<math> - \sqrt{\frac{\pi}{a}}  \sin \left( \frac{\pi^2 \xi^2}{a} - \frac{\pi}{4} \right)  </math>
|<math> \frac{-1}{\sqrt{2 a}} \sin \left( \frac{\omega^2}{4 a} - \frac{\pi}{4} \right) </math>
|<math>-\sqrt{\frac{\pi}{a}}\sin \left( \frac{\nu^2}{4 a} - \frac{\pi}{4} \right)</math>
| 
|-
| 308
|<math>x^n\,</math>
|<math>\left(\frac{i}{2\pi}\right)^n \delta^{(n)} (\xi)\,</math>
|<math>i^n \sqrt{2\pi} \delta^{(n)} (\omega)\,</math>
|<math>2\pi i^n\delta^{(n)} (\nu)\,</math>
|''n'' は[[自然数]]、 &delta;<sup>(''n'' )</sup>(&xi;) はディラックのデルタ関数の''n'' 階微分。107と301より導かれる。さらに101と組み合わせることで、任意の[[多項式]]を変換できる。
|-
| 309
|<math>\frac{1}{x}\,</math>
|<math>-i\pi\sgn(\xi)\,</math>
|<math>-i\sqrt{\frac{\pi}{2}}\sgn(\omega)</math>
|<math>-i\pi\sgn(\nu)\,</math>
|sgn(&xi;) は[[符号関数]]。1/''x'' は超関数ではないことに注意。シュワルツ関数に対してテストするときに[[コーシーの主値]]を使用する必要がある。この規則は[[ヒルベルト変換]]を研究するとき有用である。
|-
| 310
|<math>\frac{1}{x^n}</math>
|<math>-i\pi \frac{(-2\pi i\xi)^{n-1}}{(n-1)!} \sgn(\xi)</math>
|<math>-i\sqrt{\frac{\pi}{2}}\cdot \frac{(-i\omega)^{n-1}}{(n-1)!}\sgn(\omega)</math>
|<math>-i\pi \frac{(-i\nu)^{n-1}}{(n-1)!}\sgn(\nu)</math>
|309の一般化
|-
| 311
|<math> \frac{1}{\sqrt{|x|}} \,</math>
|<math> \frac{1}{\sqrt{|\xi|}} </math>
|<math> \frac{1}{\sqrt{|\omega|}}</math>
|<math> \frac{\sqrt{2\pi}}{\sqrt{|\nu|}} </math>
|
|-
| 312
|<math>\sgn(x) \,</math>
|<math>\frac{1}{i\pi \xi}</math>
|<math>\sqrt{\frac{2}{\pi}}\cdot \frac{1}{i\omega }\,</math>
|<math>\frac{2}{i\nu }</math>
|309の双対。積分は[[コーシーの主値]]を考える。
|-
| 313
|<math>u(x)\,</math>
|<math>\frac{1}{2}\left(\frac{1}{i \pi \xi} + \delta(\xi)\right)</math>
|<math>\sqrt{\frac{\pi}{2}} \left( \frac{1}{i \pi \omega} + \delta(\omega)\right)</math>
|<math>\pi\left( \frac{1}{i \pi \nu} + \delta(\nu)\right)</math>
|''u'' (''x'' ) は[[ヘヴィサイドの階段関数]]。101、301および312より導かれる。
|-
| 314
|<math>\sum_{n=-\infty}^{\infty} \delta (x - n T)</math>
|<math>\frac{1}{T} \sum_{k=-\infty}^{\infty} \delta \left( \xi -\frac{k }{T}\right)</math>
|<math>\frac{\sqrt{2\pi }}{T}\sum_{k=-\infty}^{\infty} \delta \left( \omega -\frac{2\pi k}{T}\right)</math>
|<math>\frac{2\pi}{T}\sum_{k=-\infty}^{\infty} \delta \left( \nu -\frac{2\pi k}{T}\right)</math>
|この関数は[[くし型関数]]といわれる。302、102および、超関数として <math>\sum_{n=-\infty}^{\infty} e^{inx}=\sum_{k=-\infty}^{\infty} \delta(x+2\pi k)</math> であることから導かれる。
|-
| 315
|<math> J_0 (x)\,</math>
|<math> \frac{2\, \operatorname{rect}(\pi\xi)}{\sqrt{1 - 4 \pi^2 \xi^2}} </math>
|<math> \sqrt{\frac{2}{\pi}} \cdot \frac{\operatorname{rect}\left( \displaystyle \frac{\omega}{2} \right)}{\sqrt{1 - \omega^2}} </math>
|<math> \frac{2\,\operatorname{rect}\left(\displaystyle\frac{\nu}{2} \right)}{\sqrt{1 - \nu^2}}</math>
|''J''<sub>0</sub> (''x'' ) は0次の第1種[[ベッセル関数]]
|-
| 316
|<math>J_n (x)\,</math>
|<math> \frac{2 (-i)^n T_n (2 \pi \xi) \operatorname{rect}(\pi \xi)}{\sqrt{1 - 4 \pi^2 \xi^2}} </math>
|<math> \sqrt{\frac{2}{\pi}} \frac{ (-i)^n T_n (\omega) \operatorname{rect} \left( \displaystyle\frac{\omega}{2} \right)}{\sqrt{1 - \omega^2}} </math>
|<math> \frac{2(-i)^n T_n (\nu) \operatorname{rect} \left(\displaystyle \frac{\nu}{2} \right)}{\sqrt{1 - \nu^2}} </math>
|315の一般化。''J<sub>n</sub>'' (''x'' ) は''n'' 次の第1種[[ベッセル関数]]、''T<sub>n</sub>'' (''x'' ) は第1種[[チェビシェフ多項式]]。
|}

=== 二変数函数 ===
{| class="wikitable"
! !! もとの函数 !! ユニタリ・周波に関するフーリエ変換 !! ユニタリ・角周波に関するフーリエ変換 !! 非ユニタリ・角周波に関するフーリエ変換 !! 備考
|-
|
|align="center"|<math> f(x,y)</math>
|align="center"|<math> \hat{f}(\xi_x, \xi_y)=</math>
<math>\iint f(x,y) e^{-2\pi i(\xi_x x+\xi_y y)}\,dxdy</math>
|align="center"|<math> \hat{f}(\omega_x,\omega_y)=</math>
<math>\frac{1}{2 \pi} \iint f(x,y) e^{-i (\omega_x x +\omega_y y)}\, dxdy</math>
|align="center"|<math> \hat{f}(\nu_x,\nu_y)=</math>
<math>\iint f(x,y) e^{-i(\nu_x x+\nu_y y)}\, dxdy</math>
| &xi;''<sub>x</sub>'' , &xi;''<sub>y</sub>'' , &omega;''<sub>x</sub>'' , &omega;''<sub>y</sub>'' , &nu;''<sub>x</sub>'' , &nu;''<sub>y</sub>'' は実変数。積分領域は全平面である。
|-
|401
|align="center"|<math>e^{-\pi\left(a^2x^2+b^2y^2\right)}</math>
|align="center"|<math>\frac{1}{|ab|} e^{-\pi\left(\xi_x^2/a^2 + \xi_y^2/b^2\right)}</math>
|align="center"|<math>\frac{1}{2\pi\cdot|ab|} e^{\frac{-\left(\omega_x^2/a^2 + \omega_y^2/b^2\right)}{4\pi}}</math>
|align="center"|<math>\frac{1}{|ab|} e^{\frac{-\left(\nu_x^2/a^2 + \nu_y^2/b^2\right)}{4\pi}}</math>
| 両方のガウス関数は規格化されている必要はない。
|-
|402
|<math>\mathrm{circ}(\sqrt{x^2+y^2})</math>
|align="center"|<math> \frac{J_1\left(2 \pi \sqrt{\xi_x^2+\xi_y^2}\right)}{\sqrt{\xi_x^2+\xi_y^2}}</math>
|align="center"|<math> \frac{J_1\left(\sqrt{\omega_x^2+\omega_y^2}\right)}{\sqrt{\omega_x^2+\omega_y^2}}</math>
|align="center"|<math> \frac{2\pi J_1\left(\sqrt{\nu_x^2+\nu_y^2}\right)}{\sqrt{\nu_x^2+\nu_y^2}}</math>
| 元の函数は circ(''r'' ) = 1 (0&le;''r'' &le;1), and 0 (otherwise) で定義される。これはエアリー分布であり、1次の第1種ベッセル函数 ''J''<sub>1</sub> で表される{{sfn|Stein|Weiss|1971|loc=Thm. IV.3.3}}。
|}

=== 一般の ''n''-変数函数 ===
{| class="wikitable"
! !! もとの函数 !! ユニタリ・周波に関するフーリエ変換 !! ユニタリ・角周波に関するフーリエ変換 !! 非ユニタリ・角周波に関するフーリエ変換 !! 備考
|-
|
|align="center"|<math> f(x)\,</math>
|align="center"|<math> \hat{f}(\xi)=</math>
<math>\int_{\mathbb{R}^n}f(x) e^{-2\pi i x\cdot\xi }\, dx </math>
|align="center"|<math> \hat{f}(\omega)=</math><math>\frac{1}{{(2 \pi)}^{(n/2)}} \int_{\mathbb{R}^n} f(x) e^{-i \omega\cdot x}\, dx </math>
|align="center"|<math> \hat{f}(\nu)=</math>
<math>\int_{\mathbb{R}^n}f(x) e^{-i x\cdot\nu }\, dx </math>
|
|-
|501
|<math>\chi_{[0,1]}(|x|)(1-|x|^2)^\delta\,</math>
|align="center"|<math>\pi^{-\delta}\Gamma(\delta+1)|\xi|^{-(n/2)-\delta}\,</math><br><math>\cdot J_{n/2+\delta}(2\pi|\xi|)</math>
|align="center"|<math> 2^{-\delta}\Gamma(\delta+1)\left|\omega\right|^{-(n/2)-\delta}</math><br><math>\cdot J_{n/2+\delta}(|\omega|)</math>
|align="center"|<math> \pi^{-\delta}\Gamma(\delta+1)\left|\frac{\nu}{2\pi}\right|^{-(n/2)-\delta}</math><br><math>\cdot J_{n/2+\delta}(|\nu|)</math>
| &chi;<sub>[0,1]</sub> は区間 [0, 1] の[[指示関数]]、&Gamma;(''x'' ) はガンマ関数、''J''<sub>''n'' /2+&delta;</sub> は''n'' /2 + &delta;次の第1種ベッセル関数である。''n'' = 2 および&delta; = 0とすると402を得る{{sfn|Stein|Weiss|1971|loc=Thm. 4.13}}。
|}

== 関連項目 ==
{{div col||30em}}
*[[フーリエ級数]]
*[[フーリエ級数の収束]]
*[[高速フーリエ変換]]
*[[ラプラス変換]]
*[[離散フーリエ変換]]
**[[DFT行列]]
*[[離散時間フーリエ変換]]
*[[分数階フーリエ変換]]
*{{仮リンク|線型正準変換|en|Linear canonical transformation}}
*[[フーリエ正弦変換]]
*[[短時間フーリエ変換]]
*{{仮リンク|量子フーリエ変換|en|Quantum Fourier transform}}
*[[アナログ信号処理]]
*[[変換 (数学)]]
*[[擬微分作用素]]
*{{仮リンク|フーリエ–ドリーニュ変換|en|Fourier–Deligne transform}}
*{{仮リンク|フーリエ–向井変換|en|Fourier–Mukai transform}}
*[[フーリエ–佐藤変換]]
*[[量子フーリエ変換 (量子群)]]
{{div col end}}

== 出典 ==
{{Reflist|25em}}

== 参考文献 ==
{{No footnotes|date=February 2008|section=1}}
*{{cite book |last1 = Bochner |first1 = S.|authorlink1=サロモン・ボホナー|last2=Chandrasekharan |first2=K.|authorlink2=:en:K. S. Chandrasekharan| title=Fourier Transforms | publisher= [[:en:Princeton University Press|Princeton University Press]] | date=1949|ref=harv}}
* {{citation|first=R. N.|last=Bracewell|title=The Fourier Transform and Its Applications|edition=3rd|publication-place=Boston|publisher=[[:en:McGraw-Hill|McGraw-Hill]]|year=2000}}.
* {{citation|first1=George|last1=Campbell|first2=Ronald|last2=Foster|title=Fourier Integrals for Practical Applications|publication-place=New York|publisher=D. Van Nostrand Company, Inc.|year=1948}}.
* {{citation|last=Duoandikoetxea|first=Javier|title=Fourier Analysis|publisher=American Mathematical Society|year=2001|isbn=0-8218-2172-5}}.
* {{citation|last1=Dym|first1=H|first2=H|last2=McKean|authorlink1=Harry Dym|title=Fourier Series and Integrals|publisher=Academic Press|year=1985|isbn=978-0122264511}}.
* {{citation|editor-last=Erdélyi|editor-first=Arthur|title=Tables of Integral Transforms|volume=1|publication-place=New Your|publisher=McGraw-Hill|year=1954}}
* {{citation|first=Loukas|last=Grafakos|title=Classical and Modern Fourier Analysis|publisher=Prentice-Hall|year=2004|isbn=0-13-035399-X}}.
* {{citation|first=L.|last=Hörmander|authorlink=jp:ラース・ヘルマンダー|title=Linear Partial Differential Operators, Volume 1|publisher=[[:de:Springer-Verlag|Springer-Verlag]]|year=1976|isbn=978-3540006626}}.
*{{citation|first = J.F.|last = James|title=A Student's Guide to Fourier Transforms|edition=2nd|publication-place=New York|publisher=Cambridge University Press|year=2002|isbn=0-521-00428-4}}.
* {{citation|first=Gerald|last=Kaiser|title=A Friendly Guide to Wavelets|year=1994|publisher=Birkhäuser|isbn=0-8176-3711-7}}
* {{citation|first=David|last=Kammler|title=A First Course in Fourier Analysis|year=2000|publisher=Prentice Hall|isbn=0-13-578782-3}}
* {{citation|first=Yitzhak|last=Katznelson|title=An introduction to Harmonic Analysis|year=1976|publisher=Dover|isbn=0-486-63331-4}}
* {{citation|first=Mark|last=Pinsky|title=Introduction to Fourier Analysis and Wavelets|year=2002|publisher=Brooks/Cole|isbn=0-534-37660-6}}
* {{citation|first1=A. D.|last1=Polyanin|first2=A. V.|last2=Manzhirov|title=Handbook of Integral Equations|publisher=CRC Press|publication-place=Boca Raton|year=1998|isbn=0-8493-2876-4}}.
* {{citation|first=Walter|last=Rudin|title=Real and Complex Analysis| edition=Third|year=1987|isbn=0-07-100276-6|publisher=McGraw-Hill|location=Singapore}}.
* {{citation|first1=Elias|last1=Stein|first2=Rami|last2=Shakarchi|title=Fourier Analysis: An introduction|publisher=Princeton University Press|year=2003|isbn=0-691-11384-X}}.
* {{citation|last1=Stein|first1=Elias|first2=Guido|last2=Weiss|title=Introduction to Fourier Analysis on Euclidean Spaces |year=1971|isbn=978-0-691-08078-9|publisher=Princeton University Press|location=Princeton, N.J.}}.
* {{citation|first=R. G.|last=Wilson|title=Fourier Series and Optical Transform Techniques in Contemporary Optics|year=1995|isbn=0471303577|publisher=Wiley|location=New York}}.
* {{citation|first=K.|last=Yosida|authorlink=吉田耕作|title=Functional Analysis|publisher=Springer-Verlag|year=1968|isbn=3-540-58654-7}}.

== 外部リンク ==
* [http://www.westga.edu/~jhasbun/osp/Fourier.htm Fourier Series Applet] (Tip: drag magnitude or phase dots up or down to change the wave form).
* [http://eqworld.ipmnet.ru/en/auxiliary/aux-inttrans.htm Tables of Integral Transforms] at EqWorld: The World of Mathematical Equations.
* {{MathWorld | urlname= FourierTransform | title= Fourier Transform}}
* [http://math.fullerton.edu/mathews/c2003/FourierTransformMod.html Fourier Transform Module by John H. Mathews]
* [http://www.dspdimension.com/admin/dft-a-pied/ The DFT “à Pied”: Mastering The Fourier Transform in One Day] at The DSP Dimension
* [http://talkera.org.cp-in-1.webhostbox.net/wp/?p=89 FFT in Python]
*{{britannica|topic|Fourier-transform|Fourier-transform (mathematics)}}
*{{Kotobank|2=日本大百科全書(ニッポニカ)}}

{{Normdaten}}

{{DEFAULTSORT:ふうりえへんかん}}
[[Category:フーリエ解析]]
[[Category:積分変換]]
[[Category:ユニタリ作用素]]
[[Category:時系列分析]]
[[Category:数理物理学]]
[[Category:数学に関する記事]]
[[Category:エポニム]]