収束とギブス現象
第1章で「項を増やすほど元の形に近づく」と体験しました。これは正しい。 でも不連続な形(矩形波の角)では、素朴な直感が裏切られる場所があります。 項をいくら増やしても消えないツノ——ギブス現象を触って確かめます。
どこへ収束するか
フーリエ級数は各点で収束します。なめらかな場所では、部分和は項を増やすほど元の値にぴったり近づく。 問題は不連続点です。矩形波が から へ跳ぶ点で、級数はどちらの値に収束するでしょうか。
答えは両側の平均値。跳躍の上端 と下端 の中点、つまり に落ちます。 関数の値そのものではなく、左右から見た値の真ん中に着地する——微積分コース第3章の各点収束の話が、ここで波の姿で再登場します。
触ってみる — ギブス現象ズーム
不連続点(矩形波の跳躍)を拡大しました。項数 を上げてみてください。
角のところに、目標(高さ )を行き過ぎるツノが立っています。 を大きくしても、 このツノの高さは約 (跳躍全体に対して)残ったまま。幅だけが狭くなって、高さは消えない。
種明かし — なぜ消えないのか
これがギブス現象です。ツノの高さは、次の定数(ギブス定数)に収束します:
単位振幅の矩形波なら、部分和のピークは約 まで届く。 をどれだけ増やしても、 このピークの高さは変わらず、ツノが跳躍点に近づいていくだけです。
- 各点では収束するが、全体として一様には近づかない(どこかに必ずツノが残る)
- 収束の「近づき方」に強弱がある——なめらかな場所は速く、不連続点の近くは頑固
- 実務では、この行き過ぎが画像や音の「リンギング」(エッジ周りの波打ち)として現れます
試してみよう
- を と上げると、ツノの位置が跳躍点 へじりじり寄る。高さは動かない
- ツノの高さ約 は、矩形波でも他の不連続な波でも同じ普遍定数。跳躍の大きさに比例します
理解チェック
「項を無限に足せば、矩形波と完全に一致する」——この主張は正しいでしょうか。
答えを見る
各点では正しく、一様には正しくない、という微妙な答えになります。 連続な各点では、無限に足せば級数の値は関数の値に一致します。しかし「どの点でも誤差が一斉に小さくなる」という 一様収束は成り立たない——不連続点の近くには常にツノが残るからです。この区別が、収束論の入口です。
執筆・監修: 中野竜之介(北海道大学大学院 数学専攻 博士課程・専門: 特殊関数論と代数幾何の交わり)
最終更新: 2026-07-05