Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 10.04.2024
Просмотров: 251
Скачиваний: 0
§ Ч |
ФИЛЬТРАЦИЯ |
СТАЦИОНАРНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ |
637 |
|||||
Из (14.6), |
(14.7) следует, что |
|
|
|
||||
|
|
|
Wjiz): |
,- 1 [ f l ^ z j + ß , ] |
|
(14.9) |
||
|
|
|
Wn(Z): |
п — 1 |
|
|
|
|
|
|
|
-1 akWk+i (z) + ß„ |
(14.10) |
||||
|
|
|
|
fc= 0 |
|
|
|
|
Отсюда уже нетрудно вывести, что |
|
|
||||||
Wn(z) = |
z-' |
2 |
|
(z) + |
2 |
ßy2 -W -«)+ ß„ |
(14.11) |
|
|
|
k=0 |
|
|
j=k+i |
|
||
и, следовательно, |
|
|
|
|
|
|||
|
|
|
|
Wn(z) = |
P[nnl i(*) |
|
(14.12) |
|
|
|
|
|
|
Q n ( z ) |
|
|
|
где / ^ ( z ) |
— полином степени |
не выше п — 1, |
|
|||||
Далее, |
в силу (14.9) — (14.12) |
|
|
|
||||
|
|
|
|
IV ■(г) = |
Р"~‘(г) |
• |
(14.13) |
|
|
|
|
|
, ( Z ) |
Q n ( z ) |
|
||
где полиномы Pn-i(z) имеют степень |
также не выше |
п — 1, |
||||||
причем |
в силу (14.8) |
|
|
|
|
|
||
|
|
|
|
Р " и (г )* вРа- Х{г). |
(14.14) |
|||
Таким образом, т)і(0 — ті(0- |
|
|
|
процесс |
||||
Т е о р е м а |
14.1. |
Стационарный (s широком смысле) |
||||||
т)(^), t = |
0 , ± |
1, . . . , |
допускающий |
спектральное представление |
(14.1), является компонентой п-мерного стационарного (в широ
ком смысле) процесса (rh (і), . . . , |
трД/)), т)і (0 = |
Л (0, |
подчиня |
|||||||
ющегося системе рекуррентных уравнений |
|
|
|
|||||||
Л/(* + |
1) == Л/+і (0 + |
ß/e (t + |
1), |
І = |
1, |
- • |
ti— 1, |
(14.15) |
||
|
п - |
1 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|||
'п«.(t + |
О — — 2 |
|
а/п/+і (0 + |
ß«e (t + |
1)- |
|
|
|
||
|
/=0 |
|
|
|
|
|
|
|
|
|
Процесс |
z(t), t — 0, ± |
1, . . |
допускает представление (14.3), |
|||||||
|
Мтр (s) è (t) = |
0, s < t , |
/ = |
1, |
. . . , |
n, |
(14.16) |
акоэффициенты ßI( . . . , ß„ задаются формулами (14.8).
До к а з а т е л ь с т в о . Заметим прежде всего, что из пред
ставлений (14.12), (14.13) следует, |
что все полюсы у функций |
W j ( z ) лежат внутри единичного круга. |
|
Используя представления (14.6), (14.7) и (14.5), легко нахо |
|
дим, что процесс (тр (і), . . . , трД/)) |
удовлетворяет системе ре |
куррентных уравнений (14.15). |
|
§ 1] |
ФИЛЬТРАЦИЯ СТАЦИОНАРНЫХ |
ПОСЛЕДОВАТЕЛЬНОСТЕЙ |
|
539 |
||||||||||||
Если t > s, |
то |
соѵ(У„Гв) = |
М т е = Л '- « Г , |
|
|
(14.21) |
||||||||||
|
|
|
|
|
||||||||||||
что следует |
из равенств |
|
|
|
|
|
|
|
|
|
|
|
||||
Yt = |
AYt- {+ |
Be(t) = |
A2Yt. 2 + |
ABe(t — 1) + Be(t) = ... |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
t- 1 |
|
|
|
|
|
|
|
|
|
|
|
. . . = A*-sYs + |
2 A*-14Be(j + 1). |
|
(14.22) |
||||||||||
Аналогично, |
при |
t < |
s |
|
|
|
j=s |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
соѵ(У„ Ув) = |
Г (Л *Г '. |
|
|
|
|
|
|
|||||
З а м е ч а н и е |
2. |
Если |
rj(^), |
/ = 0, ± 1 , |
. . . , — гауссовский |
|||||||||||
процесс, то |
e(i), |
t = |
0, |
± 1, |
. . . , является гауссовской последо |
|||||||||||
вательностью независимых случайных величин. |
для |
вывода |
урав |
|||||||||||||
2. |
Используем |
представления |
(14.15) |
|||||||||||||
нений фильтрации компонент стационарных последовательнос |
||||||||||||||||
тей с дробно-рациональным спектром. |
|
|
|
|
|
t = |
|
|||||||||
Пусть vt = [Ѳ„ У = |
[(Ѳ, (/), . •., |
Ѳ* (0), |
(Ei (0. .. •, & (*))], |
0, |
||||||||||||
± 1........ — действительный |
стационарный (в широком |
смысле) |
||||||||||||||
k + /-мерный процесс, |
допускающий представление |
|
|
|
|
|||||||||||
|
|
|
|
|
Я |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ѵ<= J eiMW(ea )0(dX), |
|
|
|
(14.23) |
||||||||
где |
W (z) — II Wf' q (z) II — матрица |
порядка |
N X m , |
N = |
k + |
l, |
||||||||||
с дробно-рациональными элементами |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
p(r, q) |
|
|
|
|
|
|
|
||
|
|
|
|
Wr,q{z). |
|
nr,q- |
|
|
|
|
(14.24) |
|||||
|
|
|
|
|
(r,q) |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
Q[n q |
|
|
|
|
|
|
|
|
а Ф (dX) = [Ф[ (dX), . . . , |
Фт (dX)\ — случайная векторная мера с не |
|||||||||||||||
коррелированными компонентами, |
МФ,- (dX)—0, М | Ф;- (dX) j2 = ^ . |
|||||||||||||||
Будем предполагать |
также, |
что корни уравнений Q ^^(z) — 0 |
||||||||||||||
лежат внутри единичного круга. |
|
|
|
|
|
|
|
|
|
|||||||
Применяя теорему |
14.1 к каждому из процессов |
|
|
|
|
|||||||||||
|
|
|
|
|
|
Я |
|
|
|
|
|
|
|
|
|
|
|
|
Ѵр,г,«?(*)= \ eiMWr,q{e^)Op{dX), |
|
|
(14.25) |
|||||||||||
после простых преобразований для вектора |
|< = |
(іі(/), |
• ••, |
!;(/)) |
||||||||||||
и вектора Ѳ/ (составленного |
из вектора Ѳ<= (Ѳ,(/), |
. . . , |
ѲА(/)) |
|||||||||||||
и всех тех дополнительных компонент типа %(/), |
|
|
лДО- |
|||||||||||||
которые возникают по теореме 14.1 в системе (14.15)) получаем |
||||||||||||||||
систему рекуррентных уравнений |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
Ѳ/-И = |
afit + |
Ö2\t + |
be(t + 1), |
|
|
(14.26) |
|||||||
|
|
|
E/+i = |
Afit + |
A2\ t + |
Be(t -j- 1), |
|
|
||||||||
|
|
|
|
|
|
|
|