§ 10. ПРОСТРАНСТВА С ИНДЕФИНИТНОЙ МЕТРИКОЙ |
261 |
|||
Пусть {Ял} — произвольный |
набор |
собственных |
чисел оператора |
А —А0 |
в П х и Im Kh ^ 0 (^ 0 ) для |
всех k. |
В случае |
вещественных Я =Ял под |
|
р(Ял) понимается введенная выше величина, а для невещественных Я полагается Р (К ) — dim 2?к (А). Тогда 2 Р (Ч ) ^ х-
кk
Приведенные результаты остаются верными не только для /-самосопря женных операторов А в П^, но и для любых / -симметрических (или иначе
J-эрмитовых) операторов А в Ик:
D (А) = Пх> |
[Ах, у] = [х, Ау\ |
(х, у е й (Л)). |
Справедливы также аналоги этих предложений для любых однозначно об ратимых /-изометрических и, в том числе, /-унитарных операторов U в Пх (с заменой вещественной оси единичной окружностью).
Наличие у /-унитарных (/-самосопряженных) операторов в UK конечномерных максимальных семидефинитных инва риантных подпространств лежит в основе так называемого ме
тода дефинизации. |
Если |
^(Я) |
есть минимальный |
многочлен |
||
сужения |
UI&K (где |
« 2 |
— инвариантное относительно /-уни |
|||
тарного |
оператора U в Пя неотрицательное к-мерное подпро |
|||||
странство), то |
оператор |
&(U) |
(дефинизирующий |
оператор) |
||
обладает |
тем |
свойством, |
что |
линеал ^ {U )П* семидефинитен |
||
(неположителен). Это позволяет в ряде случаев сводить реше ние задач в пространстве к известным результатам обыч ной теории.
В частности, метод дефинизации приводит к следующему результату. Для /-самосопряженного оператора А в Пх с чисто вещественным спектром (что не является существенным огра ничением) имеет место аналог обычного спектрального разло жения:
АЕлХ = JЯ dEKx |
(х е Пя). |
д |
|
Здесь (/-самосопряженная) спектральная оператор-функция Ек определена не на всей оси (—оо, оо), а лишь вне конечного числа (^ и ) так называемых критических точек,
~ E min (h, jj,)’ Е х-о = Е к, Е ( °°) — 0, Е ( + °о) = /,
Д —любой интервал (а, р) вещественной оси, не содержащий критических точек, Е д = £(р) —Е ( а). Критические точки спек тральной функции Е% являются собственными значениями су жения оператора А на п-мерное неотрицательное инвариантное подпространство (существующее в силу основной теоремы). Хотя последнее определяется не единственным образом, множе ство критических точек определяется оператором А однозначно.
Если ограниченный оператор А в /-пространстве Н /-неотри цателен, т. е. [Ах, х] ^ 0 для всех х, то спектр А веществен. Для
262 ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ
таких операторов в любом |
// (не |
только |
в Пх) |
имеет местр |
спектральное разложение |
со |
|
|
|
|
|
|
|
|
Ах = Sx + |
J X dEKx |
(х е |
Я), |
|
где Е\ — спектральная функция с |
единственной |
критической |
||
точкой 0 (интеграл понимается как несобственный), a S — неот рицательный оператор со свойствами:
S2 = 0, SEA = EAS = 0 (ОфЬ), AS = SA.
Спектральные разложения, указанные выше для некоторых классов /-самосопряженных операторов, позволяют построить для этих классов функциональное операторное исчисление.
Другим примером применения спектральных разложений является устанавливаемое с их помощью полярное представле ние ограниченного строгого плюс-оператора А. Так называется
представление А = |
VR, где: 1) R —ограниченный |
/-самосопря |
|||||
женный |
оператор |
с неотрицательным |
спектром |
и такой, что |
|||
R2 — Л°Л, |
a N(R) = N(A°A) |
(N(U)— множество |
нулей опера |
||||
тора U). |
2) |
V —частично /-изометрический оператор, т.е./-изо |
|||||
метрический на некотором проекционно полном |
подпростран |
||||||
стве Н\ а Н |
и равный нулю на |
Яг = я !11. |
|
|
|||
Для того чтобы ограниченный строгий плюс-оператор А |
|||||||
допускал полярное представление А = |
VR, необходимо и доста |
||||||
точно, чтобы выполнялись условия: 1) |
спектр о(А°А) |
неотрица |
|||||
телен; 2) |
подпространство N (А0) проекционно полно. |
При этом |
|||||
R определяется единственным образом, а V определяется един ственным образом в том и только том случае, когда выполнено хотя бы одно из условий:
а) N(A) = {0}. б) Я(4*) = {0};
в) подпространство N(A°) равномерно положительно.
В ряде задач возникает необходимость рассмотрения се мейств коммутирующих /-унитарных или ограниченных /-само сопряженных операторов, а также алгебр ограниченных опера торов в /-пространствах. В случае пространства Пх основная теорема об инвариантном подпространстве допускает обобщен ние: любое семейство /-унитарных* (или ограниченных /-само сопряженных) коммутирующих операторов имеет общее для всего семейства инвариантное х-мерное неотрицательное под: пространство.
Л и т е р а т у р а : [22], [161], [162], [163], [166], [167], [168], [169], [171], И72].
3. Примеры. Из многочисленных приложений изложенной теории здесь приводятся два примера.
|
§ 10. ПРОСТРАНСТВА С ИНДЕФИНИТНОЙ МЕТРИКОЙ |
263 |
а) |
К а н о н и ч е с к и е системы. Рассматривается |
канони |
ческое дифференциальное уравнение в гильбертовом простран стве:
где / = Р+— Р- — оператор Грама, задающий индефинитную метрику [х, у] = (Jх, у), а гамильтониан H{t) системы — огра ниченный самосопряженный оператор. Пусть для любых х, у функция (H(t)x,y) измерима в каждом конечном интервале и
j \\ Н (t)\\dt < оо для любых tu t2^ 0 .
и
Обобщая подход, развитый ниже в гл. V, § 1, рассматривают слабые решения системы, т. е. вектор-функции x{t)> удовлетво ряющие при любом у соотношению
|
y \ =i(JH(t)x(t), |
у) |
|
|
почти всюду по t. |
|
Я(^ + со) = |
Я(г) |
|
При |
выполнении условия периодичности |
|||
(О ^ t < |
оо) оператор монодромии U(со) |
(см. |
гл. V, §' 1, |
п. 6) |
оказывается /-унитарным оператором и справедлив следующий критерий: для того чтобы все слабые решения x(t) канониче ской системы были ограниченными на полуоси 0<4Я<оо, не обходимо и достаточно, чтобы оператор монодромии Я (со) был устойчивым J-унитарным оператором (критерий устойчивости U
см. в п. 2).
Линейное пространство 36 гамильтонианов Я(/), удовлетво ряющих перечисленным выше условиям, можно нормировать, положив
G)
IIЯ (*)!!*.= J IIЯ (011^. 0
Каноническая система называется устойчивой, если все ее (сла бые) решения ограничены на полуоси 0 ^ t < оо и остаются ограниченными при достаточно малых возмущениях гамильто ниана: \\ff(t)-H(t) IIс* < е .
Для того чтобы каноническая система была устойчивой, не обходимо и достаточно, чтобы ее оператор монодромии 0 ( со) был сильно устойчивым /-унитарным оператором (соответствую
щий критерий см. в п. 2). |
о п е р а т о р н ы е |
пучки. Различ |
|
б) К в а д р а т и ч н ы е |
|||
ные задачи |
математической физики приводят к изучению ква |
||
дратичного |
пучка L ( A ) = |
А2/ + А5 + С, где |
S, С — некоторые |
264 ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ
замкнутые линейные операторы, действующие в гильбертовом пространстве Н. В большинстве задач В = В* и D(B)czD(C), что и предполагается в дальнейшем.
При А ф 0 оператор L(X) определен на D(B) и совокупность p(L) всех регулярных точек пучка (т. е. точек %Ф 0, для кото рых существует непрерывный обратный оператор L-1(A)) яв ляется открытым множеством. Его дополнение a(L) в комплекс ной плоскости называется спектром пучка L(h). Если С = С*, то o{L) симметричен относительно вещественной оси. Основным для изучения спектральных свойств пучка Ь(Х) оказывается изучение операторного квадратного уравнения
L(Z) = Z2 + BZ + C = 0.
Пусть оператор В = В* ограничен, а С — вполне непрерыв ный неотрицательный оператор. Рассматривается прямая орто гональная сумма И = Н\ 0 # 2 двух экземпляров Н\ и Н2 ис ходного гильбертова пространства Н и соответствующие орто
проекторы Pf Hj = PjU |
( / = 1 , 2). Й можно рассматривать |
||||||||
как /-пространство, где / = |
Р\ — Р2. В И |
задается оператор Л |
|||||||
операторной |
матрицей |
А = |
{Ajk) |
(здесь |
Ajk = PjAPk |
(/, k = |
|||
= |
1, 2), где |
А ц — 0, |
A \2 = C'h —(вполне |
непрерывный) |
неот |
||||
рицательный |
корень из |
С, А2\ =*=— |
и А22 — —В). |
Оператор |
|||||
А |
/-самосопряжен и |
к |
нему применима основная |
теорема |
|||||
(см. п. 2) об инвариантном подпространстве М класса 27i+. Это позволяет установить следующее основное для всей теории ква дратичных пучков предложение. Пусть OQ{L) — невещественная часть спектра пучка L(X). При любом разбиении a0(L) на две непересекающиеся симметрично расположенные относительно
вещественной оси части А и А — oo{L) — Л у квадратного урав нения L(Z) = 0 найдется вполне непрерывный корень 2л, об
ладающий следующими свойствами: |
1) ZAZA ^ C |
и 2) не |
|
вещественная часть спектра CT(ZA) совпадает с Л. |
К м С где |
||
Корень Z л |
получается здесь по |
формуле ZA = |
|
Км —угловой |
оператор (см. п. 1) упомянутого выше инвариант |
||
ного подпространства М е $Ш+.
Ли т е р а т у р а : [22], [166].
ГЛАВА V
ЛИНЕЙНЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
ВБАНАХОВОМ ПРОСТРАНСТВЕ
§I. Линейные уравнения с ограниченным оператором
1.Линейные уравнения 1-го порядка. Задача Коши. Линей
ное дифференциальное уравнение 1-го порядка имеет вид
^= A(t)x + f(t),
где f(t) — заданная функция со значениями в банаховом про странстве Е, x = x(t)— искомая функция со значениями в £, A(t) (при каждом фиксированном t)— линейный оператор, дей ствующий в пространстве Е. Производная понимается как пре дел по норме пространства Е разностного отношения
х (/ + Л/) — х(t) |
Л , Л |
—*—L—~ -----— |
при Д/->0. |
В этом параграфе'рассматривается тот случай, когда A(t) является при каждом t ограниченным оператором. При этом условии свойства решений линейного уравнения аналогичны свойствам решений системы линейных дифференциальных урав
нений, которые можно рассматривать как |
линейные |
уравнения |
|
в конечномерном банаховом пространстве. |
|
|
|
Задачей Коши для рассматриваемого уравнения называется |
|||
задача о нахождении решения уравнения |
при 0 ^ t |
< |
оо, удо |
влетворяющего заданному условию х(0) = |
х0. |
|
/(^) = 0. |
Линейное уравнение называется однородным, если |
|||
2. Однородное уравнение с постоянным оператором. Для од нородного уравнения
dt ~ ЛХ
с постоянным ограниченным оператором А решение задачи Коши существует, единственно и может быть записано в виде
х (t) = eAtXq.