Явление Гиббса

Явление Гиббса в рядах Фурье

1. Суть явления

Явление Гиббса — это специфическое поведение частичных сумм тригонометрического ряда Фурье в окрестности точки разрыва функции (первого рода). Визуально это выражается в появлении устойчивых «выбросов» (осцилляций), которые выходят за пределы скачка функции.

• В самой точке разрыва $x_0$: По теореме Дирихле (вопрос 44), ряд сходится строго к среднему значению: $S(x_0)={\lim }_{n\to \infty }{S}_n(x_0)=\frac{f(x_0+0)+f(x_0-0)}{2}$
• Около точки разрыва: Графики частичных сумм $S_n(x)$ не просто приближаются к функции, а «перелетают» её.
• Главный парадокс: При увеличении числа гармоник $n\to \infty$ зона этих колебаний сжимается по ширине, прижимаясь к $x_0$, но амплитуда максимального выброса не стремится к нулю.

Высота этого выброса стабилизируется на уровне примерно 9% от общей высоты скачка: $\Delta Y\approx 0.0895\cdot |f(x_0+0)-f(x_0-0)|$

2. Почему это происходит?

1. Интуитивная причина - гладкость базиса Ряд Фурье строится из бесконечно гладких волн — синусов и косинусов. Конечная сумма таких гладких функций физически не может точно повторить резкий излом (обрыв) под прямым углом.

2. Математическая причина - неравномерная сходимость В окрестности разрыва ряд Фурье сходится поточечно, но неравномерно. Для любого фиксированного $x\ne x_0$ ошибка стремится к нулю: ${\lim }_{n\to \infty }|S_n(x)-f(x)|=0$. Однако супремум ошибки по всей окрестности не исчезает: ${\lim }_{n\to \infty }\left({\sup }_x|S_n(x)-f(x)|\right)\ne 0$ Ошибка аппроксимации не уничтожается, а просто локализуется во всё более узкой бесконечно малой области вокруг $x_0$.

---

3. Количественная оценка (Откуда берутся 9%)

Точное значение выброса выводится через анализ интеграл Дирихле (вопрос 21). Если мы приближаем единичную «ступеньку» (например, скачок от $-0.5$ до $0.5$, общая высота скачка $1$), поведение частичной суммы $S_n(x)$ вблизи разрыва сводится к интегральному синусу: $S_n(x)\approx \frac{1}{\pi }{\int }_0^{n\Delta x}\frac{\sin t}{t}dt$

Нам нужно найти максимум этой функции. Первый максимум интегрального синуса достигается в точке $t=\pi$ (так как далее подынтегральная функция становится отрицательной и интеграл начинает убывать): $S_n(\pi )=\frac{1}{\pi }{\int }_0^{\pi }\frac{\sin t}{t}dt\approx \frac{1.8519}{\pi }\approx 0.5895$

Истинное значение функции на верхнем краю ступеньки равно $0.5$. Считаем величину «перелета»: $0.5895-0.5=0.0895$ Это дает ровно $8.95\%$ от полной высоты скачка (которая равна $1$). Эта константа жестко заложена в геометрии функции $\frac{\sin t}{t}$ и не зависит от конкретного вида разрывной функции.