Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 10.04.2024

Просмотров: 352

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 4] СВОЙСТВА НАТУРАЛЬНЫХ ПРОЦЕССОВ 89

Из (3.72) и (3.73) вытекает

оо

М { [ An (t —) - At А dAt < гМАХп е + М [Лте ( Л » - J], (3.74)

о

что вместе с (3.71) очевидным образом приводит к неравен­ ству (3.66).

5. Д о к а з а т е л ь с т в о т е о р е м ы 3.11. Д о с т а т о ч н о с т ь . Будем сначала предполагать, что МЛІ < оо. Поскольку потен­

циал П = (яг, &~(),

і ^ О ,

регулярный, то

 

 

 

МИхе~

^ еі(1] =

М[я,Яіе- я , е]->0,

п-> оо.

(3.75)

В силу

непрерывности

справа процесса Аи

О,

 

 

м І ' Ч

- \ , ч . ) 1 ' * 0’

 

(3-76)

так как

ф„(те) I те>

П-> оо.

 

 

Из (3.75), (3.76)

и

неравенства (3.65) леммы 3.7 получаем,

что Р (те < оо) = 0

для

любого е > 0. Но тогда (см. (3.66))

 

lim |еМАхп е

М IЛоо(Л«, — Лтя Е)]} =

еМЛоо,

 

 

П-¥оо

 

 

 

 

 

 

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

со

МI [At — A t - ] d A , ^ e M A c o .

о

В силу произвольности е > 0

оо

М { [Л ,-Л ,_ Ы Л г = 0,

о

и, значит, Р-п. н. траектории процесса непрерывны слева. По­

скольку же траектории Лг, t ^ O,

также непрерывны и справа,

то

процесс

А1г

0,

непрерывен

с вероятностью 1.

 

Освободимся теперь от предположения

М ЛІ><°°.

 

Пусть П = (л;,

t),

0, — непрерывный справа регулярный

потенциал

класса

D и

 

 

 

 

 

 

“ М ( Ах \ @~t) A t,

(3.77)

где

Af,

0, — натуральный возрастающий

процесс. Положим

для п — 1,

2, ...

 

 

 

 

и

 

A (tn) =

At А п,

= А\п+1) А\п)

 

п\п) =

М [ß("' 10 -J — B f .

(3.78)

 

 


90

МАРТИНГАЛЫ

(НЕПРЕРЫВНОЕ

ВРЕМЯ)

[ГЛ. 3

Ясно, что для каждого t ^

0

 

 

 

 

•IXі

2 Я(п)

 

(3.79)

 

і ^ О ,

 

п=1

 

 

где потенциалы

ограничены

и непрерывны

справа.

Покажем, что каждый из них является регулярным, если регу­

лярен

потенциал П = (яь &~t).

 

каждого п = 1, 2, ...

Из

(3.77) и (3.78) следует, что для

 

nt = П(п) + г ѵ

 

 

 

где потенциал

 

 

 

 

 

 

zt = M [Лоо -

В™ I P t\ -

(At -

В\п)).

 

Пусть

последовательность

марковских моментов хт \ х .

Тогда

по теореме 3.5 Мл*"1^ М я ^ , Мгх

Л3 Мгт,

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

 

lim Мп(тп) ^ Мл'"*,

lim

Mz

Мгг

(3.80)

На самом же деле оба эти неравенства являются равенствами, поскольку потенциал nt, t ^ O , регулярен:

lim Млт = Мят.

т ->ѵоо

тт

1

Итак, каждый из потенциалов

л\п), п = 1, 2, . . . , является

регулярным, ограниченным, и, согласно проведенному выше доказательству, отвечающие им натуральные возрастающие

процессы

B f \

0, непрерывны

с вероятностью 1.

 

 

 

Для

потенциала

я(/!)

соответствующим

натуральным про-

 

 

 

 

 

П= I

 

оо

 

 

 

 

 

цессом

является

процесс

Bt = ^ B [ n\

где

каждый

из процес-

сов В[п),

 

 

 

 

 

П= I

 

 

 

 

 

 

0, непрерывен.

Этот процесс

также является не­

прерывным.

Действительно,

 

 

 

 

 

 

 

 

 

 

о < в, -

N

вТ <

 

N

 

(Р-п. н.),

 

 

 

 

 

I]

ßoo -

2 В™

 

(3.81)

 

 

 

 

 

п—I

 

 

 

п= 1

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

где

с

вероятностью

1 В^ — 2

ß » ->0,

JV—>оо,

поскольку

 

 

 

оо

 

 

 

 

п—I

 

 

 

 

 

M ß 0O= M

2

в « =

м л

оо< о о .

 

 

 

 

 

 

 

 

 

 

п—\

 

что

процесс Bt,

t^zO,

непрерывен

с ве­

 

Из (3.81)

следует,

роятностью

1.

 

 

 

 

 

 

 

 

 

 

что

Для завершения доказательства осталось лишь заметить,

из

единственности

разложения (3.77) с натуральным про­

цессом

At, t ^ O ,

вытекает,

что

Р(Л / = Д<) — 1,

0. Отсюда

следует,

что в разложении (3.77)

натуральный процесс At,

О,

можно

выбрать непрерывным с вероятностью 1.

 

 


 

 

 

Г Л А В А

4

 

 

 

ВИНЕРОВСКИЙ ПРОЦЕСС.

СТОХАСТИЧЕСКИЙ

 

ИНТЕГРАЛ ПО ВИНЕРОВСКОМУ ПРОЦЕССУ.

 

 

СТОХАСТИЧЕСКИЕ ДИФФЕРЕНЦИАЛЬНЫЕ

 

 

 

 

УРАВНЕНИЯ

 

 

 

 

 

§ 1. Винеровский процесс

 

 

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

 

1.

Пусть

(Q,

Р) — некоторое

 

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

и ß =

(ß,),

О,— процесс броуновского

движения (в смысле

определения

§ 4 гл. 1). Обозначим

5 ^ =

о {со: ß5, s^^}-

Тогда

согласно (1.30)

и (1.31) Р-п. н.

 

 

 

 

 

 

 

M(ß,|£FP) =

ßs

< > s,

(4.1)

 

 

 

Mf(ß/ - ß s)2|^11 =

^ - s ,

t > s .

(4:2)

Отсюда следует, что процесс броуновского движения ß является

квадратично

интегрируемым (Mß? < оо,

о)

мартингалом (от­

носительно

системы

o-алгебр Fß = (^Ff), t ^O )

с непрерывными

(Р-п. н.) траекториями.

 

справедлив

и обратный результат,

В определенном

смысле

для формулировки которого введем следующее

про­

О п р е д е л е н и е

1.

Пусть (Q, ЗГ, Р) — вероятностное

странство

и

F — {8Tt),

 

0, — неубывающее

семейство о-под-

алгебр

Случайный

процесс W = {Wt, 3Ft),

t^z 0, называется

винеровским

{по

отношению к семейству F — {^~f) , t ^ 0),

если

1)

траектории

Wt,

0,

непрерывны

по t

Р-п. н.;

 

2)

W = {Wt,

t),

 

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

мартингалом с WQ= 0 и

 

 

 

 

 

 

 

М [{Wt Wsf \ &~s] = t s,

t > s .

 

Т е о р е м а

4.1 (Леви).

Всякий винеровский процесс

W —

= {Wt, 3Tt),

 

0,

является процессом броуновского движения.


92

СТОХАСТИЧЕСКИЕ

ИНТЕГРАЛЫ

[ГЛ. 4

З а м е ч а н и е

1. Эту теорему

можно

переформулировать

следующим эквивалентным образом: всякий непрерывный квад­ ратично интегрируемый мартингал W = (Wt,&~t), t ^ O , с W0 — 0 и М [(W( — UA,)2I &~s] — t — s является процессом со стационарными

независимыми гауссовскими

приращениями

с М [Wt — U^s] =

0,

U \W t — Ws]2 = t — s,

t > s .

теоремы Леви

в дальнейшем

мы

З а м е ч а н и е 2.

В силу

не будем различать винеровские процессы и процессы броунов­

ского движения

ß = (ß/),

t ^ O ,

поскольку последние являются

винеровскими

относительно системы

сг-алгебр І?|3 =

(ДІ1),

 

0.

З а м е ч а н и е

3. Полезное

обобщение теоремы

Леви,

при­

надлежащее Дубу, будет дано далее в гл. 5 (теорема

5.12).

Доказательству теоремы 4.1 предпошлем две леммы.

 

 

Л е м м а 4.1.

Пусть

а марковский момент (относительно

F = ( P t) , t > 0), Р(<7<7’) =

1,

Т <оо

и Wt = WtAo, ^ t = r

t Ao-

Тогда W — {Wt,

t), t ^ O ,

— мартингал,

 

 

 

и

 

 

М (Г, — r s|5Ts)= 0

 

(4.3)

 

 

 

 

 

 

 

 

t > s .

 

 

M [ ( ^ _ t s)2l ^ s] = M [ ( / A a ) - ( s A a ) ! # - s],

(4.4)

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

 

Для

доказательства достаточно

при­

менить теорему 3.6 к мартингалам W — (Wt, 5F,) и [W2t t,

 

Л,

0.

 

Пусть

X = (xt,@~t), 0 ^ / ^ Г < о о , — непре­

Л е м м а

4.2.

рывный ограниченный

(Р {sup

| xt | <

К < оо} = 1) мартингал и

функция f(x)

непрерывна

t < 7

 

 

 

 

 

ча­

и ограничена вместе со своими

стными производными f'(x), f" (х).

 

 

 

 

Если для

любых s,

t,

0 < s <

t < Т,

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

М [(X, -

xsf\

Srs) =

J

M [gu \ r s\ du

 

(4.5)

 

 

 

 

 

 

 

S

 

 

 

 

с некоторой

измеримой

функцией

gu — gu(со), при

каждом

и,

 

 

 

 

 

 

 

 

т

 

 

являющейся

и-измеримой и такой, что М J

g2udu <

оо,

_

 

 

 

 

 

 

 

о

 

 

 

то Р-п. н.

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м [/(*,)!£%] =

f(*s) + -I j

M[f"(xu) gtt\ 9- S]du,

 

(4.6)

 

 

 

S

 

 

 

 

 

 

 

 

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

заданных

s, t { 0 ^ s ^ t ^ . T )

рассмотрим

разбиение

отрезка [s, t] на п

частей,

s s = t (0n)<

< t\n) < . . .

< 4 П)==/,

такое,

что m a x f^ ] —

0, п->оо.


§ 1]

 

 

 

 

 

ВИНЕРОВСКИП

ПРОЦЕСС

 

 

93

Тогда, очевидно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (xt) -

f (xs) =

S [f (xf l {) -

f (xtf)}

>

 

 

и по теореме о среднем

 

 

 

 

 

 

 

 

f ( Xt\nl i )

~~ f (X‘f )

=

(Xf

]) \ Xtf l \ ~

Xt{i l)] +

 

 

 

 

 

 

 

“b ~2

f

 

j

xt{n)J

~2 I

 

 

-'ч(п)|2>

где

 

Дf'f =

f" fxt(n) +

ѲY tW { — Xtf)\ ) — f" (**<«)) -

 

 

 

 

 

 

 

а Ѳ— случайная

величина,

О ^ Ѳ ^ І .

 

 

 

 

 

Я С Н

О ,

Ч Т О

 

 

 

 

 

14\'(іпЧ+ 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

М

[f

 

-

f (**<»>) IT i f ] = Т f" (Xi f ) J

M

T[ffi«f]I du +

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

+

2 M I Л / " р ^ ( л ^

 

1

"

Поэтому

 

 

 

 

 

М)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

[ f

( *

,

W

( *

п - 1

*i+ 1

 

 

 

 

 

 

, ) l

*

% M\f"(xt(n))] = ! - Еg u\!rs]duJ

+

 

 

 

 

 

 

 

i

tin)

L

V /

/

J

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

 

П—1

 

 

 

 

 

 

 

 

 

 

 

 

+ T S

M (

 

p/W

- Л>>]2 I ^

І-

(4 J )

 

Покажем

теперь,

что

при п —>оо

Р-п. н.

 

 

 

 

п - I 4+1

 

 

 

 

 

 

<

 

 

 

 

 

£

j

 

М [ Г ( %„І) « , | « ' , ] ‘г“ - ' | м | Г Ы г „ | ! Г , ] л <

(4.8)

 

/= 0

t ( n )

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

га—1

 

 

 

 

 

■0.

 

 

(4.9)

 

 

 

 

, S M ( Af' h

? -

^

r r

 

 

 

 

 

 

' !

 

 

 

С этой целью определим