Ряды Фурье

Ряд Фурье — это представление произвольной функции (как правило, периодической) в виде бесконечной суммы синусоидальных функций (синусов и косинусов) с кратными частотами, называемых гармониками. Математически ряд Фурье позволяет разложить сложный периодический сигнал на набор простых колебаний, что является фундаментальным инструментом в математическом анализе, теории сигналов, физике и инженерных дисциплинах. Назван в честь французского математика и физика Жана Батиста Жозефа Фурье, который впервые систематически применил такое разложение для решения задач теплопроводности в начале XIX века.

Определение и основные понятия

Пусть \( f(x) \) — периодическая функция с периодом \( T \), то есть \( f(x+T) = f(x) \) для всех \( x \). Тогда её ряд Фурье записывается в виде:

\[ f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \cos\left(\frac{2\pi n x}{T}\right) + b_n \sin\left(\frac{2\pi n x}{T}\right) \right) \]

где:

• \( a_0 \) — постоянная составляющая (нулевая гармоника), равная среднему значению функции на периоде;
• \( a_n \) и \( b_n \) — коэффициенты Фурье, определяемые по формулам:

\[ a_n = \frac{2}{T} \int_{0}^{T} f(x) \cos\left(\frac{2\pi n x}{T}\right) dx, \quad n = 0, 1, 2, \dots \] \[ b_n = \frac{2}{T} \int_{0}^{T} f(x) \sin\left(\frac{2\pi n x}{T}\right) dx, \quad n = 1, 2, 3, \dots \]

Знак «\(\sim\)» означает, что ряд может сходиться к функции не во всех точках, а лишь в смысле определённых критериев сходимости. При выполнении условий Дирихле (функция кусочно-непрерывна и имеет конечное число экстремумов на периоде) ряд сходится к значению функции в точках непрерывности и к полусумме левого и правого пределов в точках разрыва.

Комплексная форма записи

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

\[ f(x) = \sum_{n=-\infty}^{\infty} c_n e^{i \frac{2\pi n x}{T}} \]

где коэффициенты \( c_n \) вычисляются по формуле:

\[ c_n = \frac{1}{T} \int_{0}^{T} f(x) e^{-i \frac{2\pi n x}{T}} dx \]

Комплексная форма удобна для теоретических выкладок и обработки сигналов, так как объединяет синусы и косинусы в единое выражение.

История

Идея разложения функций в тригонометрические ряды восходит к XVIII веку. Швейцарский математик Леонард Эйлер и французский учёный Даниил Бернулли использовали суммы синусов и косинусов для описания колебаний струны. Однако систематическую теорию разработал Жан Батист Жозеф Фурье. В 1807 году он представил мемуар «О распространении тепла в твёрдых телах», где утверждал, что любую периодическую функцию можно представить в виде тригонометрического ряда. Это вызвало скепсис среди современных ему математиков (в частности, Лагранжа и Лапласа), которые сомневались в справедливости такого разложения для функций с разрывами.

В 1822 году Фурье опубликовал книгу «Аналитическая теория тепла», где детально изложил метод. Строгое обоснование сходимости рядов Фурье было дано позже: в 1829 году немецкий математик Петер Густав Лежён Дирихле сформулировал достаточные условия сходимости. Дальнейшее развитие теории связано с именами Бернхарда Римана, Анри Лебега, Норберта Винера и других. В XX веке теория рядов Фурье стала основой для цифровой обработки сигналов и вейвлет-анализа.

Классификация рядов Фурье

Ряды Фурье классифицируют по нескольким признакам:

По типу функции

• Для периодических функций — классический случай, когда функция повторяется с периодом \( T \).
• Для непериодических функций — используется преобразование Фурье (интеграл Фурье), которое является обобщением ряда на случай бесконечного периода.

По чётности

• Разложение по косинусам — применяется для чётных функций (\( f(-x) = f(x) \)), когда все коэффициенты \( b_n \) равны нулю.
• Разложение по синусам — применяется для нечётных функций (\( f(-x) = -f(x) \)), когда все коэффициенты \( a_n \) равны нулю.

По форме записи

• Тригонометрическая форма — с синусами и косинусами.
• Комплексная форма — с экспонентами.

Свойства и теоремы

Сходимость

Для кусочно-гладких функций ряд Фурье сходится равномерно на отрезках непрерывности. В точках разрыва возникает явление Гиббса — осцилляции вблизи разрыва, амплитуда которых не стремится к нулю при увеличении числа членов, а сходится к определённому значению (около 9% от величины скачка).

Единственность

Если два ряда Фурье совпадают для всех \( x \), то соответствующие им функции совпадают почти всюду (с точностью до множества меры нуль).

Равенство Парсеваля

Для квадратично-интегрируемых функций выполняется соотношение: \[ \frac{1}{T} \int_{0}^{T} |f(x)|^2 dx = \frac{|a_0|^2}{4} + \frac{1}{2} \sum_{n=1}^{\infty} (|a_n|^2 + |b_n|^2) \] Это означает, что энергия сигнала равна сумме энергий его гармоник.

Применение

Обработка сигналов

Ряды Фурье лежат в основе спектрального анализа. Любой периодический сигнал (звук, радиоволна, электрический ток) может быть представлен как сумма синусоид. Это позволяет фильтровать шумы, сжимать данные (например, в формате MP3 или JPEG) и передавать информацию по каналам связи.

Теплопроводность и уравнения математической физики

Фурье разработал свой метод для решения уравнения теплопроводности. Сегодня ряды Фурье используются для решения краевых задач для дифференциальных уравнений в частных производных (волновое уравнение, уравнение Лапласа) в областях с простой геометрией (прямоугольник, круг).

Акустика и музыка

Разложение звука в ряд Фурье позволяет описать тембр музыкального инструмента: соотношение амплитуд гармоник определяет, как звучит нота. Синтезаторы и аудиокодеки работают на основе этого принципа.

Электротехника

В электротехнике ряды Фурье применяются для анализа несинусоидальных токов и напряжений, расчёта гармоник в цепях переменного тока и оценки качества электроэнергии.

Пример

Рассмотрим функцию \( f(x) = x \) на отрезке \( [-\pi, \pi] \) с периодом \( 2\pi \). Это нечётная функция, поэтому разложение содержит только синусы:

\[ a_0 = 0, \quad a_n = 0, \quad b_n = \frac{2}{\pi} \int_{0}^{\pi} x \sin(nx) dx = \frac{2(-1)^{n+1}}{n} \]

Ряд Фурье имеет вид:

\[ f(x) \sim 2 \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \sin(nx) = 2 \left( \sin x - \frac{1}{2} \sin 2x + \frac{1}{3} \sin 3x - \dots \right) \]

При \( x = \pi/2 \) получается знаменитый ряд Лейбница для числа \( \pi \):

\[ \frac{\pi}{2} = 2 \left( 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \dots \right) \]

Критика и ограничения

Несмотря на широкую применимость, ряды Фурье имеют ограничения:

• Они применимы только к периодическим или финитным функциям. Для непериодических сигналов используется интегральное преобразование Фурье.
• Сходимость может быть медленной для функций с разрывами или острыми пиками.
• Явление Гиббса ограничивает точность аппроксимации вблизи разрывов.
• Для функций с плохими свойствами (например, неинтегрируемых по Лебегу) разложение может не существовать.

В XX веке эти ограничения привели к развитию альтернативных методов, таких как вейвлет-анализ, который лучше адаптирован к локальным особенностям сигналов.

Источники

• Фурье Ж. Б. Ж. «Аналитическая теория тепла». — 1822.
• Толстов Г. П. «Ряды Фурье». — М.: Наука, 1980.
• Зорич В. А. «Математический анализ». — М.: МЦНМО, 2002.
• Корн Г., Корн Т. «Справочник по математике для научных работников и инженеров». — М.: Наука, 1973.
• Диткин В. А., Прудников А. П. «Интегральные преобразования и операционное исчисление». — М.: Физматгиз, 1961.