Imaginary Dive!!

複素数, 研究, 科学について

複素数のための数学

フーリエ変換まであと一歩!フーリエの積分公式

投稿日:2020年8月5日 更新日:

フーリエ級数展開は $ a_0 \; /2 + a_1 \cdot \cos{x} + a_2 \cdot \cos{2x} + $ . . . と離散的な数値の無限和(級数)で とある周期関数を表します.

高校で習った通り, 特別な操作で 級数( $ \sum $ )と積分( $ \int $ )は変換でき, 積分にすると離散的な値ではなく, 連続した値の和として, とある関数を表すことができます. これがフーリエの積分公式です. 詰まる所, フーリエの積分公式とはフーリエ級数展開の連続値 version と言えましょう.

フーリエの積分公式はフーリエ変換へ至る最後の一歩です.

この記事では, 三角関数型のフーリエ積分公式を導出します.

周期 2$ L $ のフーリエ級数展開(復習)

フーリエ級数展開と言いますと, 一般には周期 2$ \pi $ の周期関数を対象としますが, 周期 2$ L $ ($ L \ne \pi $) でもフーリエ級数展開は可能です. 区間 [$-L$, $L$] で区分的に滑らかな $ f(x) $ につきまして,

$$ f(x) = \frac{a_0}{2} + \sum_{m=1}^{\infty} \left( a_m \cos{\frac{m \pi x}{L}} + b_m \sin{\frac{m \pi x}{L}} \right) $$

となり, 係数は以下のように表されます.

\begin{eqnarray} a_0 &=& \frac{1}{L} \int_{-L}^{L} f(x) dx \\ a_m &=& \frac{1}{L} \int_{-L}^{L} f(x) \cos{\frac{m \pi x}{L}} dx \\ b_m &=& \frac{1}{L} \int_{-L}^{L} f(x) \sin{\frac{m \pi x}{L}} dx \end{eqnarray}

詳細は以下の記事をご参照ください.

非周期関数と周期2πでない周期関数のフーリエ級数展開

フーリエの積分公式(周期 $ \infty $ のフーリエ級数展開)

上記のフーリエ級数展開は周期 2$ L $ でした. これを $ L \rightarrow \infty $ とし, 周期 $ \infty $ のフーリエ級数展開へ拡張します. するとフーリエの積分公式が得られます. どういうことか実際に見て頂きましょう.

まず, 先ほどの周期 2$ L $ のフーリエ級数展開の式に係数を代入します.

\begin{eqnarray} f(x) = \frac{1}{2L} \int_{-L}^{L} f(x) dx &+& \frac{1}{L} \sum_{m=1}^{\infty} \; \Big[ \cos{ \frac{m \pi x}{L} } \int_{-L}^{L} f( \omega ) \cos{ \frac{m \pi \omega}{L} } d \omega \\ &+& \sin{ \frac{m \pi x}{L} } \int_{-L}^{L} f( \omega ) \sin{ \frac{m \pi \omega}{L} } d \omega \; \Big] \cdots (1) \end{eqnarray}

ここで, $ f(x) \in L^1 (\mathbb{R}) $, 即ち,

$$ \int_{- \infty}^{\infty} \left| f(x) \right| dx < \infty $$

ならば, (1)式の右辺第1項は $ L \rightarrow \infty $ でゼロになります. 次に,

\begin{eqnarray} \omega _m &=& \frac{m \pi }{L} \\ \Delta \omega &=& \omega _{m+1} – \omega _m = \frac{(m+1) \pi }{L} – \frac{m \pi}{L} = \frac{\pi}{L} \end{eqnarray}

とおくと, $ L \rightarrow \infty $ で, $ \Delta \omega \rightarrow 0 $. したがって, (1)式は以下のように変形できます.

\begin{eqnarray} f(x) = \lim_{\Delta \omega \to 0} \frac{\Delta \omega}{\pi} \sum_{m=1}^{\infty} \; &\Big[& \cos{( \omega _m x)} \int_{- \infty}^{\infty} f(\xi) \cos{( \omega _m \xi )} d \xi \\ &+& \sin{( \omega _m x)} \int_{- \infty}^{\infty} f( \xi ) \sin{( \omega _m \xi )} d \xi \; \Big] \cdots (2) \end{eqnarray}

リーマン積分の定義(積分とは, とある曲線と $x$軸とで囲まれた領域を限りなく細長い長方形の面積の和で表すこと)から,

$$ \lim_{\Delta \omega \to 0} \sum_{m=1}^{\infty} \Delta \omega F(\omega _m ) \rightarrow \int_{0}^{\infty} d \omega F(\omega ) $$

となるので, (2)式は以下のように表すことができます.

\begin{eqnarray} f(x) = \frac{1}{\pi} \int_{0}^{\infty} &\Big(& \cos{( \omega _m x)} \int_{- \infty}^{\infty} f(\xi) \cos{( \omega _m \xi )} d \xi \\ &+& \sin{( \omega _m x)} \int_{- \infty}^{\infty} f( \xi ) \sin{( \omega _m \xi )} d \xi \; \Big) d \omega \end{eqnarray}

これを三角関数の加法定理を使って整理すると,

\begin{eqnarray} f(x) &=& \frac{1}{\pi} \int_{0}^{\infty} &\bigg[& \int_{- \infty}^{\infty} f(\xi) \Big( \cos{( \omega _m x)} \cos{( \omega _m \xi )} d \xi \\ &\;& &+& \sin{( \omega _m x)} \sin{( \omega _m \xi )} \Big) d \xi \; \bigg] d \omega \\ &=& \frac{1}{\pi} \int_{0}^{\infty} &\bigg(& \int_{- \infty}^{ \infty } f( \xi ) \cos{ \omega (x- \xi )} \; d \xi \bigg) d \omega \end{eqnarray}

となり, フーリエの積分公式が導かれました.

フーリエの積分公式(三角関数型)

$ f(x) \in L^1 (\mathbb{R}) $ かつ, 区分的に滑らかであるとき,

$$ f(x) = \frac{1}{\pi} \int_{0}^{\infty} \bigg( \int_{- \infty}^{ \infty } f( \xi ) \cos{ \omega (x- \xi )} \; d \xi \bigg) d \omega $$

が成り立つ.

フーリエ級数展開が成立する条件は, 周期的, かつ区間内で区分的に滑らかなことでした. 一方, フーリエ積分においては周期的である必要はありませんが, 初項が発散しないように, $ f(x) \in L^1 (\mathbb{R}) $ という条件が必要になります.

まとめ

フーリエの積分公式は周期 $ \infty $ のフーリエ級数展開であり, 離散値ではなく, 連続値で表された展開式です.

そして, この式こそフーリエ変換の定義を表しているのですが, その辺りのことは次回お話しましょうぞ.

-複素数のための数学
-, , ,

執筆者:


comment

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

関連記事

フーリエ級数展開が自身と一致することの証明:ジョルダン・ルベーグの定理

フーリエ級数展開は (私の意見としまして), その概念を理解すれば十分に応用が可能です. 係数の求め方はネットに載っていますので, 忘れたときにはお手持ちの端末で検索すれば見つけられますし, 証明を知 …

非周期関数と周期2πでない周期関数のフーリエ級数展開

フーリエ級数展開できる関数には条件がありました. その条件というのが「周期 2$ \pi $ の周期関数であること」でした. しかし, とある特別な操作によって, この制約を取り払い, 疑似的に「非周 …

フーリエ級数展開とは何か? (マクローリン展開とのアナロジーでざっくり解説)

フーリエ級数展開の主な使い方は熱伝導方程式や波動方程式など, 偏微分方程式の解を求めることですが, その考え方はフーリエ変換にも使われ, 幅広く応用される概念であります. そんな重要な概念のフーリエ級 …

テイラー展開, マクローリン展開とは何か?

マクローリン展開は様々な関数を「 $ x^n $ ( $n \geqq $ 0 の整数) の線形和」に変形する便利な数学的操作です. $\sin{(x)}$ などの三角関数や $ e^x $ などの指 …

コーシーの平均値の定理を視覚的に理解する

オイラーの公式を証明したり, 関数の近似値を計算するときに便利なマクローリン展開という操作があります. 今回はマクローリン展開を扱うための下準備として「コーシーの平均値の定理」をやっていきます. コー …