Для подальшого аналізу знадобиться допоміжне твердження. Виходячи із припущень 1-3, доведемо, що:
Доведення. Справедлива рівність
де
тоді
де
Інакше кажучи, кожен елемент матриці, позначеної як о(1/n), є нескінченно малою величиною порядку 1/n. Для розглянутого випадку cov(x) = E, тому
Припустимо, що n досить велике і можна вважати, що власні числа матриці о(1/n) менше одиниці по модулю, тоді
що і було потрібно довести.
Підставимо доведене асимптотичне співвідношення у формулу для приросту
Виразимо Δ
Перейдемо від матричної до скалярної форми, опускаючи індекс (R):
Будемо шукати max(|Δ k*|) по Δxij і Δyi (i=1,…, п;j=1,…, m). Для цього розглянемо всі три раніше введених типи обмежень на похибки виміру.
Тип 1 (абсолютні похибки виміру обмежені). Тоді:
Тип 2 (відносні похибки виміру обмежені). Аналогічно одержимо:
Тип З (обмеження накладені на суму похибок). Припустимо, що |Δ k*| досягає максимального значення при таких значеннях погрішностей Δxij і Δyi,
які ми позначимо як:
тоді:
Через лінійність останнього вираження і виконання обмеження типу 3:
Для спрощення запису зробимо наступні заміни:
Тепер для досягнення поставленої мети можна сформулювати наступне завдання, що розділяється на m типових завдань оптимізації:
при обмеженнях
Перепишемо функції, що мінімізуємо, в наступному вигляді:
Очевидно, що fik > 0.
Легко бачити, що
Отже, необхідно вирішити nm завдань
при обмеженнях "типу рівності":
Сформульоване завдання пошуку екстремуму функції. Воно легко вирішується. Оскільки
то максимальне відхилення МНК - оцінки k-ого параметра дорівнює
3.3 Парна регресія
Найбільш простий і одночасно найбільше широко застосовуваний окремий випадок парної регресії розглянемо докладніше. Модель має вигляд
Тут xi - значення фактора (незалежної змінної),
якщо покласти
Природно прийняти, що похибки факторів описуються матрицею
У розглянутій моделі інтервального методу найменших квадратів
де X,
з точністю до нескінченно малих більш високого порядку по
Легко бачити, що
де підсумовування проводиться від 1 до n. Для спрощення позначень надалі і до кінця дійсного пункту не будемо вказувати ці межі підсумовування. З (3.3.4) випливає, що
Легко підрахувати, що
Покладемо
Тоді знаменник в (3.3.5) дорівнює
Тут і далі опустимо індекс і, по якому проводиться підсумовування. З (3.3.5) і (3.3.7) випливає:
де
Обчислимо основний множник в (3.3.3)
де
Перейдемо до обчислення другого члена з
де
Складаючи праві частини (3.3.9) і (3.3.10) і помножуючи на у, одержимо остаточний вид члена з
де
Для обчислення нотни виділимо головний лінійний член. Спочатку знайдемо частинні похідні. Маємо
Якщо обмеження мають вигляд
то максимально можливе відхилення оцінки а* параметра а через погрішності