6.5. |
МОДЕЛИ: СИСТЕМЫ КВАДРАТИЧНЫХ ФОРМ |
313 |
Характеристическим вектором, соответствующим характеристи ческому корню 1, является (1, 1, ..., 1)'. Характеристические век торы., соответствующие характеристическим корням cos 2яsIT (s ф О, 772), равны
|
2ns |
|
sin |
2ns |
|
COS —j ,— |
|
~ |
(21) |
4ns |
» |
sin |
4ns |
COS - T— |
~т |
|
1 |
|
|
о |
Если Т четное, то характеристическим вектором, соответствую
щим характеристическому корню (—1), будет (—1, 1, —1, |
1)'. |
Д оказательство. Уравнение, |
определяющее характеристические |
корни и характеристические векторы матрицы В, |
|
(22) |
|
Вх = |
|
vx, |
|
|
|
в покомпонентной записи принимает вид |
|
|
(23) |
*<+i = |
* |
= |
|
1, |
. . . , Г |
- 1, |
|
(24) |
хх — VXT- |
|
|
|
|
|
|
Таким образом, из (23) следует, что |
|
|
|
(25) |
х, = |
/-**!, |
* |
= |
2, . . . . |
Т |
|
Используя (24), получаем тогда |
|
|
|
|
|
|
(26) |
|
*1 = |
v |
хх, |
|
|
(27) |
|
v'г = |
1. |
|
|
|
Отсюда следует, что характеристические корни матрицы В являют-
ся корнями степени Т из |
1, т. е. |
они равны 1, е12л/Г |
Мл/Т |
|
12Я(Г—1)/Г |
Если |
характеристический |
вектор, соответствую |
щий корню e‘2ns/T, s |
О, 1, |
..., Т |
1, имеет первую^ компоненту, |
равную el2ns/T, то его) t/-й |
компонентой будет c'2jl/s/T |
Обозначим |
этот вектор через us. Тогда |
|
|
|
|
(28) |
АА |
= 4 - |
(в + в“ ‘) us = |
4 - Bus + |
4 - В"1us - |
|
314 СЕРИАЛЬНАЯ КОРРЕЛЯЦИЯ Гл. 6
Если s Ф О, 772, то cos (2ns/Т) = cos [2я (Т — s)/T] является двой ным корнем. В качестве соответствующих ему характеристических
векторов возьмем |
векторы (us + |
U T - s ) / 2 |
и (US — ur_s)/(2i), t-e ком |
поненты которых |
равны соответственно |
|
|
(29) |
|
(ei2nts/T + c'w |
- s>/r ) = |
c o |
s ^ _ , |
(30) |
-^Г (ei2nts/T — е ^т -^Т ) = |
sjn |
. |
Это и доказывает теорему, щ |
|
|
|
Теорема 6.5.3. Характеристические корни матрицы А,- равны
|
|
|
|
|
|
|
|
|
|
(31) |
cos 0 |
= |
1, |
cos |
> cos |
> cos |
* cos |
. • • • |
|
|
. , . , |
|
n j (Т — 1) |
я/ (Т — 1) |
„ |
|
|
cos — |
— — > cos — |
— — > |
если Т нечетное, |
(32) |
cos 0 |
= |
1, |
cos |
> cos -~г- > cos |
. cos |
» • • • |
. . . , |
cos— |
|
— ~ |
’ cos |
■ -у— - , cos nj — (— |
1)', если T четное. |
Характеристическим вектором, соответствующим характеристи ческому корню 1, является (1, 1, ..., 1)'. Характеристические век
торы, |
соответствующие |
характеристическим корням cos 2njs/T |
(s Ф 0, |
772), равны (21). |
Если Т четное, то характеристическим |
вектором, соответствующим характеристическому корню (—1/,
будет (—1, 1, —1, ..., 1)'.
Д оказательство. Поскольку А/ является полиномом от Аь то она имеет те же самые характеристические векторы, что и матрица А1( а ее характеристические корни являются значениями соответствую щих полиномов от характеристических корней матрицы Ах (в силу теоремы 6.5.1). Аналогично, характеристические корни и векторы матрицы, являющейся степенью матрицы В, будут характеристиче скими векторами и степенями характеристических корней матрицы В. Поэтому
(33) A/Uj = 4* (В; + В"') ub = -i- (ei2nis/T f е~12п* Т) us -
— cos 2nj sus.
Следует отметить, что характеристические векторы образуют здесь последовательности тригонометрических функций, уже ис пользовавшиеся нами при изучении циклического тренда в гл. 4.
6 .5 . |
МОДЕЛИ: СИСТЕМЫ КВАДРАТИЧНЫХ ФОРМ |
315 |
Если эти векторы нормировать, они будут образовывать те же орто тональные матрицы, что и в разд. 4.2.2, а именно:
(34) |
|
|
М |
|
1 |
2л |
. |
2я |
|
4л |
— |
COS — |
sin— |
COS - у - |
Y 2 |
|
|
|
|
|
1 |
4л |
. |
4л |
|
8л |
V2 |
cos — |
sin —- - COS |
|
X |
|
|
|
|
|
/ 2 |
1 |
|
0 |
|
1 |
|
|
|
|
|
если Г четное, и |
|
|
|
|
(35) |
|
|
|
|
|
|
1 |
|
2л |
|
2я |
|
V 2 |
|
COS — |
Sin — |
|
|
|
|
|
|
1 |
|
4л |
|
4л |
|
V 2 |
|
c o s — |
Sin-y- |
|
|
|
|
|
М |
• |
|
• |
|
• |
|
• |
|
• |
|
• |
|
• |
|
• |
|
• |
|
1 |
|
1 |
|
0 |
|
лГъ |
|
|
|
|
|
|
|
X
sin
sin
• • •
4л c o s - y -
8л cos —
•
•
•
1
л (T — 2)
T
2л (T — 2)
0
• • • sin
• • • sin
. . .
1 / 2 1
1/ 2"
П _
Я (Г— 1)
Т
О
если Т нечетное. |
диагонализируются одной |
и |
Итак, все квадратичные формы Q/ |
той же |
ортогональной матрицей. |
Преобразование |
вектора |
(Уъ |
•••. Ут)' с |
помощью этой матрицы к вектору (zlt ..., ZT )' |
приво |
дит /-ю квадратичную форму к виду
(36) |
2л/ |
2 |
/ = 0, 1, ... , р. |
Q/ = 2 COS ^- |
S2s, |
S=1
(Заметим, что значения cos 2njs/T при s = 0 и s = Т совпадают.) Если наблюдения yt независимы и нормально распределены с нуле выми средними и дисперсиями а2 (у0 = 1/а2, ух = ... — ур =■* 0), то подобным же образом будут распределены и переменные zt.
316 |
СЕРИАЛЬНАЯ КОРРЕЛЯЦИЯ |
Гл. 6. |
Циклический сериальный коэффициент корреляции /-го порядка определяется как
2 |
yat-i |
2nf |
2 |
cos —— |
szz |
t= \ |
|
s= 1 |
|
T |
|
T |
|
2 |
y2t |
2 |
|
t= l |
s=l |
|
где yt-j = yt-i+т, t = 1, j, j = 1, p. Он называется так потому, что квадратичная форма Q,- строится здесь с участием всех попарных произведений, отстоящих на / единиц значений наблюде ний yt, и при этом сами наблюдения уъ ..., ут как бы располагаются вдоль Некоторой окружности на равных расстояниях друг от друга.
Для большей наглядности можно расположить на единичной окружности Т равноудаленных друг от друга точек, так чтобы од ной из них была точка (1, 0). Веса cos 2JTSIT будут абсциссами по следних.
Преимуществом циклической модели является то, что при рас смотрении в такой модели коэффициента сериальной корреляции первого порядка соответствующие характеристические корни об разуют пары1>, за исключением, быть может, одного или двух, и все используемые матрицы имеют одни и те же характеристические век торы. В § 6.7 будет показано, что если все корни двойные, за исклю
чением, быть может, одного или двух, то распределение гг или г\ можно записать в явном виде. Практическое неудобство добавле ния слагаемых вида угут состоит в том, что такие слагаемые никак не связаны с взаимной зависимостью элементов последовательности. Если при этом имеется тренд (который мы игнорировали), то подоб ные слагаемые могут оказаться большими по абсолютной величине
иэто поведет к ошибкам в оценке меры зависимости.
6.5.3.Модель, использующая последовательные разности
Займемся теперь другой системой матриц А0, Аь ..., Ар. В § 3.4 мы рассматривали использование сумм квадратов разностей для
оценивания |
дисперсии временных рядов. Если уъ |
..., ут имеют |
нулевые средние, дисперсии о2 и некоррелированы, |
то статистика |
|
Т - г |
|
|
2 (дл vt? |
|
х) Имеется |
в виду, что корни имеют кратность два (двойные корни).— Прим, |
tieрев. |
/ |
|
6 .5 . |
МОДЕЛИ: СИСТЕМЫ КВАДРАТИЧНЫХ ФОРМ |
317 |
является несмещенной оценкой для а2. Если средние значения мо гут отличаться от нуля (но yt по-прежнему некоррелированы), то отношение VJVq (q > г) можно использовать для проверки ну левой гипотезы о том, что тренд / (t) = %yt удовлетворяет условию
Д7'(9 = 0 , в предположении, что A9/ (t) — 0 . Если средние равны нулю, а величины yt могут быть коррелированы, то изменение раз ностей будет отражать эту корреляцию. В частности, для г = 1 математическое ожидание 2 (Т — 1)УХравно
(39) Л2 (АУ{? = g 2 (yt+1 — 2yt+iyt + yb = |
t=\ |
t=\ |
|
= |
%У\ + 2 2 |
— 2 2 |
|
/=2 |
/=1 |
Если последовательные пары значений yt будут положительно за
висимыми, то использование статистики |
приведет к занижению |
величины дисперсии. |
|
Для проверки гипотезы о сериальной корреляции можно ис пользовать статистику, являющуюся отношением суммы квадратов
последовательных разностей |
к сумме |
квадратов |
наблюдений. |
Если |
средние известны и равны нулю, то такая статистика имеет вид |
|
Т |
|
|
Г — 1 |
т |
|
|
|
(40) |
2 (у*— v t- \f |
+22 y2t + у2 |
—22 ytyt-1 |
|
j = 2 _ -----------= |
----------Ы ---------------±«--------= |
|
|
2 % 2 |
|
|
и * ? |
|
|
|
|
|
|
|
|
1 |
] |
|
|
|
|
|
|
|
2 ytVt-l + -7Г у\ + |
1 |
Ут |
|
= |
2 |
1 |
t=2 |
Z |
|
|
|
|
|
|
|
|
|
|
|
|
" 2 |
у] |
|
|
Если эту статистику рассматривать как |
альтернативутк цикли- |
ческим квадратичным формам, то (40) приводит |
к Q0 = 2 У2 и Q1( |
|
|
|
|
|
|
|
t=i |
равной числителю дроби в правой части (40). Матрицей квадратич ной формы Qi является
|
|
" |
1 |
1 |
0 |
0 |
|
0 " |
|
|
|
1 |
0 |
1 |
о |
••• |
о |
|
(41) |
А |
0 1 0 1 |
. - . 0 |
|
О |
0 |
1 |
о |
••• |
о |
|
|
|
318 |
СЕРИАЛЬНАЯ КОРРЕЛЯЦИЯ |
Гл. 6. |
|
т |
yty t-\ наличием |
Она отличается от матрицы квадратичной формы 2 |
|
t**2 |
|
1/2 в верхнем левом и в правом нижнем углах. Последующие мат рицы в этой модели можно образовать с помощью А1; используя со отношения (18) (вытекающие из (16) и (17)). Первые две полученные при этом матрицы имеют вид
|
|
|
0 |
1 1 0 |
|
• |
0 |
- |
|
|
|
|
1 0 |
0 1 |
|
• |
о |
|
|
(42) |
А2 = 2А? — 1 = |
_1_ |
10 |
0 0 |
|
• |
о |
|
|
0 10 0 |
|
• |
0 |
|
’ |
|
|
2 |
|
|
|
|
|
0 |
0 0 |
0 |
.. • |
0 |
_ |
|
|
|
|
0 |
0 |
1 1 0 |
. . . |
0 |
“ |
|
|
|
0 |
1 0 |
0 |
1 |
. . . |
0 |
|
|
|
|
1 |
0 |
0 |
0 |
0 |
. . . |
0 |
|
(43) |
А3 = 4А? — 3Aj = |
~ |
1 |
0 |
0 |
0 |
0 |
. . . |
0 |
|
|
|
|
0 |
1 0 |
0 |
0 |
. . . |
о |
|
|
|
|
0 |
0 |
0 |
0 |
0 |
|
|
0 |
|
Следует отметить, что А/ отличается от' желательной для нас матрицы квадратичной формы 2 HtHt-i только добавлением по /
элементов, равных 1/2, в левый верхний и правый нижний углы. Определение А/, / = 2, ..., р, как полиномов от Аь гарантирует совпадение характеристических векторов А/ с характеристическими векторами матрицы Av Использование тех же полиномов от Аь что и в системе циклических сериальных коэффициентов корреляции, приводит к тому, что при малых значениях / матрицы А/ не будут сколько-нибудь значительно отличаться от матриц, у которых нену левые элементы, равные 1/2, стоят на диагоналях, удаленных на / единиц от главной. Дело в том, что используемая нами в настоящем случае матрица Ах отличается от матрицы (В + В')/2 только угло выми элементами. Поэтому матрица А/ при малых / будет отличаться
от матрицы [В7 + (ВУ]/2 небольшим количеством элементов. Для характеристического вектора х с компонентами хъ ..., Х т ,
соответствующего характеристическому корню Я, удовлетворяюще го соотношению Аах = Ях, справедливы соотношения
(44) - у (*i + х2) — Xxlt
6.5. |
МОДЕЛИ: СИСТЕМЫ КВАДРАТИЧНЫХ ФОРМ |
319 |
(45) |
(*<-> + *ж ) = %х‘’ f = 2’ • • • ’ Т ~ |
1’ |
(46)-g- (хт—1+ Хт) = Алт-
Уравнения (45) можно записать в виде
(47) xt+i — 2Xxt xt- 1 = 0, t — 2, . . . , 7 — 1,
т. e. в виде разностного уравнения второго порядка. Решением последнего являет'ся
(48) |
|
|
|
|
х, = Cxtf + |
с£I |
|
|
|
где !i и £2 — корни характеристического уравнения |
|
|
(49) |
|
|
|
|
х2 — 2Хх + |
1 = |
0, |
|
|
соответствующего |
этому |
разностному |
уравнению. |
Корни |
X ± |
± VX2 — 1 |
различны, если только |
X не равно 1 или —1. Посколь |
ку gxia = 1 и |
+ |
£а = 2Х, |
то выражение (48) иначе можно запи |
сать |
как |
|
|
|
|
|
|
|
|
|
|
(50) |
|
|
|
|
xt |
= |
-j- с2| |
, |
|
|
а 2Х — £ + |
| -1. Тогда (44) |
примет вид |
|
|
|
(51) |
0 = |
х2 + |
(1 — 2Х) Xl = |
Cl£2 + с2Г 2 + |
|
|
|
|
+ |
(1 — £ — £“ ’) {с& + СаГ1) = |
|
|
|
|
- |
Сх (1 - |
Г 1) 5 + г2 (1 - £) Г* = (5 -- 1) (Сг- |
^ г 1). |
|
Отсюда с2 = |
|
и можно положить |
= |
£~‘д, с2 = |
£1Д. При |
этом |
(52) |
|
|
|
|
xt = !/ - ‘д + |
Г (^ ‘/г) • |
|
|
Уравнение (46) из тех же соображений может быть записано в виде
(53) 0 = |
(2Х —- 1) Хт— X]•_1= |
|
|
|
|
|
|
|
|
|
|
- |
(I + |
Г 1 - |
1) (IrVl+ |
|
|
- |
<ir- v- + |
Г |
|г- ‘и ) - |
|
|
= |
gr+‘/* |
g-<r+‘/2) _ |
_ |
g -(r -‘/2) _ |
|
|
|
|
|
|
= ( f - r r) ( ^ ' - г Ч |
|
|
|
|
|
|
|
|
|
|
так что либо 1 = |
1, либо £2Г = |
1. |
Корни уравнения £2Г = |
1 в свою |
очередь |
равны |
£ = el2ns,(2T) = elS!t/T, |
s |
= 0, |
1, |
... |
, |
27 |
— |
1. |
Поскольку е‘2то/<2Г) — e~l2n(2T~s)l{2T\ |
существует |
7 |
+ |
1 различных |
значений |
А. =( £ |
+ |
£~’)/2 для |
£ = |
e,2lts/(27’), |
s =0,1, ... |
, |
7. |
Однако |
значение |
X = —1, |
соответствующее |
значению |
£ = |
= —1 для |
s = |
7, |
не является |
допустимым, |
так |
как |
при |
этом |
320 |
СЕРИАЛЬНАЯ КОРРЕЛЯЦИЯ |
Гл. 6. |
xt = 0. Остальные значения Я являются характеристическими кор нями матрицы Ах, и, поскольку у нее существует всего Т характе ристических корней, эти значения Я образуют полную совокупность характеристических корней матрицы Ах. Для получения t-й компо ненты s-ro характеристического вектора удобно домножить выра-
Т еорема 6.5.4. Характеристические корни матрицы Аь ука занной в (41), равны cos JTS/Г, s = 0, 1, ..., Т — 1, а соответствую щие им характеристические векторы равны
cos |
ns |
2f~ |
cos |
3ns |
~2T~ |
(54) |
|
cos (2T — 1) ns
2Г
С ледствие 6.5.1. Характеристические корни матрицы А/, по лучаемой по формулам (16) и (17) из матрицы k lt указанной в (41), равны cos njs/T, s = 0, 1, ..., Т — 1. Соответствующие им харак теристические векторы имеют вид (54).
Д оказательство. |
Матрица А/ |
определена |
как |
полином |
от |
Alt |
т. е. Aj = Pj (А/). Поэтому ее |
характеристические |
корни |
равны |
Pj (АД, где А,, — характеристические |
корни |
матрицы |
Аь |
s = |
= 0, 1, ..., Т — 1 (в силу |
теоремы 6.5.1). Из доказательства теоре |
мы 6.5.3, |
где |
Ах = |
(В + В')/2, |
|
вытекает, |
что |
Р/ (cos v) |
= |
cos /v. |
Используя теорему 6.5.4, получаем утверждение следствия.д |
|
Следствие |
6.5.2. Матрица |
А |
из |
следствия |
6.5.1 |
приводится |
к диагональному виду с помощью матрицы |
|
|
|
|
|
|
|
|
|
(55) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- |
1 |
cos- |
я |
|
|
2п |
•• |
|
cos- |
л ( Г |
- |
|
|
|
|
V'2 |
2Г |
C O S -^T - |
|
|
2Т •1) |
|
|
V i |
1 |
cos - |
Зл |
|
|
6л |
•• |
|
cos - |
Зл (Т - - о |
|
|
уТ |
2Т |
C°S ~2Т~ |
|
|
2Т |
|
|
|
|
1 |
LUo |
(2Т — 1) п |
(2Т-1) 2я . . |
LUo |
(2Г |
— |
1) л (Т —1) |
|
|
V2 |
|
2Т |
C°s |
|
2Т |
|
|
|
2Т |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, и здесь все матрицы приводятся к диагональному виду с помощью одной и той же ортогональной матрицы. Переходя к преобразованным переменным, найдем, что /-я квадратичная фор-
а :5 . МОДЕЛИ: СИСТЕМЫ КВАДРАТИЧНЫХ ФОРМ 321
ма принимает в этих переменных вид
|
т |
|
(56) |
«/ = 2 cos я/ (S— 1) £ |
/ = 0, 1, . . . , р. |
|
S— 1 |
|
Матрицы, используемые в этом параграфе, тесно связаны с ма
трицами, использовавшимися в |
методе |
переменных разностей |
(§ 3.4). Положим |
|
|
|
(57) |
Т—г |
|
|
|
S r= S |
(bry , f |
= 2 |
c V y sy t |
|
/=1 |
|
S ,f= l |
|
и С, |
= (Cs/1). Тогда матрица Сг приближенно равна Ci. Действитель |
но, эти матрицы отличаются только элементами с индексами s, t < г, и (Т — s + 1), (Т — t + 1) < г. Матрицы С1( С2, С3 и С4 были при ведены в (43), (44), (45) и (46) § 3.4 (и обозначались там как Ах, А2, А3 и А4 соответственно). Мы имеем:
|
" |
2 — 3 |
1 |
0 . . . о - |
|
|
|
|
|
|
— 3 |
6 — 4 |
1 . .. |
0 |
|
|
|
|
|
(58) |
с? = |
1 — 4 |
6 |
-- 4 . .. |
0 |
|
|
|
|
|
0 |
1 — 4 |
6 . .. |
0 |
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
••• |
2 |
|
|
|
|
|
|
|
5 - - 9 |
|
5 — 1 |
|
0 |
• 0 “ |
|
|
|
|
- 9 |
19 -- 15 |
6 - 1 •• • 0 |
|
|
|
|
5 |
--15 |
20 --1 5 |
|
6 |
•• • |
0 |
|
|
(59) |
Ci |
- 1 |
6 -- |
15 |
20 --15 |
•• • |
0 |
> |
|
|
|
0 -- 1 |
|
6 --1 5 |
20 •• • 0 |
|
|
|
|
|
|
|
|
0 |
0 |
|
0 |
0 |
о ...• |
5 _ |
|
|
|
|
14 - 2 8 |
|
20 — 7 |
|
1 |
0 •• 0 " |
|
|
—28 |
62 - 5 5 |
28 |
- 8 |
|
1 |
•• |
0 |
|
|
20 |
- 5 5 |
|
70 — 56 |
|
28 |
- 8 |
•• |
0 |
(60) |
с! = |
— 7 |
28 - 5 6 |
70 — |
56 |
|
28 |
•• |
0 |
1 |
— 8 28 - 5 6 |
|
70 --56 |
•• 0 |
|
|
|
|
|
0 |
1 |
— 8 |
28 — |
56 |
|
70 |
•• |
0 |
322 |
СЕРИАЛЬНАЯ КОРРЕЛЯЦИЯ |
Гл. 6. |
Поскольку С]_ = |
2 (I — At), |
вектор (54) будет s-м характеристиче |
ским вектором |
матрицы Ci |
= 2^ (I — Aj)r, |
соответствующим ха |
рактеристическому корню 2^ (1 — cos ns/T)r. |
А так как А/ являет |
ся полиномом от Аа степени /, то |
Ci представляет собой линейную |
комбинацию матриц А0 = 1, |
Aj, |
..., Аг: |
|
(61)« = ( * ) ' + 2 ( § < - Ч + / ) А''
6.5.4.Другая модель
Представляет определенный интерес брать в качестве Qx квад-
т
ратичную форму 2 Ш/<-ь поскольку она и есть желательная <=2
сумма запаздывающих произведений. Соответствующая матрица
|
" |
0 |
1 |
0 . . . |
0 |
" |
|
|
1 |
0 |
1 ... |
о |
|
(62) |
Ai - |
0 |
1 |
0 . . . |
0 |
|
|
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
|
Взяв эту матрицу в качестве исходной и воспользовавшись уравне ниями (18) (вытекающими из (16) и (17)), получим новую систему матриц. Так,
|
|
|
|
|
|
1 0 |
1 0 - . . |
0 " |
|
|
|
|
|
|
|
0 |
0 0 1 |
••• |
0 |
|
|
(63) |
А, = |
2А? - |
I = |
± |
1 0 0 0 . . . |
о |
|
|
0 |
1 |
О 0 . . . |
О |
’ |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 0 0 |
|
|
- 1 |
_ |
|
|
|
|
|
|
|
0 — 1 О 1 О - - - 0 - |
|
|
|
|
|
|
— 1 |
О 0 0 |
1 о. , |
о |
|
|
|
|
|
|
|
0 |
О |
О |
О |
О . .. |
о |
|
(64) |
А3 = |
4А? - |
ЗАг = |
|
± |
1 |
О |
О |
О |
0 . . . о |
|
|
|
|
|
|
|
О |
1 |
О |
О |
О . . . |
о |