ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 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