376.ГЛ. VX. ТЕОРЕМЫ СРАВНЕНИЯ И АППРОКСИМАЦИИ
является экспоненциальным мартингалом. Посредством преобразова ния сноса, определенного процессом M(t) (см. п. 4.1 гл. IV), полу
чаем d-мерный |
винеровский процесс |
— |
где |
(<) = |
||
t |
|
|
|
|
|
|
= wt(t) — \bl(r(s))ds. |
Уравнение |
(6.1) |
теперь |
превращается в |
||
о |
|
|
|
|
|
|
уравнение |
|
|
|
|
|
|
I dr(t) =Lk(г(t)) о dwh(t) + L0 (r (t)) dt, |
(6.15) |
|||||
1 |
r (0) = r, |
|
|
|
||
|
|
|
|
|||
где Eo — векторное поле |
на O(M), |
задаваемое равенством |
Et(r)— |
|||
= bh(r)Eh(r). Непосредственно проверяется, что Е0 совпадает с го ризонтальным лифтом векторного поля Ь. Таким образом, решение уравнения (6.1) получается из решения уравнения (6.13) посред
ством преобразования |
сноса, |
определенного |
мартингалом M{t). |
||||||||
В |
частности, |
диффузия, порожденная |
оператором —А + |
Ь, получа |
|||||||
ется из броуновского |
движения |
тем |
же |
самым |
преобразованием. |
||||||
Заметим, что M(t) можно также выразить в виде |
|
|
|||||||||
М (t) = exp |
J |
(£>(b) + ~2 J s [CO (b)] (X (s)) At - 4 |
J ! Ш(b) W2(X(,))ds = |
||||||||
|
|
|
|
0 |
|
|
|
|
0 |
|
J |
|
|
|
f ® ( b) - |
t |
|
|
|
|
t |
|
|
|
= exp |
4 J |
div (b) (X (s)) ds - |
4 |
J|| b f |
(X (*)) ds |
|||||
|
|
|
*[0,1] |
|
0 |
|
|
|
|
0 |
|
Это следует немедленно из |
(6.3) |
и равенства |
|
|
|
||||||
2 |
Ь1(г)3 = 2 |
e\e\bi (х) h (ж) = g}l (х) Ъi (ж) Ь, (х) = |
|
|
|
||||||
i=l |
г— 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
gji И |
Ь1(х) Ъ1(х) = I Ъf (х). |
||
§ 7. Теоремы аппроксимации для стохастических интегралов и стохастических дифференциальных уравнений
Как мы видели в этой книге, стохастические интегралы и реше ния стохастических дифференциальных уравнений являются наи более важными и типичными примерами винеровских функциона лов. Если в этих определениях иптегралов или уравнений броунов скую траекторию заменить гладкой траекторией, то они определя ются посредством обыкновенного исчисления и тем самым мы имеем функционалы, определенные на обычных траекториях. Естественно возникает такой вопрос: если подставим в эти функционалы, опре деленные на гладких траекториях, аппроксимацию виперовского процесса (т. е. процесс, состоящий из гладких (выборочных) тра-
378 гл . VI. ТЕОРЕМЫ СРАВНЕНИЯ II АППРОКСИМАЦИИ
Гёльдера дает, что
/ в |
|
|
|
|
|
|
|
|
|
|
\Pi |
|
/ |
6 |
x\Pml |
|||
Е [yl^1(*,«?)к) |
yl^*(*.®)kj |
|
...у|^ж(*,ю)к) |
|
||||||||||||||
|
|
.■7(pi+p2'l'---+J,m) |
|
|
|
|
|
|
|
|
|
|
+ p2 + . . • + |
|
|
|||
^ ci6 |
|
|
, |
есл и |
P i > |
l |
|
|
и |
P i |
P m < 6 . |
|||||||
Согласно |
(III), эта оценка также остается в силе, если ) |
заменить |
||||||||||||||||
(M-D6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
через |
f |
. Опять посредством |
неравенства |
Гёльдера получаем, что |
||||||||||||||
h6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
р , |
/П .,б |
|
|
|
|
|
|
\ Р 2 |
|
|
|
|
|
y f |
I в* (s, н>)|«\ds ) |
( f |
|Be2 (S, W |
I dsj ... |
|
|
||||||||||||
nm6 |
|
|
|
Pm |
^ |
Pi |
|
l>2 |
|
|
|
pmi,f(pl+p2+ -+ p*n) |
|
|||||
I |
Г |
I b‘m / |
\IJ \ |
|
|
|
|
(7.2) |
||||||||||
. . . I j |B6 |
(s, |
n;)|dsJ |
|
|
И, |
|
. . . n m 62 |
, |
||||||||||
если 1 < p{, p, + p2 + ... + pm^ 6 и Rie |
|
Z+. |
|
|
|
|
||||||||||||
Введем следующие обозначения: |
|
|
|
|
|
|
|
|
|
|
||||||||
Sij (t, б) = у |
E |-|-j |
[ Be (s, H?) Be (5 , ZP) — B& (s, zt>) Be (s, «;)] dsj |
(7.3) |
|||||||||||||||
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cij (t, |
6) = |
-j- f? |
j Bj (s, |
w) [B i (t, w) - |
B{ (S, UP) ] d« |
|
(7.4) |
|||||||||
для i, / — 1, 2, |
..., |
г и f > 0 . Очевидно |
|
(sy(f, |
б)) — кососимметриче |
|||||||||||||
ская г Х |
/--матрица для каждых t и б. |
|
|
|
|
|
|
|
|
|||||||||
Сделаем следующее |
7.1. Существует кососимметрическая гХг- |
|||||||||||||||||
П р е д п о л о ж е н и е |
||||||||||||||||||
матрица (sy) такая, что*) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
s « (6 , |
8 ) - + s i} |
|
при |
|
6 1 0 . |
|
(7 .5> |
||||||
Положим |
|
|
|
|
1 |
. |
|
• |
|
|
|
|
|
|
|
|||
|
|
|
Сц ~ |
|
|
|
|
I., 2, |
. . . , г. |
|
(7.6) |
|||||||
|
|
|
зц 4" ~2 |
|
|
} = |
|
|||||||||||
*) Можно рассматривать случай, когда s ; (6„, en)_*.s{i для некоторой по-, следователыгости On 4 0. Все нижеследующие результаты также справедливы и в этом случае, если заменить {6} последовательностью {6„}.
380 |
ГЛ. VI. ТЕОРЕМЫ СРАВНЕНИЯ И АППРОКСИМАЦИИ |
|||
|
- Е [wl (6*) |
(б*)] + Е [и/ (б*) Bi (0, иг)] - |
||
= б*Су (б*, |
б ) - у £ [ « / |
(б*) w} (б*)] - |
Е |
(0, w) 4 (0, W)] + |
Утверждение теперь очевидно, поскольку |
+ ^ [ю , (б * )^ (0 1ю)]. |
|||
|
||||
|
Е [in® (б*) w1(б*)] = |
буб*, |
||
|Д[В£(0, ю) |
w)]|< ( £ [ ^ ( 0 , w)2] ) l/2(£ [B a O , w)2])1/2< с2б = о(6*) |
|||
и
| ^ [^ (б * )5 б{ (0, ^ )]| < (я [^ (б * )2] ) 1/2(я [в а 0 , W)2])1/2<
< c 36*’'261/2 - о ( б * ) .
Прежде, чем формулировать основные результаты, приведем не которые примеры. Пусть Ф — пространство непрерывно дифферен цируемых функций ф па [0, 1] таких, что ф(0) = 0, ф(1) = 1. Пусть
<Р= ^Ф и Aftu>''= и?'(&6 + б) — w{(kb).
П р и м е р 7.1. Выберем ф' е ф , i = 1, 2, ..., г, и положим
Be (t, w) — w{ (kS) + ф1 ((i — /сб)/б) Ehwl. если |
|
|
|||
|
|
fe6^ t <Z(k + |
1) б, к = |
0, 1, . . . . |
(7.8) |
Нетрудно проверить, что {Bs(f, w)}a>o удовлетворяет всем усло |
|||||
виям (I) — (VI) |
определения 7.1 и поэтому представляет собой ап |
||||
проксимацию винеровского процесса. Например, |
|
|
|||
■( в |
ie"l |
/1 |
\в |
/ 1 |
\в |
£|JjlsH^)k{ J=£LK^I8](J^)kJ -lsyVwkJ s3. |
|||||
Также ясно, что s.j(6, 6) = 0 и поэтому предложение 7.1 удовлетво
ряется с Si] = 0. (Таким образом, |
в этом примере су = |
бу.^ Если, |
||||
в частности, |
фi(t) = t для |
i = l, |
2, . . . , г, то тогда {Z ?s(f, ш )}а >0 яв |
|||
ляется обычной кусочно линейной аппроксимацией. |
|
i — 1, 2. |
||||
П р и м е р |
7.2. (Макшейп [109].) Пусть г = 2 и ф*^Ф, |
|||||
Положим |
|
wl (Щ + |
фг ((t — А6)/б) А^иЛ |
^ |
0, |
|
|
|
|||||
|
|
wl (Щ + |
ф8_г ((t — А6)/6) A^tn1, Аьи/ЛАhw* < |
0,, |
||
если Ы |
t < (к + 1)6. |
|
|
винеровского |
||
Легко |
видеть, что {B6(f, w) ){>0 — аппроксимация |
|||||
процесса. В этом случае, однако, |
|
|
|
|||
^ j{B6(s,iy)B6(s,iy)—B 6 (s,to )B i(s,to )}d s= i^ ^ ^ f 1 —2jV(s)9*(s)ds\ о ' О у