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

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

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

2.3. ПРЕОБРАЗОВАНИЕ КЭЛИ

 

 

 

 

 

 

 

 

31

 

 

 

 

 

 

 

E:14.5

 

 

E:7.3

 

 

E:14.4

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Соотношения

 

(1.6) очевидны. Согласно (

 

1.3) è

 

(1.4)

 

 

 

 

 

 

 

kfk2 = k(A −

 

)hk2 = k(A − x)hk2 + |y|2khk2;

 

 

 

z

 

 

 

 

 

E:14.4

kV fk2 = k(A − z)hk2 = k(A − x)hk2 + |y|2khk2.

 

 

 

 

 

 

 

 

 

 

 

 

Èç

(1.4) теперь вытекает, что V изометрия. 2

 

 

 

 

 

 

 

 

 

H, V åãî

A:14.7

Утверждение 2.3.2. Пусть A симметрический оператор в

 

 

преобразование Кэли. Тогда n+(A) = ne(V ), n(A) = ni(V ).

 

 

 

 

 

 

A:14.4

Доказательство. Пусть z C+. В силу утверждения 2.2.8 и определения дефектных чисел симметрического оператора имеем:

n+(A) = dim Nz = def ran (A − zI) = def dom V = ne(V ); n(A) = dim Nz = def ran (A − zI) = def ran V = ni(V ).

2

Зададимся вопросом: каждый ли изометрический оператор является преобразованием Кэли некоторого симметрического оператора?

A:14.8 Утверждение 2.3.3. Åñëè V изометрия в H è ran (V − I) плотно в H, то оператор A, определяемый равенством

Ah = (zV − zI)(V − I)−1h,

является симметрическим. При этом его преобразование Кэли

AG

оператором V (cì. [1, Ãë. VIII, ï. 101]).

(3.4) E:14.7

Cz(A) совпадает с

T:14.9Ext

Теорема,

2.3.4. Пусть A, A симметрические операторы в H, z C+ è V =

 

 

Cz(A) V = Cz(A) èõ

преобразования Кэли. Тогда

 

e

 

e

e

 

(1)Оператор Ae является симметрическим расширением оператора A тогда и только тогда, когда Ve является изометрическим расширением оператора V ;

(2)Оператор Ae является самосопряженным расширением оператора A тогда и только тогда, когда Ve является унитарным расширением оператора V .

Доказательство. (1) Преобразование Кэли Ve оператора Ae задается равенствами

 

 

 

((A

z)h = V f

, f dom A.

 

 

(3.5) E:14.4wt

 

 

 

(A

 

z

)h = f

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

A:14.4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому, всякий вектор f èçedom V â

ñèëó

(2.2.8) представимe

â âèäå

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

f = (A −

 

)h = (A −

 

)h

 

 

 

 

è â ñèëó (3.5) f dom V .

z

z

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

E:14.4wt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2)

 

Утверждение e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично доказывается, что включение V V влечет включение

A:14A .7 A.

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

2e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пункта (2) следует из пункта (1) и Предложения

2.3.2.

 

 

32 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ

 

 

T:14.9

Теорема 2.3.5. Пусть

A

симметрический оператор в

 

H, тогда

 

 

 

 

 

подпространство H1 приводит A тогда и только тогда, когда оно приводит

 

 

 

 

 

его преобразование Кэли V = C(A).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Легко видеть, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V = C(A) = (A − z)(A −

 

 

)−1 = I + (

 

− z)(A −

 

 

)−1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.6)

E:14.8

 

 

 

 

 

 

 

z

z

z

 

 

 

 

 

 

 

 

 

 

 

 

T:12.5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По теореме

 

?? подпространство H1 приводит A в точности тогда, когда P1

 

 

 

 

 

 

 

 

 

 

 

коммутирует с A (P1 ортопроектор на H1), òî åñòü

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P1Af = AP1f,

 

f dom A è

 

P1dom A dom A.

 

 

 

 

 

 

 

 

 

E:14.9

 

 

 

 

 

 

 

 

(3.7)

E:14.9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Èç

 

(3.7) имеем P1(A − z)f = (A

− z)P1f, f

dom A. Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(A −

 

)−1P1g = P1(A −

 

)−1g,

g ran (A −

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

z

z

 

 

(3.8)

E:14.10

 

 

 

 

 

E:14.8

 

 

E:14.10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Èç

 

(1.9) è

 

(3.8) получаем V P1 = P1V , значит H1 приводит V .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассуждение обратимо. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Óïð. 2.3.6. Пусть H = L2(R), A = −i

d

, dom A = W21(R).

 

 

 

 

 

 

EX:14.*

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

a) Доказать, что A = A ;

b) Найти RA(λ), σ(A).

 

 

 

 

 

 

 

 

Пример 2.3.7. Пусть A = A оператор из упражнения

2EX:14.3.6,.*V = I

2i(A + iI)−1

 

 

EXA:14.5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

его преобразование Кэли. Тогда V унитарен и имеет вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(V f)(x) = f(x) − 2 Zx

f(t) exp(x − t) dt.

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

H± = L2(R±) = {f L2(R) : f(x) = 0, x ≥ 0}.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Легко видеть, что подпространства

 

H

±

Lat

A не приводят оператор A. Â òî æå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

, ãäå χ

 

 

 

 

 

время HLat V , íî H+ / Lat V . Более того, eV H, ãäå e= χ(x)e

 

 

 

 

 

индикатор полуоси R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Óïð. 2.3.8. Пусть A = A â H è

H

Cyc A, òî åñòü

 

 

 

 

 

 

EX:14.6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H = span{(A − λ)−1H : λ CC+}.

Верно ли, что подпространства H± = span{(A − λ)−1H : λ C±} инвариантны для A, òî åñòü H± Lat A. Верно ли, что они приводят A?

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА

33

2.4Числовая область оператора

D:8.1 Определение 2.4.1. Пусть T оператор в гильбертовом пространстве H. Числовой образ оператора T есть подмножество Θ(T )( C), определяемое равенством

Θ(T ) := {(T f, f) : f dom (T ), kfk = 1}.

Множество Θ(T ) не является вообще говоря ни открытым, ни замкнутым, даже если T [H].

Ka

T:8.2 Теорема 2.4.2 (Хаусдорфа). (См. [2, Теорема V.3.1]) Множество Θ(T ) выпукло.

EXE:8.1 Óïð. 2.4.3. Обозначим дополнение к = Θ(T ) â C через ΘC(T ). Показать, что ΘC(T )

является связным открытым множеством за исключением случая, когда Θ(T ) замкнутая полоса, быть может вырождающаяся в прямую. В этом случае

ΘC(T ) = ΘC1 (T ) ΘC2 (T ),

ãäå ΘC1 (T ) è ΘC2 (T ) полуплоскости.

Ka

EXE:8.2 Óïð. 2.4.4. (См. [2, Теорема V.3.2]) Если T C(H), òî

ΘC(T ) ρb(T ).

Äëÿ âñåõ ζ из каждой связной компоненты множества ΘC(T ) функция def (T − ζ) сохраняет постоянное значение. При этом, если def (T − ζ) = 0 äëÿ ζ , òî

k(T − ζ)k ≤ 1/dist(ζ, )

EXE:8.3_C Óïð. 2.4.5. Åñëè T B(H), òî

σ(T ) Θ(T ).

Ïðè ýòîì, σp(T ) Θ(T ) è σr(T ) Θ(T ).

D:8.2 Определение 2.4.6. (i) Оператор T называют аккретивным (диссипативным), если

Re(T f, f) ≥ 0 (Im(T f, f) ≥ 0),

f dom (T ),

òî åñòü, åñëè Θ(T )

C

r (Θ(T )

C

+).

 

(ii)Оператор T называют m-аккретивным (m-диссипативным), если он

аккретивен (диссипативен) и не имеет собственных аккретивных (диссипативных) расширений.

L:8.4a Лемма 2.4.7. Пусть T аккретивный (диссипативный) оператор в H. Тогда для всех u, v dom (T ) справедливо неравенство

|Re [(T u, v) + (T v, u)]|2 6 Re(T u, u) Re(T v, v).

 

 

(4.1)

E:8.4a

34 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ

Доказательство. Аналогично доказательству неравенства Коши Буняковского.

2

 

 

T:8.4

Теорема 2.4.8. Пусть T

 

плотно определен.

 

 

 

 

 

 

H è Θ(T ) 6= C. Тогда

 

 

 

 

 

 

плотно определенный оператор в

 

 

 

 

 

 

 

 

T замыкаем и, значит, T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Òàê êàê Θ(T ) выпуклое множество и Θ(T ) 6= C, то числовой

 

 

 

образ оператора T содержится в некоторой полуплоскости. Заменяя T íà αT + β ñ

 

 

 

некоторыми α, β( C) можно считать, что Θ(T )

C

r, ãäå Cr = {z C : Re z > 0}

 

 

 

правая полуплоскость, то есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Re(T f, f) > 0,

äëÿ âñåõ f dom (T ).

 

L:8.4a

 

 

 

 

 

 

Пусть fn dom (T ), fn

→ 0 è T fn

→ g. Тогда, по

 

 

 

 

 

 

 

 

Лемме

2.4.7 справедливо

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|Re [(T fn, v) + (T v, fn)]|2 6 Re(T fn, fn) · Re(T v, v),

 

v dom (T ).

 

 

 

 

 

 

 

(4.2)

E:8.4b

 

 

 

 

 

E:8.4b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Переходя в неравенстве (

4.2) к пределу при n → ∞, получим

 

 

 

 

 

 

 

 

 

| Re(g, v)|2 6 0,

äëÿ âñåõ v dom (T ),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òî åñòü (g, v) = 0, v dom (T ). Òàê êàê dom (T ) = H, òî g = 0. Значит, оператор T

 

 

 

замыкаем. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Óïð. 2.4.9. Åñëè T диссипативен и замкнут, то

 

 

 

 

 

 

EXE:8.3A

 

 

 

 

 

 

 

 

 

(a)

Cρˆ(T );

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(b)

dT (z) := def(ran (T − z)) ≡ const,

z C.

 

 

 

 

 

 

 

 

 

Доказательство. Пусть z = x + iy C, ò.å. y < 0. Тогда

 

 

 

 

 

 

 

 

 

kT f − zfk2 = k(T − x)fk2 − 2y Im(T f, f) + y2kfk2 > y2kfk2.

 

 

 

 

 

Таким образом, Cρˆ(T ) и в силу Упражнения

 

EXE:8.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.4.4 функция dT (z) := def(ran (T −

 

 

 

 

 

 

 

z)) сохраняет постоянное значение в C. 2

 

 

 

 

 

 

 

 

Óïð. 2.4.10. Åñëè T аккретивен и замкнут, то

 

 

 

 

 

 

 

EXE:8.3

 

 

 

 

 

 

 

 

 

(a)

Cl ρˆ(T );

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(b)

dT (z) := def(ran (T − z)) ≡ const,

z Cl.

 

 

 

 

 

 

 

 

Óïð. 2.4.11. Показать, что оператор T является m-диссипативным тогда и только

 

EXE:8.5

 

 

 

тогда, когда выполнены условия:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a) Cρ(T ); b) k(T − z)−1k ≤

1

, z C.

 

 

 

 

 

 

 

 

 

| Im z|

 

 

 

 

 

 

 

 

 

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА

 

 

 

35

 

 

 

 

 

 

 

 

 

 

T является m-аккретивным тогда

 

 

 

EXE:8.5

Óïð. 2.4.12. Показать, что оператор

и только

 

 

 

тогда, когда выполнены условия:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a) ρ(T ) Cl; b) k(T + z)−1k ≤

1

,

z Cr.

 

 

 

 

 

Rez

 

 

 

 

 

 

 

 

 

EXE:8.3A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

2.4.9 для диссипативного оператора T корректно

 

 

 

определено его преобразование Кэли

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V = Cz(T ) = (T − zI)(T −

zI)−1

 

 

 

 

 

E:14.4.13..3 Åñëè T диссипативный оператор в H, то его преобразование Кэли V

A:14.6Dis

Óïð. 2

 

 

 

âèäà

 

сжимающий оператор в H, для которого

 

 

 

 

 

 

 

 

 

 

 

(1.3)

 

 

 

 

 

 

 

 

dom V = M

 

:= ran (T −

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.3)

E:14.5Dis

 

 

 

 

 

 

 

zI).

 

 

 

 

 

 

z

 

 

 

и оператор T является m-диссипативным тогда и только тогда, когда dom V = H.

 

 

 

Òàê

e

 

 

 

 

 

 

 

 

 

 

 

 

 

же, как и в пункте 2.3 доказывается следующее утверждение.

 

 

 

 

 

Óïð. 2.4.14. Пусть T , Te диссипативные операторы в H, z C+ è V

= Cz(T ),

 

 

T:14.9

Ve = Cz(Te) их преобразования Кэли. Тогда оператор Te является диссипативным расширением оператора T тогда и только тогда, когда Ve является сжимающим расширением оператора V .

L:8.3 Предложение 2.4.15. Пусть A замкнутый симметрический оператор в H, A C(H), Nz(A) = Nz := ker(A − z), называют дефектными подпространствами оператора A, n+(A) > 0. Тогда:

(i) при каждом z C+ расширение

Az = A

 

dom (Az),

 

 

 

˙

N

z,

(4.4)

E:8.93

 

dom (Az) = dom (A)+

 

 

 

является m диссипативным оператором;

 

 

 

 

(ii) åñëè z = x ρˆ(A) ∩ R, то оператор Ax âèäà

 

E:8.93

 

 

 

 

 

 

 

 

 

 

 

(4.4) самосопряжен, Ax = (Ax) .

 

Кроме того, если интервал (α, β) является лакуной оператора A è x (α, β), то интервалы (α, x) è (x, β) являются лакунами оператора Ax. В частности, σ(Ax) ∩ (α, β) = {x}.

Доказательство. (i) Åñëè f dom (A) ∩ Nz(A) è f 6= 0, òî

Af = A f = zf,

что противоречитE:8.88симметричности оператора A. Значит, dom (A) ∩ Nz = {0} и определение (4.15) корректно.

Покажем, что Az диссипативен. Легко видеть, что для всех векторов f âèäà

f = fA + fz, fA dom (A), fz Nz,

36 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ

получим

(Az(fA + fz), fA + fz) = (AfA + zfz, fA + fz)

= (AfA, fA) + (AfA, fz) + z(fz, fA) + zkfzk2 = (AfA, fA) + z(fA, fz) + z(fA, fz) + zkfzk2.

Отсюда

 

 

Im(Azf, f) = Im(Az(fA + fz), fA + fz) = Im z · kfzk2 > 0.

(4.5)

E:8.89

Таким образом, Az диссипативное расширение оператора A.

 

 

Покажем замкнутость оператора Az. Пусть

 

 

 

 

 

fn = fnA + fnz dom (Az), fn −→ f,

 

 

 

 

E:8.89

Azfn = AfnA + zfnz −→ g.

 

 

Тогда в силу

 

(4.16)

 

 

 

 

 

 

 

 

 

Im(Az(fn − fm), fn − fm) = | Im z|kfnz − fmzk2

(4.6)

 

 

 

E:8.90

и, следовательно, fnz является фундаментальной последовательностью в Nz. Òàê êàê подпространство Nz замкнуто, то существует вектор fz Nz, такой что fnz −→ fz ïðè n −→ ∞. Полагая fA := f − fz, получим

lim f

 

= lim(f

f

 

) = f

f

 

= f

 

, è

lim Af

 

= g

zf

.

n↑∞

nA

n↑∞

n

nz

 

 

z

 

A

 

n↑∞

nA

 

z

 

Òàê êàê A замкнут, то fA dom (A)

è

AfA = g − zfz. Значит,

 

 

 

 

 

 

f = fA + fz dom (Az),

Azf = AfA + zfz = g,

 

 

 

т.е. оператор Az замкнут.

Покажем, что Az m диссипативен. Для этого достаточно показать, что ran (Az − z¯) = H ïðè z C+. Пусть g ran (Az − z¯). Тогда

g ran (A − z¯) è g Nz(A).

EXE:8.3

Òàê êàê z C+ ρˆ(A) (см. УпражнениеE:8.91a 2.4.10) è A замкнут, то линеал замкнут. Поэтому условия (4.7) принимают вид

(4.7) E:8.91a

ran (A −z¯)

g Nz ∩ ran (A − z),

òî åñòü

(A − z)g = 0 è g = (A −

 

)f, f dom (A).

(4.8)

E:8.92a

z

Отсюда

 

 

 

0 = ((A − z)(A −

 

)f, f) = k(A −

 

)fk2.

 

 

 

 

 

(4.9)

E:8.92

 

z

z

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА

37

откуда следует, что f = g = 0. Значит, ran (Az − z¯) = H. Таким образом, оператор Az

m диссипативен.

(ii)Пусть x R ∩ ρb(A). Покажем замкнутость оператора Ax. Пусть

fn = fnA + fnx dom (Ax), fn → f,

Azfn = AfnA + xfnx → g.

Тогда в силу условия x ρb(A) получим

k(Ax − x)(fn − fm)k = k(A − x)(fnA − fmA)k ≥ c(x)kfnA − fmAk.

(4.10)

E:8.90

Таким образом, fnA, à ñ íåé è fnx, AfnA являются фундаментальными последовательностями в H, а это доказывает замкнутость оператора Ax.

Симметричность и максимальность оператора Ax доказывается так же, как и

âпункте (i).

(iii)Докажем утверждение (iii) в предположении, что оператор A имеет лакуну

(α, β). Рассмотрим случай интервала (x, β). Имеем для f = fA + fx, ãäå fA

dom A, fx Nx

Ax

β+ x 2

f

 

2

= A

β + x

 

f

A

2 +

 

 

β − x

 

2

 

f

2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

k

xk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β + x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x) Re

 

 

A

 

 

 

 

 

 

 

fA, fx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

β − x

 

2

f

 

 

2 +

 

β − x

 

2

f

 

 

 

2 +

 

β − x

 

2 Re(f

 

, f

)

 

 

 

 

 

 

 

 

xk

 

 

 

 

2

 

k

Ak

 

 

 

 

 

 

2

 

k

 

 

2

 

A

x

 

 

 

 

 

 

2

k

 

Ak

 

 

 

 

k

xk

 

 

 

 

 

 

 

A

x

 

 

 

 

 

 

 

 

 

 

=

β − x

 

 

 

f

 

 

 

2 +

 

f

 

 

2 + 2Re(f

 

 

, f )

 

 

 

 

 

 

 

 

 

=

 

β − x

 

2 f

 

 

+ f

xk

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

k

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, оператор Ax имеет лакуну (x, β). 2

R:8.100a Замечание 2.4.16. (i) Пусть A неотрицательный симметрический оператор в H,

E:8.88

A > 0, a < 0 è A(a) определен формулой (4.15), т.е. dom (A(a)) = dom (A) + Na è

A(a)f = A(a)(fA +fa) = AfA −afa, f = fA +fa, fA dom (A), fa Na. (4.11) E:100a

Тогда

(A(a)f, f) = (AfA, fA) + 2i Im(fA, fa) − akfk2, Re(A(a)f, f) ≥ 0.

P:8.5

Таким образом, в согласии с предложением 2.4.19, A(a) m аккретивен, хотя и не является симметрическим. Более того, A(a) несобственное расширение оператора A, A(a) 6 ExtA .

Лемма 2.4.18.

D:8.11

L:8.11

38 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ

(ii) Åñëè A > 0 è a ρˆ(A) ∩ R+ 6= 0, то оператор

 

 

dom (Aa),

˙

N

 

(4.12)

E:101a

Aa = A

 

dom (Aa) = dom (A)+

 

a

 

 

необязательно неотрицателен. Возможно появление отрицательного спектра.

Определение 2.4.17. (i) Пусть A симметрический оператор в H. Расширение Ae оператора A называется собственным, если A Ae A .

(ii) Собственные расширения Sj( A), j {1, 2}, называют дизъюнктными, если dom (S1) ∩ dom (S2) = dom (A),

и трансверсальными, если они дизъюнктны и

dom (S1) + dom (S2) = dom (A ).

(4.13)

E:8.6

Пусть A замкнутый симметрический оператор в H, z ρb(A), Ae собственное расширение оператора A (A Ae A ). Тогда:

˜

(i)z / σρ(A) Ae è Az дизъюнктны;

(ii)z ρ(Ae) Ae è Az трансверсальны.

Доказательство. (i)

Пусть

 

z

 

 

σρ(A). Тогда

найдется

вектор f

 

dom (A)

такой, что Af

 

zf и, значит, f

 

 

N . Следовательно,

f dom (Az) ∩ dom (Ae),

f 6dom (A)

, ò.å.=

 

 

 

 

 

 

 

 

 

 

 

 

 

z e

 

.

 

 

 

 

 

 

 

 

dom (Az) ∩ dom (A) 6= dom (A)

 

 

 

 

 

 

 

 

 

 

 

 

 

e

Обратно, если

 

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, òî

 

 

 

 

 

 

 

 

 

 

e

 

 

 

z σρ(A)

 

 

f dom A ∩ dom Az

 

 

f = fA + fz

, ãäå

fz

 

 

 

 

 

 

 

 

 

 

 

 

 

Nz. Íî

тогда f

= f

 

f

 

 

dom (A).

Следовательно,

Af

 

= A f = zf

, что в силу условия

 

 

 

 

 

 

e

 

 

 

 

 

 

z

z

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

z

 

 

 

 

 

˜

 

влечет равенство e

 

 

 

 

 

è,

следовательно

 

 

 

 

 

 

 

.

 

 

z / σρ(A)

 

 

 

 

 

 

 

 

e

f e

 

 

f = fA dom A

 

 

 

 

 

 

 

 

 

 

 

fz = 0

 

 

 

 

 

 

 

 

 

 

 

 

(ii) Пусть z

 

ρ(A).

Тогда для каждого

dom (A ) можно определить вектор

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

f

 

 

 

A

 

. Íî

 

 

 

 

 

 

 

 

N

, òàê êàê

 

 

 

 

 

g := (A − z)(A

 

 

 

 

 

 

 

 

fz := f − g

 

 

 

 

 

− z)e dom (

 

)

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

e

 

(A

z)(f

g) = (Ae

z)f

(A

 

z)(A

z)−1(A

z)f = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

Таким образом, вектор f представим в виде

f = g + fz, g dom (Ae), fz dom (Az).

Обратно, если A è Az трансверсальны, то

 

 

 

 

 

 

 

 

e

dom (A ) = dom (A) + dom (Az) = dom (A) u Nz.

 

 

 

(4.14)

E:8.7

 

 

E:8.7

 

(

e

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим к

(4.14) оператор A

z). Получим

 

 

 

 

 

 

H = (A − z)dom (A ) = (A − z)dom (A) + (A − z)Nz = ran (A − z).

Íî z / σρ(A) (согласно (i)),

 

e

z

eρ(A) 2

e

 

e

 

 

следовательно

 

 

e

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА

 

 

 

 

 

 

 

 

 

 

 

 

39

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P:8.5

Предложение 2.4.19. Пусть T аккретивный оператор в H, T C(H), è dT (z) > 0,

 

 

z Cl. Тогда для каждого z Cl справедливо соотношение dom (T ) ∩ Nz(T ) = {0} è

 

 

 

оператор

T (z)

,

 

 

 

 

˙

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (T (z)) = dom (T )+Nz(T )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T (z)(fT + fz) = T fT − zfz,

 

 

f dom (T ), fz Nz(T ),

 

 

 

 

 

 

(4.15)

E:8.88

 

является m аккретивным.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. (i) Åñëè f dom (T ) ∩ Nz(T ) è f 6= 0, òî

 

 

 

 

 

 

0 6 Re(T f, f) = Re(f, T f) = Re(f, zf) = Re

 

 

· kfk2 < 0.

 

 

 

 

z

 

 

 

Значит, dom (T ) ∩ Nz = {0} и определение

 

E:8.88

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.15) корректно.

 

 

 

 

 

 

 

 

 

 

 

(ii) Покажем, что T (z) аккретивен. Легко видеть, что

 

 

 

 

 

 

(T (z)(fT + fz), fT + fz) = (T fT − zfz, fT + fz)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (T fT , fT ) + (T fT , fz) − z(fz, fT ) − zkfzk2

 

 

 

 

 

 

 

 

 

 

 

= (T fT , fT ) +

 

 

(fT , fz) − z(

fT , fz

) − zkfzk2.

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

Отсюда

Re(T (z)(fT + fz), fT + fz) = Re(T fT , fT ) − Re z · kfzk2 > 0.

 

 

 

 

(4.16)

E:8.89

 

Таким образом, Tz

аккретивное расширение оператора T .

 

 

 

 

 

(iii) Покажем замкнутость оператора T (z). Пусть

 

 

 

 

 

 

 

 

 

fn = fnT + fnz dom (T (z)), fn −→ f, T (z)fn = T fnT − zfnz −→ g.

 

 

 

 

 

 

E:8.89

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда в силу

 

(4.16)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Re(T (z)(fn − fm), fn − fm) > | Re z|kfnz − fmzk2

(4.17)

 

 

 

 

 

 

E:8.90

 

è fnz − fmz −→ 0 ïðè n, m −→ ∞. Òàê êàê Nz(T ) замкнуто, то существует вектор

 

 

fz Nz(T ), такой что fnz −→ fz ïðè n −→ ∞. Но тогда

 

 

 

 

 

 

 

 

 

 

lim f

= lim(f

n

f ) = f

f =: f

 

è

lim T f

 

= g + z

 

 

 

 

n↑∞

nT

 

n↑∞

nz

z

 

 

 

 

T

 

n↑∞

nT

 

 

Òàê êàê

T замкнут, то fT dom (T ) è

T fT = g + zfz. Значит,

 

 

 

 

 

 

 

f = fT + fz dom (T (z))

è T (z)f = T fT − zfz = g,

 

 

 

ò.å. T замкнут.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(iv) Покажем, что T (z) m аккретивен. Для этого достаточно показать, что

 

 

 

 

 

 

 

ran (T (z) − µ) = H ïðè µ =

 

− ε Cl, ε > 0.

 

 

 

 

 

 

 

 

z

 

 

 

Пусть g ran (T (z) − µ). Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g ran (T − µ)

 

 

g Nz(T ).

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

(4.18)

E:8.91

40 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ

EXE:8.3

Òàê êàê z Cl ρˆ(E:8T ).(ñì91 . Упражнение 2.4.10) и T замкнут, то ran (T −z) замкнут. Поэтому условия (4.18) принимают вид

 

 

 

 

 

 

g N

 

(T ) ∩ ran (T −

z

), ò.å.

g = (T −

z

)fT

(4.19)

E:8.92

 

µ

 

 

 

 

 

 

 

è (T − z + ε)g = 0,

fT dom (T ).

(4.20)

 

 

 

 

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 = ((T − z + ε)(T −

 

)fT , fT ) = k(T −

 

)fT k2 + ε((T −

 

)fT , fT ).

 

 

 

 

 

(4.21)

E:8.92

 

z

z

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.92

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê Re((T − z)fT , fT ) > 0, то равенство

 

(4.21) äàåò g = (T − z)fT = 0. Значит,

 

 

 

 

 

 

 

ran (T (z) − µ)

= H. Òàê êàê T (z) замкнут и аккретивен, то µ Cl

ρˆ(Tz) è

 

 

 

 

 

 

 

 

 

 

 

ran (T (z) − µ) = ran (T (z) − µ) = H. Таким образом, T (z) m аккретивен. 2

 

 

 

 

 

 

C:8.3a

Следствие 2.4.20. Пусть K диссипативный оператор в H, K C(H), dK (z) >

 

 

 

 

0, z C. Тогда оператор K(z),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K(z)(fK + fz) = KfK − zfz,

fK dom (K), fz Nz(K),

(4.22)

E:8.92a

является m диссипативным расширением оператора K.

Доказательство. ОператорP:8.5 T := −iK является аккретивным. Осталось

применить Предложение 2.4.19. 2

2.5Обобщенная формула Неймана

T:8.13

Теорема 2.5.1 (Обобщенная формула Неймана). Пусть

 

 

 

A

 

замкнутый

 

 

 

 

 

симметрический оператор в гильбертовом пространстве H. Тогда:

 

 

 

 

 

 

 

 

 

 

 

(i) для каждой пары чисел z1 C+ è z2 Cсправедливо прямое разложение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A ) = dom (A) u Nz1 u Nz2 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.1)

 

 

E:8.10a

 

(ii)

 

ÅñëèE:8. z

 

 

 

 

ρ A

, то при каждом z

 

C\R

справедливо прямое разложение

 

 

 

 

 

 

 

 

 

 

 

(5.1).10a

= z1

ˆ( )

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(iii) Åñëè (α, β) лакуна для A, то для каждых x1, x2 (α, β) справедлив аналог

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A ) = dom (A)+˙ Nx1 +˙ Nx2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.2)

 

 

E:8.4v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8.3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. (i) Пусть n+(A) > 0. Тогда по Следствию

 

2.4.15 оператор Az1

 

 

 

 

 

 

 

максимальный

 

L:8диссипативный,.11

и, значит, Cρ(Az1 ). Следовательно, z2 ρ(Az1 )

 

 

 

 

 

 

 

и по Лемме

 

 

 

 

 

расширения A

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.4.18

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.10a z1

è

 

z2

трансверсальны,

òî

åñòü

справедливо

 

 

 

 

 

 

 

 

 

E:8.7

 

 

 

 

 

 

 

 

 

равенство

 

(4.14),

à ñ íèì è

 

(5.1).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8.3

 

 

 

 

= A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8.11

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(ii) По Предложению

2.4.15 A

 

 

 

 

z

 

ρ(A

 

 

) и по Лемме

 

2.4.18

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

расширения Az1 è Az2 трансверсальны

 

 

z1

 

z1 и, значит,

2

 

 

 

z1

 

 

 

 

 

E:8.10a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8..3Значит, справедливо разложение (

 

5.1).

 

L:8.11

 

 

 

 

 

 

 

 

 

(iii) Согласно Предложению

 

 

Ax1

= Ax

1 è x2

 

 

ρ(Aλ1 ). По Лемме

 

 

 

 

 

 

 

2.4.15

 

 

 

2.4.18

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.4v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ax1 è Ax2 трансверсальны, т.е. справедливо равенство (

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.2). 2