Ряд Фурье, свойства

В евклидовом n-мерном пространстве существует, как известно, ортонормированный базис и всякий вектор x этого пространства разлагается по этому базису

(1)

Коэффициенты разложения (координаты вектора x в этом базисе) определяются формулой

(2)

В бесконечномерном функциональном евклидовом пространстве роль базиса играет ортонормированная последовательность функций, а конечная сумма (1) превращается в функциональный ряд.

Определение 1. Пусть функция и ортонормированная система функций принадлежат евклидову пространству. Ряд

(3)

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

(4)

Здесь знак соответствия ~ вместо знака равенства стоит потому, что не известно, сходится ли ряд Фурье, и если сходится, то к какой функции.

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

Теорема 1. Наименьшее отклонение от функции имеет частичная сумма ряда Фурье.

Доказательство.Найдем

Итак,

(5)

Поскольку в (5) все величины неотрицательные, то ясно, что квадрат отклонения будет наименьшим при т.е. при Теорема доказана.

Поскольку то из (5) при получим

(6)

(7)

Из (7) видно, что частичные суммы числового ряда с неотрицательными членами ограничены. Такой ряд сходится (см. §2 гл.5, ч.1). По необходимому признаку сходимости ряда имеем при Таким образом, мы доказали первое следствие.

Следствие 1.Коэффициенты ряда Фурье стремятся к нулю при

Поскольку ряд сходится, то переходя к пределу в (7), получим

(8)

Неравенство (8) называется неравенством Бесселя. Из (6) получим

(9)

Равенство (9) доказывает второе следствие.

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

(10)

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

Если ортонормированная система полная, то разложение в ряд Фурье по этой системе единственное. Отметим без доказательства, что приведенные в предыдущем параграфе ортонормированные системы функций являются полными в А это означает, что любую кусочно-непрерывную функцию можно разложить по этим системам функций в ряд Фурье, который будет сходиться к этой функции по норме (2) §1. Такая сходимость, как известно, называется средней квадратичной. Понимая сходимость в таком смысле, впредь будем писать знак равенства вместо знака соответствия ~.