Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Статистический анализ временных рядов

..pdf
Скачиваний:
4
Добавлен:
19.11.2023
Размер:
47.02 Mб
Скачать

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 -

 

4 _ ew Us+ 4 - e- ‘^ 4 =

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

.

 

COS —

sin

COS - у -

Y 2

 

 

 

 

 

1

.

 

V2

cos —

sin —- - COS

 

X

 

 

 

 

 

/ 2

1

 

0

 

1

 

 

 

 

 

если Г четное, и

 

 

 

 

(35)

 

 

 

 

 

 

1

 

 

 

V 2

 

COS

Sin —

 

 

 

 

 

 

1

 

 

 

V 2

 

c o s —

Sin-y-

 

 

 

 

 

М

 

 

 

 

 

 

 

 

 

1

 

1

 

0

 

лГъ

 

 

 

 

 

 

 

X

sin

sin

• • •

4л c o s - y -

8л cos —

1

л (T — 2)

T

(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.

Циклический сериальный коэффициент корреляции /-го порядка определяется как

(37)

Qi

 

Qo

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

о

•••

о

 

 

0 0 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 характеристического вектора удобно домножить выра-

жение

на 1/2.

Т еорема 6.5.4. Характеристические корни матрицы Аь ука­ занной в (41), равны cos JTS/Г, s = 0, 1, ..., Т — 1, а соответствую­ щие им характеристические векторы равны

cos

ns

2f~

cos

3ns

~2T~

(54)

 

cos (2T — 1) ns

С ледствие 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

C O S -^T -

 

 

2Т •1)

 

 

V i

1

cos -

Зл

 

 

••

 

cos -

Зл - - о

 

 

уТ

2Т

C°S ~2Т~

 

 

2Т

 

 

 

 

1

LUo

(2Т 1) п

(2Т-1) 2я . .

LUo

(2Г

1) л 1)

 

 

V2

 

2Т

C°s

 

 

 

 

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

0

0

0

0

0

0 •• • 14

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

О

О

О . . .

о

о 0 0 0 0 ... о