収束の直感的理解

はじめに

フーリエ級数を有限項で打ち切ったとき、それは元の関数にどのくらい近いのか？項数を増やすと本当に元の関数に収束するのか？この章では、収束に関する直感的な理解を深める。

部分和による近似

フーリエ級数の最初の $N$ 項までの和を部分和という：

$$S_N(x) = \dfrac{a_0}{2} + \displaystyle\sum_{n=1}^{N}\left(a_n\cos nx + b_n\sin nx\right)$$

矩形波の場合

• $N = 1$：$S_1(x) = \dfrac{4}{\pi}\sin x$（なめらかな正弦波）
• $N = 3$：$S_3(x) = \dfrac{4}{\pi}\left(\sin x + \dfrac{\sin 3x}{3}\right)$（少し角ばる）
• $N = 10$：かなり矩形波に近づく
• $N \to \infty$：矩形波に収束

$N$ を大きくするほど、高周波成分が加わって細部が再現される。

滑らかさと収束

収束の速さは関数の滑らかさに依存する。

滑らかな関数

• フーリエ係数が急速に減衰（$1/n^k$ で $k$ が大きい）
• 少ない項数で良い近似が得られる
• 例：$\sin x$, $\cos x$（そもそも1項で完全に表せる）

不連続な関数

• フーリエ係数の減衰が遅い（$1/n$ 程度）
• 多くの項が必要
• 例：矩形波、のこぎり波

ギブズ現象

不連続点を持つ関数をフーリエ級数で近似すると、奇妙な現象が起きる。

現象の説明

矩形波のような不連続点の近くで、部分和が「オーバーシュート」する。つまり、部分和は不連続の跳び（左右の値の差）の約 9% だけ、元の関数の値を一時的に超えてしまう。

• $N$ を大きくしても、このオーバーシュートは消えない
• オーバーシュートの幅は狭くなるが、高さは跳びの約 9%（正確には約 8.95%）のまま残る

これをギブズ現象という。1899年にジョサイア・ウィラード・ギブズが発見した。

なぜ起きるか

三角関数は滑らかなので、どれだけ重ね合わせても「瞬間的なジャンプ」を完全には再現できない。不連続点の近くで波打つのは、有限項で急激な変化を表現しようとする「無理」の現れである。

どこで収束するか

ここでは各点ごとの収束（点収束）を考える。一様収束や $L^2$ 収束といった他の収束の意味については、章末の「よくある質問」を参照。

連続点での収束

$f(x)$ が点 $x$ で連続なら、フーリエ級数は $f(x)$ に収束する。

不連続点での収束

$f(x)$ が点 $x$ で不連続なら、フーリエ級数は左右の極限の平均値に収束する：

$$S(x) = \dfrac{f(x^+) + f(x^-)}{2}$$

ここで $f(x^+) = \lim_{t \to x^+}f(t)$、$f(x^-) = \lim_{t \to x^-}f(t)$。

例：矩形波の不連続点

$x = 0$ で $f(0^+) = 1$、$f(0^-) = -1$ なので：

$$S(0) = \dfrac{1 + (-1)}{2} = 0$$

実際、矩形波のフーリエ級数で $x = 0$ を代入すると、すべての $\sin$ 項が $0$ になるので $S(0) = 0$ となる。

収束の条件

フーリエ級数が収束するための十分条件として、次のディリクレの条件がある：

1. $f(x)$ が周期的であること
2. $f(x)$ が区分的に連続であること（有限個の不連続点を持ってよい）
3. $f(x)$ が区分的に滑らかであること（有限個の角を持ってよい）

通常扱う関数のほとんどはこの条件を満たすので、フーリエ級数は広く適用できる。

まとめ

• 部分和は項数を増やすほど元の関数に近づく
• 滑らかな関数ほど収束が速い
• 不連続点では「ギブズ現象」が起きる（約9%のオーバーシュート）
• 不連続点ではフーリエ級数は左右の平均値に収束
• ディリクレの条件を満たす関数にはフーリエ展開が適用できる

次のステップ

入門編では、フーリエ級数の基本的なアイデアと直感的な理解を学んだ。初級編では、より厳密な定義と詳しい計算法、さらにパーセバルの等式などの重要な定理を学ぶ。

よくある質問