Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Стохастические дифференциальные уравнения и диффузионные процессы

..pdf
Скачиваний:
7
Добавлен:
12.11.2023
Размер:
21.35 Mб
Скачать

 

 

 

 

§ 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(Ynn{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 коэффициенты которого удовлетворяют условиям регулярности и

роста, того же типа.

**) Малливон [И З ].