Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.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, «оста |
новкой» в момент т,г, как нетрудно доказать, также будет на туральным и возрастающим.