logo

フーリエ変換の性質 📂フーリエ解析

フーリエ変換の性質

定理1

Ff,f^\cal{F}f, \hat{f}ffフーリエ変換としよう。fL1f \in L^{1}とする。すると、フーリエ変換について次の性質が成り立つ。

  • (a) 任意の実数aaに対して

F[f(xa)](ξ)=eiaξf^(ξ)andF[eiaxf(x)](ξ)=f^(ξa) \mathcal{F} \left[ f(x-a) \right] ( \xi ) = e^{-ia\xi}\hat{f}(\xi) \quad \mathrm{and} \quad \mathcal{F} \left[ e^{iax}f(x)\right] (\xi) = \hat{f}(\xi-a)

  • (b) δ>0\delta >0に対してfδ(x):=1δf(xδ)f_\delta (x) := \frac{1}{\delta}f ( \frac{x}{\delta} )と定義すると

F[fδ](ξ)=(Ff)(δξ)andF[f(δx)](ξ)=(Ff)δ(ξ) \mathcal{F}\left[ f_\delta \right] (\xi ) = (\mathcal{F}f)(\delta \xi) \quad \mathrm{and} \quad \mathcal{F} \left[ f(\delta x) \right] (\xi) = ( \mathcal{F} f ) _{\delta} (\xi)

F[f](ξ)=iξFf(ξ) \mathcal{F} \left[ f^{\prime} \right] (\xi) = i \xi \mathcal{F} f (\xi)

一方、xf(x)xf(x)が積分可能なら

F[xf(x)](ξ)=i(Ff)(ξ) \mathcal{F} \left[ xf(x) \right] (\xi) = i ( \mathcal{F} f ) ^{\prime} (\xi)

  • (d) もしgL1g\in L^{1}なら

F[fg](ξ)=f^(ξ)g^(ξ) \mathcal{F} \left[ f \ast g \right] (\xi)= \hat{f} (\xi) \hat{g}(\xi)

この時fgf \ast gffgg畳み込みだ。

  • (d’) {fn}L1\left\{ f_{n} \right\} \subset L^{1}に対して、

F[f1f2fn]=f1^f2^fn^ \mathcal{F}\left[ f_{1} \ast f_{2} \ast \cdots \ast f_{n} \right]=\hat{f_{1}} \hat{f_{2}} \cdots \hat{f_{n}}

説明

(a) 平行移動と指数関数の乗法が変換を通じて互いに交換されるという意味だ。平行移動した後に変換すると指数関数が乗算され、指数関数を乗算してから変換すると平行移動が現れる。 (b) 同様に、変数にδ\deltaを乗算することと関数にδ_\deltaを取る操作が変換を通して互いに交換される。 (c) 微分のフーリエ変換はフーリエ変換に定数iξi\xiを乗算したものと同じだ。

証明

(a)

F[f(xa)](ξ)=f(xa)eiξxdx=f(y)eiξ(y+a)dy=eiaξf(y)eiξydy=eiaξf^(ξ) \begin{align*} \mathcal{F} \left[ f(x-a) \right] (\xi) &= \int f(x-a)e^{-i\xi x} dx \\ &= \int f(y)e^{-i\xi (y+a)} dy \\ &= e^{-ia\xi} \int f(y)e^{-i\xi y}dy \\ &= e^{-ia\xi} \hat{f}(\xi) \end{align*}

二番目の等式はxa=yx-a=yで置き換えると成り立つ。

F[eiaxf(x)](ξ)=f(x)eiξxeiaxdx=f(x)ei(ξa)xdx=f^(ξa) \begin{align*} \mathcal{F}\left[ e^{iax}f(x) \right] (\xi) &= \int f(x)e^{-i\xi x}e^{iax} dx \\ &= \int f(x) e^{-i(\xi-a)x}dx \\ &= \hat{ f }(\xi-a) \end{align*}

三番目の等式はフーリエ変換の定義により成り立つ。

(b)

(a)と同様に、簡単に証明できる。

F[fδ](ξ)=fδ(x)eiξxdx=1δf(xδ)eiξxdx=f(y)ei(δξ)ydy=f^(δξ) \begin{align*} \mathcal{F} \left[ f_\delta \right] (\xi) &= \displaystyle {\int} f_\delta (x) e^{-i\xi x} dx \\ &= {\displaystyle \int} \dfrac{1}{\delta}f \left( \frac{x}{\delta} \right)e^{-i\xi x} dx \\ &= \displaystyle{ \int} f(y) e^{-i(\delta \xi )y} dy \\ &= \hat{f}(\delta\xi) \end{align*}

二番目の等式はxδ=y\frac{x}{\delta}=yで置き換えると成り立つ。

F[f(δx)](ξ)=f(δx)eiξxdx=1δf(y)ei(ξ/δ)ydy=1δf^(ξ/δ)=f^δ(ξ)=(Ff)δ(ξ) \begin{align*} \mathcal{F} \left[ f(\delta x) \right] (\xi) &= \displaystyle{ \int} f(\delta x)e^{-i\xi x}dx \\ &= \dfrac{1}{\delta} \displaystyle{ \int} f(y)e^{-i(\xi / \delta)y} dy \\ &= \dfrac{1}{\delta} \hat{f} ( \xi / \delta) \\ &= \hat{f}_{\delta}(\xi) = ( \mathcal{F }f )_{\delta} (\xi) \end{align*}

三番目の等式はδx=y\delta x=yで置き換えると成り立つ。

(c)

まず、

0f(x)dx=limt0tf(x)dt=limtf(t)f(0) \int_{0}^\infty f^{\prime}(x)dx=\lim \limits_{t \rightarrow \infty} \int_{0}^tf^{\prime}(x)dt=\lim \limits_{t \rightarrow \infty} f(t)-f(0)

そしてfL1f^{\prime} \in L^{1}なので、f(x)dx\displaystyle \int f^{\prime}(x)dxが存在し、したがってlimtf(t)\lim \limits_{t \rightarrow \infty} f(t)が存在する。仮定により、fL1f \in L^{1}なのでその値は00だ。これはlimtf(t)\lim \limits_{t \rightarrow -\infty}f(t)の時も同様なので、

limx±f(x)=0 \begin{equation} \lim \limits_{x \rightarrow \pm \infty} f(x)=0 \label{eq1} \end{equation}

だから、

F[f](ξ)=f(x)eiξxdx=[eiξxf(x)]+iξf(x)eiξxdx=iξf(x)eiξxdx=iξf^(ξ) \begin{align*} \mathcal{F} \left[ f^{\prime} \right] (\xi) &= \int f^{\prime}(x)e^{-i\xi x} dx \\ &= \left[ e^{-i\xi x} f(x)\right]_{-\infty}^\infty + i\xi \int f(x) e^{-i \xi x} dx \\ &= i \xi \int f(x) e^{-i\xi x}dx \\ &= i \xi \hat{f}(\xi) \end{align*}

二番目の等式は部分積分を用いると成り立つ。三番目の等式は(eq1)\eqref{eq1}により成り立つ。

F[xf(x)](ξ)=xf(x)eiξxdx=iddξf(x)eiξxdx=iddξFf(ξ)=i(Ff)(ξ) \begin{align*} \mathcal{F} \left[ xf(x) \right] (\xi) &= \int x f(x)e^{-i \xi x}dx \\ &= i\dfrac{d}{d\xi} \int f(x) e^{-i \xi x}dx \\ &= i\dfrac{d}{d \xi} \mathcal{F} f (\xi) \\ &= i (\mathcal{F} f )^{\prime}(\xi) \end{align*}

(d)

畳み込みの一般的な定義を考えると、実際には(d)は性質ではなく定義だ。

F[fg](ξ)=(fg)(x)eiξxdx=[f(xy)g(y)dy]eiξxdx=[f(xy)g(y)dy]eiξ(xy)eiξydx=f(xy)g(y)eiξ(xy)eiξydydx=f(xy)g(y)eiξ(xy)eiξydxdy=[f(xy)eiξ(xy)dx]g(y)eiξydy=[f(z)eiξzdz]g(y)eiξydy=f^(ξ)g(y)eiξydy=f^(ξ)g(y)eiξydy=f^(ξ)g^(ξ) \begin{align*} \mathcal{F} \left[ f \ast g \right] (\xi) &= \int (f \ast g)(x)e^{-i \xi x}dx \\ &= \int \left[ \int f(x-y)g(y)dy\right]e^{-i \xi x}dx \\ &= \int \left[ \int f(x-y)g(y)dy\right]e^{-i \xi (x-y)}e^{-i\xi y}dx \\ &= \int \int f(x-y)g(y)e^{-i \xi (x-y)}e^{-i\xi y}dydx \\ &= \int \int f(x-y)g(y)e^{-i \xi (x-y)}e^{-i\xi y}dxdy \\ &= \int \left[ \int f(x-y)e^{-i \xi (x-y)}dx \right] g(y)e^{-i \xi y} dy \\ &= \int \left[ \int f(z)e^{-i \xi z}dz \right] g(y)e^{-i \xi y} dy \\ &= \int \hat{f}(\xi) g(y)e^{-i \xi y} dy \\ &= \hat{f}(\xi)\int g(y)e^{-i \xi y} dy \\ &= \hat{f}(\xi) \hat{g}(\xi) \end{align*}

七番目の等式はxy=zx-y=zで置き換えると成り立つ。

(d')

畳み込みは結合法則が成り立つので、**(d)**によって直ちに成り立つ。


  1. Gerald B. Folland, Fourier解析及びその応用 (1992), p214-215 ↩︎