テデトクログイン

← コースに戻る

収束とギブス現象

第1章で「項を増やすほど元の形に近づく」と体験しました。これは正しい。 でも不連続な形(矩形波の角)では、素朴な直感が裏切られる場所があります。 項をいくら増やしても消えないツノ——ギブス現象を触って確かめます。

どこへ収束するか

フーリエ級数は各点で収束します。なめらかな場所では、部分和は項を増やすほど元の値にぴったり近づく。 問題は不連続点です。矩形波が +1+1 から 1-1 へ跳ぶ点で、級数はどちらの値に収束するでしょうか。

答えは両側の平均値。跳躍の上端 +1+1 と下端 1-1 の中点、つまり 00 に落ちます。 関数の値そのものではなく、左右から見た値の真ん中に着地する——微積分コース第3章の各点収束の話が、ここで波の姿で再登場します。

触ってみる — ギブス現象ズーム

不連続点(矩形波の跳躍)を拡大しました。項数 NN を上げてみてください。

跳躍点 x = π のツノの高さ = 1.18(行き過ぎ 9.07% of 跳躍)。 N を増やしても約8.9%は消えず、幅だけ狭くなる

角のところに、目標(高さ 11)を行き過ぎるツノが立っています。NN を大きくしても、 このツノの高さは約 8.9%8.9\%(跳躍全体に対して)残ったまま。幅だけが狭くなって、高さは消えない

種明かし — なぜ消えないのか

これがギブス現象です。ツノの高さは、次の定数(ギブス定数)に収束します:

2π0πsinttdt1.17898\frac{2}{\pi}\int_0^{\pi}\frac{\sin t}{t}\,dt \approx 1.17898

単位振幅の矩形波なら、部分和のピークは約 1.1791.179 まで届く。NN をどれだけ増やしても、 このピークの高さは変わらず、ツノが跳躍点に近づいていくだけです。

試してみよう

理解チェック

「項を無限に足せば、矩形波と完全に一致する」——この主張は正しいでしょうか。

答えを見る

各点では正しく、一様には正しくない、という微妙な答えになります。 連続な各点では、無限に足せば級数の値は関数の値に一致します。しかし「どの点でも誤差が一斉に小さくなる」という 一様収束は成り立たない——不連続点の近くには常にツノが残るからです。この区別が、収束論の入口です。

執筆・監修: 中野竜之介北海道大学大学院 数学専攻 博士課程・専門: 特殊関数論と代数幾何の交わり

最終更新: 2026-07-05

内容の誤り・誤植を見つけたら こちらから報告できます。いただいた指摘は 更新履歴 に反映します。