8

フーリエ変換の双対性の観察日記

1172
1
$$$$

お久しぶりです。まぐな氏です。
先日、フーリエ変換は二回繰り返すことで、元と似たような形になる"双対性"を持つと聞いて、実際にやってみたら面白かったのでまとめます。

ただし、この記事は解説ではなく、単なる日記のようなものであるから、議論の正当性に過度な期待はしないでほしいです。

この記事は、初学以下が書いています。

この記事はまともに調和解析や函数解析、佐藤超関数を学んでない私が書いているため、誤りや補足、指摘や意見などがあれば、是非コメント欄に書いていただけると非常に助かります。

フーリエ変換の双対性について

フーリエ変換は、二回フーリエ変換することで、以下のように自分自身と似たような形になる。ある意味でこれは双対性と言える。
以下、関数$f$のフーリエ変換を$\hat{f}$と表す。

双対性

関数$f,\hat{f}がL^1(\mathbb{R})$であるとき、
$$\qquad \hat{\hat{f}}(x)=f(-x)$$

$L^1(\mathbb{R})$とは?

$L^1(\mathbb{R})$: 絶対可積分関数全体
$$\quad L^1(\mathbb{R})=\left\{f:\mathbb{R} \to \mathbb{C}\ \ \Biggl|\ \ \int_{-\infty}^{\infty}|f(x)|<\infty \right\}$$
絶対値を取って積分して有限。

基底を眺めたり、フーリエ級数展開を弄るなど別な方法もあると思うが、今回は強引に二回フーリエ変換してみた。
ここで、証明に用いる数式を紹介する。

$\bigstar1$ガウス積分

$$\qquad \int_{-\infty}^{\infty}e^{-ax^2}dx=\sqrt{\frac{\pi}{a}}$$

これは、とても有名な積分ですね。
証明は、様々な動画や記事でされていますね。

$\bigstar2$ ガウス積分の平行移動

$$\qquad \int_{-\infty}^{\infty}e^{-a^2x^2-bx}dx=\frac{\sqrt{\pi}}{|a|}e^{\frac{b^2}{4a^2}}$$
今回の例ならば、
$$\qquad \int_{-\infty}^{\infty}e^{-a^2x^2-2\pi i(t_1+t_2)x}dx=\frac{\sqrt{\pi}}{|a|}e^{-\frac{\pi^2}{a^2}(t_1+t_2)^2}$$

    証明まず、平方完成する。
    \begin{align} \quad a^2x^2+bx&=a^2\left(x^2+\frac{b}{a^2}x\right)\\ &=a^2\left\{\left(x+\frac{b}{2a^2}\right)^2-\frac{b^2}{4a^4}\right\}\\ &=a^2\left(x+\frac{b}{2a^2}\right)^2-\frac{b^2}{4a^2} \end{align}

    よって、本題の積分は、
    \begin{align} \qquad \int_{-\infty}^{\infty}e^{-a^2x^2-bx}dx&=\int_{-\infty}^{\infty}e^{-a^2\left(x+\frac{b}{2a^2}\right)^2+\frac{b^2}{4a^2}}dx\\[2mm] &=\int_{-\infty}^{\infty}e^{-a^2x^2+\frac{b^2}{4a^2}}dx\\ &=e^{\frac{b^2}{4a^2}}\int_{-\infty}^{\infty}e^{-a^2x^2}dx\\ &\overset{\bigstar1}{=}\frac{\sqrt{\pi}}{|a|}e^{\frac{b^2}{4a^2}} \end{align}
    $1\to 2$行目は、$x+\frac{b}{2a^2}\to x$と変換し、$x$の一次を消している。

    今回は、$b=2\pi i(t_1+t_2)$であり、$$\quad \frac{b^2}{4a^2}=-\frac{4\pi^2(t_1+t_2)^2}{4a^2}=-\frac{\pi^2(t_1+t_2)^2}{a^2}$$であるから、
    $$\qquad \int_{-\infty}^{\infty}e^{-a^2x^2-2\pi i(t_1+t_2)x}dx=\frac{\sqrt{\pi}}{|a|}e^{-\frac{\pi^2}{a^2}(t_1+t_2)^2} $$

二回フーリエ変換する

\begin{align*} \ \ \hat{\hat{f}}(t_2)= \mathcal{F}\biggl[\mathcal{F}\bigl[f\bigr](\omega)\biggr](t_{2}) &=\int_{-\infty}^{\infty}\left(\int_{-\infty}^{\infty}f(t_1)e^{-2\pi i\omega t_{1}}dt_{1}\right)e^{-2\pi i\omega t_{2}} d\omega \\ &=\lim_{a\to 0}\int_{-\infty}^{\infty}e^{-a^2 \omega^2}\left(\int_{-\infty}^{\infty}f(t_1)e^{-2\pi i\omega t_{1}}dt_{1}\right)e^{-2\pi i\omega t_{2}} d\omega \\ &=\lim_{a\to 0}\int_{-\infty}^{\infty}f(t_{1})\left(\int_{-\infty}^{\infty}e^{-a^2\omega^2 - 2\pi i (t_{1}+t_{2})\omega}d\omega\right)dt_{1} \\ &\overset{\bigstar2}{=}\lim_{a\to 0}\frac{\sqrt{\pi}}{|a|}\int_{-\infty}^{\infty}f(t_{1})e^{-\frac{\pi^2}{a^2} (t_{1}+t_{2})^2} dt_{1} \\ &=\lim_{a\to 0}\frac{\sqrt{\pi}}{|a|}\int_{-\infty}^{\infty}f(t_{1}-t_{2})e^{-\frac{\pi^2}{a^2} t_{1}^2} dt_{1} \\ &=\lim_{a\to 0}\frac{1}{\sqrt{\pi}}\int_{-\infty}^{\infty}f\left(\frac{|a|}{\pi}t_{1}-t_{2}\right)e^{-t_1^2} dt_{1}\quad \left(\frac{\pi}{|a|} t_{1}\to t_1\right) \\ &=\frac{1}{\sqrt{\pi}}f(-t_{2})\int_{-\infty}^{\infty}e^{-t_1^2} dt_{1} \\ &\overset{\bigstar1}{=}f(-t_{2}) \end{align*}

関数列の極限が関数になってるような関数列$\{e^{-a^2x^2}\}$を用いて示した。
この結果から、即座に逆フーリエ変換を得られる。

逆フーリエ変換

$$\qquad f(x)=\mathcal{F}^{-1}[\,\hat{f}\,](x)=\int_{-\infty}^{\infty}\hat{f}(\omega)e^{2\pi i\omega x}d\omega$$

定理1より、

$$\quad f(x)=\mathcal{F}\biggl[\mathcal{F}\bigl[f\bigr](\omega)\biggr](-x)=\mathcal{F}[\hat{f}(\omega)](-x)$$
よって、フーリエ変換の定義に入れて、
$$\quad f(x)=\int_{-\infty}^{\infty}\hat{f}(\omega)e^{2\pi i\omega x}d\omega$$

超関数のモチベ?

フーリエ変換を、関数に収束するとは限らない一般の関数列に拡張してみる。

この辺りは超関数論や調和解析の分野なのだろうが、中の人は良くわからないので、あくまでも計算してみての「感想」である。

佐藤超関数におけるディラックのデルタ関数

$$\qquad \delta(x)=\lim_{s\to 0}\frac{-1}{2\pi i}\left(\frac{1}{x+is}-\frac{1}{x-is}\right)$$

これは、デルタ関数のひとつの定義である.

1のフーリエ変換

$$\qquad \int_{-\infty}^{\infty}e^{-2\pi i\omega x} d\omega=\delta(x)$$

証明

\begin{align*} \ \int_{-\infty}^{\infty}e^{-2\pi i\omega x} d\omega &=\lim_{s\to 0}\int_{-\infty}^{\infty}e^{-2\pi i\omega x}e^{-2\pi s|\omega|} d\omega\\ &=\lim_{s\to 0}\left(\int_{-\infty}^{0}e^{-2\pi i\omega x}e^{-2\pi s|\omega|} d\omega+\int_{0}^{\infty}e^{-2\pi i\omega x}e^{-2\pi s|\omega|} d\omega \right)\\ &=\lim_{s\to 0}\left(\int_{0}^{\infty}e^{2\pi i\omega x}e^{-2\pi s\omega} d\omega+\int_{0}^{\infty}e^{-2\pi i\omega x}e^{-2\pi s\omega} d\omega \right)\\ &=\lim_{s\to 0}\left(\int_{0}^{\infty}e^{2\pi i( x+is)\omega} d\omega +\int_{0}^{\infty}e^{-2\pi i(x-is)\omega} d\omega\right)\\ &=\lim_{s\to 0}\frac{-1}{2\pi i}\left(\frac{1}{x+is}-\frac{1}{x-is}\right)\\ &=\delta(x) \end{align*}

これはあくまでも、下の本命の方を考えていたときに必要になったものである。

本命の方

\begin{align*} \mathcal{F}\biggl[\mathcal{F}\bigl[f\bigr](\omega)\biggr](t_{2}) &=\int_{-\infty}^{\infty}\left(\int_{-\infty}^{\infty}f(t)e^{-2\pi i\omega t_{1}}dt_{1}\right)e^{-2\pi i\omega t_{2}} d\omega\\ &=\int_{-\infty}^{\infty}f(t_{1})\left(\int_{-\infty}^{\infty}e^{-2\pi i(t_1+t_2)\omega} d\omega\right)dt_{1}\\ &=\int_{-\infty}^{\infty}f(t_{1})\delta(t_{1}+t_{2})dt_{1}\\ &=f(-t_{2}) \end{align*}

感想

これは、確かに佐藤超関数のデルタ関数の定義を認めれば成り立ちそうである。
しかし、佐藤超関数の定義のモチベーションは、フーリエ変換の双対性からくるものだったのだろうと感じた。
デルタ関数の逆フーリエ変換は定義から明らかに1であるから、1のフーリエ変換はデルタ関数と分かる。
また、上の議論から1のフーリエ変換が公式1の最後の極限で表されると分かる。
佐藤超関数のデルタ関数のモチベはこれだったのかもしれねぇ。。

フーリエ変換で遊んでたら超関数論の片鱗がチラリズムした、面白い経験でした。
これを機に調和解析とか、関数解析を学び、いずれ超関数論にも踏み入れたいものです。
ほなまた。

投稿日:2023113
更新日:2023113
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

MAGNA
MAGNA
96
7043

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中