При условии (2.5.1) функция ограничена и равномерно непрерывна. Если компоненты ряда действительны, то значит
Из выражения (2.5.2) также видно, что как функция X имеет период
Действительный параметр X, появляющийся в (2.5.2), называется радианной или угловой частотой в единицу времени, либо просто частотой. Если то называется спектром мощности ряда на частоте то называется кросс-спектром рядов на частоте X. Заметим, что если с вероятностью единица то кросс-спектр в действительности является спектром мощности . Refab(X) и Imfab(X) называются соответственно коспектром и квадратурным спектром. Функция носит название фазы спектра, а называется амплитудой спектра.
Пусть автоковариационные функции объединены в одну матричную функцию имеющую элементом, стоящим на пересечении строки и столбца. Допустим также, что спектральные функции второго порядка объединены в одну матричную функцию таким же образом, как это описано выше для Тогда определение (2.5.2) может быть переписано в виде
(2.5.4)
Матричная -функция — называется матрицей спектральной плотности ряда При условии (2.5.1) соотношение (2.5.4) можно обратить и получить представление
(2.5.5)
Теорема 2.5.1 покажет нам, что матрица (X) эрмитова и неотрицательно определенная, т. е. для всех векторов комплексными компонентами.
Теорема 2.5.1. Пусть - r-мерный временной ряд с автоковариационной функцией удовлетворяющий условию
(2.5.6)
Тогда матрица спектральной плотности
(2.5.7)
эрмитова и неотрицательно определенная.
Для отсюда вытекает, что спектр мощности будет действительным и неотрицательным.
В свете этой теоремы и с учетом свойств симметричности и периодичности, указанных выше, спектр мощности может рассматриваться как неотрицательная функция на промежутке . Свойства спектра мощности мы детально исследуем в гл. 5.
В случае когда векторный временной ряд имеет конечные вторые моменты, но необязательно удовлетворяет некоторым свойствам перемешивания типа (2.5.1), мы все же можем получить спектральное представление, аналогичное (2.5.5). А именно, справедлива
Теорема 2.5.2. Пусть — -мерный временной ряд, стационарный в широком смысле и имеющий конечную ковариационную функцию для Тогда существует -матричная функция , элементами которой являются функции ограниченной вариации и приращения которой неотрицательно определены, такая, что
Эта функция задается формулой
(2.5.9)
Функция называется спектральной мерой ряда . В случае когда выполнено она записывается в виде
Представление (2.5.8) получили Herglotz (1911) для одномерных действительных функций и Cramer (1942) в векторном случае.