416 |
ГЛ. VI. ТЕОРЕМЫ СРАВНЕНИЯ И АППРОКСИМАЦИИ |
|
Тогда |
|
|
|
lim sup Р ^ [ 1|1 1 у |г>Мб|||г«|г<6 ] = 0 . |
(8 .1 2 ) |
|
Мtoo 0<6<1 |
|
Д о к а з а т е л ь с т в о . Пусть i¥*j фиксированы. Положим |
|
|
|
|
а (*)= т |
I К®1)* |
+ |
(wJy (s)] ds- |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
Мы |
отметили в § |
6 , что B(t) = Tjti(a-1(f)) — броуновское |
движение, |
|||||||||||||||
же |
зависящее от |
{(и>*)2(£) + (и /)2(£)} |
(и, следовательно, |
не |
завися |
|||||||||||||
щее от радиального процесса {|и?(£)|} |
и, |
в |
частности, |
от |
|
1Ы 1Т) . |
||||||||||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Р W[ |riij IT > |
M b 11| w |T < |
6 |
] = Pw [ |В (a (*)) | r > |
M b 11| w ||r |
< |
6] |
< |
|
||||||||||
|
|
|
Г |
max |
IJB(s)j> |
MS] = Pw Г |
max |
|B (s)|>M l, |
||||||||||
|
|
|
lo«*<62T/4 |
|
|
J |
|
LO<S<SJT/4 |
|
|
|
J |
||||||
что и доказывает |
(8 .1 |
2 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
С л е д с т в и е . |
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
£i7 (£) = |
j |
(s) о |
(s), |
i, / = |
1, 2, . . . , |
r. |
|
|
|
(8.13) |
||||||
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда для всех i, j = |
1, |
2, |
..., г |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
lim |
sup |
P w (||rj lr > M (5 )| I M r < 6 ) = |
0. |
|
|
(8.14) |
||||||||||
|
|
Aff°° 0<6<l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
В |
частности, для всякого е > 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
P TV ( II |
11т > |
6 \|^ 1т< |
6 ) —>■0 |
нрм |
6J0. |
|
|
|
(8.15) |
|||||||
|
Д о к а з а т е л ь с т в о . |
Так |
как |
|
- j iul (£) tu7 |
(£) — £Jl(£) = |
rf7 (£), |
|||||||||||
то |
(8.14) вытекает сразу из (8.12). |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Следующая лемма является ключевой для доказательства тео |
|||||||||||||||||
ремы 8 .2 . |
8.3. Пусть |
f(x): |
Rd->-R— ограниченная |
и равномерно |
||||||||||||||
|
Л е м м а |
|||||||||||||||||
непрерывная функция. Тогда для всех е > |
0 |
и г, / |
= |
1, |
2. ..., |
г |
||||||||||||
|
Р IV |
( |
|
|
|
|
> e l i x i r < 6 |
-►0 |
при |
6 |0 |
. (8.16) |
|||||||
|
J /(*<«. w))dt{s) |
|||||||||||||||||
|
|
о |
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§ 8. НОСИТЕЛЬ ДИФФУЗИОННЫХ ПРОЦЕССОВ |
|
|
|
417 |
||||||||||
Д о к а з а т е л ь с т в о . |
Предположим |
сначала, что |
/ е |
Cb(Rd). |
|||||||||||||
Тогда по формуле Ито*) |
|
|
|
|
|
|
|
|
|
|
|
||||||
t |
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
J' f (X (a)) i |
f |
(a) = |
/ (X (*)) 6U (t) - $ f t(X (s)) oi (X (S)) Г ’ (*) |
|
(*) - |
||||||||||||
0 |
|
f |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
- |
j |
(И/) (X (s)) p |
(a) d s - \ n |
(X (3)) oj (X (3)) н>* (з) ds = |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
= |
|
Ii(t) + |
/ 2 W + |
I3(t) + |
/ 4 (£). |
||
Очевидно, |
достаточно |
показать, что Pw{WU(t) IIт > |
е I 1Ы1Т < |
б) О |
|||||||||||||
при б 10 для всякого |
в > |
0 и i — 1, |
2, |
3, 4. Это следует |
из |
(8.15) |
|||||||||||
для i = |
1 и i = 3 и является очевидным для i = 4. Так что остается |
||||||||||||||||
только |
рассмотреть |
h(t). |
Для |
простоты |
полагаем |
аДж) = |
|||||||||||
= —fi{x)al(x).Тогда, по формуле Ито,**) |
|
|
|
|
|
|
|||||||||||
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I z (t)= $ a h(X(s))VJ(s)dwk{S |
= |
|
|
|
|
|
|
|
|
||||||||
|
о |
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
(X (0) Р |
(t) wh(t) - |
J a*., (X (s))oj„ (X (s)) P |
(s) u;h (s)du>m (s) - |
|||||||||||||
|
f |
|
|
|
|
|
0 |
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
- j (Aah (X (*)) £y(*) |
(s) ds - |
f a„ (X (*)) |
(s) d£y (s) - |
|
|||||||||||||
|
0 |
|
|
|
|
|
|
|
|
o |
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
— j a.j (X (s)) U'i (s)ds — j 1° (s) aM (X (s)) о™ (X (s)) 6ftmds — |
|
||||||||||||||||
|
о |
|
|
|
t |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
f ,r" (s) a*., (X (*)) oj (X (3)) w’ (з) ds = |
|
|
|
|
||||||||
|
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
— Jj{t) + J2{t) + J3(t) + Ji(t) + Ji(t) + J6(t) + J7(t). |
||||||||||||||
Опять-таки |
достаточно |
показать, что |
Р^ДН/ДОИт > |
е 11Ы1Г < 6)-*- О |
|||||||||||||
при б I 0 для всех в > |
0 |
и |
S = |
1, 2, ...» |
7. Это пе представляет труд |
||||||||||||
ностей для |
i = |
1, |
3, 5, 6, |
7. Согласно |
теореме |
II — 7.2', существует |
|||||||||||
одномерное |
броуновское |
движение |
B(t) |
такое, |
что |
Л(£) = В (a(t)), |
|||||||||||
где |
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а (t) = |
</2, / 2>( = |
j [gy (s)]2 [afc, |
|
|
(X(s)) |
(s) |
|
(s)ds. |
|||||||||
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
*) |
__ -J— |
Мы также следуем обычному соглашению о |
суммировании. |
||||||||||||||
|
,г |
дк г ' |
Э |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
* • ) |
а к 1 |
( х ) |
|
а к (х). |
|
|
|
|
|
|
|
|
|
|
|
||
27 с. Ватавабэ, Н. Икэда
420 |
|
|
ГЛ. VI. ТЕОРЕМЫ СРАВНЕНИЯ И АППРОКСИМАЦИИ |
|
|
|
|||||||||||
Д о к а з а т е л ь с т в о |
т е о р е м ы |
8.2. |
Докажем |
сначала |
(8.9) |
|
|||||||||||
для случая, когда ф(£)=^0. В этом |
случае, |
|»=(|»(ж> |
<р)) |
реше |
|
||||||||||||
ние уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Имеем |
|
|
|
|
|
1 |
£<>= *• |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Мы докажем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
P w ^||j*oi(X(s))o^ft(s)|| |
>е|||ш[|г < |
б ^ |
0 |
|
(8.17) |
|
||||||||
п р и |
б I 0 для всякого е > |
0. По формуле Ито *): |
|
|
|
|
|
|
|||||||||
t |
|
|
|
|
|
(X (t))wk (t) - |
* |
|
|
|
|
|
|
|
|
||
\ |
(X (s)) о dwk (s) - |
4 |
j V (.9) |
. d (at (X (s))) = |
|
|
|||||||||||
о |
|
|
|
|
|
|
t |
|
о |
|
|
|
|
|
|
|
|
|
= |
|
X( ( t) |
)I P* |
( |
i ) |
j |
alno (Xi , (s)), |
(whX |
(s) ° (dwms ) |
)(s) - |
|
|
||||
|
4 |
- |
|
|
|||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
f o h (X (sj) bl (X (s)) wk (s) ds = |
I г(0 + h (*) + |
7sW* |
|
||||||||||
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
Достаточно показать, что для всякого в > 0 и i = |
1, 2, 3 |
|
|
|
|||||||||||||
|
|
|
7>w’(H/i(<)1> е 11|1Р|т < |
6)-^ 0 |
при |
б 10. |
|
|
|
||||||||
Рассмотрению подлежит лишь случай i —2. Имеем |
|
|
|
|
|||||||||||||
I2 (t) = |
j |
( |
- |
, |
|
( |
Xс |
(s) = s |
) |
) |
|
o |
L |
( |
X |
( s |
|
< |
|
|
|||||||||||||||
О
=- J ah (X (s))o* (X (s))dlhm(s) -
0
_ j [ai,,oL] (X (s)) al (X (s)) и* (s) 8°mds = A (*) + A W
в
где для всякого в > 0 и / = i, 2
P w ( l l / i ( 0 H r > e I 1 М т < б ) - » - 0 п р и |
6 1 0 . |
|