バックナンバーはこちら。
https://www.simulationroom999.com/blog/compare-matlabpythonscilabjulia5-backnumber/
はじめに
前回は、cos関数、sin関数を複素指数関数で表現したものをMATLABで検算してみた。
結果としては、異なるような結果に見える。
これの理由を今回は解説。
登場人物
博識フクロウのフクさん

イラスト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\)にする。

前回、MATLABで検算した結果が、数式と異なるような感じになったので、
これについての解説になる。
【再掲】sin,cosを複素指数関数で表現する公式とMATLABが出力した式。

これが理屈上の数式。
\(
\begin{eqnarray}
\begin{bmatrix}
\cos(x)\\
\sin(x)
\end{bmatrix}&=&
\begin{bmatrix}
\displaystyle\frac{1}{2}&\displaystyle\frac{1}{2}\\
\displaystyle\frac{1}{2i}&\displaystyle – \frac{1}{2i}
\end{bmatrix}
\begin{bmatrix}
e^{ix}\\e^{-ix}
\end{bmatrix}\\
\end{eqnarray}
\)

こっちがMATLABが出力した数式。
\(
\begin{eqnarray}
\begin{bmatrix}
1&i\\
1&-i
\end{bmatrix}^{-1}=
\begin{bmatrix}
0.5&0.5\\
-0.5i&0.5i
\end{bmatrix}=
\begin{bmatrix}
\displaystyle\frac{1}{2}&\displaystyle\frac{1}{2}\\
\displaystyle-\frac{1}{2}i&\displaystyle\frac{1}{2}i
\end{bmatrix}
\end{eqnarray}
\)

というわけで一致しないんだよなぁ・・・。
虚数で割ることと負の虚数を掛けること。

結論としては、
これらの式は同一だ。

どこが同一なんだよ!

これは虚数で割ることと、負の虚数が掛けることが同一であるために発生している事象だ。

虚数で割ることと、負の虚数が掛けることが同一?
なんで?
虚数で割ることと負の虚数を掛けることが同一であることの証明

これの証明は簡単だ。
\(
\displaystyle\frac{1}{i}=\frac{1\times i}{i\times i}=\frac{1i}{-1}=-1i
\)

あ、ホントだ!

これを加味してMATLABが出力したものを変形する。
\(
\begin{eqnarray}
\begin{bmatrix}
1&i\\
1&-i
\end{bmatrix}^{-1}=
\begin{bmatrix}
0.5&0.5\\
-0.5i&0.5i
\end{bmatrix}=
\begin{bmatrix}
\displaystyle\frac{1}{2}&\displaystyle\frac{1}{2}\\
\displaystyle-\frac{1}{2}i&\displaystyle\frac{1}{2}i
\end{bmatrix}=
\begin{bmatrix}
\displaystyle\frac{1}{2}&\displaystyle\frac{1}{2}\\
\displaystyle\frac{1}{2i}&-\displaystyle\frac{1}{2i}
\end{bmatrix}
\end{eqnarray}
\)

なるほど。
確かに一致した。

「虚数で割ることと負の虚数を掛けることが同一」は
複素フーリエ級数を導出するときにも使用するから覚えておいた方が良いだろう。
まとめ

まとめだよ。
- 「虚数で割ることと負の虚数を掛けることが同一」である。
- 上記を証明。
- これは、複素フーリエ級数を導出するときにも使用するから覚えておいた方が良い。
バックナンバーはこちら。
マンガでわかるフーリエ解析
手を動かしてまなぶ フーリエ解析・ラプラス変換
物理数学 量子力学のためのフーリエ解析・特殊関数
単位が取れるフーリエ解析ノート
今日から使えるフーリエ変換 普及版 式の意味を理解し、使いこなす
コメント