
Методичка ДЕРКАЧА
.pdf
|
|
|
|
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¯( Nz¯). |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
только тогда, когда V 0 |
|
|
|
e |
|
|
|
|
Nz íà Nz¯. |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
изометрия из |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
Доказательство. Пусть 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 |
является изометрическим расширением оператора |
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
z¯ |
|
z¯ |
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|

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¯ = Nz¯ V 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 |
â Nz¯, такая что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
˙ |
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, |
|
|
|||||||||
|
следует, что Nz¯(A) = Nz¯e 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 |
) = n−0 |
è 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 |
|
|
(α+β))fS−2(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 |
не замкнут, но замыкаем. |