Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Чат Научный форум --> Первая десятка "Русского переплета" Темы дня:

Президенту Путину о создании Института Истории Русского Народа. |Нас посетило 40 млн. человек | Чем занимались русские 4000 лет назад?

| Кому давать гранты или сколько в России молодых ученых?

Идея построения базиса, по которому может быть разложен произвольный вектор конечномерного (например, трехмерного) пространства, переносится на случай бесконечномерного пространства и увязывается с разложением в ряд Фурье. Строятся актуальные для приложений классические примеры таких разложений.

В. А. ИЛЬИН

Московский государственный университет

им. М.В. Ломоносова

Из школьного курса известно, что в трехмерном пространстве может быть построен базис, состоящий из трех векторов e1 , e2 , e3 и такой, что любой вектор f трехмерного пространства может быть однозначно разложен по этому базису, то есть представлен в виде f = a1e1 + a2e2 + a3e3 , где a1 , a2 , a3 - действительные числа, называемые координатами вектора f в базисе e1 , e2 , e3 .

Особую роль играют ортонормированные (или декартовы прямоугольные) базисы, состоящие из попарно перпендикулярных или, что то же самое, попарно ортогональных векторов e1 , e2 , e3 , длина каждого из которых равна единице.

Мы изучим ортонормированные базисы, возникающие в бесконечномерном евклидовом пространстве любой природы и состоящие из бесконечной последовательности элементов e1 , e2 , _, en , _, и увяжем проблему разложения произвольного элемента f изучаемого евклидова пространства с проблемой разложения этого элемента в так называемый общий ряд Фурье.

Сначала мы введем понятия линейного и евклидова пространств любой природы и любой размерности и понятие нормы (то есть обобщенной длины) любого элемента евклидова пространства. Затем в евклидовом пространстве бесконечной размерности рассмотрим произвольную ортонормированную систему элементов, то есть произвольную бесконечную последовательность e1 , e2 , _, en , _ попарно ортогональных элементов, норма каждого из которых равна единице. Такая система без дополнительных предположений не является базисом, но тем не менее можно ввести понятие общего ряда Фурье в разложении любого элемента f по такой системе и установить некоторые важные свойства такого ряда Фурье (например, справедливость для любого элемента f так называемого неравенства Бесселя). После этого вводится понятие замкнутой ортонормированной системы в произвольном бесконечномерном евклидовом пространстве и устанавливается, что эта система является в указанном пространстве ортонормированным базисом, что для нее неравенство Бесселя переходит в точное равенство, называемое равенством Парсеваля, и что ряд Фурье любого элемента по этой системе сходится к этому элементу по норме изучаемого евклидова пространства.

Наконец, в качестве конкретной реализации изученных общих бесконечномерных евклидовых пространств и замкнутых ортонормированных систем в этих пространствах рассматриваются евклидово пространство всех интегрируемых (по Риману) на конечном сегменте [a, b] функций и в нем классические ряды Фурье по тригонометрической системе и по системе полиномов Лежандра. Не останавливаясь на доказательстве замкнутости указанных двух ортонормированных систем, мы из нашего общего рассмотрения извлечем очень нетривиальную теорему о том, что для любой только интегрируемой (по Риману) функции ряды Фурье по указанным двум классическим системам сходятся к этой функции в среднем.

Приступим к реализации указанного плана.

ПОНЯТИЕ ЛИНЕЙНОГО И ЕВКЛИДОВА ПРОСТРАНСТВ ЛЮБОЙ ПРИРОДЫ

И ЛЮБОЙ РАЗМЕРНОСТИ

Определение 1. Множество R элементов f, g, h, _ любой природы называется линейным пространством, если выполняются следующие три требования:

(I) имеется правило, посредством которого любым двум элементам f и g множества R ставится в соответствие третий элемент h этого множества, называемый суммой этих элементов f и g и обозначаемый символом h = f + g;

(II) имеется правило, посредством которого любому элементу f множества R и любому действительному числу l ставится в соответствие элемент g этого множества, называемый произведением элемента f на число l и обозначаемый символом g = lf или g = f l;

(III) указанные два правила подчинены следующим восьми аксиомам:

1) f + g = g + f (переместительное свойство суммы);

2) (f + g) + h = f + (g + h) (сочетательное свойство суммы);

3) существует нулевой элемент O такой, что f + + O = f для любого элемента f (особая роль нулевого элемента);

4) для каждого элемента f существует противоположный элемент f ' такой, что f + f ' = O ;

5) 1 " f = f " 1 = f для любого элемента f (особая роль числового множителя 1);

6) l(mf ) = (lm)f для любого элемента f и любых действительных чисел l и m (сочетательное относительно числового множителя свойство);

7) (l + m)f = l f + m f для любого элемента f и любых действительных чисел l и m (распределительное относительно числовых множителей свойство);

8) l(f + g) = l f + lg для любых элементов f и g и любого действительного числа l (распределительное относительно суммы элементов свойство).

Подчеркнем, что при введении понятия линейного пространства мы абстрагируемся не только от природы изучаемых элементов, но и от конкретного вида правил образования суммы элементов и произведения элемента на число (важно лишь, чтобы эти правила удовлетворяли восьми аксиомам, сформулированным в требовании III определения 1).

Для того чтобы ввести понятие размерности линейного пространства R и понятие базиса этого пространства, дадим еще несколько определений.

Определение 2. Линейной комбинацией элементов f, g, _, h линейного пространства R будем называть сумму произведений этих элементов на произвольные действительные числа, то есть выражение вида

a f + bg + _ + gh,

в котором a, b, _, g - какие угодно действительные числа.

Определение 3. Элементы f, g, _, h линейного пространства R называются линейно-независимыми, если линейная комбинация (1) этих элементов является нулевым элементом пространства R лишь при условии, что все действительные числа a, b, _, g равны нулю.

Определение 4. Элементы f, g, _, h линейного пространства R называются линейно-зависимыми, если найдутся такие действительные числа a, b, _, g, хотя бы одно из которых отлично от нуля, что линейная комбинация (1) с этими действительными числами является нулевым элементом пространства R.

Определение 5. Целое положительное число n называется размерностью линейного пространства R, если в этом пространстве существует n линейно-независимых элементов, а любые n + 1 элементов этого пространства являются линейно-зависимыми.

Определение 6. Линейное пространство R называется бесконечномерным, если в нем существует любое целое положительное число линейно-независимых элементов.

Задание. Докажите сами, что если линейное пространство R имеет конечную размерность n, то любые n линейно-независимых элементов e1 , e2 , _, en этого пространства образуют базис, то есть обладают тем свойством, что любой элемент f пространства R однозначно представляется в виде некоторой линейной комбинации a1e1 + a2e2 + _ + anen элементов e1 , e2 , _, en .

Мы же сосредоточим свое внимание на бесконечномерном линейном пространстве.

Классическим примером такого пространства является множество M [a, b] всех интегрируемых по Риману на конечном сегменте [a, b] функций f (x) с обычным определением операции сложения двух функций и операции умножения функции на действительное число. Справедливость всех восьми аксиом, входящих в требование III определения 1, не вызывает сомнений, и нам остается доказать только, что изучаемое линейное пространство M [a, b] является бесконечномерным. Для этого в силу определения 6 достаточно доказать, что в M [a, b] существует любое целое положительное число линейно-независимых элементов. Фиксируем любое натуральное n и убедимся в том, что n + 1 элементов 1, x, x2, _, xn пространства M [a, b] линейно-независимы. Действительно, если бы эти элементы являлись линейно-зависимыми, то нашлись бы действительные числа a0 , a1 , a2 , _, an , не все равные нулю и такие, что линейная комбинация a0 + a1x + + a2x2 + _ + anxn являлась бы нулевым элементом пространства M [a, b], то есть являлась бы тождественным нулем на всем сегменте a # x # b, а это невозможно в силу того, что многочлен не выше n-й степени может обращаться в нуль не более чем в n точках сегмента a # x # b.

Введем теперь понятие евклидова пространства.

Определение 7. Линейное пространство R любой природы называется евклидовым пространством, если выполнены следующие два требования:

(I) имеется правило, посредством которого любым двум элементам f и g пространства R ставится в соответствие действительное число, называемое скалярным произведением этих элементов и обозначаемое символом (f, g);

(II) правило, указанное в требовании I, подчинено следующим четырем аксиомам:

1) ( f, g) = (g, f ) для любых элементов f и g (симметрия);

2) (f + g, h) = (f, h) + (g, h) для любых элементов f, g и h (распределительное свойство);

3) (l f, g) = l(g, f ) для любого действительного числа l и любых элементов f и g;

4) ( f, f ) $ 0 для любого элемента f.

Замечание 1. В определении 7 мы абстрагируемся не только от природы изучаемых элементов и конкретного вида правил образования суммы элементов и произведения элемента на действительное число, но и от конкретного вида правила образования скалярного произведения двух элементов. Важно лишь, чтобы указанные правила удовлетворяли восьми аксиомам из требования III определения 1 и четырем аксиомам из требования II определения 7.

Замечание 2. В настоящее статье мы даем более общее, чем это обычно принято, определение евклидова пространства. Обычно аксиома 4 из требования II содержит следующее дополнительное условие: ( f, f ) = 0 только в случае, когда f является нулевым элементом пространства R. Отсутствие этого дополнительного условия позволит нам расширить класс конкретных реализаций изучаемых евклидовых пространств (и, в частности, включить в рассмотрение пространство M [a, b] всех функций f (x), только интегрируемых по Риману на конечном сегменте a # x # b).

Теорема 1. В любом евклидовом пространстве для любых элементов f и g справедливо следующее неравенство:

( f, g)2 # ( f, f ) " (g, g),

называемое неравенством Коши-Буняковского.

Доказательство. Пусть сначала элементы f и g таковы, что ( f, f ) = 0 и (g, g) = 0. Тогда из четырех аксиом требования II определения 7 получим, что, с одной стороны, ( f + g, f + g) = ( f, f ) + 2(f, g) + (g, g) $ 0, то есть (f, g) $ 0, а с другой стороны, ( f - g, f - g) = = ( f, f ) - 2(f, g) + (g, g) $ 0, то есть (f, g) # 0. Отсюда заключаем, что (f, g) = 0 и неравенство (2) справедливо, ибо как в левой, так и в правой части этого неравенства стоят нули.

Пусть теперь элементы f и g таковы, что справедливо хотя бы одно из двух неравенств ( f, f ) > 0, (g, g) > 0. Ради определенности предположим, что справедливо неравенство ( f, f ) > 0. Тогда для любого действительного числа l из четырех аксиом требования II определения 7 получим

(l f - g, l f - g) = l2( f, f ) - 2l( f, g) + (g, g) $ 0.

Но необходимым условием неотрицательности стоящего в левой части (3) квадратного трехчлена является неположительность его дискриминанта, то есть неравенство ( f, g)2 - ( f, f ) " (g, g) # 0, эквивалентное неравенству (2). Теорема доказана.

Определение 8. Нормой (или обобщенной длиной) любого элемента f произвольного евклидова пространства назовем действительное число, обозначаемое символом || f || и определяемое равенством

Отметим три простейших свойства нормы:

1) || f || $ 0 для любого элемента f ;

2) || l f || = | l | || f || для любого действительного числа l и любого элемента f ;

3) || f + g || # || f || + || g || для любых элементов f и g (неравенство треугольника).

Свойство 1 является тривиальным следствием определения нормы (4) и аксиомы 4 из требования II определения 7. Свойство 2 вытекает из определения нормы (4) и аксиом требования II определения 7. Действительно,

Наконец, свойство 3 вытекает из определения нормы (4), из аксиом 1-4 требования II определения 7 и неравенства Коши-Буняковского (2), записанного в виде

Действительно,

В линейном пространстве M [a, b] всех функций f (x), интегрируемых по Риману на сегменте a # x # b, введем скалярное произведение двух элементов f = = f (x) и g = g(x) по правилу

С помощью свойств интеграла Римана тривиально проверяется выполнение для скалярного произведения (5) всех четырех аксиом требования II определения 7.

Норма любого элемента f = f (x) в силу (4) и (5) определяется равенством

ОРТОНОРМИРОВАННЫЕ СИСТЕМЫ

И РЯДЫ ФУРЬЕ В ПРОИЗВОЛЬНОМ БЕСКОНЕЧНОМЕРНОМ

ЕВКЛИДОВОМ ПРОСТРАНСТВЕ

Рассмотрим бесконечномерное евклидово пространство.

Определение 9. Два элемента произвольного евклидова пространства называются ортогональными, если скалярное произведение этих элементов равно нулю.

Определение 10. Бесконечная последовательность e1 , e2 , _, en , _ элементов произвольного бесконечномерного евклидова пространства называется ортонормированной системой и кратко обозначается символом {ek}, если все указанные элементы попарно ортогональны и норма каждого из этих элементов равна единице.

Определение 11. Для произвольного элемента f произвольного бесконечномерного евклидова пространства и произвольной ортонормированной системы элементов {ek} назовем рядом Фурье элемента f по системе {ek} формально составленную бесконечную сумму вида

в которой действительные числа fk , называемые коэффициентами Фурье элемента f по системе {ek},

fk = ( f, ek).

Каждое слагаемое в (7) будем называть членом ряда Фурье (7), а сумму первых n членов

n-й частичной суммой ряда Фурье (7).

Фиксируем произвольный номер n и выясним, что отличает n-ю частичную сумму ряда Фурье (9) от любой другой линейной комбинации первых n элементов ортонормированной системы {ek}

с какими угодно действительными числами c1 , c2 , _ _, cn .

Для любых двух элементов f и s договоримся называть величину || f - s || отклонением s от f (по норме данного евклидова пространства).

Теорема 2. Для любого фиксированного номера n среди всех сумм вида (10) наименьшее отклонение от элемента f по норме данного евклидова пространства имеет n-я частичная сумма (9) ряда Фурье элемента f (то есть сумма (10) при ck = fk).

Доказательство. Учитывая ортонормированность системы {ek}, определение (8) коэффициента Фурье и используя аксиомы требования II определения 7, можно записать

Итак, мы получили тождество

В левой части (11) стоит квадрат отклонения суммы (10) от элемента f (по норме данного евклидова пространства). Из вида правой части (11) следует, что указанный квадрат отклонения является наименьшим при ck = fk (ибо при этом всегда неотрицательная первая сумма в правой части (11) обращается в нуль, а остальные слагаемые в правой части (11) от ck не зависят).

Теорема доказана.

Извлечем из теоремы 2 два следствия, первое из которых получается из тождества (11) с учетом того, что первая сумма в правой части (11) неотрицательна, а второе получается из тождества (11) при ck = fk .

Следствие 1. Для любого номера n, любого элемента f произвольного бесконечномерного евклидова пространства и любой ортонормированной системы {ek} при произвольном выборе действительных чисел ck справедливо неравенство

Следствие 2. Для любого номера n, любого элемента f произвольного бесконечномерного евклидова пространства и любой ортонормированной системы {ek} справедливо равенство

называемое тождеством Бесселя.

Составим теперь формально бесконечную сумму неотрицательных действительных слагаемых

называемую рядом. Ряд (14) называется сходящимся и имеющим сумму S, если последовательность , называемая последовательностью его n-х частичных сумм, имеет конечный предел, равный S. При этом пишут .

Теорема 3. Для любого элемента f произвольного бесконечномерного евклидова пространства и любой ортонормированной системы {ek} справедливо неравенство

называемое неравенством Бесселя.

Доказательство. Из равенства (13) и неотрицательности левой части (13) вытекает, что для любого номера n справедливо неравенство .

Это неравенство означает, что все элементы последовательности Sn частичных сумм ряда (14) удовлетворяют условию Sn # || f ||2, то есть последовательность Sn ограничена (действительным числом || f ||2). Так как, кроме того, последовательность Sn не убывает, то она сходится к пределу S (являющемуся суммой ряда (14)), который также удовлетворяет неравенству S # || f ||2.

Теорема доказана.

Заметим, что произвольная ортонормированная система в бесконечномерном евклидовом пространстве без дополнительных предположений, вообще говоря, не является базисом этого пространства. Прежде чем перейти к выяснению этих дополнительных предположений, приведем два классических примера ортонормированных систем в евклидовом пространстве M [a, b] всех функций f (x), интегрируемых по Риману на сегменте [a, b] со скалярным произведением (5) и нормой (6).

В качестве первого примера рассмотрим при a = = - p, b = p, то есть в пространстве M [- p, p] всех интегрируемых по Риману функций на сегменте [- p, p] функций f (x), так называемую тригонометрическую систему:

k = 1, 2, _

Задание. Проверьте сами, что все функции (16) попарно ортогональны в смысле скалярного произведения (5), взятого при a = - p, b = p, и норма каждой из функций (16), определяемая равенством (6) при a = - p, b = p, равна единице.

Ряд Фурье (7) по тригонометрической системе (16) имеет вид

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

Неравенство Бесселя (15), справедливое для любой только интегрируемой по Риману на сегменте - p # x # p функции f (x), имеет вид

Впрочем, в теории тригонометрических рядов Фурье, составляющих один из обширных разделов современной теории функций, принята несколько иная форма записи как ряда Фурье (17), так и неравенства Бесселя (18). Именно: тригонометрический ряд Фурье (17) обычно записывают в виде

где

При такой форме записи неравенство Бесселя (18) принимает вид

В качестве второго примера рассмотрим при a = = -1, b = 1, то есть в пространстве M [-1, 1] всех интегрируемых по Риману на сегменте -1 # x # 1 функций f (x), систему нормированных полиномов Лежандра

Можно показать, что все элементы системы (21) попарно ортогональны в смысле скалярного произведения (5), взятого при a = -1, b = 1, и что норма каждой из функций (21), определяемая равенством (6) при a = -1, b = 1, равна единице.

Задание. Для любой интегрируемой на сегменте -1 # x # 1 функции f (x) запишите ряд Фурье (7) по системе (21) и неравенство Бесселя (15).

ЗАМКНУТЫЕ ОРТОНОРМИРОВАННЫЕ СИСТЕМЫ КАК БАЗИСЫ

В БЕСКОНЕЧНОМЕРНОМ

ЕВКЛИДОВОМ ПРОСТРАНСТВЕ

Снова рассмотрим ортонормированную систему {ek} в произвольном бесконечномерном евклидовом пространстве.

Определение 12. Ортонормированная система {ek} называется замкнутой, если любой элемент f данного евклидова пространства можно приблизить по норме этого евклидова пространства с любой степенью точности линейной комбинацией конечного числа элементов системы {ek}, то есть если для любого элемента f и любого как угодно малого числа e > 0 найдутся такой номер n и такие действительные числа c1 , c2 , _, cn , что справедливо неравенство

Теорема 4. Если ортонормированная система {ek} является замкнутой, то для любого элемента f данного евклидова пространства неравенство Бесселя (15) переходит в точное равенство

называемое равенством Парсеваля.

Доказательство. При доказательстве теоремы 3 мы уже установили, что последовательность частичных сумм ряда (14) имеет предел, равный и удовлетворяющий неравенству S # || f ||2.

Чтобы доказать, что этот предел S равен числу || f ||2, достаточно для любого как угодно малого e > 0 доказать неравенство S $ || f ||2 - e2, а в силу неубывания последовательности Sn тем более достаточно доказать, что для любого как угодно малого e > 0 у этой последовательности есть элемент Sn , удовлетворяющий неравенству

Фиксируем произвольное как угодно малое e > 0. Тогда в силу замкнутости найдутся такой номер n и такие действительные числа c1 , c2 , _, cn , что справедливо неравенство (22). Сопоставляя это неравенство с неравенством (12), справедливым для любых c1 , c2 , _, cn , получим неравенство (24).

Теорема доказана.

Теорема 5. Если ортонормированная система {ek} является замкнутой, то ряд Фурье любого элемента f данного евклидова пространства сходится к этому элементу по норме данного евклидова пространства, то есть существует равный нулю предел

Доказательство. Достаточно в тождестве (13) перейти к пределу n ? и использовать теорему 4.

Определение 13. Будем говорить, что ортонормированная система {ek} образует базис в данном бесконечномерном евклидовом пространстве, если для любого элемента f этого пространства существует такая однозначно определенная последовательность действительных чисел c1 , c2 , _, cn , _, что существует равный нулю предел.

Теорема 6. Если ортонормированная система {ek} образует базис, то для любого элемента f действительные числа ck в (26) определяются однозначно и совпадают с коэффициентами Фурье fk элемента f, то есть fk = ck = ( f, ek) для всех номеров k.

Доказательство. Пусть система {ek} образует базис, то есть для произвольного фиксированного элемента f существует последовательность действительных чисел c1 , c2 , _, cn , _, такая, что справедливо соотношение (26).

Фиксируем произвольный номер m и для всех номеров n, удовлетворяющих условию n $ m, рассмотрим квадрат скалярного произведения

С одной стороны, в силу ортонормированности системы {ek}, определения (8) коэффициента Фурье и аксиом скалярного произведения величина (27) равна (cm - fm)2. С другой стороны, в силу неравенства Коши-Буняковского (2) величина (27) не превосходит величины

которая в силу (26) стремится к нулю при n ?.

Теорема доказана.

Следствием теорем 5 и 6 является следующее утверждение.

Теорема 7. Если ортонормированная система {ek} является замкнутой, то она образует в данном евклидовом пространстве базис, разложение по которому эквивалентно разложению в общий ряд Фурье.

Для замкнутых ортонормированных систем функций {ek(x)} в евклидовом пространстве M [a, b] всех функций f (x), интегрируемых по Риману на сегменте a # x # b, со скалярным произведением (5) и нормой (6) существование предела (26) эквивалентно сходимости ряда Фурье вида , которую принято называть сходимостью в среднем на сегменте a # x # b.

В курсах математического анализа устанавливается замкнутость тригонометрической системы (16) в евклидовом пространстве M [-p, p] и замкнутость системы полиномов Лежандра (21) в евклидовом пространстве M [-1, 1].

Это позволяет утверждать, что для любой интегрируемой по Риману на сегменте [-p, p] функции f (x) ее тригонометрический ряд (19) сходится к ней в среднем на сегменте [-p, p], а для любой интегрируемой по Риману на сегменте [-1, 1] функции f (x) ее ряд Фурье по системе полиномов Лежандра (21) сходится к этой функции в среднем на сегменте [-1, 1].

В качестве литературы по данной теме рекомендуются [1, гл. 2, 4]; [2]; [3, гл. 10, ╕ 1, 2]; [4, гл. 8, ╕ 1, 2]; [5].

ЗАКЛЮЧИТЕЛЬНОЕ ЗАМЕЧАНИЕ

Изложенная теория приобретает еще более законченный вид, если рассмотреть пространство H [a, b] всех функций f (x), допускающих интеграл, стоящий в (6), не в смысле Римана, а в более общем смысле Лебега. Евклидово пространство H [a, b] со скалярным произведением (5), интеграл в котором понимается также в смысле Лебега, образует так называемое гильбертово пространство. Теория интеграла Лебега и рядов Фурье в гильбертовом пространстве излагается в [3, гл. 8 и 11].

ЛИТЕРАТУРА

1. Ильин В.А., Позняк Э.Г. Линейная алгебра. М.: Наука, 1984. 294 с.

2. Джексон Д. Ряды Фурье и ортогональные полиномы. М.: Гос. изд-во иностр. лит., 1948. 260 с.

3. Ильин В.А., Позняк Э.Г. Основы математического анализа. М.: Наука, 1980. Т. 2. 446 с.

4. Ильин В.А., Садовничий В.А., Сендов Бл.Х. Математический анализ 2 (Продолжение курса). М.: Изд-во МГУ, 1987. 358 с.

5. Вишик М.И. Тригонометрические ряды // Соросовский Образовательный Журнал. 1997. ╧ 1. С. 122-127.

* * *

Владимир Александрович Ильин, профессор, зав. кафедрой Московского государственного университета им. М.В. Ломоносова, главный научный сотрудник Математического института РАН им. В.А. Стеклова, лауреат Государственной премии СССР, академик РАН. Автор более 230 научных публикаций по теории функций, теории дифференциальных уравнений и математической физике, университетских учебников по математическому анализу, аналитической геометрии и линейной алгебре и монографии по спектральной теории дифференциальных операторов.