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

{{出典の明記|date=2017年5月}}
{{翻訳直後|[[:en:Fourier transform]] 05:58, 10 May 2017 (UTC)|date=2017年5月}}
[[File:Commutative diagram illustrating problem solving via the Fourier transform.svg|thumb|400px|微分方程式などの問題は、その問題をフーリエ変換すると解を求めるのが簡単になる。フーリエ変換して得られた解をフーリエ逆変換すると、もともとの問題の解が得られる。]]
[[物理学]]や[[工学]]の様々な場面で'''フーリエ変換の応用'''例が見られる。

==微分方程式の解析==
おそらく最も重要なフーリエ変換の使用例は、偏微分方程式の解を求めることである。19世紀の数理物理学における多くの方程式は、フーリエ変換で扱うことができる。フーリエは無次元単位を用いた1次元の熱伝導方程式
:<math>\frac{\partial^2 y(x,t)}{ \partial x^2 } =\frac{\partial y(x,t) }{ \partial t}</math>
を研究した。これより少し難しいものとして、1次元波動方程式
:<math>\frac{\partial^2 y(x,t)}{\partial x^2 }=\frac{\partial^2 y(x,t)}{\partial t^2}</math>
がある。この方程式は無限に多くの解が存在する。ここで問題となるのは、次の「境界条件」を満たす解をみつけること、いわゆる「境界問題」である。
:<math>y(x,0) = f(x) , \qquad \frac{\partial y(x,0) }{ \partial t}= g(x).</math>
ここで {{mvar|f}} と {{mvar|g}} は与えられた関数である。熱伝導方程式の場合、この2つの境界条件の片方だけが要求される（通常は1つ目）。しかし波動方程式の場合、1つ目の境界条件を満たす解 {{mvar|y}} はまだ無限に多く存在する。しかし両方の条件を課すと、可能な解は1つだけとなる。

この解を直接求めるよりも、解のフーリエ変換 {{mvar|{{hat|y}}}} を求める方が簡単である。なぜならフーリエ変換によって微分は変数による掛け算になり、もともとの関数についての偏微分方程式は、フーリエ変換された関数についての双対変数の多項式関数による掛け算になるからである。{{mvar|{{hat|y}}}} が決定された後は、フーリエ逆変換によって {{mvar|y}} が得られる。

フーリエの方法は以下に示す。まず次の形をした関数は波動方程式を満たす。
:<math> \cos\bigl(2\pi\xi(x\pm t)\bigr) \mbox{ or } \sin\bigl(2\pi\xi(x \pm t)\bigr).</math>
これらは基本解と呼ばれる。

2段階目として積分
:<math>y(x,t) = \int_{0}^{\infty} a_+(\xi)\cos\bigl(2\pi\xi(x +t)\bigr)
 + a_-(\xi)\cos\bigl(2\pi\xi(x -t)\bigr) + b_+(\xi)\sin\bigl(2\pi\xi(x +t)\bigr)
  + b_-(\xi)\sin\left(2\pi\xi(x -t)\right) \, d\xi</math>
は（任意の {{math|''a''<sub>+</sub>, ''a''<sub>−</sub>, ''b''<sub>+</sub>, ''b''<sub>−</sub>}}において）波動方程式を満たす（この積分は連続的な線形結合のようなもので、方程式は線形である）。

ここで、これは関数のフーリエ合成における公式に似ている。実際これは、{{math|''a''<sub>±</sub>}} と {{math|''b''<sub>±</sub>}} の変数 {{mvar|x}} における実フーリエ逆変換である。

3段階目は、境界条件を満たす {{mvar|y}} に対応する未知の係数関数 {{math|''a''<sub>±</sub>}} と {{math|''b''<sub>±</sub>}} を得る方法を調べることである。興味があるのは {{math|1=''t'' = 0}} でのこれらの解の値である。よって {{math|1=''t'' = 0}} と置く。フーリエ反転に必要となる条件を仮定すると、両辺の（変数 {{mvar|x}} における）フーリエ正弦変換とフーリエ余弦変換が分かり、次が得られる。
:<math> 2\int_{-\infty}^\infty y(x,0) \cos(2\pi\xi x) \, dx = a_++a_-,</math>
:<math>2\int_{-\infty}^\infty y(x,0) \sin(2\pi\xi x) \, dx = b_++b_-.</math>
同様に、{{mvar|y}} を {{mvar|t}} について微分し、フーリエ正弦変換とフーリエ余弦変換をすると、次が得られる。
:<math> 2\int_{-\infty}^{\infty} \frac{\partial y(u,0)}{\partial t} \sin (2\pi\xi x) \, dx
 = (2\pi\xi)\left(-a_++a_-\right),</math>
:<math>2\int_{-\infty}^\infty \frac{\partial y(u,0)}{\partial t} \cos (2\pi\xi x) \, dx
 = (2\pi\xi)\left(b_+-b_-\right).</math>
4つの未知の {{math|''a''<sub>±</sub>}} と {{math|''b''<sub>±</sub>}} についての4つの線形方程式が存在し、初等代数学によって簡単に解くことができる。

つまり {{mvar|ξ}} によってパラメータ化された基本解の組を選び、それらの一般解はパラメータ {{mvar|ξ}} についての積分の形をした（連続的な）線形結合である。しかしこの積分はフーリエ積分の形ではない。

次のステップでは、これらの積分についての境界条件を表現し、それらを与えられた関数 {{mvar|f}} と {{mvar|g}} に等しいとする。しかしこれらの表現は、導関数のフーリエ変換の性質により、フーリエ積分の形にもなる。

最後のステップは、両辺にフーリエ変換することでフーリエ反転を利用し、与えられた境界条件 {{mvar|f}} と {{mvar|g}} についての係数関数 {{math|''a''<sub>±</sub>}} と {{math|''b''<sub>±</sub>}} の表現を得る。

より高い視点から見ると、フーリエの手順はより概念的に再定式化できる。2つの変数が存在するため、空間変数でのみ行ったフーリエの方法よりはむしろ、{{mvar|x}} と {{mvar|t}} の両方でのフーリエ変換をしたほうが良い。{{mvar|{{hat|y}}}} は（シュワルツ）超関数の観点で考慮されなければならないことに注意。なぜなら {{math|''y''(''x'', ''t'')}} は {{math|''L''<sup>1</sup>}} にならないためである。波は時間が経過しても持続し、過渡的な現象ではない。しかしそれは拘束され、フーリエ変換は超関数として定義されうる。この方程式のフーリエ変換の演算特性は、{{math|2''πiξ''}} を掛けるために {{mvar|x}} について微分し、{{math|2''πif''}} を掛けるために {{mvar|t}} について微分する。ここで {{mvar|f}} は周波数である。こうして波動方程式は {{mvar|{{hat|y}}}} についての代数方程式となる。
:<math>\xi^2 \hat y (\xi, f) = f^2 \hat y (\xi, f).</math>

これは {{math|1={{hat|''y''}}(''ξ'', ''f''&thinsp;) = 0}}（ただし{{math|1=''ξ'' = ±''f''}}）を要求することと等価である。直ちにこれは我々が先ほど得た基本解の選択がなぜうまくいくのかを説明する。明らかに{{math|1={{hat|''f''}} = ''δ''(''ξ'' ± ''f''&thinsp;)}}は解である。これらのデルタ関数にフーリエ反転を適用すると、先ほど選んだ基本解を得る。しかしより高い視点から見ると、基本解を選んだのではなく、むしろ（退化した）円錐 {{math|1=''ξ''<sup>2</sup> − ''f''<sup>2</sup> = 0}} に台を持つ全ての超関数の空間を考慮したことになる。

直線 {{math|1=''ξ'' = ''f''}}上の1変数の超関数と直線 {{math|1=''ξ'' = −''f''}} 上の超関数によって与えられる円錐に台を持つ超関数と考えることもできる。{{mvar|φ}}がテスト関数であるとき、
:<math>\iint \hat y \phi(\xi,f) \, d\xi \, df
 = \int s_+ \phi(\xi,\xi) \, d\xi + \int s_- \phi(\xi,-\xi) \, d\xi,</math>
ここで {{math|''s''<sub>+</sub>}} と {{math|''s''<sub>−</sub>}} は1変数の超関数である。

フーリエ反転によって、境界条件において上でより具体的に得たものに非常に似たものが得られる（{{math|''φ''(''ξ'', ''f''&thinsp;) {{=}} ''e''<sup>2''πi''(''xξ''+''tf''&thinsp;)</sup>}}を代入し、これは明らかに多項式増大である）。
:<math> y(x,0) = \int\bigl\{s_+(\xi) + s_-(\xi)\bigr\} e^{2\pi i\xi x+0} \, d\xi .</math>
また、
:<math> \frac{\partial y(x,0)}{\partial t}
 = \int\bigl\{s_+(\xi) - s_-(\xi)\bigr\} 2\pi i \xi e^{2\pi i\xi x+0} \, d\xi.</math>
これまでのように、{{mvar|x}} のこれらの関数に変数 {{mvar|x}} について1変数フーリエ変換を適用すると、2つの未知の超関数 {{math|''s''<sub>±</sub>}}（これは境界条件が {{math|''L''<sup>1</sup>}} または {{math|''L''<sup>2</sup>}} の場合、通常の関数）についての2つの方程式が得られる。

計算の観点における欠点は、境界条件のフーリエ変換をまず計算し、これらから解を集めて作り、フーリエ逆変換を計算しなければならないことである。閉じた形式の定式化は、幾何学的な対称性が抽出できる場合を除いて稀である。積分の振動特性により収束を遅くなり、評価を難しくするため、数値的な計算は難しい。実用的な計算は、他の方法が用いられることが多い。

20世紀にはこれらの方法は多項式係数をもつ全ての線形偏微分方程式に拡張され、フーリエ変換の概念をフーリエ積分作用素に拡張することでいくつかの非線形方程式にも拡張された。

==フーリエ変換分光法==
{{main article|フーリエ変換分光法}}
フーリエ変換は[[核磁気共鳴]] (NMR) や、[[フーリエ変換赤外分光法]]などのその他の[[分光法]]でも用いられている。NMRでは、指数関数型の[[自由誘導減衰]] (FID) 信号が時間領域で取得され、フーリエ変換によって周波数領域のローレンツ関数型のスペクトルが得られる。フーリエ変換は[[核磁気共鳴画像法]] (MRI) や[[質量分析法]]においても用いられている。

==量子力学==
[[量子力学]]では、2つの方法でフーリエ変換が用いられている。

1つ目に、量子力学の基本概念の構造は、ハイゼンベルクの不確定性原理でつながっている２つの相補的な変数の組の存在を仮定している。たとえば1次元では、いわゆる粒子の空間変数 {{mvar|q}} は、量子力学的な「位置演算子」によって測定されるのみで、その代わりに粒子の運動量 {{mvar|p}} についての情報を失う。よって粒子の物理的状態は {{mvar|q}} について、または {{mvar|p}} についての「波動関数」と呼ばれる関数によって記述されるが、両方の変数の関数としては記述されない。変数 {{mvar|p}} は、{{mvar|q}} の共役変数と呼ばれる。古典力学での粒子の状態は、（簡単のため1次元で考えると）{{mvar|p}} と {{mvar|q}} の確定値を同時に割り当てることで与えられる。このように全ての可能な物理状態の組は、相空間と呼ばれる {{mvar|p}} 軸と {{mvar|q}} 軸を持つ2次元の実ベクトル空間である。

それとは対照的に、量子力学は1/2次元の部分空間を取り出すという意味で、この空間の分極を選ぶ。例えば点のみを考える代わりに {{mvar|q}} 軸だけはこの軸におけるすべての複素数値「波動関数」の組を考える。にもかかわらず {{mvar|p}} 軸を選ぶことは同等に妥当な分極で、フーリエ変換による最初の表現に関連する粒子の可能な物理状態の組の異なる表現を生み出す。
:<math>\phi(p) = \int \psi (q) e^{2\pi i \frac{pq}{h}}\, dq.</math>
物理的に実現可能な状態は {{math|''L''<sup>2</sup>}} であり、プランシュレルの定理により、これらのフーリエ変換もまた {{math|''L''<sup>2</sup>}} である。（{{mvar|q}} は距離の単位で {{mvar|p}} は運動量の単位であるため、指数部分にプランク定数が存在することで指数部分が無次元化される。）

よって位置の波動関数による粒子の状態の表現の1つの方法から、運動量の波動関数による粒子の状態の表現の別の方法へ移行するためにフーリエ変換が用いられる。無限に多くの異なる分極が可能で、全て等価に妥当である。状態のある表現から別の表現への変換が可能であることは、しばしば便利である。

2つ目のフーリエ変換の使用は、量子力学と[[場の量子論]]における適切な波動方程式を解くことである。非相対論的な量子力学では、外部力のない1次元の時間変化する波動関数についての[[シュレーディンガー方程式]]は、
:<math>\frac{\partial^2}{\partial x^2} \psi(x,t)
 = i \frac h{2\pi} \frac{\partial}{\partial t} \psi(x,t).</math>
これは虚数単位{{mvar|i}}が存在することを除いて熱伝導方程式と同じである。この方程式はフーリエ法で解くことができる。

ポテンシャルエネルギー {{math|''V''(''x'')}} が存在するときは、この式は、
:<math>\frac{\partial^2}{\partial x^2} \psi(x,t) + V(x)\psi(x,t)
 = i \frac h{2\pi} \frac{\partial}{\partial t} \psi(x,t).</math>
「基本解」は粒子の「定常状態」と呼ばれ、フーリエのアルゴリズムでは、{{math|''t'' {{=}} 0}}での値で与えられる{{mvar|ψ}}の時間発展の境界値問題を解くために用いることができる。これらのアプローチのどれも量子力学における実用的な用途ではない。境界値問題と波動関数の時間発展は、実用的な興味ではない。最も重要なのは定常状態である。

相対論的な量子力学では、古典物理学においては複素数値の波動が考慮されていることを除いて普通であるとして、シュレーディンガー方程式は波動方程式となる。他の粒子や場との相互作用が無い簡単な例として、無次元化された1次元自由クライン–ゴルドン–フォック方程式は、
:<math>\left (\frac{\partial^2}{\partial x^2} +1 \right) \psi(x,t)
 = \frac{\partial^2}{\partial t^2} \psi(x,t).</math>
数学的な観点では、これは上記で解かれた古典物理学の波動方程式と同じである（複素数値の波動を持つが、方法において違いはない）。これは場の量子論における強力な使用である。波動のそれぞれの独立したフーリエ成分は、独立した調和振動子として扱うことができ、量子化され「第二量子化」として知られる。フーリエ法は非自明な相互作用を扱うためにも適用される。

{{DEFAULTSORT:ふうりえへんかんのおうよう}}
[[Category:フーリエ解析]]
[[Category:微分方程式]]
[[Category:物理数学]]
[[Category:数学に関する記事]]
[[en:Fourier transform#Applications]]