Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

..pdf
Скачиваний:
7
Добавлен:
12.11.2023
Размер:
21.35 Mб
Скачать

 

 

g 4. ПРИЛОЖЕНИЯ К БРОУНОВСКОМУ ДВИЖЕНИЮ

 

121

Положим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

у

 

 

 

 

 

 

 

 

 

 

ип(х) =

J

dy ( g„ (z) dz.

 

 

 

 

 

 

 

 

 

 

 

—oo

*—oo

 

 

 

 

 

 

Согласно формуле Ито

 

Jf ип(X.) dXs + 1 jt и'п(Xs) ds,

 

 

 

ип(.Xt) -

ип(Х0) =

 

 

 

 

 

 

 

 

О

 

 

 

о

 

 

 

 

 

и если локальное время

ж)} существует, то

 

 

 

 

■JJt и'п(X,) ds -

-J Jt gn (Xs) ds=

ооJ gn (у) Ф (t, y)dy-yy(t, a)

 

 

0

 

 

 

0

 

 

—9°

 

 

 

 

при

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П - У o o .

Кроме того, ясно, чте

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,

 

ж > а ,

 

 

 

 

 

 

 

 

 

 

 

 

 

1О,1 /2 ,

хж<= а,а,

приге-»-оо.

 

Следовательно, q>(t, а)

должно было бы задаваться как

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

ф (*, а) =

— а)+ — (Х0 — а)+ — | /(а,».) (Х3) dX,.

 

(4.1)

В дальнейшем

мы покажем,

что

 

о

 

случайных

величин

семейство

 

ф(/,

a), t >

0,

а е

R1,

определенных через (4.1),

удовлетворяет

вы­

шеприведенным условиям (I)

и

(II). Очевидно,

что (Xt а) +

— (Х0 а)*

непрерывна по

(t,

а).

Покажем,

 

что существует

про­

цесс

ф(/, о ) ,

ico-ropi.iii

непрерывен по

(/,

а) п. н., и для каждых t, а

 

 

 

 

 

 

t

I ( a , oo) (X,) d X s П .Н .

 

 

 

 

 

 

 

ij) ( t , d ) =

f

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

Для

каждого a e= R1 и T > О

 

[0, T\ э

t >— Y

a {t) = j /( 0,<x.) (Xs) dX,

является непрерывным процессом, т. е.

С([О,

 

 

о

 

слу­

Г] -+■ Н)-значной

чайной величиной. Если обозначить

 

 

 

 

 

 

 

 

 

 

ЦУа — Уь1=

max \Ya{t) — y b(t)|,

 

 

о«<г

то

E{\\Ya- Y bn ^ K \ b - a \ >

(4.2)

122 ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ

с некоторой константой К = К (Т )> 0. Действительно, если а<Ъ, то t

 

 

(Ya-

 

Yb it) =

J / (в,ь1 (Xs) dXs <= M

 

 

<Ya-

n > ( =

J /(О.Ы (Xs ds.

 

Применив неравенство

 

(3.1), получаем

 

 

E[\\Ya — Yb Г) <

^

(JjI(а,ь] (X.) tfsj J<

 

 

 

 

/ r

 

T.

 

\

 

<

7 - E I j /(„,„] (X.) ds f / (а,ы (Xu) <Zu =

 

 

2

' 0

 

s

 

 

1

 

 

T

 

T

 

 

 

 

 

 

=

-J- j" ds j*duE (/(а,ь] (X.) J(a,b] (Xu)) =

 

 

2 в

s

 

 

 

 

 

 

 

T

 

T

 

 

h

b

 

 

=

Jds Jdu

Jp (dx) J dy Jdz X

 

 

x vkexp (- M

l y*. l

- ,)exp l~

<

 

 

 

 

 

 

 

 

T

T

 

 

 

 

 

 

 

 

I

 

 

m{b~ a)'-

Здесь

p — начальное распределение

X,

т. e. p =

Px°. Неравенство

(4.2)

доказано.

Согласно

следствию

теоремы

1-4.3 *) существует

семейство {гр(а)} случайных величин со значениями в С([О, Т] R)

таких,

что

а >-» ф (а) (= С ([О, Т\ R)

 

 

 

 

непрерывно п. н. и для каждого фиксированного а ф(а) = У«(*) н. н. Ясно, что \|)(£, а) = ф(а) (<), а это как раз именно то, что нам пужно. Поэтому, выбрав эту модификацию, убеждаемся, что <р(£, а) удов­ летворяет (I). Для того чтобы доказать (II), очевидно, достаточно

показать, что

i

] / (Xs) ds =

2 J ф (£, a) / (a) da п.н.

(4.3)

о

R1

 

*) Это следствие применимо к любой системе случайных величин, прини­ мающих значения л метрическом пространстве.

§ 4. ПРИЛОЖЕНИЯ К БРОУНОВСКОМУ ДВИЖЕНИЮ

123

для любой непрерывной функции f ( x ) с компактным носителем.

]1оложим

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

F (х) =

j / (а) {х — a)+da.

 

Тогда

F е C2(R),

F ' { x f =

J f (a) IiatCo)[x)da = J f(a)da, F" (x) —

•= f{x),

 

 

 

—oo

—oo

 

и поэтому согласно формуле Ито

 

 

 

F (Xt) -

F (X0) -

J* F' (X.) dXs =

± §tf (Xs) ds.

Левая сторона равна выражению

 

 

OO

 

 

 

f f oo

/(a) /(„,«,) (Xs) da\ d X s.

j /(a) {(Xf — a)+ — (X0 — a)+}da J j j

— oo

 

 

 

0 l —oo

 

j

Если применим нижеследующую лемму, то получим

 

П

 

 

 

I

\

оо

J /(«) (X, а)+ — (Х„

а )1— J /(о.оо) (X,) dXs| da =

j f{a)(f{t,a)da%

► л»

V

 

 

0

j

— оо

и, следовательно, (4.3)

доказано.

 

 

Л е м м а

4.1.

(Аналог теоремы Фубини для стохастических ин­

тегралов.)

Пусть

(£2, SF, Р) — вероятностное пространство

с пото­

ком

 

Пусть

М е

Ж\

(т. е. М непрерывный

квадратично

интегрируемый

мартингал

с

М0 = О п. н.). Пусть

(Ф(£, а, со)},

t s [0,

оо),

a е

R1,— семейство действительных случайных

величин

таких, что

 

о ) е ( [ 0 , °о)Х Й)Х R*

Ф(£, а, со) SFX&iR1 -изме­

(I)

((£, со),

римо

(9* определена в главе I, с. 30);

измеримая по Борелю функ­

(II)

существует неотрицательная

ция f(a) такая, что

 

 

 

 

 

 

 

 

IФ(?, а, со) I <

/(о)

для каждых t, а, со.

 

 

В силу

(I)

и

(II)

интеграл

jtФ(s, а, )ос dMsе

определен

 

 

 

 

 

 

 

о

 

 

 

корректно. Предположим, кроме того, что

 

 

(III)

(а, со) н* | Ф (s, а, со) dM,

J?(R‘) X ЗГ-измеримо для каждого

о

t > 0 .

124

 

 

 

ГЛ. III. СТОХАСТИЧЕСКОЕ ИСЧИСЛЕНИЕ

 

 

 

 

Пусть p,(da) неотрицательная борелевская мера на К1

такая,

что

\/ (a) u (da) <

оо. Тогда

 

 

 

 

 

 

 

 

к1

 

 

t -> ] Ф (t, а, со) р (da) <= 3?2 « М »

 

 

 

(4.4)

 

 

 

 

 

 

 

 

 

 

 

 

R1

 

 

г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

(г. е. эта функция предсказуема и Е

j

jo ( s , a, -)р^а)|

d (M )s <

 

 

 

 

 

 

 

 

 

ОIRI

 

J

 

 

< о о

для каждого t) и

 

 

 

 

 

 

 

 

 

 

j

( I Ф

 

а»

I1 (^®)|

=

j*

j" Ф (s, а, со) dMsj |i (da).

(4.5)

 

0

(R1

 

 

 

J

 

Rl

lo

 

J

 

 

 

Д о к а з а т е л ь с т в о .

Ясно,

что \Ф (s, а, со) p (da)

(&~t) -пред-

 

 

 

 

 

 

 

 

 

Rl

 

 

 

 

 

сказуем и ограпичеп. Поэтому очевидно, что

 

 

 

 

 

 

Е

j

| j Ф (s, а, (о) р (da)|

d <M>«j <

оо.

 

 

 

Таким образом,

 

процесс в

(4.4) корректно определен

как элемент

в Ж\. С другой стороны, a ^

j Ф (s, а, со) dMs измерима по Борелю

согласно предположению (III)

о

 

 

 

 

 

 

 

и для каждого Т > О

 

 

 

( j.i (da) шах

 

\Ф (s, а,, со) dMs

^

 

 

 

 

 

 

Ri

 

о< t * T

 

 

 

|J

 

 

 

 

 

 

 

 

< j

 

 

( Г

 

И

ф

(.<?,

Г'1 1 1/2

<

 

 

 

 

 

И- (da) |

щах^ j ]

а, со) dMsj

Jj

 

 

 

 

< 2

J (da)

 

 

a, со) dMsj jj

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 2

 

f p ( d a ) ^ | j V ( s , a, c o ) d < M > sJ j

 

<

 

 

 

 

 

 

 

< 2

( / (a) p (da) {Я [<M> (Г)1>1/2 <

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

Следовательно,

 

I p (da) max

I ф (s a, ©) dM, < о о п .

H., и

отсюда

 

 

 

 

 

0< i-4 T

•’

 

 

 

 

 

 

 

 

 

 

§ 4. ПРИЛОЖЕНИЯ К БРОУНОВСКОМУ ДВИЖЕНИЮ

 

 

125

 

 

 

 

 

 

t

 

 

 

 

 

следует,

что t *-*■ J р (da) } Ф ($, а, со) dM„

непрерывно

п. н. Таким

образом,

 

к1

о

корректно

и определяет

правая сторона

(4.5) определена

(^^-согласованный непрерывный процесс.

Последний

является

квадратично интегрируемым, так как

 

 

 

 

 

Е

И j

ф (s, а, со) dMs J р (da)

 

 

 

 

 

 

-R1

 

 

г t

t

 

 

-j

 

 

 

 

 

 

 

 

 

 

 

=

| [х (da-j)

J p (da2

E

J Ф (s, аъ со) dMsJ Ф (s, a2, со) dMs J =

 

 

R 1

 

R1

 

Lo

о

 

 

J

 

 

=

|*p (daj

j p (da2

E

Ф (s, a1: со) Ф (s, a2, co) d <M>S}<

 

 

 

J / (ai) P (dai) j* / («г) К (da2 E [<M> (t)] =

( j / (a) p (da)Y X

 

 

Rl

 

R l

 

 

 

\RX

 

/

 

 

 

 

 

 

 

 

 

X E [(M }

(t)]< 0 0 ,

Этот процесс является также (&~i) -мартингалом, так

как

если

<>« >( ) н Л е У „ то

 

 

 

 

 

 

 

Е

I I A

j

р (da) j

Ф (и, a, со) c W u1 = j р (da) е \ I A j Ф ( и , а, со) < Ш

„ 1 = 0 .

I

Rl

*

 

j

R1

L S

 

Аналогично, если N е Ж г, то

 

 

 

 

Е [ / .

|

j р (da) |

Ф (и, а, со) с Щ „ | (N t - i V s) j =

 

 

 

= I р (da) Е j^ /A j

Ф

(и, а, со) сМ и (N t — iV 5) j =

 

 

= J р (da) Е Г/АJ Ф (и, а, со)d <А/, ДГ>иj =

 

 

R 1

L *

 

 

J

(da)Jd

 

 

 

-

Е ^ I A j

j J Ф (и, а, со)

 

 

 

 

 

t

' .

 

Т а к и м

 

образом ,

t >-*■ J p (da) J Ф (u, a , co) dMu =

L t

J

<М , N > uj .

является

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