MATLAB,Python,Scilab,Julia比較 第5章 その73【複素フーリエ級数⑤】

MATLAB,Python,Scilab,Julia比較 第5章 その73【複素フーリエ級数⑤】 数値計算
MATLAB,Python,Scilab,Julia比較 第5章 その73【複素フーリエ級数⑤】

バックナンバーはこちら。
https://www.simulationroom999.com/blog/compare-matlabpythonscilabjulia5-backnumber/

はじめに

前回は、「虚数で割ることと負の虚数を掛けることが同一」について証明。
今回から複素フーリエ級数を導出する。

登場人物

博識フクロウのフクさん

指差しフクロウ

イラストACにて公開の「kino_k」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=iKciwKA9&area=1

エンジニア歴8年の太郎くん

技術者太郎

イラストACにて公開の「しのみ」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=uCKphAW2&area=1

【再掲】複素フーリエ級数に至る道

太郎くん
太郎くん

まずは複素フーリエ級数に至る道を再掲。

  • テイラー級数
  • マクローリン級数
  • 指数関数のマクローリン展開
  • cos(x)のマクローリン展開
  • sin(x)のマクローリン展開
  • オイラーの公式
  • 複素フーリエ級数
太郎くん
太郎くん

さらに、複素フーリエ級数を導出するステップも再掲。

  • オイラーの公式とそれの変形の式を元にcos関数、sin関数を複素指数関数で表現する。
  • 実数フーリエ級数のcos関数、sin関数に上記を代入する。
  • 代入した上で頑張って最適化する。
  • Σの下限を\(-\infty\)、上限を\(\infty\)にする。
フクさん
フクさん

今回から複素フーリエ級数を導出する。
「代入した上で頑張って最適化する。」の部分に該当。

【再掲】フーリエ級数とsin,cosを複素指数関数で表現する公式

フクさん
フクさん

まずはフーリエ級数を再掲

\(
\displaystyle f(x)=\frac{a_0}{2}+\sum_{n=1}^\infty\{a_n\cos(nx)+b_n\sin(nx)\}
\)

フクさん
フクさん

そして、sin,cosを複素指数関数で表現する公式

\(
\begin{eqnarray}
\begin{cases}
\displaystyle\cos(x)=\frac{e^{ix}+e^{-ix}}{2} \\
\displaystyle\sin(x)=\frac{e^{ix}-e^{-ix}}{2i} \\
\end{cases}
\end{eqnarray}
\)

太郎くん
太郎くん

これらを組み合わせて複素フーリエ級数にするって感じか。

フクさん
フクさん

そうそう。

まずは代入してみる。

フクさん
フクさん

まずは単純に代入して、いい感じに最適化を試みる。

\(
\begin{eqnarray}
\displaystyle
f(x) &=& \frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos(nx) + b_n \sin(nx)) \\
&=& \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \frac{e^{inx} + e^{-inx}}{2} + b_n \frac{e^{inx} – e^{-inx}}{2i}\right) \dots(単純に代入)\\
&=& \frac{a_0}{2} + \sum_{n=1}^{\infty}\left( \frac{a_n e^{inx}}{2} + \frac{a_n e^{-inx}}{2}+\frac{b_n e^{inx}}{2i}-\frac{b_n e^{-inx}}{2i}\right)\\
&=& \frac{a_0}{2} + \sum_{n=1}^{\infty}\left( \frac{a_n e^{inx}}{2} + \frac{a_n e^{-inx}}{2}-b_n\frac{e^{inx}}{2}+\frac{b_n e^{-inx}}{2i}\right)\dots(iで割ることは-iを掛けること)\\
&=&\frac{a_0}{2}+\sum_{n=1}^\infty e^{inx}\frac{a_n-i b_n}{2}+\sum_{n=1}^\infty e^{-inx}\frac{a_n+i b_n}{2}
\end{eqnarray}
\)

太郎くん
太郎くん

ここでも、「虚数で割ることが負の虚数を掛けることが同一」って理屈を使うのか。

太郎くん
太郎くん

だいぶスッキリしたけど、これが複素フーリエ級数?

フクさん
フクさん

いや、まだもう少し変形が必要だ。

まとめ

フクさん
フクさん

まとめだよ。

  • 実数フーリエ級数にsin,cosを福祉指数関数で表現する公式を代入。
  • ここでも「虚数で割ることが負の虚数を掛けることが同一」って理屈を使う。
  • 複素フーリエ級数導出までもう一歩。

バックナンバーはこちら。

マンガでわかるフーリエ解析

Amazon.co.jp

手を動かしてまなぶ フーリエ解析・ラプラス変換

Amazon.co.jp

物理数学 量子力学のためのフーリエ解析・特殊関数

物理数学 量子力学のためのフーリエ解析・特殊関数 | 柴田 尚和, 是常 隆 | 数学 | Kindleストア | Amazon
Amazonで柴田 尚和, 是常 隆の物理数学 量子力学のためのフーリエ解析・特殊関数。アマゾンならポイント還元本が多数。一度購入いただいた電子書籍は、KindleおよびFire端末、スマートフォンやタブレットなど、様々な端末でもお楽しみい...

単位が取れるフーリエ解析ノート

https://amzn.to/3V83fIl

今日から使えるフーリエ変換 普及版 式の意味を理解し、使いこなす

https://amzn.to/3ysbfvf

コメント

タイトルとURLをコピーしました