📈 Матанализ

Ряд Фурье

англ. Fourier series

Разложение периодической функции в сумму гармоник $a_k \cos kx + b_k \sin kx$: коэффициенты — проекции на ортогональный базис; спектр звука, сигнала и разложение $f(x) = x$ — базовые примеры.

Ряд Фурье представляет периодическую функцию бесконечной суммой гармоник — синусов и косинусов с частотами, кратными основной: $f (x) = \frac{a _{0}}{2} + \sum_{k \geq 1} (a_{k} cos k x + b_{k} sin k x)$ . Идея пришла из физики тепла: Жозеф Фурье раскладывал температурные режимы на чистые колебания. Сегодня это язык всей обработки сигналов: музыка и компрессия звука, гармоники в электротехнике, спектральный анализ данных. В отличие от степенных рядов, где базис — степени $x^{k}$ , здесь базис ловит периодичность, которую степени принципиально не видят.

Интуиция — векторы, но из функций. На отрезке $[- π; π]$ гармоники ортогональны: $\int_{- π}^{π} cos k x cos m x d x = 0$ при $k \neq = m$ . Значит, коэффициенты вычисляются как проекции: та же логика, что координаты вектора через скалярное произведение. Симметрия экономит половину работы: чётная функция не содержит синусов ( $b_{k} = 0$ ), нечётная — косинусов ( $a_{k} = 0$ ). Отдельно красиво поведение в точках разрыва: ряд сходится к полусумме односторонних пределов, а вблизи разрыва частичные суммы дают характерные выбросы — эффект Гиббса.

a_{0} = \frac{1}{π} \int_{- π}^{π} f (x) d x, a_{k} = \frac{1}{π} \int_{- π}^{π} f (x) cos k x d x, b_{k} = \frac{1}{π} \int_{- π}^{π} f (x) sin k x d x

коэффициенты Фурье — проекции функции на ортогональный базис гармоник; свободный член ряда равен

a_{0} /2

— среднему значению функции на периоде

Разбор-эталон: $f (x) = x$ на $(- π; π)$ . Функция нечётная, поэтому все $a_{k} = 0$ , включая $a_{0}$ . Для $b_{k}$ подынтегральная функция $x sin k x$ чётна, значит $b_{k} = \frac{2}{π} \int_{0}^{π} x sin k x d x$ ; интегрирование по частям даёт $\int x sin k x d x = - \frac{x c o s k x}{k} + \frac{s i n k x}{k ^{2}}$ , на границах остаётся $- \frac{π ( - 1 ) ^{k}}{k}$ . Итого $b_{k} = \frac{2 ( - 1 ) ^{k + 1}}{k}$ : $b_{1} = 2$ , $b_{2} = - 1$ , $b_{3} = 2/3$ , $b_{4} = - 1/2$ . Разложение: $x = 2 (sin x - \frac{s i n 2 x}{2} + \frac{s i n 3 x}{3} - \dots)$ . Подстановка $x = π /2$ превращает синусы в $1, 0, - 1, 0, 1, \dots$ и даёт $2 (1 - 1/3 + 1/5 - 1/7 + \dots) = π /2$ — значение функции подтверждено, а заодно получена сумма ряда Лейбница $π /4 = 1 - 1/3 + 1/5 - \dots$

Полная техника разложений — урок ряды Фурье, теория сходимости — урок числовые ряды. Словарь: ряд, ряд Тейлора — сосед по разложениям, преобразование Фурье — непериодический собрат, число $π$ — постоянный гость формул. Формулы разложения — в шпаргалке по рядам.

Частые вопросы

Чем ряд Фурье отличается от преобразования Фурье?

Ряд работает с периодическими функциями и даёт дискретный спектр — счётный набор гармоник с частотами, кратными основной. Преобразование Фурье берёт непериодическую функцию на всей оси и получает сплошной спектр — интеграл по частотам. Переход между ними интуитивен: удлиняете период до бесконечности, и сумма густеет в интеграл.

Для любой ли функции ряд сходится к самой функции?

Для кусочно-гладких функций — да, в каждой точке непрерывности ряд сходится к значению функции, а в точке разрыва — к полусумме односторонних пределов (теорема Дирихле). Экзотика существует: построены непрерывные функции с расходящимся рядом Фурье, но в стандартном курсе достаточно проверить кусочную гладкость.

пошагово

Решатель интегралов

Посчитать коэффициенты Фурье по шагам

Каждый коэффициент — определённый интеграл от произведения функций: решатель возьмёт его и подставит пределы.

Открыть решатель