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

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

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

 

 

 

 

2.5. ОБОБЩЕННАЯ ФОРМУЛА НЕЙМАНА

 

 

 

 

 

 

 

 

41

 

 

 

 

 

 

 

 

 

n±(A)

= m

> ∞ è z =

 

 

ρˆ(A), то существует

 

 

 

C:8.1111

Следствие 2.5.2. Åñëè

 

z

 

 

 

 

 

 

 

расширение A = A ExtA, для которого z σp(A) è dim ker(A − z) = m.

 

 

 

 

 

 

 

 

 

 

 

 

e

e

 

 

 

 

 

 

A := Az является искомым. 2

e

 

 

 

 

 

 

 

 

 

 

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

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 2.5.3 (1-я

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

C:8.7_T

 

 

 

 

 

формула Неймана). Пусть

 

 

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

 

 

 

 

 

 

 

оператор в H è z C+. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A ) = dom (A) u Nz u N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.3)

E:8.8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

Следствие 2.5.4. Пусть A симметрический оператор в H. Тогда

 

 

 

 

 

 

 

C:8.14

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dA(z) ≡ const äëÿ z C+ è z C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.4)

E:8.9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Вытекает из формулы

 

(5.5). Фиксируем z1 C+. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dA(z2) = dim Nz2 = dim (dom (A ))/(dom (A) u Nz1 ),

 

 

 

 

 

 

 

 

 

и осталось заметить, что правая часть не зависит от z2 C.

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, если z1 C, то правая часть в последнем равенстве не зависит

 

 

 

 

 

 

 

îò z2 C+. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 2.5.5. Åñëè ρˆ(A) ∩ R 6= , òî n+(A) = n(A).

 

 

 

 

 

 

 

 

C:8.16a

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Вытекает из формулы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

˙

N

˙ N

C+ C.

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A

) = dom (A)+

z1

+

z2 , z1 = z¯1, z2

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 2.5.6 (2-я формула Неймана). Формула

 

 

 

 

 

 

 

 

 

 

 

T:8.9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A) = dom (A) + (I − V 0)Nz0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.5)

E:8.10

 

 

 

 

устанавливает

взаимно-

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

однозначное

 

соответствие

между множеством

 

 

 

 

 

 

 

замкнутых симметрических расширений A оператора A и множеством частично

 

 

 

 

 

 

 

 

 

При этом расширение

A оператора

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

 

 

 

 

 

 

 

изометрических операторов V 0

èç Nz0 ( Nz) â Nz0¯( N).

 

 

 

 

 

 

 

 

 

 

 

только тогда, когда V 0

 

 

 

e

 

 

 

 

Nz íà N.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

изометрия из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Пусть V = Cz(A) это преобразование Кэли оператора A, òî

 

 

 

 

 

 

 

åñòü

 

 

 

 

 

 

 

 

 

 

V = (A − z)(A − z¯)−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

это изометрия из ran (A

 

z¯) íà ran (A

z). Åñëè V 0 изометрия из Nz0 (

 

Nz) â

 

 

 

 

 

 

 

N0

(

N

), то оператор V = V

 

V 0

является изометрическим расширением оператора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

íà N. 2
В силу Теоремы 2.3.4 расширение
T:14.9Ext
dom (Ae) = ran (I − Ve) =

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

V . В силу Теоремы

 

T:14.9Ext

 

 

 

A = C−1

(V ) оператора

V

 

 

 

 

2.3.4 обратное преобразование Кэли

 

 

 

 

 

 

z

 

 

E:14.4

является симметрическим расширением оператора

V

 

e

e

формулы (

e

 

. Ïðè ýòîì â ñèëó

 

1.4)

ran (I − V ) u ran (I − V 0) = dom (A) + (I − V 0)N0z,

Ve является самосопряженным тогда и только тогда, когда оператор Ve = V V 0 является унитарным расширением оператора V . Последнее возможно только тогда, когда V 0 является изометрией из Nz

 

111a

справедливы соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ae

оператора A

 

 

 

Следствие 2.5.7. Для каждого симметрического

расширения

 

 

 

 

 

 

dim (dom (A)/dom (A)) = dim Nλ0 6 min n+(A), n

 

(A)

,

 

 

 

 

 

 

 

 

 

 

(5.6)

E:207b

 

 

e

n

 

(A) = n

 

(A)

dim N0 {i.

 

}

 

(5.7)

 

 

 

 

 

 

 

 

 

 

±

±

 

 

 

 

E:207c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

±

 

 

 

 

 

 

 

 

 

В частности, если n±(A) = n < e

, òî A = A тогда и только тогда, когда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim (dom (

A /dom (A)) = n.

 

 

 

 

(5.8)

 

 

 

 

 

 

 

 

E:207c

 

 

 

 

)e

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 2.5.8. Пусть n

 

(A) = m <e

 

è z = z

 

σp(A). Тогда

 

 

 

 

 

 

 

 

 

 

 

 

C:8.1112

 

 

 

 

 

 

 

 

 

 

±

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

m(z) := dim ker(A − z) 6 m.

 

 

 

 

 

 

 

 

 

 

 

 

(5.9)

E:8.96

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.93

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Определяя Az

по формуле

 

(4.4), ãäå Nz = ker(A − z), получим

 

 

 

 

 

симметрический оператор с равными индексами. В силу 2 ой формулы Неймана

n±(Az) = dim dom (Az) dom (A) = dim Nz(A).

Поэтому, m(z) = dim Nz(A) = m − n±(Az) 6 m. 2

T:8.16

Теорема 2.5.9. Пусть A симметрическое расширение оператора A. Тогда

 

 

 

 

 

 

A = A dom (A )e,

dom (A ) = dom (A) u (I − V )Nz0 u Nz00 u Nz00¯,

 

 

 

 

 

 

 

 

 

 

 

 

(5.10)

E:8.13

 

 

 

Nz0

eè V E:8.13

e

e

 

 

T:8.9

 

Nz00 = Nz Nz0

, Nz00¯ = NV Nz0

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ãäå

 

 

 

те же, что и в Теореме

2.5.6, à

 

 

 

 

 

 

 

 

 

 

разложение

 

(5.10)

прямое. При этом справедливо равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n±(A) = dim N±00 z = dim (ker(A z)), z C+.

(5.11)

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

e

 

 

фон Неймана,

существует

 

 

 

Доказательство. Согласно 2 ой формуле Дж.

 

 

 

 

 

 

 

 

 

изометрия V 0 èç Nz0

â N, такая что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

˙

0

)

N0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.12)

eq:2.5.17

 

 

 

 

 

 

 

 

dom (A) = dom (A)+(I

− V

 

z.

 

 

 

 

 

Найдем дефектные

 

 

e

Nz(A)

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

подпространства

 

e

оператора

 

 

. Для произвольного вектора

 

 

 

f èç dom (A) âèäà

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

e

 

f = fA + (I − V 0)fz

 

(fa dom A, fz Nz)

 

 

 

 

 

2.5. ОБОБЩЕННАЯ ФОРМУЛА НЕЙМАНА

43

 

получим

 

 

 

 

 

 

 

 

 

(A − z¯)f = (A − z¯)fA + (z − z¯)fz,

 

 

 

 

 

 

 

 

 

 

z

 

z0

 

 

 

 

 

z

 

 

 

 

 

e

z00

 

 

 

 

поэтому N

(A) = N

 

 

N

 

= N

. Аналогично из равенства

 

 

 

 

 

 

 

 

e

 

 

(A − z)f = (A − z¯)fA + (z − z¯)V fz,

 

 

 

следует, что N(A) = Ne Nz0¯ = Nz00¯. В соответствии с 1-ой формулой Дж. фон

Неймана

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A ) = dom (A) u Nz00 u Nz00¯

 

 

Из (5.12) и (5.12) следует

(5.13)

eq:2.5.18

 

e

2e

 

 

 

 

eq:2.5.17eq:2.5.17

 

 

 

 

 

 

 

E:8.13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равенство(

5.10).

 

 

 

 

 

 

 

 

 

T:8.9

 

 

 

 

 

 

 

 

T:8.16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из Теоремы

 

2.5.6 и Предложения

 

2.5.9 вытекает

 

 

 

 

 

 

 

 

C:8.17

Следствие 2.5.10. Пусть A замкнутый симметрический оператор в H. Тогда:

(i) A максимален в точности тогда, когда n+(A) · n(A) = 0.

(i)Оператор A самосопряжен в точности тогда, когда n±(A) = 0.

(iii)Åñëè A не максимальный оператор, то он имеет максимальное симметрическое расширение;

(iv)Оператор A(6= A ) имеет самосопряженное расширение точно тогда, когда n+(A) = n(A). В этом случае существует взаимнооднозначное соответствие между самосопряженными расширениями A и изометриями из Nz íà Nz, dom (Ae) = dom (A) + (I + V ), Nz → Nz;

(v)Åñëè n±(A) = 1, то каждое симметрическое расширение Ae(6= A) оператора A является самосопряженным;

(vi)Åñëè n±(A) = ∞, òî A имеет расширение Ae с любой наперед заданной парой индексов (n+(Ae), n(Ae)) = (n0+, n0).

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

Утверждения (i), (ii) и (v) с очевидностью вытекают из

 

 

 

 

T:8.9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теоремы

2.5.6.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(iv) Пусть n

 

(A) = n

 

(A). Тогда положим в

(4.14) N0

:= N

, N

0

:= N

 

è

пусть

 

 

+

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Тогда N00 = N

00

z

 

 

 

z

 

 

 

z

 

 

 

 

E:8.13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 и по формуле

(5.10)

V произвольная изометрия из N

z

íà N

 

 

 

=

 

 

 

A = A .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

z

 

 

z

{ }

 

 

 

 

 

 

 

 

 

 

 

e

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратно, пусть A = A . Тогда

из формул (4E:8.14).7

è (5E:8.10).13

вытекает, что N00 =

 

 

 

 

 

 

 

 

 

 

e

 

n e(A) = n

E:8.7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

(A)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim N = dim N , òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nz00

=

{0} и оператор V

в формуле

(4.14) изометрия из Nz íà Nz. Следовательно,

 

 

 

 

 

 

 

 

 

 

åñòü

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

z

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(vi) Выберем подпространства Nz0

è N

z0

так, чтобы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim (Nz Nz0 ) = n+0 ,

dim (N

 

N

z0

) = n0

è dim Nz0 = dim N

z0

.

 

 

 

 

 

 

 

z

 

 

 

Тогда каждая изометрия из Nz0

íà N

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

задает по формуле

 

(4.14) симметрическое

 

 

расширение с требуемыми свойствами. 2

C:8.18

D:8.16b

Ex:8.17a

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

Следствие 2.5.11. Åñëè A симметрический оператор и Ae его симметрическое расширение, то n±(Ae) = n±(A) − k тогда и только тогда, когда dim (dom (Ae) dom (A)) = k.

T:8.16

Доказательство. С очевидностью вытекает из Предложения 2.5.9. 2

2.5.1Вещественные симметрические операторы

Приведем еще один пример равенства индексов дефекта.

Определение 2.5.12. (i) Отображение C : H −→ H называется антилинейным, если

C(λf + µg) = λCf +

 

 

 

 

 

µCg.

 

 

 

(ii) Антилинейное отображение

J :

H −→ H

 

2

 

 

 

 

 

 

 

называется инволюцией, если

оно изометрично (т.е. kJfk = kfk äëÿ âñåõ f H) è J

 

= I.

Óïð. 2.5.13. Доказать, что

 

 

 

 

 

 

 

 

 

 

 

 

f, g H.

 

 

(Jf, Jg) = (f, g),

(5.14)

eq:2.5.19

Доказательство. Для произвольных α, β C получим

kJ(αf + βg)k2 = |α|2kJfk2 + |β|2kJgk2 + 2Re[αβ(Jf, Jg)]

=kαf + βgk2

=|α|2kfk2 + β2kgk2 + 2Re[αβ(f, g)].

Òàê êàê J изометрия, то

 

 

 

Re[

 

 

 

 

 

(5.15)

eq:2.5.20

 

αβ(Jf, Jg)] = Re[αβ(f, g)].

 

 

eq:2.5.20

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полагая в

(5.15) сначала α = β = 1, а затем α = i, β = 1, получим, соответственно,

 

 

Re(Jf, Jg) = Re(f, g),

Im(Jf, Jg) = − Im(f, g).

 

 

 

 

 

 

eq:2.5.19

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это доказывает равенство (

5.14). 2

 

 

 

 

 

 

 

 

линейный оператор T коммутирует с

D:8.17c

Определение 2.5.14. Говорят, что

 

инволюцией J, åñëè Jdom (T ) dom (T ) è T J = JT .

 

 

 

Åñëè A симметрический оператор, коммутирующий с инволюцией J, òî

 

его называют вещественным относительно J (J вещественный).

 

Предложение 2.5.15. Пусть A симметрический оператор,

 

 

P:8.17f

вещественный

 

 

относительно инволюции J, тогда n+(A) = n(A) и, значит,

A допускает

 

самосопряженное расширение.

 

 

 

 

 

 

 

2.5. ОБОБЩЕННАЯ ФОРМУЛА НЕЙМАНА

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

45

 

 

 

Доказательство. Òàê êàê J2 = I, то из включения Jdom (A) dom (A) вытекает

 

 

 

dom (A) Jdom (A), ò.å.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Jdom (A) = dom (A).

 

 

 

 

Пусть fi Ni, fA dom (A), тогда в силу упражнения

 

Ex:8.17a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.5.13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 = (fi, (A + i)fA) = (Jfi, J(A + iI)fA) = (Jfi, (A − i)JfA).

(5.16)

E:8.13a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.13a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê Jdom (A) = dom (A), òî èç

 

(5.16) вытекает, что Jfi N−i, ò.å.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

JNi N−i.

(5.17)

eq:5.13

 

 

Аналогично, JN−i Ni, откуда следует, что

 

 

 

 

 

 

eq:5.13

 

eq:5.14

 

 

 

 

N−i JNi.

(5.18)

eq:5.14

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

(5.17),

 

 

 

(5.18) получаем JNi = N−i и, следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim Ni = dim N−i.

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Óïð. 2.5.16. Пусть J

 

 

 

 

 

 

отображение в (H), такое что J2

= I è

 

 

Ex:8.18a

 

eq:2непрерывное.5.19

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5.14). Доказать, что J антилинейный оператор.

 

 

 

 

 

 

 

eq:2.5.19

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Полагая в

(5.14) g = Jh, получим (Jf, h) = (f, Jh), откуда следует, что для

 

 

 

âñåõ α, β C, f, g, h H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(J(αf + βg), h) = (αf + βg, Jh) =

 

 

(f, Jh) + β(g, Jh)

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

(Jf, h) + β(Jg, h) = (

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

αJf + βJg, h).

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J(αf + βg) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

αJf + βJg.

 

 

 

Пример 2.5.17. 1) Пусть H = L2(R). Тогда оператор сопряжения J : f −→

 

является

 

Exa:8.18j

f

 

 

 

инволюцией в H;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)Пусть H = l2(Z+). Тогда оператор сопряжения

XX

J : f = aklk −→ aklk

00

также является инволюцией в H.

R:8.16a Замечание 2.5.18 (Дж. фон Нейман). Пусть A симметрический оператор в H вещественный относительно инволюции J. Существует ли его самосопряженное

расширение Ae, принадлежащее ExtA, вещественное относительно J? В общем случае ответ отрицательный.

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

2.6Применение формул Неймана к исследованию спектра расширений

D:8.200

Определение 2.6.1. Говорят,

 

 

÷òî

 

 

интервал

 

(α, β)

является

 

 

 

лакуной

 

 

 

 

 

симметрического оператора A, åñëè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

kA − 2−1(α + β)fk > 2−1(β − α)kfk,

 

 

 

f dom (A).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.1)

E:8.200

 

 

 

Óïð. 2.6.2. Доказать, что лакуна (α, β) ρˆ(A).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8.201

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

 

 

 

Пусть λ (α, β) è r :=

β−2

α

 

è δ := r

 

 

 

α+

β

− 2 > 0. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

(A

 

 

 

 

 

λ)f

 

>

 

A

 

((α

 

 

β)/2)f

 

 

 

 

 

λ

 

 

 

((α

β)/2)

f

 

>

δ f

 

.

(6.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.202a

 

 

 

k −

 

 

 

 

k

k −

 

 

 

 

 

 

 

 

k − | −

 

 

 

 

 

 

 

 

 

 

 

 

 

k k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| · k k

 

 

 

 

 

 

 

 

 

 

 

 

 

8.203

Óïð. 2.6.3. Доказать, что каждая точка λ ρˆ(A) принадлежит некоторой лакуне.

 

 

 

 

Óïð. 2.6.4. Åñëè ρˆ(A) ∩ R 6= , òî n+(A) = n(A).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8.204

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 2.6.5. Пусть (α, β)

 

 

 

 

 

 

 

 

 

 

 

 

 

оператора A,

 

 

 

P:8.205

 

 

 

лакуна

 

 

симметрического

 

 

 

 

 

 

n±(A) = n < ∞,

A = A

ExtA è EA(·) разложение единицы оператора A. Тогда

 

 

 

 

 

 

 

 

 

â

 

 

 

 

e

 

 

e

 

 

не превосходит .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

dim (EA(α, β)H) 6 n, т.е. число собственных значений

A (с учетом кратности)

 

 

 

 

 

 

e

 

A

 

 

лакуне

(α, β)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оператора

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу 2 ой формулы Неймана

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim (dom (A)/dom (A)) = n±(A) = n.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.3)

E:8.203a

 

 

 

dim (EA(α, β)H) > n, òî

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

(0 =) f

 

dom (A)

ran (EA(α, β)).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Åñëè

Òàê

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существует вектор

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

f ran (EA(α, β)), òî f = EA(α, β)f.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

êàê

 

 

 

 

 

 

 

 

 

 

e 2

 

 

 

 

 

 

 

 

 

 

 

e 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A −

 

 

 

2

 

 

 

 

Z

t −

 

2

 

 

d(EA(t)f, f)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

α + β

 

 

 

 

 

R

 

 

 

 

α + β

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β

 

 

 

 

 

 

 

 

 

 

 

2

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

t

 

 

 

α + β

 

 

d(E

 

(t)f, f) <

β − α

 

 

 

f

 

 

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Zα

2

 

 

 

A

 

 

k

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

Но это неравенство противоречит

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

dom (A). 2

 

 

 

 

 

Определению

2.6.1, òàê êàê f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D:8.200

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 2.6.6. Пусть A замкнутый полуограниченный симметрический

 

 

 

P:8.206

 

 

 

 

 

оператор в H,

 

 

A > mA,

n±(A) = n < ∞ è A = A ExtA. Тогда A полуограничен

 

 

 

 

 

 

 

 

 

 

 

 

из не более, чем

 

собственных значений (сe

 

 

e

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

снизу и dim (ran (EA(−∞, mA)))

6 n, т.е. спектр A на полуоси (−∞, mA) состоит

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:8.203a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

учетом кратности).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Допустим, что dim (ran (EA(−∞, mA))) > n. Тогда в силу

 

 

 

 

 

 

 

 

(6.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0

6=)

f

ran ((

 

A(−∞

, m

Ae

 

dom (A). В силу спектральной

 

 

 

 

 

найдется вектор

 

 

 

 

 

 

 

 

 

 

 

 

E

e

 

 

 

))

 

 

 

 

 

 

 

теоремы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Af, f) = (Af, f) =

 

 

Z

 

 

t d(EA(t)f, f) < mA · kfk2,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

(−∞,mA)

 

 

 

 

 

 

e.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что противоречит неравенству (Af, f) > mAkfk2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.6. ПРИМЕНЕНИЕ ФОРМУЛ НЕЙМАНА К ИССЛЕДОВАНИЮ СПЕКТРА РАСШИРЕНИЙ 47

P:8.206

В силу предложения 2.6.6 расширение Ae не может иметь больше, чем n (с учетом кратности) собственных значений в лакуне.

T:8.111 Теорема 2.6.7 (Крейн). Пусть A замкнутый симметрический простой оператор в H, имеющий лакуну (α, β) è n±(A) = n < ∞. Пусть, далее, λ1, . . . , λk (α, β) è n1, . . . , nk N è n1 + . . . + nk = n. Тогда существует (не единственное при k < n) расширение Ae = Ae оператора A, такое что:

 

 

 

σ

A

∩ (α, β) = {λj}jk=1

 

è

 

dim ker

A − λj

= nj,

j = {1, . . . , k}.

 

(6.4)

E:204a

 

 

 

ýòîì,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:204a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïðè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

свойством

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

A единственное, со

 

(6.4), если и только если k = 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

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

[Первое доказательство]

Пусть Nj

:=

Nλj , Pj

 

:=

 

Pλj

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

ортопроектор на Nλj , j {1, . . . , k}. Выбираем произвольно подпространство N10

 

 

N1, такое что dim N1 = n1 и определим оператор A1 положительным:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A1 = A

 

dom (A1),

 

 

 

 

 

 

 

 

˙ N0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.5)

E:204c

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A1) = dom (A)+

 

1.

 

 

 

 

 

 

 

 

ßñíî, ÷òî A1 замкнут и симметричен.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть N2 = N2 P2N10

è N20

подпространство в N2, для которого dim N20 = n2.

 

ßñíî, ÷òî N2 N10

и, значит, N20 N10

. Продолжая по индукции, предположим, что уже

 

построены

подпространства

 

e

 

 

 

 

 

 

 

такие, что:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

Ni0 Ni (i 6 s)

 

 

 

i, j 6 s.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ni0 Nj0

 

 

 

ïðè

i 6= j,

 

 

 

 

 

 

 

 

 

 

 

 

Определим теперь подпространства:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M := span{Ps+1Nλ0

1 , . . . , Ps+1Nλ0

s }

è ÿñíî, ÷òî

Ns+1 = Ns Ms.

 

 

 

 

 

dim Ns+1 > n−n1 −. . .−ns. Поэтому выберем

подпространство

Ns0

+1 â Ns+1 такое, что

 

 

 

 

 

 

e

 

dim N0

 

= ns+1. В результате, мы построили последовательность подпространств

 

N

j

: eNs+1

N

i

ïðè i = j, i, j

 

6

k.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определим теперь расширение Ae, полагая

 

 

k

 

 

 

!.

 

 

 

 

 

 

 

 

 

 

 

i=1

Nj0

 

 

 

 

(6.6)

E:205a

 

 

 

 

 

 

 

 

 

A = A dom (A),

 

 

dom (A) = dom (A)+˙

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

e

 

 

 

 

 

 

e

 

 

 

 

 

M

 

k

 

 

 

 

 

N0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Покажем, что

A искомый. Легко видеть, что при f

= f

 

+

f

,

f

 

 

 

справедливо равенство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

=1

j

 

 

j

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jP

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

k

 

 

 

 

 

 

k

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Af, f) = Af

 

 

+

λ

f

, fA +

 

 

fj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

A

 

 

j=1

 

j

j

 

k

 

j=1

 

k

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Xj

 

 

 

X

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (AfA, fA) + (AfA,

 

fj) +

λj(fj, fA) +

 

 

λjkfjk2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

j=1

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

XX

= (AfA, fA) +

λjkfjk2 + 2 λjRe(fA, fj).

j=1

j=1

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

 

 

Таким образом,E:205a (Af, f) вещественно и A симметричен.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вытекает равенство. Покажем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Èç

(6.6)

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim (dom (A)/dom (A)) = dim

 

 

 

Nj0

= n.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.7)

E:205d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C:8.1111

 

 

 

 

 

e

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу следствия

2.5.2,

 

A = A . 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

[Второе доказательство] Пусть

 

α < λ1

 

< λ2 < . . . < λk < β è

 

 

 

 

 

 

 

 

 

e

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Nλ0

1

Nλ1 , dim Nλ0

1 = n1. Определим расширение A1 оператора A как сужение A íà

 

 

 

dom (A1) = dom (A)+˙ Nλ0

1 (A).

 

Легко видеть, что

A1e симметрический, dim ker(A1

 

 

 

 

L:8.3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ1) = n1 и, по предложению

 

 

 

 

(iii), σ(A1)

 

(α, β) = λ1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.4.15

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8.3

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

{

 

} лакуны оператораe

 

 

 

 

 

 

 

 

 

По предложению 2.4.15 (iii) интервалы

 

 

è

 

 

 

 

 

 

 

 

 

Поэтому полагая

 

A2

равным сужению

A

e

(α, λ1)

 

 

 

1, β)

 

 

 

 

 

 

 

 

 

 

 

 

A1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

íà dom (A2) = dom (A1)+˙ N0

 

N0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ2

, ãäå

λ2 e

 

 

 

N

 

 

A

 

 

,

 

 

N

 

 

 

 

= n

 

 

, получим симметрическое расширение

A

 

 

 

 

 

 

 

λ

(

1)

dim

λ0

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

оператора A, äëÿ

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e2

 

 

 

 

 

 

 

 

 

 

 

которого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ(A2) ∩ (λ1, β) = {λ2},

 

 

 

 

dim ker(A2 − λ2) = n2

 

è

 

dim ker(A2 − λ1) > n1.

(6.8)

E:206a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L:8.3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ïðèeэтом, по предложению

 

2.4.15, 2e, β) лакуна для A2.

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Продолжая этот процесс придем к расширению Ak,eдля которого

 

 

 

 

 

 

 

 

 

 

dim ker(Ak

λk) = nk

è dim ker(Ak

λj) > nj,

e

 

 

 

j

{

1, . . . , k

 

 

1 ,

(6.9)

 

 

 

 

 

 

 

 

 

 

 

E:207a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P:8.205

 

 

 

 

 

 

 

 

− }

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ò.ê. n

1

+

. . . + n

k

 

1

= 1, òî â ñèëó

предложения

2.6.5 dim ker(A

k

 

λ

) = n

, j

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:207a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{1, . . . , k − 1}, ò.å.в неравенствах (

6.9) имеют место равенства. 2e

 

 

 

 

 

 

 

 

 

Óïð. 2.6.8. Пусть (α, β) лакуна для A,

λ1, λ2 (α, β). Тогда:

 

 

 

 

 

 

 

 

 

 

 

Ex:8.112

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pλ2 Nλ1

 

 

= Nλ2 ,

ò.å.

 

ker(Pλ2 Nλ1 ) = {0}.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Åñëè Pλ2 fλ1 = 0 для некоторого fλ1 Nλ1 , то определим оператор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = A

 

 

dom (A),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

˙

N

 

 

 

˙

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A) = dom (A)+

 

λ2 +Cfλ1 .

 

 

 

 

 

 

 

 

 

Легко видеть, что

 

 

 

симметрический оператор, имеющийP:8.â205лакуне не менее

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

A e

 

 

 

 

 

 

 

 

 

e

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n + 1

 

 

 

 

 

 

 

 

 

 

 

 

значения. Это противоречит предложению

2.6.5.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

собственного

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T:113

Теорема 2.6.9.

Пусть

 

 

 

 

 

 

 

 

 

регулярные точки симметрического

 

 

 

 

 

 

 

 

 

 

 

 

 

j}j=1 ( ρˆ(A))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

= n (= n±(A)). Тогда существует по

 

 

 

оператора A, {nj}j=i

 

N è n1 + . . . + nk

 

 

 

крайней мере одно расширение A = A ExtA, для которого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dim ker(Ae

λje) > nj,

 

 

j

{

1, . . . , k

}

.

 

 

 

 

 

 

 

 

 

(6.10)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E:208a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.6. ПРИМЕНЕНИЕ ФОРМУЛ НЕЙМАНА К ИССЛЕДОВАНИЮ СПЕКТРА РАСШИРЕНИЙ 49

T:8.111

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

σ(Aes) ∩ {λj}jk=s+1 = (α, λs),

s {1, . . . , k − 1}.

Так как последовательностьE:204a j} не принадлежитE:207aлакуне оператора A. Поэтому

вместо равенств (6.4) имеют место неравенства (6.9). 2

L:114

Лемма 2.6.10. Пусть A замкнутый симметрический оператор в H с лакуной

 

 

 

 

 

 

J = (α, β), H0 подпространство в H è T = T C(H0), причем σ(T )

 

. Пусть

 

 

 

 

 

 

J

 

 

 

 

 

 

далее, Ae симметрическое расширение оператора A âèäà

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A = A

 

dom (A),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

˙

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.11)

 

E:209a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dom (A) = dom (A)+dom (T ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

 

 

 

 

e

 

 

 

 

 

 

 

 

H

 

 

 

e

 

 

 

 

 

 

 

e

 

 

 

 

 

 

A

è,

 

значит,

 

справедливы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

подпространство

 

 

 

0

приводит

 

оператор

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.12)

 

E:210a

 

 

 

 

разложения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H = H0 H,

 

 

 

A = T S,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e 1

 

 

 

 

 

 

 

 

 

 

J = (α, β)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в которых

 

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

 

с лакуной

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. В силу определения оператора A, подпространствоE:210aH0 приводит

 

 

 

 

 

 

 

 

 

Покажем, что J = (α, β) лакуна для S.

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A, òàê êàê T самосопряжен. Поэтому справедливо разложение (

6.12).

 

 

 

 

 

 

 

 

 

 

 

 

fe

 

 

dom (S), для которого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Допустим противное, т.е. найдется

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

kSfS − 2−1(α + β)fSk < 2−1(β − α)kfSk.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.13)

 

E:211a

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

S =

 

AE:211aT

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê f

 

 

dom (A), òî f

 

 

 

 

 

f

 

 

 

+ f

, ãäå f

 

 

dom (A) è f

 

 

 

 

dom (T ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fA = eS − fT

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

J получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда

 

 

f

 

 

 

. Èç

 

(6.13) и условия σ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

2

= kAe(fS−fT )−

α + β

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

−1

 

 

 

 

 

 

 

 

 

 

 

 

−1

 

 

 

2

 

 

 

 

kAfA−2

 

(α+β)fAk

 

 

2

 

(fS−fT )k

 

 

= k2(S−2

 

 

(α+β))fS2(T −2

 

(α+β))fT k2

k

Ak

 

 

k

 

 

 

 

 

 

 

Sk

 

k

 

 

 

 

 

 

 

 

 

 

 

T k

 

6

 

 

2

 

 

 

k

Sk

 

 

 

2

 

 

k

T k

 

 

 

2

 

=

 

(S

 

2−1

(α+β))f

 

 

 

2+ (T

 

 

2−1(α+β))f

 

 

2

 

 

 

β − α

 

 

 

 

f

 

 

 

2+

β − α

 

 

f

 

2 =

β − α

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Но это противоречит тому, что J = (α, β) лакуна для A. 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

T:114

Теорема 2.6.11 (обобщенная теорема Крейна). Пусть

 

 

 

 

 

замкнутый

 

 

 

 

 

 

 

симметрический оператор в H с лакуной

(α, β)

 

è n±(A) = ∞. Пусть, далее,

 

 

 

 

 

 

j}j=1

(α, β)

 

è

{nj}j=1

 

 

N {∞}. Тогда

 

существует

 

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

 

 

 

 

 

 

расширение A = A

 

 

Ext

 

 

такое, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eσp(Ae)

 

J = A

λj

 

 

 

 

 

dim ker(A

 

 

 

λj) = nj,

 

 

 

j

N

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

(6.14)

 

E:212a

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

{

 

 

 

}j=1

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

T:8.111

 

 

 

 

 

 

 

 

 

 

Доказательство. Построим как и в доказательстве теоремы

 

 

2.6.7

попарно-

 

ортогональную систему подпространств N0

 

N

λj

, ãäå

dim N0

= n

, j

N

. Пусть

j

 

 

j

j

 

 

 

 

 

_M

 

 

 

 

 

H00 =

j=1

Nj0 ,

H0 =

j=1

N0j = H00

è TJ0

= A H00

 

 

 

 

 

 

(6.15)

E:213a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ßñíî,÷òî T 0 ограниченный симметричный оператор в

H0

,

 

dom (T

J

) =

H0

, äëÿ

 

 

которого

J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σp(TJ ) = {λj}j=1, σ(TJ ) =

σp(TJ )

 

 

è

dim ker(TJ − λj) = nj,

 

 

j N

 

 

 

 

 

 

 

 

L:114

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

По лемме

 

2.6.10

расширение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

AJ = A (dom (A) + dom (TJ ))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(6.16)

E:214a

 

является симметрическим и допускает представление AJ = TJ

 

S,

S S è (α, β)

 

 

 

По теореме Фридрихса-Крейна существует

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

лакуна для S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S =

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

самосопряженное расширение

e

 

 

Тогда оператор

 

 

 

 

 

искомый.

 

 

 

 

 

(

α, β

)

 

(

)

 

 

 

 

e

оператора S, сохраняющего лакуну, то есть для которого

 

 

 

 

ρ

 

S .

 

 

 

 

 

 

 

 

 

 

AJ := TJ

LS

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

f

A

 

 

e

 

 

 

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

 

 

 

 

T:115

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

замкнутый

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с лакуной

 

 

J = (α, β), n±(A) = ∞ è R = R

C(H). Тогда существует самосопряженное

 

 

расширение A = A ExtA, для которого часть AEA (α, β)

оператора A унитарно

 

 

 

 

e e

RER (α, β) оператора R. e

e

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

эквивалентна части

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.7Оператор дифференцирования на конечном отрезке

Проиллюстрируем изложенную теорию на примере оператора дифференцирования на конечном интервале.

Пусть H = L2(−1, 1), è C0(−1, 1) линеал бесконечно дифференцируемых функций, имеющих компактный носитель в (−1, 1). Зададим на C0(−1, 1) оператор

P 0

du

 

 

 

(7.1)

 

 

(P 0u)(t) = −i

 

 

E:9.1

 

dt

 

 

 

Оператор P 0 плотно определен. Интегрируя по частям получаем

 

 

1

1

 

 

 

ZZ

 

(P 0u, v) =

 

i

u0(t)

 

dt =

 

 

 

 

dt = (u, P 0v)

v(t)

u(t)iv0

(t)

 

 

−1

−1

 

 

 

 

 

 

 

 

 

äëÿ âñåõ u, v C0(−1, 1). Значит P 0 симметричен.

 

 

EXE:9.1

Óïð. 2.7.1. Доказать, что P 0

не замкнут, но замыкаем.