Перейти к содержанию

Теория функций действительного переменного/Тригонометрические ряды

Материал из Викиучебника — открытых книг для открытого мира
Теория функций действительного переменного

  1. Эквивалентные множества
  2. Счётные множества
  3. Метрическое пространство
  4. Множества в метрическом пространстве
  5. Сходимость метрического пространства
  6. Непрерывные отображения метрического пространства
  7. Полные метрические пространства
  8. Принцип сжимающихся отображений
  9. Применение принципа сжимающихся отображений
  10. Линейные пространства
  11. Линейные функционалы
  12. Выпуклые множества и функционалы
  13. Нормированные и евклидовы пространства
  14. Непрерывные линейные функционалы
  15. Сопряжённое пространство
  16. Слабая сходимость
  17. Обобщённые функции
  18. Линейные операторы
  19. Компактные операторы
  20. Системы множеств
  21. Мера множеств, измеримые функции
  22. Интеграл Лебега
  23. Теория дифференцирования
  24. Пространства суммируемых функций
  25. Тригонометрические ряды
  26. Ортогональные системы функций
  27. Преобразование Фурье

Ряд Фурье

[править]

Рассмотрим пространство

функций с интегрируемым квадратом на отрезке с мерой Лебега и некоторую функцию

.

В рассматриваемом пространстве функции

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

Ряд вида

называют (тригонометрическим) рядом Фурье функции .

Коэффициенты этого ряда определяются по формулам:

,
,
.

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

,

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

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

.

Ряд Фурье в комплексной форме

[править]

С помощью формул Эйлера тригонометрические функции можно выразить через экспоненциальную следующим образом:

,
.

Преобразуем ряд Фурье, используя эти выражения:

.

Перегруппируем слагаемые:

,

где

,

а при :

,
.

Подставляя интегральные выражения для и получим формулы для вычисления коэффициентов :

.

Выражение

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

Функции образуют ортогональную систему, так как при :

.

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

и функциональным уравнениям

.

Из соображений удобства (упрощение выкладок) будем в дальнейшем использовать ряд Фурье в комплексной форме.

Интеграл Дирихле

[править]

Рассмотрим частные суммы ряда Фурье:

.

Подставим вместо коэффициентов их интегральные выражения (изменим переменную интегрирования):

,

получим

.

Сменим порядок суммирования и интегрирования:

.

Сделаем замену

,

так как мы условились считать, что функция периодически продолжена на всю числовую прямую, то пределы интегрирования можно оставить прежними:

.

Вычислим сумму, стоящую под знаком интеграла, по формуле суммы геометрической прогрессии:

.

Умножив числитель и знаменатель последней дроби на

,

получим

.

Таким образом

.

Данное выражение для частных сумм ряда Фурье называется интегралом Дирихле.

Функция вида

называется ядром Дирихле. По определению ядра Дирихле:

,
.

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

.

Достаточные условия сходимости ряда Фурье в точке

[править]

Интеграл Дирихле позволяет свести вопрос о сходимости ряда Фурье к вопросу о равенстве нулю интеграла

.

Лемма 1. Если функция является суммируемой на отрезке , то

.

Теорема 1. Если  — суммируемая функция и при фиксированном и некотором существует интеграл

,

то частичные суммы ряда Фурье функции сходятся в точке к .

Условие существования интеграла

для некоторого называется условием Дини.

Условия равномерной сходимости ряда Фурье

[править]

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

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

Теорема 3. Если на некотором множестве суммируемая функция ограничена, а условие Дини выполняется на равномерно, то есть для всякого существует такое , что неравенство

одновременно для всех , то на множестве ряд Фурье функции сходится к этой функции равномерно.

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

[править]

Рассмотрим непрерывную на всей числовой прямой функцию с периодом и последовательность частных сумм соответствующего ряда Фурье (в комплексной форме):

.

Положим

.

Средние арифметические частичных сумм ряда Фурье называются суммами Фейера.

Найдём интегральное представление для сумм Фейера, аналогичное интегралу Дирихле.

Используем интегральное представление частичных сумм:

.

Подставим эти выражения в определение сумм Фейера:

.

При выводе интеграла Дирихле, была получена следующая формула:

,

поэтому можно написать:

.

По формуле суммы геометрической прогрессии:

,
.

Так как

,

то

.

Воспользуемся формулами, выражающим тригонометрические функции через экспоненциальные:

,
,

получим:

.

Полученное равенство позволяет записать следующее интегральное выражение для сумм Фейера:

,

это выражение называется интегралом Фейера.

Функция

называется ядром Фейера. Укажем некоторые свойства ядра Фейера.

Во-первых, ядро Фейера, по определению, не меньше нуля:

.

Во-вторых, имеет место равенство

,

которое следует из определения ядра Фейера и равенства:

.

Данное свойство позволяет записать разность функции и соответствующей суммы Фейера следующим образом

.

Введём для любого вещественного числа обозначение

,

тогда

.

Для доказательства этого факта заметим, что при

выполняется неравенство

.

Кроме того, , а следовательно

.

Таким образом

,

из этой оценки и следует, что

.

Следующая теорема даёт способ восстановление функции по её ряду Фурье.

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

Доказательство.

Так как функция - непрерывная и периодическая, то она ограничена и равномерно непрерывна на всей числовой прямой, то есть существует такое положительно вещественное число , что для любой точки числовой прямой выполняется следующее неравенство

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

вытекает неравенство

.

Для доказательства данной теоремы достаточно доказать, что интеграл

сходится при к нулю равномерно на всей числовой прямой.

Данный интеграл можно представить в виде суммы трёх интегралов

,

где

,
,
.

Оценим эти интегралы:

,
,
.

Так как

, то можно указать такое , что при будет выполняться неравенство
,

а следовательно будет справедлива оценка

.

Так как это неравенство выполняется для всех , а можно задать произвольно, то

.

Что и требовалось доказать.

Полнота тригонометрической системы

[править]

Теорема Фейера в пространстве L1

[править]

Теорема Если — суммируемая на отрезке функция, то её суммы Фейера сходятся к ней по норме пространства

Доказательство

Выше было доказано, что имеет место равенство

,

где — ядра Фейера.

Для доказательства утверждения теоремы достаточно показать, что

Так как

,

то

.

Интеграл справа можно представить в виде суммы трёх интегралов:

,

где

,
,
.

В силу теоремы Фубини в этих интегралах можно изменить порядок интегрирования.

Поэтому

.

Рассмотрим внутренний интеграл:

,

следовательно

.

Аналогично можно показать, что имеет место оценка

.

Теперь рассмотрим интеграл . Оценим , так как при , то

.

Поэтому для интеграла можно указать следующую оценку

.

В силу абсолютной непрерывности интеграла Лебега, для любого можно так выбрать , что

,

следовательно

.

Таким образом

.