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