Рассмотрим пространство
![{\displaystyle L_{2}[-\pi ;\pi ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c57c5ee61b5991c5a4264f785da3ba48724859d7)
функций с интегрируемым квадратом на отрезке
с мерой Лебега и некоторую функцию
.
В рассматриваемом пространстве функции

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

называют (тригонометрическим) рядом Фурье функции
.
Коэффициенты этого ряда определяются по формулам:
,
,
.
Можно считать, что мы рассматриваем не функции, заданные на отрезке
, а о периодических функциях, заданных на всей числовой прямой, так как любую функцию можно периодически продолжить. При этом, без ограничения общности, можно считать, что
,
так как функции, различающиеся значениями в одной точке, являются эквивалентными и не различаются в пространстве
.
Так как функции тригонометрической системы ограничены на всей числовой прямой, то формулы, определяющие коэффициенты ряда Фурье, имеют смысл для любой суммируемой функции. Таким образом, каждой суммируемой функции
можно поставить в соответствие ряд Фурье
.
Ряд Фурье в комплексной форме[править]
С помощью формул Эйлера тригонометрические функции можно выразить через экспоненциальную следующим образом:
,
.
Преобразуем ряд Фурье, используя эти выражения:
.
Перегруппируем слагаемые:
,
где
,
а при
:
,
.
Подставляя интегральные выражения для
и
получим формулы для вычисления коэффициентов
:
.
Выражение

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

и функциональным уравнениям
.
Из соображений удобства (упрощение выкладок) будем в дальнейшем использовать ряд Фурье в комплексной форме.
Интеграл Дирихле[править]
Рассмотрим частные суммы ряда Фурье:
.
Подставим вместо коэффициентов
их интегральные выражения (изменим переменную интегрирования):
,
получим
.
Сменим порядок суммирования и интегрирования:
.
Сделаем замену
,
так как мы условились считать, что функция
периодически продолжена на всю числовую прямую, то пределы интегрирования можно оставить прежними:
.
Вычислим сумму, стоящую под знаком интеграла, по формуле суммы геометрической прогрессии:
.
Умножив числитель и знаменатель последней дроби на
,
получим
.
Таким образом
.
Данное выражение для частных сумм ряда Фурье называется интегралом Дирихле.
Функция вида

называется ядром Дирихле.
По определению ядра Дирихле:
,
.
Используя это равенство, запишем разность функции и частной суммы соответствующего ряда Фурье в виде
.
Достаточные условия сходимости ряда Фурье в точке[править]
Интеграл Дирихле позволяет свести вопрос о сходимости ряда Фурье к вопросу о равенстве нулю интеграла
.
Лемма 1. Если функция
является суммируемой на отрезке
, то
.
Теорема 1. Если
— суммируемая функция и при фиксированном
и некотором
существует интеграл
,
то частичные суммы
ряда Фурье функции
сходятся в точке
к
.
Условие существования интеграла

для некоторого
называется условием Дини.
Условия равномерной сходимости ряда Фурье[править]
Рассмотрим теперь условия равномерной сходимости ряда Фурье.
Если функция
не является непрерывной (имеет хотя бы один разрыв), то ряд Фурье не может сходится к ней равномерно, так как сумма равномерно сходящегося ряда непрерывных функций является непрерывной.
Таким образом, непрерывность функции — это необходимое условие равномерной сходимости её ряда Фурье.
Теорема 2. Если функция
с периодом
абсолютно непрерывна, а её производная
принадлежит пространству
, то ряд Фурье функции
сходится к ней равномерно на всей числовой прямой.
Теорема 3. Если на некотором множестве
суммируемая функция
ограничена, а условие Дини выполняется на
равномерно, то есть для всякого
существует такое
, что неравенство

одновременно для всех
, то на множестве
ряд Фурье функции
сходится к этой функции равномерно.
Теорема Фейера[править]
Рассмотрим непрерывную на всей числовой прямой функцию
с периодом
и последовательность частных сумм соответствующего ряда Фурье (в комплексной форме):
.
Положим
.
Средние арифметические
частичных сумм ряда Фурье называются суммами Фейера.
Найдём интегральное представление для сумм Фейера, аналогичное интегралу Дирихле.
Используем интегральное представление частичных сумм:
.
Подставим эти выражения в определение сумм Фейера:
.
При выводе интеграла Дирихле, была получена следующая формула:
,
поэтому можно написать:
.
По формуле суммы геометрической прогрессии:
,
.
Так как
,
то
.
Воспользуемся формулами, выражающим тригонометрические функции через экспоненциальные:
,
,
получим:
.
Полученное равенство позволяет записать следующее интегральное выражение для сумм Фейера:
,
это выражение называется интегралом Фейера.
Функция

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

выполняется неравенство
.
Кроме того,
,
а следовательно
.
Таким образом
,
из этой оценки и
следует, что
.
Следующая теорема даёт способ восстановление функции по её ряду Фурье.
Теорема Фейера. Если
— непрерывная функция с периодом
, то последовательность сумм Фейера этой функции
сходится к функции
равномерно на всей числовой оси.
Доказательство.
Так как функция
- непрерывная и периодическая, то она ограничена и равномерно непрерывна на всей числовой прямой, то есть существует такое положительно вещественное число
, что для любой точки числовой прямой
выполняется следующее неравенство

и для каждого вещественного числа
существует такое вещественное число
, что из неравенства

вытекает неравенство
.
Для доказательства данной теоремы достаточно доказать, что интеграл
![{\displaystyle f(x)-\sigma _{n}(x)=\int \limits _{-\pi }^{\pi }[f(x)-f(x+z)]\Phi _{n}(z)dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d775ea3483605d93b48365b6e0c5864355d30ae1)
сходится при
к нулю равномерно на всей числовой прямой.
Данный интеграл можно представить в виде суммы трёх интегралов
,
где
,
,
.
Оценим эти интегралы:
,
,
.
Так как
, то можно указать такое
, что при
будет выполняться неравенство
,
а следовательно будет справедлива оценка
.
Так как это неравенство выполняется для всех
, а
можно задать произвольно, то
.
Что и требовалось доказать.
Полнота тригонометрической системы[править]
Теорема Фейера в пространстве L1[править]
Теорема Если
— суммируемая на отрезке
функция, то её суммы Фейера сходятся к ней по норме пространства
Доказательство
Выше было доказано, что имеет место равенство
,
где
— ядра Фейера.
Для доказательства утверждения теоремы достаточно показать, что

Так как
,
то
.
Интеграл справа можно представить в виде суммы трёх интегралов:
,
где
,
,
.
В силу теоремы Фубини в этих интегралах можно изменить порядок интегрирования.
Поэтому
.
Рассмотрим внутренний интеграл:
,
следовательно
.
Аналогично можно показать, что имеет место оценка
.
Теперь рассмотрим интеграл
. Оценим
, так как
при
, то
.
Поэтому для интеграла
можно указать следующую оценку
.
В силу абсолютной непрерывности интеграла Лебега, для любого
можно так выбрать
, что
,
следовательно
.
Таким образом
.