342 ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ ПА МНОГООБРАЗИЯХ
для всякого L > |
0, то |
|
|
|
|
|
|
|
|
J |
|
|
|
ь |
||||||
|
|
|
|
|
|
|
Л1хА2 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
A jT t А 2О *• *П-<4д_ |
|
|
|
|
|||
|
|
|
V\o<t<l |
|
|
И |
^9-1 |
|
OO |
J |
|
j |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
< 1,(E ( sup |
1^ “ * (0!i4/')V |
|
C1SS 2 |
2 peq- {q~ i)L/2 |
< |
OO |
||||||||
|
|
|
|
|
|
|
\ \ 0 < f < l |
|
|
|
. ' / |
|
9— 1 |
|
|
|
|
|
||
(выбрав |
L>2cp). Тот факт, что E l |
sup | Y |
' (t) |4 ,:<; °o уже |
отме- |
||||||||||||||||
чался в доказательстве леммы 8.3. |
|
Таким |
образом, £(11а-1Нр) < <» |
|||||||||||||||||
для |
всякого |
р ^ |
1 |
и |
согласно |
лемме |
8.3 |
доказательство |
теоремы |
|||||||||||
завершено. |
|
|
8.1. Пусть й — подалгебра Ли алгебры Ли вектор |
|||||||||||||||||
З а м е ч а н и е |
||||||||||||||||||||
ных |
полей Т(К''), |
порожденная злемеитами A t, Л2, |
..., Аг. Предпо |
|||||||||||||||||
ложение |
теоремы |
выполняется, |
|
если |
dimй* = d, где |
й*= {L *e |
||||||||||||||
е Т*(Щ :Ь е й>. Предположение |
теоремы |
|
констатирует, |
что |
мно |
|||||||||||||||
жество |
{у : dim й„ < d) разрежено в точке х |
в определенном вероят |
||||||||||||||||||
ностном смысле. Это предположение неулучшаемо, если вектор |
||||||||||||||||||||
сноса Ао — 0 |
(см. Хермандер [177]). Если Ло^ 0 , |
то |
предположение |
|||||||||||||||||
не является неулучшаемым, как это видно на следующем примере. |
||||||||||||||||||||
П р и м е р |
8.1 |
(Колмогоров |
[89]). Пусть d — 2, |
г = 1 |
и A t(x) = |
|||||||||||||||
_ д |
л |
t \ |
|
\ |
Я |
Очевидно, йх = |
1 для всех х и предположение |
|||||||||||||
= |
|
лч\х) = х |
|
|
||||||||||||||||
теоремы не удовлетворяется. По существует С°°-плотность |
вероят |
|||||||||||||||||||
ности |
перехода. |
Действительно, |
соответствующая |
диффузия |
|
Xt = |
||||||||||||||
= (X }, X f) задается равенствами |
|
|
|
|
t |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
XI = х1 + Bt, X2t = х2 + хЧ + j В4 .4, |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
где Bi — одномерное |
броуновское |
движение. Следовательно, |
вероят |
|||||||||||||||||
ностный закон процесса (Xt) есть |
гауссовское распределение на R2 |
|||||||||||||||||||
со |
средним |
(х\ |
х2 + х'1 ) |
и |
ковариационной |
матрицей |
|
V (t) — |
||||||||||||
|
|
|
|
j. |
Так |
как йе1У(1)=7^0 |
для |
всякого |
£ >0, то |
это |
рас |
|||||||||
пределение |
имеет гауссовскую |
плотность. |
Легко |
проверить, |
что |
|||||||||||||||
матрица o = (a,J(u;)) для винеровского функционала [X], X]) по стоянна и совпадает с V(t).
§ 1. ОДНОМЕРНЫЕ ИТОВСКИЕ ПРОЦЕССЫ |
345 |
Также
|
t |
|
|
|
|
(« ( « ) < |
j |
фП(*i (s) — Ч (*)) {Ъ1 («, *i («)) — Ь2 (s, a:2(s))} ds = |
|||
|
О |
|
|
|
|
|
f |
|
x 2 (.?)) {& ! (s, a:! (s)) — |
&! (s, X2 (if))} d s |
|
= |
j |
Фп (.ti ( S) — |
+ |
||
|
0 |
|
|
|
|
|
f |
|
|
|
|
+ |
J |
фп («1 (*) — |
* 2 (*)) { b l (S- *2 (*)) — |
b2(*, -r 2 («))} |
< |
|
0 |
|
|
|
|
|
t |
|
|
|
|
< |
j |
Фп ( Ч (я ) — |
z 2 (s)) (Ь г (s, 24 (s)) — |
Ь г (if, z 2 (s ))} d s |
< |
|
О |
|
|
|
|
|
t |
|
|
|
t |
|
< к j / lKl(S)>,2(,)] |X! (.9) — хг(if) |ds < |
К j (хг ( s ) — X%(s))+ ds. |
|||||
|
о |
|
|
|
0 |
|
Следовательно, устремив re -*- «>, получаем |
|
|
||||
E [(xt (t) - |
* 2 (t ))+] < |
f (* t (s) - |
z2 (s))+ d sj = |
|
||
|
|
|
|
|
f |
|
|
|
|
|
- |
A: f я |
((*I (* )-* ,(* ))+)<fc. |
Отсюда можно заключить, что |
|
|
|
|
||
т. е. |
Е [(хг(£)— ■т2(£))+] = |
0 |
для |
всех |
£ ^ 0 , |
|
|
|
|
для |
всех |
О, |
|
|
Р (xl (t)^ .xi (t)) = |
I |
||||
и в силу |
непрерывности |
траектории |
заключаем, что (1.8) выпол |
|||
няется.
Если предположить, что липшицевой является функция Ь2(£, х),
то аналогичное рассуждение привело бы |
к тому же выводу (1.8). |
|||
Ш аг 2. В общем случае выбираем b(t, |
х) |
так, что |
||
bi(t, |
x)< b (t, х)<bi(t, |
х) |
||
и b(t, х) — липпшцевая |
функция. Пусть |
X (t) — единственное ре |
||
шение стохастического дифференциального уравнения |
||||
dX (£) = |
ст (f, X (£)) dB (t) + b (t, X (£)) dt, |
|||
X (0) = |
x„ (0). |
|
|
|
Тогда из результата шага 1 следует, что X(t) ^ x2 (t) и xt(t) <1 X (£) для всех О 0 п. п. Следовательно, можно заключить, что (1.8) вы полняется.