バックナンバーはこちら。
https://www.simulationroom999.com/blog/compare-matlabpythonscilabjulia5-backnumber/
はじめに
前回から、複素フーリエ級数に向けての話に突入。
今回は、オイラーの公式とそれの変形の式を元にcos関数、sin関数を複素指数関数で表現する。
登場人物
博識フクロウのフクさん
イラスト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\)にする。
今回は、オイラーの公式とそれの変形の式を元にcos関数、sin関数を複素指数関数で表現する。
【再掲】オイラーの公式とその変形式
オイラーの公式とその変形式を再掲しておこう。
オイラーの公式
\(
e^{ix}=\cos(x)+i\sin(x)
\)
オイラーの公式の変形式
\(
e^{-ix}=\cos(x)-i\sin(x)
\)
求めたいのは\(\cos(x)\)と\(\sin(x)\)という二つの関数。
これを求めるにはどうしたらよいか?
うーん、話だけ聞くと連立方程式とかになるような気がするけど、
\(\cos(x)\)と\(\sin(x)\)という関数に対して解けるのかがわからん。
連立方程式で正解だ。
ぶっちゃけ解きたい対象が関数か変数かは関係ない。
そして、連立方程式を解くには逆行列を使用するの手っ取り早い。
そうか。逆行列を求めれば一撃で求められるのか。
逆行列でcos関数とsin関数を解く
以下の流れで解ける。
\(
\begin{eqnarray}
\begin{bmatrix}
e^{ix}\\e^{-ix}
\end{bmatrix}&=&
\begin{bmatrix}
1&i\\
1&-i
\end{bmatrix}
\begin{bmatrix}
\cos(x)\\
\sin(x)
\end{bmatrix}\\
\begin{bmatrix}
\cos(x)\\
\sin(x)
\end{bmatrix}&=&
\begin{bmatrix}
1&i\\
1&-i
\end{bmatrix}^{-1}
\begin{bmatrix}
e^{ix}\\e^{-ix}
\end{bmatrix}\\
&=&\displaystyle\frac{1}{1(-i)-1i}
\begin{bmatrix}
-i&-i\\
-1&1
\end{bmatrix}
\begin{bmatrix}
e^{ix}\\e^{-ix}
\end{bmatrix}\\
&=&\displaystyle\frac{1}{-2i}
\begin{bmatrix}
-i&-i\\
-1&1
\end{bmatrix}
\begin{bmatrix}
e^{ix}\\e^{-ix}
\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}
\)
というわけで、以下2つの式が得らえる
\(
\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}
\)
そうか。逆行列を求めれば一撃で求められるのか。
そうそう。
まとめ
まとめだよ。
- オイラーの公式とそれの変形の式を元にcos関数、sin関数を複素指数関数で表現するため、連立方程式を解いた。
- 連立方程式は行列を使うと一撃。
バックナンバーはこちら。
マンガでわかるフーリエ解析
手を動かしてまなぶ フーリエ解析・ラプラス変換
物理数学 量子力学のためのフーリエ解析・特殊関数
単位が取れるフーリエ解析ノート
今日から使えるフーリエ変換 普及版 式の意味を理解し、使いこなす
コメント