126 |
|
ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ |
|
|
элементом Ж\ таким, что для каждого N е Жг |
|
|||
|
|
<N, L }t = J f Ф (и, а, ©) р (da) |
d (М, iV>u. |
|
|
|
О Rl |
|
|
Теперь, |
согласно предложению II-2.4, |
можно |
заключить, что |
|
t |
|
|
|
|
Lt = J | |
[ Ф (и, а, (а) р (da)\ dMu. Этим завершается |
доказательство |
||
О IR1 |
1 |
|
|
|
равенства |
(4.5). |
|
|
|
4.2.Отраженное броуновское движение и уравнение Скорохода.
Пусть |
X —(X t) — одномерное |
броуновское |
движение |
и |
пусть |
|||||||
Х + = |
( x t ) — непрерывный случайный процесс на |
[0 , |
°°), опреде |
|||||||||
ленный равенством |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
X t = \Xt\. |
|
|
|
|
|
(4.6) |
||
Легко видеть, что |
|
|
|
|
|
|
|
|
|
|
||
Р [X f+ е= Аи Х+ |
.........Ап] - |
|
|
|
|
|
|
|
|
|||
|
- |
[ р + (dx) |
| p +(ti, х, xt)dxl J" p + (f2 — *i, *i, x^dx2 . . . |
|
||||||||
|
|
[0,ao) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . . |
j* p+ (tn |
tn—i, |
1 » Xft) dxn, |
(4.7) |
||||
где |
0 < « ! < ^ |
< •••< t n, |
i j E |
# ( [ 0 , oo)), |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
p+ (f, *, y) = |
(exp { - (- ^ |
- * } |
+ |
exp ( - |
Ц |
^ |
} ) |
(4.8) |
||
и |
(i+ — распределение |
вероятностей |
случайной |
величины |
X j = |
|||||||
= |
|X01. Процесс X+ называется одномерным отраженным броунов |
|||||||||||
ским |
движением. Отраженное |
броуновское |
движепие |
может |
быть |
|||||||
охарактеризовано различными способами. Теперь мы предложим одну такую характеризацию, принадлежащую Скороходу [149].
Полагаем |
Wo = { / е С ([0, о о ) ->- R): |
/ (0) = |
0} |
и |
С+ = |
|||
= (/ е С([0, |
«j) -*■R ): /(f) > 0 для всех f > |
0}. |
|
|
|
|||
Л е м м а |
4.2. Для заданных |
/ е WJ |
и х е R+ |
найдутся |
един |
|||
ственные функции g е С+ u ft е |
С+ такие, что |
|
|
|
||||
( I ) * ( f ) = * + / ( f ) + A ( f ) , |
|
|
|
|
|
|
||
(II) |
А(0) = 0 к fw-ft(i)— возрастающая функция, |
|
||||||
|
t |
|
|
|
|
|
|
|
(III) |
j"I {0y(g(s))dh(s) = h ( t ) , T . |
e. h ( t ) |
возрастает |
только на мно- |
||||
о
жестве тех значений f, для которых g(t) = 0 .
|
|
|
§ 4. ПРИЛОЖЕНИЯ К БРОУНОВСКОМУ ДВИЖЕНИЮ |
|
|
|
|
127 |
||||||||||||||||
Д о к а з а т е л ь с т в о . |
Положим |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
g{t) = x + f(t) — min |
{{х + |
|
/ (s)) Д 0), |
|
|
|
(4.9) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
0< s< t |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
h{t) = — min {(х + |
/ (s)) |
Д 0}. |
|
|
|
|
|
|
(4.10) |
|||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда |
нетрудно |
проверить, |
что |
g{t) |
и |
h(t) |
удовлетворяют |
выше |
||||||||||||||||
приведенным условиям (I), (II) и (III). Докажем единственность. |
||||||||||||||||||||||||
Предположим, что g(t) |
и 7г(£)<= С+ также удовлетворяют условиям |
|||||||||||||||||||||||
(I), (II) |
и |
(III). |
Тогда |
g ( t ) - g { t ) = h (t)-% {t) |
для |
всех |
t > 0. |
|||||||||||||||||
Если |
существует |
t, > |
0 |
такое, |
что |
g(ti) — g(t-t) > 0, |
то |
положим |
||||||||||||||||
tz= max{t < t,: g(t) — g(t)= 0). |
Тогда |
|
g { t ) > g (t )> 0 |
для |
|
всех |
||||||||||||||||||
t e (£2I |
f,] И} следовательно, согласно |
(III) |
|
h(t,) — h{U)= 0. |
Так как |
|||||||||||||||||||
Ъ(£) — возрастающая функция, ToOCg^fj) — g (tj) = h (fx) — h (fx) |
||||||||||||||||||||||||
h (f2) — h (t2 |
= g (f2)— g(t2) — 0 - |
Из этого противоречия заключаем, |
||||||||||||||||||||||
что g(t)<g(t) |
для всех |
t > 0. |
По симметрии, |
g(t)>g(t) |
для |
всех |
||||||||||||||||||
t > 0. Следовательно, g(t) = |
g(t), |
и поэтому h{t) = |
%(t). |
формулами |
||||||||||||||||||||
Отображения |
(х, /) >-*-g |
и |
|
(х, /) -+■ /г, |
задаваемые |
|||||||||||||||||||
(4.9) |
и |
(4.10), |
будут |
обозначаться в |
дальнейшем |
соответственно |
||||||||||||||||||
через g = ГДх, /) и й = |
Г2 (х, /). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Т е о р е м а |
4.2. |
Пусть |
(Х(£), |
B(t), |
ф(<)) — система |
действи |
||||||||||||||||||
тельных случайных процессов, определенных па некотором вероят |
||||||||||||||||||||||||
ностном |
пространстве, |
таких, |
что |
B (t) — одномерное |
|
броуновское |
||||||||||||||||||
движение с //(0)*” 0, Х(0) |
и процесс \B(t)} |
независимы и с |
веро |
|||||||||||||||||||||
ятностью единица |
для |
всех |
t > |
0 , |
ф(£) — возрастающая |
функция с |
||||||||||||||||||
(I) |
|
X (t)> 0 |
||||||||||||||||||||||
ф(0 ) - 0 |
такая, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
j /{0}(^(.?))^ф(«) = ф(0; |
|
|
|
|
|
|
|
|||||||||||
(И) |
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
Х(£) = |
Х (0) + Я(£)+ф(£). |
|
|
|
|
|
(4.11) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Тогда Х = (Х(£))— отраженное броуновское движение на [0, °°). |
||||||||||||||||||||||||
Уравнение |
(4.11) называется уравнением Скорохода. |
|
и |
ф = |
||||||||||||||||||||
Д о к а з а т е л ь с т в о . |
Согласно |
лемме |
4.2 |
X = (X(f)) |
||||||||||||||||||||
= (ф(£)) |
единственным |
образом |
определяются |
через |
Х(0) |
и |
||||||||||||||||||
В = ( B ( t ) ) : |
X = |
1\(Х(0), |
В) |
и |
ф = |
Г2 (Х(0), В ). Для того |
чтобы |
|||||||||||||||||
доказать теорему, нам нужно только показать, что если х< — одно |
||||||||||||||||||||||||
мерное броуновское движепие, то X ( t ) = \xt\ удовлетворяют |
выше |
|||||||||||||||||||||||
приведенным свойствам с некоторыми процессами B(t) |
и ф(£). |
|||||||||||||||||||||||
Пусть gn (х) — неотрицательная непрерывная |
функция |
на R 1 |
с |
но- |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
сителем |
в |
(0, |
1/п) |
такая, |
что |
|
j gn(х) dx = |
|
1. |
Положим ип(х)— |
||||||||||||||
И |
V |
|
|
|
|
|
|
|
|
|
о |
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
= j* dy^gn (z) dz. Тогда легко убедиться, что ипs C2 (R‘ ) |ип\ |
1, |
|||||||||||||||||||||||
оо
128 ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ
ип{х)\\х\ и ип (х) -> sgn х |
при*) п оо. Согласно формуле Ито |
||
|
X |
|
t |
и п {xt) ■iiyi(х0 в |
(*^s) dxs -4- |
ип {х^ d$ 33 |
|
|
о |
|
о |
t |
|
о |
» |
— J ип {ха dxs + |
j gn(— У) ф (f, */) + J gn (у) Ф (f, у) dy |
||
О |
|
— во |
О |
тде ф(£, у) — локальное время |
броуповского движения х%. Устре- |
||
|
|
|
t |
мив п -*■ оо, получаемХ (t) — X (0) == [ sgn (xs) dxa+2ф (f, 0). Положим
о
t
|
В (t) = f sgn [xt) dxs и |
ф(f) = 2ф (t, 0). |
|
|
||||
Тогда, |
поскольку |
<5>( = |
f, |
TO 5 (f) — (^",) -броуновское |
движение, |
|||
где (iFf) == (iF?) — естественный поток для xt. |
Так |
как |
X (0) |
|||||
^“о-измерима, то |
X (0) |
и |
iB(t)} |
независимы. |
Имеем |
ф(1 ) = |
||
|
t |
|
|
|
х |
|
|
|
= lim |
\/[ 0,е) (X (s)) ds. |
Поэтому ясно, что Г /{0> |
($)) dxp (s) = ф(f). |
|||||
610^^ |
|
|
|
0J |
|
|
|
|
Следовательно, {X(t), B(t), q>{t)) удовлетворяет всем условиям тео ремы 4.2. Таким образом, X — (X(t)) и ф = ( ф (£)) характеризуются тем, что Х = Г1 ( Х(0), В) и Ф - Г2 (Х(0), В).
Непосредственным следствием теоремы 4.2 является следующий
результат, принадлежащий |
Леви. |
|
броуновское движение |
|
С л е д с т в и е . |
Пусть B(t)— одномерное |
|||
такое, что В (0 ) = 0 . Тогда |
/ 5 ( f) — min 5(s)l эквивалентны по |
|||
<1 ) процессы |
{15(f) 1} и |
|||
распределению; |
|
\ |
O^s^t |
} |
|
|
|
|
|
х |
|
|
|
|
(И) lim ^- f /[о.е) (B (s) — min B(u)\ds = — min 5(s). |
||||
elo “ 6 •' |
\ |
0-£u<s |
/ |
0 |
Мы можем дать еще одно описание отраженного броуновского движения. Пусть х (f) — одномерное броуновское движение. Тогда,
согласно (4.1),
х
х (f)+ — х (0 )+ == J /(0,<х>) (х (s)) dx (s) + ф (f, 0 ).
|
|
о |
( |
1 , |
я > 0 , |
*) sgn я = | |
0, |
ж = О, |
1 — 1, |
ж < 0 . |
|
|
|
s 4. ПРИЛОЖЕНИЯ К БРОУНОВСКОМУ ДВИЖЕНИЮ |
129 |
||||
|
< |
|
|
|
|
|
|
А /(() ■■ [ /(0,оо) {х (s)) dx (s) |
является непрерывным мартингалом с |
||||||
|
6 |
t |
|
|
|
|
|
<Л/> (£) = |
] /(о,со) {х (s)) ds. |
Легко видеть, что Н т <М> (t) = |
оо п. н. |
||||
|
|
о |
если сц = min{f: ж(£) = |
0}, |
Xi = min(£> |
<v. x{t) = |
|
Действительно, |
|||||||
—1>, |
a„ = |
im n{£>T„-i: ж(£) = 0}, |
т, = |
т т ( 1 > 5 „ : x (t)— —1}, |
|||
|
|
Tn |
|
|
|
|
|
. . . |
и |
= J /(o,oo) {x (s)) ds, |
то согласно строго марковскому свопст- |
||||
uy |
|
а п |
|
|
|
{£„} независимы и оди |
|
x(t) (теорема Н-6.4) легко видеть, что |
|||||||
наково распределены. Согласно усиленному закону больших чисел
|l + %2 + . . . + |
5в “ *■ |
00 п. н. Отсюда следует, чтоПш |
\/ (0iOo) (х (s))ds= |
||||||||||||||||
= |
оо п. н. |
Положим |
|
|
|
|
|
|
|
|
it o o |
J0 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
т f |
inf ju; |
j |
/ (0>oo) {x (s)) ds > |
t |
|
|
|
|
|
||||||
Согласно тооромо |
II-7.2 Л/(т,) — одномерное броуновское |
движение. |
|||||||||||||||||
Кромо того, |
легко |
видеть, что |
|
процесс X(t) = |
x (х,) |
непрерывен и |
|||||||||||||
X ( t ) X ) дли |
всех |
1> 0 |
и. |
и. |
Поотому |
ф(£):=<р(т(, 0) = Х (£ )— |
|||||||||||||
• |
X (0) ~М(т() |
непрерывен |
по |
t |
и |
удовлетворяет |
условию |
||||||||||||
j |
I m (X (s)) dcp(s) — ф (t) п. н. Следовательно, |
{X(t) = |
х (т() , |
B(t) = |
|||||||||||||||
О |
М(Т|), ф (£ )= ф (т(, 0)} — система, |
удовлетворяющая |
условиям |
||||||||||||||||
= |
|||||||||||||||||||
теоремы 4.2. Таким образом, имЬом следующий результат. |
|
|
|||||||||||||||||
|
Т е о р е м а |
4.3. |
Пусть x (t)— одномерное |
броуновское движение |
|||||||||||||||
и |
|
I |
С |
|
|
|
|
I |
Положим |
Х(1) = х{ т,). |
Тогда |
||||||||
Т( — inf |м: j |
/[0,оо) (х (s)) d s> |
£|. |
|||||||||||||||||
X (t)— отраженное броуновское движение. |
|
|
|
|
|
|
|
||||||||||||
|
Если x(t)~ — (—x(t))\/ 0, то аналогичным образом получаем |
||||||||||||||||||
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
х (£)~ — х (О)- = |
— j |
/(-«.о) (х (s)) dx(s) + |
ф(£, 0). |
|
|
|||||||||||||
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть Т]( = |
inf ju: j |
|
0) {х (s)) ds > |
t |
|
Xt — |
j |
/(—oc,o) (®(s)) dx(s)r |
|||||||||||
B{t) = N(v\t) |
и |
У(£) — —х(ц ()- Тогда |
Y(t)— также |
отраженное |
|||||||||||||||
броуповское |
движение. Как мы видели выше, |
X = |
Г ,(Х (0), |
В) и |
|||||||||||||||
y = ri(F (0 ), |
В). Так как <М, |
N> *= 0, |
то согласно |
теореме |
II-7.3 |
||||||||||||||
процессы |
В |
и |
В |
независимы. |
Следовательно, если Х (0) |
и |
У (0) |
||||||||||||
независимы |
(например, |
в |
случае |
х (0) = х |
п. п. |
для |
некоторого |
||||||||||||
9 |
с. Ватанабэ, Н. Икэда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
130ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ
*e R ‘ или х (0 )^ 0 и. и.), то процессы X и Y независимы. Этот
результат указывает, что, |
грубо говоря, движение процесса |
x(t) |
||
на положительной полуоси |
(0, |
°°) |
и движение на отрицательной |
|
полуоси (—«>, 0) независимы. |
Этот |
вонрос прояснится еще |
более |
|
при изучении экскурсий броуновского движения. |
|
|||
4.3.Экскурсии броуновского движения. Пусть X = (X(t)) —
одномерное броуновское |
движение и пусть |
% = U: X (t) = 0). Хо |
рошо известно, что с вероятностью едипица |
— совершенное мно |
|
жество лебеговой меры |
0 и [0, oo)\i2> = |
[} еа — счетное объеди |
|
|
a |
нение пспсресекающихся открытых интервалов еа ([77] и [105]). Каждый интервал еа называется интервалом экскурсии. Часть про цесса (X(l), ( e e j называется экскурсией X(t) в R1 \ (0). Для изучения топкой структуры броуновских траекторий ипогда стано вится необходимым разлагать их на экскурсии. Здесь мы предпочи таем действовать в эквивалентном, по противоположном направле нии: мы начинаем с набором всех экскурсий и затем строим броу новские траектории.
Пусть Ж+ |
(Ж~)— совокупность |
всех непрерывных |
функций |
||||
w :[0, |
°°)-^ R |
таких, что гл(0) = |
0 и существует o (ia )> 0 |
такое, что |
|||
если |
0 < t < o ( w ) , то |
гн(£)>0 |
(соответственно ia(£ )< 0), |
и если |
|||
t > o ( w ) , то w (i)= 0 . |
Пусть <%(Ж+) |
и <М(Ж~)— о-алгебры |
на Ж+ |
||||
и Ж~ соответственно, порожденные борелевскими цилиндрическими множествами. Пространства Ж+ и Ж~ называются соответственно пространствами положительных и отрицательных экскурсий. Суще ствуют о-копечпые меры га+ и п~ соответственно на (ЗР+ <%(Ж+)) и на {Ж~, &(Ж~)) такие, что
я± ({га; w (£,) <= Ли w(t2 e i , ... , w(tn
(4.12)
где 0 < t t < t i < . . . < tn и Ai ^ |
(0, °°)) |
(соответственно |
и
t > 0, xs у e [0, oo) или x, y e (— oo, 0].