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

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

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

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

Добавлен: 10.04.2024

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

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

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

76 МАРТИНГАЛЫ (НЕПРЕРЫВНОЕ ВРЕМЯ) [ГЛ. 3

(ß , 2-п , £Г

г),

/ =

0,1, . . . .

и образуем мартингал (с непрерыв­

ным временем) У =

(//*,

t),

0, полагая yt =

2- n, / • 2

< ( / + l ) ' 2 ~ ' \

Тогда из

(3.31) вытекает, что

 

 

00

 

 

 

 

 

 

м 2 У(і-\).2 - п [ В і . 2 - п ~ В ( і - І).2- /г| =

(3.32)

В теореме

2.14

было

показано, что из

(3.32) вытекает

/F. .-«-измеримость величии В[і+ху2-п. Поэтому, сравнивая два разложения:

П і-2~п =

^ [ A J n ) I

 

А іш2- п (fi),

Я(.2-я =

M [ß00(«)| ^,.2-я] — В ІЛ-„(П),

видим, что в силу единственности разложения Дуба

Аіѣ2-п(п) = В 1ѣ2- п ( п ) ,

і = 0,

1,

. . .

(Р-п. н.).

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

Ах (п) =

В00(п)

и

А00 =

В0о (Р-п. н.). Но

Щ = м [A^ Iff't) —At = М [ß^ \9~t] Bt, откуда получаем: At= B t

(Р-п. н.)

для всех / ^ 0 .

 

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

надо еще

устано­

Для

полного завершения

вить, что для

равномерной

интегрируемости

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

ности {А^іп),

п — 0, 1, ...}

необходимо и

достаточно,

чтобы

потенциал я =

(я*, /7Д),

0, принадлежал классу О.

 

Если семейство (Л^Дя),

п = 0,

1,

. . .} равномерно интегри­

руемо, то, как

было установлено,

nt — М [Л ^ \SFt\ At. Следо­

вательно, ят < М [Лс)0\&"х].

 

т е ! )

равномерно

интегрируемо

Но семейство {М[Л00|^ ‘Т],

(теорема 3.7), поэтому таким же свойством обладает и семей­

ство {ят, т е

Т},

т.

е. потенциал

я

принадлежит классу D.

Обратно,

пусть

л е й

Тогда

согласно

разложению Дуба

для каждого

п — 0,

1, ...

Р-п. и.

 

 

 

 

 

Пі.2~п

М [

I

i-2~n)

^ і-2~п(rt)-

(3.33)

Поскольку Л(/+)).2-„(п)

/УС.^„-измеримы,

то

для

каждого

К > 0 момент

 

 

 

 

 

 

 

 

 

 

 

 

^ =

inf Ь ' 2 :

Л(г.+1^2_га(ц) > я}

(3.34)

(т„,я = °о, если множество

{•}

в (3.34) пусто)

будет

марков­

ским относительно семейства {/УС.2_„,

/ = 0,

1,

...J.

 

Ясно, что (со:

Ао0(п)>К} — {со: т„іЯ<оо},

и в силу

(3.33)

л “ М К » ІЗД„, J - К ,, («)

(Р-п. к.). (3.35)



§ 3 ]

РАЗЛОЖЕНИЕ ДУБА - МЕЙЕРА ДЛЯ СУПЕРМАРТИНГАЛОВ

77

Отсюда находим

M K W ; {Д*(я)>Я}] =

 

=

М Ихя> я (п)’ (т«. *■< 00}] +

М [птп> я;

{тга. л, <

оо}] <

 

 

 

 

<

 

{^оо (я) >

Я} +

М [ п Хп< А;

{т„, я <

оо}],

(3 .3 6 )

поскольку в силу (3.34) А%п к ( п ) ^ к .

 

 

 

 

 

 

 

 

Из (3.36)

получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Мов(я)> 2Л }]<

 

 

 

 

 

 

 

 

 

 

<

М [А,, (п) ~ Я;

{Д* (п) >

Я}] <

М [яѵ

 

{т„. * <

оо}].

 

(3.37)

Значит,

 

 

 

 

> 2Я} <

М [яТд я'.

 

 

 

 

 

 

 

(3.38)

 

 

 

ЯР { Д »

(п )

{Тп. *, <

°°}]-

 

 

 

Из (3.36) (с заменой

Я на 2Я) и (3.38) находим

 

 

 

 

м [ Д » ; {Лм (я)> 2 Я }]<

 

 

 

 

 

 

 

 

 

 

 

 

 

< 2ЯР {Д, (п) > 2Я} + М [яѵ 2Л; {т„, 2я < оо}] <

 

 

 

<

2М [Ятге>х; {Тп, к <

оо}] + м [яТ(г

2К\ {т,і, 2 Л <

 

оо}].

(3.39)

Заметим

теперь,

 

что

 

 

 

 

 

 

 

 

 

 

 

Р Ы , я < оо} = Р {Д (п) > Я} < -М- °° -{п- ] =

 

 

- > 0,

Я - > о о .

Из этого замечания и предположения

я е О

вытекает, что

при

7 -> оо

правая

 

часть

в (3.39)

равномерно

по п — 0,

1, ...

стремится к

нулю.

Поэтому

равномерно

по всем

и =

0,

1, ...

 

 

 

 

I

 

Д (я) dP->0,

Я-> оо,

 

 

 

 

 

 

 

<»>> 2Л!

 

 

 

 

 

 

 

 

 

 

 

что

и

доказывает

 

равномерную

интегрируемость

 

величин

(А* (я), я = О, 1, . ..}.

 

 

 

 

 

 

 

 

 

 

 

 

Теорема

доказана.

 

 

 

 

0,— непрерывный справа

С л е д с т в и е . Пусть X — (xt, Д ), t ^

супермартингал, принадлежащий классу D. Тогда существуют

непрерывный

справа

равномерно

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

 

мартингал

M — {mt,£Tt), t ^ O ,

 

и интегрируемый возрастающий натураль­

ный процесс

А (At, Д )

такие, что

 

 

 

 

 

 

 

 

 

 

 

xt =

 

mt At

(Р-п. н.),

 

t ^ O .

 

 

 

 

(3.40)

Это разложение натуральным процессом At,

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

с точностью до стохастической эквивалентности.

 

в частно­

Докажем этот результат. Поскольку

X e D , то,

сти,

sup М I X. I < оо

и

sup М х7 <

оо.

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

по тео-

 

t

1 1

 

 

t

lim xt с М 1хх | <

оо.

 

 

 

 

реме 3.3

существует

хж=

 

 

 

 

 

 

 

 

 

 

 

г-»оо

 

 

 

 

 

 

 

 

 


78

 

МАРТИНГАЛЫ (НЕПРЕРЫВНОЕ ВРЕМЯ)

 

[ГЛ. 3

Пусть ifit — непрерывная

справа

модификация

мартингала

= (яі; SFt),

t ^ O .

Тогда,

если

 

яt =

xt — tnt,

то процесс

11 =

О, будет образовывать

непрерывный

справа

по­

тенциал, принадлежащий классу D,

поскольку Л е і ) и мар­

тингал М =

(М (я,*, I @~t)> &~t)>

t ^

0. также принадлежит классу D

(теорема 3.7). Применяя

теперь

разложение Дуба — Мейера

к потенциалу П =

(я,, З71),

 

0,

находим, что

 

 

 

 

М =

М {х„ 13Tt) +

М (

I Srt) _

At,

(3.41)

где At,

0 ,— некоторый

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

натуральный

воз­

растающий

процесс.

 

3.8 и следствие из нее остаются

З а м е ч а н и е .

Теорема

справедливыми

и

для непрерывных

справа

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

X = (xt, 3~t),

0,

принадлежащих

классу DL, с тем лишь

отличием,

что

натуральный

возрастающий

процесс At, i ^ 0,

таков, что,

вообще говоря,

М Л ^^ о о (см. [126]).

 

 

3.В теореме 3.8 и в замечании к ней предполагалось, ч

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

H =

O ^ . t ^ . T ^ . 0 0 , принадлежит

классу D или DL. Остановимся теперь на аналоге разложения

Д уба—Мейера,

отказавшись

от

предположения, что

П е О

или II е DL.

 

 

процесс М — (mt, 3~t),

0,

О п р е д е л е н и е 6. Случайный

называется локальным мартингалом, если существует возра­

стающая последовательность

марковских моментов т„,

п — 1,

2, ...

(относительно

F = (3~t),

0),

такая, что

 

1)

Р ( т „ < п ) = 1 ,

Р (lim хп=

оо) =

1;

 

2)

для каждого

П

... последовательности [пи ЛТ(і,

п = 1, 2,

3~t,

0) являются равномерно интегрируемыми мартингалами.

В связи с данным определением

отметим, что всякий

мар­

тингал с непрерывными справа траекториями является локаль­

ным

мартингалом.

Вытекает это из следующего

предложения

(ср. с теоремой 2.15).

 

 

 

 

 

 

 

 

с не­

Л е м м а

3.3. Пусть X — (xt, SFt), 1 ^ 0 , мартингал

прерывными

справа

траекториями

и

х — т (со) — марковский

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

системы

F =

{3~t),

0. 'Іогда процесс

{xt/\x,&~t),

 

0, также является мартингалом.

 

 

 

Д о к а з а т е л ь с т в о . Положим

 

 

 

 

 

 

 

 

xn= k/2n

на

|со:

 

 

 

 

 

 

считая т „ = о о

на

(со: т =

оо}.

Зафиксируем

два

числа s

и t,

s ^ t ,

и пусть

tn — k/2n,

если

- ^

-

 

,

и

sn =

k!2n,

если

k _]

s

£

 

При

достаточно

большом

п,

очевидно,

^

< -уг.

Sn < tn-


§ 3]

РАЗЛОЖ ЕНИЕ ДУБА - МЕЙЕРА ДЛЯ СУПЕРМАРТИНГАЛОВ

79

 

Согласно теореме

2.15 для

всякого / l e f s

 

 

 

I

nAtn dP =

j x,nASndP.

 

 

 

А

 

 

А

 

 

 

Поскольку величины агт л <„

и x^nAsn, п = 1,

2,

равно­

мерно

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

(лемма

3.1), то,

переходя к

пределу

(п->оо)

в предыдущем равенстве, получаем М (хх Л 1 1&~s) = хх As

(Р-п. н.).

 

 

 

 

 

 

З а м е ч а н и е . Утверждение

леммы

остается

справедливым

и для супермартингалов, имеющих непрерывные справа траек­ тории и мажорирующих некоторый регулярный мартингал (ср. с теоремой 3.5).

Т е о р е м а 3.9. Пусть X — (xt,3Xt), t ^ O , непрерывный справа неотрицательный супермартингал. Тогда существуют и единственны: непрерывный справа процесс M = (mt, STt), О, являющийся локальным мартингалом, и натуральный интег­

рируемый возрастающий процесс A = ( A t, £Tt),

t ^ O ,

такие, что

 

xt = mt At

 

(Р-п. н.),

 

 

0.

 

 

(3.42)

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

Из

аналога

неравенства

(3.7)

для

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

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

(xt,

t),

0,

находим,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P { s u p x ,> A } < - ^ .

 

 

 

 

 

 

 

 

 

 

t

 

 

Л

 

 

 

 

 

 

Отсюда

следует,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р {sup xt <

оо} =

1.

 

 

 

 

 

(3.43)

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

Положим т„ =

inf {t: xt ^

п}

А п. Тогда Р {т„ ^ п} — 1, Р {хп ^

^ тп+і}= 1 и в силу (3.43)

Р{1іш т„ = оо}= 1. Положим теперь

xn{t) — X t A xn - Ясно,

что

 

 

П

max [п, хХп],

откуда

следует,

xtA Tn^

что для

каждого

п =

1,

2, ...

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

Xn =

{xn(i), STt),

t^ O , принадлежит

классу

D.

Поэтому

согласно

следствию

теоремы

3.8

 

xn(t) =

mn( t) ~ An{t),

 

 

 

 

 

(3.44)

 

 

 

 

 

 

 

 

где Mn = (mn(t), n't),

 

0, — равномерно

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

мар­

тингал,

а An(t),

 

0, — натуральный

возрастающий

процесс.

Заметим, что а:„+1 ( т „ Л t) =

xn(t). Далее,

поскольку {mn+l (і).

0} равномерно интегрируемо, то

таково

же и семейство

[mn+l(t А тп), f> 0} . Процесс Ап+Х{хп /\

t),

 

0, получающийся

из натурального

возрастающего

процесса

An+1(t),

 

0, «оста­

новкой» в момент т,г, как нетрудно доказать, также будет на­ туральным и возрастающим.