ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 06.08.2024
Просмотров: 74
Скачиваний: 0
х ( Я I 'gM ^х’ |
|
|
у>l) I dy]qlP' с1х)1/ч< |
|
< с '||фW|lp( j |£м(*, |
У, |
t) — g(x, |
у, t)\dxdyyq^O, |
М -> оо. |
Лемма 1.9 доказана. |
|
вытекает |
утверждение: если (gM— |
|
Из теоремы М. Рисса |
||||
— <?)->-О, при М-+оо |
в |
равномерной операторной |
топологии |
|
пространства |
и |
|
то (gM— g) ->0 в равно |
мерной операторной топологии пространства [Lp<T) -vL®(T>], где
1/р(т) = |
T/pi-f (1 — т)/р2; l/q(T) = |
T/q1 + |
( l — T)/qz, |
0 < т < 1 . |
||||||||
Теорема 1.3 |
вытекает из лемм |
1.8 и |
1.9 |
на основе этого |
||||||||
утверждения. |
Операторы gM и g вполне |
непрерывны в |
||||||||||
Теорема 1.4. |
||||||||||||
пространстве (Lp-^L®, |
1<р^оо, |
1^р<оо] |
и принадлежат |
|||||||||
[Lp-+Li, 1 ^psgtx), |
l^ p ^ oo]. |
|
|
|
|
|
как опера |
|||||
Лемма 1.10. |
Оператор g вполне непрерывен |
|||||||||||
тор [L^-vL®, 1^р<оо]. |
леммы |
1.10. |
Рассмотрим |
множество. |
||||||||
Д о к а з а т е л ь с т в о |
||||||||||||
{/, /=<£Гф, |
N L < .1 } |
и докажем, |
что оно компактно в метри |
|||||||||
ке L®. |
Воспользуемся |
признаком |
компактности |
М. |
Рисса. |
|||||||
Так как при ||ф|1оо^1 |
|
|
|
|
|
|
|
|
||||
|
|
|
1(£ф(*)1< jl£(*. |
У, f)\dy, |
|
|
(1.42) |
|||||
то в силу |
оценки |
(2) |
теоремы |
|
1.1 |
множество {/, |
f=gq>, |
|||||
||ф||„<.1} ограничено равномерно по ср в метрике L®, в силу |
||||||||||||
неравенства (1.42) равномерно по <ре{ср; ||ср|1оо<^.1} |
|
|||||||||||
Пт |
Г |
(£Ф) (*)|®сД< Нт |
|
[ J |g(*> У, |
t)\ dyjqdx |
0, |
||||||
|
|
|
|
|
A-+OQ\хJ\^А |
|
|
|
|
|
|
Л —>-оо.
Нам осталось доказать, что равномерно по ф выполнено ра венство
Пт |(£ф) (х + Щ— (&ф) (х) |9 ->.0, |
|h\-». 0, |
|||
|Л1-»0 |
|
|
|
|
а это вытекает из неравенства |
|
|
|
|
К е т ) (•* + *) — ( £ ф ) ( * ) 1 ? < | [ y g ( x + |
h, |
у, |
0 — |
|
— ё ( х , у, 0 1 ф Ы 1^ |
] ‘7^ < С | | ф 1|оОJ J | g ( * + |
A, |
у, 0 ' |
|
— g(x, |
У, t)\dxdy->-0, |/г| —>•0. |
|
|
|
Лемма 1.10 доказана. |
|
|
|
|
28
Лемма 1.10. Оператор g вполне непрерывен как опера тор [Lp-^-L1, 1<р<;°о].
Д о к а з а т е л ь с т в о . Пусть cpeL?. Тогда
1 е т Ь < Щ | * (* . У’ 01 \<t(y)\dy]dx = J |ф(s/)I X
X [ 11g (X, у, t) |d*] dy < II ф (jc) |p ( J [ j |g (X, y, t) |Л/]р' d*)1/p'.
Следовательно, множество {f; f=g(p, ИфИр<^1} ограничено в L1 равномерно по ср. Оценим интегралы
1) j I С?ф) (*)|d*‘< |
|
|
0 IIФ(у) I dyj dx < |
|||||||
|
|
|
|
\А>А |
|
|
|
|
|
|
<||Ф1(Я |
J |
|g(x, г/, 0 1 ^ ]Р'Ф )1/Р'->0 . |
|
|||||||
|
|
' |*|>Л |
|
|
|
|
|
(1.43) |
||
|
|
|
|
|
|
|
|
|
|
|
2) J |(Яф) (х + Л) — (£ф) (х) |Л < 11Ф (у) |[ |g(х + h, у, t)— |
||||||||||
— g(x, у, |
f)|dxjd0 < № l „ ( J[ J|g(jc + |
/i, |
у, t) — |
|||||||
~g(x, |
y, |
t)\dxY dy}4"’ <C\<t%^\g(x + h, y, |
t) — |
|||||||
|
—g{x,'y,t)\dxdyjlp'-+Q, |
]/zj -»0. |
(1.44) |
|||||||
Из оценок |
(1.43) |
и |
(1.44) вытекает |
вполне |
непрерывность |
|||||
оператора g в метрике [Lp~y-L\ 1 <р<;оо]. |
|
|
|
|||||||
Из лемм 1.43 и 1.44 вытекает |[3, стр. 65]. |
|
|
|
|||||||
Следствие 1. |
Оператор g |
вполне непрерывен как опера |
||||||||
тор |
|
|
|
|
|
|
|
|
|
|
• [ L p - * L i , |
1< р < о о , |
1< ^ < о о , |
р > р ] . |
|
||||||
Из теоремы Шаудера следует, что сопряженный |
оператор |
|||||||||
g* вполне непрерывен как оператор |
|
|
|
|
||||||
[L4'-+-Lp', |
1 < р < о о , |
1 < р < о о , |
|
p>q, |
|
|||||
|
|
У' = |
<7/(<7— 1). |
Р' = РИР — 1)1- |
|
|
||||
Так как в силу симметрии функции g(x, у, t) |
по х и у спра |
|||||||||
ведливо равенство |
|
|
|
|
|
|
|
|||
{/; |
/ = £Ф> |
1|ф||Р< 1 } = |
{/; |
f = g*Ф. |
11ф|Р<1}> |
|||||
то отсюда |
и следует утверждение теоремы. |
|
(Чтобы полу |
чить случай p— q, нужно еще раз проинтерполировать свой
ство полной непрерывности.) |
Включение g е [Ьр-+Ьч, |
1<^р^оо, l-^psgrioo] тривиально |
вытекает из оценок теоре |
мы 1.1. |
|
29
Пусть Lza — гильбертово пространство со скалярным произведением
{/. g)a = J /* (*) g (X) eXP (— a I* I ) dx'
a Cp,a — операторы класса Cv (см. i[4]) |
в L2a. |
некоторых |
|||
Теорема Г.5. |
Если |
К(х)еЛ(о, |
R) и при |
||
а>0, 6>0, С < оо потенциал V(х) удовлетворяет оценке |
|||||
|V (х) |<Сехр (— (а + б) |х|), \x\>R, |
|
|
|||
то оператор g ^ C i,a. |
|
|
умножения |
||
Д ок а з а т е л ь с т в о . Пусть В — оператор |
|||||
на ехр(—&|л:|). Справедливо очевидное равенство |
|
||||
g (21) = |
G0(21) - G(21) = Gl (t) - G2 (0 = . |
|
|||
= {[G0 (t) - G (01 B->} {BG0(0} + {G (0 В} {Б-* [G0 (0 - |
G (01). |
||||
|
|
|
|
|
(1-45) |
Докажем, что каждый |
из операторов в фигурных |
скобках |
|||
принадлежит С2,а- |
|
|
|
|
|
Ядро оператора G (t) В удовлетворяет оценке |
|
|
|||
|G(t)B(x, y)\<C(t, |
||V~|?) exp(— (х — у)2/At— b\y\), |
||||
поэтому |
|
|
|
|
|
1 1G (t) В {x, у) I2 exp (— a |л;|+ a \у \) dx dy <
< C j exp (— (x — y)2l4t -\-a\x — y\— 2b\y\) dxdy < oo,
откуда [4, стр. 169] и следует включение G(t) В^.С2,а. Совер шенно аналогично доказывается, что BG0(£) е С 2.а.
Для доказательства включения g(t)B~l^ C 2ia нам нужно показать, что
/ = 11g (х, у, t) |2 exp (2Ь|у |-f 2a |x |— a \x\— a \у \) dx dy < oo.
Из оценок теоремы 1.1 мы имеем
I < C (t, |УI ) f \g(x, у, |
t) |exp (2b\y\) [supexp ( — (x — y)2/At + |
J |
X, у |
-\-a\x— t/|)]di/<C1[^l + J exp ( — (x — у)2(1 — s),/4f +
+ 2b\y\)\x — y\2- N\Vm0(x) |dxdy] < o o ,
если только число b выбрано так, что 26<а+б. Включение B~lg(t) eC 2,a доказывается абсолютно аналогично. Следо вательно, g ’(2t)^Ciia. Так как t — любое, то теорема дока зана.
30
Теорема 1.6. |
Пусть |
выполнены условия1 теоремы |
1.5, |
|||
причем б>2а, и пусть К — интегральный |
оператор, |
ядро |
||||
которого К(х, у) |
удовлетворяет оценке |
|
|
|
||
\К(х, t/) I< Сехр Э ( |л:|+ |
|#|), |
4р < а . |
|
|||
Тогда оператор Kg^Ciia. |
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Будем считать, |
что |
в формуле |
|||
(1.45) В — это оператор |
умножения на ехр(—Ъ\х\), причем |
|||||
a<b<2b<8. Достаточно |
доказать |
включения |
KgB~l^ C 2a, |
|||
KGB^C2ia. |
|
|
|
|
|
|
Оператор KGB — это, интегральный оператор с ядром
I KGB{x, у)\< С j exp (Р |л:|— (х — z)2/4t + Р |г |— b\y\)dz,
поэтому
j\KGB(x, у) |2'ехр (— а\х\ + a\y\)dxdy
<С J ехр (2р |х |— а|х |) [J ехр (— (х — z)2/4t -|-
+ Р |z — ^ |) dz j2 dx < оо,
что и доказывает включение KGB^C2a.
В силу теоремы 1.1 справедлива оценка
1 1g(y,z, t)\dz <С Сехр (— (а +6)|г/|),
поэтому
j \KgB~1(х, у) \2exp{— a\x\ + a\y\)dxdy <
< С ' £ ехр(2р |х| — a\x\ + 2b\y\ + а\у\) х
X [j ехр (Р |z |) g (z, у, t) dzj dxdy <
<C " j [j exp (2p |z [) |g1(z, y, t)\dz]x
X [j |g(z', y, 0U2'Jexp[(26 + a)|r/|]d^<
<C'"jexp(2p|z|) [J|g(z, y, t)\dy] d z< oo
и KgB~l 6 Cs,a. Теорема доказана.
Теорема 1.7. |
Если V(x)^A(a, R), то оператор g ^ C h0, |
т. е. ядерный в L2 |
(RN) . |
Д о к а з а т е л ь с т в о . Воспользуемся равенством (1.45), в котором положим оператор В, равным оператору умноже-
31