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

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

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

g 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА

181

То есть мы предполагаем, что любое согласованное семейство вероятностных мор, абсолютно непрерывных относительно Р, мо­ жет быть продолжепо до вороятностпой меры на (£2, 3F). Напри­ мер, если (Q, $Г) — стандартное измеримое пространство, то вылюприведепное условие (4.1) выполняется.

Для X е ^ г ’*00 положим

 

 

 

 

 

 

 

M(t) = exp [X (l)~ <X>(i)/2}.

 

 

 

(4.2)

Мы предполагаем,

что М — мартингал.

Согласно

теореме

Ш-5.3

ото справедливо, папример, в том случае, когда Е ^exp

<Х>(^ j <

оо

для каждого t > 0.

Тогда,

если

определим Pt

для

каждого

t > 0

равенством

 

 

 

 

 

 

 

(4.3)

Р,(А) = E[M(t): Л],

 

 

 

 

то Pt— мера па (Q, STt) и

P\gr

= Р* для t > s 5s 0. В действитель­

ности, если А е grsf то

 

 

 

 

 

 

 

 

Pt(A) = E[M(t): A}=^E[E(M (t)\^,): Л] = £ p f ( s ) :

А\

А»

 

Согласпо предположению

(4.1)

существует

вероятность

на

Р

(Й, ЗГ) такая, что Р|^- =

Р(.

 

 

 

 

 

 

 

О п р е д е л е н и е

4.1.

а,

 

вероятностью,

имеющей

Р называется

плотность М относительно Р. Будем писать Р = М •Р.

Таким образом, мы получаем новую систему (Й, 8Г, Р) и (3Pt)ts,о- Пространства мартингалов относительно этой системы

обозначаются через Ж*, Ж\ и т. д. Следующая теорема была до­ казана Гирсановым [26]*) в том случае, когда X(t) — броуновское движение.

Т е о р е м а 4.1. (I) Пусть Y<=JC2 loa. Если мы

определим Y

равенством

 

(4.4)

 

7 ( t) = Y ( t) - < Y , X > ( t) ,

mo У е

Ж ^ос.

 

 

(II)

Пусть Y 1? У2<=

и определим 7 t и Тгравенством (4.4).

Тогда

<Г„

Г2> = <?!, ? а>.

(4.5)

 

З а м е ч а н и е 4.1. Так

какР|^- и Р|дг( взаимно абсолютно не­

прерывны для каждого фиксироваппого t > 0, то лет пикакой дву­

смысленности

в утверждении

(II): (4.5)

выполняется

Р-п. п.

и Р-п. н.

 

Предположим

сперва, что

7 (t)

огра­

Д о к а з а т е л ь с т в о .

ничен в том

смысле, что

для

каждого

t >

0 Y(t) е

S ’”

ф ) .

*) См. Камерон, Мартин [81], Маруяма [117] и Мотоо [126].

182

ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ

Согласно формуле Ито

d(M(f)F(f)) = d{M(t)(Y(*)— <У, Х > ( 0 )) *=

= Y{t)dM(t)+M(t)dY{t)-M{t)d<Y, ХУ (t) + dM(t) dY(t) =

 

 

 

 

 

 

 

 

 

 

= ¥ (t)dM(t)+ M(t)dY (t),

так

как

dM(t) = M(t)dX(t)

и,

следовательно,

dM(t)'dY(t) =

= M{t)d(X,

Y)(t).

Отсюда

следует,

что

M(t)Y(t) — мартингал,

и поэтому

£ [?(* ) 1^3 =

E[M(t)Y(t) ]^"s]¥ (s ) -1= Y(s).

 

 

 

 

 

 

 

 

 

В общем случае мы выберем последовательность {ои)

 

))-

моментов

остановки

таких,

что

для

каждого

п

отображение

t <-*■Y (t Д сг„) ограничено

в

том же

смысле,

что и

выше. Так

как

Y (t Д ап) =

Y (t Д <т„) -

<Х, Y ) (t Д On) =

Y°n (г),

где

У °п е

J [f°°

определен равенством F °n(t) =

Y (t Д о„),

то

 

 

 

 

согласно

доказанному выше и, следовательно,

Y е

 

 

 

 

аналогичным

 

Доказательство утверждения (II)

можно провести

образом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z(t) =

 

С л е д с т в и е .

Пусть

 

Y<=JTlAoc,

Ф е=2^0с(У)

и

= j<&(s)dY(s). Тогда Ф

е ^

У )

 

и

 

 

 

 

 

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

% (t) - z (t) -

 

<Z, Xy (t) = J Ф (s)dY (s).

 

 

(4.6)

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

 

По

определению

стохастического

интег­

рала достаточно доказать

(4.6) для

Ф <= S 0, но в

этом

случае

ут­

верждение очевидно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы 4.1 следует, что если мы преобразуем вероятно­

стную меру Р в меру Р — М Р, то

каждый пепрерывпый локаль­

ный мартингал Y относительно Р преобразуется относительно ве­

роятности

Р в Y — непрерывный локальный

мартингал +

<У,

ХУ.

То

есть преобразование

вероитпостпых

мор

Р - * Р = М-Р

для

каждого локального мартингала Y порождает снос

<F, ХУ. По этой

причине преобразование мер Р *-*■ Р называется преобразованием сноса. Часто это преобразование также называется преобразовани­ ем Гирсанова.

Метод преобразования сноса можно применить для решения од­ ного класса стохастических дифференциальных уравнений. Пред­ положим, что заданы а е ' и р е s4-d-*, и рассмотрим стохасти­ ческое дифференциальное уравнение

dX{t)=a(t, X)dB(t)+$(t, X)dt.

( 1.1)

§ 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА

183

Предположим, что

решение (X,

В) задано па вероятпостпом про­

странстве (Q,

Р) с потоком

 

t). Без

ограничения

общпости

можно считать, что эта система

удовлетворяет условию (4.1). Вы­

берем у е si-r' 1 ограниченной или,

в более

общем случае,

удовлет­

воряющей условию

 

 

 

 

 

 

[ехр

X)|2ds

<

оо

для каждого t >

0.

 

 

 

 

 

 

Тогда

 

 

 

I

v

 

 

ехр Jу (s, X) dB (s) -

 

М (t) =

± Jj|y(s, X) |* Ц

(4.7)

является (STt)-мартипгалом. Пусть Р =

М •Р. Согласно теореме 4.1

 

 

 

t

 

 

 

 

B(t) = В (t) — J у (s, X) ds

(4.8)

 

 

 

о

 

 

 

является r-мерпым (ЗГ()-броуновским движением на вероятностпом

пространстве

(Q, SF, Р) с потоком

(^ ",)|>0. Действительно, так как

X в (4.2) совпадает теперь с

 

 

 

J Y(*, X)d2?(s)f =

i )

 

( * ) ) : - Y(t),

о

\

*—1 о

 

I

В1(t) =

В* (t) - <5\ Y > (t) =

В{ (*) - j

у1 ( S , X) ds е= jr*’loc

 

 

 

О

и <5!, В1} (t) — <В\ В3} (t)=

 

из чего

следует, что В является

г-мериым (З^)-броуновским движением. Согласно следствию теоре­ мы 4.1 имеем

 

dX(t)=>a(t, X)dB(t) + [p(t, X)+os(f, X)y(f, X)]<ft.

(4.9)

Отсюда следует,

что (X(t),

B(t))

— решение стохастического

диф­

ференциального

уравнения

(4.9)

на вероятностном пространстве

(Q,

3~, Р)

с потоком (@~t) оо- Таким образом, мы получили реше­

ние

(4.9)

посредством применения преобразования сноса к реше­

нию

(1.1).

Кроме того, если выполняется условие единственности

решений (см. определение 1.4) для уравнения (1.1), то опо также выполняется для уравнения (4.9). Чтобы показать это, мы без

ограничения

общности можем

предположить,

что

у е £ФТ’ 1

имеет

вид y(t, w) =

a*(t, in)ri(£, w)

с

некоторой

 

(a*(t,

w) e

e s l T-d— транспонированная a (t,

w) ;

как обычпо,

мы рассматри­

ваем ее как липейное отображение R*

Rr.)

Действительно,

пусть

184

 

 

ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ

 

 

 

 

 

 

Rr =

a*(f,

w) (R1*) © a* (f, w) (R**)-1- — ортогональное

разложение

и

t(t,

w) = ^i(t, w) + ^ ( f,

W) при этом разложении. Тогда ^ е ,р£г.

и

Чи

очевидно,

ограничена,

если

j

была

ограниченной

а (£,

w)i(t,

w) =

a(t,

 

w),

так

как <x(t, w)^2(t,

w) =

0, что>

видно из соотношения

(a(t, w)^2(t, w),

y) = {'у2(^

w),

a*(t,

w)y)~

= 0

для любого

y ^ R d. Наконец,

выберем ц(£,

w)

из

аффинного

пространства ly:a*(t,

w)y =

*{,(t,

и;)}

в Rd такую,

что

т | е ^ '';

например, пусть ц (t, w) — единственный элемент в аффинном про­ странстве, находящийся на минимальном расстоянии от начала. Заменив к через у,, получаем требуемое утверждение.

Тогда M(t), задаваемое равенством (4.7), является однозпачно

определеппым функционалом от X:

 

 

I

t

t

 

 

M(t) = exp

Jv(e, X)dB(s)~ -|-JI Y (S, X)V ds

 

^0

0

 

 

 

 

*= exp JJ Ц(s, X) dMx (s) у

J|| a* (s, X) T]( S , X) J* dsl,

где

 

'0

0

j

 

t

t

 

 

 

 

Mx (?) =

X (t) - X (0) - j* p (s, X) ds =

j' a (s, X) dB (s).

 

 

 

о

0

 

Таким образом, из единственности решений уравнения (1.1) следу­ ет, что совместное распределение процесса (X(t), M{t)) единствен­ ным образом определяется по начальному распределению X.

Теперь покажем, что из единственности решений для уравнения (1.1) следует единственность решений для уравнения (4.9). Дейст­

вительно, отправляясь от любого решения (X{t), B(t)) уравнения

(4.9) на вероятностном пространстве (Q, ST, Р) с потоком ($"(),>0, удовлетворяющих условию (4.1), определим

[

1

t

-

J Y (s>%)dfi(s)~- Y

J*||Y (S, £ ) f d s

,

 

U

0

-

 

t

 

 

В (t) = S{t) +

j у (s, X) ds,

 

 

 

о

 

 

И

P = M P.

>4.

Тогда (X(i), В (t)) —решение уравнения (1.1) относительно веро­ ятности Р, и нетрудно видеть, что если применим описанное выше

преобразование сноса к решению (Х(г), B(t)), то возвратимся опять к (X (t), B(t)). Так что любое решение (4.9) получается пре­

 

§ 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА

185

образованием

сноса из некоторого решения (1.1), и,

следовательно,

н сочетании с

вышеприведенным

замечанием из

единственности

решений для

(1.1) получаем единственность решений для (4.9).

Резюмируя, получаем следующий результат.

 

Т е о р е м а

4.2. Если уравнение

(1.1) имеет единственное реше­

ние, то и уравнение (4.9) имеет единственное решение; более того,

решение (4.9)

получается из решения

(1.1)

посредством преобразо­

вания сноса.

 

Предположим, [5 е s4-d-1 ограниченная

функция.

С л е д с т в и е .

Тогда стохастическое дифференциальное уравнение

 

 

 

 

 

 

 

 

dX(t) = dB(t)+$ (t, X) dt

 

 

 

(4.10)

(т. e. стохастическое дифференциальное

уравнение (1.1)

с

a — I,

где I единичная матрица) имеет единственное

решение

и оно

строится следующим

образом. Выберем

на

некотором

вероятност­

ном пространстве (Q,

ЗГ, Р) с потоком

(3Ft) (Ss0,

удовлетворяющих

условию (4.1), d-мерное (@~t)-броуновское движение B(t)

с В(0) =

= 0 и d-мерную ЗГ0-измеримую случайную величину ^С(О)

с задан­

ным распределением р. на- R*. Положим

 

 

 

 

 

 

 

X(t) = X(0)+B(i),

 

 

 

 

 

 

 

 

 

 

 

7

 

t

 

 

-*

 

 

 

M(t) =

exp

J* p (S, X) dB (s) -

± J Щз, X) I* ds

,

 

 

 

 

 

 

0

 

0

-

1

 

 

 

 

P =

Л/-.Р,

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

B(t) = B { t ) - j P(s, X)ds.

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

Тогда

(X(i),

# ( £ ) ) — решение (4.10)

на вероятностном пространст­

ве (Q,

ЗГ, Р)

с потоком (STt) ^ 0.

 

 

 

 

 

 

 

Таким образом, стохастическое дифференциальное уравнение

(4.10)

всегда решается, и единственным образом, посредством мето­

да преобразования споса. Построенное таким путем решение в об­ щем случае пе обязательно является сильным решением. На самом деле Цирельсоп [178] построил пример стохастического дифферен­

циального уравнения вида (4.10), решепие

которого

не

является

сильным.

 

4.1 (Цирельсоп

[178]).

Пусть

d = 1,

и определим

П р и м е р

|1Ц, w)^ М 1'1

следующим образом:

пусть

0(ж) = ;r(mod 1) = х —

■■[х] е [0,

1),

ze=R‘ , и

пусть

U*: /с == 0, — 1

- 2 , ...} — последова­

тельность такая, что 0 <

th~t < t k и lim

tk — 0. Для w e W

положим

 

( w(tb) — w(tk-1)\

h-*—*o

 

 

 

P(t, w) =

если t s-- [f&, fftj-x), fc — —■1)

' 2, ..

V

* * - f* -i

/ ’

если t = 0 или 1 t 0.

 

(4.11)

 

0,

 

 

 

186

 

 

ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ

 

 

 

Ясно,

что

p(f,

w)<^s£1’1 и

ограничена. Однако

одпомерное

стоха­

стическое

дифференциальное

уравнение (4.10)

не имеет сильного

решения.

 

 

 

 

Допустим, напротив, что это стохастиче­

Д о к а з а т е л ь с т в о .

ское дифференциальное уравнение имеет сильное решение

(X (t) ,

B(t)). Мы можем считать, что

Х(0) =

х

п. н. для

некоторой кон­

станты х е R1.

Тогда

по

 

определению

сильного

решения

имеем

=

a[X(s):

 

 

 

=

<т[Я(*): « < * ] .

Теперь

 

 

 

 

 

 

 

 

 

 

 

 

fft+i

 

 

 

 

 

 

 

X(tk+i) X (th

= В (th+1

B{th)+

j

P (t, X) dt — В (th+i)

 

 

 

 

 

 

 

 

 

 

 

 

*ft

 

 

 

 

 

 

 

В (th + 0 (

‘ft

‘ft-1

/

(tk+i _

tji)

для

A: =

— 1, — 2, ..

 

 

 

V

 

 

 

 

 

 

 

 

 

 

и, следовательно,

если положим

 

 

 

 

 

 

 

 

 

 

 

^ (fft)~ ^ (fft-i)

 

 

 

в (*ft)

В(*к~l)

fe=

-

1, - 2 ,

 

Ч * -

<ft__tft-1

 

 

 

 

 

‘ft-1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

TO

 

 

 

 

 

 

 

= ^*+1 "f" 0 (Tlft)*

 

 

 

 

(4.12)

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

e2*" i,,ft+1 =

e2ItiEA+1e25,i%( i = V —l),

и

поэтому

 

 

e 2ninh+1 _

g2nilft+lg2msft> , .g W itk -l+ lg W in h -l'

(4 .1 3 )

Так как

B(t)

является

(^",) -броуновским движением и

(X(t),

B(t)) — (3^t)~согласованная пара

процессов,

то

имеем, что

|*+1 не

зависит от о[^, g*-,, gft- 2,

..., тр,

т)л_,,

 

 

...]

и,

таким образом,

из (4.13)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E [ f **ч*+1] =

П

£ [е8яй*-^+1] £ [ е2Л^ - '] .

 

 

 

 

 

 

 

п = 0

 

 

 

 

 

 

 

 

 

 

Так как

|Е [е2™ * -'] | <

1

и

 

Е [e23,iln] =

exp [ -

2д2/(*п -

f ^ ) ] ,

то имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 Е [е2я^

+1] |<

ехр [ -

2л2

£

(tk. n+1 -

«*_„)-* .

 

Устремив l -*■ оо? получаем

 

L

 

 

 

 

 

 

п

=

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Е\е‘1тЦк+1\= 0,

 

к ------ 1 , - 2 , . . .

 

 

(4.14)

Положим^?"1"1=

a [B(t) B(s):

 

 

< s <

 

fh+1].

Тогда a[X (u)T

B(u),

и ^

tk-i] (c : S

F

не

зависит

от

 

 

 

и

цоэтому, согласно

(4.13)

и

(4.14),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Е [e23IiTfo+i |<g)+1] = e2!tll^+ie2nilk- •.e25Ii|fc-*+iE [e2Iti1fift—г] _ о.

 

§ 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА

187

1faK как

V $ г +1 =

то, устремив Zt <», получаем

в**"™ = £ [е2я^+11 Г *

] = lim £ [e2I,iT1*+i |<^+1] =

О

 

 

 

l-foo

 

(см. теорему 1-6.6). Но ото, очевидно, является противоречием.

4.2.

Замена времени. Другим вероятностным методом, применяе­

мым ипогда для решения стохастических дифференциальных урав­ нений, является метод случайной замены времени. Общая теория замены времени в мартингальной теории хорошо известна; мы уже обсуждали ее частично в главе II и в § 1 главы III. Чтобы избе­ жать нежелательных осложнений, мы ограничимся одним специаль­ ным классом замен времени, описываемым следующим образом.

Пусть I — класс функций q>: t *= [0, оо) >->. ф; *= [0, оо), удовлет­ воряющих условиям:

(I)ф0= 0;

(II)ф — непрерывная и строго возрастающая;

(III)

ф( t

00 при И

оо.

 

 

 

 

ф ^ I,

то ф-1 ^ I.

Очевидно,

если

ф-1 — обратная функция для

I — подмножество W 1, и борелевские поля, индуцировапные ^ (W 1),

i? ((W '),

обозначаются

через ^ (1)

и 38t’(l) соответственно. Каждая

ф е 1 определяет преобразование

I4 пространства

W* в

себя

по­

средством равенства

 

 

 

 

 

 

 

 

 

 

 

 

Г *: w е

W" — (Г*!г) е W ',

 

 

(4.15)

где (Т*w)(* )- W (ф( О» *е

[0,

оо). Т* называется

заменой

времени,

определенной посредством ф ^ Г

 

 

 

с

потоком

Пусть

задано вероятностное пространство (£2, £Г, Р)

о-

Рассмотрим

 

отображение

ф: £2э ю *-►ф(to)е

I, которое

^ “(1 ^ (1 )-измеримо

для каждого

t. Такое ф = ( ф (((о))

называется

процессом замены

времени. Очевидно, Ф = (ф1 (<«>))— (^^-согласо­

ванный возрастающий

процесс, и, следовательно, если фГ1 (to) — об­

ратная функция к t ь-» ф( (со),

то фГ1 —

4) -момопт остановки

для

каждого

фиксированного

t е

[0,

оо).

Если X = ( X ( t ) ) — непрерыв­

ный (^^-согласованный процесс, то

Т*Х = ( (Т^Х) (t)),

определен­

ный равенством (Г ФХ ) (t) = X (фГ1)] является непрерывным

 

согласоваппым процессом. Процесс Т*Х называется процессом, по­ лученным из X посредством замены времени ф.

Для процесса, получепного заменой времени ф, онродолим но­

вый поток

(#"<) равенством

3Tt = 3r _ ь

t е [0, °°). Класс *#з’1осот-

носительно

8Г%обозначается

через

Важным следствием тео­

ремы Дуба о преобразовании свободного выбора является то, что

если X е

1ос, то ГФХ е Ж\’1йС, и если X , 7 G

то

 

<Т*Х, 7 *7 )= ТЧХ, У>.

(4.16)

188

ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ

 

Теперь мы применим метод замены времени для решения сто­ хастических дифференциальных уравнении. В последующем мы рассматриваем случай с d = 1, г = 1 и р = 0. Таким образом, для заданного a(t, w) е # ' рассматриваем уравнение

dX(t)=a(t, X)dB(t).

(4.17)

Для простоты предполагаем, что положительные постоянные С, и Сг — такие, что

 

 

 

С1< а (М е ’)< (7 2.

(4.18)

Как мы видели в теореме 4.2, если мы решим уравнение

(4.17), то

мы сможем

решить

и

более

общее уравнение, имеющее снос

Р [t, w)dt, посредством метода преобразования сноса.

{ЗГ,)-броу­

Т е о р е м а

4.3.

(I)

Пусть

b = (b(l))— одномерное

новское движение с 6(0) = 0, заданное на вероятностном простран­

стве (S3, ЗГ, Р) с потоком

о, и пусть X (0) — (&~о)-измеримая

случайная

величина. Определим непрерывный процесс £ = (| (t))

равенством

\{t) = Х (0 )+ b{t).

Пусть ф=(ф<)— процесс

замены

времени такой, что га. к.

 

 

 

t

 

 

 

ф( = | о ( ф „ Г фб )-* * .

(4.19}

 

О

 

 

Тогда, если положим X = 7 ,<р| (m. е. X{t) = \(фГ1) = X (0) +

Ъ(фГ1) )

и 3Tt = ЗГу-i, то существует {ЗГ,)-броуновское движение B = B(t)

такое, что {X(t),

B(t))

является решением (4.17)

на вероятностном

пространстве (£2,

ЗГ, Р)

с потоком {ЗГ,),>0.

(4.17) на вероят­

(II) Обратно,

если

(X(t), В (t))— решение

ностном пространстве (Q, ЗГ, Р) с потоком {3T,)t>„, то существуют

поток {ЗГ,),>0, {ЗГ\)-броуновское движение b={b{t))

с

6(0) = 0 и

процесс

замены времени ф = ф(£) относительно

потока

{3Tt),

та­

кие,

что если положим |(£) =

Х(0) + b(t),

то

(4.19)

выполняется

га. га.

и X = Т91 . То есть любое решение уравнения

(4.17)

может

быть задано таким же образом, как в части (I)

настоящей теоремы..

С л е д с т в и е . Предположим, что заданы одномерное

(&"t)-броу­

новское

движение

b = b (t ) и

ЗГ„-измеримая

случайная

величина

Z(0).

Определим

| =(£(£))

равенством

%{t) — Х { 0 ) + b{t).

Если

существует процесс замены времени ф

такой, что

выполняется

(4.19), и если такое ф единственно (т. е.

если i|?— другой

процесс

замены времени, удовлетворяющий (4.19),

то ф ( £ ) " ф ( 0

п. га.), то

решение

уравнения (4.17)

с начальным

значением

Х(0)

су­

ществует и оно единственно. Более того, решение задается равенст­ вом X =

Д о к а з а т е л ь с т в о . (I) Если b={b(t)), Х (0 ^ и

ф=(ф() опре­

делены согласно части (I) теоремы, то М = Гф6 <=

и <Af> (t) =

 

 

 

 

 

§ 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА

 

 

 

 

189

*1'

 

 

 

 

 

 

 

в силу (4.19) t =

л

 

 

 

 

 

 

 

т фГ1.Если % — Т*%, то

J сс(ф 8, Х)Чф8 и, следова-

тельно,

 

 

 

 

 

 

 

 

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

<p71

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

(Му (t) = фГ1=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j «

(ф8, Х)2йфа= j ос(s,X)4s.

 

 

 

 

 

 

 

 

 

 

#

 

 

О

 

 

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положим

 

 

(«(*, X )rV W (s).

Тогда

5 е

3 fr l0C

и <Я> (i) =

 

t

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= J a (s, X)~2d (Му (s) =

t. Отсюда

следует,

что

В {SF,)-броунов-

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ское

движепие. Так

какM(t)=X(t) X(0)=jcc(s,X)dB(s),

то

(X, В) — решение

(4.17).

 

 

 

 

уравнения

(4.17)

на

веро­

 

(II)

Пусть

(X(i),

B(t) ) — решение

ятностном

пространстве

 

(Q,

3~,

Р)

с

потоком

(&~t) оо-

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

M(t) =

X (t) -

X (0) s

J t? oc и

(МУ (t) =

j

a (s, X)4s.

 

Положим

 

 

 

 

 

 

 

 

 

^

 

 

 

О

 

 

 

 

 

 

 

 

y(t) =

<M> (£), ф( = фГ* и

 

 

- j - Очевидпо, ф = (f<) — процесс

замены

времени

относительно

.О.

 

 

а

процесс

b = ( b ( t ) ) =

( ^ (),

 

= (M(q)t)) — (З^-броуповское

движепие (теорема II-7.2). Если мы

теперь положим %(t) = Х(0) + b(t),

то Т*% = Х. Более того,

так как

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t =

J a (s, Х )-2йфа,

то отсюда следует, что

 

 

 

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ь

 

 

 

 

t

 

 

 

 

 

t

 

 

 

 

 

 

 

 

Фг =

j a (s, Х )-2^

=

j а(ф„, X)~zdu =

j а (фм, T 4 )~ 2du

 

 

 

 

 

b

 

 

o

 

 

 

o

 

 

 

 

 

 

 

 

 

 

и,

следовательно,

ф=(ф()

удовлетворяет

уравнению (4.19).

Дока­

зательство теоремы завершено.

 

 

 

 

 

 

 

 

 

функция

 

П р и м е р

4.2. Пусть

а (ж)— ограниченная борелевская

на R1 такая,

что

а(х) ^

С для некоторой

положительной

 

постоян­

ной С. Положим a (t, w) — a(w{t)). Таким образом, мы рассматри­ ваем стохастическое дифференциальное уравнепие марковского ти­

па, однородное во времени. Если X (0)

и b = b(t) заданы,

то урав­

непие (4.19) можно записать следующим образом:

 

t

t

 

Ф, = J а [ ТЧ (ф8)]~2^ -

f a (l (s))~*ds,

(4.20)

о

о

 

где %{t\= Х (0) + b(t). Следовательно, ф( единственным образом он-

ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ

уделяется через g (£), и поэтому решение стохастического диффе­ ренциального уравнения

dX{t) = a(X{t))dB(t)

задается в виде X (t) — | (срг1) .

 

борелевская функ­

П р и м е р 4.3. Пусть a(t,

х ) — ограниченная

ция на [0, °о)х R1 такая, что

a(t, х ) > С для

некоторой

положи­

тельной постоянной С. Положим a (t,

w)=a(t,

w(t)). В этом слу­

чае уравнение (4.19) принимает вид

 

 

 

t

 

t

 

 

Ф( = J а 1фа, T%((f,s)]~2ds =

fа [<р„ g (s)]~2ds.

(4.21)

■о

 

о

 

 

Это уравнениеср( эквивалентно следующему дифференциальному урав­ нению для вдоль каждой фиксированной выборочной траектории процесса g (t):

|ф( = 1/д [фг, g (f)]2 ),

(4 2i) '

1фо = 0 .

Условие липпшцовости a(t, х) по t является одним из простых до­ статочных условий существования единственного решения (4.21); в этом случае единственное решение стохастического дифференци­ ального уравнения

dX(t) = a(t, X(t))dB(t)

задается равенством X (t) = g ( фГ1) (см. Ершов [47]). С другой сто­ роны, Струк и Варадан [159] доказали, что вышеприведенное стоха­ стическое дифференциальное уравнение всегда имеет единственное решение. Этот факт в свою очередь мояшт быть использован для доказательства того, что вдоль каждой фиксированной выборочной

траектории процесса g (t) уравнение (4.21)

имеет единственное ре­

шение ф( (см. Ватанабэ [11]).

Пусть

локально

ограничен­

П р и м е р 4.4. (Нисио

[134].)

ная борелевская функция

на R1,

а (ж)— ограниченная борелевская

функция па R1 такая, что

а(х)> С для некоторой положительной

постоянной С, и г/е R1. Положим a(t,w)=a

w(s)) ds

w<= W1.

Соответствующее стохастическое дифференциальное уравнение име­ ет вид

dX (t) = a У + j / (X W ) dsj dB (s),

(4.22)

— dt 4V