Задача о наилучшем приближении в Н (гильбертовом пространстве).

Скалярное произведение. Численнозначная функция двух элементов (f,g) называется скалярным произведением, если выполнено

1) (f , f) 0 , (f , f) = 0 f =0

2) (f , g) = (g , f)

3) ( f , g) = (f , g) = (f , g)

4) (f + g , h) = (f , h) + (g , h)

Заметим, что здесь считается действительным числом. Если считать комплексным числом, то третье свойство надо определять так: ( f,g) = (f,g), (f, g), = (f, g), где и - комплексно-сопряженные числа.

Упражнение. Покажите, что

1) (a , b) = |a| |b| cos - скалярное произведение векторов a , b,

2) ((x₁ … x_n ) , (y₁, … y_n)) = (x₁ y₁ + … + x_n y_n) – скалярное произведение векторов – строк,

3) (f(x) , g(x)) = - скалярное произведение функций , заданных на отрезке .

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

Задавая метрику соотношением , можно сделать нормированное пространство метрическим.

Если в пространстве задано скалярное произведение, то в нем можно определить углы и расстояния между элементами .

Гильбертовым пространством Hназывается полное, бесконечномерное, сепарабельное линейное пространство со скалярным произведением.

Пространство полно, если любая фундаментальная последовательность его элементов сходится к элементу пространства.

Пространство сепарабельно, если в нем существует счетное всюду плотное множество (как рациональные числа среди действительных чисел).

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

Функции ортогональны, если (f , g) = 0.

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

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

Мы будем считать, что функции интегрируемы на отрезке , и рассматривать гильбертово пространство L² со скалярным произведением (f(x) , g(x)) = над полем действительных чисел. Введем в нем норму элемента:

. Назовем среднеквадратическим уклонением функции от функции величину .

Рассмотрим задачу о наилучшем приближении в пространстве L² функции линейной комбинацией конечного числа ортогональных функций .

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

.

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

=

= =

= .

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

. Коэффициенты называются коэффициентами Фурье.

Если , то . Но , поэтому

или . Эти неравенства называются неравенствами Бесселя.

Если система функций полна (в гильбертовом пространстве это выполнено, так как функции попарно ортогональны), то справедливо равенство Парсеваля .

В самом деле, пусть . Тогда ( так как ).

Если функции не только ортогональны, но еще и ортонормированны, т.е. , то равенство Парсеваля – это аналог теоремы Пифагора в бесконечномерном пространстве .

Следствиеиз равенства Парсеваля. Пусть выполнено равенство Парсеваля, пусть . Тогда .

Доказательство. Пусть выполнено равенство Парсеваля . Тогда по необходимому признаку сходимости ряда . Так как , тогда .