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

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

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

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

Добавлен: 10.04.2024

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

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

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

248

НЕОТРИЦАТЕЛЬНЫЕ СУПЕРМАРТИНГАЛЫ

[ГЛ. 6

 

 

тп Л т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь

М

I

 

e~i%asdWs = 0,

так

как

 

 

 

 

 

 

 

 

О

 

%п ^ Т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М

С

е

О О

 

 

 

sup

е

О-*

9

9

 

 

 

 

 

 

~*%us d s ^

 

 

z

n < o o .

 

 

 

 

 

Q

 

 

 

0 <

Z <

ОО

 

 

 

 

 

 

Поэтому

из

(6.30) следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

*»лг

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

М

!

е 3sg^r f s =

2M[e

3т«лГ — е

'] ^

2.

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Переходя

в

 

этом

неравенстве к пределу при /г—>оо, находим

 

 

 

 

 

 

 

ТАГ

 

 

 

 

 

 

 

 

 

(6.31)

 

 

 

 

 

 

 

М J

e“a^ajds<2.

 

 

 

 

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

 

Из (6.31) вытекает, что Р-п. н.

 

 

 

 

 

 

 

 

 

ОО >

ТАГ

 

 

 

 

 

хп+і лГ

J

 

 

 

e“W

 

 

2ä fs>

Je ~ H K d s >

т„ л r

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

inf

 

 

 

V I

 

I

aIds. (6.32)

 

 

 

 

 

 

тпЛГ<*<т„ + 1ЛГ1

 

\

 

AJr

 

На множестве

{со: т < Г } в силу

(6.23)

 

и (6.22)

 

 

 

 

 

 

ТП+1 Л т

 

'•П+І

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

a*ds =

J

 

aids =

2n +

1 .

 

Поэтому

из

 

(6.32)

следует,

что

на { т^ Г }

 

 

 

 

 

 

 

 

 

 

 

 

 

J е

3^a2rfs

 

 

 

 

 

 

 

 

 

inf

 

Ч 2| <

-

2га + 1

 

 

0 ,

 

П —>

ОО.

 

 

 

' о «г" -г

L

6 J

 

 

 

 

 

 

 

 

Значит, на

{т <

Т)

Р-п. н.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е - 3’ (П2 =

0 .

 

 

 

 

 

 

Н о Р (J* <

о о ) = 1, п о э т о м у

Р ($* = 0) = 1.

И т а к ,

н е п р е р ы в н о с т ь Р - п .

н . т р а е к т о р и й п р о ц е с с а J(, 0 s S H ^ 7 ’,

д о к а з а н а .

 

 


§ и НЕОТРИЦАТЕЛЬНЫЕ СУПЕРМАРТИНГАЛЫ 249

Далее, как

и в (6.32),

находим,

что

е is т |АТ tfd1a9;ds.

 

 

 

>

 

т [Л Т е

I d s ^

 

inf

 

(6.33)

 

 

 

 

0J

 

 

0 < s <

г Л T

j

s

 

Поскольку

 

$s, s ^ r ,

 

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

Р (

inf

e~3s >0 ) — 1,

что

вместе

с (6.33)

дает

 

0 < s < T л

т

 

 

г Л Г

 

2 2

 

 

 

 

 

і

 

 

т

 

ds

 

 

 

 

 

 

т Л

 

 

Г

—з

 

 

 

 

 

J

ds =

 

 

0

е

% a s

 

<

00

(Р-п. н.),

(6.34)

О

 

о

 

 

< inf

 

е

 

 

 

 

 

 

 

 

 

 

0

s< tл т

 

 

 

 

 

т. е.

Р ( j fsa2sds < оо j =

1 . Из

этого

условия следует,

что

определены стохастические интегралы

J

isasdWs для всех і^ .Т .

Обозначим

 

 

 

 

 

 

 

о

 

 

 

 

Уі = 1 +

J Is^s dWs,

 

t < ?’•

 

 

 

 

 

 

 

 

(6.35)

В силу (6.28)

 

 

 

t Л т„

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому yt — if (Р-п. н.) для всех t ^ x n^ .T, и в силу непре­ рывности траекторий этих процессов yt = h (Р-п. н.)для ^ т < Т .

Итак, если т ^ Г , то yt = \t (Р-п. н.) для всех t ^ T . Если же

т <

Т, то

ух = ъг = 0

и для

t >

т Уі = ух +

| Jsas cfU7s — ух = 0,

поскольку

%s =

0 для

s ^ t. Следовательно,

X

yt — fa (Р-п. н.) для

всех

t ^ . T ,

и,

значит,

согласно (6.35)

 

 

 

 

 

 

 

t

 

 

 

 

 

it — 1

+ j

isas dWs.

 

 

 

 

 

 

0

 

 

Покажем теперь, что решение (6.27) уравнения (6.19) с точ­ ностью до стохастической эквивалентности является единст­ венным.


250

 

 

 

НЕОТРИЦАТЕЛЬНЫЕ

СУПЕРМАРТИНГАЛЫ

 

 

[ГЛ. 6

 

Пусть

it, t ^ T ,

— еще

одно

неотрицательное

непрерывное

решение

уравнения

(6.19).

Тогда

0

при

^ < т =

1ішт„

 

 

 

 

 

 

 

 

 

 

 

 

 

П

(ср. с п.

4

§ 3 гл.

5).

Поэтому lt ==lf

(Р-п. н.)

при

t <

т Д Т

и

по

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

$т =

$х. Следовательно, на

множестве

(о>:

т >

Т}

fo — lt’

t ^ T .

Рассмотрим

теперь

 

множество

(ш:

т ^ Г } .

Поскольку

оба

процесса ^

и

являются (как ре­

шения

уравнения

(6.19))

супермартингалами,

то

j(==^ = 0

(Р-п. н.)

на

множестве {о:

 

 

 

 

 

 

 

Итак, fa — it (Р-п. н.) для каждого t, 0 ^ Г< Г. Из. непре­ рывности этих процессов вытекает, что их траектории совпа­

дают Р-п. н., т. е. P{sup|j, — ,$г |> 0 } = 0.

§2. Неотрицательные мартингалы

1.При некоторых простых предположениях супермартингал

ф= (фц ^"*)>

0, введенный в (6.17), оказывается мартингалом.

Настоящий

параграф будет

посвящен

исследованию

этого во­

проса.

 

 

 

 

 

Начнем с доказательства следующего общего результата.

Л е м м а

6.4. Если

| = (

| t ^ T , супермартингал и

 

 

М£о=М!г,

.

(6.36)

то он является мартингалом.

 

 

 

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

В силу супермартингальности

М|7< М ^ < М |0.

Поэтому согласно (6.36)

М^== const,

t ^ T .

s < / ^

Г, и пред­

Обозначим А =

{со: М (%t| 9~s) < £5}, где 0 ^

положим, что Р ( Л ) > 0 .

Тогда

 

 

 

 

 

 

М|г = М |,= М М ( Ы ^ ) =

 

м {It I

 

 

 

= м (Хл м (I,\ Г s)} +

М{(1 - Хл)

9-s)} < М х ЛЬ +

 

 

 

 

 

 

+ М(1 — Хл)|5= М |5>

что противоречит

равенству

M |r =

M |s.

Поэтому

Р(Л) = 0,

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

процесс £ =

(£*, #",),

t ^ T ,

является мартин­

галом.

6 .1 . Пусть

$ =

 

 

t ^ T , случайный

2 . Т е о р е м а

 

 

процесс с Р I J fi^ds < оо 1 == 1 . Тогда,

если

 

 

 

 

1

\

 

 

 

 

(6.37)

 

М exp

ßf c/s j <

о о ,

 

 

 

J

 

 


§ 2]

 

НЕОТРИЦАТЕЛЬНЫЕ МАРТИНГАЛЫ

251

то супермартингал <р (ß) =

(<р, (ß),

2Гt), t ^ . T , с

 

 

 

<P,(ß) =

expf J $sdWs — -i J

ß2s ds

 

является мартингалом

и,

в частности, Mq>*(ß)= 1,

/ < 7 \

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

Пусть

й > 0 и

 

 

 

 

I

*

 

*

 

 

inf

Г: J ßs dWs J ß^ ds —

 

T,

если

inf

I

ßsdWs -

J ß* ds

> — а.

 

 

 

 

 

_0

0

 

Положим

Я<С0 и покажем вначале, что

 

 

 

 

МФа t t ß ) = l .

 

(6.38)

Для этого

заметим, что

 

 

 

 

 

 

 

 

 

аа

 

 

 

 

Фоа (^ß) =

1 +

Я J

q>s (A.ß)ßsd№s.

 

 

 

 

 

 

о

 

 

 

Поэтому для доказательства равенства (6.38) достаточно пока­ зать, что

°а

cp2 (A,ß) ß2s d s < оо.

 

М J

(6.39)

о

 

 

В силу предположения (6.37)

 

М J ß > < 2 M e x p ( - i J

ß ^ d s j < 2 M e x p

ß j f i f s 'j < о о . ( 6 . 4 0 )

С другой стороны, при

 

и 0 < !s < ja a

фЛад = ехр(л j ßudWu

Я2

du

2

о


252

НЕОТРИЦАТЕЛЬНЫЕ СУПЕРМАРТИНГАЛЫ

[ГЛ. 6

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

qp^ (Aß) <!ехр{2а| А1} при s ^ a a и (6.39)

выте­

кает из (6.40).

Докажем теперь, что равенство (6.38) остается справедливым и при А <Л. С этой целью обозначим раа (Aß) = е*афаа (Aß). Если

A<J0, то

согласно (6.38)

 

 

 

 

 

Обозначим

 

Мрсат

 

= еКа-

(6.41)

 

 

 

 

 

 

 

°а

 

 

°а

%

 

Л (

ш ) = | $dt, ß

(со ) =

J

 

fodWt — j

ß * d / + a > 0 ,

 

0

 

 

0

 

0

 

и пусть и(г) = р0

(Aß), где А. =

1 — У 1 — z.

 

Ясно,

что если

С Х 2 < П ,

то и O s ^ A ^ l.

 

В силу определения функции ра (Aß)

 

 

и (г) =

exp I у

А (со) +

(1 — У \ z

) В (со) | .

При 2 < 1 функция и (г) представима (Р-п. и.) в виде ряда

оо^

ft= 0

где, как

нетрудно

проверить,

р,(со)> 0

(Р-п. и.) для всех

k

0, 1 , . . .

 

 

 

 

 

 

 

 

 

Если

2 ^

1 ,

то в силу

леммы

6.1

 

 

 

 

 

 

 

 

Мu(z) ^ еа

)

 

 

и,

в частности,

для

любого OsS^2 0<

1

 

 

 

 

 

 

 

 

Mw (z0) < оо.

 

 

 

Поэтому ДЛЯ | 2 | < 2 0

 

 

 

 

 

 

 

° °

I

\ k

 

ОО

£

 

 

 

 

м ^ ] - ^ - P è ( ® X M У ]-£J-Pfe(ю) =

Mw(2 0) <

оо.

 

 

k = 0

 

 

k — Q

 

 

 

 

Отсюда

в силу теоремы

Фубини следует, что

для любого

|2 |< 1

 

 

 

°°

А

 

°° k

 

 

 

 

 

 

 

 

 

 

 

Ш

(2) =

М 2

-fj- р к (со) =

2

М р, (со).

(6.42)

При 2 <

1

 

 

fc= 0

 

fc= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(l V 1—z ) .

■ S '

Cft,

 

 

 

 

 

 

 

 

 

 

 

г д

е

k — 0 , 1,0

, . . .

 

ft—О