Imaginary Dive!!

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

複素数のための数学

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

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

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

一方, 特別な操作を行うと, 無限級数( \( \sum \) )は積分( \( \int \) )に変換でき, 積分にすると離散的な値ではなく, 連続した値の和となります. ざっくり言えば, これがフーリエの積分公式です. 詰まる所, フーリエの積分公式とは, 「フーリエ級数展開の連続値形式」と言えましょう.

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

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

周期 \( 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

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

関連記事

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

フーリエ級数展開は, 熱伝導方程式や波動方程式で現れる「偏微分方程式」の解を求めること, また, フーリエ変換に応用されます. そんなフーリエ級数展開ですが, フーリエ級数展開した関数と展開する前の関 …

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

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

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

フーリエ級数展開の係数の求め方はネットに載っていますので, 忘れたときにはお手持ちの端末で検索すれば見つけられますし, 証明を知らなくてもフーリエ級数展開はできます. フーリエ級数展開は実用的な数学操 …

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

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

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

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