книги / Стохастические дифференциальные уравнения и диффузионные процессы
..pdf§ 4. РЕШЕНИЕ ПРЕОБРАЗОВАНИЕМ СНОСА |
191 |
|||
• уравнение (4.19) |
задается следующим образом: |
|
||
|
t Г |
«Га |
\ -2 |
|
ф( = |
J Я |
У + j |
/ [(JT*g) и ] du |
(4.23) |
Далее, |
|
|
|
|
j / [(Т%) («)] du = |
J / [g(<p„*)] du = J / [l(u)] tf<p„ = j / (i (u)) <pUdu. |
|||
0 |
o |
o |
o |
|
Поэтому (4.23) эквивалентно следующему уравнениях |
|
|||
|
|
t |
|
|
|
% = |
1/я (У + j / ( I И |
) |
(4.24) |
|
|
О |
|
|
|
|
|
|
|
|
<Ро = |
0. |
|
|
Единственное решение этого последнего уравнения для каждого заданного %(t) можно построить следующим образом. Положим
t
Z{t) = j f(l(u))q>udu.
о
Тогда
z{t)=im))vt=nm)/«{y+mr
и, следовательно, |
|
|
|
|
|
|
t |
|
|
|
t |
|
|
j a (у + Z (s)fZ (s) ds = |
j f(l (s})ds. |
|||||
о |
|
|
|
0 |
|
|
Поэтому, если мы определим А (х) |
равенством |
|
|
|||
|
X |
|
|
|
|
|
|
J а(у + z)Hz |
|
для |
х > |
Q, |
|
Л(х) = |
о |
|
|
|
|
|
о |
|
|
|
|
|
|
|
— J а (у + zydz |
для |
х ^ |
О, |
||
то тогда A(Z(t)) = J / (|(s)) ds и, следовательно, Z(t) = |
А 1 |
|||||
о |
функция |
к |
функции |
х >->■А (х . Таким об- |
||
где А~1 (х) — обратная |
||||||
разом, единственное решение ср( задается равенством |
||||||
t |
i |
/ |
' |
Г * |
|
]\ -г |
ф( = j а (у + Z (s))~2ds = | а I у + А~г j |
/ (g (и)) du\J ds |
192 ГЛ. IV . СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ
я, следовательно, единственное решение уравнения (4.22) сущест
вует и задается равенством X (t) = £ (срГ1)-
Заметим, что в частном случае с f ( x ) = x уравнение (4.22) эк вивалентно следующему уравнению движения со случайным уско рением:
ldX(t) = a (r(t))d B (i), |
(4.25) |
l r ( 0 ) = y.
§ 5. Диффузионные процессы
Диффузиопные процессы составляют класс процессов, которые характеризуются двумя свойствами: марковостью и непрерывностью траектории. Так как обсуждение диффузионных процессов в пол ной общности выходит за рамки этой книги*), мы ограничимся рассмотрением класса диффузионных процессов, которые могут ■быть онисаны посредством стохастических дифференциальных уравнений. Этот класс диффузий является достаточно широким как для теории, так и для приложений **); к тому же стохастическое исчисление снабжает нас очень мощным орудием для изучения таких диффузий.
Сначала дадим формальное определение диффузионных процес
сов. |
Пусть S — топологическое |
пространство. |
Иногда оказывается |
|||||||
удобным присоединение к 5 особой точки Д |
в качестве бесконеч |
|||||||||
но удаленной точки, если S локально компактно. Таким образом, |
||||||||||
мы |
полагаем |
S' = S U{Д>. Точка Д |
называется |
крайней |
точкой. |
|||||
Как |
S, |
так |
и |
S' |
называются |
пространствами |
состояний. |
Пусть |
||
W (S) — множество |
всех функций w: [0, оо) э |
t >-»•u>(f)e S' |
таких, |
|||||||
что существует 0 |
5(^)=^ 00 со следующими свойствами: |
|
||||||||
(I) |
w(t)^S |
для всех |
[0, |
£(«;)), |
и |
отображение f e |
||||
^ [0, ^ (w) ) >-*■w(t) |
непрерывно; |
|
|
|
|
|
||||
|
(II) |
w(t)= А для всех t > t,(w). |
|
|
|
w. Для |
||||
Величина %(w) |
называется |
временем жизни_траектории |
удобства мы полагаем w(<*>)= Д для всех w^ W( S) . Для целого п, носледовательности 0 ^ tt < t2 < ... < tn и борелевского подмноже ства А в S'n = S' X S' X .. . X S' определяется борелевское цилинд
рическое множество в W (5) как
.... tn(A),
*) В одпомерном случае существует удовлетворительная и законченная
теория; см. Ито, Маккин [77], Дыпкин [45].
**) Недавпо, однако, появились результаты о многомерпых диффузион ных процессах, которые не охватываются методом стохастических дифферен циальных уравнений; см., например, Фукушима [172], Икэда, Ватанабэ [56], Мотоо [127] и Орей [139].
|
§ 5. ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
193 |
|
где Я( |
W (S )^ S '‘l |
задается равенством |
|
я/1д2.....(71(«')= |
(гг (f j). iv(t2 , . .. . гг (*„)), |
|
|
и боролевское |
подмножество в топологическом пространстве |
есть |
любое множество в наименьшем a-поле, содержащем все открытые
множества.'Пусть &(W(S))— о-ноле |
в W (S), |
порожденное всеми |
||||||||||||
борелевскими цилиндрическими множествами, и пусть |
(W (S)) — |
|||||||||||||
a-ноле, порожденное всеми цилиндрическими множествами |
до |
мо |
||||||||||||
мента |
t, т. е. множества, записываемые |
в видея^д2.... гп(-А), |
гДе |
|||||||||||
t„*Zt. |
Семейство вероятностей |
{Рх. г е Л |
па (W (S), |
3§(W(S))) |
||||||||||
называется марковским *), если |
всякого i e S ' ; |
|
|
|
|
|
||||||||
(I) Px[w, гг(0)=х} = 1 для |
|
|
|
|
|
|||||||||
(II) |
функция |
|
|
|
измерима но Порелю (или, в бо |
|||||||||
лее общем |
случае, |
универсально |
измерима)**) |
для |
каждого |
|||||||||
A e J ( W ( S ) ) ; ' |
|
|
|
|
|
_ |
|
|
|
|
|
|
||
(III) для |
каждых |
t > s > |
0. |
/ l e ^ , ( W ( S ) ) |
и бореленекого под |
|||||||||
множества Г из S' |
|
|
|
|
|
|
|
|
|
|
|
|||
Рх (А П {w; w(t) е= Г}) = |
f /V<.) Iн" w(t - |
s) e= Г1 Px(du-') |
(5.1) |
|||||||||||
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
для каждого x e |
S'. |
|
x e |
5"} |
называется |
консервативной, |
||||||||
Марковская |
система {Px, |
|||||||||||||
если |
|
Px{w; %(w)= °°} = |
1 |
для всякого |
x ^ S . |
|
|
(5.2) |
||||||
|
|
|
|
В этом случае нам нет нужды рассматривать точку А, так как почти все выборочные траектории лежат в S. Для марковской си стемы {Рх, х S’), t е [0. оо), х е S' и борелевского подмножества Г из S' мы полагаем
|
Р(1, |
х, |
Г) = Р,(гг; |
1г(*)е Г>. |
|
(5.3) |
Семейство {P{t, |
х. Г)} |
называется переходной вероятностью |
мар |
|||
ковской системы. Последовательным |
применением |
(5.1) нетрудно |
||||
убедиться, что |
|
|
|
|
|
|
Рх [гг (tx) <= Лх, w (t2 e v l , . |
. . . , н- (1„) е |
Ап\= |
|
|
||
= \ P(tl7 x,d xj [ P(t2— tx, a?i, tf.r2) |
. . . { P (tn— |
a-n-,, dxn |
||||
Aj, |
A g |
|
|
Aj-, |
|
|
|
для |
0 < tx< t2< . . . < tn, A{ «= & (5'), |
(5.4) |
и, таким образом, мы видим, что две марковские системы на одном
*) Мы рассматриваем только однородный во времени случай. **) См. главу I, § 1.
13 С. Ватанабэ. H. Икада
194 ГЛ. IV. СТОХАСТИЧЕСКИ К УРАВНЕНИЯ
и том же пространстве состояний с одной и той же переходной ве роятностью совпадают.
Пусть задана марковская система {/Jv}. Для каждого |
t 3* 0 мы |
|||||
полагаем *) |
(Ft (W (S)) = П |
П |
3Bt rS(W (i’))P* п & „ (W(S)) = |
|||
___ |
f > 0 |
х z S ' |
___ |
|
|
|
= \/ &~t ( W (5)). Отображение |
ш е |
W ( S ) ^ o (»t>) s |
[0, oo) |
называ |
||
л о |
|
|
|
_ |
|
|
ется моментом остановки, если оно является |
(2~t(W (S )) ) -моментом |
|||||
остановки, |
т. е. если для всякого t > 0 {w: a(w)^t} s |
t(W (S) ). |
||||
Для момента остановки а мы |
полагаем £Fn( W (5)) = {А е |
|||||
^&~oo(W(S)): А П{и?: а(ге) ^ t) е |
(W (S)) |
для |
всякого i 53= О!. |
|||
Марковская |
система {Рх} называется строго |
марковской^ |
системой, |
если для всякого f >= 0, момента остановки а, Л е ^"0(VV (S)) и борелевского подмножества Г из S' имеем
Рх(А П {w; w(t + cr (»))<= Г}) = [ Pw'ww’)) f«’; "’ ( 0 е П Px(dw') (5.5)
л
Д Л Я В С Я К О ГО * * ) X ^ S ' .
О п р е д е л е н и е 5.1. Семейство вероятностен {Px}x-=s' на ( W (5),
2I(W(S)) называется системой диффузионных мер, или просто
диффузией, если оно является строго марковской системой.
О п р е д е л е н и е 5.2. Случайный процесс |
X = {X(t)} |
на S', оп |
|||
ределенный |
на вероятностном пространстве |
(О, 2F, |
Р), |
называется |
|
диффузионным процессом на S, если существует система диффузи |
|||||
онных мер |
{i\}xes' такая, что для почти всех (о |f |
X (/)] е W (S) |
|||
и вероятностный закон па W (S) отображения [У |
X (f)] совпадает |
||||
сУ^(-) = [ J x(-)p.(dx), где р — бореленская |
мера на S', |
определён- |
|||
s' |
|
называемая |
начальным |
||
пая равенством p.(dx) = Piio; Х(0, to)^dx), |
|||||
распределением процесса X. |
|
|
|
|
|
Если X = ( X ( t ) ) — диффузионный процесс и £(<о) = |
inf {t; X(t) = |
||||
= А), то очевидно, что с вероятностью единица |0, £1 э |
t —*■X (t) е S |
непрерывно и Х(£) = А для всех t 3= £. Величина £ называется вре менем жизни диффузионного процесса X. Процесс X называется консервативным, если £(со)= °° и. п.
Пусть теперь С {S') — банахово пространство всех действитель ных или комнлекспозпачных ограниченных непрерывных функций,
определенных на S', а |
(Л, 2 ) (А)) — линейный оператор, отобража |
||||||||
ющий |
С(S') |
в себя, |
с |
областью |
определения |
2) (Л). |
Пусть |
||
(Рх, I G S'I — система вероятностных мер на |
(W (S), |
3S(W{S)) |
та- |
||||||
*) |
Из этого |
определения |
слеудет, что Т ,(W (.V)) |
непрерывно справа, |
т. е. |
||||
5 " , -и, (\V (X )) = T |
t (\\ (S) ) для |
всякого t Z2? О. |
|
|
|
|
|
||
**) Мы можем потребовать, чтобы (5.5) удовлетворялось |
только |
для |
огра |
||||||
ниченных моментов остановки; в противном |
случае |
заменим |
о через |
оДп, |
|||||
А — через A f] {о |
н) и затем устремим и ( оо. |
|
|
|
|
|
|
5. ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
|
|
|
|
195 |
||||
Инн. что функция _х |
Рх(Л )— борелевская |
(или универсально |
изме |
||||||||
римая) для /1<=W(S). Следующее |
определение |
основано |
на |
идее |
|||||||
('.трупа и Варадана [160]. |
|
{PJ |
называется диффузионной |
||||||||
О п р е д е л е н и е |
5.3. Система |
||||||||||
мерой, порожденной (или определенной) оператором А |
(или просто |
||||||||||
Л-диффузией), если |
(PJ — строго |
марковская |
система, |
удовлетво |
|||||||
ряющая условиям: |
|
1 для всякого х; |
|
|
|
|
|
|
|||
(I) |
Pxiir: H; ( 0 ) = X} = |
|
|
|
|
|
|
||||
(II) |
/ ( w (t)) — f ( i r (0)) — j (Af) (to (s )) d e |
является (Px, |
|
(W (S)) - |
|||||||
мартингалом для всякого j^£D(A) |
и всякого х. |
|
|
|
|
|
|||||
Т е о р е м а 5.1. Предположим, что {Рх, х е $ '} — система вероят |
|||||||||||
ностных мер па (W (S), |
3t(\V(S)), |
удовлетворяющая условиям |
(I) |
||||||||
и (II) |
определения |
5.3. |
Предположим |
далее, |
что {РА |
единствен |
|||||
на, т. е. |
|
|
|
|
|
|
|
|
|
|
|
(III) если (В } —любая другая |
система вероятностных |
мер |
на |
(\V(S), 3I(W(S))), удовлетворяющая условиям (I) и (II) опреде
ления 5.3, то Рх = Рх для всякого х.
Тогда {РД — система диффузионных мер, порожденная операто ром Л.
Д о к а з а т е л к с т в о. Достаточно показать, что {Рх} — строго марковская система, т. о. нужно проверить выполнимость условия
(5.5). Так как |
|
|
|
|
|
i |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Xf (t) = f("'(t)) — f(w(0)) - |
f (Af)(w(s))ds |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
О |
|
|
|
|
|
|
|
является |
(Рх. 3), (W (S) )) -мартингалом |
для |
всякого |
x ^ S ' |
и |
t >-► |
||||||||||
>-* X/(t) |
неп])е])Ывно |
справа, |
то |
очевидно, |
что Х{(1) — также |
и |
||||||||||
|
|
(W (S) )) -мартингал. Если |
о — ограниченный |
момент |
оста |
|||||||||||
новки, то согласно теореме Дуба_ о преобразовании свободного |
выбо |
|||||||||||||||
ра |
t ~ |
Xf (t + О) - |
(Рх. STt,e (W (S ))) -мартингал. И |
частности, |
для |
|||||||||||
всяких t > s , i e |
0(W (S)) |
и С «г ^"„(W (S)) |
имеем |
|
|
|
|
|||||||||
|
|
|
Ex(Xf(l + о ) — A',(s + |
о ): А ПС) — 0. |
|
|
|
|
|
|||||||
Отсюда следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Ех(Х, (t + о) — X, (s + о ): A |
|
(S) ))==(! |
для |
Рх-и. в. to. |
|
||||||||||
Следовательно, если Ри(Л) = |
Рх (0а1 (Д)| @~о (W (S ))). I G J |
(W(iS')), |
||||||||||||||
является |
регулярной условной вероятностью относительно SFa(W (S) ), |
|||||||||||||||
где 0О: W (S)->-W (S) |
определяется равенством |
(0aw) (t) = w(a(w)+ |
||||||||||||||
+ |
t), |
то |
Pw(w': w' (0) = ut(a(w) )) = |
1 |
для |
Рх-н. в. w |
и |
X,(t) — |
||||||||
— (Pw, |
3Bt( W( S) ) )-мартингал. Согласно |
предположению |
(III) |
име |
||||||||||||
ем |
Px = Рк(„(и)), а |
отсюда очевндпым |
образом |
следует |
(5.5). |
|
|
196 |
|
ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
С л е д с т в и е . Пусть |
{Рх, х <s 5'} — система |
вероятностных |
мер |
|||||||
на (W (S), |
|
(S))), которая удовлетворяет условиям (I) |
и |
(II) |
||||||
определения 5.3. Условие единственности (III) |
теоремы 5.1 |
тогда |
||||||||
следует из более слабого условия |
(IV): |
|
|
|
|
|
||||
(IV) |
Еели {Рж] — любая другая система вероятностных мер на |
|||||||||
(W(S), &(W(S))), удовлетворяющая (I) и (II), го тогда |
|
|
||||||||
|
|
С / (и: (0) |
{dir) = |
|
/ (и: (f)) К |
(dw) |
|
(5.6) |
||
|
|
W(S) |
|
|
W(S) |
|
|
|
|
|
для всяких l > 0. х <= 5' |
u f^J~, |
где 3~ — некоторое тотальное се |
||||||||
мейство*) |
в |
C (S'). Равенство |
(5.6) |
можно также заменить, ра |
||||||
венством |
со |
|
|
|
|
!Х> |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
f |
f <?->•'/(ю(0) d |
f (dir) = |
_ f |
J |
(H; (0 )dtP'x (dw) |
|
(5.7) |
|||
W(S) » |
|
|
|
W (S)« |
|
|
|
|
||
для всяких X > 0, x e s ' |
и j e J“, |
где ,:7~ — некоторое тотальное се |
||||||||
мейство в С (S'). |
Точно так же, как и в предыдущем дока |
|||||||||
Д о к а з а т е л ь с т в о . |
||||||||||
зательстве, имеем |
|
|
|
|
|
|
|
|
||
|
J |
} (и/ (0) 1,1г(dw') = |
_ |
J / к |
(0 );v«.<u-)>(*«') |
|
|
|||
|
XV(S) |
|
W(S) |
|
|
|
|
|
для всякого ограниченного момента остановки а, н, следовательно,
(PJ — строго марковская система. Так как |
— тотальное семейст |
||||||||||
во, то из нашего |
предположения (5.6) |
следует, что переходная |
ве |
||||||||
роятность P(t, |
х, |
Г )= Px(w(t)^ Г) |
определяется единственным |
об |
|||||||
разом. Следовательно, согласно |
(5.4) |
Рх определяется |
единственным |
||||||||
образом как мера на $(\\(S)), |
т. е. удовлетворяется условие (III). |
||||||||||
Эквивалентность (5.6) и (5.7) очевидна. |
|
теоремы |
5.1. |
||||||||
Следующая теорема является простым следствием |
|||||||||||
Т е о р е м а |
5.2. |
Пусть |
(А, 2) (А)) — линейный |
оператор |
на |
||||||
С(S') и пусть |
(Я, |
SF, Р) и («Г,)(>о заданы, |
как обычно. Предполо |
||||||||
жим, что для каждого x ^ S ' |
существует S'-значный |
(2~^-согласо |
|||||||||
ванный случайный процесс Xx = (X(t)) |
такой, что |
|
|0, £(о) = |
||||||||
(I) с вероятностью единица |
Х ( 0 ) = х , |
отображение |
|||||||||
= t(X r)) э t ->■ X (t) ен S непрерывно и |
Х(1)= А для |
t > |
£; |
|
|||||||
(II) для всякого j ^ 2 ) ( A ) |
|
|
|
|
|
|
|
|
|||
Xf (t) = |
/ (X (t)) - |
i (X (0)) - |
\ (A!) (X (,)) ds |
|
|
||||||
является (2~t)-мартингалом. |
|
|
|
о |
|
|
|
|
|||
|
|
|
|
|
|
|
|
||||
*) Семейство T |
cz C(S') называется тотальным, |
если для любых борелвв- |
ских вероятностных мер р и v на S' из условия j / (.»■) р (tlx) -■ |/ (х) \(dx) для
В 1 В ’
/ s Э~ следует, что р = v.
|
§ 5. ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
197 |
Пусть |
Рх— вероятностный закон процесса Хк на |
(W (S), |
3B(W(S))), |
и предположим, что отображение х >-*■Рх универеально |
измеримо, и пусть, кроме того, Рх однозначно определяется для вся кого х е S'. Тогда {P.T}*=s' — система диффузионных мер, опреде ленных оператором А, а случайный процесс Хх — диффузионный процесс с X (0) = х.
Процесс Хх мы называем Л-диффузионным процессом, выходя
щим из х |
S . |
|
где |
А |
присоединя |
|
П р и м е р 5.1. Пусть S = IV' и 5 '= RJ U{Д}, |
||||||
ется к R ' как изолированная точка. Пусть S) (А) = |
[f |
C(S’): / \n,i <= |
||||
e C ^ ( R d)l, |
и определим А па 3)(Л) |
равенством |
|
|
|
|
|
Aj(x) = |
^ g R "' |
|
|
|
(Гк8) |
|
[О, |
x = A. |
|
|
{Р*}; |
это — |
Тогда оператор А порождает единственную диффузию |
||||||
d-мерное броуновское движение, т. е. Рх — вшюровская |
мора, |
соот |
ветствующая начальному распределению, сосредоточенному в точке х е= R"1.
Чтобы доказать это, покажем сначала, что Рх, х е R'!, копсерва-
тивпа. |
Действительно, функция /(.г), определенная |
посредством |
|||||||
/ (a)|R(( == Ои / ( А ) = 1 , |
принадлежит 2D(Л) |
и Af(x) = 0. Таким обра |
|||||||
зом, IA(w(t) ) — мартингал но мере |
Рх для |
всякого х, |
и, |
следова |
|||||
тельно, |
если |
.г е R'1, |
то IA{ir(t))= 0 |
для Рх-п. |
в. |
w, |
т. |
е. |
|
Px(t.(w) = ° о ) = |
1. Следовательно, для всяких f <=Ci(l\‘!) |
и |
H E R'1- |
||||||
f(io(t)) — /(и?(0))— j1 |
(A.f)w (.<?) ds |
является Р*-мартнпгалом, |
и |
мы |
о
можем применить то же доказательство, что и для теоремы 11-6.1, для доказательства того, что Рх— вииеровская люра, соответ ствующая начальному распределению, сосредоточенному в х. Таким
образом, Л-диффузпя представляет |
собой |
d-мерное |
броуновское |
||||||
движение. |
|
S' и |
2D (А) |
то же, |
что |
и |
в |
примере |
5.1. |
П р и м е р 5.2. Пусть |
|||||||||
Определим А на 2D (Л) |
равенством |
|
|
|
|
|
|
||
|
( |
|
з |
|
|
|
|
|
|
|
| т Л> И + ! * » $ ( * > ’ |
* e R "’ |
|
(5.9) |
|||||
|
[о, |
|
|
|
X |
= |
А, |
|
|
где с = ( с , ) е R' — постоянная. Тогда |
оператор |
А порождает |
един |
||||||
ственную диффузию |
(Ру); |
Рх — вероятностный |
закон процесса |
||||||
X(t) = х + B(l)+ ct, где |
B(t)— d-мерное броуновское |
движение с |
|||||||
Р ( 0 ) = 0 . Эта диффузия |
называется |
d-мерным броуновским движе |
|||||||
нием со сносом с. |
|
|
|
|
|
|
|
|
|
Это утверждение можно доказать подобно утверждению при мера 5.1.
198 |
ГЛ. IV. с т о х а с т и ч е с к и е у р а в н е н и я |
|
||||
П р и м е р |
5.3. Пусть S' = |
Rrf U{А}, |
как п в предыдущих приме |
|||
рах. Пусть 3) (-4) = |
( / е |
С (S'); |
/ |R,; е |
С/',(R ‘f) и /(A) = 0), |
и опре |
|
делим Л на 2D (А) |
равенством |
|
|
|
||
|
Af(x) = |
| (А /)(х ) - с /(х ), х «= Rrf, |
(5.10) |
|||
|
|
|
LO, |
|
х = Д, |
|
где с > 0 — постоянная. Тогда оператор А порождает единственную диффузию {РА на II'. Покажем, что Рх— вероятностный закон про цесса Хх, определенного следующим образом. Пусть (/!(/)) (й(0) = = 0 )— ^-мерное броуновское движение и е — независимая экспо ненциально распределенная случайная величина с математическим ожиданием 1/с. Определим
ix + B{t), |
если |
t< .e, |
Xx(t) — |
если |
|
Эта диффузия называется d-мерным броуновским движением со случайным поглощением со скоростью с. Чтобы доказать утвержде ние о том, что Рх — вероятностный закон этого процесса Хх, мы сначала заметим, что система {РА очевидным образом удовлетворя ет условиям (I) и (II) определения 5.3. Функция /5(х), IsR '*, оп ределенная равенством
/ ? ( * ) * 0, |
X< R", |
X= |
принадлежит 2Ь{А), и поэтому, если (Лс) удовлетворяет условиям
(I) |
и (II) определения 5.3, то |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
г |
|
|
|
|
|
|
h («• (t)) - |
h И 0)) - |
J (Aft) № (*)) ds |
|
|||||||
является Рятмартингалом. Таким |
образом, |
если |
x ^ R 7, то*) |
|||||||||
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
Е х’ [ е ^ ш |
: |
S |
> 0 |
= |
e ,<Sl!e>- |
( 4, |
^ |
+ |
c ) |
f Z > s ] d s , |
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
и поэтому Ex\ii {w (£))] = |
Ех |
|
£ > |
t] ~ ei<i'x>~№2li+c'>1. Заккак |
||||||||
{fi |
: 1 е R ) — тотальное |
семейство, |
то заключаем, что UM совпада |
|||||||||
ет с {PJ согласно следствию теоремы 5.1. |
|
|
|
|
||||||||
|
П р и м е р |
5.4. |
Пусть |
S = R '|:= |
\х = |
(х1, х2, . . . , |
х'1 е R1'; х' > |
|||||
^ |
0), S' = R+ |
(J {А}, где А присоединена |
к R+ как |
изолированная |
||||||||
точка.Пусть ЕЕ (И) — |/ е |
С (5'); |
/ j nd е |
Cf,(R!() |
н |
£я|о5 = 0}’ где |
*' /;л обозначает математическое ожидание по мере Рх-
|
|
|
|
§ 5. ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
|
|
|
199 |
|
||||||
dS « ( I G |
R'i : xd= |
0), |
|
и определим А па 3) (Л) равенством |
|
|
|||||||||
|
|
|
|
а |
|
|
/ |
|
м |
|
|
- |
Н |
(5.11) |
д |
|
|
|
|
|
|
|
[о, |
|
х = А. |
|
|
|
|
|
|
Тогда оператор А порождает единственную диффузию {PJ на R+, |
|
||||||||||||||
где Рх— вероятностный |
закон процесса Хх(t), определенного следу |
|
|||||||||||||
ющим |
образом. Пусть |
B(t) — (Bl(t), Bl (t), |
..., |
B'!(t))— d-мерное |
|
||||||||||
броуновское движение с £?(())= 0 и |
|
|
|
|
|
|
|
||||||||
Xx(t) = ( x l + Bl(t), |
x2 + |
B2{t), |
. .., |
х‘(- ' + B"-l(t), |
\x, + Bl(t)\). |
|
|||||||||
Эта диффузия называется броуновским движением на |
Rr'. с |
отра |
|
||||||||||||
жающим экраном. Чтобы доказать ото утверждение, заметим снача |
|
||||||||||||||
ла, |
что |
согласно |
п. |
4.2 |
главы |
III X* (t) = |
xh + |
Bh(t) + |
8ЫФ(0 для |
|
|||||
/г = |
1, |
2, |
..., d, |
где |
В{1)— d-мернып виперовскин мартингал*), |
|
|||||||||
а |
<p(i)— локальное |
время |
процесса |
Xx(t) |
в 0, |
т. е. ср(£) = |
|
||||||||
|
|
|
« |
|
|
|
|
|
|
|
|
|
|
|
|
= Н т (Д- [ / (0jR) (Х‘х (s)) ds. |
Следовательно, по формуле Ито |
|
|
||||||||||||
|
е 4 " |
о |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Xx( l ) ) - f ( x ) - j j ± y ( X x(s))ds = |
|
|
|
|
|
|
|
||||||||
|
|
|
* |
О |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
= |
2 |
,fJ-k |
( « ) ) dP ( * ) + |
. [ |
(X* ( * ) ) |
/ a s ( X , |
(s)) d<p (s ) = |
|
|
|||||
|
|
|
|
|
|
|
2 |
i 7 1 |
(x * ( * ) ) Я* (я), |
если |
/ е ® ( Л ) . |
|
|||
|
|
|
|
|
|
|
*“ ) Ji дх |
|
|
|
|
|
|
|
Таким образом, {PJ удовлетворяет условиям (I) и (II) определе ния 5.3. Чтобы доказать единственность любой такой системы (Т**)) положим для £ = (£', сД . . . , s') <= R'
, |
, , ( f f ^ ^ c o s l V , |
х е |
R'j., |
h lr) = |
z = |
A. |
|
|
lo, |
||
Тогда /; е 2 ) ( Л ) |
и, следовательно, |
|
|
h (» (0 ) — /5 (г) — СИ /i) («> (* ))*
*) Действительно, БЧО = #*(0 для |
и S 'f (0 — J sga(^d -I-Bd{s))dBd(s). |
о
2 0 0 |
ГЛ. IV. СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ |
|
является Рх- мартингалом. Заметив, |
что Af% = |
—Ц^-/е, будем |
иметь |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
E x Ih |
(ю |
(*))1 |
= h |
(* ) - |
Щ |
- |
f |
Е ’х [ / 5 (W (* ))] d s . |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
х |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
Ил этого .уравнения |
следует, |
что |
Ех [Д ((<-'Д))1 = |
схр ^— Ц г-^ )/*(г)> |
|||||||||||||
и так как |
(Д, |
| е |
IV'}— тотальное семейство, |
то |
можно |
применить |
|||||||||||
следствие теоремы 5.1 и .заключить, что Рх = Рх. |
|
только |
одномер |
||||||||||||||
П р и м ер |
5.5 |
[77]. Для |
простоты |
рассмотрим |
|||||||||||||
ный случай. Пусть |
S = |
[(), °о) |
и |
S' = |
[0, °°) U{Д}, |
где |
А — присо |
||||||||||
единенная |
к |
S изолированная |
точка. |
Для |
заданного |
параметра |
|||||||||||
у (0 < у < |
1) |
|
пусть |
|
0 |
(Л) = |
|/ <= С (S'): / |1()>оо) <= С?,([0, оо)), |
||||||||||
(1 — "У) /(0) = |
"(Г (0) }, и определим А |
на 0 (A ) |
равенством |
|
|||||||||||||
|
|
|
|
|
(4 7 ^ /И ’ |
л-е|0, ОО), |
|
|
|
(5.12) |
|||||||
|
|
|
Л/(л) = |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
((). |
|
|
|
х = Д. |
|
|
|
|
|
|
||
Оператор А порождает |
единственную |
с |
диффузию |
{/Д} |
па |
[0. <»), |
|||||||||||
называемую броуновским движением |
упругим |
экраном |
с |
пара |
метром у. Покажем, что Рх— вероятностный закон определяемого следующим образом процесса Xx(t). Пусть tx(t) — отраженное броуновское движение, выходящее из .г, а ([ ( /) — его локальное вре
мя в 0, т. |
е. (t) = П т ^ |
(%х (s))ds. Пусть |
е — случайная |
||
величина, |
которая |
811 |
о |
распределена |
со средним |
экспоненциально |
|||||
7/(1 — 7) |
и которая не зависит от |
Положим |
|
||
|
Xx(t) |
|М0> |
если £ < £ : = inf {Ц q; (t) > |
е}, |
|
|
|д^ |
если |
|
|
Доказательство получается аналогичными рассуждениями, как и в примерах 5.3 и 5.4 для | е R, полагая
|
[V£cos lx + |
( I — у) sin |х, |
х е 10, оо), |
|
/ g ( ^ ) = |0 , |
|
|
х = Д . |
|
П р и м ер |
5.6. Пусть S — ограниченная |
гладкая область в IV и |
||
5' = 5 U{Д}, где А присоединена к S в качестве бесконечно удален |
||||
ной точки*). |
Пусть 0 (A ) = |
C„(S) |
( = { / : / дважды непрерывно |
|
дифференцируема в S и стремится к 0 в Д}). Определим Л на 0 ( A ) |
||||
равенством |
|
|
х е |
S, |
|
Af(x) = |
-5-А/М . |
||
|
0, |
х = |
(5.13) |
|
|
|
Д. |
!) То ость S’ — одноточечная компактнфикация пространства S.