Imaginary Dive!!

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

複素数のための数学

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

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

フーリエ級数展開できる関数には条件がありました. その条件というのが「周期 2$ \pi $ の周期関数であること」でした.

しかし, とある特別な操作によって, この制約を取り払い, 疑似的に「非周期関数」や「周期が 2$ \pi $でない周期関数」であってもフーリエ級数展開を実行することができます. この記事ではその特別な操作を紹介していきます.

非周期関数のフーリエ級数展開

区間 [0, $ \pi $] で定義された $ f(x) $ という区分的に滑らかな関数を考えていきます. $ f(x) $ は周期関数でも, 非周期関数でも, どちらでも構いません.

この関数は原点から始まり, 正の領域でのみ定義されています. そこで, 負の方にも無理やり定義し, 無理やり周期関数にします. これには2つの方法があります.

偶関数拡張

1つ目の方法は y軸を中心として線対称に関数 $ f(x) $ を拡張することです. 関数を y軸でパタリと折り返し, 負の領域にも転写すれば, 新たに以下のような $ F(x) $ という関数ができます.

\begin{eqnarray} F(x) = \left\{ \begin{array} \; f (x) \; , \;\; &x& &\in& &[& 0, \; \pi &]& \\ \; f(-x) \; , \;\; &x& &\in& &[& -\pi , \; 0 &)& \end{array} \right. \end{eqnarray}

すると $ F(x) $ はめでたく周期関数となり (ついでに今回はたまたま周期 2$ \pi $ なので), フーリエ級数展開が実行可能です. また, $ F(x) $ は偶関数ですので, フーリエ級数展開を行ったときに sin の係数は消えてなくなり, cos のみで表すことができます.

フーリエ級数展開の基本的なことは以下の記事で解説しました.

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

この方法を用いるとあらゆる関数を偶関数の周期関数とすることができるので, この操作を「偶関数拡張」と呼びます. また, 遇関数拡張した関数のフーリエ級数展開を, フーリエ余弦級数と呼びます.

奇関数拡張

偶関数拡張があるならば, もう1つの方法は当然奇関数拡張です. 奇関数拡張は原点を中心に点対称に関数を転写し, 新たな $ G(x) $ という関数を作ります.

\begin{eqnarray} F(x) = \left\{ \begin{array} \; f (x) \; , \;\; &x& &\in& &[& 0, \; \pi &]& \\ \; – f(-x) \; , \;\; &x& &\in& &[& -\pi , \; 0 &)& \end{array} \right. \end{eqnarray}

できた関数 $ G(x) $ は奇関数の周期関数です. フーリエ級数展開を実行すると, sin だけになり, このフーリエ級数展開をフーリエ正弦級数と呼びます.

周期が 2$ \pi $ でない関数のフーリエ級数展開

続きまして, 区間 [$ -L $, $L$] で定義された $ f(x) $ という周期関数について考えていきます. ご覧の通り, $ f(x) $ は一般に周期 2$ \pi $ ではなく, そのままではフーリエ級数展開することができません. そこで, 変数変換を実行し, 周期を無理やり 2$ \pi $ にします.

$$ x= \frac{ L }{ \pi } \xi , \; g( \xi ) = f(x) = f ( \frac{L}{ \pi } \xi ) $$

とすると, 関数 $ g( \xi ) $ は, 区間 [$ – \pi $ , $ \pi $] で定義された周期 2$ \pi $ の周期関数となり, フーリエ級数展開することができます.

\begin{eqnarray} a_0 &=& \frac{1}{ \pi } \int_{- \pi }^{ \pi } g( \xi ) \; d \xi \\ a_m &=& \frac{1}{ \pi } \int_{ – \pi }^{ \pi } g( \xi ) \cos{ m \xi } \; d \xi \\ b_m &=& \frac{1}{ \pi } \int_{ – \pi }^{ \pi } g( \xi ) \sin{ m \xi } \; d \xi \end{eqnarray}

$ \frac{ d \xi }{ d x } = \frac{ \pi }{L} $ を使って, 変数を $x$ に戻せば,

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

となりました. sin と cos の中身が通常のフーリエ級数展開の場合と異なりますが, 元の関数を sin と cos のみからなる関数の形に展開することができました.

まとめ

今回述べた2つの操作と関数の並進操作を使えば, 理屈の上ではあらゆる関数をフーリエ級数展開することができます.

電気信号や音の信号を測定するとき, 基本的に測定の開始時点は「0 s」です. それらをフーリエ級数展開(フーリエ変換)するためには, 今回のように負領域に拡張し, 区間を適切に変更する必要があるわけで, スペクトルアナライザーなどはこうした操作を自動で行ってくれているわけですね.

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

執筆者:


comment

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

関連記事

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

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

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

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

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

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

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

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

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

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