フーリエ変換

数学においてフーリエ変換は、実変数の複素または実数値関数を、別の同種の関数Hatに写す変換である。

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

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

1. 定義
-----

1.1. 絶対可積分関数に対する定義
------------------

絶対可積分関数 //f//: R → C}} のフーリエ変換の定義として、よく用いられるものにもいくつか異なる流儀があるKaiser。本項では を定義として用いる。ここでギリシャ文字小文字の //ξ//}} は任意の実数である。

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

適当な条件のもと、//f//}} はその変換 Hat からフーリエ逆変換 によって復元することができる。

1.2. 超関数としての定義
--------------

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

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

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

超関数とは、急減少関数の列であって、任意の急減少関数についてが存在するものを言い、 ２つの急減少関数の列、が、任意の急減少関数についてが成り立つとき、とは同一の超関数を表すものとする。

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

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

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

・については、急減少関数の列である超関数を考え、そのフーリエ変換は急減少関数の列である超関数となる。ここで、のときは、のときはであり、である。これはデルタ関数と言われ、のフーリエ変換は、となる。

2. 導入
-----

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

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

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

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

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

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

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

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

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

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

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

3. フーリエ変換の性質
------------

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

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

3.1. 基本性質
---------

絶対可積分関数 //f//, //g//, //h//}} が与えられたとき、これらのフーリエ変換をそれぞれ Hat, Hat, Hatで表す。フーリエ変換は以下の基本性質を満たすPinsky。

線型性 任意の複素数 a}}, b}} について //h// =}} //aƒ// + //bg//}} であるならばが成り立つ。 平行移動 任意の実数 //x//sub に対して //h// =}} //ƒ// =}} //e//sup ならば が成り立つ。 定数倍 非零実数 a}} に対し、//h// =}} //ƒ//}} ならば が成り立つ。//a// =}} −1}} つまり //h// =}} //ƒ//}} の場合には、時間反転性  が導かれる。 複素共役 //f//}} の複素共役 overline について が成り立つ。 畳み込み //h// =}} }} ならば が成り立つ。

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

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

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

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

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

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

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

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

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

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

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

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

3.4. 不確定性関係
-----------

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

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

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

//x// = 0 の周りでの拡散を

で定義される「0 の周りでの分散」en によって測ることにするPinsky。確率の言葉で言えば、これは |//f//|2 の 0 の周りでの二次のモーメントである。

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

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

したがって、

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

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

が成立することをも含むStein。

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

3.5. ポアソン和公式
------------

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

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

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

3.6. 畳み込み定理
-----------

フーリエ変換は、関数の畳み込みと関数の積とを相互に変換する。//ƒ// および //g// が絶対可積分関数であるとし、そのフーリエ変換をそれぞれ Hat および Hat で表す。さらに //ƒ// と //g// との畳み込みが存在して絶対絶対可積分であるならば、この畳み込みのフーリエ変換はフーリエ変換 Hat と Hat との積で与えられる。

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

と表されるとき、

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

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

3.7. 相互相関定理
-----------

同様の方法で、//h// が //ƒ と //g// との相互相関//

であるならば //h// のフーリエ変換が

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

3.8. 固有関数
---------

//L//2 の正規直交基底の重要な一つはエルミート函数系

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

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

3.9. 球面調和関数
-----------

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

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

となる。ただし、

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

4. 一般化
------

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

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

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

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

4.2. 多次元版
---------

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

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

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

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

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

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

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

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

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

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

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

4.4. 緩増加超函数
-----------

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

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

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

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

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

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

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

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

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

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

5. 応用
-----

5.1. 微分方程式の解析学
--------------

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

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

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

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

7. その他の記法
---------

フーリエ変換の記法として Hat 以外によく用いられるものに

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

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

および位相

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

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

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

と書くことができる。各成分は振幅が //A// で初期位相角が φ であるような //e//2π//ix//ξ のかたちの複素正弦曲線である。

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

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

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

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

8. その他の定義
---------

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

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

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

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

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

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



9. 主なフーリエ変換の一覧
--------------

以下にフーリエ変換の閉じた表示に関する表を掲げる。函数 //ƒ// , //g//, //h// に対して、それらのフーリエ変換をそれぞれ Hat, Hat, Hat で表す。

9.1. 函数の関係式
-----------

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



9.2. 自乗絶対可積分函数
--------------

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



9.3. 超函数
--------

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



9.4. 二変数函数
----------



9.5. 一般の //n//-変数函数
-------------------



10. 関連項目
--------

フーリエ級数
フーリエ級数の収束
フーリエ解析
微分方程式
高速フーリエ変換
ラプラス変換
離散フーリエ変換
DFT行列
離散時間フーリエ変換
分数階フーリエ変換
フーリエ正弦変換
短時間フーリエ変換
アナログ信号処理
変換 
擬微分作用素
フーリエ–佐藤変換
量子フーリエ変換 

11. 出典
------

12. 参考文献
--------

first=R. N..
first1=George.
last=Duoandikoetxea.
last1=Dym.
first=Loukas.
first=L..
first = J.F..
first1=A. D..
first=Walter.
first1=Elias.
last1=Stein.
first=R. G..
first=K..

13. 外部リンク
---------

[1] .
[2] at EqWorld: The World of Mathematical Equations.
[3]
[4] at The DSP Dimension
[5]