Тема: Ряды Фурье и приближение периодических функций

Ряды Фурье: построение, сходимость и приближение функций

Рассматривается представление периодических функций в виде тригонометрического ряда Фурье, условия сходимости, вычисление коэффициентов и качество приближения на примере кусочно-гладких функций.

Постановка задачи

Цель

Получить ряд Фурье для заданной 2π-периодической функции, исследовать сходимость и оценить погрешность частичных сумм.

Обозначения

f(x) — 2π-периодическая функция
S_n(x) — n-я частичная сумма ряда Фурье
a_k, b_k — коэффициенты Фурье

Параметр	Значение	Комментарий
Период	2π	Тригонометрическая система на [−π, π]
Функция	f(x)=x на (−π, π)	Нечётная, кусочно-гладкая
Точки разрыва	x=±π (по периодичности)	Скачок значений
Критерий сходимости	Условия Дирихле	Сходимость к полусумме односторонних пределов

Теоретические сведения

Тригонометрический ряд Фурье

Для 2π-периодической интегрируемой функции f(x) ряд Фурье записывается как:

f(x) ~ a0/2 + Σ_{k=1..∞} ( a_k cos(kx) + b_k sin(kx) ) a0 = (1/π) ∫_{-π}^{π} f(x) dx a_k = (1/π) ∫_{-π}^{π} f(x) cos(kx) dx b_k = (1/π) ∫_{-π}^{π} f(x) sin(kx) dx

Если f(x) нечётная, то a0=0 и a_k=0, а ряд содержит только синусы. Если f(x) чётная, то b_k=0 и ряд содержит только косинусы.

Сходимость (условия Дирихле)

Если f(x) кусочно-гладкая на [−π, π], то ряд Фурье сходится в каждой точке x: к f(x) в точках непрерывности и к (f(x+0)+f(x−0))/2 в точках разрыва.

Эффект Гиббса

Вблизи точки скачка частичные суммы дают перерегулирование, которое не исчезает полностью при n→∞, но локализуется в более узкой окрестности разрыва.

Метод вычисления коэффициентов

Симметрия

Для f(x)=x на (−π, π) функция нечётная, поэтому достаточно найти b_k:

b_k = (1/π) ∫_{-π}^{π} x sin(kx) dx = (2/π) ∫_{0}^{π} x sin(kx) dx

Интегрирование по частям

При вычислении ∫ x sin(kx) dx удобно применить интегрирование по частям:

∫ x sin(kx) dx: u = x => du = dx dv = sin(kx) dx => v = -cos(kx)/k ∫ x sin(kx) dx = -x cos(kx)/k + ∫ cos(kx)/k dx = -x cos(kx)/k + sin(kx)/k^2

Пример: ряд Фурье для f(x)=x

Коэффициенты

Вычислим b_k:

b_k = (2/π) ∫_{0}^{π} x sin(kx) dx = (2/π) [ -x cos(kx)/k + sin(kx)/k^2 ]_{0}^{π} = (2/π) ( -π cos(kπ)/k + 0 - 0 + 0 ) = (2/π) ( -π (-1)^k / k ) = -2 (-1)^k / k

Следовательно, ряд Фурье имеет вид:

x ~ 2 Σ_{k=1..∞} ( (-1)^{k+1} / k ) sin(kx), x ∈ (−π, π)

В точках x=±π ряд сходится к 0, что соответствует полусумме пределов из-за периодического разрыва.

Частичная сумма Sₙ(x)

Частичная сумма порядка n:

S_n(x) = 2 Σ_{k=1..n} ( (-1)^{k+1} / k ) sin(kx)

Результаты и интерпретация

Качественные выводы

При увеличении n частичная сумма лучше приближает x на внутренних точках интервала.
Вблизи ±π наблюдается эффект Гиббса из-за периодического скачка.
Сходимость поточечная; для кусочно-гладких функций выполняются условия Дирихле.

Схема поведения приближения

Краткая оценка погрешности

Для кусочно-гладких функций коэффициенты Фурье убывают как O(1/k), поэтому скорость сходимости частичных сумм вне окрестностей разрывов существенно выше, чем около скачков. Для уменьшения колебаний в прикладных задачах используют сглаживание (например, суммирование Фейера).

Список источников

Классические учебники по математическому анализу и теории рядов.
Материалы по тригонометрическим рядам и условиям сходимости.
Справочные сведения по ортогональным системам функций.