Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 10.04.2024
Просмотров: 316
Скачиваний: 0
398 ФИЛЬТРАЦИЯ МАРКОВСКИХ ПРОЦЕССОВ [ГЛ. 9
и, следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
||||
X${t, |
S) — X$(t, s) К |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< J |
^ |
|
|
I Я,ѵз(и) II |
Xy(u, |
s) — x'y(u, s) \du. |
|||||
|
|
|
|
|
|
s |
Ve£ |
|
|
|
|
|
|
|
|
|
Заметим, |
что |
2 |
I |
КЛи) | = |
2 |
ЯѵВ (и)—А |
(и) = —21 |
(и) < 2К. |
||||||||
Поэтому |
ß<=£ |
ѵр |
|
ß^y |
р |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
£ |
I *ß (/, s) - |
A'ß (t, s ) | < 2 / c |
[ |
^U ß(M , s) — Xß(w, |
s)\du, |
|||||||||||
ße£ |
|
|
|
|
|
|
|
|
S |
Pë £ |
|
|
|
|
|
|
и по лемме 4.13 |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
2 |
|
\Хß(/, |
S)— Xß(^, |
s) I = 0 |
(Р-п. н.). |
|
|
|||||||
|
|
ße£ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Этим доказана единственность решений прямой системы |
||||||||||||||||
уравнений (9.74). |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Установим теперь представления (9.75). |
|
Y = |
(ys, @~s), |
|||||||||||||
Рассмотрим |
|
для |
этого |
случайный |
процесс |
|||||||||||
s ^ / , |
с г/5==Ррѳ5(^, s). В силу марковости процесса Ѳ-=(Ѳ5, @~s) |
|||||||||||||||
М{у3\$ 'и) = ЪЛ[ре)%{і, |
s) I &~u\ = |
M [pß0s (t, |
s)|0„] = |
|
|
|
||||||||||
= |
2iEP{iy(t, |
s)pyQu{s, |
u) = |
p ^ u(t, u) = yu |
(P-п. H.), M > S . |
|||||||||||
Поэтому процесс F = |
(ys, @~s), |
0 ^ . s ^ . t , |
является |
квадратично |
||||||||||||
интегрируемым |
мартингалом. |
|
|
|
|
|
|
|
|
|||||||
Поскольку |
при |
t ^ s |
|
|
|
|
|
|
|
|
|
|
||||
" ß(*’ |
s)=Mf6(0,, |
ß )|^ !] = |
M[M(6(0(, ß) I STs) I ^ \ \ |
= |
|
|||||||||||
|
= M [M (6 (0„ |
ß) 105) I <rf] = |
M (p ^ s (i, s) I <r!) = |
M \ys I sr]], |
||||||||||||
то по теореме |
8.5 |
|
|
|
|
0) + JS au(I) dWu, |
|
|
|
|||||||
|
|
|
Яр (t, s) = |
я 0 (t, |
|
|
|
|||||||||
где |
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
au(I) — Bül (І) [М (pßeu (t, |
u) Au(Ѳи, |
I) 1 |
— |
|
|
|
|
|||||||||
|
|
|
|
|
|
- M ( p ß 6 ü (^ w) I 2ГІ‘) M (Au (Ѳи, |
| ) І # І ) ] . |
|||||||||
Теорема доказана. |
|
|
|
|
|
|
|
|
|
|
|
§ 4] |
ПРИМЕРЫ |
401 |
|
|
|
Обозначим для s < |
* л, (s, t) = Р (Ѳ, = 1 ) |
Тогда из (9.55) |
видно, что л, (s, t) является оптимальной (в среднеквадратиче ском смысле) оценкой 0s по g*,
Пусть теперь |
для |
я, (f, |
s) = Р (Ѳ. = 1 |£-|Ѵ |
Тогда со |
|||||
гласно (9.74) |
|
|
|
|
t |
^ |
а> |
|
|
|
|
s) = n(s) + |
|
|
|
|
|||
|
я, (/, |
Л J |
[1 — 2я, («, |
s)]d«. |
|
||||
Отсюда находим |
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
я,(/, s) = |
я (s) e~2^ |
- s>+ у(1 — e-sAH-s)), |
(9.88) |
|||||
В силу (9.75) |
|
|
|
|
|
|
|
|
|
М *. 5) = я | (г‘, 0) + |
|
|
|
|
|
|
|
||
+ j [pn{t, |
u) — p,o(f, |
и)] л (и) (I — n(u))\dtu — л (и) du]. |
|||||||
|
о |
|
|
|
|
|
|
|
|
Нетрудно найти из (9.12), что |
|
|
|
|
|||||
Рп(*. |
= |
|
|
|
|
|
piQ(t, u) = |
l ( 1-е-гл«-»)). |
|
Поэтому |
|
|
|
|
|
|
|
|
|
*9 (t, s) — ~ |
+ у J n ( « ) ( l |
— я{и)) e - 2%V-u)[dla — л (и) du]. (9.89) |
|||||||
|
о |
|
|
|
|
|
|
|
|
Величина я, (t, |
s) является |
экстраполяционной |
оценкой Ѳ, |
||||||
по go, |
|
|
|
|
|
|
|
|
|