フーリエ解析学

三角関数の直交性のまとめ。各種式を確認。直交性具合をアニメーションで確認。三角関数の畳み込みをプログラムでやっている予定。

m=nの時のcos関数の内積を求める。分母が0になるため、極限値を利用する。結果としてはπになる。つまり、同じ角周波数のcos同士の内積は必ずπになる。

cos関数同士の直交性を確認。cos同士の積和公式の定積分を元に解いていく。最終的にはsinが0になるので、内積の結果も0となる。結果としてcos関数同士は直交していることになる。

m=nの時のsin関数の内積を求める。分母が0になるため、極限値を利用する。結果としてはπになる。つまり、同じ角周波数のsin同士の内積は必ずπになる。

sin関数同士の直交性を確認。sin同士の積和公式の定積分を元に解いていく。最終的にはsinが0になるので、内積の結果も0となる。結果としてsin関数同士は直交していることになる。

sinとcosの内積と畳み込み積分を考える。奇関数、偶関数の特性より、sin、cosの畳み込み積分は0となる。畳み込み積分が0ということは内積も0になる。内積が0ということは直交しているということになる。

直交性とは2つのベクトルが垂直に交わることを指す。直交しているベクトルの内積は必ず0になる。cos関数の影響。成分表記の内積でも0になることを確認。

はさみうちの原理について説明。sinc関数について説明＆MATLABでプロットしてみた。(Pythonコードも)

円に接する三角形と扇形の面積の不等式を最適化。いろいろ弄っていくと、はさみうちの原理により1が求められる。

重要な極限値について説明。sin(x)/xのxを0に近づける極限値。まずは円に接する三角形と扇形に着目する。これが先ほどの極限値にどうつながるかは次回。