このページの使い方(参考書)

定義(区間 \\([-L,L]\\)、周期 \\(2L\\))

\[ f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty}\Bigl( a_n \cos\frac{n\pi x}{L} + b_n \sin\frac{n\pi x}{L} \Bigr) \tag{1} \]

意味:\\(f\\) を正弦・余弦の和で近似/表現します。基本角周波数は \\(\omega_0=\pi/L=2\pi/T\\)(\\(T=2L\\))。

単位:\\(f\\) と \\(a_0,a_n,b_n\\) の単位は同じ。\\(\cos,\sin\\) は無次元、\\(x\\) はしばしば時間 [s] や位置 [m]。

\[ a_0=\frac{1}{L}\!\int_{-L}^{L} f(x)\,dx,\quad a_n=\frac{1}{L}\!\int_{-L}^{L} f(x)\cos\frac{n\pi x}{L}\,dx,\quad b_n=\frac{1}{L}\!\int_{-L}^{L} f(x)\sin\frac{n\pi x}{L}\,dx \tag{2} \]

計算:被積分関数の単位×dx の単位=係数の単位(= \\(f\\) の単位)。

偶奇性で簡略化:\\(f\\) が偶関数なら \\(b_n=0\\)、奇関数なら \\(a_0=a_n=0\\)。

直交性とパーセヴァルの等式

\[ \int_{-L}^{L}\!\cos\frac{n\pi x}{L}\cos\frac{m\pi x}{L}\,dx= \begin{cases} 0 & (n\ne m),\\ L & (n=m\ne0), \end{cases}\quad \int_{-L}^{L}\!\sin\frac{n\pi x}{L}\sin\frac{m\pi x}{L}\,dx= \begin{cases} 0 & (n\ne m),\\ L & (n=m), \end{cases} \]
基底同士の“重なり”が 0 になるため、係数を個別に取り出せます。
\[ \frac{1}{L}\!\int_{-L}^{L}\!|f(x)|^2\,dx = \frac{a_0^2}{2} + \sum_{n=1}^{\infty}\bigl(a_n^2 + b_n^2\bigr) \tag{3} \]

意味:波形エネルギー(左辺)が係数の二乗和(右辺)に等しい(規格化に注意)。

ギブズ現象:不連続点付近では部分和がオーバーシュート(約9%)しますが、区間は狭くなります。

部分和で見るフーリエ級数(可視化ツール)

基本波形(正弦方形波/のこぎり/三角)を選び、半周期 \\(L\\)、振幅 \\(A\\)、項数 \\(N\\) を指定すると、 \\(a_0,a_n,b_n\\) を数値積分で求め、元の関数と部分和 \\(S_N\\) を重ねて表示します。

係数(上位 10 項まで)

          
        

単位:\\(x\\) が時間 [s] なら \\(\\omega_0=\\pi/L\\) [rad·s⁻¹]、周波数 \\(f_0=1/T=1/(2L)\\) [Hz]。

偶奇性と係数の消滅

練習問題(クリックで採点)

  1. \\(f\\) が奇関数のとき、0 になる係数は?(カンマ区切り) 
  2. 方形波(振幅 \\(A=1\\)、奇関数)の係数は \\(b_n=\\tfrac{4}{n\\pi}\\)(\\(n\\) 奇数)、\\(b_n=0\\)(\\(n\\) 偶数)。\\(n=1\\) の値は? 
  3. \\(T=0.020\\) s の基本周波数と角周波数は?(カンマ区切り、Hz と rad·s⁻¹)