logo

ディラックのデルタ関数のフーリエ変換 📂フーリエ解析

ディラックのデルタ関数のフーリエ変換

関数 f(x)f(x)フーリエ変換f^(ξ)=F[f](x)=f(x)eiξxdx\hat{f}(\xi) = \mathcal{F}[f] (x) = \displaystyle \int_{-\infty}^{\infty} f(x)e^{-i \xi x}dx とする。ディラックのデルタ関数 δ(x)\delta (x)フーリエ変換は、以下の通りである。

δ^(ξ)=F[δ](ξ)=1 \hat{\delta}(\xi) = \mathcal{F}[\delta] (\xi) = 1

δ(xy)\delta (x - y) のフーリエ変換は

F[δ(y)](ξ)=eiξy \mathcal{F}[\delta (\cdot - y)] (\xi) = e^{-i\xi y}

説明

フーリエ変換の定義によって、前の定数は 1112π\dfrac{1}{\sqrt{2\pi}} などになることがある。

証明

デルタ関数の性質 f(x0)=f(x)δ(xx0)dxf(x_{0}) = \int_{-\infty}^{\infty} f(x)\delta (x - x_{0})dx により、

F[δ](ξ)=δ(x)eiξxdx=eiξxx=0=1 \begin{align*} \mathcal{F}[\delta] (\xi) &= \int_{-\infty}^{\infty} \delta (x)e^{-i\xi x}dx \\ &= e^{-i\xi x}|_{x=0} \\ &=1 \end{align*}

F[δ(y)](ξ)=δ(xy)eiξxdx=eiξxx=y=eiξy \begin{align*} \mathcal{F}[\delta (\cdot - y)] (\xi) &= \int_{-\infty}^{\infty} \delta (x-y)e^{-i\xi x}dx \\ &= e^{-i\xi x}|_{x=y} \\ &= e^{-i\xi y} \end{align*}