Теорема Гаусса — Маркова

Рассматривается модель парной регрессии, в которой наблюдения ${\displaystyle Y}$ связаны с ${\displaystyle X}$ следующей зависимостью: ${\displaystyle Y_{i}=\beta _{1}+\beta _{2}X_{i}+\varepsilon _{i}}$. На основе ${\displaystyle n}$ выборочных наблюдений оценивается уравнение регрессии ${\displaystyle {\hat {Y}}_{i}={\hat {\beta }}_{1}+{\hat {\beta }}_{2}X_{i}}$. Теорема Гаусса—Маркова гласит:

Если данные обладают следующими свойствами:

1. Модель данных правильно специфицирована; 
2. Все ${\displaystyle X_{i}}$ детерминированы и не все равны между собой; 
3. Ошибки не носят систематического характера, то есть ${\displaystyle \mathbb {E} (\varepsilon _{i})=0\ \forall i}$; 
4. Дисперсия ошибок одинакова и равна некоторой ${\displaystyle \sigma ^{2}}$; 
5. Ошибки некоррелированы, то есть ${\displaystyle \mathop {\mathrm {Cov} } (\varepsilon _{i},\varepsilon _{j})=0\ \forall i,j}$; 

— то в этих условиях оценки метода наименьших квадратов оптимальны в классе линейных несмещённых оценок.

Первое условие: модель данных правильно специфицирована. Под этим словосочетанием понимается следующее:

• Модель состоит из фиксированной части ${\displaystyle (Y=\alpha +\beta X)}$ и случайной части ${\displaystyle (\varepsilon );}$
• Модель данных линейна по ${\displaystyle \alpha }$ и ${\displaystyle \beta }$ (${\displaystyle \alpha }$ и ${\displaystyle \beta }$ линейны по ${\displaystyle Y}$);
• Отсутствует недоопределённость (то есть ситуация, когда упущены важные факторы) и переопределённость (то есть когда, наоборот, приняты во внимание ненужные факторы); (отсутствие коллинеарности)
• Модель данных адекватна устройству данных (модель данных и устройство данных имеют одинаковую функциональную форму).

Устройство данных — это наблюдения случайной величины. Модель данных — это уравнение регрессии. «Иметь одинаковую функциональную форму» означает «иметь одинаковую функциональную зависимость». Например, если точки наблюдений очевидно расположены вдоль невидимой экспоненты, логарифма или любой нелинейной функции, нет смысла строить линейное уравнение регрессии.

Второе условие: все ${\displaystyle X_{i}}$ детерминированы и не все равны между собой. Если все ${\displaystyle X_{i}}$ равны между собой, то ${\displaystyle X_{i}={\bar {X}},}$ и в уравнении оценки коэффициента наклона прямой в линейной модели в знаменателе будет ноль, из-за чего будет невозможно оценить коэффициенты ${\displaystyle \beta _{2}}$ и вытекающий из него ${\displaystyle \beta _{1}.}$ При небольшом разбросе переменных ${\displaystyle X}$ модель сможет объяснить лишь малую часть изменения ${\displaystyle Y}$. Иными словами, переменные не должны быть постоянными.

Третье условие: ошибки не носят систематического характера. Случайный член может быть иногда положительным, иногда отрицательным, но он не должен иметь систематического смещения ни в каком из двух возможных направлений. Если уравнение регрессии включает постоянный член (${\displaystyle \beta _{1}}$), то это условие чаще всего выполняется автоматически, так как постоянный член отражает любую систематическую, но постоянную составляющую в ${\displaystyle Y}$, которой не учитывают объясняющие переменные, включённые в уравнение регрессии.

Четвёртое условие: дисперсия ошибок одинакова. Одинаковость дисперсии ошибок также принято называть гомоскедастичностью. Не должно быть априорной причины для того, чтобы случайный член порождал бо́льшую ошибку в одних наблюдениях, чем в других. Так как ${\displaystyle \mathbb {E} (\varepsilon _{i})=0\ \forall i}$ и теоретическая дисперсия отклонений ${\displaystyle \varepsilon _{i}}$ равна ${\displaystyle \mathbb {E} (\varepsilon _{i}^{2}),}$ то это условие можно записать так: ${\displaystyle \mathbb {E} (\varepsilon _{i}^{2})=\sigma _{\varepsilon }^{2}\ \forall i.}$ Одна из задач регрессионного анализа состоит в оценке стандартного отклонения случайного члена. Если рассматриваемое условие не выполняется, то коэффициенты регрессии, найденные по методу наименьших квадратов, будут неэффективны, а более эффективные результаты будут получаться путём применения модифицированного метода оценивания (взвешенный МНК или оценка ковариационной матрицы по формуле Уайта или Дэвидсона—Маккинона).

Пятое условие: ${\displaystyle \varepsilon _{i}}$ распределены независимо от ${\displaystyle \varepsilon _{j}}$ при ${\displaystyle i\neq j.}$ Это условие предполагает отсутствие систематической связи между значениями случайного члена в любых двух наблюдениях. Если один случайный член велик и положителен в одном направлении, не должно быть систематической тенденции к тому, что он будет таким же великим и положительным (то же можно сказать и о малых, и об отрицательных остатках). Теоретическая ковариация ${\displaystyle \sigma _{\varepsilon _{i},\varepsilon _{j}}}$ должна равняться нулю, поскольку ${\displaystyle \sigma _{\varepsilon _{i},\varepsilon _{j}}=\mathbb {E} {\bigl (}(\varepsilon _{i}-\mathbb {E} (\varepsilon _{i}))(\varepsilon _{j}-\mathbb {E} (\varepsilon _{j})){\bigr )}=\mathbb {E} (\varepsilon _{i}\varepsilon _{j})-\mathbb {E} (\varepsilon _{i})\cdot \mathbb {E} (\varepsilon _{j})=0.}$ Теоретические средние для ${\displaystyle \varepsilon _{i}}$ и ${\displaystyle \varepsilon _{j}}$ равны нулю в силу третьего условия теоремы. При невыполнении этого условия оценки, полученные по методу наименьших квадратов, будут также неэффективны.

Выводы из теоремы:

• Эффективность оценки означает, что она обладает наименьшей дисперсией.
• Оценка линейна по наблюдениям ${\displaystyle Y.}$
• Несмещённость оценки означает, что её математическое ожидание равно истинному значению.

Если данные обладают следующими свойствами:

1. Модель правильно специфицирована (постоянная эластичность рассматривается как постоянная, или нет лишних переменных, или есть все важные переменные),
2. ${\displaystyle \mathrm {rang} \,({\boldsymbol {X}})=k}$,
3. ${\displaystyle \mathbb {E} ({\boldsymbol {\varepsilon }}_{i})=0}$,
4. ${\displaystyle \mathrm {Cov} \,({\boldsymbol {\varepsilon }})=\sigma ^{2}{\boldsymbol {I}}}$ (что влечёт гомоскедастичность),

— то в этих условиях оценки метода наименьших квадратов ${\displaystyle {\hat {\boldsymbol {\beta }}}}$ являются лучшими в классе линейных несмещённых оценок (Best Linear Unbiased Estimators, BLUE).

В случае гетероскедастичности, если дисперсия ошибок явным образом зависит от независимой переменной, под критерий BLUE подпадает взвешенный МНК. При наличии же значительного количества выбросов наиболее эффективным может быть метод наименьших модулей[1].

• Кристофер Доугерти. Введение в эконометрику. — 2-е, пер. с англ. — М.: ИНФРА-М, 2004. — 419 с.
• Damodar N. Gujarati. Basic Econometrics. — 4. — The McGraw-Hill Companies, 2004. — С. 1002. — ISBN 978-0071123433.