本記事のポイント
本記事では、複雑な周期関数を単純な三角関数 ($\sin, \cos$) の和として表現する「フーリエ級数展開」の基礎概念を学びます。
- 周期関数の数学的定義: $f(x+T)=f(x)$ を満たす関数の性質。
- フーリエ解析の核心: ほとんどの周期関数は、異なる振動数を持つ三角関数の組み合わせで表現可能である。
- テイラー展開とのアナロジー: 複雑な関数を扱いやすい基本関数（多項式か三角関数か）で近似・展開するという共通の戦略。
1. 周期関数の復習と準備
1.1 三角関数の直交性（積分性質）
フーリエ係数を導出する際に極めて重要となる、$-\pi$ から $\pi$ までの積分における5つの性質を復習します（$n, m$ は自然数）。
- $\int_{-\pi}^{\pi}\sin nx\, dx = 0$
- $\int_{-\pi}^{\pi}\cos nx\, dx = 0$
- $\int_{-\pi}^{\pi}\sin nx \cos mx\, dx = 0$
- $\int_{-\pi}^{\pi}\sin nx \sin mx\, dx = \begin{cases}\pi & (n=m) \\ 0 & (n \ne m)\end{cases}$
- $\int_{-\pi}^{\pi}\cos nx \cos mx\, dx = \begin{cases}\pi & (n=m) \\ 0 & (n \ne m)\end{cases}$
この「同じ種類で同じ周波数のときだけ値を持ち、それ以外は0になる」という性質が、特定の係数を取り出すための「フィルター」の役割を果たします。
1.2 周期関数の定義
ある正の定数 $T$ が存在し、任意の $x$ に対して次式が成り立つとき、関数 $f(x)$ を周期 $T$ の周期関数と呼びます。
この性質から、周期の整数倍だけ離れた点ではすべて同じ値をとることが導かれます。
2. フーリエ級数展開の構成
フーリエ解析の最大のポイントは、「ほとんどの周期関数は、$\cos$ と $\sin$ の組み合わせで表現できる」という点にあります。
具体的には、周期関数 $f(x)$ を以下のような無限和として表します：
ここで、$a_{0}, a_{n}, b_{n}$ は各成分の「強さ」を表す係数です。我々の目的は、与えられた $f(x)$ に対して、これらの係数を計算によって導き出すことにあります。
3. テイラー展開との比較による理解
フーリエ展開の「特定の係数を計算で抽出する」という考え方は、既習のテイラー展開と非常に似ています。
3.1 テイラー展開の戦略
関数 $f(x)$ を多項式 $f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\dots$ で近似する場合、係数 $a_{n}$ を求めるために「微分」を利用します。
- $a_{0}$ を求める: $x=0$ を代入すると、他の項がすべて消え、$f(0)=a_{0}$ となる。
- $a_{1}$ を求める: 両辺を1回微分して $x=0$ を代入する。
- $a_{n}$ を求める: 両辺を $n$ 回微分して $x=0$ を代入する。
計算の結果、係数は $a_{n}=\frac{f^{(n)}(0)}{n!}$ と求められます。
【テイラー展開：一点での近似のイメージ】
3.2 フーリエ展開への応用
テイラー展開が「微分」によって不要な項を消去したように、フーリエ展開では前述の「積分の直交性」を利用します。特定の $\cos mx$ や $\sin mx$ を両辺に掛けて積分することで、特定の係数 $a_{m}, b_{m}$ だけを抽出します。
【フーリエ展開：区間全体での積分のイメージ】
4. 締め
今回はフーリエ級数の導入として、周期関数の定義と、それを三角関数の和で表すという目標を確認しました。テイラー展開が「一点（局所）での微分」に注目するのに対し、フーリエ展開は「一定区間での積分」を利用するという対比を意識すると、今後の計算の見通しが良くなります。次回は具体的な係数の計算方法（フーリエ係数）に踏み込んでいきます。
コメント