Ряд Фурье
Ряд Фурье́ — представление функции с периодом в виде ряда
В более общем виде, рядом Фурье элемента некоторого пространства функций называется разложение этого элемента по полной системе ортонормированных функций или другими словами по базису, состоящему из ортогональных функций. В зависимости от используемого вида интегрирования говорят о рядах Фурье — Римана, Фурье — Лебега и т. п.[1]
Существует множество систем ортогональных многочленов и других ортогональных функций (например, функции Хаара, Уолша и Котельникова), по которым может быть произведено разложение функции в ряд Фурье.
Разложение функции в ряд Фурье является мощным инструментом при решении самых разных задач благодаря тому, что ряд Фурье прозрачным образом ведёт себя при дифференцировании, интегрировании, сдвиге функции по аргументу и свёртке функций.
Существуют многочисленные обобщения рядов Фурье в различных разделах математики. Например, любую функцию на конечной группе можно разложить в ряд, аналогичный ряду Фурье, по матричным элементам неприводимых представлений этой группы (теорема полноты).
Ряд Фурье назван в честь французского математика Жана-Батиста Жозефа Фурье (1768—1830), внесшего важный вклад в изучение тригонометрических рядов после предварительных исследований Леонарда Эйлера, Жана Лерона д’Аламбера и Даниила Бернулли[2]. Фурье представил ряд с целью решения уравнения теплопроводности в металлической пластине, написав свои первоначальные результаты в своем «Воспоминании о распространении тепла в твердых телах» («Трактат о распространении тепла в твердых телах») и опубликовав в Аналитической теории тепла (Théorie analytique de la chaleur) в 1822 году. В Воспоминании приведен анализ Фурье, в частности ряд Фурье. Благодаря исследованиям Фурье был установлен факт того, что произвольная (непрерывная)[3] функция может быть представлена тригонометрическим рядом. Первое объявление об этом великом открытии было сделано Фурье в 1807 году перед Французской академией[4]. Ранние идеи разложения периодической функции на сумму простых осциллирующих функций относятся к 3 веку до нашей эры, когда древние астрономы предложили эмпирическую модель движения планет, основанную на семействах и эпициклах.