книги / Функциональный анализ
..pdf§ 9. ГИЛЬБЕРТОВА ШКАЛА ПРОСТРАНСТВ |
261 |
(определение |
/ а см. в § 3, п. 3). |
Пространство Яа является |
гильбертовым по отношению к скалярному произведению |
||
|
(*, y ) a = ( j ax , |
J ay ) . |
При а < |
0 по этой же формуле |
вводится скалярное произ |
ведение в пространстве Я0, и пространство, полученное попол нением Но по соответствующей норме, обозначается' через На (а < 0).
Полученное |
семейство гильбертовых пространств {Яа} |
|
(—оо < а < оо) |
называется гильбертовой шкалой пространств. |
|
Гильбертова шкала пространств обладает свойствами: |
||
1) Если а < |
р, то Н $ а Н а, пространство Я е всюду плотно |
|
в пространстве На и |
|
|
|
I U L < I U I I p . |
|
2) Если а < |
р < у, то при |
Ну справедливо неравенство |
|
Y-P |
0-а |
3)Пространства На и Я_а являются взаимно сопряженными
по отношению к скалярному произведению в Я0. В частности,
j (*> у)о I < IIДС||аII у Н_а |
(х<=На, |
у е= Я_а). |
|
(Под функционалом |
(х,у) о понимается |
скалярное произведе |
|
ние в Я0, если х,у<= Н0, и его |
расширение по непрерывности, |
||
если х е Яа и у е Я_а.) |
|
|
|
Пусть Я0 и Я, —два гильбертовых пространства со скаляр |
|||
ными произведениями |
(х,г/)0 и |
(я, г/)[ и |
нормами IM|0 и 1|JC||I |
соответственно. Предполагается, |
что Н\ а |
Я0, Я! всюду плотно |
|
в Н0 и |
|
|
|
II* It,<11* lli |
(*еЯ,). |
Оказывается, что существует неограниченный самосопряжен ный положительно определенный оператор / в Я0 такой, что областью определения его служит пространство Я, и
|
|
II * Hi = 11/* Ко |
оператор |
/ |
называется порождающим для пары (Я0,Я i). |
По оператору / |
можно построить гильбертову шкалу прост |
|
ранств, включающую пространства Я0 и Я,. |
||
Оператор |
/, |
первоначально определенный на пространстве |
Я 1 и отображающий его на пространство Я0, может быть рас ширен на пространства На. Таким образом, оператор / можно считать расширенным до оператора 7, определенного на всех пространствах На (—оо < а < оо) и отображающего взаимно однозначно Яа на Яа_1. Любой оператор ] г (I > 0) порождает
252 |
ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ |
ту же гильбертову шкалу пространств и также может быть расширен дс оператора, определенного на всей шкале и ото бражающего На на Яа_/.
Ли т е р а т у р а : [3], [101].
2.Пример гильбертовой шкалы. Пространства W2- За про странство Н0 принимается пространство L2(Rn), где Rn — n-мерное пространство. Через й(£) обозначается преобразование Фурье функции и ( х ) ^ L2(Rn):
Пусть |
J — оператор, ставящий в соответствие |
функции |
и(х) |
||
функцию |
v (л;), преобразование |
Фурье которой |
имеет |
вид |
|
|
/И !) = д(|) = |
-1/1 + Ш 2 й(|). |
|
|
|
Гильбертова шкала, построенная по оператору /, |
может |
||||
быть описана так: пространства На при а ^ 0 состоят |
из |
всех |
|||
функций, для которых |
|
|
|
|
При а < 0 |
пространства На получаются |
пополнением |
L2(Rn) |
||
по написанной выше норме. |
обозначается |
через |
|||
Полученная |
шкала |
пространств |
|||
{Г2а (Я*)'} |
(СМ . гл. |
II, § |
1, п. 5), она является важной для мно |
гих задач анализа и теории уравнений в частных производных. Возникает вопрос о том, существует ли гильбертова шкала
пространств, содержащая пространства Соболева W\{G), опре деленные в области G я-мерного пространства. Ответ на этот вопрос неизвестен. Однако для каждого N можно построить
гильбертову шкалу пространств Н{ам\ содержащую все прост
ранства Wl2(G) при 0 ^ ^ N. Построение такой шкалы мож но провести с помощью продолжения на все пространство Rn функций, заданных в области G, с сохранением гладкости.
Нормы в пространствах |
будут при |
эквива |
лентны нормам в пространствах |
W^iG): при а = т , |
где /п — |
целое: |
|
|
§ 9. ГИЛЬБЕРТОВА ШКАЛА ПРОСТРАНСТВ |
253 |
При а = т + А,, где m — целое и 0 < %< 1:
тч
и |wm+\ — I |I и I2 + 2 | d ’u |2 1 dx +
|p |==m G G
При отрицательных индексах эффективного описания нор мы, нет, но она может быть определена как норма в сопряжен ном пространстве
HullП |
sup |
J и (х) v (х) dx |
(а > 0). |
IN а=1 |
G |
|
Таким образом, в любом наборе с ограниченными индек
сами |
а, пространства |
W? |
обладают свойствами пространств |
|||
гильбертовой шкалы. В частности: |
|
|||||
1. |
При а < |
р пространство |
Wl{G) |
содержится и всюду |
||
плотно в пространстве W®(G) и |
|
|
||||
|
|
11«11г а < С |
| | « | Ц |
(и е |
W l). |
|
2. |
При а < |
Р < у имеет место неравенство |
||||
|
II и II « < |
СII и ||У |
т ~а) || и Ig7a)/(v- a) |
(и s w l (G)). |
||
|
w 2 |
w 2 |
|
w2 |
|
Константы С в последних неравенствах зависят от вида об ласти G и от максимального модуля индекса норм фигурирую щих в них пространств. Последнее неравенство часто удобно применять в эквивалентной форме:
IIU Ц < С ( e - (p- a)/(Y- a) II и \\wa + e(v-(3)/(v-a) || и |Ц ) ,
где е —любое положительное число.
Ли т е р а т у р а : [3], [101], [102].
3.Операторы в гильбертовой шкале. Для гильбертовых шкал справедлива следующая интерполяционная теорема:^ пусть имеются две гильбертовы шкалы {На} и {Fa} и линейный опе ратор А, являющийся ограниченным оператором, действующий
из |
пространства |
# а„ в пространство Fa |
и |
из пространства Нр0 |
||
в |
пространство |
F$r |
Тогда |
оператор |
А |
является ограничен |
ным оператором, |
действующим из любого |
пространства # ао(й() |
||||
в |
пространство |
Fa^h |
где |
а0(р) = (1 "_ И')ао + ^Ро и «i(^) = |
||
= |
(1 — ц) aj + nPj. |
|
|
|
|
254ГЛ. IV, ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ
Всвязи с указанным обстоятельством большинство опера торов, возникающих в приложениях, естественно рассматри
вать не как операторы, действующие из одного пространства в другое, а как операторы, действующие из серии пространств одной шкалы в соответствующую серию пространств другой шкалы. Так, например, оператор у, ставящий в соответствие L-гармонической функции ее граничное значение (см. § 8), яв ляется ограниченным оператором, осуществляющим взаимно
однозначное отображение любого пространства |
шкалы W% (G) |
|||||||||
с а ^ О |
в пространство |
а---1 |
|
|
|
|
|
|
|
|
Wг 2 (Г). |
|
|
|
|
|
|
||||
Из сформулированной интерполяционной теоремы можно |
||||||||||
получить важное |
н е р а в е н с т в о |
Гайнца: пусть |
А и |
В — |
||||||
положительные |
самосопряженные |
операторы, |
действующие |
|||||||
в гильбертовых |
пространствах |
Н |
и |
Н\ |
соответственно. |
Если |
||||
Т — ограниченный оператор с |
нормой |
М, |
действующий |
из Н |
||||||
в Н1, такой, что TD(A)a D(B) и |
(*е=£(Л)), |
|
|
|
||||||
|
WBTxW^MJAxW |
|
|
|
||||||
то TD(Aa)cz D(Ba) и |
|
|
|
|
|
|
|
|
||
|
IВаТх I, ^ М 1-аМ“|| Лал:|| |
|
( 0 < а < 1 ) . |
|
|
|||||
В случае, когда Н = |
Н\ и Т = /, |
получается следствие: если |
||||||||
А и В — положительные |
самосопряженные операторы в |
гиль |
||||||||
бертовом пространстве Н такие, что |
D(B)I D D(A) |
и \\Вх \^ |
||||||||
< \\Ах\\ |
(*е=£>(Л)), то \\В«х\\ < |
||Л«*||, 0 < а < |
1. |
|
|
Ли т е р а т у р а : [36], [101], [102].
4.Теоремы о следах. Пусть пространства {На} образуют гиль
бертову шкалу. Рассматриваются функции x(t) (—оо < / < < оо) со значениями в гильбертовом пространстве Н{ и имею щие непрерывную производную /-го порядка в пространстве Я0 (в смысле нормы пространства Н0 (см. гл. III, § 4, п. 1)). В мно жестве Швсех таких функций вводится норма
оо
Пространство пополняется по этой норме, и ставится во прос о том, что можно сказать о значениях полученных функ ций и их производных порядка ниже / в любой точке веще
ственной оси, например, в точке / = |
0. |
Иначе этот вопрос можно еще поставить так: если последо |
|
вательность функций xn(t)d ^l |
является фундаментальной |
в норме этого пространства, то что можно сказать о сходимости значений этих функций и их производных в точке t = 0?
§ 10. ПРОСТРАНСТВА С ИНДЕФИНИТНОЙ МЕТРИКОЙ |
255 |
Оказывается, что операторы, ставящие в соответствие функ
ции x(^)e$ft элементы xh(0) |
(k = |
0, 1, .. . , |
/ — 1), |
являются |
|||
непрерывными |
операторами |
из |
пространства |
SR в пространства |
|||
Я^, где |
= |
2k -I- 1 |
Таким |
образом, |
можно |
говорить |
|
1 ------2/— • |
о значениях в точке самой функции и ее производных порядка
ниже / для любой функции из пополнения пространства -Л. Эти значения принадлежат соответственно пространствам Яak.
Обратно, |
если |
дан набор элементов х0, хь . |
x_z-1 таких, |
что xk е На^ |
то |
можно построить функцию |
для ко |
торой xk(0) = |
xk (А = 0, 1 1 ) . |
|
|
Предложения указанного типа получили название теорем о |
|||
следах (см. гл. II, |
§ 1, п. 5). |
|
Ли т е р а т у р а : [102], [104].
§10. Линейные операторы в пространствах
синдефинитной метрикой
= |
1. / пространства. Пусть Hi— гильбертово пространство, Н = |
|
Я+-}-Я_— некоторое |
его разложение в ортогональную сум |
|
му |
подпространств Я±, |
а Р± — соответствующие проекционные |
операторы (ортопроекторы): Р±Н = Н±. Оператор / = Р+ — Р_ является одновременно самосопряженным и унитарным опера
тором в |
Я, причем J2= /. |
В Н |
вводится полуторалинейная |
||
форма |
|
[х, у] = |
(Jx, у) |
(х, у е= Я). |
|
|
|
||||
Эрмитова |
форма |
[х, у] в |
случае, |
когда Р± ф 0, индефинитна. |
|
Пространство Я |
с формой |
[х, у] |
называется J-пространством |
||
или пространством с индефинитной метрикой. |
В зависимости от того, положительно, отрицательно или рав
но нулю |
число [х, х], вектор х |
Я |
называется соответственно |
||||
положительным, отрицательным или |
нейтральным. Линеал, т. е. |
||||||
линейное |
многообразие |
3 |
о Я, |
называется |
неотрицательным |
||
(положительным), если |
[х, |
х] ^ |
0 |
([х, х] > 0) |
для всех х е З ’ |
(х-ф- 0). Аналогично определяются неположительные (отрица тельные) и нейтральные линеалы. Положительные и отрица тельные линеалы называют дефинитными, неположительные и нейтральные — семидефинитными. Для всякого линеала 3 ка ждого из перечисленных выше типов существует содержащий
его максимальный линеал 3? того же типа.
Неотрицательный (неположительный) линеал 3 отобра жается проекционным оператором Р+(Р-) в Я+(Я_) взаимно однозначно и взаимно непрерывно. При этом 3 будет макси мальным неотрицательным (неположительным) тогда и только
256 |
ГЛ. |
IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ |
|
тогда, |
когда |
Р+3 = Н+ (Р_2? = Н-). Ясно, |
что в этом случае |
3 замкнут, |
т. е. является подпространством |
в Н (замыкание и |
все другие топологические термины понимаются по отношению
к гильбертовой норме в Н). При этом d im 3 = |
dim Н+ (d\m3 — |
||||||||
= dim //_)— з а к о н |
инерции. |
Для |
произвольных |
же неот |
|||||
рицательных |
(неположительных) |
подпространств |
имеем |
||||||
dim 3 ^ |
dim Н+ (dim//-). |
всех |
максимальных |
неотрицатель |
|||||
Совокупность £Ш+ = {3} |
|||||||||
ных подпространств 3 |
/-пространства |
Н находится во взаимно |
|||||||
однозначном |
соответствии с множеством $ = {К} |
всех |
нерастя |
||||||
гивающих линейных операторов |
К (||/С|| ^ 1 ) , |
отображающих |
|||||||
Н+ в //_. Это соответствие выражается |
формулой |
3 = {х+ + |
|||||||
+ Кх+}Х |
• К 'называется угловым оператором |
подпростран |
|||||||
ства 3 |
относительно |
Н+. |
Аналогично |
определяются |
совокуп |
ность 9W- = {3'} |
и угловой оператор К' максимально неполо |
||
жительного подпространства 3 ' |
относительно Н~. |
||
Векторы х,у е |
Н называются J-ортогональными, если' [.х, у] — |
||
— 0. Естественно |
определяются |
/-ортогональность вектора х |
|
и линеала 3 |
и двух линеалов 3 |
и М; соответствующие обозна |
|
чения: х[±.]у, |
х [ ± ] 3 , 3[±.]М. |
Пара подпространств {3,М}, |
3[1.\М, из которых одно неотрицательно, а другое неположи тельно, называется дуальной парой.
Подпространство 3 [±\ состоящее из всех векторов х ^ Н , /-ортогональных линеалу 3 , называется / -ортогональным до
полнением линеала |
3 . |
Линеал 3 0 = 3 |
[}3[А'] |
называется |
изо |
|||||||||
тропным линеалом |
линеала |
3 , |
а |
векторы х ^ З 0 — изотроп |
||||||||||
ными векторами линеала |
3 . |
Если Зо = {0}, то линеал |
3 |
на |
||||||||||
зывается невырожденным. |
27i определяется |
угловым |
опера |
|||||||||||
Если |
подпространство |
3 е |
||||||||||||
тором /(, |
то |
3 [L] е |
9№_ |
и 3 |
[±] |
определяется |
угловым |
опера |
||||||
тором К* (и обратно). Здесь 3 |
и 3 1±] составляют максималь |
|||||||||||||
ную дуальную пару. |
3 |
называется |
проекционно полным, |
если |
||||||||||
Подпространство |
||||||||||||||
Н = 3 ® 3 1±]. В этом |
|
случае |
3 |
необходимо невырожденно. |
||||||||||
Если невырожденность любого подпространства 3 |
достаточна |
|||||||||||||
для его проекционной полноты, |
то х = |
min {dim//+, |
dim//_}<; |
|||||||||||
< оо. /-пространство Н, |
у которого ранг индефинитности к ко |
|||||||||||||
нечен ( х<оо) , называется пространством Понтрягина |
и |
обо |
||||||||||||
значается Пк |
(в дальнейшем для определенности считается, что |
|||||||||||||
х = dim #+). |
|
подпространств |
3 |
проекционная |
полнота |
|||||||||
Для дефинитных |
||||||||||||||
эквивалентна |
равномерной дефинитности, т. е. свойству |
|[.х, х] | ^ |
||||||||||||
^ ag (х, х) |
(а# > 0, х е |
3 ) . |
Последнее условие для |
3 |
е |
9Й+ |
||||||||
равносильно |
требованию |
\\К\\ < |
1, |
где |
К — угловой |
оператор |
|
§ 10. ПРОСТРАНСТВА С ИНДЕФИНИТНОЙ МЕТРИКОЙ |
257 |
||||
подпространства |
9?, |
и |
аналогично |
для 9? е 5Й_. |
Если же |
|
9 ?еШ1+ дефинитно, |
но ||/С|| = 1, то |
можно лишь утверждать, |
||||
что 9? © |
= |
Н. |
|
|
|
|
Два линеала 9?, М из Н называются кососвязанными, если |
||||||
9£ А М[11 = |
9 [1] П М = |
{0}. |
Нейтральные линеалы 9? и М косо- |
|||
связаны тогда и только тогда, когда |
9? ® М — невырожденный |
|||||
линеал. |
|
|
|
|
|
|
/-пространства представляют частный случай гильбертовых пространств с более общей, так называемой G-метрикой: [х,у] = = (Gx, у) (х, j/ е Я ) , где G — произвольный ограниченный само сопряженный оператор в Н (оператор Грама). Еще более об щими являются линейные пространства Е (не наделенные ни какой топологией), на которых задана индефинитная эрмитова полуторалинейная форма [х, у]. В ряде вопросов, приводящих к таким пространствам, удается для формы [х,х] задать на Е
положительно определенную форму |
(х,х) (мажоранту) со свой |
|||||||||
ством |
|[х, х] | ^ (х, х) |
(х ^ Е) |
и включить |
таким образом Е |
||||||
в некоторое гильбертово пространство Н с G-метрикой. Триви |
||||||||||
альным случаем, |
когда |
существует мажоранта (х, х), является |
||||||||
случай |
разложимости |
пространства |
Е: |
£ = £+© £-, |
где |
|||||
£ +[JL]ZL, |
Я+(£-) — положительный |
(отрицательный) |
линеал. |
|||||||
Здесь |
достаточно |
для |
каждого |
вектора |
х = *+ + |
{х±^Е±) |
||||
положить |
(*,*) = |
[*+,*+] — [*_,*_]. Однако |
наличие мажоранты |
|||||||
не гарантирует существование |
канонического разложения |
Е = |
—Е+ 0 Е-.
Ли т е р а т у р а : [159], [166].
2.Линейные операторы в /-пространствах. Линейный опера тор V с областью определения D(V) и множеством значений
/?(Е) в /-пространстве |
Н = # + 4- # - называется плюс-опера |
тором, если [Vx, Vx] ^ |
0 для всех x ^ D ( V ) с [х, х] ^ 0. Ясно, |
что это определение содержательно лишь тогда, когда в fl(K)
имеются неотрицательные |
векторы, |
в |
частности, |
при£)(1/)П |
||||
П Н+ Ф 0. |
Если для |
всех |
J T G D(K) |
имеем [Vx, |
Vx] ^ [х, х] |
|||
([Vx, Vx] = |
[х, х]), то |
такой |
плюс-оператор V называется J-не |
|||||
сжимающим (соответственно J-изометрическим). Аналогично |
||||||||
определяются минус-операторы |
и |
/-нерастягивающие |
опера |
|||||
торы. /-изометрический оператор |
U |
с |
D(U)= Н |
называется |
||||
J-полуунитарным и называется |
J-унитарным в случае, когда |
|||||||
UH = Н. |
/-унитарность равносильна |
требованию: |
UJU* = |
=U4U = /.
Для любого линейного оператора Т с плотной в Н областью
определения D (Т) существует оператор T° = JT*J, называемый
J-сопряженным для оператора Т: [Тх, у] = [х, Т°у] для всех xezD(T), yz=D{TQ).
258 ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ
Свойства /-сопряженного оператора Т° вполне аналогичны соответствующим свойствам обычного сопряженного оператора Т*. В частности, оператор Т° всегда замкнут.
Оператор U /-унитарен тогда и только тогда, когда UH — Н и U0= U~{. Отсюда следует, что /-унитарные операторы U и U~{ всегда ограничены. Этого нельзя сказать о произвольном плюс-операторе V, даже при D(V) = H. Однако в последнем случае для плюс-оператора V имеет место индефинитная квази-
ограниченность снизу, т. е. существует |
константа |
та |
|||||
кая, что |
|
[Vx, Vx]>\i{V)[x, |
х] |
(*€=//). |
|
||
|
|
|
|||||
При |
(jt(1/) > 0 плюс-оператор |
V называется |
строгим. В этом |
||||
случае |
он |
«коллинеарен» |
/-несжимающему |
оператору |
V\ = |
||
= II1/* V. |
V — плюс-оператор |
и D(V) П # + ф 0, то для ограничен |
|||||
Если |
|||||||
ности V достаточно, чтобы был ограничен оператор P+F. Если |
|||||||
же D(V) = H = Uк, то для |
ограниченности плюс-оператора V |
||||||
достаточно, |
чтобы он не аннулировал |
ни одного положитель |
ного вектора. В частности, /-несжимающие операторы, задан ные всюду в Пи (в том числе все /-полуунитарные операторы в Пх), ограничены. Если же D(V)czUK9 то /-несжимающий опе
ратор V ограничен тогда и только тогда, когда |
он допускает |
|||
замыкание, т. е. у |
него существует |
замкнутое |
расширение F. |
|
/-несжимающий |
оператор V с D ( V ) = H называется |
двояко |
||
J-несжимающим (другие названия: двусторонний J-несжима- |
||||
ющий, J-бинесжимающий), если V |
ограничен |
и V* |
являет |
|
ся /-несжимающим (это равносильно |
тому, что |
V0— /-несжи |
||
мающий). |
|
оператор |
V был |
двояко |
Для того чтобы J-несжимающий |
||||
J-несжимающим, |
необходимо и достаточно, |
чтобы |
(А_— |
|
— P+V)H = Н. Если /-несжимающий |
оператор V ограничен, то |
для того чтобы он был двояко /-несжимающим, необходимо и достаточно, чтобы спектр оператора V°V был неотрицательным
и подпространство N(V°) нулей оператора |
V0 было равномерно |
|
отрицательным. |
U симметричен относительно |
|
Спектр /-унитарного оператора |
||
окружности \Х\ = 1. /-унитарный оператор |
U называется устой |
|
чивым, если ||t/n||^ C (п = 1, 2, |
...). Для |
устойчивости U не |
обходимо и достаточно, чтобы Н распадалось в прямую сумму
Н — 3?\®2?2 |
подпространств |
3?и 2?2, |
составляющих |
инва |
||
риантную относительно U |
максимальную |
дуальную |
пару |
|||
(см. п. 1). |
|
называется |
сильно устойчивым, |
|||
/-унитарный оператор U |
||||||
если можно указать такую его |
окрестность |
\\Ui — U|| < |
е, что |
|||
все /-унитарные |
операторы U\ |
|
из этой окрестности устойчивы. |
§ 10. ПРОСТРАНСТВА С ИНДЕФИНИТНОЙ МЕТРИКОЙ |
259 |
Для сильной устойчивости оператора U необходимо и доста точно, чтобы Я = 5 ?1®«272, где [2 и 2 £ — максимальная ду альная пара, инвариантная относительно 0, и
|
o(U/2l)[)o(U/22) = 0 9 |
|
|
|
где o(U/2i) — спектр сужения U на 2 i (i = |
1, 2). В этом слу |
|||
чае говорят, |
что оператор / |
имеет строго дефинитный |
спектр. |
|
Одной из |
центральных |
проблем теории |
является |
вопрос |
о существовании у плюс-оператора V инвариантных подпро странств класса Ш+>а в случае положительного ответа—ха рактеризация спектра сужения V на такое подпространство.
О с н о в н а я |
т е о р е м а . |
Пусть |
V — ограниченный плюс- |
||||
оператор, заданный всюду в Н. Если оператор P+VPвполне |
|||||||
непрерывен, то |
существует |
подпространство |
2 0 е Ш+, |
инва |
|||
риантное относительно V. Если, кроме |
того, Vx Ф О для |
х Ф О |
|||||
с [ х ,х ] ^ 0 и для некоторого 2 \ е Ш+ |
имеем |
V 2\ G ®!+, |
т о и |
||||
для любого 2 е |
ЗГО+ будет V 2 е ЗИ+ |
и, стало быть, V3?o = |
2 0. |
В частности, если U— /-унитарный оператор и P+UP- впол не непрерывен, то вполне непрерывен и P-UP+ и у оператора U существуют инвариантные подпространства как в классе 9Й+, так и в классе 2Я_. /-унитарные операторы U, для которых P+UP- вполне непрерывны, составляют подгруппу Г группы всех /-унитарных операторов в Я. Всякий оператор ( / s Г есть возмущение обычного унитарного оператора вполне непрерыв ным. Поэтому часть спектра оператора U, не лежащая на еди ничной окружности (неунитарный спектр), может состоять лишь из изолированных собственных чисел конечной алгебраической кратности (полюсов резольвенты). Каждому такому собствен ному числу X (|Я| ф 1) отвечает нейтральное корневое подпро странство 2?x(U) и кососвязанное с ним корневое подпростран ство j?£_i (U).
Для любого /-изометрического оператора при \х Ф X'1 кор
невые |
линеалы 2%(V) |
и 2 ]X(V) |
/-ортогональны, |
а, значит, при |
\Х\ Ф |
1 корневой линеал 2^(V) |
нейтрален. |
У е Г произ |
|
Если неунитарный |
спектр аНеун(Я) оператора |
вольным образом разбить на две непересекающиеся части oi и Он, симметричные относительно единичной окружности, то ин
вариантные |
относительно U подпространства 2 ± е |
можно |
|||
выбрать таким образом, чтобы |
|
|
|
||
|
|
^неун (Я/«2?+) = 0{, |
Оцеун (Я/2 |
—)=== О^ц. |
|
Оператор |
A (D (А) = Я) |
называется |
J-самосопряженным, |
||
если А0= |
А, что равносильно обычной самосопряженности опе |
||||
ратора JA. |
Спектр /-самосопряженного оператора А |
симметри |
чен относительно вещественной оси. Если £ и £ — регулярные точки оператора А = А0, то его преобразование Кэли
260 |
ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ |
U = |
(А —£/) (А — £/)-1 есть /-унитарный оператор. При этом |
условие полной непрерывности Р+АР- достаточно для включения U е Г.
Если /-самосопряженный оператор ограничен (D ( A ) = H ), то в силу преобразования Кэли для него справедливы точные аналоги всех приведенных выше предложений об инвариантных подпространствах и спектре (с заменой неунитарного спектра невещественным). Соответствующие теоремы справедливы и для неограниченных /-самосопряженных операторов Л, если
только H+czD(A) |
и вполне непрерывен оператор |
Р+ЛР_ (по |
|||||||
следнее условие допускает некоторое ослабление). |
|
Понтряги- |
|||||||
В |
частном |
случае, |
когда Н = Пя (пространство |
||||||
на), |
условие |
U е |
Г (и |
соответствующее |
условие для |
/-самосо |
|||
пряженных операторов) |
в силу конечномерности |
подпростран |
|||||||
ства |
//+ автоматически |
выполняется |
для |
всех |
/-унитарных |
||||
(/-самосопряженных) операторов. Поэтому |
у всех |
этих опера |
торов в Ifx существуют %-мерные неотрицательные инвариант ные подпространства, а стало быть, и (неотрицательные) соб ственные векторы (а возможно, и присоединенные векторы). Здесь видно отличие от обычных унитарных и самосопряжен ных операторов, которые в бесконечномерном гильбертовом пространстве могут вообще не иметь точечного спектра, а при наличии собственных векторов никогда не имеют присоединен ных векторов.
Для любого /-самосопряженного оператора А в Н линейная
оболочка |
Л всех корневых линеалов |
«2\(А) с 1 т Я > 0 ней |
тральна, |
а значит, dimAs^K в случае |
Н — П*. Подпростран |
ство Л |
кососвязано с А' — линейной |
оболочкой всех 3?\{А) |
с 1шЯ<0, так что инвариантное относительно А подпростран ство Л ® Л' невырождено, а спектр сужения А на /-ортогональ
ное дополнение к Л ®Л' веществен. |
|
|
|
||||
|
Для любого вещественного собственного числа А оператора |
||||||
А = А0 в Пх |
корневой линеал 9?\{А) |
может быть |
разложен |
||||
в |
прямую |
сумму 3?к(А) = &{ |
|
инвариантных |
подпро |
||
странств, |
где |
состоит только |
из |
собственных |
векторов, |
||
а |
2?\ конечномерно. |
|
|
|
|||
|
Таким образом, непростые элементарные делители (иначе говоря, жор- |
||||||
дановы цепочки из присоединенных векторов) |
возможны у оператора А |
||||||
только в |
конечномерном подпространстве |
3?'^. Хотя разложение £^(Л ) = |
|||||
= |
2?'^ ® |
3?" не |
определяется однозначно, порядки {</,•} элементарных дели |
||||
телей (т. е. длины жордановых цепочек) А в 3 |
не зависят от выбора этого |
||||||
разложения и |
|
|
|
|