CC BY
393
В. Д. Будаев
ОРТОГОНАЛЬНЫЕ И БИОРТОГОНАЛЬНЫЕ БАЗИСЫ
В современной математике решение многих задач (в том числе носящих прикладной характер) сводится к вопросу о том, можно ли некоторую функцию разложить в ряд по имеющейся системе (как правило, по системе собственных функций некоторого оператора). Или, в иной постановке: образует ли рассматриваемая система функций базис в данном пространстве? До недавнего времени в задачах такого сорта возникали в основном ортогональные системы функций. Интенсивно развивалась теория ортогональных рядов (частным случаем которых являются тригонометрические ряды Фурье) и ортогональных базисов. Однако в последние десятилетия все чаще приходится сталкиваться с физическими задачами, приводящими к рассмотрению неортогональных рядов (и, соответственно, неортогональных базисов). Теория таких рядов до сих пор развита весьма слабо из-за ряда трудностей принципиального характера. В статье сделана попытка популярно очертить основные отличия между теориями ортогональных и биортогональных базисов, изложены простейшие сведения из той и другой теории.
1. Основные понятия
Рассмотрим евклидово пространство Е (линейное пространство со скалярным произведением) бесконечной размерности и некоторую систему элементов [фп }"=1 этого пространства.
Определение 1. Система }"=1 называется базисом пространства Е, если любой элемент / е Е можно разложить, причем единственным образом, в ряд по системе }"=1, сходящийся к / по норме этого пространства.
Иными словами, система }"=1 называется базисом пространства Е, если V/ е Е существует, и притом единственная, числовая последовательность {сп }"=1 такая, что
Нт
1с/
п=1
= 0
(1)
Определение 2. Система {фп}"=1 называется замкнутой в пространстве Е, если любой элемент / е Е можно как угодно точно приблизить (по норме пространства) конечными линейными комбинациями элементов системы
К }Г=1
V/ е Е 0 Зп е N Зс,,с2,..., сп :
/ ск
к=1
<8.
(2)
Очевидно, если система является базисом пространства Е, то она замкнута в Е: в самом деле, если ряд сходится к /, то его частичные суммы как раз дают приближение к / с любой наперед заданной точностью.
Естественно, встает вопрос: не следует ли из замкнутости системы ее ба-зисность (иными словами, не эквивалентны ли друг другу понятия базисности и замкнутости)? К сожалению, ответ на этот вопрос в общем случае отрицателен, что показывает следующий пример.
Пример. Рассмотрим пространство С2[а,Ь] непрерывных на отрезке
[а, Ь] функций со среднеквадратичной нормой
V
| / 2(х) йх (напомним,
и
что такая норма порождается скалярным произведением (/, g) = | / (х) g (х) йх ).
а
Рассмотрим также систему степенных функций {фп} = {1,х,х2,...,хп,...} в этом
пространстве. Любая конечная линейная комбинация таких функций есть полином (и, наоборот, любой полином есть конечная линейная комбинация функций нашей системы). По теореме Вейерштрасса, любую непрерывную на отрезке функцию можно равномерно приблизить полиномом с любой заданной точностью. Поскольку
1скКк
к=1
П п )
111 (х) - 2 скКк(х) йх ^(Ь - а) •тах
а у к=1 ) [а,ь]
1 (х) скКк(х)
к=1
ясно, что и в среднеквадратичной норме любую непрерывную на отрезке функцию также можно приблизить полиномами с любой заданной точностью. Таким образом, система степенных функций замкнута в С2[а, Ь].
С другой стороны, если бы данная система образовывала базис в С2[ а, Ь], то любая функция из этого пространства могла бы быть разложена на отрезке [а, Ь] в степенной ряд (ряд Тейлора). Однако известно, что даже не любая бесконечно дифференцируемая функция раскладывается в ряд Тейлора. Например, функция, равная ехр (-х~2) при х ^ 0 и равная 0 при х = 0, бесконечно диффе-
2
ренцируема на всей числовой прямой, но ее ряд Тейлора есть ряд из нулей, сходящийся не к этой функции, а к нулю (в любой норме, в том числе и в среднеквадратичной).
Итак, система степенных функций, хотя и замкнута в С2[а, Ъ], но не образует базиса.
Однако существует важный класс систем, для которых понятия замкнутости и базисности все же оказываются равносильными. Это так называемые ортогональные системы функций.
2. Ортогональные системы. Ряд Фурье
Рассмотрим снова бесконечномерное евклидово пространство Е и систему функций {<п }"=1 в этом пространстве.
Определение 3. Система {<п }"=1 называется ортогональной, если (< < ) = 0 при п * к.
Определение 4. Система {<п }ад= называется нормированной, если
Vn |Н = 1.
Определение 5. Система {<п }"=1 называется ортонормированной, если
она ортогональна и нормирована.
Кратко можно записать, что система называется ортонормированной, если
к к Г1 при п = к
(< <) = ^к, где 5к =\ — символ Кронекера.
[0 при п * к
Очевидно, любая ортонормированная система является ортогональной. С другой стороны, любую ортогональную систему {<п }"=1 (не содержащую нулевых элементов) можно ортонормировать, поделив каждую функцию на ее норму, т. е. рассмотрев систему ц/п = <рп ||<п|| 1.
Ортонормированные системы обладают замечательным свойством: если функция / может быть разложена в ряд по ортонормированной системе
{<п }Г=1, то это разложение единственно. В самом деле, умножая скалярно ра-
ад
венство / = Ё ск<к на любую из функций <рп (законность этого легко обосно-
к=1
[ад Л ад ад
X С< , <п I = X Ск (<к <п ) =Х Ск5"к = Сп в силу орто-
к=1 ) к=1 к=1
гональности системы. Таким образом, коэффициенты разложения находятся однозначно: сп = (/,<п) . Если функция / может быть разложена в ряд по ортонормированной системе {<п }ад=1, то этот ряд обязан иметь вид
ад
X(У<) <. (3)
п=1
Ряд вида (3) называется рядом Фурье функции f по системе {фп }"=.
Попутно отметим следующую тонкость: в определении базиса мы требовали, чтобы разложение любой функции в ряд было единственным. Для орто-нормированных систем, как мы убедились, единственность разложения имеет место всегда. Таким образом, ортонормированная система образует базис в евклидовом пространстве, если любую функцию из этого пространства можно разложить в ряд Фурье по этой системе.
Примером ортонормированной системы функций может служить класси-
1 Г 1 1 i г
ческая тригонометрическая система ,— —:= cos nx, —^=sin nx > в про-
V2n [Vn Vn Jn=1
странстве С2[-ж,ж] или в Ь2(-ж,ж) . Ортонормированность этой системы легко проверяется. Тригонометрический ряд Фурье для произвольной функции
a ш
f g L2 (-ж, ж) записывается в виде — + ^(an cos nx + Ъп sin nx) , где
2 n=1
ao =
1 71 1 П 1 П
— [ f (x) dx, an = — [ f (x)cosnxdx, bn =— [ f (x)sinnxdx .
77" * 77" J 7T J
Ж * жл ж
—П —П —п
Обозначим коэффициенты ряда Фурье (3) через /п = (/, <рп) . Эти коэффициенты обладают замечательным «минимальным» свойством, имеющим многочисленные важнейшие следствия.
Поставим перед собой следующую задачу. Пусть дана функция / и ортонормированная система {^п }"=1 в евклидовом пространстве. Требуется приблизить данную функцию конечными линейными комбинациями первых N функ-
N
Л
п=1
сп, чтобы получить наилучшее приближение функции / по норме нашего пространства?
Теорема 1 (минимальное свойство коэффициентов Фурье). Наилуч-
N
шее приближение данной функции / линейными комбинациями вида ^ спфп
п=1
по норме данного пространства достигается тогда и только тогда, когда сп = /п для всех п = 1,...,N .
Иными словами, именно коэффициенты Фурье доставляют минимум вы-
ций системы, т. е. комбинациями вида ^ cnqn. Как подобрать коэффициенты
ражению
N
f CnVr
n=1
. Этот же факт можно выразить и иначе: среди всех ли-
нейных комбинаций первых N функций ортонормированной системы наилучшее приближение для данной функции / дает N -я частичная сумма ее ряда Фурье.
Доказательство. Преобразуем квадрат «отклонения» линейной комбинации от функции /:
N
/ -Е спУп
п=1
N N
N
/-ЕспУп,/-ЕскЯк \ = (А/)-2Есп(Оп)+
V п=1
к=1
п=1 N N
+
Е X спс^ (я, як)=(/, /) - 2Е сп (я)+Е Е спсА" =
=1 к=1
=1 к=1
N
=((,с)-2Есп (с,я)+Ес2+Е((,я)2-Е(ся)2 =
п=1
п=1
п=1
п=1
N N 2 NN
■ Е((, яп)2+Е(сп - (ся)) =IАI2 -ЕII+Е(сп - сп)2. (4)
п=1
п=1
п=1
п=1
Первые два слагаемых в правой части (4) не зависят от выбора коэффициентов сп, последняя же группа слагаемых представляет собой сумму квадратов, которая достигает минимального значения тогда и только тогда, когда сп = Ап (п = 1,N), что и завершает доказательство.
Доказательство мы провели для пространства над полем вещественных чисел. В комплексном случае теорема также справедлива с незначительными изменениями в доказательстве.
Как уже отмечалось, доказанная теорема имеет многочисленные важнейшие следствия.
Следствие 1. Для любой ортонормированной системы {яп }"=1 в произвольном евклидовом пространстве и любой функции с из этого пространства справедливо тождество Бесселя:
N
А-Е АпЯп
п=1
N
-Е А2-
(5)
п=1
Для доказательства достаточно в левой и правой частях равенства (4) положить сп = /п. Тождество Бесселя позволяет оценить отклонение N -й частичной суммы ряда Фурье функции / от самой функции / по норме пространства.
Следствие 2. Для любой ортонормированной системы {яп }"=1 в произвольном евклидовом пространстве и любой функции / из этого пространства справедливо неравенство Бесселя
Е Ап *
(6)
п=1
Для доказательства заметим, что левая (а значит, и правая) часть в выра-
ад
жении (5) неотрицательна, поэтому все частичные суммы числового ряда Е А1
ограничены константой А . Поскольку этот ряд знакопостоянный, ограничен-
2
п=1
ность частичных сумм влечет его сходимость. Остается перейти в неравенстве
N
2 АП -IIА|2 к пределу пРи N .
П=1
Следствие 3. Ортонормированная система в евклидовом пространстве образует базис тогда и только тогда, когда она замкнута.
Напомним, что любой базис является замкнутой системой, поэтому доказательства требует лишь тот факт, что из замкнутости следует базисность. Пусть ортонормированная система [фп }„=1 замкнута. Тогда любую функцию / из нашего пространства можно приблизить с любой точностью конечными линейными комбинациями элементов данной системы, т. е.
У/ е Е У8> 0 ЗN Зс1,..., с
N
А -2 ск?к
к=1
< 8
Однако, согласно теореме 1, среди всех линейных комбинаций заданной длины наилучшее приближение к данной функции дают частичные суммы ее
ряда Фурье, поэтому У/ е Е У 8 > 0 ЗN:
N
А -2 ЛРк
к=1
< 8. Заметим теперь, что
с увеличением номера частичной суммы ряда Фурье отклонение частичной суммы от / может только уменьшиться [это следует, например, из тождества Бесселя (5)]. Следовательно,
У/ е Е У 8 > 0 ЗN: Уп > N
А -2 АкФк
к=1
<8,
что означает сходимость ряда Фурье функции / к этой функции по норме пространства. Итак, окончательно, любую функцию из нашего пространства можно разложить в ряд Фурье по данной ортонормированной системе, что как раз и означает базисность этой системы.
Как мы видим, ортонормированные системы имеют принципиальное отличие от систем неортогональных: для них понятия замкнутости и базисности эквивалентны. Если вдуматься, то сам факт эквивалентности этих понятий выглядит ошеломляюще: ведь замкнутость связана с рассмотрением конечных линейных комбинаций элементов данной системы, а базисность — с разложением в ряд, т. е. с представлением в виде бесконечной суммы. Пожалуй, крайне редко в математике возникает ситуация, когда изучение бесконечных по своей природе объектов так или иначе сводится к изучению объектов конечных. В этом смысле ортогональные системы и ортогональные ряды (ряды Фурье) следует признать явлением совершенно уникальным.
Следствие 4. Ортонормированная система }"=1 в евклидовом пространстве образует базис тогда и только тогда, когда для любой функции / из этого пространства выполнено равенство Парсеваля:
2 /I =
п=1
Для доказательства следует рассмотреть тождество Бесселя (5) и устремить N к бесконечности. Если система образует базис, то левая часть устремится к нулю, откуда следует стремление к нулю правой части, т. е. выполнение равенства Парсеваля. Наоборот, выполнение равенства Парсеваля означает стремление к нулю правой, а следовательно, и левой части, т. е. возможность разложения в ряд Фурье любой функции из данного пространства.
Напомним еще раз, что теорема 1, а значит, и все следствия из нее, справедливы также и в комплексном случае. Однако тогда в равенствах (5)-(7) коэффициенты Фурье следует брать по модулю. Так, равенство Парсеваля прини-
ад
мает вид 21 /«\2=1/\ |2.
П=1
Равенство Парсеваля можно рассматривать как бесконечномерный аналог теоремы Пифагора. В самом деле, любой вектор / на плоскости можно разложить по паре ортов (т. е. единичных ортогональных друг другу векторов) <,<2:
/ = /<<1 + У>2, причем очевидно А =(/<1), /2 =(/<) . По теореме Пифагора ||/||2 = А12 + /22, что является аналогом равенства Парсеваля (норма в данном случае означает длину вектора). Заметим, что пара ортов на плоскости как раз образует ортонормированный базис. В трехмерном пространстве следует взять базис из трех ортов (в равенстве Парсеваля возникнет три слагаемых), в N -мерном пространстве — базис из N ортов, в бесконечномерном же пространстве у нас возникает необходимость в рассмотрении бесконечного орто-нормированного базиса, а в равенстве Парсеваля вместо конечной суммы появляется сумма ряда. Отметим также следующий момент. Если, например, в трехмерном пространстве мы ограничимся рассмотрением лишь двух ортов <,<2, то они не будут образовывать базис. Вместо равенства Парсеваля мы получим, вообще говоря, неравенство (/, <р1 )2 + (/, <р2 )2 < ||/| f, которое есть не что
иное, как неравенство Бесселя. Для получения равенства Парсеваля, естественно, следует пополнить систему третьим ортом <3; тогда, соответственно, сумма квадратов всех трех координат вектора даст в точности квадрат его нормы: (/, < )2 + (/, <2 )2 + (/, <3 )2 /||2. Итак, для замкнутой ортонормированной
системы (т. е. для ортонормированного базиса) справедливо равенство Парсеваля, для произвольной же (вообще говоря, незамкнутой) ортонормированной системы справедливо лишь неравенство Бесселя.
Введем еще несколько важных понятий.
Определение 6. Система {< }П=1 в евклидовом пространстве называется полной, если в пространстве не существует ненулевой функции, ортогональной ко всем элементам системы.
Иными словами, система {< }^=1 полна, если ( Уп е N (/,<п) = 0) ^ (/ = 0) .
Замкнутая ортонормированная система заведомо является полной. В самом деле, если (/,<п) = 0 для всех номеров п, то, по равенству Парсеваля,
||/|| = 0, и, следовательно, / = 0 .
Полная система, вообще говоря, не обязана быть замкнутой (соответствующий пример можно найти в работе [1]). Однако, как мы увидим в дальнейшем, если рассматриваемое пространство является полным, то понятия полноты и замкнутости эквивалентны. В частности, для ортонормированных систем в полных евклидовых пространствах все три понятия (базисность, замкнутость, полнота) оказываются равносильными. (Это дает повод для терминологической путаницы. В некоторых книгах вместо термина «замкнутость» используется «полнота», вместо «полноты» — «тотальность», а термин «полная ортонорми-рованная система» понимается как «ортонормированный базис»).
Определение 7. Линейной оболочкой системы {рпназывается совокупность всех конечных линейных комбинаций элементов этой системы. Замыканием линейной оболочки системы {рп }"=1 называется совокупность всех
элементов пространства, которые могут быть как угодно точно приближены конечными линейными комбинациями элементов этой системы.
Так, определение замкнутой системы можно сформулировать теперь иначе: система называется замкнутой в евклидовом пространстве, если замыкание ее линейной оболочки совпадает со всем пространством.
Определение 8. Система {рп}"=1 называется минимальной, если ни один
элемент системы не принадлежит замыканию линейной оболочки остальных элементов.
Например, система функций {ех ,1, х, х2,..., хп,...} не минимальна в С2[0,1]: экспоненту (как и любую непрерывную функцию) можно равномерно приблизить многочленами с любой точностью (экспонента принадлежит замыканию линейной оболочки остальных элементов).
Любой ортонормированный базис заведомо является минимальной системой. В самом деле, пусть ортонормированный базис {рп не минимален. Тогда некоторую функцию рк из этой системы можно как угодно точно приблизить конечными линейными комбинациями остальных элементов, т. е. Vв > 0
найдется линейная комбинация такая, что
(Рк - Ё СпФп
п=1,пфк
< в . По неравенству
Коши — Буняковского
же стороны,
Рк
( N \
Рк - Ё СпРп Рк
п=1, пфк \
= (Рк Рк)-
N
Ё СпРп Рк
г=1,п фк
<рк
N
Ё
г=1, п ф к
Рк
N
Ё СпРп
1=1,пф к
< в. С другой
\рп ,Рк ) =1 в силу °рт°н°р-
мированности системы. Таким образом, 1 < в, что заведомо неверно в силу произвольности в.
В заключение этого пункта зададимся вопросом: существуют ли ортонор-мированные базисы? К счастью, ответ на этот вопрос положителен. Примером ортонормированного базиса может служить тригонометрическая система в пространстве С2[-п,п] или в Ь2(-п,п). По классической теореме Вейерштрасса, любую непрерывную на отрезке [-п,п] функцию (принимающую на концах
отрезка равные значения) можно с любой заданной точностью равномерно приблизить тригонометрическими многочленами. Тогда любую непрерывную на [-п,п] функцию можно («слегка» изменив ее значения вблизи одного из концов отрезка так, чтобы значения на концах совпали) как угодно точно приблизить тригонометрическими полиномами в среднеквадратичной норме. Таким образом, тригонометрическая система оказывается замкнутой в С2[-п,п] (а значит, и в Ь2(-ж,ж)). Поскольку система ортонормирована, то она образует базис в каждом из этих пространств.
Заметим попутно, что, в силу базисности, тригонометрическая система минимальна.
Наконец, отметим следующее: тригонометрические ряды Фурье во многих отношениях удобнее степенных рядов (рядов Тейлора). Как уже отмечалось, даже не любую бесконечно дифференцируемую функцию можно разложить в ряд Тейлора. Для разложимости же в тригонометрический ряд Фурье (в среднеквадратичной метрике) не требуется даже непрерывности, достаточно лишь интегрируемости квадрата функции по Лебегу! Более того, даже для равномерной сходимости тригонометрического ряда Фурье к данной функции достаточно потребовать «чуть-чуть больше», чем непрерывность (но даже меньше, чем дифференцируемость).
Изучение неортогональных систем естественно начать с вопроса: нельзя ли систему неортогональную как-либо преобразовать в ортогональную? Ответ на этот вопрос дает процесс ортогонализации.
Рассмотрим произвольную линейно независимую систему }"=1 в евклидовом пространстве Е (линейная независимость бесконечной системы понимается как линейная независимость любого ее конечного подмножества).
Теорема 2. Существует система \щпв пространстве Е такая, что
1) система \щп ортонормирована,
2) каждый элемент системы {щп представляется в виде линейной ком-
3) каждый элемент системы }"=1 представляется в виде линейной ком-
стью до знака).
Доказательство. Воспользуемся методом математической индукции. При п = 1, согласно пункту 2, должно быть у/1 = а11ф1. Поскольку элемент у/п
3. Процесс ортогонализации
бинации у/п = ап пфп + ап п-№п-1 +... + ап№,
бинации = РппУп + Рп,п-\¥п-1 + ... + Рп,1^1 .
При этом каждый элемент системы {щп строится однозначно (с точно-
1
Таким
откуда а = +
образом, коэффициент а значит, и элемент щ1, существует и строится однозначно с точностью до знака. При этом (1 = , т. е. условие 3 также выполнено.
Предположим теперь, что элементы у/1,щ2,...,щп уже построены (однозначно с точностью до знака). Согласно условию 2, будем искать у/п+1 в виде
^п+1 = ап+1,п+(+1 + ап+1,пРп + - + ап+1,1^1. Поскольку каждая из функций
(,(2,...,(п, по индуктивному предположению, есть линейная комбинация уже построенных функций (с индексами, не превышающими п), то щп+1 можно представить в виде
¥п+1 = ап+1,п+1(п+1 +Гп+1,п^п + ... + Гп+1ЛЩ . (8)
Согласно условию 1, у/п+1 должна: а) иметь единичную норму, б) быть ортогональной ко всем уже построенным элементам у/1,щ2,...,щп. Таким образом,
(ап+1,п+1(п+1 +Гп+1,п^п +... + Гп+и^1,Щк) = ап+1,п+1 ((п+1,¥к) + Ук = ° (к = и,п) ; (п+1,п+1(п+1 +Гп+1,п^п + ... + Гп+1,1^1,ап+1,п+(п+1 +Гп+1,п^п + ... + Гп+1,1^1 ) = 1
Выражая (однозначно!) из первых п равенств коэффициенты ук (к = 1,...,п) через ап+1п+1 и подставляя их в последнее равенство, убеждаемся, что ап+1 п+1 находится однозначно с точностью до знака (причем отлично от нуля). Таким образом, щп+1 строится однозначно с точностью до знака, с выполнением условий 1, 2. Что касается условия 3, достаточно из выражения (8) выразить ( п+1 .
Тем самым теорема доказана.
Процесс ортогонализации дает простой способ построения ортогональных систем: достаточно взять любую линейно независимую систему и применить к ней процесс ортогонализации. Попутно заметим, что любая минимальная система заведомо линейно независима (в противном случае один из элементов системы выражался бы как линейная комбинация остальных, что противоречит минимальности), а следовательно, может быть ортогонализована.
Процесс ортогонализации сохраняет основные свойства системы: Лемма 1. Пусть {(п }"=1 — произвольная линейно независимая система в
Е, а \щп }п=1 — система, построенная в процессе ортогонализации. Тогда
1) система {(}"=1 замкнута в Е тогда и только тогда, когда замкнута
К Ц=1,
2) система {(}"=1 полна в Е тогда и только тогда, когда полна \щп,
3) система {<п}^=1 минимальна в Е тогда и только тогда, когда минимальна {у/п ^
4) если система {<п}^=1 образует базис в Е, то система {^п образует ортонормированный базис в Е .
Доказательство. Пусть система {<п}^=1 замкнута в Е. Тогда любую функцию из Е можно как угодно точно приблизить конечными линейными комбинациями элементов этой системы. Но каждый элемент < представляется
как линейная комбинация у/1,щ2,...,щк. Поэтому упомянутая линейная комбинация элементов исходной системы может быть представлена как конечная линейная комбинация элементов ортонормированной системы {^п. Таким образом, любую функцию из Е можно как угодно точно приблизить конечными линейными комбинациями элементов системы {^п} Итак, из замкнутости
исходной системы следует замкнутость системы {^п. В обратную сторону
рассуждения аналогичны.
Утверждения о полноте и минимальности доказываются по тому же принципу: линейные комбинации одной системы заменяются линейными комбинациями другой системы (подробное доказательство опустим).
Пусть система {<п }^=1 — базис. Тогда она замкнута. По только что доказанному система {^п также замкнута. Но для ортонормированных систем
замкнутость влечет базисность. (Заметим: фактически использовалась не базис-ность, а лишь замкнутость исходной системы!)
Подчеркнем, что из базисности {^п не следует базисность исходной системы {<п }ад=1. В качестве контрпримера достаточно рассмотреть любую
замкнутую систему, не образующую базиса (например, систему степенных функций из — см. «Основные понятия»).
Итак, процесс ортогонализации позволяет преобразовать неортогональную систему в ортонормированную с сохранением (и даже улучшением) ее свойств. Казалось бы, это решает все проблемы. Увы, это не так. Если в какой-либо прикладной задаче нас интересуют свойства системы собственных функций некоторого оператора, то после ортогонализации мы получим систему, уже не являющуюся системой собственных функций (каждое слагаемое в выражении (8) отвечает своему собственному значению, а вся линейная комбинация не обязана быть собственной функцией)! Хотя в результате ортогонализации мы и получим ортонормированную систему с «улучшенными» свойствами, это будет не та система, которая интересует нас в данной задаче.
Таким образом, мы все же вынуждены изучать неортогональные системы «сами по себе», не прибегая к процессу ортогонализации.
4. Полные пространства. Гильбертово пространство
Напомним некоторые определения. Пусть Е — евклидово пространство.
Определение 9. Последовательность {рп}"=1 элементов пространства Е называется фундаментальной, если
Vs> 0 ЗN: Vn,т >N \рп -Рт|| <8.
Если последовательность {рп }"=1 сходится к некоторому элементу р нашего пространства, то она фундаментальна (это следует из неравенства треугольника: ||(п Рт || = ||((п Р) + (Р Рт )|| - ||Рп -р + ||Р-Рт|| У Обратное во^-
ще говоря, неверно. Например, в пространстве действительных чисел Я, согласно критерию Коши, любая фундаментальная последовательность сходится, а в пространстве рациональных чисел Q фундаментальная последовательность может не иметь предела: так, последовательность х1 = 2,7; х2 = 2,71; х3 = 2,718,... десятичных приближений числа е состоит из рациональных чисел, она фундаментальна (например, потому, что в Я она сходится), но предела в Q она не имеет (поскольку сходится к иррациональному числу е, а предел единственен).
Итак, сходимость (расходимость) фундаментальной последовательности связана не только со свойствами самой последовательности, но и со свойствами пространства.
Определение 10. Пространство называется полным, если в нем любая фундаментальная последовательность сходится к элементу этого пространства.
Из сказанного ясно, что Я — полное пространство, а Q — неполное.
Пространство С[а, Ь] с равномерной нормой — полное, а С2[а, Ь]— неполное. Известно, что любое неполное пространство можно пополнить, добавив в него новые элементы так, что пространство станет полным. Пополнение пространства Q есть Я, пополнение пространства С2[а, Ь] есть пространство
Ь).
Определение 11. Полное бесконечномерное евклидово пространство называется гильбертовым пространством.
Часто в определении гильбертова пространства требуют выполнения еще одного свойства — сепарабельности, т. е. существования счетной всюду плотной системы элементов (попросту говоря, сепарабельность означает, что пространство не просто бесконечномерно, но имеет именно счетную размерность). Пространство Ь2(а, Ь) — сепарабельное гильбертово пространство.
Для данной статьи нам важно следующее свойство гильбертовых пространств:
Теорема 3. В гильбертовом пространстве любая полная система {Рп }Г=1 замкнута.
Доказательство. Поскольку процесс ортогонализации сохраняет (причем, в обе стороны) полноту и замкнутость, достаточно доказать теорему для ортонормированной системы. Пусть {рп }"=1 ортонормирована в гильбертовом пространстве Н . Возьмем произвольную функцию / е Н и составим ее ряд
ад
Фурье: ^(/,Рп}<Рп. Рассмотрим последовательность частичных сумм этого
п=1
п
ряда: 8п = ^(/,рк)рк . Докажем, что она фундаментальна в Н. Для этого
к=1
найдем
Рп - =( £(/,% Р, Ё(/,р )\=Ё(/,п )(/р )Р ,р )=£(/>к )2 (9)
||2
чк= т I=т ) к ,1=
в силу ортонормированности (для определенности мы считали, что п > т ).
ад
По равенству Парсеваля ряд , рп) сходится. Значит, последователь-
п=1
ность его частичных сумм Ап = ,рк )2 сходится, а значит, и фундаменталь-
к=1
на, т.е. У а > 0 : Уп, т > N Ап - Ат < а (снова считаем, что п > т ). Однако правая часть в выражении (9) как раз равна Ап - Ат, поэтому получаем, что
{п }п=1 фундаментальна в Н. Поскольку пространство — полное, то {8п сходится, т. е. сходится ряд Фурье для функции /. Если докажем, что его сумма равна именно /, это будет означать, что любая функция из Н раскладывается в ряд Фурье по системе {рп }ад=1, а значит, система образует базис (и, следовательно, замкнута).
ад
Пусть сумма ряда есть g = ^(/,рп )п. Рассмотрим скалярное произ-
п=1
ведение
(( - gРп ) = ((, Рп ) - ((, Р )Рк Рп ^ =
ад
= (( Рп )-Ё(( Рк )(Рк Рп ) = (( Рп Рп ) = 0.
к=1
Таким образом, функция / - g ортогональна всем функциям системы {рп }ад=1 и, следовательно, в силу ее полноты, / - g = 0 . Следовательно, / = g, т. е. сумма ряда Фурье функции / равна /, что завершает доказательство теоремы.
Итак, в гильбертовом пространстве понятия полноты и замкнутости равносильны.
5. Биортогональные системы
Пусть {(п }"=1 — некоторая (вообще говоря, неортогональная) система в евклидовом пространстве Е. Как должно быть устроено разложение функции
ад
/ в ряд Ё сп(п по этой системе? Напомним, что в случае ортогональной систе-
п=1
мы мы нашли коэффициенты, умножая ряд скалярно на один из элементов системы. Теперь, чтобы осуществить подобную идею, будем домножать ряд не на элементы этой же системы, а на некие иные функции, каждая из которых ортогональна всем функциям системы, кроме одной.
Определение 12. Система {^пназывается биортогонально сопряженной (или просто биортогональной) к системе {(}^=1, если ((п,щп) = 5кп.
Очевидно, если система биортогональна к {(п }^=1, то и {(п }^=1 би-
ортогональна к {^п . Поэтому можно говорить просто о паре биортогональ-
ных систем. Очевидно также, что ортонормированная система биортогональна сама себе.
ад
Если справедливо разложение / = Ё ск(к , то мы теперь легко найдем ко-
к=1
эффициенты, домножив скалярно обе части равенства на ц/п:
[ад Л ад ад
Ёс(,¥п | = Ёск ((,¥п) = ЁскК = сп.
к=1 У к=1 к=1
Итак, коэффициенты разложения (а значит, и само разложение) строятся
ад
однозначно. Составленный для функции / ряд вида Ё(/,¥„)( называется
п=1
биортогональным рядом для этой функции. Базисность системы {(п}ад=1 означает, что для любой функции из данного пространства ее биортогональный ряд сходится, причем именно к этой функции.
Если мы имеем пару биортогональных систем {(п}ад=1 и {^пЩ то, очевидно, можно составить два биортогональных ряда для каждой функции / :
адад
Ё(/)( и Ё(/,()^п. Естественно поставить вопрос: как связаны между
п =1 п =1
собой свойства этих рядов, и, вообще, свойства пары биортогональных систем? Отметим без доказательства, что если мы имеем пару биортогональных систем, то базисность одной из систем влечет базисность другой системы.
Интересно, что другие свойства, вообще говоря, не переносятся с одной системы на другую. В частности, полнота одной из систем не влечет за собой полноту другой системы, что показывает следующий пример.
Пример. Рассмотрим ортонормированный базис {<п }"=1 и построим по
нему систему {<2 + <,<3 + <,...,<Рп + <,...} • Нетрудно проверить, что биортого-
нальной к ней является система {<2,<п,•••}, полученная из ортонормиро-
ванного базиса «выбрасыванием» одного элемента, а значит, заведомо неполная. Вместе с тем, сама рассматриваемая система полна. В самом деле, если /
ортогональна ко всем функциям этой системы, то (/,<к + < ) = 0 (к = 2,3,...), т. е. (/,<к) = -(/, <). Тогда равенство Парсеваля для {яп}Г=1 примет вид
ад
Е (/, <) /|| . Отсюда ясно, что (/, <) = 0 (в противном случае ряд расхо-
п=1
дится) и / = 0 . Итак, если / ортогональна ко всем функциям рассматриваемой системы, то / = 0, т. е. система полна.
Поставим вопрос о существовании и единственности системы, биортого-нальной к данной.
Теорема 4. Пусть {<п }^=1 — некоторая система в гильбертовом пространстве Н. Ее минимальность необходима и достаточна для существования биортогональной к ней системы. Для единственности биортогональной системы необходима и достаточна полнота системы {<п }^=1.
Доказательство. 1) Пусть для системы {<п}^=1 существует биортого-нальная система {Ып} Докажем минимальность {<п}^=1. Допустим, от противного, что она не минимальна. Тогда некоторое < п можно как угодно точно приблизить линейными комбинациями других элементов:
Зп Уа> 0 ЗЫ Зск (к = 1,...,Ы;к * п) :
лярное произведение:
< а. Рассмотрим ска-
<п- Е с<
к=1,к * п
С N \ N
<п - Е с<Ы = (<пЫ)- Е ск (<кЫ) = 1.
ч к=1, к* п у к=1,к* п
С другой стороны, по неравенству Коши—Буняковского,
С
<< - Е ск<к Ы
Л
к=1, к * п
<
<п- Е ск<к
к=1,к * п
Ы <*Ы.
Итак, 1 < аЫп . Но это неверно в силу произвольности а> 0. Следовательно, {<п }Г=1 минимальна.
2) Пусть система {<п }^=1 минимальна. Докажем существование биортого-нальной системы. Временно предположим дополнительно полноту системы. «Выбросим» из нее первый элемент. Оставшаяся система {<2,<3,..., <рп,...} заведомо неполная (если бы она была полной, а следовательно, замкнутой, то любой элемент пространства, в том числе и < 1 , можно было бы приблизить как
21
угодно точно линейными комбинациями элементов этой системы, что противоречит минимальности исходной системы). Тогда существует ненулевой элемент, ортогональный ко всем <рк (к > 2). Обозначим его щ. Заметим, что
(<,щ) ^ 0 (в противном случае щ1 был бы ортогонален всем элементам исходной системы, а значит, в силу ее полноты, был бы равен нулю). Тогда можно нормировать этот элемент так, чтобы (<, щ) = 1.
Далее, удалим из исходной системы элемент <2. Для оставшейся системы {<,<,...,<,...} построим элемент щ2 такой, что (<2,щ2 ) = 1, (<рп ,щ2 ) = = 0 (п ^ 2). Продолжая этот процесс, построим систему {щп}"=1 такую, что (<рп,щк) = 5кп , т. е. систему, биортогональную к {<п.
Откажемся теперь от дополнительного предположения о полноте системы. Пусть {<п минимальна. Рассмотрим произвольную систему {уп}, полную в пространстве Н . Объединение {<п} и {уп} тем более будет полным. Просматривая по очереди все элементы у1,у2,... и удаляя те из них, которые принадлежат линейной оболочке остальных элементов объединения, оставим в итоге полную и минимальную систему, содержащую исходную. Для полученной полной и минимальной системы, как уже доказано, существует биортого-нальная. В частности, мы получим биортогональную систему и для исходной системы.
3) Пусть система {<п }"=1 полна. Докажем, что биортогональная система (если она существует) является единственной. Предположим, что имеются две биортогональных системы {щп и {щ**} . Тогда, по определению,
(<РпЩ) = К и (<п, Щ*) = . СлеДовательно, (<,Щк — Щ*) = К ~8кп = 0, т. е. каждая из функций щк -щ* ортогональна ко всем функциям системы {<п . В силу полноты последней системы, щк - щ* = 0 для всех к, т. е. биортогональная система является единственной.
4) Пусть теперь биортогональная к {<п }"=1 система {щп является единственной. Докажем полноту {<п }"=1. Если, от противного, она неполная, то в пространстве существует ненулевая функция /, ортогональная ко всем функциям <рп. Тогда (<п,Щк + /) = К + 0 = 8кп, т. е. система {щп + /} также би-ортогональна к {<п }"=1, что противоречит единственности биортогональной системы.
Таким образом, теорема доказана.
К сожалению, реальное построение системы, биортогональной к данной, — задача весьма непростая. Например, если <п = ехр(/Апх), где {Лп } — некоторая заданная последовательность действительных или комплексных чисел, то в
общем случае неизвестно, как построить систему, биортогональную к [фп }"=1 в 4(0,1).
Для наглядности приведем простой пример пары биортогональных систем. Рассмотрим «слегка испорченную» тригонометрическую систему функций:
1U {cos nx,sin nx + an cos nx}}, где {an — некоторая числовая последовательность. Нетрудно проверить, что биортогональной к ней в L2(0,2п) является
1 i if 1 a 1 . Г
система — U i — cos nx —n sin nx, — sin nx f . 2п In п п
n=1
6. Базисы Рисса и безусловные базисы. Теорема Бари
Начиная с данного пункта, большинство утверждений будем приводить без доказательств, поскольку они порой достаточно сложны и объемны, а размер статьи ограничен.
Подойдем к изучению неортогональных базисов следующим образом: выделим класс систем, которые можно преобразовать в ортонормированный базис «хорошим» преобразованием (ожидая, что такие системы «наследуют» некоторые свойства ортонормированных систем).
Определение 13. Система {^п}"=1 называется базисом Рисса в гильбертовом пространстве Н, если существует линейный ограниченный обратимый оператор Ь : Н ^ Н такой, что {Ьфп }}= — ортонормированный базис.
Известна теорема Банаха о том, что если линейный ограниченный оператор обратим, то обратный оператор также линеен и ограничен. Поэтому определение базиса Рисса можно сформулировать и иначе: система называется базисом Рисса, если ее можно получить из ортонормированной системы линейным ограниченным обратимым оператором.
Система, образующая базис Рисса, действительно является базисом. Чтобы убедиться в этом, напомним некоторые определения.
Определение 14. Оператор Ь называется сопряженным к оператору Ь в гильбертовом пространстве Н , если Ух, у е Н (Ьх, у ) = ( х, Ь*у ).
Согласно нашему определению, как сам оператор Ь , так и сопряженный к нему ЬЬ определены на всем пространстве. Для любого линейного ограниченного оператора, действующего из Н в Н, сопряженный оператор существует и единственен. Очевидно также, что оператор, сопряженный к сопряженному,
есть исходный оператор: (Ь*) = Ь .
Лемма 2. Если система {^п }"=1 образует базис Рисса в Н, то она является базисом в Н .
Доказательство. Поскольку {^п}"=1 — базис Рисса, то существует линейный ограниченный обратимый оператор Ь такой, что {Ь^п = {еп} — орто-
нормированный базис. Возьмем произвольную функцию / е Н и разложим
ад
функцию Ь/ по базису [еп Ь/ = ^(Ь/, еп )• еп . Поскольку еп = Ь<, полу-
п=1
ад ад
чим Ь/ = , Ь<п )Ь<п = , ЕЬ<рп )ь<п . Подействовав на обе части равен-
п=1 п=1
ад
ства оператором Ь-, будем иметь / = ^ (/, ЬЕЬ<п) <п. Таким образом, произ-
п=1
вольная функция / е Н оказалась разложенной в ряд по системе {<п }ад=1, что как раз и означает базисность этой системы. (в силу установленной ранее единственности разложения в биортогональный ряд). Более того, система {\п} биортогональная к {<п }ад=1, имеет вид \п = ЕЬ(рп.
Обратим внимание на некоторые отличия неортогональных базисов от ортогональных.
Любую ортогональную систему можно нормировать, поделив каждый элемент на его норму. Если же {<п }ад=1 и {\п — биортогональная пара систем, то нормировать обе системы, вообще говоря, нельзя: они связаны условием биортогональности: (<п, \к) = 5кп . Нормировав одну из систем, следует однозначно изменить другую: {<п ||<п|| , {\п ||<п|} . В связи с этим, наряду с нормиро-
ванностью, вводится не столь «жесткое» понятие: почти нормированность.
Определение 15. Система {<п }ад=1 называется почти нормированной, если
существуют положительные константы а, в такие, что а < ||<п|| < в (Уп).
Можно доказать, что если {<п }ад=1 образует почти нормированный базис, то биортогональная к ней система также образует почти нормированный базис. В частности, следствием этого факта является необходимое условие ба-зисности:
Лемма 3. (Необходимое условие базисности). Если {<п }ад=1 — базис в гильбертовом пространстве, а {\п } — биортогональная к нему система, то
ЗС > 0 Уп е N ||<|-\\щп\\ < С . (10)
Еще одна особенность биортогональных базисов связана со следующим термином:
Определение 16. Базис называется безусловным (или перестановочным), если он остается базисом при любой перестановке его элементов.
Любой ортонормированный базис является безусловным. В самом деле, для ортонормированной системы базисность равносильна выполнению равенства Парсеваля (7). Однако ряд в левой части (7) — положительный, а для таких рядов выполнено свойство коммутативности (при любой перестановке слагаемых сходящийся ряд остается сходящимся, и его сумма не меняется). Следова-
24
тельно, при перестановке элементов базиса равенство Парсеваля не нарушится, а значит, система останется базисом.
Неортогональные базисы, вообще говоря, не обязаны быть безусловными. Примеры условных базисов построить непросто, однако они существуют. Пер-
Г 1 а
вым построил такой пример К. И. Бабенко [5]: системы \ ,— |хГ егпх > и
[V 2^ ^
Г 1 , ,-« ■ Г
егпх > (где 0 <а < 1/2) биортогональны друг другу и являются ба-
IVn11 \п
зисами в L2(-n,n), но эти базисы условны.
Теорема 5 (теорема Лорча). Для того чтобы система {^п }"=1 являлась
базисом Рисса в гильбертовом пространстве H, необходимо и достаточно, чтобы она была, во-первых, безусловным базисом, во-вторых, почти нормированной системой.
Теорема была доказана канадским математиком Е. Р. Лорчем (E. R. Lorch) в 1939 году, но независимо от него более сильное утверждение было доказано несколько ранее И. М. Гельфандом.
Таким образом, исследование той или иной системы на предмет ее базис-ности Рисса и на предмет безусловной базисности фактически сводятся друг к другу (поскольку проверка почти нормированности не представляется серьезной проблемой).
Базисность Рисса (а значит, и безусловная базисность) системы оказывается тесно связанной с выполнением так называемых неравенств Бесселя и Гильберта (или, проще говоря, с бесселевостью и гильбертовостью системы).
Определение 17. Система {^п }"=1 бесселева в гильбертовом пространстве H , если
2
3ß> 0 V/ £ H J\(f,q>n )| <ß||/f. (11)
n=1
Константа ß называется при этом константой Бесселя, а само неравенство (11) — неравенством Бесселя.
Определение 18. Система {^п}"=1 гильбертова в гильбертовом пространстве H , если
2
3Г> 0 V/ £ H J\(f,q>n )| >Н|/||2. (12)
п=1
Константа у называется при этом константой Гильберта, а само неравенство (12) — неравенством Гильберта.
Знак модуля в неравенствах (11), (12) присутствует, поскольку пространство, вообще говоря, может рассматриваться над полем комплексных чисел.
Если система гильбертова, она автоматически полна. В самом деле, если функция ортогональна всем элементам системы, то ряд в левой части неравен-
ства (12) — ряд из нулей, а тогда норма в правой части (а следовательно, и сама функция) — нулевая.
Приведем без доказательства фундаментальную теорему Н. К. Бари (см. [3, 4]).
Теорема 6 (теорема Н. К. Бари). Следующие три утверждения равносильны:
1) система [рп образует базис Рисса в гильбертовом пространстве H;
2) система {^п }"=1 минимальна и полна в H, системы {^п }"=1 и биортого-нальная к ней {^п} бесселевы в H;
3) система {^правномерно минимальна, бесселева и гильбертова в H .
Теорема Бари дает два пути исследования базисности Рисса: 1) установление бесселевости исходной системы и биортогональной к ней системы, 2) установление бесселевости и гильбертовости исходной системы. Каждый из подходов имеет свои преимущества и недостатки. С одной стороны, исследование бесселевости существенно проще, чем гильбертовости (в самом деле, в неравенстве Бесселя фактически речь идет о сходимости ряда, а его сумма оценивается сверху, в неравенстве же Гильберта сумму ряда надо оценить снизу, что принципиально сложнее; более того, добавление, изменение или отбрасывание любого конечного числа элементов системы не влияет на ее бесселевость, однако отбрасывание или изменение даже одного элемента может нарушить ее гиль-бертовость). В этом смысле первый из обозначенных подходов предпочтительнее. Однако при этом подходе требуется знать в явном виде систему, биортого-нальную к исходной, что, как уже говорилось, порой весьма проблематично. В этом смысле предпочтительнее второй подход, предполагающий изучение одной лишь исходной системы.
На данный момент установлены условия бесселевости для широкого класса систем (в том числе для систем корневых функций обыкновенных дифференциальных операторов). Условия же гильбертовости остаются изученными весьма слабо.
Рассмотрим простейший пример применения теоремы Бари.
Проверим, образует ли базис Рисса в L2[0,2п] уже упоминавшаяся система 1U {cos raisin пх + сп cos их}}. Используя неравенство \a ± b|2 < 2 (|a|2 + |b|2), справедливое для любых комплексных a, b, получим:
|(/, sin пх + сп cos пх)|2 < 2|(/,sin пх)|2 + 2 |сп f |(/, cos пх)).
Если последовательность {сп} ограничена, т. е. ЗМ > 0 Уп |сп| < M , то
ГО У \ го
\(/, 1)|2 + Ё (\(/, cos пх)|2 + \(/, sin пх + сп cos пх)|2 ) < \(/, 1)|2 + 2¿ |(/, sin пх)|2 +
п=1 ^ ' п=1
, . го 2
+(1 + 21сп|2ISK-C,cosпх)| < max {2,1 + 2М 2}-п-
п=1
a
Z(KI2 + |b.| 1
п=1
< сот1
где а0, ап,Ъп (п е N) — коэффициенты тригонометрического ряда Фурье функции /, т. е. рассматриваемая система бесселева. Аналогично можно убедиться в бесселевости биортогональной системы, которая уже была указана в явном виде. Итак, в случае ограниченности {сп ] система образует базис Рисса
(ее полнота и минимальность очевидны, так как, например, при ортогонализа-ции она переходит в классический тригонометрический ортонормированный базис).
Если же последовательность {сп ] неограниченна, то, как можно показать, нарушается бесселевость системы, а следовательно, она не будет базисом Рисса.
7. Базисность систем корневых функций дифференциальных операторов
Особый интерес представляет проблема базисности систем корневых функций обыкновенных дифференциальных операторов. В частности, именно к этой проблеме сводится обоснование метода разделения переменных для решения широкого класса краевых задач математической физики.
Для простоты и краткости изложения ограничимся операторами второго порядка.
На произвольном конечном интервале (а, Ъ) ^ Я рассмотрим дифференциальный оператор
Ьи = и"+ р( х)и'+ д( х)и (13)
с парой локальных краевых условий вида
а1ки '(а) + «2 ки Щ + ДкЧа) + Р2ки(Ъ) = 0 (к = 1,2). (14)
Собственной функцией оператора Ь , отвечающей собственному значению Л = ¡л2, назовем любую комплекснозначную не равную тождественно нулю функцию и(х) , удовлетворяющую на (а, Ъ) уравнению
Ьи + ¡Ли = 0 (15)
и удовлетворяющую краевым условиям (14).
Основной вопрос заключается в следующем: при каких условиях система собственных функций образует базис (базис Рисса, безусловный базис) в Ь2(а,Ъ)?
Важную роль играет при этом сопряженный оператор, для построения которого следует рассмотреть скалярное произведение (Ьи, V)) и проинтегрировать дважды по частям:
и и
(Lu, v) = JLu(x)v(x) dx =J(u "+ p(x)u'+ q(x)u)v(x) dx ■
a a
= (u'( x)v( x) - u( x)v'(x) + p( x)u (x)v( x) )
+
a
+|и(х)("(х) -(р(х)у(х))'+ q(х)у(х)) (х = |и(х) ьу(х) (х = (и, Iv) ,
а а
где IIV = V"(х) -(р(х)у(х))'+ q(х)у(х), а краевые условия для оператора I подбираются так, чтобы внеинтегральные слагаемые обнулились.
Определение 19. Оператор I называется самосопряженным, если I = I. Пример 1. Рассмотрим оператор Ьи = и"+ q(х)и с краевыми условиями и (0) = 0, и (1) = 0. Построим сопряженный оператор:
1 _ _ _ 1 1 -=—
(Ьи, V) = |(и"+ qu ) (х = (и' V - uv+1 и("+ q • V) (х =
0 0
= u '(1)v(1) - u '(0)v(0) + Ju(v"+ q • v) dx = (u, L*v) ,
0
где LLv = v"+ q • v с краевыми условиями v(0) = 0, v(1) = 0 . Если функция q(x) вещественнозначная, то оператор L — самосопряженный.
Положим теперь для простоты q(x) = 0 и найдем собственные функции.
Общее решение уравнения Lu + /u = 0 , т. е. u"+ /u = 0 имеет вид u(x) = A cos /x + B sin /x . С учетом краевых условий ясно, что A = 0 и B sin / = 0 . Поскольку при B = 0 получим u(x) = 0, что противоречит определению собственной функции, то обязательно sin / = 0. Отсюда получаем набор
собственных значений Хп = // = (nn)2 (n е N) и, соответственно, систему собственных функций un (x) = sin nnx . Как известно, эта система синусов образует ортогональный базис в L2 (0,1).
Пример 2. Рассмотрим теперь оператор Lu = u"+ q(x)u с краевыми условиями u(0) = 0, u '(1) = u '(0) . Такая краевая задача возникла в 1970-х годах при исследовании устойчивости турбулентной плазмы и получила название задачи Самарского — Ионкина. Аналогично примеру 1 построим сопряженный оператор:
1 _ _ _ _
(Lu, v) = J(u" + qu ) v dx =u '(1) v(1) + u(1) v '(1) - u '(0) v(0) - u(0) v '(0) +
1
+
J u (v"+ q • v) dx = u (1)v '(0) + u '(0) (v(1) - v(0)) + J u(v"+ q • v) dx = (u, L*v),
где LLv = v"+ q • v с краевыми условиями v(0) = v(1), v '(0) = 0 . Ясно, что оператор — несамосопряженный.
Положим снова q(x) = 0 и подставим общее решение u (x) = A cos ¿ux +
+B sin ¿x уравнения u"+ ¿Uu = 0 в краевые условия. Получим A = 0 и u cos u = U . Отсюда ясен набор собственных значений Л = 0, Лп = uU = (2nn)2 (n е #) и система собственных функций u0 = x, un (x) = sin (2nnx) . Как видим, собственные значения расположены «реже», чем в примере 1, а система собственных функций заведомо не полна (и, тем более, не образует базиса) в L2(0,1).
Неполнота системы собственных функций наводит на мысль о попытке пополнения этой системы. Принято пополнять в случае необходимости систему собственных функций так называемыми присоединенными функциями (мы не имеем здесь возможности обсудить вопрос о том, почему присоединенные функции определяются именно так, а не как-либо иначе, скажем лишь, что такая трактовка идет от физических задач).
Определение 20. Присоединенной функцией первого порядка, отвечающей собственному значению Лп = uU и собственной функции un 0, назовем любую комплекснозначную, не равную тождественно нулю функцию un 1 (x) , удовлетворяющую на (a, b) уравнению
Lun,1 + UX,1 = un,0 (16)
и удовлетворяющую краевым условиям (14). Далее, индуктивно определяются присоединенные функции порядка к : уравнение при этом имеет вид
Lunk +Un4k = un,k-1. (17)
Отметим, что среди решений уравнений (16), (17) не обязаны существовать функции, удовлетворяющие краевым условиям. Поэтому для каждой собственной функции un,0 ситуация может быть различной: она может вообще не
иметь присоединенных, но может иметь цепочку присоединенных функций un1,un 2,...,unk . Систему всех собственных и присоединенных функций данного
оператора принято также называть системой корневых функций этого оператора.
Отметим следующий немаловажный факт: каждая присоединенная функция является решением линейного неоднородного дифференциального уравнения, собственная же функция — решением соответствующего однородного уравнения. Их линейная комбинация снова будет давать решение неоднородного уравнения, т. е. снова будет являться присоединенной функцией. Таким образом, присоединенные функции строятся неоднозначно, а лишь с точностью до линейных комбинаций, содержащих собственные функции.
Замечание. Не следует путать термин «присоединенные функции» с встречающимися в приложениях, например, присоединенными функциями Ле-жандра.
В примере 2 каждая собственная функция, кроме u0, имеет одну присоединенную, которая строится неоднозначно и имеет вид
un1 =--П— x(cos (2nnx) + An sin (2nnx)), где An — произвольные постоянные. Таким образом, система корневых функций в примере 2 выглядит следующим образом: {un } = x U jsin (2nnx), - -Л— ( cos (2nnx) + An sin (2nnx))| . Забегая
вперед, скажем, что в случае ограниченной последовательности {An } указанная система корневых функций образует безусловный базис в L2(0,1), в противном же случае не является базисом.
Система, биортогональная к указанной системе корневых функций, имеет
вид {vn}_ 2 U {4(1 - x) sin(2nnx) +16nnAn cos(2nnx), -16nn cos(2nnx)}n_l. Нетрудно убедиться, что она является системой корневых функций сопряженного оператора (причем сначала указаны присоединенные, а затем — собственные функции). Такая ситуация не случайна. Справедлива
Лемма 4. Пусть {un} — полная и минимальная система корневых функций некоторого оператора L вида (13) — (14), тогда биортогональная к ней система {vnсостоит из корневых функций сопряженного оператора L .
Доказательство. Пусть {un— полная и минимальная система корневых функций оператора L, а {vn— биортогональная к ней система. Запишем уравнение для собственных и присоединенных функций в единой форме:
Lun +vlun _d„un(18)
где числа вп равны нулю, если un — собственная функция, и единице, если un — присоединенная функция (в этом случае требуем, чтобы цп _ /лп-1). Рассмотрим выражение
(un, L\+vk vk - ek+1vk+1) _ (Lun, v)+mí (u, v)- ek+1 (un, v+1) _
_(Lun + f4un , vk ) - Qk+1 (un-1, vk ) _ (Lun + ríun - Qk+1un-1, vk ) _ _ (Lun + Áun - ®nun-1, vk ) + (^ - £ ) (un , vk ) + (9n - 9k+1 ) (un-1, vk ) = _ (( - MÍ ) (un , vk ) + ($n - +1 ) (un-1, vk ) .
[По ходу преобразований мы воспользовались тем, что (un, vk+1 ) _ ^+1 _ _ _ (un-1, vk) ]. Далее, если n ф k и n ф k +1, то оба скалярных произведения
в правой части полученного соотношения равны нулю. Если n _ k, то равны нулю первая скобка и второе из скалярных произведений. Если, наконец,
п = к +1, то в ноль обращаются первое из скалярных произведений и выражение вп -вк+1. Итак, в любом случае (ип, Е'ук + /и2Ук -вк+1Ук+1) = 0 . В силу полно-
( л ад т* 2 ^
ты системы {ип } это означает, что Ьук + /лкук =вк+1vk+1. Пусть теперь ип, ип+1,..., ип+1 — цепочка из собственной и присоединенных к ней функций, отвечающих значению /п. Тогда вп = 0, вп+1 = ... = вп+1 = 1, вп+1+1 = 0 . Из уравнения для функций vk видим, что vn+1 — собственная функция оператора ЕЕ, отвечающая значению /п, а vn+1-1,..., vn — цепочка присоединенных к ней функций. (В отличие от исходной системы, нумерация внутри цепочки идет не по возрастанию, а по убыванию индекса). Лемма доказана.
Вернемся к примерам 1, 2. Принципиальное отличие свойств корневых функций в одном и другом примерах вызвано тем, что оператор в примере 1 — самосопряженный, в примере 2 — несамосопряженный. Перечислим основные различия между этими двумя классами операторов.
1. Собственные значения любого самосопряженного оператора — действительны. Собственные значения несамосопряженного оператора, вообще говоря, комплексны (хотя в примере 2 нам повезло, — они все же оказались действительными).
2. Самосопряженный оператор обладает системой собственных функций, образующих ортонормированный базис в Ь2 (что следует из знаменитой теоремы Гильберта — Шмидта). Система собственных функций несамосопряженного оператора, вообще говоря, не обязана быть ортогональной (а значит, к ней нельзя применить классическую теорию ортогональных рядов).
3. Система собственных функций несамосопряженного оператора не обязана даже быть полной в Ь2 , поэтому ее приходится пополнять присоединенными функциями (как в примере 2).
4. Полнота неортогональной системы не равносильна ее базисности. Существуют примеры полных и минимальных систем функций, не образующих базиса.
5. Присоединенные функции строятся неоднозначно. При одном способе построения полученная в итоге система корневых функций может образовывать базис (и даже базис Рисса), а при другом — может не образовывать. Такая ситуация выглядит странно с физической точки зрения: реальная задача, решение которой свелось к вопросу о базисности системы корневых функций, объективно должна либо иметь решение, либо не иметь; наличие или отсутствие решения не должно зависеть от нашего субъективного произвола в выборе присоединенных функций.
6. Ортонормированный базис из собственных функций самосопряженного оператора автоматически является безусловным. Система же корневых функций несамосопряженного оператора может образовывать условный базис, т. е. ее базисные свойства зависят от нашего произвола в нумерации собственных значений и корневых функций (что опять-таки неестественно с физической точки зрения).
Такие особенности несамосопряженных операторов делают весьма непростой задачу построения спектральной теории (т. е. теории, изучающей свойства собственных значений и корневых функций, вопросы разложения по системам корневых функций, вопросы их базисности).
В конце 40-х — начале 50-х годов ХХ века М. В. Келдыш (а затем и многочисленные его последователи) выделили класс краевых условий (так называемые регулярные краевые условия), обеспечивающих полноту системы корневых функций. (Соответствующую библиографию можно найти, например, в работе [6]). Однако М. В. Келдышем, по-видимому, не было еще в полной мере осознано различие между полнотой и базисностью неортогональных систем функций.
Следующий важный шаг был сделан в начале 60-х годов Г. М. Кесельма-ном и В. П. Михайловым. Им удалось выделить более узкий по сравнению с регулярными класс краевых условий (усиленно регулярные), обеспечивающих базисность Рисса систем корневых функций. Однако, к сожалению, все попытки расширить этот класс оканчивались неудачей. Между тем, начали появляться физические задачи (подобные рассмотренной в примере 2 задаче Самарского—Ионкина), попадавшие как раз в «зазор» между регулярными и усиленно регулярными краевыми условиями (т. е. можно было гарантировать полноту, но не базисность системы корневых функций). Более того, выяснилось, что собственные значения операторов с усиленно регулярными условиями, начиная с некоторого момента, становятся простыми (однократными), а значит, им отвечают только собственные функции (без присоединенных!), т. е. оператор ведет себя «почти» как самосопряженный. Никаких результатов о базисности систем корневых функций «существенно» несамосопряженных операторов долгое время получить не удавалось.
Новый этап в спектральной теории несамосопряженных дифференциальных операторов связан с именем В. А. Ильина. Ему, по-видимому, впервые удалось осознать, что условия базисности систем корневых функций несамосопряженных дифференциальных операторов в принципе невозможно выражать в терминах краевых условий. В самом деле, как уже было сказано, присоединенные функции строятся неоднозначно, причем при одном их выборе мы можем получить систему, образующую базис, а при другом — нет. Таким образом, один и тот же оператор с одними и теми же краевыми условиями обладает различными системами корневых функций, одни из которых образуют базис, а другие — нет.
Более того, В. А. Ильину удалось построить следующий любопытный пример.
Пример 3. Рассмотрим оператор Lu = u"+ p(x)u'+ q(x)u с краевыми условиями u(0) = 0, u '(0) = u '(1) . При p(x) = q(x) = 0 оператор обладает в L2 (0,1) безусловным базисом из собственных и присоединенных функций
xU jsin(2nnx), -44П— cos(2nnx)j (см. пример 2). При p(x) = x-,
( ) Г 112 * (
х) = — I х - ^ I + - (где 5 — произвольное сколь угодно малое положительное число) система собственных функций (в данном случае присоединенных функций нет) не образует базиса (даже условного) в £2(0,1) ни при каком 5 . Таким образом, два оператора с одними и теми же краевыми условиями и сколь угодно близкими (в любой метрике) бесконечно дифференцируемыми коэффициентами имеют принципиально различные свойства: у одного имеется базис (и даже безусловный) из корневых функций, у другого — нет. Этот пример наглядно показывает, что изучение базисности систем корневых функций несамосопряженных операторов в терминах краевых условий и гладкости коэффициентов в принципе невозможно.
В. А. Ильин предложил изучать условия базисности в терминах структуры спектра (т. е. множества собственных значений), а также соотношений между нормами корневых функций в тех или иных пространствах. Такой подход представляется вполне естественным. В самом деле, при решении прикладных краевых задач мы сначала находим собственные значения и корневые функции (либо их асимптотику), а затем уже рассматриваем их свойства. Фактически В. А. Ильин предложил отделить друг от друга эти два этапа и сосредоточиться на втором этапе (тем более, что асимптотика собственных значений и корневых функций достаточно хорошо изучена), изучая базисность не в терминах исходной краевой задачи, а в терминах уже построенной системы собственных значений и корневых функций. Соответственно, он предложил новую трактовку корневых функций, отказавшись от выполнения тех или иных краевых условий.
В. А. Ильиным были предложены также оригинальные методы исследования базисности, безусловной базисности и базисности Рисса систем корневых функций, основанные на применении формул среднего значения и их односторонних аналогов. Не имея возможности останавливаться подробно на этих формулах, отметим, что для оператора второго порядка формула среднего значения впервые была предложена английским математиком Ч. Тит-чмаршем [7], для операторов высокого порядка — Е. И. Моисеевым [8] (учеником В. А. Ильина).
Приведем без доказательства один из результатов В. А. Ильина.
Рассмотрим на произвольном конечном интервале О формальный дифференциальный оператор (13) с коэффициентами р(х) е ^(О), д(х) е Ц(О). Систему корневых функций этого оператора будем понимать как систему произвольных комплекснозначных, отличных от тождественного нуля функций
{ип} , удовлетворяющих почти всюду в О уравнению (18).
Теорема 7 (В. А. Ильин [9]). Пусть {ип} — произвольная полная минимальная в Ь2(О) система корневых функций оператора (13), а биорто-гональная к ней система {уп состоит из корневых функций оператора .
Пусть также выполнено условие Карлемана:
ЗМ1: Vn |Im цп\< M1. (19)
Тогда для безусловной базисности в L2(G) каждой из систем {un}, {vn} необходимо и достаточно выполнение следующих двух условий:
3M2: Vr> 0 2 1 <M2; (20)
т< Re Цп <т+1
3M3 : Vn llu II -I\v II <M3, (21)
3 || n\|2 11 n\|2 3 5 v /
где через || • ||2 обозначена норма в L2(G).
Позднее Н. Б. Керимовым [10, 11] было доказано, что при дополнительном предположении о равномерной ограниченности длин цепочек корневых функций условие Карлемана (19) необходимо для безусловной базисности систем корневых функций.
Условие «сумма единиц» (20) выражает вполне естественное требование равномерности распределения собственных значений (точнее, спектральных параметров /ип): в каждой вертикальной полосе ширины 1 количество чисел /ип
ограничено одной и той же константой.
Проиллюстрируем эту теорему, применив ее к примеру 2. Пара биортого-нально сопряженных систем {un}, { vn} представляет собой системы корневых функций исходного и сопряженного к нему операторов. Поскольку ц0 = 0, ¡л2п-1 = ¡л2п (п е N) (мы здесь занумеровали значения спектрального параметра с учетом кратности), то выполнены как условие Карлемана (19), так и условие «сумма единиц» (20). Следует проверить лишь выполнение (21). После несложных, но достаточно громоздких вычислений увидим, что
IK-J = |Нп2ппх|| 2 =-l=,
1 2 1
—(хcos(2ппх) + Ап sin(2ппх))--— (1 + 48А2),
П V ! п \ !) 96п пп '
Ы =
4пп
Ы =
||16пп cos2n2x||2 = 8у[2жп,
|К-11| = ||4(1 - х) ып(2ппх) +16Ап С08(2ппх)|2
/-> + 128Ап2 ,
где под символом «~« понимается асимптотическое поведение при больших значениях п. Очевидно, что условие (21) окажется выполненным в случае ограниченной последовательности {Ап} и невыполненным, когда эта последовательность не ограничена. Согласно теореме 7, в первом случае каждая из систем {ип}, { уп } образует безусловный базис в £2(0,1), во втором случае безусловного (а на самом деле, вообще никакого) базиса эти системы не образуют.
Для операторов высокого порядка критерий безусловной базисности был получен автором настоящей статьи [12]. Позднее эти результаты уточнялись как автором, так и Н. Б. Керимовым, В. М. Курбановым и др. Приведем формулировку теоремы из работы [12].
Рассмотрим на произвольном конечном интервале О формальный дифференциальный оператор
с коэффициентами рк(х) е Ж12т-к(О) (к = 2,3,...2т). (Хорошо известно, что коэффициент при (2т -1) -й производной можно обнулить стандартной экспоненциальной заменой). Систему корневых функций этого оператора будем вновь понимать безотносительно к виду краевых условий, а именно — как систему произвольных комплекснозначных, отличных от тождественного нуля функций
{ип} , удовлетворяющих почти всюду в О уравнению (18).
Теорема 8 (В.Д. Будаев [12]). Пусть {ип} — произвольная полная минимальная в Ь2(О) система корневых функций оператора (22), а биортого-нальная к ней система {п состоит из корневых функций оператора
Пусть также выполнено условие (19), и для каждой из систем справедлива оценка антиаприорного типа
ЗМ4,М5 : Уп <М4(1 + Ы)||ип||2, \\еп+1УпА <М5 (1 + Ы)И|2. (23)
Тогда для безусловной базисности в Ь2(О) каждой из систем {ип], {уп] необходимо и достаточно выполнение следующих условий:
1) условия «сумма единиц» (20),
2) условия (21),
(Под нормой с индексом да понимается норма в пространстве , т. е. существенный супремум модуля функции).
Заметим, что для оператора второго порядка требования (23), (24) заведомо выполнены.
Как уже отмечалось, исследование той или иной системы на базис-ность Рисса сводится к исследованию либо двух систем (исходной и био-ртогональной к ней) на бесселевость, либо одной исходной системы на бес-селевость и гильбертовость. Аналогично обстоит дело с исследованием на безусловную базисность. С помощью теорем Бари и Лорча нетрудно дока-
жи = и(2т)
+ Р2 (х)и(2т-2) + ... + Р2т-\ (х)и'+ р2т (х)и, (т = 2,3,...)
(22)
(24)
8. Об условиях бесселевости и гильбертовости
зать следующую лемму (впервые в явном виде она была сформулирована в работе [12]):
Лемма 5. Для того чтобы пара биортогонально сопряженных в гильбертовом пространстве H систем {ип} {уп образовывала пару безусловных базисов, необходимо и достаточно, чтобы: 1) хотя бы одна из систем была полна в H, 2) системы {ип |ип|| !}, {уп |vj| были бесселевыми в H, 3) выполнялось условие (21).
В связи с этим встает вопрос: каковы критерии бесселевости (а также гильбертовости) систем функций (в частности, систем корневых функций дифференциальных операторов).
Что касается бесселевости, ситуация уже достаточно хорошо изучена. В работе [9] при установлении критерия безусловной базисности был фактически получен (хотя и не сформулирован в явном виде) критерий бесселевости систем корневых функций оператора второго порядка, а в работе [12] и в ряде других работ получены критерии бесселевости систем корневых функций оператора высокого порядка. Ограничимся формулировкой для оператора второго порядка.
Теорема 9 (В. А. Ильин). Пусть {ип — произвольная система корневых функций оператора второго порядка. Пусть 1) длина всех цепочек корневых функций равномерно ограничена, 2) выполнено карлемановское условие.
Тогда для бесселевости системы {ип |ип|| !} в L2(G) необходимо и достаточно
выполнение условия «сумма единиц» (20).
Теорема 9 легко применима на практике. Например, для систем вида
{е'м„х} {cos /ипх}} , {sin ^х}} при выполнении для последовательности
{^п }п=1 карлемановского условия необходимым и достаточным для бесселевости в L2(G) является условие «сумма единиц». В частности, встречающиеся на практике системы типа {sin(aw + b) х}, [cos(au + b) х}, (ег (ап+ь) х } бесселевы в L2
на любом конечном промежутке при любых действительных a, b (a ^ 0) . (Поясним, что указанные системы почти нормированы, поэтому безразлично, исследуем мы бесселевость самих этих систем, или же предварительно нормируем их, как в теореме 9).
К сожалению, условия гильбертовости на данный момент изучены весьма слабо. Некоторые результаты в этом направлении были получены А. Маловым [13], однако они вряд ли могут быть применены на практике.
Автором настоящей статьи было показано (см., например, работу [14]), что свойства гильбертовости и бесселевости устойчивы по отношению к малому возмущению спектрального параметра. (Ранее подобные результаты были
известны лишь для стандартной системы экспонент {егпх} , см. работы [15, 16]). Не приводя здесь точных формулировок (в силу их громоздкости), укажем
яв-
лишь простейший пример. Система {cos(n + 8п)х} = при любых |£n| <-j=
ляется гильбертовой и бесселевой в L2(0,n), причем константы Бесселя и Гильберта выписываются в явном виде.
Изучение условий гильбертовости продолжает оставаться одной из наиболее актуальных проблем спектральной теории.
БИБЛИОГРАФИЧЕСКИЕ ССЫЛКИ
1. Ильин В. А., Позняк Э. Г. Основы математического анализа. Ч. 2. М., 1973.
2. Колмогоров А. Н., Фомин С. М. Элементы теории функций и функционального анализа. М., 1968.
3. Качмаж С., Штейнгауз Г. Теория ортогональных рядов. М., 1958.
4. Гохберг И. Ц., Крейн М. Г. Введение в теорию линейных несамосопряженных операторов. М., 1965.
5. Бабенко К. И. О сопряженных функциях. ДАН. Т. 62 (1948). № 2. С. 157-160.
6. Наймарк М. А. Линейные дифференциальные операторы. М., 1969.
7. Титчмарш Ч. Разложения по собственным функциям, связанные с дифференциальными уравнениями второго порядка. Т. 2. М., 1961.
8. Моисеев Е. И. Асимптотическая формула среднего значения для регулярного решения дифференциального уравнения // Дифференциальные уравнения. 1980. Т. 16. № 5. С. 827-844.
9. Ильин В. А. О безусловной базисности на замкнутом интервале систем собственных и присоединенных функций дифференциального оператора второго порядка // ДАН СССР. 1983. Т. 273. № 5. С. 1048-1053.
10. Керимов Н. Б. Необходимые условия базисности в L2 системы собственных и присоединенных функций дифференциального оператора второго порядка // ДАН СССР. 1988. Т. 299. № 4. С. 809-811.
11. Керимов Н. Б. К вопросу о необходимых условиях базисности // Дифференциальные уравнения. 1990. Т. 26. № 6. С. 943-953.
12. Будаев В. Д. Безусловная базисность систем корневых функций обыкновенных дифференциальных операторов: Дис. ... д-ра физ-мат. наук. М., 1993.
13. Малов А. А. Достаточные условия выполнения неравенства типа Гильберта по системе корневых функций обыкновенного дифференциального оператора второго порядка // Дифференциальные уравнения. 1994. Т. 30. № 2. C. 197-203.
14. Будаев В. Д. О неравенствах Гильберта и Бесселя для некоторых систем синусов, косинусов и экспонент // Дифференциальные уравнения. 1997. Т. 33. № 1. С. 19-24.
15. Paley R. E. A. C., Wiener N. Fourier Transforms in the Complex Domain. N. Y., 1934.
16. Кадец М. И. Точное значение постоянной Палея—Винера // Докл. АН СССР. 1964. Т.155. № 6. C.1253-1254.
V. Budaev
ORTHOGONAL AND BIORTHOGONAL BASES
Many modern mathematical problems (including applied ones) reduce to the
question as to whether some function admits expansion in a series relative to a given
system of functions (usually, this system consists of eigenfunctions of a given operator). Or, in other setting: does or does not a given system of functions form a basis
of the space under consideration? Until recently, problems of this kind arose in the study of orthogonal systems, thus leading to intensive development of the theory of orthogonal series and orthogonal bases (in particular, of trigonometric Fourier series). However, many physical problems investigated in the past decades required dealing with nonorthogonal series (and, accordingly, nonorthogonal bases). The fact that so far the theory of such series is only poorly developed is explained by numerous difficulties of principal nature. In this paper, an attempt is made to give a simple account of the main distinctions between the theories of orthogonal and biorthogonal bases and to present the fundamentals of both theories.
