Imaginary Dive!!

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

複素数基礎

複素形式のフーリエ級数展開とは何か

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

フーリエ級数展開の式

$$ f(x) \sim \frac{a_0}{2} + \sum_{m=1}^{\infty} a_m \cos{mx} + b_m \sin{mx} $$

は, 三角関数の多項式で表されますが, オイラーの公式を使って複素数に変換すると, 複素形式で表すことができます.

複素形式のフーリエ級数展開は, 後のフーリエ変換のときにも非常に重要になって参りますので, ここで押さえておきましょう.

普通のフーリエ級数展開(復習)

複素形式のフーリエ級数展開をやる前に, 普通のフーリエ級数展開を復習しておきたいと思います.

区間 \( [ – \pi , \pi ] \) で定義された区分的に滑らかな実関数 \( f(x) \) を考えます(以降登場する \( f(x) \) も全て, 区間 \( [ – \pi , \pi ] \) で区分的に滑らかな実関数とします).

この関数をフーリエ級数展開したときの係数は

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

で, フーリエ級数展開は

$$ f(x) \sim \frac{a_0}{2} + \sum_{m=1}^{\infty} a_m \cos{mx} + b_m \sin{mx} $$

と表せます. 詳しくは下の記事を参照下さい.

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

複素形式のフーリエ級数展開

本題の複素形式です. 結論から述べますと,

$$ \dot{A_m} = \frac{1}{2 \pi} \int_{- \pi}^{\pi} f(x) e^{-imx} dx $$

と置いて, 無限和

$$ \sum_{m= – \infty}^{\infty} \dot{A_m} e^{imx} $$

を考えると,

$$ \sum_{m= – \infty}^{\infty} \dot{A_m} e^{imx} = \frac{a_0}{2} + \sum_{m=1}^{\infty} \left( a_m \cos{mx} + b_m \sin{mx} \right) $$

となります. ということで,

$$ f(x) \sim \sum_{m= – \infty}^{\infty} \dot{A_m} e^{imx} $$

を複素形式のフーリエ級数展開と呼びます.

本当にこうなるのかを確かめるために, 以下で計算してみます.

オイラーの公式

ここから, オイラーの公式を使います. オイラーの公式は三角関数と指数関数を複素数で繋ぐ公式です.

$$ e^{ix} = \cos{x} + i \sin{x} $$

オイラーの公式の詳細は以下の記事をご参照のこと.

複素指数関数の定義を考え、オイラーの公式を導出 (証明)する

計算(証明)

では, オイラーの公式を使って実際に計算してみます. 示したいのは,

$$ \sum_{m= – \infty}^{\infty} \dot{A_m} e^{imx} = \frac{a_0}{2} + \sum_{m=1}^{\infty} \left( a_m \cos{mx} + b_m \sin{mx} \right) $$

です. オイラーの公式より,

\begin{eqnarray} e^{imx} &=& \cos{mx} + i \sin{mx} \\ e^{-imx} &=& \cos{(-mx)} + i \sin{(-mx)} \\ &=& \cos{mx} – i \sin{mx} \end{eqnarray}

よって,

\begin{eqnarray} \dot{A_m} &=& \frac{1}{2 \pi} \int_{- \pi}^{\pi} f(x) \cdot \left( \cos{mx} -i \sin{mx} \right) \; dx \\ &=& \frac{1}{2 \pi} \left[ \int_{- \pi}^{\pi} f(x) \cos{mx} \; dx – i \int_{- pi}^{\pi} f(x) \sin{mx} \; dx \right] \\ &=& \frac{1}{2 \pi} \left( \pi a_m -i \pi b_m \right) \\ &=& \frac{1}{2} \left( a_m -i b_m \right) \end{eqnarray}

となり,

\begin{eqnarray} \dot{A_m} e^{imx} &=& \frac{1}{2} \left( a_m – i b_m \right) \; \left( \cos{mx} + i \sin{mx} \right) \\ &=& \frac{1}{2} \left\{ \left( a_m \cos{mx} + b_m \sin{mx} \right) +i \left( a_m \sin{mx} – b_m \cos{mx} \right) \right\} \end{eqnarray}

となります. 同様に,

\begin{eqnarray} \dot{A_{-m}} e^{i(-m)x} &=& \frac{1}{2} \left( a_m + i b_m \right) \; \left( \cos{mx} -i \sin{mx} \right) \\ &=& \frac{1}{2} \left\{ \left( a_m \cos{mx} + b_m \sin{mx} \right) +i \left( – a_m \sin{mx} + b_m \cos{mx} \right) \right\} \end{eqnarray}

となります. 2つを足すと, 虚部が消えて,

$$ \dot{A_m} e^{imx} + \dot{A_{-m}} e^{i(-m)x} = a_m \cos{mx} + b_m \sin{mx} $$

となります. よって,

$$ \dot{A_0} \; e^0 + \sum_{m=1}^{\infty} \left( \dot{A_m} e^{imx} + \dot{A_{-m}} e^{i(-m)x} \right) = \frac{a_0}{2} + \sum_{m=1}^{\infty} \left( a_m \cos{mx} + b_m \sin{mx} \right) $$

であり, 書き換えると,

$$ \sum_{m= – \infty}^{\infty} \dot{A_m} e^{imx} = \frac{a_0}{2} + \sum_{m=1}^{\infty} \left( a_m \cos{mx} + b_m \sin{mx} \right) $$

となります. 無事に示せました.

まとめ

積分の中身は複素数ですが, 虚部が消えてちゃんと綺麗になりました.

複素数が関わってくるとオイラーの公式が大活躍します. この辺りの分野を学ぶ上ではどこに行っても目にする公式なので, 流石に覚えた方がいいかもしれません.

複素形式のフーリエ級数展開はあくまでフーリエ変換への伏線です. フーリエ変換まで到達したときに, 重要性が明らかになります.

-複素数基礎
-, , ,

執筆者:


comment

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

関連記事

フーリエ逆変換とフーリエ変換の諸性質

本稿では, フーリエ逆変換やフーリエ変換の便利な性質について解説します. 前回の復習 → フーリエ逆変換 → フーリエ変換の諸性質 (公式) という順でやっていきましょう. フーリエ変換(復習) フー …

複素数, 虚数とは何か?複素数の歴史、虚数単位、複素数の分類

複素数 , 虚数とは? 高等学校で学ぶのは複素数の初歩のみ. これが何の役に立つのか, を高校で学ぶことはありません. 本サイトでは複素数の活用法, 何に利用されるのか, といったあたりに焦点を当てて …

オイラーの公式の利用

オイラーの公式がファイマンをして「我々の至宝だ」と評されるのは, 形の「美しさ」や「数学上の発展」に寄与したためだけではありません. オイラーの公式の優れた点は, 数学上の応用に留まらず, 電磁気, …

分母に複素変数の2乗を持つ複素関数の積分

電気回路や, 信号解析をやっていると急に複素数の知識を求められることがあります. 本記事では, 分母に複素数の 2乗が現れる以下のような複素積分を解説します. $$ \int_{u}^{v} \fra …

フーリエ変換とは何か?指数関数型のフーリエ積分とフーリエ変換の定義

この記事では, フーリエ変換とは何なのか, について語ります. フーリエ級数展開, オイラーの公式, 級数( \( \sum \) )→ 積分( \( \int \) )の変換, フーリエ積分など, …