3.1.3. Условия стационарности и обратимости линейного процесса
Стационарность. Сходимость
рядов (3.1.9) обеспечивает конечное значение дисперсии процесса. Мы видели
также в разд. 2.1.3, что автоковариации и автокорреляции должны удовлетворять
ряду условий, обеспечивающих стационарность. Для линейного процесса эти условия
могут быть объединены в одно, а именно, что ряд
-производящая функция для весов
- должен сходится при
, т. е. для
, лежащих
внутри или на единичной окружности. Этот результат обсуждается в приложении
П3.1.
Спектр линейного
стационарного процесса. В приложении П3.1 показано, что, если
мы подставим
в
виде
, где
, в производящую
функцию автоковариаций (3.1.11), то получим уменьшенный в 2 раза спектр
мощности. Отсюда спектр линейного процесса равен
,
. (3.1.12)
В действительности (3.1.12) – хорошо
известное выражение [27], связывающее спектр
выхода линейной системы с
равномерным спектром
входного белого шума, умноженным на
квадрат коэффициента усиления системы
.
Обратимость. Выше было
показано, что веса
линейного
процесса, если он стационарен, налагаемые на веса
, для получения свойства, называемого
«обратимостью». Условие обратимости не зависит от условий стационарности и
применимо также к нестационарным линейным моделям, которые мы введем в гл. 4.
Для иллюстрации
смысла понятия обратимости рассмотрим снова модель
. (3.1.13)
Выражая
через
, получим из (3.1.13)
,
т.
е.
(3.1.14)
или
, (3.1.15)
и веса
модели в форме (3.1.15) равны
. При любом значении
(3.1.13) описывает
обычный стационарный процесс. Однако, если
, веса в разложении (3.1.14), выражающем
через
текущие и прошлые значения
, образуют расходящийся ряд. Это
означает, что текущее отклонение
в момент
в (3.1.15) зависит от
с весами, растущими
по мере роста
.
Мы избегаем этой ситуации, требуя, чтобы веса
в «обращенном» разложении (3.1.14)
образовывали сходящийся ряд, т. е. чтобы
. В этом случае мы будем называть ряд обратимым.
Это условие будет, очевидно, выполняться, если ряд
сходится при
, т. е. внутри или на
единичной окружности.
В гл. 6, где мы
рассмотрим вопрос о единственности этих моделей, мы увидим, что сходящееся
разложение для
возможно
и в случае, когда
;
при этом
вырождается
только через
,
т. е. через настоящее и будущее значения процесса. Требование
обратимости необходимо, если мы заинтересованы в разумной связи текущих событий
с событиями в прошлом.
В общем,
линейный процесс
обратим, если веса
таковы, что ряд
сходится внутри или
на единичной окружности.
Подводя итоги,
отметим, что линейный процесс стационарен, если
сходится внутри или на
единичной окружности, и обратим, если
сходится в той же области.