5d. Псевдоканонические формы
Определяя три канонические формы, мы отправлялись от соответствующего канонического множества а удовлетворяющего следующим свойствам:
(I) Пары спектральных плотностей, отвечающие любым двум различным элементам множества различны: если то
(II) Для любого существует один и только один элемент такой, что т. е. имеют одну и ту же спектральную плотность.
В ряде случаев удается построить подмножество такое, что обладает только свойством (I), а свойством (II) не обладает. Примером такого множества 94 является множество всех четверок, отвечающих авторегрессионному процессу:
Свойство (I) оказывается решающим в задачах оценивания, когда наилучшая модель отыскивается в любом подмножестве из . Если свойство (I) отсутствует, то алгоритм поиска может не быть сходящимся. С другой стороны, свойство (II) не столь существенно. Если, например, отыскивается класс подходящих моделей для процесса, о котором известно, что он авторегрессионного типа, то наилучшим образом согласованной будет авторегрессионная модель.
Другое множество которое содержит определяется ниже:
где
Четверки из отвечают разностным уравнениям, содержащим как члены авторегрессионного типа, так и члены типа скользящего среднего.
Теорема 5d.1. (Хеннан, 1969.) Все элементы из имеют различные пары спектральных плотностей: если существуют из такие, что Аналогичное утверждение верно относительно
Доказательство приведено в приложении 5.1. Хеннан (1971) привел пример, иллюстрирующий неполноту множества
Если заданная четверка такова, что в для нее существует эквивалентная четверка то называется псевдокапопической формой II для Если существует, то часто она оказывается менее избыточной, чем даже каноническая форма I или ее эквиваленты. Но, как отмечалось выше, задача оценивания для разностных уравнений, отвечающих псевдоканонической форме II и канонической форме I, является задачей одновременного оценивания всех неизвестных параметров, решение которой часто громоздко и неосуществимо.