ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 06.08.2024
Просмотров: 95
Скачиваний: 0
ФЙ;^) (*, у, t, х (т)) = exp [— t j |
(21Л (x (т) — xx (1)) + |
|||||
|
|
|
|
0 |
|
|
|
|
+ x + (y — x)x)d%\, |
(1.10) |
|||
фк(п) (x, У, t, x(x)) = exp p J vV(n) (2Vt |
(x(x) — xx{l)) + |
|||||
|
|
|
|
0 |
|
|
|
|
+ |
x + (y — x)x)dxj, |
|
||
|
Фл {x, у, |
t, x (x)) = |
cp<+>(r0 ФН } = |
|||
= |
exp [ — t j |
(2 V i |
(x (x ) — xx(l)) + |
x + (y — x) T )d x j, |
||
|
0 |
|
|
|
|
|
|
(o„ [X, y , f ) |
= 8 {ф „ |
(X, y, t, x (г ))}. |
|||
Лемма 1.6. Если V(x)^A{a, R), то |
|
|||||
1) |
при любых |
фиксированных х, y^Rw и t^S) почти |
всюду по мере Винера существует предел
Ф (х, у, t, х (т)) = Игл ф„ (х, у, t, х (г)) =
П—>оо
= ф(+) (X, уЛ, *(1 )) ф<_) (х, у, t,x(x)),
который не зависит от выбора последовательностей М\{п)
иМ2(п)\
2)функционал ф(х, у, t, х(т)) интегрируем по мере
Винера с любой степенью д е [ 1, о о ), причем
|
8 { |ф — ф„|р}->-0, п— оо; |
|
|
|
3) |
рассматриваемый |
как функция х, y^Rn и £>0 |
ин |
|
теграл со (л:, у, t) = &{y{x, |
у, t, я(т))} есть измеримая |
функ |
||
ция и |
на произведении |
пространств Rn<S)Rn &)[0, £] |
и |
по |
каждой |
переменной в отдельности при фиксированных |
ос |
||
тальных; |
|
|
|
|
4) |
каковы бы ни были точки х, y^RN и t^O, сущест |
|||
вует предел |
|
|
|
Нт юп (х, у, t) = а (х, у, t),
П—юо
причем функции и и мп удовлетворяют оценке
0 < w n(x,y,t)<C(t,\\V<-Hx)\\q),
0 <*>(*, y,t)<C (t,\W ^ М У ,
14
где величина С (t, ||V<-> (х) |q) |
зависит только от t и |К<-> (х) |? |
|
и конечна при всех ^ 6 £0, с») |
и ||V<-) (х)||?< о о ; |
|
б) функция ш (х, у, t) |
симметрична по х и у: |
|
со (х, у, t) = ш {у, х, t). |
||
Д о к а з а т е л ь с т в о . |
Первое утверждение леммы выте |
|
кает из формулы |
|
|
Ф„(*, у, |
*,х(т)) = Ф<+>п) ср(-)(п) |
и существования почти всюду предела у функционалов ф}+|п) и фЬ-)(П). Второе утверждение, следует из неравенства Минковского
£ {| Ф<+) фН - Ф(+)(П) ФМ Д) \ру/р <
< £ { 1 Ф(- } \2<рУ /2р S {| Ф(+> - фЖп)|*ру/*р +
+ § {| Ф(+> \2рУ12р § {Iф<-> - Ф^}п)l2"}1^ -» 0, п->оо,
и лемм 1.4, 1.5. Остальные утверждения леммы 1.6 есть оче видные следствия лемм 1.4 и 1.5.
Пусть Gn(x, у, t) — функция Грина задачи Коши урав нения теплопроводности. Справедливо равенство
Gn (х, у, t) = G0(х, у, t) co„ (х, у, t),
где функция (о„(х, у, t) вычисляется по формулам (1.10), и из леммы 1.6 вытекает
Следствие. Каковы бы ни были точки х, y^Rm t > 0, суще ствует предел
G(х, у, t) = lim Gn(х, у, t) = G0 (х, у, t) со (х, у, t).
|
П->оо |
|
|
|
Этот предел не |
зависит от |
выбора |
последовательностей |
|
Mi{ri) и М2(п), |
а функция со(х, у, t) обладает |
свойствами, |
||
описанными в пунктах 3—5 леммы 1.6. |
|
|
||
В дальнейшем будет удобно взять |
|
|
||
|
IM signl/W , \V{x)\>M, |
|
||
GM(x , у , t) = G0(x, y, t) i |
1 |
_ |
(x (t) — |
|
|exp [ — t j |
VM{2\ft |
|||
|
|
0 |
|
|
— тх(1) ) + x + ( y — x) t ) cIt J}.
Так как предел функции Gn(x, у, t) не зависит от выбора последовательностей М\{п), М2{п), то справедливо равен ство
15
Iim GM(x, у, t) = G(x, y,t). |
П.11) |
|
M-*00 |
v |
1 |
Пусть G(x, y, t) определена как правая часть |
равенства |
|
( 1. 11) , |
|
|
g{x, у, t) = G0 (х, у, t) — G(x, у, t) = G0(x, у, t) (1 — со (x, у, t)),' gM (x, y, t) = G0(x, y, t) — GM(x, y, t) =
='G0(x, y, t) (1 — сод, (x, y, t)).
(U2)
§ 3. Функции g(x, у ,t) И gM (.x, y, t)
Пусть функция
V (x) 6 A (a, R), V+ (x) = max (V(x), 0);
(x) = — min {V (x), 0}, Q = (x; |V (x) j = oo}.
Тогда |
|
|
|
|
|
|
|
|
|
Q = Q(+) UQ(~>, |
|
|
|
|
|
||
где |
|
|
|
|
|
|
|
|
Q(+) = {x; E+ (x) = o o ), Q(-> = {x; E<-> (x) = |
+ эо ). |
|
||||||
Так как Q±= П ^м, |
гДе |
— {x, Vm(x) = M}, |
и в силу усло- |
|||||
М>0 |
|
|
|
|
и |
замкнуто, |
то |
|
вий A (a, R) каждое множество &м ограничено |
||||||||
множество Q ограничено и замкнуто. |
условия |
A (a, R) |
и |
|||||
Теорема 1.1. |
Если |
выполнены |
||||||
У<->(х) = —min{E(x)0}, то |
функция g(x, у, t) |
удовлетворяет |
||||||
следующим оценкам: • |
|
|
|
|
|
|
|
|
1) — С (t, ||И-) (х) |?) G0(х, у, t ) < g |
(х, у, t) < |
G0(х, у, t), |
|
|||||
x,ytRN, t> 0 , |
q>0,bN. |
|
|
|
|
|||
Величина C(t, IIE<~>(x)||9) |
зависит только от t и |ЦЛ- >(х)|]9 |
и |
||||||
конечна при всех t^.О, ||1А_>(х) ||5<оо; |
|
|
1), |
выполне |
||||
2) каково бы ни было число Ro~>R, е е (0, |
||||||||
но неравенство |
|
|
|
|
|
|
|
|
ГI g (X, у, t)\dy<£ Сг (t, I |
х||9, R, е sup |Е (х) |) |
X |
|
|||||
J |
|
|
|
\x\>R0 |
|
|
|
|
X ехр(— i - ^ p ) + |
__ 41_ |
|
|
|Ум0{y)\dy |
|
|||
\х— у\N- 2 |
|
|
||||||
|
|
|
|
|
|
М0= sup |V(х) |, х£Я; 1д:|Жо
16
3) |
для любой функции ср (х) 6 1 |
“ и х е {х, |
р (х, Q) > б > 0} |
|
|у* [g (х, у, t) ср (у) dy < Сг (t, | |
(х) ||,, |
Д, е, sup |
|V(х)|б х |
|
J |
|
|
Р(Л,£2)?6 |
|
|
|
|
X |
ехр ( — |
r |
u | ,) + |
|
|
|
||
|
exp |
|
|
|
|
|
о |
IVm0(у) I dy |
II ф {у) ||оо» |
|
||
|
|
|
|
|
|
|
|
|||||
|
|
\Х— у iN—l |
|
|
|
|
|
|||||
|
|
|
|
|
М0= |
sup |
|У(х)|; |
|
|
|
||
|
|
|
|
|
|
|
р(лг,Й)^б |
|
|
|
|
|
4) |
любая |
функция Цм{х, |
у, t) удовлетворяет |
оценкам |
||||||||
1—3 с теми же константами, что и g{x, у, t). |
|
|
|
|||||||||
Д о к а з а т е л ь с т в о . |
Оценка |
(1) является тривиальным |
||||||||||
следствием формулы (1.11) и оценки (4) леммы 1.6. Дока |
||||||||||||
жем оценки (2) и (5). |
|
|
|
доказать |
лишь |
для |
||||||
Оценку |
(2) |
|
|
достаточно |
|
|||||||
хе{х , |
|хj <i?0} |
где Ro — достаточно велико, так |
как при |
|||||||||
хе{х , |
она является следствием оценки (1). |
|
||||||||||
Пусть Si — сфера, расположенная на |
положительном |
|||||||||||
расстоянии т]>0 |
от множества |
Q, Si — концентричная ей |
||||||||||
сфера, расположенная на расстоянии ^/2 от множества Q, и |
||||||||||||
пусть £>i и D2 ■— открытые множества в Rn, |
несодержащие |
|||||||||||
множества iQ, границей которых служат сферы Si и S2, при |
||||||||||||
чем D2^>Dь Множество D\ может, вообще |
говоря, |
содер |
||||||||||
жать бесконечно удаленные точки. |
|
функция. |
, |
|||||||||
Пусть ср (у) непрерывная ограниченная |
Рас |
|||||||||||
смотрим функцию |
|
|
|
|
|
|
|
|
|
|
||
|
|
фм(х, 0 = | Ом (х', у, t)'ф (у) dy. |
|
|
|
|||||||
Так как Q[\D2= 0 , |
то |
|V(х) |фМ 0<°о, x^D 2, и |
при "всех |
|||||||||
М>М0 функция фм(^, |
t) |
есть решение краевой задачи |
||||||||||
|
- ^ |
- |
= |
ЛфМ- У ( х ) ФЛ1, t > 0, x 6 D 2, |
|
|
||||||
|
фм|<=о= ф (*), х 6 Г>2, |
|
|
|
|
(U3) |
||||||
|
фм{х, t) = |
j |
GM{х , у, t) ф (у) dy, х 6 dD2. |
|
|
2 А. А. Арсеньев
Функцию срдУ (х, t) возьмем равной решению задачи Коши
дф У |
m |
|
|
|
|
dt |
— ДфУ = — Vm„ (х) фд, (х, t), Л'6 Rm, t > О, |
(1.15) |
|||
М) |
|
|
|
|
|
фм {х, + 0) = ф (х), |
|
|
|||
а функцию фУ (х, |
t) — решению краевой задачи |
|
|||
|
»■ |
|
|
|
|
5фУ |
(2) |
|
|
|
|
dt — ДфУ = 0, |
|
|
|||
фУ (х, |
0 |*est = |
J GM (х, у, t) ф (у) dy — срУ (х, t) = <DM(x, t), |
|||
фУ (х, |
+ 0) = |
0. |
|
|
(1.16) |
|
|
|
|
|
|
Функция фУ (х, |
0 |
вычисляется, как известно, по формуле |
|||
фм (х, 0 ~ j* G0 (х, у, ^)ф (у) dy |
t |
т) X |
|||
^ dx j* Gq(x, у у t |
|||||
|
|
|
X Vm„(у) фм (г/, |
т) dy. |
(1-17) |
Из леммы 1.6 (следствие) вытекает, что последовательность
фунций фдг(х, t) в каждой точке x<^RM, t> 0 сходится при М—>~оо к функции
ф(*, 0 = J G (*> У- О Ф (*/) dy,
причем существует не |
зависящая от М константа С < оо, |
удовлетворяющая неравенству |
|
sup 1флг(а:, О|< |
IIФ(«/)И» [Gm (x, у, zJ)dy<C<oo. |
*е«лг,о<т<< |
J |
Из формулы (1.17) следует, что при ^>0, уИ- voo функ
ции фУ (х, t) сходятся равномерно по х на каждом компак те к функции
t
ф(1)(*> t) = ^G0(x, у, t) ф (у) dy— ^dx^G0(x, у, t — x )x
|
|
|
b |
|
|
X Vm0(У) ф (У, |
-г) dy, |
(1.18) |
|
а первые |
производные |
функции фУ (х, t) по х |
равномерно |
|
ограничены и сходятся |
поточечно |
к производным функции |
||
Ф<■>'(*, 0- |
■ ' |
|
|
|
18