106 |
ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ |
|
||
О п р е д е л е н и е |
1.1. Обозначим через |
Q совокупность квази- |
||
мартингалов. |
Каждый X е Q выражается |
единственным |
образом |
|
в виде (1.1): |
М = |
Мх называется мартингалыюй частью, |
а А = |
|
— Ах — частью с ограниченной вариацией. Это разложение |
называ |
|||
ется каноническим разложением квазимартипгала Х е ^ . |
|
|||
Единственность канонического разложения устанавливается сле дующим образом. Пусть
X (0) + М {° + 4 ° = X (0) + М\2 -г 4 2)
— два таких разложения. Тогда
М, = М\1 — М(2 = А\2 — А\%: = A t.
Как мы видели в главе II, § 5, <Л/>г задается как предел по вероят-
|
11 |
|
|
|
|
|
|
|
|
|
пости выражения 2 |
|
|
|
ПРИ 1Д1 “*■0» ГДе Д обозначает |
||||||
разбиение 0 = f0 < ^ < ... < Z„ = f и |
|
|Л\= max |f { — f *_! |. |
Но |
|||||||
П |
|
П |
|
|
|
|
l < i < n |
|
|
|
|
|
|
|
|
|
|
|
|
||
2 |
(Ми - М и_ ху = |
S (А,. - |
Ati_ ty < |
V , (A) max \At. - |
А,._,| ->0: |
|||||
j=i |
7<(Л) — полная |
»=1 |
|
функции |
K i « п |
Следова |
||||
где |
вариация |
s G [0, f] |
4 - |
|||||||
тельно, <М\1 — М\2)} = 0, |
откуда следует, что |
= М[2). |
|
|||||||
|
Пространство Q, замкнуто относительно сложения и умножения. |
|||||||||
Вообще, если /(ж1, х2, ..., |
х ")е |
C2 (Rn -»■ R) и X 1, X2, ..., |
Хпе= ф то |
|||||||
Y = f(Xl, X2, ..., Хп) е £ ? |
(см. теорему |
П-5.1). |
|
|
и 7 |
|||||
|
О п р е д е л е н и е |
1.2. Для X, |
У е |
Q будем говорить, что X |
||||||
эквивалентны, и писать X ~ 7, если с вероятностью единица |
|
|||||||||
|
X(t) — X (s ) = Y ( t ) — Y(s) |
для каждых |
0 «£ s ^ |
t. |
(1.2) |
|||||
Ясно, что это отношение ~ является отношением эквивалентно сти. Класс эквивалентности, содержащий X, обозначается через dX и называется стохастическим дифференциалом квазимартингала X;
J* dX (и), по определению, совпадает с процессом X(f) — X(s).
Пусть dQ = ЫХ: X е ф , dJt = ЫМ: М ^ JK) и ds4- = ЫА: А
Введем следующие операции в dQ: зФ. Сложение:
d X + d 7 = d ( X + 7 ) |
для |
X, |
7 е ф |
(1.3) |
Произведение: |
|
|
|
|
dX'dY = d<Mx, Мг> |
для |
X, |
7 е ф |
(1.4) |
где Мх и Му обозначают соответственно мартингальные части про цессов X и 7.
Далее мы определим произведение между 3S и ф
§ i. ПРОСТРАНСТВО СТОХАСТИЧЕСКИХ ДИФФЕРЕНЦИАЛОВ |
Ю 7 |
|
Ж. S&-Умножение: если Ф е 1 и 1 е ^ , т о |
|
|
(Ф-Х) = X (0) + j Ф(s, (о) dMx (s) + 1 Ф {s, w) dAx (s), t^ O , |
(1.5) |
|
о |
о |
|
определяется как элемент в С£. Поэтому с2(Ф*Х) однозначно опре деляется через Ф и dX. Теперь определим элемент Ф • dX из dQ равенством
Ф ^dX=d(Ф ^X). |
( 1.6 ) |
Ипогда вместо Ф • dX мы пишем просто Ф dX.
Т е о р е м а 1.1. Пространство dQ, с операциями з4-, Ж и 9* явля ется коммутативной алгеброй над 91, т. е. коммутативным кольцом с операциями S& и 9 , удовлетворяющим следующим соотношениям:
Ф • (dX + dY) = Ф •dX + Ф •dY,
Ф »(dX •dY) = № •dX)» dY,
(1.7)
(Ф + 4^* dX = Ф • dX+ 4? • dX,
(ФЧ')*сгх = Ф - ( ¥ - с г х )
для Ф, 'F s 9S и dX, dY^dQ. Кроме того, справедливы следующие соотношения:
dQ>dC?< tM, |
d.<4- • dQ •= 0 |
и |
Л? •< #• < # = 0. |
(1.8) |
Д о к и з п т е л ь с т в о. |
Из свойств |
стохастических иптегралов, |
||
установленных в главе |
И, немедленно следует, что dQ — коммута |
|||
тивная алгебра пад 9$. Соотношепия |
(1.8) |
следуют непосредственно |
||
из того, что <МХ, Жг> <= Ж' для X, |
|
|
|
|
С учетом сказанного можно перефразировать теорему II-5.1 в не
прерывном |
случае |
следующим образом: |
если X 1, X2, ..., |
Xdе Q и |
|||||
/ e C2 (Rd- R ) , TO |
Y = /(X 1, X2, ..., |
Xd) e £ и |
|
|
|
|
|||
|
|
d |
d |
|
|
|
|
|
|
|
d Y = y >(d^-dX1+ -L |
^ |
|
(W ) ' dX1.dX}, |
|
(1.9) |
|||
где dif п didjj являются элементами |
и |
определяются |
соот- |
||||||
ветствеппо |
как |
(X1, X s, . . . , X d) |
и |
|
-AXi , X 2, |
Xd). |
Teope- |
||
му П-6 . 1 |
тоже |
|
|
дх'-дх’* |
следующим |
образом: |
|||
можно перефразировать |
|||||||||
(Х‘ (£), X2(t), |
Xd(t))— d-мерный винеровский |
процесс. |
Такая |
||||||
система мартипгалов (X1, X 2, ..., |
Xd |
|
называется |
d-мерным |
вине- |
||||
ровским мартингалом. |
|
|
|
|
|
|
|
||
Теперь мы введем четвертую операцию.
9*. Ж. Симметрическое Q-умножение:
1
1 0 8 |
ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ |
|
Т е о р е м а 1.2. Пространство d/Q с операциями |
9s. Ж. и & |
|||||||
является коммутативной |
алгеброй над |
для X, |
Y, Z |
имеем |
||||
X ° {dY + dZ) — X°dY + X° dZ, |
|
|
|
|||||
(X + Y)° dZ = X ° dZ + Y ° dZ, |
|
|
( 1.11) |
|||||
X°{dY •dZ) = {X° dY)- dZ = X-(dY •dZ), |
||||||||
|
||||||||
(XY)°dZ = X°{Y°dZ). |
|
|
|
|
||||
Д о к а з а т е л ь с т в о . |
Заметим, |
что |
так |
как |
dQ •ds& = 0 и |
|||
dQ -d@ -dQ = 0 , то |
|
|
|
|
|
|
|
|
X°dY = X-dY, |
если |
X |
ш и |
Г е ^ г , |
(1.12) |
|||
и |
|
|
|
|
|
|
(1.13) |
|
(Z'dX)'dY = Z-dX-dY. |
|
|
||||||
Тогда, к примеру, |
|
|
|
|
|
|
|
|
Xo(YodZ) = X-{Y°dZ) + ±-dX-(YodZ) = |
|
|
|
|
||||
= X-(Y-dZ) + ±-X-{dY-dZ) + ±dX .{Y -dZ) = |
|
|||||||
|
= |
(XY) .dZ + -y d (XY) •dZ = |
XYodZ. |
|||||
Другие свойства также легко доказываются, и поэтому мы опускаем детали.
Замечательным обстоятельством для операции 9 .Ж. является то, что правило дифференцирования сложной функции принимает та кой же вид, как и в обычном исчислении. А именно, справедлива следующая
Т е о р е м а 1.3. Если X1, X2, ..., Xdе Q к / е С 1 (Rd -*■ R ) , то для Y = f(X\ X2, ..., Xd е Q имеем
|
|
|
|
|
<i |
|
|
|
|
|
|
|
dY = 2 |
difodX1. |
(1.14) |
||
|
|
|
|
|
»=i |
|
|
|
Д о к а з а т е л ь с т в о . |
Согласно теореме 1.2 |
|
||||||
d |
d |
|
|
|
|
|
|
|
^ d ^ d x 1= |
|
+ \- d m -d x * ) = |
|
|
||||
i=*l |
|
i= l 4 |
|
|
|
' |
|
|
d |
|
d |
/ d |
|
|
d |
\ |
|
= 2 |
dif-dXi + 4 2 |
2 |
W |
' dX*+ 4 2 |
d№ jf>ax} -dxh № |
= |
||
i= l |
|
i= l |
\j ~ 1 |
|
|
},!<=1 |
/ |
|
|
|
d |
|
|
d |
|
|
|
|
= 2 |
di1-dxi + \ |
2 |
W |
*'d X 1 •dxi |
(согласно (1 .8 )) = |
dY. |
|
i= l |
i,j= l |
б 1. ПРОСТРАНСТВО СТОХАСТИЧЕСКИХ ДИФФЕРЕНЦИАЛОВ |
109 |
f
Стохастический интеграл J Y°dX называется интегралом Стра-
о
тоновича, или интегралом Фиска, или иногда симметрическим инте
гралом Фиска — Стратоновича. Справедлива следующая |
|
|
|
||||||||
|
Т е о р е м а |
1.4. Для каждых X и Y из С£ |
|
|
|
|
|||||
|
|
1 |
|
|
П |
|
|
|
|
|
|
|
|
I |
YodX- |
i.i.p |
V |
(X (ti) - X |
( f 1_ 1)), |
(1.15) |
|||
|
|
—I |
|||||||||
|
|
|
|
|Д|-»0 |
г=1 |
|
|
|
|
|
|
где |
Д |
обозначает |
разбиение 0 = tn< tt < . . . < |
tn= |
t, |
а |
|A j = |
||||
= max (ti — ti-i). |
|
|
|
|
|
|
|
||||
l<i<n |
|
|
|
|
Имеем |
|
|
|
|
|
|
П |
Д о к а з а т е л ь с т в о . |
71 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
||
2 |
y(?i)^ |
y |
|
( * |
(h) - |
X (t,_,)) = |
2 Y (fг- i) (X (tt) - |
x |
& _ ,)) + |
||
i—1 |
|
|
|
|
|
n |
i—1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
в -О ) (* (*«) - |
x |
|
||
|
|
|
|
|
|
i^=*l |
|
|
|
|
|
Поэтому утверждение выводится такими же рассуждениями, как
при доказательство теоремы П-5.1. |
|
|
|
(стохастической) |
замены |
||||||||
Обсудим, |
наконец, |
понятие |
случайной |
||||||||||
времени. !)то |
важная |
операции |
на пространстве квазимартингалов. |
||||||||||
О п р е д е л е н и е |
1.3. Процессом замены времени ф мы пазовем |
||||||||||||
любой процесс |
ф = ( ф г) е ^ + |
такой, |
что |
с |
вероятностью |
единица |
|||||||
функция t >-*•ф| — |
строго возрастающая и |
Нтф* = оо. |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
1 1 оо |
|
|
Для заданного процесса замены времени ф мы полагаем |
|
||||||||||||
|
|
|
|
T t = inHit: ф „ > П . |
|
|
(1.16) |
||||||
Тогда с вероятностью |
единица |
т0 = |
0, |
функция t |
строго воз |
||||||||
растает и непрерывна и limTt = |
оо. |
Кроме того, т( — (^"*)-момент |
|||||||||||
|
|
|
|
i t оо |
|
|
^ |
ф„) е |
Положим |
|
|||
остановки, поскольку (тг < и} = |
i t |
|
|||||||||||
|
|
|
|
& i |
= |
^ т (. |
|
|
|
(1.17) |
|||
Таким образом, |
\)— поток на |
(£2, |
|
Р ) . Пусть X = (Xt) — (&"<)- |
|||||||||
вполне измеримый процесс. |
Определим |
Т^Х —( (Т^Х,)) |
равенством |
||||||||||
( ГФХ )( = X tf. |
Тогда Г Х - |
(&,) -вполне |
измеримый |
процесс со |
|||||||||
гласно предложению 1-5.4. Процесс Т*Х называется заменой време ни процесса X, соответствующей процессу ф. Легко видеть, что если
— пространства квазпмартингалов относительно (ДР% и
соответственно, где (&~t) определяется согласно (1.17), то Тч: Q -+ Q является биекцией, сохраняющей. все структуры на пространстве
семимартингалов: |
(Мх) = MT<PXf Гф (Ах) = Ат<?х > X ~ Y тогда |
и только тогда, когда Т*Х ~ T*Y. Таким образом, Т4 индуцирует
н о |
ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ |
|
биекцию между сЙ? и dQ. Кроме того, пространство & относительно t) совпадает с и ТУ— изоморфизм между Jf-алгеброй dQ
и ^-алгеброй dQ. В частности, Тф коммутирует с операцией ЗР.Ж.\ T*(X°dY) = {T*X)°T*{dY).
Доказательство этих предложений проводится следующим обра зом. Согласно теореме Дуба о преобразовании свободного выбора
(теорема |
1-6.11) |
l e |
i |
|
тогда |
и |
только |
тогда, когда |
Т*{М)е= Ж, |
||||||||||||
где пространство |
Ж определено |
относительно |
t) |
и, |
кроме |
того, |
|||||||||||||||
Т9<М, N> = |
<.Т*М, УФА>. |
|
Аналогично, |
А ^ Ж |
тогда |
и |
только тогда, |
||||||||||||||
когда |
|
ТУА е |
Ж-. |
Следовательно, |
7,ф ([ф(Ш ") = |
J 7,ф (Ф) й(7’фМ ) |
|||||||||||||||
для Ф е | |
и |
М ^Ж , |
так |
как |
N = ^ФдМ характеризуется |
как |
|||||||||||||||
единственный |
процесс |
|
из |
Ж |
такой, |
что |
<N, L> = |
|ф d(M, L> |
|||||||||||||
для всех |
i e |
Ж. Так как все операции в (*? |
определяются в терми |
||||||||||||||||||
нах сложения |
(которое, очевидно, |
сохраняется оператором Уф), |
опе |
||||||||||||||||||
рации (М, N> и стохастического |
интегрирования, |
то |
утверждение |
||||||||||||||||||
становится очевидным. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
§ 2. Стохастические дифференциальные уравнения |
|
|
|
|
|||||||||||||||||
по квазимартингалам |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Пусть (Q, ЗГ, Р) и (ЗГ,) заданы, как в |
§ |
1. Предположим, что |
|||||||||||||||||||
заданы |
|
X1, |
X2, ..., |
Хте Q |
и |
система |
|
(o](a:))i= lt 2 .... <г,j=i,2,...,r |
|||||||||||||
действительных |
локально |
ограниченных |
измеримых |
по |
Борелю |
||||||||||||||||
функций па Rd. Мы хотим пайти У1, У2, ..., |
У'1 такие, что |
|
|
||||||||||||||||||
|
|
dYl (t) = |
2 |
о) (У (*)) •dX>(t), |
i = |
1, 2, . . . , |
d, |
|
|
(2.1) |
|||||||||||
|
|
|
|
|
|
i-i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где*) |
У(*) = (У‘ (0, |
Y2(t), |
|
Yd(t)). |
|
|
|
|
|
|
|
|
|
||||||||
Т е о р е м а |
2.1. Предположим, что |
ст)(;г), |
i — 1, |
2, |
..., |
d, j = |
|||||||||||||||
= 1, 2, ..., d, удовлетворяют условию Липшица, |
т. е. |
существует |
|||||||||||||||||||
константа К > 0 такая, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|о)(ж) — о) (у) | |
X |я — у) |
для всех |
х,у<= Rd. |
|
(2.2) |
||||||||||||||
Тогда |
для |
каждого |
заданного |
у = (у1, у2, ..., |
yd е |
|
существует |
||||||||||||||
единственный |
процесс |
|
У = |
(У‘, |
У2, |
..., |
Yd |
|
такой, |
что |
У' е Q, |
||||||||||
y*(0 ) = y i и имеет место (2 .1 ). |
|
отсутствия |
существенных |
измене |
|||||||||||||||||
Д о к а з а т е л ь с т в о . |
В |
силу |
|||||||||||||||||||
ний предположим, что d — 1 |
и что |
(2 .1 ) имеет вид |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
dy = a1 (y(f))*dM + a2 (y(f))*dA, |
|
|
|
|
(2.3) |
|||||||||||
где М е |
Ж, А <= Ж-, йг(х) |
(i = |
1, 2) |
заданы и удовлетворяют |
(2.2). |
||||||||||||||||
*) Очевидно, каждый процесс aj (У (<)) @ 3S-