Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методичка ДЕРКАЧА

.pdf
Скачиваний:
36
Добавлен:
13.04.2015
Размер:
973.11 Кб
Скачать

 

 

4.3. НЕКОТОРЫЕ КЛАССЫ ЛИНЕЙНЫХ ОТНОШЕНИЙ

81

 

 

Существуют линейные отношения, для которых σp(θ) = C.

 

 

 

Пример 4.2.14. Рассмотрим θ = C2 как линейное отношение в C. Тогда mul θ = C 6=

LREx:17

 

 

{0} è ker(θ − λI) = C äëÿ âñåõ λ C. Поэтому σp(θ) = C.

 

 

L:3.1

Лемма 4.2.15. Åñëè Θ1 Ce(H) è Θ2 = B B(H), то верны эквивалентности:

 

(i) ker(Θ1 − B) = 0 Θ1 ∩ gr (B) = {0};

(ii) 0 ρ(Θ1 − B) Θ1+gr˙ (B) = H H òî åñòü Θ1 è gr (B) трансверсальны.

4.3 Некоторые классы линейных отношений

Определение 4.3.1. Пусть θ линейное отношение в H. Линейное отношение, определ¼нное равенством

θ =

g0

 

H : (f0, g) = (f, g0)

 

f0

 

θ ,

(3.1) LR_14

 

g

 

 

 

f

 

 

 

 

называется сопряж¼нным линейным отношением к θ.

LRE_19 Óïð. 4.3.2. Показать, что сопряж¼нное линейное отношение θ обладает следующими свойствами:

1) θ Ce(H);

2) θ = clos θ, ïðè ýòîì θ = θ, åñëè θ Ce(H);

3)Åñëè θ1 θ2, òî θ1 θ2;

4)−1) = (θ )−1;

 

5) Åñëè θ = gr T è T

C

(H) плотно определ¼нный оператор в H, òî θ = gr T ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6) Åñëè θ = gr T

è T0

C(dom T, H) оператор, совпадающий с T

íà dom T0 =

 

 

 

dom T , òî

θ = T0 ff+ h : f dom T0 , h (dom T ) .

 

 

 

 

 

 

 

 

 

 

 

Предложение 4.3.3. Åñëè A, B B(L, H) è θ = ran BA , òî

 

 

 

LRP:20

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ = ker B

−A .

 

 

 

 

 

 

 

 

 

 

 

 

(3.2)

LR_15

 

 

 

 

 

 

 

 

g

θ

 

Доказательство. Включение ker B

−A

θ очевидно. Пусть теперь g0

 

è h

 

L. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(h, B g − A g0) = (Bh, g) − (Ah, g0) = 0

 

 

 

 

и, следовательно, gg0

 

 

 

 

 

ker B −A .

2

 

 

 

 

82 ГЛАВА 4. ГРАНИЧНЫЕ ТРОЙКИ И СОБСТВЕННЫЕ РАСШИРЕНИЯ.

LRP:21

Предложение 4.3.4. Åñëè C, D B(H, L) è θ = ker

C D , òî

 

 

 

 

 

 

θ ran

C .

 

 

(3.3)

LR_16

 

 

 

 

 

 

 

 

 

LR_12

D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если к тому же выполнено условие

 

(2.8), òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ = ran

C .

 

 

(3.4)

LR_17

 

 

 

 

 

 

 

LR_16

 

 

D

 

 

 

 

LRP:20

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Включение

 

(3.3) следует из

Предложения

 

4.3.3. Åñëè æå

 

 

 

 

 

выполнено

LR_17

 

LR_12

LR_15

 

 

 

D

является замкнутым,

 

 

 

 

 

 

 

 

 

 

ran C

 

 

 

условие

 

(2.8), то линейное отношение

 

 

 

 

 

 

 

и равенство (3.4) следует из (3.2) и Свойства 2). 2

Определение 4.3.5. Линейное отношение θ â H называется:

(i)симметрическим, если θ θ ;

(ii)самосопряж¼нным, если θ = θ ;

(iii) диссипативным, если Im(f0, f) ≤ 0 äëÿ âñåõ ff0 θ;

(iv)максимальным диссипативным, если θ диссипативно и θ не допускает диссипативных расширений отличных от θ.

LRE:23

Óïð. 4.3.6. Линейное отношение θ симметрично тогда и только тогда,

когда

 

 

Im(f0, f) = 0 äëÿ âñåõ ff,0

θ.

 

 

 

Ясно, что класс диссипативных линейных отношений содержит все

 

 

симметрические линейные отношения.

 

 

 

 

 

 

 

LRE:24

Óïð. 4.3.7. Если линейное отношение θ диссипативно и H1 = dom θ, H2 = mul θ, òî

 

 

H = H1 H2 и существует диссипативный оператор T1 â H1 такой, что

 

 

 

θ = T1ff+ h : f dom θ, h mul θ .

 

 

 

(3.5)

LR_21

 

 

 

При этом линейное отношение θ является максимальным диссипативным тогда и только тогда, когда T1 максимальный диссипативный оператор в H1 и mul θ замкнуто в H.

LR_21

Равенство (3.5) можно переписать в виде

θ = gr T1+

mul θ .

(3.6) LR_22

b

0

 

 

 

 

 

 

4.3. НЕКОТОРЫЕ КЛАССЫ ЛИНЕЙНЫХ ОТНОШЕНИЙ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

83

 

 

Оператор T1 называется операторной частью линейного отношения

θ. В частности,

 

 

åñëè

линейное

 

отношение

 

 

θ

является

симметрическим,

 

òî

 

оператор

 

 

 

T1

 

â

 

 

 

 

 

LR_22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

разложении

 

также симметричен, а если линейное отношение

 

θ

является

 

 

(3.6)

 

 

самосопряж¼нным, то и оператор

 

 

 

самосопряжен в

H1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LRE:24

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу Упражнения

4.3.7

 

получаем для произвольного симметрического

 

 

линейного отношения θ C(H), что подпространства ran (θ − λI) замкнуты для всех

 

 

λ C\R. Дефектное подпространство Nλ симметрического линейного отношения θ

 

 

определяется равенством

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nλ = H ran (θ − λI),

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.7)

LR_23

 

 

 

 

 

 

 

 

 

 

 

 

θ

Ce(H)

 

 

 

 

LRE:25

Óïð. 4.3.8. Для симметрического линейного отношения

cправедлива

 

формула

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nλ = ker(θ − λI),

 

λ C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.8)

LR_24

 

 

 

 

 

 

 

 

 

 

 

 

 

θ Ce(H)

 

 

 

 

LRE:26

Óïð. 4.3.9. Для симметрического линейного отношения

 

справедлив аналог

 

Первой формулы Неймана

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ = θ + Ni + N−i,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ãäå N

λ =

f

: f

 

N

λ

. Ïðè ýòîì

 

 

θ

тогда и только тогда, когда

ran (

θ

+

iI

) =

 

 

 

λf

 

 

 

 

 

 

 

 

 

 

 

θ = b

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ran (bθ − iI) = H.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ran BA . Тогда θ является

 

 

Предложение 4.3.10. Пусть A, B B(L, H) è θ =

 

 

LRP:27

 

 

 

 

 

 

симметрическим (диссипативным) линейным отношением тогда и только тогда

 

 

когда, когда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B A − A B = 0

 

 

 

(Im A B ≥ 0).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.9)

LR_30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LRP:20

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. В силу Предложения

 

4.3.3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ = ker B

 

−A .

 

 

 

 

 

 

 

 

 

B

 

 

 

 

A

 

 

è

 

 

Если линейное отношение θ является симметрическим, то

θ

 

 

ker

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поэтому выполняется (

3.9).

 

 

 

 

 

LR_30

BhAh

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратно, если выполнено (

 

3.9),

òî

θ

 

B

 

−A

äëÿ âñåõ

h L, è,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, линейное отношение θ симметрично.

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 4.3.11. Пусть A, B

 

 

B(L, H) удовлетворяют условию

 

LR_6

 

è θ

 

=

 

 

 

 

 

 

 

LRC:28

 

 

 

(2.2)

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ran B . Тогда

θ

является самосопряж¼нным линейным отношением, если и

 

 

 

 

 

 

 

LR_30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

только если выполнено

 

(3.9)

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

операторы A ± iB обратимы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.10)

LR_31

84 ГЛАВА 4. ГРАНИЧНЫЕ ТРОЙКИ И СОБСТВЕННЫЕ РАСШИРЕНИЯ.

 

 

 

 

 

 

 

 

 

 

B(H, L) удовлетворяют условию

 

LR_12

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LRC:29

Следствие. Тогда

 

Пусть C, D

 

(2.8) è θ =

 

 

 

 

 

 

4.3.12.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ker C

D

 

 

 

θ является самосопряж¼нным линейным отношением, если и

 

 

 

 

только если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

CD = DC ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.11)

LR_32

 

 

 

 

 

 

 

 

 

 

 

 

0 ρ(C ± iD).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.12)

LR_33

 

 

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

 

 

 

 

привед¼нные условия эквивалентны тому, что линейное отношение

ran C , à ñ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D

 

 

 

 

 

 

 

 

 

D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

íèì è θ = ran C

, являются самосопряженными. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Условие

 

(2.2) не является необходимым для того, чтобы линейное отношение

 

 

 

 

 

 

 

 

 

θ B

áûëî

самосопряж¼нным.

Òåì

не менее, как

показано

â

следующем

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

предложении, достаточно ограничится только такими парами A, B.

 

 

 

 

 

 

 

 

Предложение 4.3.13.

 

A, B B(L, H) таковы,

 

LR_6

 

 

 

 

 

 

 

RLP:30

θ = ran BA

 

 

 

 

 

Пусть

 

 

 

 

 

 

 

что линейное отношение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является самосопряженным, и пусть условие

 

(2.2)

не выполнено. Тогда

 

 

 

 

 

 

 

 

 

существует подпространство L1

L, такоеLR_6

 

 

 

 

A1 = A|L1 , B1 = B|L1

 

 

 

 

лежат в B(L1, H), удовлетворяют условию

 

что операторы

 

 

 

 

 

 

 

 

 

 

 

(2.2)

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ran B

= ran B1

.

 

 

 

 

 

 

(3.13)

LR_34a

 

 

 

 

 

 

 

 

 

 

A

 

 

A1

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Так как линейное отношение θ является самосопряж¼нным, то

LRE:12

0 ρ(θ ± i) и в силу Упражнения 4.2.9

Отсюда следует, что

 

ran (B ± iA) = H,

ker(B ± iA) ker A.

 

 

 

 

(3.14)

LR_34

 

 

ker(B ± iA) = ker B \ ker A = L0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_34

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, если (B ± iA)h = 0, то из соотношений

 

следует, что

 

(3.14)

 

Ah = 0, а тогда и Bh = 0. Обратное включение очевидноLRP:27 .

 

 

 

 

 

 

 

LR_30

 

Заметим далее, что в силу Предложения

 

4.3.10

выполнено равенство (

 

3.9) è

 

 

 

 

поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(B ± iA) (B ± iA) = B B + A A.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.15)

LR_35

Полагая A1 = L L1, получим что операторы A1, B1 удовлетворяют условию (

 

LR_35

 

 

 

 

 

 

3.15).

 

 

 

Так как операторыLR 34a B

 

±

iA

1 B

(L

, H) обратимы, то 0

 

ρ(B B

 

+ A A

). ßñíî, ÷òî

 

 

 

 

1

 

1

 

 

 

 

 

1

1

1 1

 

 

 

 

 

 

 

равенство

(3.13)

также выполняется. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.4. КРИТЕРИЙ САМОСОПРЯЖ ННОСТИ ЛИНЕЙНОГО ОТНОШЕНИЯ 85

4.4Критерий самосопряж¼нности линейного отношения

Определим сигнатурный оператор JH â H2 равенством

 

 

−IH

 

JH = i

0

,

 

IH

0

 

тогда JH = J = J−1. Аналогично определим оператор JL â L2. Блочный оператор

 

W = w21

 

H

 

 

H

называется (JL, JH)-изометрическим, если выполнено

 

 

w22

, èç L2 â H2

 

w11

 

w12

 

 

 

 

 

 

 

 

 

 

 

равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W JHW = JL,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.1)

LR_36

è (JL, JH)-унитарным, если выполнено равенство (

 

LR_36

 

 

 

 

 

 

 

 

 

4.1) è

 

 

 

 

 

 

 

 

 

 

 

 

W JLW = JH.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.2)

LR_37

 

 

 

 

 

LR_36

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Равенство

 

(4.1) эквивалентно следующим условиям на компоненты матрицы W

 

 

 

w11w21 = w21w11,

w12w22 = w22w12,

w11w22 − w21w12 = IL,

 

 

 

(4.3)

LR_38

 

 

LR_37

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а условие

 

(4.2) эквивалентно равенствам

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w11w12 = w12w11,

w21w22 = w22w21,

w11w22 − w12w21 = IH.

 

 

 

 

(4.4)

LR_39

Всякий (JL, JH)-унитарный оператор W является обратимым и

W −1 = JLW JH.

Обратно, если оператор W B(L, H) (JL, JH)-изометричен и обратим, то он и (JL, JH)- унитарен.

 

Теорема 4.4.1. Пусть A, B

B(L, H) удовлетворяют условию

 

LR_6

 

 

 

 

LRT:31

 

(2.2). Тогда

 

 

линейное отношение θ = ran BA является самосопряж¼нным, если и только если

 

оператор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W = AK−1/2

−BK−1/2

(K = A A + B B)

 

 

 

 

 

 

 

(4.5)

LR_40a

 

 

 

BK−1/2

AK−1/2

 

 

 

 

 

 

 

 

 

 

 

 

 

является (JL, JH)-унитарным.

 

 

 

 

 

 

 

 

 

 

Доказательство. Пусть оператор

W

является (

JL, JH)-унитарным. Первое из

 

 

LR_38

 

 

 

 

равенств

(4.3)

приводит к соотношению

 

 

 

 

 

 

 

 

 

 

 

B A = A B,

 

 

 

 

 

86

 

ГЛАВА 4. ГРАНИЧНЫЕ ТРОЙКИ И СОБСТВЕННЫЕ РАСШИРЕНИЯ.

 

 

 

 

 

 

 

 

 

LR_30

 

 

 

 

 

 

 

 

 

LR_35

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

совпадающему с равенством (

 

3.9). Отсюда получаем равенства (

 

3.15), из которых

 

 

 

следует, что ker(B ± iA) = {0} и линеалы ran (B ± iA) замкнуты в H. Более того

ran (B ± iA) = H. Действительно, если

B iA )f

= 0, то полагая f =

 

fif ,

получим

−2kfk2 = (Jf, f) = (JW f, W f) = 0.

b

 

 

Отсюда

 

, и следовательно операторы

B ±

iA ограниченно обратимы.

 

 

 

 

 

f = 0

 

 

 

 

 

 

 

b b

 

b

b

 

 

 

 

 

 

 

 

 

 

 

Допустим теперь, что линейное

отношение θ является самосопряженным. Тогда

A è B удовлетворяют условиям (

LR_30

 

LR_31

 

 

 

 

 

 

LR_30

 

 

 

 

 

3.9),

(3.10). Из соотношения (

3.9) следует, что

 

W JHW = JL. Поэтому ker W = {0} è ran W замкнуто в H2.

 

 

 

 

 

Для доказательства (JL, JH)- унитарности W оста¼тся показать, что

ran W

 

 

 

 

 

 

 

 

 

 

 

 

 

h1

 

 

 

 

 

 

 

 

 

 

 

плотно в H2. Допустим, что это не так и h = h2 ran W . Тогда W h = 0, òî åñòü

 

 

 

A h1 + B h2 = 0,

−B h1 + A h2 = 0.

 

 

 

 

 

 

 

 

 

(4.6)

LR_42

 

 

 

 

 

LR_42

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из второго равенства в (

 

4.6) следует, что

 

−A = θ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h2 ker B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h1

 

 

 

 

 

 

существует

 

À òàê êàê θ самосопряж¼нное линейное отношение, то h2

θ и поэтому

 

 

 

LR_42

u L такой, что h1 = Au, h2 = Bu. Подставляя это в первое равенство в ( 4.6), получаем

(A A + B B)u = Ku = 0.

Отсюда следует, что u = 0 и следовательно h1 = h2 = 0. 2

предыдущее В применении к линейному отношению вида θ = ker C D

утверждении принимает вид

LRC:32 Следствие 4.4.2. Пусть C, D B(H, L) и пусть

0 ρ(K), K1 = CC + DD .

(4.7)

является самосопряж¼нным и тогда и

Тогда линейное отношение θ = ker C D только тогда, когда матрица

"

K1−1/2D K1−1/2C

#

 

 

 

K−1/2C K−1/2D

 

 

W =

1

1

 

,

(4.8)

çàäà¼ò (JH, JL)- унитарный оператор.

LR_43

LR_43a

4.4. КРИТЕРИЙ САМОСОПРЯЖ ННОСТИ ЛИНЕЙНОГО ОТНОШЕНИЯ 87

LRT:31

Доказательство. Утверждение следует немедленно из Теоремы 4.4.1, если

LRP:21

заметить, что в силу Предложения 4.3.4

θ = ran −D . C

2

LR_43

LRT:33 Теорема 4.4.3. Пусть C, D B(H, L) и пусть выполнено условие (4.7). Тогда

является самосопряж¼нным, если и только

линейное отношение θ = ker

C D

 

 

 

 

 

 

 

åñëè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

CD = DC

 

 

 

 

(4.9)

 

 

 

 

 

 

 

 

LR_44

 

 

 

0 ρ(K1),

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.10)

LR_45

 

 

 

0 ρ(K2),

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.11)

LR_46

ãäå K1 = CC + DD , K2 = K1 − K21K1−1K21, K21 = D C − C D.

 

 

 

 

 

 

 

 

 

LR_39

 

LRW

 

 

JL, JH

 

 

 

 

 

 

 

 

 

 

Доказательство. Â ñèëó

соотношений

(4.4) оператор

является

(

 

 

_44

 

 

)-

 

изометрическим тогда и только тогда, когда выполнено (

 

Далее, оператор W

 

4.9).

 

является (JH, JL)-унитарным если к тому же W обратим, что эквивалентно

 

условию 0

 

ρ(W W ). Представляя матрицу W â âèäå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W = KeWf,

"#

 

 

 

 

K−1/2

0

 

C

D

 

 

 

 

 

ρ(W W ) â âèäå

 

 

 

 

 

0

K1−1/2

 

D C

 

 

 

 

ãäå K = 1

 

è W =

 

 

 

, перепишем условие 0

 

0

 

ρe(W W ), ãäå

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f f

 

W W =

C C + D D C D − D C

=

K1 K21 .

 

 

 

 

 

 

 

 

 

 

f f

D C − C D D D + C C

K21 K1

 

 

 

 

 

 

 

Êàê

 

 

 

 

 

 

 

W W

эквивалентна обратимости

 

 

 

 

 

известно, обратимость

 

матрицы

f f

 

 

 

 

 

 

 

оператора K1 и его дополнения Шура K2. 2

 

 

 

LR_43

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LRC:34

Следствие 4.4.4. Пусть C, D B(H, L), пусть выполнено условие

(4.7) и пусть

 

 

 

 

 

 

 

 

C D = D C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.12)

LR_47

является самосопряж¼нным, если и

 

Тогда линейное отношение θ = ker

 

 

C

D

 

 

 

 

 

LR_44

 

LR_45

 

 

 

 

только если выполняются условия

 

(4.9),

(4.10).

 

 

 

 

 

 

 

 

 

 

 

LRC:34a

Следствие 4.4.5. Пусть C, D B(H, L) и выполнены условия

 

 

 

CD = DC ,

0 ρ(CC + DD ),

 

 

 

(4.13)

LR_47a

 

C D = D C,

0 ρ(C C + D D).

 

 

 

(4.14)

LR_48a

 

Тогда линейное отношение θ = ker C

D является самосопряж¼нным.

 

 

 

 

 

LRE:35

LRR:1

LRR:2

LRD:40

LRD:41

88 ГЛАВА 4. ГРАНИЧНЫЕ ТРОЙКИ И СОБСТВЕННЫЕ РАСШИРЕНИЯ.

 

 

 

 

 

C, D

B

(H, L), пусть выполнены

 

 

 

 

LR_43

 

 

LR_47

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является

условия

(

4.7),

 

 

(4.12). Тогда

 

Óïð. 4.4.6. Пусть

 

 

 

 

θhC Di

 

 

самосопряж¼нным если и только если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C K−1D = D K−1C,

 

C K−1C + D K−1D = I.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.15)

LR_48

 

 

 

 

 

 

 

 

 

 

 

LRT:33

 

 

 

 

 

 

 

 

LRE:35

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 4.4.7.

Сравнение

Теоремы

4.4.3 и Упражнения

 

4.4.6 показывает, что

 

 

 

 

 

LR_48

 

 

 

LR_45

 

 

LR_46

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_43

 

LR_43

 

соотношения

(4.15) следуют из

(4.10),

(4.11), а при выполнении условий (

 

 

4.7),

(4.7)

 

эквивалентны.

 

 

 

 

 

 

 

 

 

 

 

LR_47a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_48a

 

Замечание 4.4.8. Åñëè dim H < ∞, то условия

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.13) эквивалентны условиям.

(

 

4.14)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и обеспечивают самосопряж¼нность линейного отношения θ = ker C

 

D

 

 

 

 

 

 

Этот факт был доказан Ф. С. Рофе-Бекетовым

 

[??]. В бесконечномерном случае

 

 

 

â [??].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ = ker C

D

были получены

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

некоторые достаточные условия самосопряж¼нности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.5Неванлинновские пары

Определение 4.5.1. Ïàðà

 

A(λ), B(λ) B(H)-значных функций, голоморфных в

C+ Cназывается Неванлинновской, если она

 

 

(i) позитивна, то есть Im A(λ) B(λ)

≥ 0 ïðè λ C+ C;

 

 

 

Im λ

 

 

(ii) симметрична, то есть A(

 

) B(λ) = B(λ¯) A(λ) ïðè λ

C+ C

 

λ

;

 

 

 

 

 

 

ïðè

(iii) невырождена, то есть 0 ρ B(λ) + λA(λ)

 

λ C+ C.

 

 

 

 

 

 

 

 

 

 

 

 

LRC:28

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из Следствия

 

4.3.11 следует, что для произвольной Неванлинновской пары

 

 

A(λ), B(λ)

 

 

 

 

 

 

 

 

 

 

 

 

 

τ(λ)

= ran

B(λ) является

максимально

 

 

 

 

линейное отношение

 

 

A(λ)

 

 

 

 

 

 

 

 

 

 

 

 

C

 

 

 

è

 

 

называются эквивалентными,

диссипативным при λ

 

+

и максимально аккумулятивным при

λ

 

C

. Äâå

Неванлинновские пары

A(λ), B(λ) A1(λ), B1(λ)

 

 

 

 

 

åñëè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A(λ) = A1(λ)G(λ), B(λ) = B1(λ)G(λ) (λ C+ C)

 

 

 

 

для некоторой оператор-функции G(λ)

со значениями в B(H), голоморфной в

C+ Cи ограниченно обратимой на C+ C. Ясно, что линейные отношения θ =

ran B(λ) , θ1 = ran

B1

(λ)

соответствующие эквивалентным Неванлинновским

 

A(λ)

 

 

 

 

 

 

 

A1

(λ)

 

 

 

 

 

 

 

 

 

 

парам, совпадают.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 4.5.2. Семейство линейных отношений τ(λ), ãäå λ

C+ C−,

относят к классу RH, и называют Неванлинновским семейством, если

 

 

 

 

 

Im λ

≥ 0, ïðèe λ C+ C;

 

 

 

 

 

 

 

 

 

(a)

 

Im τ(λ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

τ(λ) = τ(

 

), ïðè λ

C+

C

 

 

 

 

 

 

 

 

 

(b)

λ

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.5. НЕВАНЛИННОВСКИЕ ПАРЫ

89

(c) 0 ρ τ(λ) + λ è оператор-функция τ(λ) + λ −1 голоморфна в C+ C.

 

LRD:41

Условие (a) в Определении 4.5.2 следует понимать в том смысле, что для всех

f

f0 τ(λ)

Im(f0, f)

≥ 0, ïðè λ C+ C.

Im λ

LRP:42 Предложение 4.5.3. Формула

τ(λ) =

B(λ)h

: h H

(5.1) LR_50

 

A(λ)h

 

 

 

устанавливает взаимно-однозначное соответствие между множеством

ReH

Неванлинновских семейств τ(·) и множеством классов эквивалентности Неванлинновских пар {A, B} â H.

ДоказательствоLR 50 . Пусть {A, B} Неванлинновская пара в H и пусть τ определена равенством (5.1). Тогда, как было уже отмечено выше, τ(λ) является максимально диссипативным линейным отношением в H ïðè λ CLRP:15+, поэтому выполняются условия (a) è (c). При этом, как следует из Предложения 4.2.12

 

 

 

τ(λ)

+

λ −1 = A(λ) B(λ)

+ λA(λ) −1.

 

ïðè

Èç (

 

) следует, что

 

1

 

 

 

 

 

 

LRP:20, èëè

 

 

 

 

 

 

ii

 

τ(λ) τ(λ)

(τ(λ) + λ)

τ(λ) + λ

 

 

 

В силу Предложения

4.3.3

 

 

 

 

(5.2) eq:1

λ C+ C.

 

 

 

 

 

 

 

 

 

 

 

τ(

λ

) = ker

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LRP:16

B(λ)

−A(λ)

 

 

 

 

 

 

 

 

откуда в силу Предложения

 

4.2.13

получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

τ(

 

) + λ −1 = (B(

 

 

) + λA(

 

) )−1A(

 

) .

 

 

 

 

 

 

 

 

 

 

 

 

λ

λ

λ

λ

 

 

 

(5.3)

eq:2

 

 

eq:1

 

eq:2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Èç

 

(5.2),

 

(5.3)

и свойства (ii) следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

τ(.λ) + λ −1 = τ(

 

) + λ −1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

 

 

 

 

и, следовательно, τ(λ) = τ(

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратно, пусть τ(·) удовлетворяет (a) (c). Определим A(λ) è B(λ) равенствами

 

 

 

 

 

A(λ) = τ(λ) + λ

−1, B(λ) = I − λ τ(λ) + λ

−1, λ

 

C+

 

C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LR_50

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда τ(λ) допускает представление (

5.1). В силу условия (c) A(λ) è B(λ)

голоморфны в C+ Cи принимают значения в B(H). Òàê êàê B(λ) + λA(λ) ≡ I,

òî (iii) выполненоLRP:27. Условия (ii) äëÿ A è B очевидно, а условие (i) следует из

 

Предложения

(4.3.10)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1. Легко

90 ГЛАВА 4. ГРАНИЧНЫЕ ТРОЙКИ И СОБСТВЕННЫЕ РАСШИРЕНИЯ.

LR_50

Допустим теперь, что τ(λ) допускает представление (5.1) для Неванлинновских пар {A, B} è {A,e Be}, òî åñòü

τ(λ) = ran

B

= ran

"B# .

 

 

 

e

 

A

 

A

e

Тогда

τ(λ) + λ −1 = A(λ) B(λ) + λA(λ) −1 = Ae(λ) Be(λ) + λAe(λ) −1,

òàê, ÷òî Ae(λ) = A(λ)G(λ), ãäå G(λ) = B(λ) + λA(λ) −1 Be(λ) + λAe(λ)

видеть, что также что Be(λ) = B(λ)G(λ), и следовательно пары {A, B} è {A,e Be}

эквивалентны. 2

LRP:43 Предложение 4.5.4. Пусть Неванлинновская пара. Тогда ядро

A(λ), B(λ)

N(λ, µ) = A(µ) B(λ) − B(µ) A(λ)

λ − µ

является неотрицательным в C+ C.

Доказательство. Рассмотрим преобразование Кэли линейного отношения θ =

ran

A(λ)

B(λ)

C(λ) = B(λ) − iA(λ)

B(λ) + iA(λ) −1 (λ C+).

Из (iii) следует, что C(λ) голоморфна в C+. Кроме того, из тождества

 

I

C(µ) C(λ)

= 2 B(µ) + iA(µ) N(λ, µ) B(λ) + iA(λ)

1

(5.4)

 

 

eq:Kern

 

 

 

 

 

K(λ, µ) =

 

 

 

 

 

 

 

 

 

 

 

−iλ − µ¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и условия (i) следует, что C(λ) принимает значения во

множестве сжимающих

 

NSF

 

 

 

 

операторов при

λ C+. Тогда ядро K(λ, µ)eq:Kern

 

C+ (ñì.

 

 

 

 

 

 

[?,

 

 

 

 

 

 

является неотрицательным в

 

 

 

 

 

 

 

 

 

 

 

доказывает утверждение. 2

 

 

 

 

 

 

 

 

Proposition V.8.1]), что в силу тождества (

5.4)

 

 

 

 

 

 

 

 

Оператор-функции C(λ), голоморфные в C+ и принимающие значения во множестве

сжимающих операторов в H при λ C+, будем относить к классу Шура S(H). Следующая лемма представляет собой вариант принципа максимума для оператор

функций класса S(H) и, по-видимому, хорошо известна.

lem:MaxP

Лемма 4.5.5. Пусть C(λ) семейство класса Шура S(H). Тогда:

 

 

λ C+ è

 

 

для некоторого

 

 

äëÿ âñåõ

 

 

 

 

1) åñëè 0 σp

K(λ0, λ0)

 

λ0 C+, òî 0 σp

K(λ, λ)

 

ïðè ýòîì

ker K(λ0, λ0) = ker K(λ, λ);