数式で独楽する

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

[tex: ]

変数のべき乗倍のフーリエ変換

関数 f(x), g(x), h(x)フーリエ変換をそれぞれ
\begin{equation}
\hat{f} \! (q), \ \hat{g}(q), \ \hat{h}(x)
\end{equation}とします。

変数のべき乗倍のフーリエ変換
\begin{equation}
h(x) = x^n \, f(x)
\end{equation}のとき、
\begin{equation}
\hat{h}(q) = i^n \, \frac{d^n}{d q^n} \, \hat{f} \! (q)
\end{equation}

定義に従って変形させていきます。
\begin{eqnarray}
\hat{h} (q) &=& \int_{-\infty}^\infty d q \, e^{-iqx} \, h(x) \\
&=& \int_{-\infty}^\infty d q \, e^{-iqx} \, x^n \, f(x) \tag{1}
\end{eqnarray}

さて、
\begin{equation}
\frac{d^n}{d q^n} \, e^{-iqx} = (-ix)^n \, e^{-iqx}
\end{equation}ですが、両辺を i^n倍すると、
\begin{equation}
x^n \, e^{-iqx} = i \, \frac{d^n}{d q^n} \, e^{-iqx}
\end{equation}となります。これを式(1)に返すと
\begin{equation}
\hat{h} (q) = \int_{-\infty}^\infty dx \, \frac{d^n}{d q^n} \, e^{-iqx} \, f(x) \tag{2}
\end{equation}となります。

式(2)の変数 qに着目すると、 q微分に関係するのは e^{-iqx}のみで、他は定数扱いです。つまり、全体を q微分としても結果は変わりません。したがって、式(2)より
\begin{eqnarray}
\hat{h} (q) &=& i \, \frac{d^n}{d q^n} \int_{-\infty}^\infty dx \, e^{-iqx} \, f(x) \\
&=& i^n \, \frac{d^n}{d q^n} \, \hat{f} \! (q)
\end{eqnarray}を得ます。

変数のべき乗倍をフーリエ変換にかけると、変数の複数回微分となります。

なお、前提として
\begin{equation}
\lim_{x \to \pm \infty} e^{-iqx} \ \hat{f}^{(k)}(x) = 0 \quad (k = 1, 2, \cdots, n -1)
\end{equation}としています。

こういう導き方もあります。
変数のべき乗倍のフーリエ変換 その2 - 数式で独楽する


toy1972.hatenablog.com
toy1972.hatenablog.com