УДК 519.24
О ЛОКАЛЬНОЙ МОЩНОСТИ КРИТЕРИЕВ ТИПА КОЛМОГОРОВА И ОМЕГА-КВАДРАТ В АВТОРЕГРЕССИИ
М. В. Болдин1
Рассматривается АД(р)-модель с неизвестными параметрами и распределением инноваций. По остаткам от оценок параметров строится подобие эмпирической функции распределения. На этой функции основываются статистики типа Колмогорова и омега-квадрат для проверки гипотез относительно распределения инноваций. Найдена асимптотическая локальная мощность соответствующих тестов.
Ключевые слова: авторегрессия, остатки, эмпирическая функция распределения, тесты Колмогорова и омега-квадрат, локальные альтернативы.
A stationary AR(p) model is considered. The autoregression parameters are unknown as well as the distribution of innovations. Based on the residuals from the parametric estimates, an analog of the empirical distribution function is defined and tests of Kolmogorov's and j1 type are constructed for testing hypotheses on the distribution of innovations. The asymptotic power of these tests under local alternatives is obtained.
Key words: autoregression, residuals, empirical distribution function, Kolmogorov's and omega-square tests, local alternatives.
1. Введение и постановка задачи. Эмпирическая функция распределения остатков и основанные на ней критерии согласия в линейных и нелинейных регрессионных моделях изучаются давно, имеется обширная библиография. В частности, в [1] рассматривалась стационарная AR{p)-модель
ut = Ut-1 + ... + PpUt-p + £t, t € Z, (1)
где {et} — независимые, одинаково распределенные случайные величины (н.о.р.с.в.) с неизвестной функцией распределения (ф.р.) G(x); Es\ =00 < Ее2 < оо; в = (в\, • • •, вР)T ~ вектор неизвестных параметров, таких, что корни соответствующего (1) характеристического уравнения по модулю меньше единицы.
Пусть наблюдения u\-p,...,un — выборка из стационарного решения {ut} уравнения (1), а
вп = (Ры, • • •,/Зрп,)T — любая п1/2-состоятельная оценка вектора в: построенная по этим наблюдениям. Например, годится оценка наименьших квадратов (о.н.к.), поскольку она асимптотически нормальна при сделанных предположениях (см., например, [2, гл. 5]). Величины
et = ut - ¡31пЩ—1 - ••• - ¡3pnut-p, t = 1,..., n, называются отстатками, а функция
n
Gn (x) = n—1J21 (et < x), x € R1, t=i
называется остаточной эмпирической функцией распределения (о.э.ф.р). Здесь и далее I(■) означает индикатор события, функция Gn(x) есть подобие эмпирической функции распределения
n
Gn(x)= n—^ I (et < x) t=1
e1 , . . . , en
1 Болдин Михаил Васильевич — канд. физ.-мат. наук, доцент каф. теории вероятностей мех.-мат. ф-та МГУ, e-mail: boldin_mQhotmail.com.
Boldin Mikhail Vasil'evich — Candidate of Physical and Mathematical Sciences, Associated Professor, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of Theory of Probability.
В [1] показано: если С(ж) дважды дифференцируема с д(ж) = С (ж) и 8ирх |$'(ж)| < ж, то
вир |п1/2[Сп(ж) - Сп(х)]| -V 0, п ^ж. (2)
х
Утверждение (2) позволяет проверить гипотезу
Но : С(ж) = Со (ж), функция Со (ж) полностью известна,
критериями типа Колмогорова-Смирнова и омега-квадрат Крамера-Мизеса-Смирнова (далее кратко — критериями Колмогорова и омега-квадрат). А именно: пусть С-1(£), £ € [0,1], — обратная к Со(£) функция, а
«п(*) = п1/2[С„(С-1(£)) - *] — остаточный эмпирический процесс (о.э.п.). Это — аналог эмпирического процесса
= п1/2[С„(С-1(*)) - *].
Но
р
вир |-Оп- -V 0, п V ж. (3)
г
Из (3) и общеизвестных свойств гп(£) (см., например, [3, гл. 3]) получаем, что при Но процесс гп(£) слабо сходится в пространстве Скорохода 0[0,1] к броуновскому мосту г(£):
-п(^) -V г(£), п V ж. (4)
Но
Оп := вир |О„(£)|, с-П = / [г>п(£)]2^-г Уо
Но
Р (О < Л) V Р (вир | V (¿) | < Л)= К (Л),
г
Р(-П < Л) V Р(/ [^(¿)]2^ < Л) = 5(Л), п ^ж,
о
где К (Л) и 5(Л) — известные и табулированные функции распределения Колмогорова и Смирнова. Таким образом, статистики £>п и с-П можно применять для проверки Но при больших п так же, как обычные статистики, основанные на гп(¿).
Но
о.э.п. и основанных на нем тестовых статистик при локальных альтернативах не рассматривалось. Мы устраним этот пробел.
Цель настоящей работы — установить слабый предел в 0[0,1] о.э.п. г)п(£) и основанных на нем статистик Оп и с-П при локальных альтернативах.
Далее в п. 2.2 предполагается, что {ег} в (1) — н.о.р.с.в. с ф.р. в виде смеси
Ап(ж) := (1 - Рп)Со(ж) + РпН(ж), (5)
где
Я(ж) - ф.р., рп = тт{1, р ^ 0.
п
Но
Н1 п Н1 п Но Р = 0
Результат об асимптотическом поведении оп(£) и основанных та нем статистик Оп и соП при
Н1п Н1п
Этот результат представлен далее в теореме 1 и следствии 1 при предположениях относительно ф.р. инноваций существенно более общих, чем (5). Это позволяет рассматривать в дальнейшем
альтернативы более общие, чем Hira. Если бы |et} были наблюдаемы, то общий вид локальных к Ho альтернатив был бы хорошо известен (см. [4]). В схеме (1) мы работаем с остатками и возникает необходимость иметь при альтернативе и1/2-состоятельную оценку в- В общей ситуации предъявить такую оценку непросто, но для альтернативы (5) такой оценкой оказывается простейшая о.н.к.
В настоящее время соотношения типа (2) (т.е. равномерные стохастические разложения о.э.ф.р.) установлены для различных авторегрессионных моделей: ARMA, взрывающейся и неустойчивой авторегрессии, АЯ(то), ARCH, GARCH и для некоторых других (см. [5] и имеющуюся там библиографию). Значит, в этих моделях также можно проверять гипотезы о распределении инноваций тестами типа Колмогорова и омега-квадрат. Локальная мощность этих тестов не исследовалась. Настоящая работа открывает путь к подобному исследованию.
2. Основные результаты.
2.1. Стохастические разложения о.э.ф.р. Будем предполагать сначала, что с.в. |et} в (1) — н.о.р.с.в. с ф.р. An(ж). Эта функция распределения не обязательно удовлетворяет (5), к ней предъявляются лишь весьма общие требования. (В них, чтобы подчеркнуть зависимость от и, будем писать e1n вместо е1.)
Условие (г). Ee1n = 0, supn E^1n < то.
(2)
Условие (гг). Ф.р. Ап(ж) дважды дифференцируема, и supnx |An (ж)| < то.
Аналогично остаткам |êt} от оценки fin из п. 1 введем остатки от неслучайного вектора в = (01,..., 0p)T € Rp соотношением
et (в) := ut - 01«t_1 - ... - t = 1,..., и.
Введем соответствующую о.э.ф.р.:
n
Gn(x, в) = и-1^ I(et(в) < ж), ж € R1. t=1
При в = в функция Gn(x, в) совпадает с эмпирической функцией распределения Gn(x) величин
,... , ^n-
Далее | ■ | означает евклидову норму вектора.
Теорема 1. Пусть |et} — н.о.р.с.в. с ф.р. An(x), удовлетворяющей условиям (г), (гг). Тогда, при любых 0 ^ в < той 5 > 0
P( sup |n1/2[Gn(ж,в + и_1/2т) - Gn(ж)]| >5) ^ 0, и ^ то.
Х,| т К©
Идея доказательства теоремы 1 родственна идеям доказательства теоремы из [1] и теоремы 2.1 из [5].
Пусть /3n — оценка в- Положим Gn (ж) := Gn^, $n). Теорема 1 влечет
Следствие 1. Пусть выполнены условия теоремы 1. Пусть ¡3n — n1/2-состоятельная оценка, в- Тогда, при любом 5 > 0
P(sup |и1/2^(ж) - Gnfa)] | >5) ^ 0, и ^ то.
x
Доказательство следствия 1 стандартно (см., например, доказательство следствия 2.1 в [5]).
2.2. О.э.п. и тестовые статистики при локальных альтернативах. Обратимся теперь к альтернативе H1n из (5). Будем предполагать выполненными следующие условия.
Условие (¿¿¿). Случайные величины с функциями распределения Go (ж) и H (ж) имеют нулевые средние и конечные дисперсии.
Условие (iv). Функции распределения Go (ж) и H (ж) дважды дифференцируемы, их вторые производные ограничены.
При условиях (¿¿¿), (¿v) ф.р. An(ж) из (5) удовлетворяет условиям (г), (гг).
Пусть ¡3n — любая и1/2-состоятельная при условиях (ггг), (¿v) оценка в- Например, годится о.н.к., которая при единственном условии (¿¿¿) для невырожденной ф.р. Go (ж) остается асимптотически гауссовской при H1n, и ^ то, с теми же параметрами, что и при Ho. Значит, в силу следствия 1
H1 n
P
sup |-ûn(t) - Vn(t)| 0, и ^ то. (6)
t
Соотношение (6) и известные свойства процесса vn(t) при локальных альтернативах (см. [4]) влекут следующую теорему.
Теорема 2. Пусть выполнены условия (iii), (iv). Пусть
5(t) := p[H(G-1 (t)) - t],t € [0,1], и функция 5(t) непрерывна. Тогда при H1n из (5)
Vn(t) = n1/2[Gn(G-1(t)) - t] -Л v(t) + 5(t), n л ю,
v(t)
Из теоремы 2 получаем
Следствие 2. В условиях теоремы 2 справедлива, сходимость по распределению
f 1
Dn Л sup |v(t)+ 5(t)|, ¿П Л [v(t) + 5(t)]2 dt, n Лю. t J 0
СПИСОК ЛИТЕРАТУРЫ
1. Болдин M.B. Оценка распределения возмущений в схеме авторегрессии // Теория вероятн. и ее примен. 1982. 27, № 4. 905-910.
2. Anderson T.V. The statistical analysis of time series. N.Y.: J. Wiley and Sons Inc., 1971.
3. Billingsley P. Convergence of probability measures. N.Y.: J. Wiley and Sons Inc., 1968.
4. Чибисов Д.М. К исследованию асимптотической мощности критериев согласия // Теория вероятн. и ее примен. 1965. 10, № 3. 460-478.
5. Boldin М. V., Petriev M.N. On the empirical distribution function of residuals in autoregression with outliers and Pearson's chi-square type tests // Math. Methods Statist. 2018. 27, N 4. 1-17.
Поступила в редакцию 13.03.2019
УДК 511
СОХРАНЕНИЕ СВОЙСТВ ОТОБРАЖЕНИЙ ТИПА НОРМАЛЬНОСТИ ЗАМКНУТЫМИ тар-МОРФИЗМАМИ
М. Ю. Лисеев1
Рассматриваются определения нормального, совершенно нормального, коллективно-нормального, наследственно нормального и паранормального отображений и теоремы о сохранении этих свойств замкнутыми тар-морфизмами.
Ключевые слова: послойная топология, тар-морфизм, нормальное отображение, коллективно-нормальное отображение, паранормальное отображение, наследственно нормальное отображение, совершенно нормальное отображение.
The paper contains definitions of normal, perfectly normal, collectionwise normal, hereditarily normal, paranormal mappings, and theorems on how these properties are preserved under closed map-morphisms.
Key words: fiberwise topology, map-morphism, normal mapping, collectionwise normal mapping, paranormal mapping, hereditarily normal mapping, perfectly normal mapping.
Под пространством понимается топологическое пространство, а под отображением — непрерывное отображение пространств. Далее приводятся определения отделим,ост,и окрестностями в
1 Лисеев Михаил Юрьевич — асп. каф. обшей топологии и геометрии мех.-мат. ф-та МГУ, e-mail: mathkurs2012Qgmail.com.
Liseev Mikhail Yur'evich Postgraduate, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of General Topology ang Geometry.