книги / Стохастические дифференциальные уравнения и диффузионные процессы
..pdf
|
|
|
|
§ 2. ПОТОК ДИФФЕОМОРФИЗМОВ |
|
|
|
241 |
|||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
||
|
dj(X(t)) = (Aa{)(X(t))dwa(t) + (Aj)(X(l))dt, |
|
|||||||||||
где оператор |
(Л/) |
определяется равенством (1.7). Тем самым дока |
|||||||||||
зано, что X = |
(X(t)) |
является Л-диффузией. |
|
|
|
как |
и в гла |
||||||
З а м е ч а н и е |
1.2. |
Такими же |
рассуждениями, |
||||||||||
ве IV, из единственности решепня уравнения |
(1.1) |
можно вывести |
|||||||||||
единственность Л-диффузии {Рх)Хем на W (М). |
|
|
|
|
|||||||||
§ 2. Поток диффеоморфизмов |
|
|
|
|
|
|
|||||||
Для заданных векторных нолей Аае £(М), а = |
0, 1, ..., г, в § 1 |
||||||||||||
мы |
строили |
отображение |
X = |
(X (t, х, «;)): М X WJ э |
(х, w) <-*■ |
||||||||
~ Х ( ■, х, w)<^ W (М) . |
Его можно также рассматривать как отобра |
||||||||||||
жение [0, оо) X М X W j э (t, x,w)>-*X (t, х, w) e |
M. Основная цель |
||||||||||||
настоящего |
параграфа — показать, что отображение |
x^M>-+X(t, |
|||||||||||
х, w) е М является локальным диффеоморфизмом |
многообразия М |
||||||||||||
для |
каждого |
фиксированного |
15s 0 |
и для |
почти |
|
всех |
w таких, |
|||||
что X(t, х, w) е М. |
|
|
|
|
|
|
|
|
|
||||
Сначала |
мы рассмотрим случай |
М = R 1. |
Пусть о(х) = |
(o/t(a:))s |
|||||||||
e R d (g)Rd |
и |
b (х) |
= |
( b ' ( x ) ) е R ''— заданные |
гладкие |
функции |
|||||||
(т. е. С”°-функц1ш) |
на |
R', На(дг)И + |
|Ь(я) I ^ |
К(\ + |
Ы ) для неко |
торой положительной константы К и пусть все производные функ
ций оЪ и Ь‘ |
ограничены. |
Пусть |
X = |
(X(t, х, w)) |
— единственное |
|||||||||||
решение уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
{ dX\ = |
ога (Xt) dwa(t) + |
v (Xt) dt, |
|
|
|
|
||||||
|
|
|
|
\ X0 = x, |
i = |
1,2.........d, |
|
|
|
|
|
|
||||
определенное |
на |
|
пространстве (W j, Pw ) |
с потоком |
(;?*<). |
Как |
мы |
|||||||||
видели |
в |
главе |
IV, |
существует |
единственное |
решение |
||||||||||
X = ( X ( t , |
х, |
w)) |
и |
EUX(t) I2} < оо |
для |
всех*) |
t > 0. |
Ниже |
этот |
|||||||
результат |
будет |
усилен, |
а |
именно |
будет |
установлено, |
что |
|||||||||
E{\X(t)\v) < |
оо для всех р > 1. В частности, |
е = |
оо п. н. |
|
|
|||||||||||
Прежде всего мы докажем лемму об аппроксимации решений |
||||||||||||||||
ломаными траекториями |
(см. [118]). Пусть |
|
|
|
|
|
|
|||||||||
(Pn{s)— k/2'\ |
если |
s е |
[к/2п, |
(к + 1 ) / 2 "), |
к = О, 1 |
, . . . |
(2 .2 ) |
|||||||||
Л е м м а |
2.1. |
Пусть |
А (я) = (Л„ (х)) е |
Rm ® Rr |
и |
р(:г) = |
||||||||||
= (^‘ (а:))е R - заданы и удовлетворяют следующим условиям: |
|
|||||||||||||||
(I) существует положительная константа К такая, что |
|
|
||||||||||||||
| А (х) I] + |
\Р (.г) \ |
К (1 + |
|х |) |
для всякого |
х е |
Rm; |
|
*) Е обозначает математическое ожидание па пространстве (\VJ, J,w ).
16 С. Ватаиаба, Н. Икэда
242 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
|
|
|||||||||||||||||||
(П) |
для всякого |
N > О |
существует |
|
положительная |
констан |
|||||||||||||||||
та KN такая, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
\\А{х) — Л(у)\\ + \$(х) — $ {y)\^KN\x — у\ |
|
|
|
|
||||||||||||||||||
для всяких х, у е R™ таких, что \х\ ^ N и \у\ |
|
N. |
|
|
1{т-значные |
||||||||||||||||||
Пусть a(t) |
и an(t), п = 1 |
, 2 |
, . . — непрерывные |
||||||||||||||||||||
ОП) -согласованные *) |
процессы |
такие, |
|
что для |
некоторого |
р |
2 |
||||||||||||||||
sup Е / sup |
|a„(f)|P+1) < |
оо |
|
и |
Е / sup |
|
\ап (t) — a (t) \р) |
0 |
(2.3) |
||||||||||||||
п |
Хо^-КТ |
|
|
I |
|
|
|
\о<а<т |
—, |
|
, . . |
|
|
|
I |
|
|
|
|||||
при**) |
п - +° о. |
Пусть |
Y(t) |
и |
Yn(t), п |
|
|
— |
|
|
|
||||||||||||
|
1^ |
4 |
|
|
, у |
|
непрерывные |
||||||||||||||||
\\"-значныеп |
|
согласованные |
процессы такие, чтоо***) |
|
|
|
|||||||||||||||||
|
У |
Д |
0 |
= |
t a |
{ |
( |
0 |
+ |
|
|
|
Jt |
|
|
^ |
|
|
( y |
|
( |
(2s.4)) ) d , r |
|
и |
|
|
|
|
О |
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Yl (t) = |
ah (t) + ] Ah (Yn (q>„ (s))) dwa(,v) + |
|
j |
рг (У„ (q>„(s)))<fc |
|
|
|
||||||||||||||||
|
|
|
о |
|
для i — T, 2, |
|
о |
|
|
n = |
1, |
2, |
|
(2.4) |
|||||||||
|
|
|
|
|
. . . , m, |
|
|
||||||||||||||||
Тогда для всякого T > О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Е / |
sup |
|Yn(t) — У(^))р\->0 |
при |
|
п ->оо. |
|
|
(2.5) |
||||||||||||||
|
|
\о<кт |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Пусть |
Т7 > и0 |
|
произвольно,.: |
но |
фиксиро |
|||||||||||||||||
^ |
|
|
|
М |
ТГТЛ |
ИП |
|
*). *А\ |
/'ЮГГ\/Ч»Т |
тг л |
|
|
|
|
|
|
|
|
|||||
нано. Сначала отметим, что из |
|
(2.3) |
следует, |
что |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
Е[ sup |
|
|a(()|pf,l < оо |
|
|
|
|
|
|
|
|
(2 .е; |
||||||||
и |
|
|
|
|
(о<t<T |
_____ |
|
), |
^ |
|
|
|
|
|
|
|
|
|
|||||
Е { |
sup |a„(*) — ап(ф„(/))1Р]->-0 |
при |
|
п-*- оо. |
|
|
(2.7) |
||||||||||||||||
|
|
|
|
||||||||||||||||||||
|
[О-СКТ |
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Действительно, (2.G) легко получается по лемме Фату, а (2.7) сле дует из того, что в соотношении ****)
< К 1 |
Е |
sup |
| “ |
( 0 — а (фЛ0 |
) Г } + |
sup \an(t) — a |
|
|
о <и< т |
|
|
|
0 < t < T |
*) Как |
и |
в § |
1, |
MW рассматриваем |
винеровскос пространство |
|
(\\r0, *(w;), i>w) игг° = *fw(w;), |
о. |
|
**) Е обозначает математическое ожидание иа винеровском пространст
ве. Т > 0 — любая фиксированная постоянная.
***) w(t) = (wa(t)) — каноническая реализация r-мерпого броуновского движения на пространстве (W((, Р" ') .
****) В дальнейшем Ки Кг, ... — положительные константы, не зависящие от п (которые могут зависеть от Т).
|
|
§ 2. ПОТОК ДИФФЕОМОРФИЗМОВ |
243 |
|||||||
правая сторона стремится к нулю при п |
|
в силу теоремы о ма |
||||||||
жорируемой сходимости |
и условия |
(2.3). |
|
|
|
|||||
В дальнейшем, для |
простоты |
обозначений, мы предполагаем, |
||||||||
что т = |
1 и г = 1. Мы покажем, что |
|
|
|
|
|||||
|
|
supЕ { sup \Fn(i)lP+4 < |
о о . |
(2.8) |
||||||
|
|
n |
|
|
|
J |
|
|
|
|
Из (2.4)' имеем |
|
|
|
|
|
|
|
|||
Я (sup |
|ГЯ Ю Г ” ) < * , [ £ ( sup |
К |
0 0 Г |
1] |
+ |
|
||||
|
|
J |
L |
p+i |
|
J |
|
|||
+ Е ( sup |
j A(Yn(фn{u)))dw(u) |
+ E |sup |
^(r,,(9„(u)))duj |
JJ |
||||||
|
|
|||||||||
lo«s<f |
|
|
|
|
0 <s-C( |
|
||||
для £ e[0, |
T\ Согласно теореме |
III-3.1 и неравенству Гёльдера |
||||||||
|
|
|
p+i |
< K SE |
l |
( P + D /- 2 |
||||
sup |
j A(Yn(ф„ (u)))dw(u) |
§A(Yn(<Pn(sWds |
< |
|||||||
О < s < t |
|
|
|
|
|
К5 J[l |
|
E (|F „ (ф„(s))|p+])] ds, |
||
< K, JI E [\A(Yn(фп(.9 ))) Г и ] ds < |
1 + |
|||||||||
EI sup |
s |
|
v \0 |
|
|
|
|
|
|
|
J (ЧЗМф* {u)))du |
;л :в| я М Р (г я (фп(*)))|,,+1) * < |
|
||||||||
lo<s<i |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
< X 7 j [ l + |
ЬМ\У„(Ф„(.9))1РКП * . |
|||||
Следовательно, |
|
|
|
0 |
|
|
|
|||
|
|
|
J E [\ Yn(Ф„ (.9)) |P+I) dsj. |
|
||||||
E | м р I Yn (s) | p + 1 j < K8^1 + |
(2.9) |
Тогда, очевидно,
E {| Yn(Фп(0)Г+М < K8(1 + j E Ц Yn(Фп00) Г +1} * ] ,
и отсюда можно вывести (используя метод усечения, подобно то му, как и в доказательстве теоремы Ш-3.1 или теоремы IV-2.4), что
Е 1|У п(фп(*))|Р+11< Л (8 ехр{K8t}.
Подставляя ото неравенство в (2.9), получаем (2.8). Аналогично можно доказать, что
Е sup |Y |
о о . |
( 2. 10) |
о <t<T
10*
244 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
||||
Далее полагаем |
|
|
|
|
||
и |
|
о„ |
= inf{*; \Yn(t)\^N} |
|
||
|
a |
' |
= |
i n f { |
f ; | |
|
|
|
|||||
для всякого N > 0. Тогда для t е |
[0, Т\ |
|
|
|||
Е | |
sup |
|Yn(s) — Y (s) |PJ < |
K6\E ( sup |
|a„ (s) — a (s) |P1 + |
||
| о с^ (Д ад Л а Л г |
|
J |
L 10<S<( |
|
J |
|
+ |
E { |
sup |
{A(Y„ (<p„ (ii))) — A(Y (u))}dw(u) |
+ |
||
|
|
Kan |
|
|
|
|
|
|
+ E j |
sup |
.[{Р(г„(ф„(и)))-р(УН}<ги |
||
|
|
|
Д а „ Д(ТЛ |
|
|
|
и, оценивая подобно вышеприведенному, находим, что здесь правая
часть может быть оценена следующим |
образом *): |
||||
|
|
|
«Л<*ПЛa'v |
|
|
|
|
|
I |
И |
(Г„(фп (» )) ) - |
|
|
|
0 |
|
|
^4 (У (s)) |р ds |
|
thOn t\oy |
|
|
| |
+ £■ |
I |
|Р(1"п(фп(*)))-Р(У(*))Г* |
|||
|
|
о |
|
|
) |
|
|
(«ДОчЛ^ |
|
| |
|
< о (1) + |
L *Я |
J |
|У„ (ф„ (*)) - |
Y (*) Г d* < |
< о(1) + LjV| £ (|У„ (фп (s А а;7 А ал)) - У (s А О» Л or") h * .
О
Полагая для простоты $' = s /\ а* А стЛ> получаем |
|
|
|||
/^||Уп(ф« (0 |
) - ^ |
( о и < |
|
|
|
и |
< |
К п (Е (| У(! (ф„ (s')) - Yn (s') |р) + Е (| У„ (s') - |
У (s*)H) |
||
|
|
|
|
|
|
E{\Yn(фп (s'))- Yn(s') |»'} < £ 1 2 [£ { |a„ (Ф/, (s')) - a„ (s') |P} |
+ |
|
|||
|
|
+ E { |A {Yn(ф„ (s'))) (w(s') - w(Фп (s'))) |v) + |
|
|
|
_______________ |
+ £{1Р(П(фл(Л))(«'-ФДО)1р}1 = о(1) |
||||
*) L s |
и L 'n — положительные константы, возможно, зависящ ие |
от Л', а |
о(1) |
||
обозначает |
величину, |
стрем ящ ую ся к нулю при п -*• оо равномерпо по |
t е |
е [0. Г].
§ 2, ПОТОК ДИФФЕОМОРФИЗМОВ |
245 |
В силу (2.7). Следовательно,
Ifj |
sup |
|
N |
\У„(®)-У(*)\Р |
|
|
|
|
|
|
|
|
|
||
1 |
N |
|
|
|
|
|
|
|
|
|
|
|
|
||
\0 ^ s ^ t A o n |
A a |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
< |
0(1) + Ly J E ( I Yn (s A 0% A aw) - |
Y (s Д o,T A aw) |p) ds. |
||||||||||||
|
|
|
|
|
0 |
|
|
|
|
-*■0 |
при |
|
|
(2.11) |
|
Отсюда можно заключить, что |
|
|
|
|
|
||||||||||
|
Е\ |
|
sup |
|
IY n {s) — Y (s)1p| |
|
n - y o o |
||||||||
для всякого N > 0. Наконец, |
|
|
|
|
|
|
|
|
|
||||||
El snp |
1У„(я) — |
|
Е |
|
sup |
|
y „(s )-y (s )| P |
+ |
|||||||
1о««<Т |
|
|
|
|
|
|
N |
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
0<s-4T/\on Да |
|
|
|
|
|
|
||
|
|
|
+ |
E f sup |
( |Yn (.v) |+ |
|У (s) \У>: а;У < T\ + |
|
|
|||||||
|
|
|
|
lo«s«r |
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
+ E I |
sup |
(|УЯ(«)| + |
|У(,)|)М |
a-v < 2 4 < |
|
|
||||||
|
|
|
|
lo<s«T |
|
|
|
|
|
|
J |
|
|
||
|
|
|
|
< £ j |
sup |
\ У „ ( « ) - У (* ) И |
+ |
|
|
||||||
|
|
|
|
|
|
ДaN |
|
|
|
|
J |
|
|
|
|
+ 2EJ sup |
(| Yn(s) |+ |У (5) |)PJ |
sup |
( |Yn(*) |+ 1У (#) |) > |
ЛГ1 < |
|||||||||||
|
1 0 < » < T |
|
|
|
|
0 < * 4 T |
|
|
|
|
|
|
J |
||
|
|
|
|
< £ |
|
sup r |
T|yB(.v)-y(s)|p| + |
|
|
||||||
|
|
|
|
|
\o<s^7'Aa;) ДоЛ |
|
|
|
|
J |
|
|
|
||
|
|
|
|
|
|
|
+ |
jf E { |
|
snpr ( | Yn (s)| + |
I У (*) l )p+1). |
||||
Из |
(2.8), |
(2.10) |
и |
(2.11) |
теперь легко выводится, |
что |
|
||||||||
|
|
E l |
sup |
|У„(в) — y(s)lp,l->0 при |
п->- оо, |
|
|||||||||
|
|
|
lo«s«r |
|
|
/ |
|
|
|
|
|
|
|
||
Пусть |
для |
заданных a(z) |
и b(x) Xn(t) = |
(Х„({, |
х, w)) — ре |
шение (определенное на виноровском пространстве (\Vj, Р* ), по строенное по каноническим реализациям броуновского движения w(t) = (wa(t)) уравнения
1 |
t |
Xn(t) = x + $ оа (Хп(q>„(*))) die®(s) + j b (Xn(Ф„ (,))) dsx (2.12) |
|
О |
0 |
или, нокомпонентио, |
|
г |
* |
* « ( 0 - * * + J ^ ( ^ . ( Ф „ ( * ') ) ^ ( в ) + |
Jb‘ (X „ (Tn(в )))* , |
0 |
О |
i = l, 2, ... ,d. (2.12)*
246 |
|
|
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ ПА м н о г о о б р а з и я х |
|
|
||||||||||||||||
Решение |
Х „(() |
определяется единственным |
образом. Действитель |
||||||||||||||||||
но, Хп(0)~ х, и если Хп(1) определен уже |
для |
f^ [0 , |
(к — 1)/2п], |
||||||||||||||||||
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х „ (0 |
“ |
Х п( ( й - |
1)/2") |
+ oa(Xn( ( k - l ) / 2 n))(w*(t) - |
|
|
|
||||||||||||||
|
|
|
- |
|
((Л - 1 )/2 "))+ |
Ь(Хп( ( к - |
1 )/2 ")) (t — (к — 1)/2") |
||||||||||||||
для |
( е [ ( / с - |
1)/2", |
/с/2"]. Отсюда |
также ясно, что Xn(t) |
выражает |
||||||||||||||||
ся в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Xn(t) = F(x, |
U7(1/2"), U7(2/2"), |
..., ii7([2"*]/2"), w(t)) |
|
||||||||||||||||
для |
некоторой |
С” -фулкции F:RdX (Rr)^4 |
<-*■Rd. В |
частности, |
|||||||||||||||||
х>-*Хп(г, х, н-)принадлежит |
классу С” |
для |
всякого |
( > 0 |
и ®G WJ. |
||||||||||||||||
Пусть |
Z>“ = |
|
(j|a| |
|
|
для a = ( a (, |
ех2, ..., |
ссД, |
l a l = a i + a2 + |
||||||||||||
—-----------— |
|||||||||||||||||||||
|
|
|
|
л*®1 |
••• ^drf |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
+ . . . + a,i. Положим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
Ya,(n)(t, X, w) = Dax i (t, X, w). |
|
|
|
|
|
||||||||||
П р е д л о ж е н и е |
2.1. |
Для |
всякого x e |
R1, |
1 ^ |
i ^ d, |
и |
всяко |
|||||||||||||
го а |
существует единственный процесс Y ‘a(l) = |
(Ya(t, x, w)) |
такой, |
||||||||||||||||||
что |
|
|
E { sup |
1 Fa,(n)(0 — |
|
|
|
|
при |
H - > OO |
|
(2.13) |
|||||||||
|
|
|
|
|
|
|
|
||||||||||||||
для всех T > |
0 и p > |
i. Более того, сходимость в |
(2.13) |
равномерна |
|||||||||||||||||
по х на каждом компактном множестве в R1*. |
|
случай |
с |
\а\ — 1. |
|||||||||||||||||
Д о к а з а т е л ь с т в о . |
Сначала |
рассмотрим |
|
||||||||||||||||||
Если |
положить |
У],(„)(<, |
х, |
w) = |
|
X!, (t, х, w), |
то |
|
У („)(£) = |
||||||||||||
= (У ],(,,) (t, а:, U7)) определяется уравнением |
(в матричных |
обозначе |
|||||||||||||||||||
ниях) |
|
|
С |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Y(n)(t) = |
I + |
1ога(Х„(фп(.?))) У(п) (ф„ (s)) dll/1(s) + |
|
|
|
|
|||||||||||||||
|
|
|
|
о |
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ S |
|
(x n (ф« (^))) У'оо (ф„ («)) |
|
(2-14) |
|||||||
где Оа (x)j = |
~]Оа (х), Ъ' (х)) = |
Ьг (х) |
и 1 = |
(б)). |
Применив |
лемму |
|||||||||||||||
2.1 к системе комбинированных друг с другом уравнений |
(2.12) и |
||||||||||||||||||||
(2.14), |
получаем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Я / |
sup |
|Х1г( * ) - Х ( 0 П |
+ |
El |
sup |
||Г(11)(0 -У (< )| Р1-^0 |
|
при |
|||||||||||||
U s L O .T ] |
|
|
|
|
|
|
/ |
\ (G [0 ,T ] |
|
|
|
|
|
j |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
п - * - о о |
(2.15) |
||
для |
всех |
Т > 0 |
и |
|
p > i , |
где |
X(t) — решение |
уравнения |
(2.1), |
|
§ 2. ПОТОК ДИФФЕОМОРФИЗМОВ |
247 |
i Y (t)= ( Yj(t, x, w)) — решение уравнения |
|
|
t |
t |
|
Y (t) = I + j |
Oa(X (s)) У (s) ditf* («) + J b' (X (*)) Y (s) ds. |
(2.16) |
Как непосредственно видпо из доказательства леммы 2.1, сходи мость в (2.15) является равномерной но х на каждом компактном м ножестве.
<92
Далее положим У},а,(») (О = — r~zx »(t, х, w). Тогда У) й.(») (*) =
|
|
дх'сх |
|
- ( п нхп) {t> х, w)) |
определяется уравнением |
|
|
t |
|
|
|
“ J |
(ф,* |
(Ф„ C9)) |
(l<?) + |
0 |
|
|
|
|
|
+ .f Ь' (Xn(фп |
|
|
(Фп (*))ds + |
|
|
|||
t |
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
+ |
(X* (Фп (s)))LiYjii(n |
(% (s)) У [,(„) (фп(s)) dwa(s) + |
|
|||||||
0 |
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
I b" (x n(Ф„ (*)))*,<,<»> (<Pn (S)) Y h,{n)l |
(ф„ (*)) * , |
(2.17) |
||||||
|
|
0 |
|
|
|
|
|
|
|
|
// |
|
о2 |
• |
|
• |
^2 |
|
|
Если |
через |
где OaН ад = —2—7 Pa И , |
b" (x)h |
= —2— 6* (ж). |
|
|||||||
|
|
дх дх |
|
|
|
Охдх1 |
|
|
|
|
a]ri2,(n) (0 |
обозначим сумму двух последних членов в правой частя |
|||||||||
уравнения (2.17), то с учетом теоремы Ш-3.1 |
и соотношения |
(2.15) |
||||||||
легко заключить, что |
|
|
|
|
|
|
|
|||
Е[ |
sup la) |
j ,(n)(() — a.) j |
(t)|r').~>0 |
при |
re-*- с» |
(2,18) |
||||
|
ue[o,T]1 |
l' - |
|
1 2 |
1/ |
|
|
|
|
|
для всех |
T > |
0 и р > 1. Здесь |
|
|
|
|
|
|
||
|
t |
|
|
|
|
|
|
|
|
|
ajr ;2(0 = |
J Pa (X ( s ) ) b ^ i (*) Y lj%(.9) dw* (a) + |
|
|
|
|
|||||
|
0 |
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+Jb'(^(s))M y.?l (* )y J ,0 )d-e»(2.19)
иэта сходимость равномерна по х на каждом компактном множе стве. Теперь.можем применить лемму*) 2.1 и заключить, что
Е / sup |
при re с» (2.20) |
US[0,T1 |
|
*) Мы применяем эту лемму к системе комбинированных друг с другом уравнений (2.12) и (2.17).
248 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
для всякого Т > 0 и р 2* 1, где Y}vj2(t) |
определяется уравнением |
|
|
( |
|
г U |
(0 - I а; (X (*))£Г* ,;2(s) dw* (S + |
|
|
О |
|
|
I |
|
|
+ J Ь '(Х (5) й |
ф 2(5) * + a|llia(0. (2.21) |
К тому же сходимость равномерна по х па каждом компактном множестве.
Продолжая этот процесс шаг за шагом для производных более высоких порядков, приходим к доказательству требуемого пред ложения.
Введем следующие полунормы для гладких функций ф на Rd. Для ограниченной области Q <= W, р > 1 и m = 1, 2, . . . положим
|
|
|
|
|
|
|
янр I ZAp (х) |. |
|
|
|
|
|
|
|
|а| <т х7: Q |
|
|
Для каждого Q и т |
можно найти Q' |
Q, тп' > m, р Зг 1 и посто |
||||||
янную X > 0 такие, что для всех гладких функции ф па R ' вы |
||||||||
полняется следующее неравенство: |
|
|
|
|
||||
|
|
|
|
1|ф&,т<*1ф|£:т,. |
|
|
(2.22) |
|
Э т о |
является очевидным следствием хорошо |
известных неравенств |
||||||
Соболева [151]. |
|
|
|
|
|
|||
|
Из (2.13) |
очевидным образом следует, что |
|
|
|
|||
|
|
Е { sup |yi,<„)((, X, w) — Y axm)(l,x,l |
И’) К -*-О |
|
||||
|
|
|
\о«г<г |
|
|
|
I |
|
прп п, m |
°° для всех Т > 0 и р > 1 равномерно но х на каждом |
|||||||
компактном множестве. Следовательно, |
|
|
|
|
||||
Е ( |
sup |
( |Гя,(п) (t, х, w) — Fa,(m) (*, X, W |
|P d .r) < |
|
||||
[o<t<TQ |
|
|
|
J |
|
|
||
< |
|dx E ( sup 1Ya,(n) (С X, IV — Y«,(m) (t, I, V?) |P) -> 0 При П, |
OO |
||||||
Й |
lo<f«r |
|
|
|
I |
|
||
для всякой |
ограниченной области Q. Отсюда следует, что |
|
||||||
|
|
|
Е 1 sup |
1 Х„ (£, -,w) — Xm(t, •, w) |i^,A ->• 0 |
|
|||
|
|
|
lo<i«r |
|
|
j |
|
при n, m oo дЛя всех T > 0, р > 1, 1 = 1, 2, . . . и ограниченных областей Q. Посредством стандартных рассуждений можно выбрать подпоследовательность последовательности Х„, обозначаемую опять
|
|
|
§ 2. ПОТОК ДИФФЕОМОРФИЗМОВ |
|
249 |
|
|
|
|
|
|
|
|
через Х„, такую, что для / ’"'-почти всех w |
|
|
||||
|
|
sup |
ii Хп(г, •, IV — х т(t, •, w) |!р,г -> О |
|
|
|
|
|
О«КТ |
|
|
|
|
при ге, гег |
°о для всех ограниченных |
областей Q, р > |
1, i= l, |
2, ... |
||
П Г > 0. Тогда из неравенства (2.22) |
следует, что для почти всех w |
|||||
|
|
sup |
1 Xn(t, -,w) — X m(t, -,w) |®л-> 0 |
|
(2.23) |
|
|
|
о< к г |
|
|
|
|
при |
ге, гег |
для |
всех ограниченных областей О, |
I — 1, 2, |
.. . и |
|
Т > |
0. Следовательно, для почти всех |
w |
|
|
lim Хп(t, я, го) = X (t, :r, го)
|
|
|
?1 —*30 |
|
|
|
|
|
существует равномерно no |
(t, |
x) на каждом компактиом множест |
||||||
ве в |
[0, °°) |
X R d; более того, |
(t, х) -* X(t, х, w) е |
R1* непрерывно и |
||||
для |
каждого |
t е [0, |
°о)х >-* Х(£, х, w) является С” -отображеннем из |
|||||
R rf в Rd. Согласно (2.15) мы имеем также, что |
|
|
||||||
|
Pw [u?; X (f, х, ж) = |
X (t, х, w) для |
всех |
t ^ 0] = |
1 |
|||
для |
всех х, |
т. е. (X(t, х, |
w)) — модификация семейства |
решений |
||||
(X(t, х, w)) стохастического дифференциального |
уравнения (2.1). |
|||||||
Таким образом, мы получили следующий результат. |
|
|||||||
П р е д л о ж е н и е |
2.2. Пусть X — (X(t, х, w)) — решение урав |
|||||||
нения (2.1). Тогда можно |
выбрать |
модификацию |
решения |
|||||
X(t, |
х, w), обозначаемую |
опять через X(t, |
х, w), |
такую, |
что отоб |
ражение хе Rd '-*■ X (.t, х, w) е Rdпринадлежит re. н. классу С°° для каждого, фиксированного t.
Далее |
мы покажем, что |
отображение х -»■ X (f, л-, го) является |
|||||
диффеоморфизмом пространства R‘‘. Для этою удобнее переписать |
|||||||
уравнение |
с использованием |
дифференциала |
Фиска — Стратопови- |
||||
ча. Тогда вместо уравнения (2.1) рассматриваем |
следующее |
урав |
|||||
нение: |
|
|
|
|
|
|
|
|
\dX) = ola(X,) о dw« (t) + |
bl (X,) dt, |
|
||||
|
l X 0 = X, i = 1, 2, . . . , d. |
|
|
' |
|||
Заметим, что (2.24)_можпо преобразовать |
в уравнение вида |
(2.1) |
|||||
с заменой Ъ’ {х) па Ь‘(х), где |
|
|
|
|
|
||
|
|
|
Г |
|
|
|
|
|
ъ1и |
= Ь1{X) + |
4- 2 ( А |
и |
) |
(*)■ |
(2.25) |
|
|
|
а=^1 |
/ |
|
|
|
Ясно, что |
oi (■*•') |
и Б’ (я) удовлетворяют |
тем |
же предположениям, |
что и Оа(я) и Б'(гг). Поэтому писать уравнение или в виде (2.1), или в виде (2.24) является лишь вопросом удобства. Мы покажем, что С°°-отображсние х-*- X(t, х} w), определенное решениями уравне-
250 ГЛ. V. ДИФФУЗИОННЫЕ npOKF.CCbl НА МНОГООБРАЗИЯХ
ния (2.24), является диффеоморфизмом. Согласно (2.46) матрица
Якоби (У)(£)) = |
^ ~ .Х 1(t, х, u?)J |
удовлетворяет уравнению (в мат |
||||
ричных обозначениях) |
|
i |
|
|||
|
|
|
t |
|
|
|
Y (t) = |
/ |
+ |
j о'а(X (*)) Y (s) dw« (s) + |
\ b’ (X (.s>)) Y (s) ds, |
(2.26) |
|
|
|
|
0 |
|
0 |
|
где Ъ задается |
равенством (2.25). Легко |
видеть, ято (2.26) |
экви |
|||
валентно уравнению |
|
t |
|
|||
|
|
t |
|
|
|
|
Y (t) = I |
+ |
j |
Oa (X (.s)) Y (S |
о dtva(s) + |
J b' (X (s)) Y (s)ds. |
(2.26)' |
|
|
0 |
|
|
0 |
|
Пусть теперь |
Z (i) = (Zj (£))— |
решение |
уравнения*) |
|
||
|
|
|
t |
|
t |
|
Z{t) = |
I - |
f Z (s) o'a(X (*)) о dwa(.5) - |
J Z (s) b' (X («)) ds. |
(2.27) |
||
|
|
|
о |
|
0 |
|
Тогда
d (Z (0 V (0 ) = Z(f)ody(0 + dZ (t)°F (t)- 0,
и поэтому Z(t)Y(t) /. Тем самым доказано, что У(£) обратимо и Y(t)~'—Z{t). Следовательно, С°°-отображение х >-*■X (f, аг, гг) явля ется локальным диффеоморфизмом в R**. Используя нижеследую щую лемму, легко видеть, что оно является биекцией. Действительно,
x — X(t, X(t, |
X, |
w ) , |
w) и x ~ X ( t , |
X(t, X, |
w), |
U’ ) для всякого X П.Н. |
|||
Таким образом, |
это |
отображение |
является |
диффеоморфизмом |
Ru. |
||||
Л е м м а |
2.2**). |
Пусть X(t, |
х, |
и-) строится, кв* |
и выше, |
по |
|||
уравнению |
|
|
|
|
|
|
|
|
|
|
|
\dXlt = oi(Xt) о dw«{t) - |
fc* {X,)dt, |
(2.28) |
|||||
|
|
U |
0 = x. |
|
|
|
|
||
|
|
|
|
|
|
|
|
||
Тогда для каждого фиксированного Т > 0 |
|
|
|
||||||
|
|
X ( T - t , х, w) = X(t, |
Х(Т, х, |
u>), w) |
(2.29) |
||||
б д я всякого |
|
|
к х Pw-n. н., |
где |
w |
— другой |
винеровский |
||
процесс,, определенный равенством |
|
|
|
|
|
||||
|
|
w(t) — w{T — t) — w(T’), |
( ) < £ < Г . |
(2.30) |
*) Точнее, мы рассматриваем систему комбинированных друг с другом уравнений (2.2'i) и (2.27). Это стохастическое дифференциальное уравпение на
Rr f Ц(|2 коэффициенты которого удовлетворяют условиям регулярности и
роста, того же типа.
**) Малливон [И З ].