книги из ГПНТБ / Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы
.pdf§ 4] |
|
|
РЕКУРРЕНТНЫЕ |
УРАВНЕНИЯ |
ЭКСТРАПОЛЯЦИИ |
|
527 |
|||||||||
Тогда справедливы уравнения |
|
|
|
|
|
|
|
|
||||||||
IП\ (/, s - f |
1 )\_/л, (^, |
s)A |
|
|
|
|
|
|
|
|
|
|
|
|||
\ n 2(t, s + |
\ ) j ~ \ n 2(t, |
s)/ + |
|
|
|
|
|
|
|
|
|
|
||||
+ е д |
( D,(S' E)EDt <S' |
l}) [S,+, — A0(s) — Al (s)m, - |
A , (S) y , |
|||||||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(13.141) |
|
Dl (s, l) = |
(b о ß) (s, |
g) + |
a, (s, |
l) ysA\ (s, |
|), |
|
|
||||||||
|
|
|
|
|||||||||||||
|
|
D2 (s, l) = |
(B о ß) (s, |
i) + |
Ai (s, |
I) ysA\ (s, |
I), |
|
||||||||
E - E (ix i), |
матрица Ф^ определяется |
из |
рекуррентных |
уравне |
||||||||||||
ний |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
f a{(t— 1) |
a2(t— 1)\ |
|
t . |
|
|
|
|
|
|
|
|
||||
Ф = |
( л |(1 — 1) |
Л2( / - 1 |
) К |
’ |
|
|
= |
|
|
|
(13.142) |
|||||
а |
|
|
«1 (t, |
|
|
|
о |
|
i-l |
|
a0(«) |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
(13.143) |
||||||
|
|
|
|
|
|
|
S |
|
|
|
|
|||||
|
|
|
n2(t, |
о ) ; ~ ф° и 0 |
+ |
Ф і- |
Л («) |
|
|
|||||||
|
|
|
|
|
|
|||||||||||
Если выполнено (13.136) и к тому оюе а2(/) = 0, |
то |
|
||||||||||||||
пх {t, s + |
1) = |
я, (t, |
s) + |
[(b о ß) (s, I) + |
a, (s) vH! (s>6)] X |
|||||||||||
|
|
|
X [(ß ° ß) (s, Q + |
Л, (s, |
t) yaA] (s, |)]+ X |
|
|
|||||||||
|
|
|
|
|
Х[Іі+і — A0(s, |
i) — Л, (s, |)m j, |
(13.144) |
|||||||||
где матрица i)>* определяется из уравнений |
|
|
|
|||||||||||||
a |
|
|
|
= ai(t |
l) |
|
|
|
^ = |
£ <*x*>» |
|
|
(13.145) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
я, (<, 0) = |
^m 0 + |
21 |
^ - ‘a0 (и). |
|
|
(13.146) |
|||||||
|
|
|
|
|
|
|
|
|
u=0 |
|
|
|
|
|
||
Д о к а з а т е л ь с т в о . |
По |
индукции из |
(13.134), |
(13.135) по |
||||||||||||
лучаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mt |
|
|
m0 |
+ 2 |
ф«"‘ |
a0(u)\ |
|
|
|
|
|
|
||||
= |
Фо |
|
А0( и ) Г |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||||||
|
|
t- 1 |
D,(n, £)D2+ («, DD1! 2(u, |
I) |
|
|
(13.147) |
|||||||||
|
|
|
|
|
!)• |
|||||||||||
|
+ |
E |
ф-_1 |
D f («, |
|) |
|
|
|
|
ё ( и + |
||||||
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
528 |
УСЛОВНО-Г'АУССОВСКИЕ ПОСЛЕДОВАТЕЛЬНОСТИ |
[ГЛ. 13 |
|
Возьмем от обеих частей в (13.147) условное математическое ожидание М (• | Тогда, учитывая, что М [е (м+1) 1 П н ]= °> и > s, из (13.147) легко находим
п\ (/, |
s + |
1) \ _ |
|
|
|
|
п2(/> |
s + |
1) / |
|
|
|
|
|
( п■ |
SA |
1 ^ |
( Di {s* ® Ü2+ (s>® D^ (s- ® |
e (S + 1 ) . |
|
|
= U » , |
W |
+ ®s+4 |
D f is, £) |
||
|
|
|||||
что вместе с (13.135) приводит к системе уравнений (13.141). Уравнения (13.144) выводятся аналогичным образом.
§5. Примеры
1.Приведем ряд примеров, иллюстрирующих возможности использования выведенных выше уравнений фильтрации, интер поляции и экстраполяции.
П р и м е р |
1 (оценка параметров). Пусть О— (Ѳ,, . . . , Ѳ*.) — |
|||||||||
гауссовский |
вектор с |
МѲ = т |
и соѵ(Ѳ, Ѳ) = у. Требуется |
оце |
||||||
нить Ѳ по наблюдению за /-мерным процессом %t, |
t = 0, 1, |
. . . , |
||||||||
удовлетворяющим рекуррентным уравнениям |
|
|
|
|
||||||
|
| г+І = |
Л0(/, |
l) + |
Ax{t, |
l)Q + Bx{t, |)е ,(/ + |
1) |
(13.148) |
|||
с £о = |
°- |
|
|
|
(I) — (IV) для mt — М(Ѳ|£Г|) |
и yt — |
||||
В |
предположениях*) |
|||||||||
— соѵ(Ѳ, Ѳ|/F |) |
из (13.56), (13.57) получаем рекуррентные урав |
|||||||||
нения |
|
|
|
|
|
|
|
|
|
|
mt+l = mt + vH! & І) [(ß.ßj) (t, |
І) + At (/, I) y tA\ (/, |
l)j+ X |
|
|||||||
|
|
|
|
X [i,+i - A 0(t, D - A i i t , |
l ) m t\, |
(13.149) |
||||
Yt+1=-Yt - Y A ( t , |
|
|
l) + Ax{t, l)y tA\{t, Dj+ЛХ/, |
g)Yt |
||||||
|
|
|
|
|
|
|
|
|
(13.150) |
|
c m0 — m , Yo = |
Y- |
Если матрицы {ВХВХ)* (t, |
£) |
невырождены |
||||||
Т е о р е м а |
13.15. |
|||||||||
(Р-п. н.), / = |
0, |
1........ |
то решения уравнений |
(13.149), |
(13.150) |
|||||
*) |
Предположение (II) можно |
заменить в данном случае |
условием |
|||||||
М Sp Л, (t, I) а \ (t, |
|) < со. |
|
|
|
|
|
|
|
||
§ 5] |
|
|
|
|
|
ПРИМЕРЫ |
|
|
|
|
|
|
529 |
|
задаются формулами *) |
|
|
|
|
|
|
|
|
|
|||||
mt+1= |
£ + |
Y 2 |
Ш ЯпбіГ' (s, iM H s, |
Ю |
X |
|
|
|
||||||
|
|
|
|
s=0 |
|
|
|
|
|
|
|
|
|
|
X |
m + |
y |
2 |
ЛГ (S, |
Ю ( В і В І ) - 1 (s, Ю ( І>s 4* 1 |
A)(s> Ю) |
|
(13.151) |
||||||
|
|
|
s=0 |
|
|
|
|
|
|
|
|
|
|
|
Y/+i |
|
E + v S A U s , |
D i B t â r ' f s , |
SM i(s, i) |
|
|
(13.152) |
|||||||
|
|
|
|
s = 0 |
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
По |
теореме |
13.3 |
условное |
распреде |
|||||||||
ление |
Р { Ѳ ^ а | ^ } |
является |
гауссовским |
(Р-п. н.) |
с |
парамет |
||||||||
рами (mt, |
yt). |
|
|
|
|
|
|
|
|
|
|
|
||
Предположим, что матрица yt является положительно |
опре |
|||||||||||||
деленной. |
Тогда у условного распределения Р {Ѳ |
|
\ 9~\} |
суще |
||||||||||
ствует |
плотность |
|
|
|
|
|
|
|
|
|
|
|||
Условное распределение Р {£і+1< |
6 | #"|, Ѳ} |
также |
(Р-п. н.) |
|||||||||||
является гауссовским с параметрами {(А0(/, |
|) + |
А, (і, |
I) Ѳ), |
|||||||||||
{BiB\)(t, I)}. Поскольку матрицы (BiB1)(t, g), |
t = О, |
1, ..., невырож |
||||||||||||
дены (Р-п. |
н.), |
то у распределения Р [|<+1 |
Ь [ SF\, |
Ѳ} |
существует |
|||||||||
плотность |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ilf+1 \b 1*0’ |
ö) — |
|
Ть |
|
|
• |
|
|
|
|
Но тогда согласно формуле Байеса существует плотность
,, , dP (Ѳ< a\srf,,)
задаваемая формулой
|
|
|
(Р-п. и.). |
(13.153) |
|
J h t + I ( h + i\Ü , *)/е(*Іі£) dx |
|
||
Обозначим |
|
|
|
|
|
g i(t+ 1, |
|) = (2яГ2 |
det Y/+1 . |
(13.154) |
§2 {t + |
1. Ю— |
|
|
|
= (2 я Р ~ V det yt • det (ß,ßj)(£ |) J |
|& x)f,(x\P0) dx. |
|||
|
|
* k |
1 |
(13.155) |
) |
Cp. с теоремами 12.2 и |
12.8, |
|
|
§ 5) |
|
|
|
|
|
|
|
ПРИМЕРЫ |
|
|
|
|
|
|
|
|
531 |
||
то нетрудно доказать, что существуют |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
tnt = |
lim |
т[п), |
yt = |
lim у р |
|
|
|
|
||||||
Yi+i = |
2 |
A\(s, |
I) |
|
|
(s, |
I) Ai (s, |
i) |
|
, |
|
|
|
|
|
||||
|
|
s—0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(13.159) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
mt+1— Yi+i |
2 |
|
(S, |
i ) |
( ß , ß I ) - 1(S, I ) (S, g) (gs + , - |
A , (S, D ) |
|
|
|||||||||||
|
|
|
s = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Отметим, что оценка (13.159) совпадает |
с оценкой макси |
||||||||||||||||||
мального правдоподобия для вектора Ѳ по наблюдениям |
g*+l = |
||||||||||||||||||
==(Ео> • • • > Е<+1}- |
|
2 (интерполяция гауссовской марковской цепи). |
|||||||||||||||||
2. |
П р и м е р |
||||||||||||||||||
Пусть |
Ѳ, = (Ѳ, (0, . • |
|
Ѳй (t)), |
t== 0, |
1, |
|
|
— марковская |
цепь, |
||||||||||
определяемая |
рекуррентными |
уравнениями |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
= |
ао(0 + |
аі (О |
+ |
b (t) е, (t + 1), |
|
|
(13.160) |
|||||||
где |
a0(t), |
a,(t), |
b(t) |
зависят |
лишь |
от |
t. |
Случайный |
вектор |
||||||||||
Ѳ0 ~ |
N (т, |
у). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим задачу оценивания величин О,, в предположении, |
|||||||||||||||||||
что Ѳ* = ß, |
s < t. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
mß(s, t) = M (0S IѲ# = |
ß), |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Y (s>0 — Yp (s>t) — M [(0S — |
(s, t) (0S — mß (s, t))* \0, = |
ß], |
||||||||||||||||
|
|
mt = M0„ |
|
yt — cov (0*, Ѳ,). |
|
|
|
|
|
|
|
|
|
||||||
Тогда согласно теоремам 13.4 и 13.10 |
|
|
|
|
|
|
|
|
|||||||||||
mt+\ = |
а0 (*) + |
a i (*) m<* |
Vt+i — al (t)ytâ[(Q + b(t)b* (t) |
(13.161) |
|||||||||||||||
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mß (s, t) = mt + yt (<p*)* Yt (ß - |
mt\ |
|
Y (s, t) = |
ys~ ys(<p*)’ Y^«p| y*. |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(13.162) |
|
где ф‘= |
а1(if—1) ... a{(s). В частности, если 0f+1 = 0f+ |
et ( /+ 1), то |
|||||||||||||||||
m^(s, t) = m + |
^ |
( ß |
—m) , |
у (s, |
t) = ( s + |
y) [l -yipj] • |
(13.163) |
||||||||||||
П р и м е р |
3 |
(интерполяция |
с |
фиксированным |
запаздыва |
||||||||||||||
нием). |
Рассмотрим |
задачу |
оценивания |
величин Ѳ3 по наблю |
|||||||||||||||
дениям |
ll+h — {£о> •••> Еs+J. гДе |
h — фиксированная |
величина. |
||||||||||||||||
Обозначим |
nifi (s) = |
nt (s, s -j- fi), |
yh (s) = |
у (s, |
s + |
h) |
и |
предпо |
|||||||||||
ложим, |
что при всех s — 0, |
1, ... |
матрицы |
у (s, |
1) (ф^+1)* Y^+i |
||||||||||||||
невырождены. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
§ 51 |
|
|
ПРИМЕРЫ |
533 |
|
|
|
|
|
||
3. |
П р и м е р |
4 |
(линейный прогноз стационарных последова |
||
тельностей). Пусть І„ |
t = 0, |
±1, ± 2 , — стационарный в широ |
|||
ком смысле процесс |
с |
М|, = |
0 и спектральной плотностью |
|
|
еа +
( 1 3 . 1 6 9 )
2іЛ . 1 IX , 1
е+ Т е + Т
Пусть требуется построить оптимальную (в среднеквадрати ческом смысле) линейную оценку величины %t по |о •= (|0, | s}, s ^ /.
Построим гауссовский процесс \ t, і = О, ±1, . . . . с М Ь ^ О
и спектральной плотностью /(А) = /(Л). Такой процесс может быть получен как решение уравнения
І/+2 + Т (Іш + U = е (/ + 2) + е (t + 1),
где е (t), t — 0, ± 1, . . — последовательность гауссовских случайных величин с
Me (t) - |
О• |
|
м в ( |
о . м |
« в |
( |
( . * ) = Ц |
|
|
|
|
|
Положим Ѳ, = |
| <+1—е (t -(- 1). Тогда для (Ѳ„ |
£,), t = 0, |
± 1 ,..., |
|||||||||
получаем систему уравнений |
|
|
|
|
|
|
|
|||||
|
Ѳ/+і — |
— if |
— Y |
+ T 8 V+ |
1)> |
|
(13.170) |
|||||
|
|
|
|
|
|
|
|
|
|
|
||
|
I/+1 = |
+ |
8 {t + |
!)• |
|
|
|
|
|
|
||
Согласно теореме 13.13 n{ (t, s) = |
M (Ѳ, | £Г|) и n2(t, s) — M (g, | |
) |
||||||||||
определяются из уравнений (13.138), (13.139): |
|
|
|
|||||||||
|
n:(t+ |
1, |
s ) = — -^rii(t, |
s ) - - ^ n 2{t, s), |
|
(13.171) |
||||||
|
n2(t+ |
l, |
s) = |
nx(t, |
s), |
|
|
|
|
|||
|
|
|
|
|
|
|
||||||
c nx(s, s) = ms, n2{s, |
s) = |
l s. |
|
|
условие |
ws = |
M(Os |^"|) |
и |
||||
Входящее |
в |
(13.171) начальное |
||||||||||
Ys определяются из уравнений (см. (13.56), (13.57)) |
|
|
||||||||||
ms+i |
|
2 |
|
2 |
|
2(1 + Ys) ^ s+1 |
^s)> |
(13.172) |
||||
V |
— |
|
|
■ |
|
|
|
|
|
|
(13.173) |
|
Ts+1 |
1+Ys - |
|
|
|
|
|
|
|
|
|||
534 |
|
УСЛОВНО-ГАУССОВСКИЕ ПОСЛЕДОВАТЕЛЬНОСТИ |
|
[ГЛ. 13 |
|||||||||
Покажем, что здесь |
т0 = |
0, |
Ѵо=1- |
|
процесса |
(Qt, l t), |
|||||||
Действительно, |
в |
силу |
стационарности |
||||||||||
t = 0, ±1, |
. . . , параметры dn = |
МѲ^, dl2 — МѲ^, d22 = |
легко |
||||||||||
находятся |
из следующей системы, получаемой из (13.170); |
||||||||||||
|
|
^11 = ' | ' du + |
|
<^22 + Y |
di2 + -J, |
|
|
||||||
|
|
d \ 2 == |
2 |
d u |
|
2 |
^12 Н |
2 ’ |
|
|
|
||
|
|
d22— dn + |
1. |
|
|
|
|
|
|
|
|||
А именно dn = 1, |
dl2 — 0, |
d22 = 2, |
и по теореме о |
нормальной |
|||||||||
корреляции |
т 0 = |
0, |
у0 = 1. |
|
процессу \ ь t — Q, |
|
|
||||||
Возвращаясь |
к |
исходному |
±1, |
. . . , на |
|||||||||
ходим, что |
оптимальный |
линейный прогноз |
определяется из |
||||||||||
(13.171)—(13.173), где в (13.172) вместо %t надо подставить (см. лемму 14.1).
