Материал: Стохастические дифференциальные уравнения и диффузионные процессы

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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

с. Ватанабэ, Н. Икэда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

GE A,}) =

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].