数式で独楽する

数式を使って楽しむブログです

[tex: ]

指数関数(引数は純虚数)のフーリエ変換 その2

関数 f(x)フーリエ変換
\begin{equation}
\mathcal{F} \left[ f(x) \right] = \hat{f} \! (q) = \int_{-\infty}^\infty f(x) \, e^{-iqx}\, dx
\end{equation}と表記することとします。

引数が純虚数である指数関数のフーリエ変換
\begin{eqnarray}
\mathcal{F} \left[ \exp \left( -iax^2 \right) \right] &=& \sqrt{\frac{\pi}{a}} \exp \left( i \, \left( \frac{q^2}{4a} -\frac{\pi}{4} \right) \right) \\
\mathcal{F} \left[ \exp \left( iax^2 \right) \right] &=& \sqrt{\frac{\pi}{a}} \exp \left( -i \, \left( \frac{q^2}{4a} -\frac{\pi}{4} \right) \right)
\end{eqnarray}

このことを、ガウス関数フーリエ変換
ガウス関数のフーリエ変換 - 数式で独楽する
\begin{equation}
\mathcal{F} \left[ \exp \left( -\frac{x^2}{\sigma^2} \right) \right] = \sqrt{\pi} \, \sigma \exp \left( -\frac{\sigma^2 q^2}{4} \right)
\end{equation}
より導いていきます。

まず、 a = \displaystyle \frac{1}{\sigma^2}と置き換えると、
\begin{equation}
\mathcal{F} \left[ \exp \left( -ax^2 \right) \right] = \sqrt{\frac{\pi}{a}} \, \exp \left( -\frac{q^2}{4a} \right)
\end{equation}となります。

さらに、 a iaに置き換えて、
\begin{eqnarray}
\mathcal{F} \left[ \exp \left( -iax^2 \right) \right] &=& \sqrt{\frac{\pi}{ia}} \, \exp \left( -\frac{q^2}{4ia} \right) \\
&=& \sqrt{-\frac{\pi i}{a}} \, \exp \left( \frac{iq^2}{4a} \right) \\
&=& \sqrt{\frac{\pi}{a}} \, \exp \left( i \, \left( \frac{q^2}{4a} -\frac{\pi}{4} \right) \right)
\end{eqnarray}を得ます。
なお、
\begin{eqnarray}
\sqrt{-i} &=& \left \{ \exp \left( -\frac{\pi i}{2}\right) \right \}^{1/2} \\
&=& \exp \left( -\frac{\pi i}{4} \right)
\end{eqnarray}です。
指数関数の級数展開とオイラーの公式 - 数式で独楽する

さらに a -aに置き換えると、
\begin{eqnarray}
\mathcal{F} \left[ \exp \left( iax^2 \right) \right] &=& \sqrt{\frac{\pi}{-a}} \, \exp \left( i \, \left( \frac{q^2}{-4a} -\frac{\pi}{4} \right) \right) \\
&=& i \sqrt{\frac{\pi}{a}} \, \exp \left( -i \, \left( \frac{q^2}{4a} +\frac{\pi}{4} \right) \right) \\
&=& \sqrt{\frac{\pi}{a}} \, \exp \left( -i \, \left( \frac{q^2}{4a} -\frac{\pi}{4} \right) \right)
\end{eqnarray}を得ます。
なお、
\begin{equation}
i = \exp \frac{\pi i}{2}
\end{equation}です。
指数関数の級数展開とオイラーの公式 - 数式で独楽する

引数が純虚数の指数関数のフーリエ変換ですが、

  • 変数が xだとディラックのデルタ関数
  • 変数を x^2とすると指数関数

となるのが面白いところです。
また、変換後の引数に \displaystyle -\frac{\pi}{4}が現れるのは不思議な感じがします。
指数関数(引数は純虚数)のフーリエ変換 - 数式で独楽する

toy1972.hatenablog.com
toy1972.hatenablog.com