Prerequisite
この節ではFourier変換の具体的な計算を実行していこう.
実数上で定義された絶対可積分な函数 のFourier変換は
であり,Fourier逆変換は
で与えられる.
[Gauss函数]
前節ですでに計算したが,Gaussian
のFourier変換は物理学において非常に重要であるからここにもう一度書き下しておこう.
簡単なGauss積分によってFourier変換は
となり,Fourier変換後もGaussianの形をしている.
Gaussianのパラメータ はピークの幅を表していた.
もともと のピーク幅がだいたい だが,変換後 のピーク幅は になる.
[デルタ函数]
本稿では詳細に立ち入らないがFourier変換はデルタ函数のような超函数にも拡張可能である.
デルタ函数の性質からただちに
がわかる.
これをデルタ函数のFourier変換とするとFourier逆変換は
で与えることができる.
もちろん は実数上で絶対可積分でも自乗可積分でもないから,超函数に対するFourier変換の定義が必要なことがわかる.
[Lorentz函数]
次で定義されるLorentzianを考える:
この函数のFourier変換は
この積分を実行するために複素積分
を考える.
のときJordanの補助定理から,積分経路 として下半面で閉じる半円の経路に選べば無限遠での寄与を無視できる.
つまり である.
一方で経路内部に極 が存在するので留数定理から,経路が時計回りであることに注意して
と求まる.
同様にして のときは上半面で閉じれば である.
今度は経路内部に極 が存在するので留数定理から,
のときは初等的な積分計算から .
以上の結果をまとめると
Fourier逆変換を計算していくと
となり確かに元の函数に戻る.
Lorentzian の半値幅は でありピークの幅を特徴づける.
一方で の方の半値幅は となっている.
[矩形函数]
次で定義される矩形函数を考える:
この函数のFourier変換は
すなわち矩形函数のFourier変換はsinc函数
で与えられる.
[三角形函数]
次で定義される三角形函数を考える:
この函数のFourier変換は部分積分により
すなわち三角形函数のFourier変換はsinc函数の二乗
で与えられる.
矩形函数のFourier変換 とは が成り立っている.
それゆえ畳み込みの定理から
が成立していることがわかる.