Файл: Арсеньев А.А. Сингулярные потенциалы и резонансы.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 06.08.2024

Просмотров: 87

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

XGmO', у, t)

t

 

У, т) dxdy +

j dx j [Ум O') — У(-) 0)]<?м О,

/

О

 

 

 

Ут J У<-> О) <З.Л1 о .

У. Т) У-«*У.

 

(3.26>

+ 2 j

 

Оценим каждое слагаемое в правой части неравенства

(3.26).

В силу оценок леммы 1.6

 

 

 

t

У. т) dxdy < С(f,

t

:

 

Г dx Г У<-) О) GMО.

|У~!,) ^ dx j* У - ( х) х

о

 

6

 

 

х G0O', У, т) УхУг/ < /С (г", 1У - 1|9) j У- О) dx < оо.

(3.27)

Из интегрального уравнения для функции Грина t

Gm(-г, у, /) = Go (х, у, *- j* Ут J GqО, ^~ ■О X

л

X[Vt O ) - y - (z )],

Gm O, у, т)Уг

следует, что

Ям О, У, г1) = J JGoО, 2, / —T)[y^(z) —y-(z)]GM(z,r/,T)d2»

поэтому

<t

^dx j [Vt(z)~V-(z)]GM(z, y, x) dzdy = j Ям О, У, t)dxdy.

n

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

*

] j Ут j [Ум 0) —У- 0)1 Gm О, У, v) dxdy |< | |Ям О, У, ОI dxdy.

n

13.28Y

В силу оценки теоремы 1.1 правая часть этого неравенства ограничена сверху константой, не зависящей от М. Из оценок

(3.25)

— (3.28)

следует,

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

интегралов

J |Ум

О) II ф (*,

ty\dx

ограничена сверху числом,

не завися­

щим от М.

Но последовательность функций |Удг(х)ф(х, 7,) | есть мо­ нотонно возрастающая последовательность неотрицательных интегрируемых функций. Так как ф(х, А) =0 для почти всех х ей , то для почти всех последовательность

60


|VM(x)cp(x, Я,) I сходится к функции %{х, Я), из теоремы Беппо-Леви следует, что %{х, Я) ^ L l(RN). Теорема 3.7 дока­ зана.

Г л а в а

4. ПОСТРОЕНИЕ

СПЕКТРАЛЬНОГО РАЗЛОЖЕНИЯ

 

ОПЕРАТОРА ШРЕДИНГЕРА

 

 

В этой главе символом Е(Я, А)

обозначим спектральную

функцию оператора 1 А

 

 

 

 

 

 

(7)0(k) ~

j exp (ikx) / (x) dx,

 

 

преобразование Фурье функции f(x)

 

 

 

{/i> /2) =

j/i (XY /2 (x)dx— скалярное

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

в

L2.

— гильбертово пространство

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

со

ска­

лярным произведением

 

 

 

 

 

 

(К ).

Ш )

= £

«ip<-

 

 

 

 

 

c = i

 

 

 

В гл. 2 мы доказали (теорема (1.14)), что операторы G(t) образуют полугруппу слабо измеримых по t при ^>0, ограниченных самосопряженных операторов. Из теоремы [5, гл. 22; п. 31] следует, что

 

G(t) —

J еги d\E(Я, Я),

 

(4.1)

 

 

 

—С00

 

 

 

где соо<°° и Е{Я, Я) — разложение единицы

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

L2(RN\£l)

(.п о определению

оператор

Я совпадает на

L2(Rn\Q)

с оператором А0,

где А0 — инфинитезимальный

оператор полугруппы G(£)).

 

 

и используя

Сделав в (4.1)

замену переменных е~и = ц

инвариантность первого дифференциала, получим, что

 

0(0=

ехр(шо0

K^-ylog,.,

я).

(4.2)

 

j

о

Из формулы (4.2) в силу единственности спектральной функ­ ции следует, что при Х2><к\ справедливо равенство

£ (егМ , G(0) - Е

,

G(f)) = Е (Яа,Я) - Е (ЯЪЯ),

(t > 0),

 

 

 

(4.3)

1 В случае А —Н или A = G(t)

это же обозначение используем для функ­

ции £(Х, H)P{Q).

 

 

 

61


поэтому достаточно построить спектральное разложение опе­ ратора G (t) при некотором фиксированном ^>0.

§ 1. Исследование дискретного спектра

Пусть <Jd — множество точек дискретного спектра опера­ тора Н, т. е. множество тех точек Я, для которых существует нетривиальное решение уравнения

Яф = Яф,

ф£ ZA

(4.4) •

Следствием теорем 2.1 и 2.2 является Теорема 4.1.

1) Множество (—сю, 0) Пстй конечно. Для того чтобы функция ф(х, Я) и число Я е (—оо, 0) удовлетворяли равен­ ству (4.1), необходимо и достаточно выполнение при некото­ ром <?е[1, с»] равенства

Т (Я) ф = ф,

фЕ Lfl.

(4.5)

Уравнение (4.5) имеет при фиксированном Я лишь конечное число линейно-независимых решений, каждое из этих решений

принадлежит любому L5, l^ /7-^оо;

2) множество (0, «ОПст^ не более чем счетно; для того чтобы функция ф(х, Я) и число Яе(0, оо) удовлетворяли ра­ венству (4.'4), необходимо и достаточно выполнение при не-

котором <7с f —— j-, ooj равенства

Г+(Я)ф = ф.

(4.6)

Это уравнение при фиксированном Я>0 имеет лишь конечное число- линейно-независимых решений, каждое это решение принадлежит £°° и равно нулю вне множества Й2. Число то­ чек множества (0, оо)Пстс;, меньших Я (с учетом их кратно­ сти), удовлетворяет асимптотической оценке

 

N

 

N ( Я )= £ 1~ <

mesЙ2Я2

+ о(Я2),

(4 л )^ г (-^ + 1 )

V-CX

 

§ 2. Построение спектральной функции

Пусть и(х, k) — решение задачи рассеяния (2.1—2.3), {Я,} — собственные значения дискретного спектра оператора Я, {ф(х, Яг)} — соответствующие собственные функции.

Для любой функции f(x-)^L и k<={k, &2£Ё{Я*}} опреде­ лим функцию

62


 

 

(7) (ft> = J и (х,

А) / (я) dx.

 

 

 

(4.7)

Это определение корректно, так как по условию и(х,

 

Интегрирование фактически ведется по RN\Q.

 

 

Теорема 4.2.

— произвольная функция из L2 и fn(x) —‘

1)

Пусть f(x)

последовательность, сходящаяся в L2 к $(х).

Каждой функции

fn(x)

поставим в соответствии

по

формуле

(4.7) функцию

(fn) (к). Утверждается, что последовательность (/„)

(к) схо­

дится в L2 к некоторой

функции

(f){k),

причем

функция

(f)(к)

не зависит

от выбора

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

fn(x), а

определяется только функцией f (х);

может

 

быть вычислена

2)

функция Е(Х, Н)

при

 

 

по формулам

 

 

 

 

 

 

 

 

<Д, Е(К, Я )/а) =

(2л)-^

J и Ш ш)(к)йк+

£

(fS ikh

 

 

 

\k\*<\

 

 

 

 

Xi<X

(4.8)

 

 

 

 

 

 

 

 

 

(Е (к, Н) /) (х) = (2n)~N

J и* (х,

к) (J) (к) dk +

£

/ (ф (х, ?.,),

 

 

lfel2<X

 

 

 

х(.<х

(4.9)

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/г — (Ф (х, к(), / (х)>.

Интеграл в формуле (4.9) понимается в Следующем смысле:

пусть {f)n{k) — сходящаяся в L2 к функции (/) (ft) последо­ вательность функций, каждая из которых равна нулю в окре­ стности множества {к, ft2e{X*}}. Для каждого п интеграл

/„(* )= j и*(х, к) (7)„ (к) dk

lfcl=<X

существует как интеграл Лебега. Утверждается, что последо­ вательность 1п(х) сходится в Л2, причем предел ее зависит

только от If{k) и не зависит от выбора последовательности

(7)» (*);

3) преобразование

_ _N

/-* £ //= [(2я) 2 (Г)(кУ,

{/£}1 ,

=

/(*)>'

является взаимно-однозначным унитарным преобразованием про­ странства L2(Rn\Q) в ортогональную сумму пространств

Е2@1т, где т— мощность множества {Я,}. Обратное преобра­ зование дается формулой

63