Материал: Функциональный анализ

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

226 ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ

где

(О _

V '

{Aien, ет)

 

 

вп —2л

хп-х т т’

 

 

 

т

 

 

 

M i ет>gfe) (A\Ck, Cn) p

 

 

т k (Xn Xk) (Xn

Хщ)

m

1 \ У

\(Aiem em)\2

(A\en, en) (Aiem>en)

 

(Xn Xm)2

2 e"Zj

( Я „ - Я т ) 2 '

Эти формулы получили в физике название формул теории

возмущений.

Если оператор А имеет участки непрерывного спектра, то имеются аналогичные формулы, в которые, кроме сумм, входят еще и интегралы.

В случае /n-кратного собственного числа для получения ко­ эффициентов при степенях е приходится находить собственные функции и собственные числа га-мерных операторов.

Задачи теории возмущений являются частным случаем более общей задачи изучения поведения функции /(Л(е)) при измене­ нии е, где /(Я) — заданная функция. Функция £\(е) есть как раз функция такого типа (см. п. 2). Для разложения по степеням е таких функций естественно применить формулу Тейлора, пред­

полагая функции /(Я)

и А (г)

достаточно гладкими.

Тогда

/(Л(е)) = /(Л) +

е df(A(e))

+

£ 2 d*f (А (8))

 

+

 

de

е=0

de2

8=0

 

Для производных функций от операторов по параметру имеются специальные формулы. Здесь приводится лишь форму­ ла для первой производной, которая справедлива в предположе­ нии, что оператор А является оператором Гильберта — Шмидта (см. § 2, п. 7).

Если JC=

2 C A , то

 

 

 

k

 

 

df(A(e))

f (Ям) -

f ( * * ) ^ dA j

^

de

Я/71

%k

8=0

где при m — k предполагается, что

f(Xm)~f(Xk)

Ят —Xk

= Пя*)-

Ли т е р а т у р а : [50], [160].

2.Конечномерные, вполне непрерывные и ограниченные воз­

мущения. Пусть А и В самосопряженные операторы, D{A)

=

= D (В)

и V — В А — конечномерный

оператор

ранга

г

(см. § 2, п. 6). Если X— собственное значение кратности а ^

оо

для Л,

то для В точка Я — собственное значение кратности

b,

а

+

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

собственные

значения

§ 5. ТЕОРИЯ ВОЗМУЩЕНИЙ

227

бесконечной кратности сохраняются при конечномерных возму­

щениях. Если Д — какой-либо

интервал

и

рА = d\mEA(A)H,

рв = dimЕа (В)Н, т о рА г ^

рв ^ рл +

г.

В частности, если

спектр А в интервале Д состоит из собственных значений конеч­ ной суммарной кратности рА) то спектр В в А состоит из соб­

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

и рА г ^ рв ^

< Ра + г.

могут произойти,

Более существенные изменения в спектре

если возмущение V — В А вполне непрерывно. Однако при вполне непрерывных возмущениях не меняется предельный спектр самосопряженного оператора. В частности, если интер­ вал Д не содержит точек спектра Л, то спектр В в А может быть лишь дискретным.

Все приведенные выше утверждения сохраняют силу и при более общих предположениях. Достаточно, например, чтобы конечномерным (соответственно вполне непрерывным) был не оператор В — Л, а оператор — г/)-1 — (Л — г/)-1, где г — ре­ гулярная точка для Л и В. Следует заметить, что ранг операто­ ра — г/)-1— (Л — г/)-1 не превосходит числа т , если Л и В — различные самосопряженные расширения одного и того же

симметрического оператора с конечными индексами

дефекта

(т, т ) .

V = В — Л вполне

непрерывен и

V > 0.

Пусть оператор

Если в интервале Д

нет точек спектра оператора Л, то лежащие

в Д собственные значения оператора В

не

могут скапливаться

к правому концу интервала Д.

 

 

 

Пусть оператор V = В — Л ограничен и

 

 

 

а | | * | | 2 < - ( Ю с , х ) < Р | | * | Р

 

 

для любых х е Я.

 

 

 

 

Если Д = (Ао —

б, Ао Л- б) и Д = (Ао — б

Ао А~ б

р), то

при любых Ао и б >

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

 

dim Е% (В) Н > dim ЕА (А)Н.

В частности, если Ао принадлежит предельному спектру опера­ тора Л, то сегмент [А0 + а, Ао + Р] содержит хотя бы одну точку предельного спектра оператора В.

Если

|| V|| =

о, то можно

положить а = —о, р =

v. Далее,

если интервалы

(Ао — б — d, Ао — б),

(Ао

Ао d Аг d) сво­

бодны от спектра оператора А и d >

2v, то

 

 

 

 

dim£~ (B)H = dimEA (А) Н.

 

 

Пусть

Ао— изолированное

собственное значение

кратности

Р < оо

для оператора Л , причем

в интервале

(Ао —

d, Ао+ d)

нет других точек спектра Л и d >

2v. Из предыдущего утверж­

дения вытекает, что в сегменте [Ао v, А0 + v] спектр В состоит

228

ГЛ. IV. ОПЕРАТОРЫ

В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ

из

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

суммарная кратность которых рав­

на р.

 

Ли т е р а т у р а : [1], [50], [158].

3.Возмущения полуограниченных операторов. Для полуограниченных самосопряженных операторов утверждения теории возмущений удобно формулировать в терминах соответствую­ щих квадратичных форм (определения и обозначения см. в § 6,

п.2). Пусть А и В — полуограниченные снизу самосопряжен­ ные операторы; А[х, х\ В[х, х] — соответствующие квадратичные формы с областями определения D[A] и D[B].

Говорят, что А > В, е£ли D[A] си D[B] и А[х, х] ^ В[х, х] для любых х е D[A].

Если А >

В и спектр В в интервале (— оо, р) — дискретный

^

оо), то спектр А в (— оо, р) также дискретный. Лежа­

щие в

(— оо,

р) собственные значения операторов А и В, зану­

мерованные

(с учетом кратности) в порядке возрастания, удо­

влетворяют условиям Хп{В) ^ Хп{Л).

Пусть оператор А положителен. Множество D[A], наделенное скалярным произведением

{%>У}А=== А [X, у\ “}” (X, у),

является полным гильбертовым пространством. Если на D[A] задана некоторая вещественная квадратичная форма V[x, х] и

W[x, x]\< C \xfA9

то в D[A] действует ограниченный самосопряженный оператор Q такой, что

]/ [ху х] = (,Qx, х)д.

Форма V[xyх] называется вполне непрерывной в D[A\ коль ско­ ро вполне непрерывен в D [А] соответствующий оператор Q.

Если форма V[x, х] вполне непрерывна в D[A] и С [Ху х] = А [Ху х] + V [Ху х],

то форма С [х, х] с областью определения D [C]=D [А] полуограничена снизу и замкнута. Связанный с С[х, х] самосопряженный оператор С имеет тот же предельный спектр, что и оператор

А.В частности, отрицательный спектр оператора С дискретен. В случае, когда «возмущающая» форма отрицательна, по­

следнее утверждение может быть дополнено. Пусть V[x, х] ^ 0 и для любых а > 0 форма

С [Ху х] = А [х} х] + aV [Ху х] (XGE D [Л]) полуограничена снизу, замкнута и отрицательный спектр опера­

тора С

дискретен. Тогда форма V[xyх] вполне непрерывна

в D [ A ] y

и, .следовательно, предельный спектр у операторов А и

С один и тот же.

 

§ 5. ТЕОРИЯ ВОЗМУЩЕНИЙ

229

Если А[х, х] > 0 при л; Ф 0, то D[A\ является

предгильберто­

вым пространством

относительно

скалярного

произведения

А [.х, у\. Пополнение

D [А] по этому

скалярному

произведению

требует выхода из основного пространства Я. Полученное при пополнении гильбертово пространство обозначается через НА.

Если вещественная форма V[x, х] вполне непрерывна в НА, то отрицательный спектр оператора С, отвечающего форме

С [Ху х] = А [Ху х] + V [х, х] (X G D [Л]),

состоит из собственных значений, суммарная кратность которых конечна.

Л и т е р а т у р а : [154], [158].

4. Абсолютно непрерывный спектр. Волновые операторы.

В п. 2 отмечалось, что вполне непрерывные возмущения самосо­ пряженных операторов сохраняют предельный спектр. При этом без дополнительных предположений нельзя утверждать, что со­ храняются отдельные категории точек спектра, образующих пре­ дельный спектр (непрерывный спектр, собственные значения бесконечной кратности и т. д.). Более того, спектр каждого са­ мосопряженного оператора можно превратить в чисто точечный добавлением вполне непрерывного самосопряженного оператора, имеющего сколь угодно малую норму. Однако абсолютно непре­

рывный спектр (см. п. 7

§ 3)

обладает устойчивостью относи­

тельно самосопряженных ядерных (см. п.

7 § 2) возмущений.

Это вытекает из

следующей

т е о р е м ы

Р о з е н б л ю м а —

Като. Пусть V =

В А ядерный оператор, На(А) и На(В)—

абсолютные непрерывные подпространства операторов А и В,

РА проектор

на На(А). Тогда

существуют сильные пределы

(волновые

операторы)

iim eitBe~itAPA.

 

W± = W±(By А )=

 

 

 

t~>±О

Операторы

изометрически отображают На(А) на Яа(В),

причем

 

W±A = BW±.

 

 

Таким образом, волновые операторы устанавливают унитар­ ную эквивалентность абсолютно непрерывных частей операторов А и В. Отсюда, в частности, следует совпадение абсолютно не­ прерывных спектров А и В.

Идея построения волновых операторов и их использования в теории воз­ мущений на непрерывном спектре возникла в квантовой механике при изуче­ нии так называемых задач рассеяния. По поводу физического смысла вол­ новых операторов см. § 4 гл. IX.

Условие ядерности оператора В—А в формулировке теоремы Розенблюма — Като можно заменить более общими условиями, что существенно для приложений. Достаточно, например, чтобы

230

ГЛ, IV, ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ

 

 

 

ядерным

был оператор ' zl)~l—(4 — zl)~l

при каком-либо

целом / >

0 и lmz=£0.

Если 4 > 0

и В > 0, то можно

в этом

условии положить z =

—1; тогда / >

0 — не обязательно целое

число.

 

 

 

достаточно также потребовать,

чтобы

При D(B) = D(A)

ядерным был оператор V{A zl)~l.

 

 

 

 

 

Большое число достаточных признаков, обеспечивающих справедливость

утверждений

теоремы Розенблюма — Като,

содержится

в так

называемом

принципе инвариантности волновых операторов.

 

интервалов

Пусть

А — совокупность

конечного

числа непересекающихся

(ak,bk), ak <

bk ^

flft+i, k — 1,

... , т

(не

исключаются

случаи

а{ =

—оо,

Ьт — +оо).

Пусть

функция

ф(Я)

вещественна и внутри

каждого из

интер­

валов (ahtbk) дважды непрерывно дифференцируема, причем ср'(Я)>0. Оче­ видно, существуют пределы (конечные или бесконечные) ак = Ф(яь + 0), Ьк =

= Ф (^а— 0).

Предполагается,

что интервалы (а

bk) попарно

не

пересе­

каются. Если

ак =

—оо или bk =

то соответствующий конец ак или Ьк

интервала (ак, bh)

называется

особым

для функции

ф(Я). Ясно,

что

не мо­

жет быть более одного левого и одного правого

особого конца. Функция ф(Я)

с перечисленными свойствами здесь называется

допустимой для пары

опера­

торов Л и В, если их спектры содержатся в замыкании множества А,

а соб­

ственные значения не совпадают с особыми концами.

ф(Я) является допу­

П р и н ц и п

и н в а р и а н т н о с т и . Пусть

функция

стимой для пары

операторов А и В и пусть

ядерным

является оператор

( ф ( Л ) - г/ Г 1- ( ф ( В ) - г / Г 1.

Тогда для пары Л, В выполнены утверждения теоремы Розенблюма — Като, причем W±(B, Л )= №±(ф(£), ф(Л)).

Важным понятием для теории возмущений на непрерывном спектре является так называемый оператор рассеяния (S-опера­ тор), определяемый для пары 4, В формулой

S= W\W -.

Вусловиях теоремы Розенблюма — Като (или ее обобщений, указанных выше) S-оператор существует, унитарен в На{А) и перестановочен с оператором А.

Сведения о квантово-механическом смысле S-оператора и о его построении в важных конкретных случаях приведены

вгл. IX.

Ли т е р а т у р а : [1], [65], [155], [156].

5.Абсолютно непрерывный спектр. Гладкие возмущения.

Другой подход к теории возмущений на непрерывном спектре основан на изучении модельных задач в конкретных функцио­ нальных пространствах. Наиболее удобна модель, где невозму­ щенный оператор есть оператор умножения на независимую пе­ ременную в пространстве L2, а возмущение есть интегральный оператор с достаточно гладким ядром. Этими предположениями

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

Источник: https://studfile.net/preview/19992813/

Смотрите также: