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, где мы
рассмотрим вопрос о единственности этих моделей, мы увидим, что сходящееся
разложение для возможно
и в случае, когда ;
при этом вырождается
только через ,
т. е. через настоящее и будущее значения процесса. Требование
обратимости необходимо, если мы заинтересованы в разумной связи текущих событий
с событиями в прошлом.
В общем,
линейный процесс
обратим, если веса таковы, что ряд сходится внутри или
на единичной окружности.
Подводя итоги,
отметим, что линейный процесс стационарен, если сходится внутри или на
единичной окружности, и обратим, если сходится в той же области.