フーリエ変換

英

Fourier transform、Fourier transformation

関

フーリエ解析、Fourier変換

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/09/10 22:21:11」(JST)

wiki ja

[Wiki ja表示]

数学においてフーリエ変換（フーリエへんかん、英:Fourier transform; FT）は、実変数の複素または実数値函数を別の同種の函数に写す変換である。変換後の函数はもとの函数に含まれる周波数を記述し、しばしばもとの函数の周波数領域表現 (frequency domain representation) と呼ばれる。これは、演奏中の音楽を聴いてそれをコードに書き出すというようなことと同様な思想である。実質的に、フーリエ変換は函数を振動函数に分解する。フーリエ変換 (FT) は他の多くの数学的な演算と同様にフーリエ解析の主題を成す。特別の場合として、もとの函数とその周波領域表現が連続かつ非有界である場合を考えることができる。「フーリエ変換」という術語は函数の周波数領域表現のことを指すこともあるし、函数を周波数領域表現へ写す変換の過程・公式を言うこともある。

定義

可積分函数 f: R → C のフーリエ変換の定義として、よく用いられるものにもいくつか異なる流儀がある (Kaiser 1994)。本項では

を定義として用いる。ここでギリシャ文字小文字の ξ は任意の実数である。

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

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

で g = ^f とおくことによって復元することができる（x は任意の実数）。

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

導入

「フーリエ級数」も参照

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

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

で与えられ、ƒ は公式

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

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

以下の画像はフーリエ変換が特定の函数に含まれる周波数を測る方法を視覚的に現したものである。函数として、（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) に含まれる個々の周波数がどれくらいあるかを測るものという考え方に変わりはない。

• 3ヘルツの振動を示すもとの函数

• 3ヘルツにおけるフーリエ変換の被積分函数の実部および虚部

• 5ヘルツにおけるフーリエ変換の被積分函数の実部および虚部

• 3ヘルツおよび5ヘルツでラベル付けされたフーリエ変換

フーリエ変換の性質

実数直線上で定義される函数 f が可積分であるとは、

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

基本性質

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

線型性

任意の複素数 a, b について h(x) = aƒ(x) + bg(x) であるならば

が成り立つ。

平行移動

任意の実数 x₀ に対して h(x) = ƒ(x − x₀) であるならば

が成り立つ。

変調

任意の実数 ξ₀ に対して h(x) = e^2πixξ₀ƒ(x) ならば

が成り立つ。

定数倍

非零実数 a に対し、h(x) = ƒ(ax) ならば

が成り立つ。a = −1 つまり h(x) = ƒ(−x) の場合には、時間反転性 (time-reversal property)

が導かれる。

複素共軛

h(x) = f(x) ならば

が成り立つ。

畳み込み

h(x) = (f ∗ g)(x) ならば

が成り立つ。

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

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

を満たす (Katznelson 1976)。可積分函数のフーリエ変換は

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

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

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

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

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

が成立する (Rudin 1987, p. 187)。ここで上付きバーは複素共軛を表す。

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

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

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

不確定性原理

詳細は「不確定性原理」および「Hirschmanの不確定性原理」を参照

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

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

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

x = 0 の周りでの拡散は

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

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

が成り立つことを述べる (Pinsky 2002)。等式が成立するのは

したがって、

である場合に限る。ただし、定数 σ > 0 は任意であり、係数 C₁ は ƒ を L²-正規化する定数である (Pinsky 2002)。言い換えれば、 ƒ は 0 を中心に持つ（正規化）ガウス函数のとき等号が成り立つ。

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

が成立することをも含む (Stein & Shakarchi 2003)。

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

ポアソン和公式

詳細は「ポアソン和公式」を参照

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

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

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

畳み込み定理

詳細は「畳み込み定理」を参照

フーリエ変換は、函数の畳み込みと函数の（点毎の）積とを相互に変換する。ƒ(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) のフーリエ変換が

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

固有函数

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

で与えられる。ここで H_n(x) は「確率論者の」エルミート多項式と呼ばれる、H_n(x) = (−1)ⁿ exp(x²/2) Dⁿexp(−x²/2) で定義される函数である。この規約の下、フーリエ変換は

で与えられる。言い換えれば、エルミート函数系は L²(R) 上のフーリエ変換の固有函数からなる完全正規直交系を成す (Pinsky 2002)。しかしながら、この固有函数系の選び方は一意ではなく、フーリエ変換の相異なる固有値は {±1, ±i} の 4 つしかなく、同じ固有値に属する固有函数の任意の線型結合はふたたび固有函数になる。この結果として L²(R) を 4 つの空間 H₀, H₁, H₂, H₃ で、フーリエ変換が H_k 上で単に i^k-倍として作用するものの直和に分解することができる。この方法によるフーリエ変換の定義はウィーナーによる (Duoandikoetxea 2001)。エルミート函数を選ぶのが便利なのは、それらが周波数域と時間域の両方で指数函数的に局在することと、それゆえに時間周波数解析において用いられる非整数次フーリエ変換が得られることにある 。

球面調和函数

詳細は「球面調和函数系」を参照

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

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

となる。ただし、

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

一般化

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

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

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

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

多次元版

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

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

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

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

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

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

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

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

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

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

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

緩増加超函数

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

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

に従うこと (Stein & Weiss 1971)。ふたつめは、任意の可積分函数 ƒ は、任意のシュワルツ函数 φ に対して

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

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

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

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

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

によって定義することができる(Katznelson 1976)。

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

応用

微分方程式の解析学

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

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

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

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

その他の記法

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

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

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

および位相

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

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

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

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

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

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

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

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

その他の定義

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

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

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

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

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

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

よく用いられる定義のまとめ

周波数 ξ（ヘルツ）	ユニタリ
角周波数 ω（ラジアン毎秒）	非ユニタリ
	ユニタリ

主なフーリエ変換の一覧

以下にフーリエ変換の閉じた表示に関する表を掲げる（フーリエ変換はよく用いられる三種類を挙げてある）。函数 ƒ(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					f ∗ g は f と g との畳み込みである。この公式は畳み込み定理と呼ばれる。
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 で表される。(Stein & Weiss 1971, Thm. IV.3.3)

一般の n-変数函数

	もとの函数	ユニタリ・周波に関するフーリエ変換	ユニタリ・角周波に関するフーリエ変換	非ユニタリ・角周波に関するフーリエ変換	備考
501					χ[0,1] は区間 [0, 1] の指示関数、Γ(x ) はガンマ関数、Jn /2+δ はn /2 + δ次の第1種ベッセル関数である。n = 2 およびδ = 0とすると402を得る。(Stein & Weiss 1971, Thm. 4.13)

関連項目

• フーリエ級数
• フーリエ級数の収束
• 高速フーリエ変換
• ラプラス変換
• 離散フーリエ変換
  • DFT行列
• 離散時間フーリエ変換
• 分数階フーリエ変換
• 線型正準変換
• フーリエ正弦変換
• 短時間フーリエ変換
• 量子フーリエ変換
• アナログ信号処理
• 変換 (数学)
• 擬微分作用素

参考文献

• 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 .

外部リンク

• Fourier Series Applet (Tip: drag magnitude or phase dots up or down to change the wave form).
• Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.
• Weisstein, Eric W., "Fourier Transform" - MathWorld.（英語）
• Fourier Transform Module by John H. Mathews
• The DFT “à Pied”: Mastering The Fourier Transform in One Day at The DSP Dimension
• FFT in Python

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. T波（再分極）の交互脈：技術的側面 t wave repolarization alternans technical aspects
• 2. 虚血性心疾患における加算平均心電図の利用 use of the signal averaged electrocardiogram in ischemic heart disease
• 3. ドップラー心エコーの原理 principles of doppler echocardiography
• 4. 副交感神経系機能の評価 evaluation of parasympathetic nervous system function
• 5. 全身麻酔に引き続く記憶を伴う術中覚醒 awareness with recall following general anesthesia

Japanese Journal

• リード・ソロモン符号とその復号法 (特集 誤り訂正技術(1)基礎編)

• 映像情報メディア学会誌 = The journal of the Institute of Image Information and Television Engineers 70(4), 571-575, 2016-07
• NAID 40020894752

• 脳波からのリズム想像デコーディング (システム数理と応用)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(96), 161-166, 2016-06-16
• NAID 40020883026

• 脳波からのリズム想像デコーディング (信号処理)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(95), 161-166, 2016-06-16
• NAID 40020882490

Related Links

• フーリエ変換の第一歩 [物理のかぎしっぽ]

そして，これら二つをセットにして フーリエ変換対 といいます． 大学の参考書や専門書等では，フーリエ変換の変数は周波数ではなく，角周波数 を変数にした形で紹介されているものが多いです．つまり，それらの書籍では を式(1 ...

• フーリエ変換 - 大人になってからの再学習

フーリエ変換 情報処理 フーリエ変換とは、 ある波形を正弦波のような性質の良くわかっている波形の重ねあわせで表しましょう。というもの。そうすると、[周波数、振幅]という値の集合（デジタルデータ）で任意の波形を表すこと ...

Related Pictures

---

★リンクテーブル★

リンク元	「Fourier transform」「フーリエ解析」「Fourier変換」「Fourier transformation」
拡張検索	「フーリエ変換イオンサイクロトロン共鳴質量分析」「二次元フーリエ変換撮像法」「フーリエ変換質量分析」「高速フーリエ変換」
関連記事	「変換」「フーリエ」

「Fourier transform」

　　[★]

• フーリエ変換、Fourier変換

関

Fourier analysis、Fourier transformation

「フーリエ解析」

　　[★]

英

Fourier analysis、Fourier analyses

関

フーリエ変換、Fourier解析

「Fourier変換」

　　[★]

英

Fourier transform

関

フーリエ変換

「Fourier transformation」

　　[★]

• フーリエ変換

関

Fourier transform

「フーリエ変換イオンサイクロトロン共鳴質量分析」

　　[★]

英

Fourier transform ion cyclotron resonance mass spectrometry、FTICR-MS

関

Fourier変換イオンサイクロトロン共鳴質量分析

「二次元フーリエ変換撮像法」

　　[★]

英

two-dimensional Fourier transform imaging, 2DFT

関

フーリエ映像法

「フーリエ変換質量分析」

　　[★]

英

Fourier transform mass spectrometry、FTMS

関

Fourier変換質量分析

「高速フーリエ変換」

　　[★]

英

fast Fourier transform、fast Fourier transformation、FFT

「変換」

　　[★]

英

conversion、transformation、convert、transform

関

がん化、癌化、形質転換、転換、トランスフォーム、トランスフォーメーション、変える、転向者、形質変換

「フーリエ」

　　[★]

英

Fourier

関

フーリエ映像法