Цель любого физического эксперимента — проверить, выполняется ли некоторая теоретическая закономерность (модель), а также получить или уточнить её параметры. Поскольку набор экспериментальных данных неизбежно ограничен, а каждое отдельное измерение имеет погрешность, можно говорить лишь об оценке этих параметров. В большинстве случаев измеряется не одна величина, а некоторая функциональная зависимость величин друг от друга. В таком случае возникает необходимость построить оценку параметров этой зависимости.
Пример. Рассмотрим процедуру измерения сопротивления некоторого резистора. Простейшая теоретическая модель для резистора — закон Ома , где сопротивление — единственный параметр модели. Часто при измерениях возможно возникновение систематической ошибки — смещение нуля напряжения или тока. Тогда для получения более корректной оценки сопротивления стоит использовать модель с двумя параметрами: .
Для построения оценки нужны следующие компоненты
данные — результаты измерений и их погрешности (экспериментальная погрешность является неотъемлемой частью набора данных!);
модель — параметрическое описание исследуемой зависимости ( — набор параметров модели, например, коэффициенты прямой );
процедура построения оценки параметров по измеренным данным («оценщик»):
Рассмотрим самые распространенные способы построения оценки.
Обозначим отклонения результатов некоторой серии измерений от теоретической модели как
где — некоторый параметр (или набор параметров), для которого требуется построить наилучшую оценку. Нормируем на стандартные отклонения и построим сумму
(3.1) |
которую принято называть суммой хи-квадрат.
Метод минимума хи-квадрат (метод Пирсона) заключается в подборе такого , при котором сумма квадратов отклонений от теоретической модели, нормированных на ошибки измерений, достигает минимума:
Замечание. Подразумевается, что погрешность измерений указана только для вертикальной оси . Поэтому, при использовании метода следует выбирать оcи таким образом, чтобы относительная ошибка по оси абсцисс была значительно меньше, чем по оси ординат.
Данный метод вполне соответствует нашему интуитивному представлению о том, как теоретическая зависимость должна проходить через экспериментальные точки. Ясно, что чем ближе данные к модельной кривой, тем меньше будет сумма . При этом, чем больше погрешность точки, тем в большей степени дозволено результатам измерений отклоняться от модели. Метода минимума является частным случаем более общего метода максимума правдоподобия (см. ниже), реализующийся при нормальном (гауссовом) распределении ошибок.
Можно показать (см. [5]), что оценка по методу хи-квадрат является состоятельной, несмещенной и, если данные распределены нормально, имеет максимальную эффективность (см. приложение 5.2).
Замечание. Простые аналитические выражения для оценки методом хи-квадрат существуют (см. п. 3.6.1, 3.6.4) только в случае линейной зависимости (впрочем, нелинейную зависимость часто можно заменой переменных свести к линейной). В общем случае задача поиска минимума решается численно, а соответствующая процедура реализована в большинстве специализированных программных пакетов по обработке данных.
Рассмотрим кратко один из наиболее общих методов оценки параметров зависимостей — метод максимума правдоподобия.
Сделаем два ключевых предположения:
зависимость между измеряемыми величинами действительно может быть описана функцией при некотором ;
все отклонения результатов измерений от теоретической модели являются независимыми и имеют случайный (не систематический!) характер.
Пусть — вероятность обнаружить отклонение при фиксированных , погрешностях и параметрах модели . Построим функцию, равную вероятности обнаружить весь набор отклонений . Ввиду независимости измерений она равна произведению вероятностей:
(3.2) |
Функцию называют функцией правдоподобия.
Метод максимума правдоподобия заключается в поиске такого , при котором наблюдаемое отклонение от модели будет иметь наибольшую вероятность, то есть
Пусть теперь ошибки измерений имеют нормальное распределение (напомним, что согласно центральной предельной теореме нормальное распределение применимо, если отклонения возникают из-за большого числа независимых факторов, что на практике реализуется довольно часто). Согласно (2.5), вероятность обнаружить в -м измерении отклонение пропорциональна величине
где — стандартная ошибка измерения величины . Тогда логарифм функции правдоподобия (3.2) будет равен (с точностью до константы)
Таким образом, максимум правдоподобия действительно будет соответствовать минимуму .
Рассмотрим случай, когда все погрешности измерений одинаковы, . Тогда множитель в сумме выносится за скобки, и оценка параметра сводится к нахождению минимума суммы квадратов отклонений:
(3.3) |
Оценка по методу наименьших квадратов (МНК) удобна в том случае, когда не известны погрешности отдельных измерений. Однако тот факт, что метод МНК игнорирует информацию о погрешностях, является и его основным недостатком. В частности, это не позволяет определить точность оценки (например, погрешности коэффициентов прямой и ) без привлечения дополнительных предположений (см. п. 3.6.2 и 3.6.3).
Значение суммы позволяет оценить, насколько хорошо данные описываются предлагаемой моделью .
Предположим, что распределение ошибок при измерениях нормальное. Тогда можно ожидать, что большая часть отклонений данных от модели будет порядка одной среднеквадратичной ошибки: . Следовательно, сумма хи-квадрат (3.1) окажется по порядку величины равна числу входящих в неё слагаемых: .
Замечание. Точнее, если функция содержит подгоночных параметров (например, для линейной зависимости ), то при заданных лишь слагаемых в сумме хи-квадрат будут независимы. Иными словами, когда параметры определены из условия минимума хи-квадрат, сумму можно рассматривать как функцию переменных. Величину называют числом степеней свободы задачи.
В теории вероятностей доказывается (см. [4] или [5]), что ожидаемое среднее значение (математическое ожидание) суммы в точности равно числу степеней свободы:
Таким образом, при хорошем соответствии модели и данных, величина должна в среднем быть равна единице. Значения существенно большие (2 и выше) свидетельствуют либо о плохом соответствии теории и результатов измерений, либо о заниженных погрешностях. Значения меньше 0,5 как правило свидетельствуют о завышенных погрешностях.
Замечание. Чтобы дать строгий количественный критерий, с какой долей вероятности гипотезу можно считать подтверждённой или опровергнутой, нужно знать вероятностный закон, которому подчиняется функция . Если ошибки измерений распределены нормально, величина хи-квадрат подчинятся одноимённому распределению (с степенями свободы). В элементарных функциях распределение хи-квадрат не выражается, но может быть легко найдено численно: функция встроена во все основные статистические пакеты, либо может быть вычислена по таблицам.
Важным свойством метода хи-квадрат является «встроенная» возможность нахождения погрешности вычисленных параметров .
Пусть функция имеет максимум при , то есть — решение задачи о максимуме правдоподобия. Согласно центральной предельной теореме мы ожидаем, что функция правдоподобия будем близка к нормальному распределению: , где — искомая погрешность параметра. Тогда в окрестности функция имеет вид параболы:
Легко убедиться, что:
Иными словами, при отклонении параметра на одну ошибку от значения , минимизирующего , функция изменится на единицу. Таким образом для нахождения интервальной оценки для искомого параметра достаточно графическим или численным образом решить уравнение
(3.4) |
Вероятностное содержание этого интервала будет равно 68% (его еще называют 1– интервалом). Отклонение на 2 будет соответствовать уже 95% доверительному интервалу.
Замечание. Приведенное решение просто использовать только в случае одного параметра. Впрочем, все приведенные рассуждения верны и в много-параметрическом случае. Просто решением уравнения 3.4 будет не отрезок, а некоторая многомерная фигура (эллипс в двумерном случае и гипер-эллипс при больших размерностях пространства параметров). Вероятностное содержание области, ограниченной такой фигурой будет уже не равно 68%, но может быть вычислено по соответствующим таблицам. Подробнее о многомерном случае в разделе 5.5.
Применим перечисленные выше методы к задаче о построении наилучшей прямой по экспериментальным точкам . Линейность функции позволяет записать решение в относительно простом аналитическом виде.
Обозначим расстояние от -й экспериментальной точки до искомой прямой, измеренное по вертикали, как
и найдём такие параметры , чтобы «совокупное» отклонение результатов от линейной зависимости было в некотором смысле минимально.
Пусть сумма квадратов расстояний от точек до прямой минимальна:
(3.5) |
Данный метод построения наилучшей прямой называют методом наименьших квадратов (МНК).
Рассмотрим сперва более простой частный случай, когда искомая прямая заведомо проходит через «ноль», то есть и . Необходимое условие минимума функции , как известно, есть равенство нулю её производной. Дифференцируя сумму (3.5) по , считая все величины константами, найдём
Решая относительно , находим
Поделив числитель и знаменатель на , этот результат можно записать более компактно:
(3.6) |
Напомним, что угловые скобки означают усреднение по всем экспериментальным точкам:
В общем случае при функция должна иметь минимум как по , так и по . Поэтому имеем систему из двух уравнений , , решая которую, можно получить (получите самостоятельно):
(3.7) |
Эти соотношения и есть решение задачи о построении наилучшей прямой методом наименьших квадратов.
Погрешности и коэффициентов, вычисленных по формуле (3.7) (или (3.6)), можно оценить в следующих предположениях. Пусть погрешность измерений величины пренебрежимо мала: , а погрешности по одинаковы для всех экспериментальных точек , независимы и имеют случайный характер (систематическая погрешность отсутствует).
Пользуясь в этих предположениях формулами для погрешностей косвенных измерений (см. раздел (2.6)) можно получить следующие соотношения:
(3.10) |
(3.11) |
где использованы введённые выше сокращённые обозначения (3.8). Коэффициент отражает число независимых <<степеней свободы>>: экспериментальных точек за вычетом двух условий связи (3.7).
В частном случае :
(3.12) |
Формулы (3.7) (или (3.6)) позволяют провести прямую по любому набору экспериментальных данных, а полученные выше соотношения — вычислить соответствующую среднеквадратичную ошибку для её коэффициентов. Однако далеко не всегда результат будет иметь физический смысл. Перечислим ограничения применимости данного метода.
В первую очередь метод наименьших квадратов — статистический, и поэтому он предполагает использование достаточно большого количества экспериментальных точек (желательно ).
Поскольку метод предполагает наличие погрешностей только по , оси следует выбирать так, чтобы погрешность откладываемой по оси абсцисс величины была минимальна.
Кроме того, метод предполагает, что все погрешности в опыте — случайны. Соответственно, формулы (3.10)–(3.12) применимы только для оценки случайной составляющей ошибки или . Если в опыте предполагаются достаточно большие систематические ошибки, они должны быть оценены отдельно. Отметим, что для оценки систематических ошибок не существует строгих математических методов, поэтому в таком случае проще и разумнее всего воспользоваться графическим методом.
Одна из основных проблем, связанных с определением погрешностей методом наименьших квадратов заключается в том, что он дает разумные погрешности даже в том случае, когда данные вообще не соответствуют модели. Если погрешности измерений известны, предпочтительно использовать метод минимума .
Наконец, стоит предостеречь от использования любых аналитических методов «вслепую», без построения графиков. В частности, МНК не способен выявить такие «аномалии», как отклонения от линейной зависимости, немонотонность, случайные всплески и т.п. Все эти случаи требуют особого рассмотрения и могут быть легко обнаружены визуально при построении графика.
Пусть справедливы те же предположения, что и для метода наименьших квадратов, но погрешности экспериментальных точек различны. Метод минимума хи-квадрат сводится к минимизации суммы квадратов отклонений, где каждое слагаемое взято с весом :
Этот метод также называют взвешенным методом наименьших квадратов.
Определим взвешенное среднее от некоторого набора значений как
где — нормировочная константа.
Повторяя процедуру, использованную при выводе (3.7), нетрудно получить (получите) совершенно аналогичные формулы для искомых коэффициентов:
(3.13) |
с тем отличием от (3.7), что под угловыми скобками теперь надо понимать усреднение с весами .
Записанные формулы позволяют вычислить коэффициенты прямой, если известны погрешности . Значения могут быть получены либо из некоторой теории, либо измерены непосредственно (многократным повторением измерений при каждом ), либо оценены из каких-то дополнительных соображений (например, как инструментальная погрешность).