Ряды Фурье

Ряд Фурье представляет периодическую функцию как сумму синусов и косинусов, разлагая ее на основные частоты и поднимая центральный вопрос о том, когда ряд восстанавливает функцию.

Definition

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

Scope

Эта тема охватывает коэффициенты Фурье периодической функции, частичные суммы и их ядро Дирихле, критерии поточечной и равномерной сходимости, явление Гиббса при разрывах, сходимость в среднем и тождество Парсеваля, методы суммирования, такие как средние Чезаро и Абеля с ядром Фейера, а также полноту тригонометрической системы в квадратично интегрируемых функциях.

Core questions

• Как вычисляются коэффициенты Фурье периодической функции?
• Когда ряд Фурье сходится к функции и в каком смысле?
• Почему методы суммирования восстанавливают сходимость там, где частичные суммы не справляются?
• Почему тригонометрическая система образует полный ортонормированный базис квадратично интегрируемых функций?

Key theories

Сходимость в среднем квадратичном и тождество Парсеваля

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

Теорема Фейера

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

Clinical relevance

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

History

Фурье ввел тригонометрические разложения в своей теории теплопроводности 1822 года, заявив об общности, что вызвало десятилетия тщательного изучения. Дирихле представил первую строгую теорему сходимости в 1829 году, а результат суммируемости Фейера 1900 года прояснил сходимость для непрерывных функций.

Key figures

• Joseph Fourier
• Lejeune Dirichlet
• Lipot Fejer

Seminal works

• stein2003fourier
• katznelson2004

Frequently asked questions

Всегда ли ряд Фурье сходится к своей функции?

В общем случае не поточечно; непрерывные функции могут иметь ряды Фурье, расходящиеся в некоторых точках, но ряд всегда сходится в среднеквадратичном смысле для квадратично интегрируемых функций, а методы суммирования восстанавливают равномерную сходимость для непрерывных функций.

Что такое явление Гиббса?

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