книги / Стохастические дифференциальные уравнения и диффузионные процессы
..pdfg 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