バックナンバーはこちら。
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
【再掲】複素フーリエ係数に至る道
まずは複素フーリエ係数に至る道を再掲。
- 複素指数関数の積
- 複素指数関数が直交していない状態
- 複素指数関数が直交している状態
- 複素指数関数の直交性の確認
- 複素フーリエ係数の導出
いままでの式を元に複素フーリエ係数の式を導出する。
これまでの数式
これまでの数式の組み合わせで複素フーリエ係数の数式を導出できる。
必要な式を再掲しておこう。
複素フーリエ級数
\(
\displaystyle f(x)=\sum_{n=-\infty}^{\infty}C_n e^{inx}
\)
複素指数関数の直交性
\(
\displaystyle\int_{-\pi}^{\pi}e^{i(m-n)x}dx=
\begin{cases}
2\pi & (n =m) \\
0 & (n \neq m)
\end{cases}
\)
そういやこんな式あったなぁ・・・。
(そんなに昔の話ぢゃない・・・。)
複素フーリエ係数導出
「複素フーリエ係数」を解析したい数式と見なし、
「複素指数関数の直交性」を利用して、
直交している部分を0に、直交していない部分だけを抽出する。
その発想は実数フーリエの時もやったね。
数式は以下になる。
\(
\begin{eqnarray}
\displaystyle\int_{-\pi}^{\pi} f(x)e^{-inx} \, dx
&=&\int_{-\pi}^{\pi} C_0 e^0 e^{-inx} \, dx +
\int_{-\pi}^{\pi} C_1 e^{ix}e^{-inx} \, dx +
\int_{-\pi}^{\pi} C_2 e^{i2x}e^{-inx} \, dx + \dots
\int_{-\pi}^{\pi} C_n e^{inx}e^{-inx} \, dx \\
&=& \int_{-\pi}^{\pi} e^{i(k-m)x} \, dx\\
&=&2\pi C_n
\end{eqnarray}
\)
この式を移項して、\(C_n\)を求める式にする。
\(
\displaystyle\therefore C_n \frac{1}{2\pi}\int_{-\pi}^\pi f(x)e^{-inx}\,dx
\)
これが複素フーリエ係数を求める式ってことか。
まとめ
まとめだよ。
- 複素フーリエ級数の数式を導出。
- 「複素フーリエ係数」を解析したい数式と見なし、「複素指数関数の直交性」を利用して、直交している部分を0に、直交していない部分だけを抽出する。
バックナンバーはこちら。
マンガでわかるフーリエ解析
手を動かしてまなぶ フーリエ解析・ラプラス変換
物理数学 量子力学のためのフーリエ解析・特殊関数
単位が取れるフーリエ解析ノート
今日から使えるフーリエ変換 普及版 式の意味を理解し、使いこなす
コメント