326 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ ПА МНОГООБРАЗИЯХ |
|
|||||||
Т е о р е м а |
7.1. Если, F ^ H ( 1, |
2; |
1), то F е ® ’1 и LF/2 совпадав> |
||||||
с LF/2, |
где |
L — оператор |
Орнстейна — Уленбека. Кроме того, |
||||||
VF-VG = <Z)F, D G >„. |
|
F — гладкий |
функционал |
F(w) = |
|||||
Д о к а з а т е л ь с т в о . Если |
|||||||||
= /(w(Ti), |
^( тг), |
W (T„)), то |
|
|
|
|
|||
F (X,) - |
F (X0) - / (X, (т,), X, (тг), |
•••, X, (Tn)) - |
|
||||||
|
|
|
|
- / ( X 0(n), X 0(T2), |
. . . , X 0(T„))=- |
|
|||
|
|
= |
s |
f d j (X, (Tl), x * (T2), |
. . . , X. (T„)) dAfГ*} - |
|
|||
|
|
|
‘“ U |
|
|
|
|
|
|
|
- |
. |
a n |
x» (*«). •••>x* (■»"))X‘ (T«) * + |
|
||||
|
1 |
j ^ |
5i/ (x* (TI), |
|
|||||
|
|
|
0 ^ |
|
|
|
|
|
|
|
|
|
л |
n |
|
|
|
X, (T„)) T* Д |
(7.23) |
|
|
+ - | j |
2 didjf (Xs(Tx), x s (T2), . . . , |
||||||
(I
согласно формуле Ито, (7.18) и (717). С другой стороны, легко видеть, что
|
« |
|
|
|
|
|
|
|
(F '(и?), v) = |
2 |
5г/М тх), И тг)> ■••.w(Tn))v(T|), |
VGWJ, |
|||||
|
i=l |
|
Г |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(DF (u>), /г) = |
(F' (м?), Л) - |
,f [DF (н>)1(т)h (т) dt, |
A e f f , |
|||||
[D F(«;)] (т) = |
2 dtf(w (tx), K?(T.2), |
... , w (т„))/[0,Т{] (T) |
|
|||||
И |
|
|
t=l |
|
|
|
|
|
r т |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
||
D*F И (Alt A2) = |
j' f [D2F (w)] (o1( oa) |
(ox) h2 (o2) <Mcx2, |
^ s //? |
|||||
|
0 |
0 |
|
|
|
|
|
|
c |
|
|
|
|
|
|
|
|
[D*F(u7)](olt Ja) = |
|
2 |
W ( « ? M |
. U,(T2). ...,ir(Tn))^o,Til(0i)^e.*il(0a)- |
||||
|
iJ-=L |
|
|
|
|
|
||
Следовательно, |
|
|
|
|
|
|
|
|
LF (w) = Sp £>2F (w) - |
(Ff (M?)f w>) ~ |
|
|
|
|
|||
= S |
|
djd,/ (w ( T l ) , W( T 2) , |
. . . , И7 (T„)) r, A T j — |
|
||||
i.j-n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
2 |
N |
{ w ( T , ) , II? ( T 3) , |
|
( T n ) ) W ( T j ) |
i—1
§ 8. ПРОБЛЕМА ГИПОЭЛЛИПТИЧНОСТИ |
327 |
|
|
и, согласпо (7.23), |
|
F (Xt) - F (Х0) = t \ d j (Хе(Tl), X s (т2), |
(т„)) dMiXi) + |
О |
|
|
t |
|
+ ±§{LF)(XJds. |
Также |
|
(Л/f, Me) (t) — |
|
.2 ,f ^/(Х .,(т,), X ,(т2), . . . ^ « ( ^ ^ ( X . ^ J . X J TJ), ...
i > ] I |
|
t |
l T |
.,X s (xn))TiA r jd s = [ Ц|/М’ (Х,)(т)] [DG(XS (T)|dx| ds = |
|
0 |
U |
|
i |
|
= J <DF(XS, DG(Xb) a ds. |
Таким образом, утверждение |
теоремы справедливо, если F — глад |
кий функционал. Общий случай получается предельным переходом. Здесь мы отметим только, что если последовательность {Fh} глад
ких функционалов такова, что Fk-+F |
в 2?l(Pw), |
DFh->- DF в |
||||
&t(Pw, II* = |
II) и LFh |
LF в ^ ( И , |
то |
|
|
|
Е [(Л/р/((Т) - |
M Fh, (Г))*] = Г \ IDFhИ |
- |
DFU, (w) |
Pw (dw) 0 |
||
|
|
wro |
|
при |
fc,/ с ' — оо. |
|
|
|
|
|
|||
Отсюда следует Е ( sup |
IMF (t) — М F , (t) l2\ -> 0 it |
силу нсравеп- |
||||
|
\0<l*T1 |
|
) |
|
|
|
ства Колмогорова и Дуба |
(следствие теоремы I — 6.1). Остальные |
|||||
утверждения теоремы легко проверяются непосредственно.
§ 8. Случай стохастических дифференциальных уравнений и проблема гиноэллиптичности уравнений теплопроводности
Сначала мы получим результат о регулярности вероятностного распределения (индуцированной меры) винеровских функционалов. Этот результат принадлежит Малливэну.
О п р е д е л е н и е 8.1. Пусть v — борелевская вероятностная ме ра на 1\‘. Говорят, что v е Цр,п для натурального m, если существует
328 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ ИА МНОГООБРАЗИЯХ |
константа К > О такая, что *)
Z)°4p(х) v (dx)
R''
для всякого**) ср eS JfR '1) и а = (а1, аг, .. ., аД такого, что[а| =
= ах + а2 + . . . + |
ad<^m; |
|
f) |
|
обозначается через Ж°°. |
|
|
||||||||||
|
|
|
|
|
|
|
т—1 |
|
|
|
|
|
|
|
|
|
|
Следующая лемма из анализа предполагается известной. |
|
|
|||||||||||||||
Л е м м а 8.1.***) |
(I). |
Если \ |
|
то v(dx) |
имеет |
плотность |
|||||||||||
относительно лебеговой меры dx: |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
v(dx) = g(x)dx, |
|
|
|
|
|
|
|
|
|
|
|||
(II) |
Если |
|
|
то плотность g(x) |
можно |
выбрать принадле |
|||||||||||
жащей классу С“ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть |
F — (Fl, Fa, . .. , Fd): Wj -*■Rd — Позначный винеровский |
||||||||||||||||
функционал, а мера I1’* (P w) — образ |
меры Pw при отображении |
F |
|||||||||||||||
(т. е. вероятностное распределение функционала F ). F* (Р и ) явля |
|||||||||||||||||
ется борелевской вероятностной мерой на Rd. |
|
|
|
что |
F — |
||||||||||||
Т е о р е м а |
8.1 |
|
(Малливэн |
[114]). |
Предположим, |
||||||||||||
= {Fl, F2, ..., Fd |
удовлетворяет следующим двум условиям: |
|
|
||||||||||||||
(А.1) |
|
|
|
|
F* е |
//„ , * - |
1, |
2, .... |
d, |
|
|
|
|
|
|
||
I/ V fttlnf* |
|
|
|
|
|
|
|
|
|
|
|||||||
|
Со = (F\ <DF\ DF>„, |
LF‘, i, j = |
1, |
2, |
. . , |
d) |
|
|
|
||||||||
|
|
|
|
|
|||||||||||||
таков, что С,, cr Й^. Кроме |
того, |
предполагая, |
что Cr- t с |
//„ , |
опре |
||||||||||||
делим класс Сг равенством |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Cr = |
Cr_, U{iDF1, Du>u, |
и |
Сг- |
i = |
l , 2 , . . . , d ) |
|
|
|
|||||||
и предположим, что Сг <= #«, для всякого г = 0, |
1 , __ |
|
|
|
|||||||||||||
(А.2) |
Полагая |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
0 ° ( w ) = |
<DF'(w), DF*(w)>„, |
|
|
|
|
( 8.1) |
|||||||
предположим, что det(o’J(w )) > 0 для Pw п. в. w. |
|
матрицу |
через |
||||||||||||||
Кроме |
того, обозначая |
обратную к |
(o<j(ip)) |
||||||||||||||
('Y4(u?))i |
предположим, что |
е |
|
(Fw) |
для |
всех р ^ |
1 |
и |
|||||||||
i, j = 1, |
2, ..., |
d. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда F * (P w) e |
Жж |
|
и, следовательно, имеет С00-плотность от |
||||||||||||||
носительно меры Лебега. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Для доказательства нам понадобится следующая лемма. |
|
|
|||||||||||||||
*) |
||<р»11 = |
sup, |ф(*)|. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
**) <Z5(Rrf) = Fo(Rd) — совокупность всех С“ -фупкций с компактными но сителями.
***) См. £113].
|
|
§ 8. ПРОБЛЕМА ГИПОЭЛЛИПТИЧНОСТИ |
329 |
||||
Л е м м а |
8.2. При предположениях |
(А.1) и |
У«Ч |
для |
|||
(А.2) ч'3^ Я „ |
|||||||
всяких i, j = |
1, 2, |
. . d и справедливы следующие формулы: |
|
||||
Dyij = |
- |
2 |
t hi'Dcshl, |
|
|
|
(8.2) |
|
|
h ,l= l |
|
|
|
|
|
L f = |
_ |
2) |
yihy*lLaM+ 2 |
2 |
T*V V |
<£aw, Domn} H. |
(8.3) |
|
|
A,/=l |
h,l,m ,n= 1 |
|
|
|
|
Д о к а з а т е л ь с т в о . Положим |
a(')ij = oij + |
еб’Л Тогда a(e,,j e / / . |
|||||
и, согласно |
лемме |
7.4, непосредственно находим, что обратная к |
|||||
a<e)iJ матрица |
|
такова, что |
|
п что вышеприведенные |
|||
формулы (8.2) и (8.3) справедливы с заменой а и у соответственно
на а(е) и 7 <е). Но в силу предположения |
(А.2) ясно, |
что o<e)lj -*■ olj в |
||||||||||||||||
3?P(Pw) и |
|
-*■ |
|
в |
2?P(PW) |
для |
всех |
р > |
1. |
Следовательно, |
||||||||
£)ytE)iJ и Ьу^ |
11 |
сходятся |
к правым частям равенства (8.2) и (8.3), |
|||||||||||||||
соответственно, в 2?p(Pw) для всех р~>1. |
|
|
|
|
||||||||||||||
|
Д о к а з а т е л ь с т в о |
|
т е о р е м ы |
8.1. |
|
Пусть |
q(w )^ H x и |
|||||||||||
с р е ^ 5 (И ,!). |
Для простоты |
мы будем |
писать |
ср(м>) = ср » F(w). Тогда |
||||||||||||||
Ф ^ Я оо. Согласно лемме 7.4, |
|
|
|
|
|
|
|
|
|
|||||||||
f |
2 А Я Я \ д 7 р > н ?РТУ(с*и;)= |
f 2 |
yik(DFk, DFmyf]dm(poFqPw(dw)= |
|||||||||||||||
' T |
h |
|
|
|
|
|
|
|
|
|
' r h,m |
|
|
|
|
|
|
|
W0 |
|
|
|
|
|
|
|
|
wj |
|
|
|
|
|
|
|
||
|
|
= |
|
f 2 |
|
|
|
|
|
о FgPw (dw) = |
( <5{(р о F (w) q (w) Pw (dw). |
|||||||
|
|
|
|
^rh,m |
|
|
|
|
|
|
|
|
% |
|
|
|
||
|
|
|
W0 |
|
|
|
|
|
|
|
|
|
wj |
|
|
|
||
С другой стороны, но лемме 7.4, (7.16) |
и лемме 7.3, |
|
||||||||||||||||
f |
2 yih<DFk, Dy>HqPW(dw) = |
|
|
|
|
|
|
|
||||||||||
тft |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
w„ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j#)21ИРи'(&), |
||
■=»1 j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
wo |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
w0r |
|
|
где винеровский фупкциопал S,(ц?) задается так: |
|
|
||||||||||||||||
Si («о = |
4- 2 |
|
( А |
) |
- |
УihPFhq - |
L (yihFhq) } = |
|
||||||||||
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
4 |
2 |
l^ |
( A |
) |
- |
|
A |
A |
- |
L ( A |
) |
Ph - yihqLFh- |
||||
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
2 Ф |
( А |
) , |
ЯA n ) |
= |
- 2 |
yihLFhq - |
2 |
CD ( A ) , Z>Fft>H = |
||||||||
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
A |
|
|
|
|
= |
- |
2A A |
A |
|
- |
2 A ? д а \ |
z>A |
* - |
2A vift </>?, z > A H = |
||||||||
|
= |
- |
2 |
Y^ |
A |
+ |
2 |
? T V m< W ”*,DFft> H - 2 y ift<P9,DFft>n. |
||||||||||
|
|
|
|
ft |
|
|
|
A,;,m |
|
|
|
|
|
|
A |
|||