В математике — в частности, в теории больших отклонений — функция скорости — это функция, используемая для количественной оценки вероятностей редких событий. Такие функции используются для формулировки принципов больших отклонений . Принцип больших отклонений количественно оценивает асимптотическую вероятность редких событий для последовательности вероятностей.
Функцию скорости также называют функцией Крамера , в честь шведского специалиста по теории вероятностей Харальда Крамера .
Функция скорости Расширенная вещественная функция, определенная на топологическом пространстве Хаусдорфа, называется функцией скорости, если она не является тождественной и полунепрерывной снизу , т. е. все множества подуровней
замкнуты в . Если, кроме того, они компактны , то говорят, что это хорошая функция скорости .
Говорят, что семейство вероятностных мер на удовлетворяет принципу больших отклонений с функцией скорости (и скоростью ), если для каждого замкнутого множества и каждого открытого множества
Если верхняя граница (U) справедлива только для компактных (а не замкнутых) множеств , то говорят, что удовлетворяется слабый принцип больших уклонений (со скоростью и слабой функцией скорости ).
Роль открытых и замкнутых множеств в принципе больших отклонений аналогична их роли в слабой сходимости вероятностных мер: напомним, что говорят , что сходимость слабая , если для каждого замкнутого множества и каждого открытого множества
Существуют некоторые различия в номенклатуре, используемой в литературе: например, den Hollander (2000) использует просто «функцию скорости», тогда как эта статья — вслед за Dembo & Zeitouni (1998) — использует «хорошую функцию скорости» и «слабую функцию скорости». Rassoul-Agha & Seppäläinen (2015) использует термин «плотная функция скорости» вместо «хорошая функция скорости» из-за связи с экспоненциальной плотностью семейства мер. Независимо от номенклатуры, используемой для функций скорости, проверка того, должно ли неравенство верхней границы (U) выполняться для замкнутых или компактных множеств, позволяет определить, является ли используемый принцип большого отклонения сильным или слабым.
Естественный вопрос, который следует задать, учитывая несколько абстрактную установку общей структуры выше, заключается в том, является ли функция скорости уникальной. Оказывается, это так: если задана последовательность вероятностных мер ( μ δ ) δ >0 на X , удовлетворяющая принципу большого отклонения для двух функций скорости I и J , то следует, что I ( x ) = J ( x ) для всех x ∈ X .
Можно преобразовать слабый принцип больших отклонений в сильный, если меры сходятся достаточно быстро. Если верхняя граница верна для компактных множеств F и последовательность мер ( μ δ ) δ >0 экспоненциально тесна , то верхняя граница также верна для замкнутых множеств F . Другими словами, экспоненциальная теснота позволяет преобразовать слабый принцип больших отклонений в сильный.
Наивно можно было бы попытаться заменить два неравенства (U) и (L) одним требованием, что для всех борелевских множеств S ⊆ X ,
Равенство (E) слишком ограничительно, поскольку многие интересные примеры удовлетворяют (U) и (L), но не (E). Например, мера μ δ может быть неатомарной для всех δ , поэтому равенство (E) может выполняться для S = { x } только если I было тождественно +∞, что не допускается в определении. Однако неравенства (U) и (L) подразумевают равенство (E) для так называемых I -непрерывных множеств S ⊆ X , тех, для которых
где и обозначают внутренность и замыкание S в X соответственно. Во многих примерах многие интересующие множества/события являются I -непрерывными. Например, если I — непрерывная функция , то все множества S такие, что
являются I -непрерывными; все открытые множества, например, удовлетворяют этому включению.
При наличии принципа большого отклонения в одном пространстве часто бывает интересно построить принцип большого отклонения в другом пространстве. В этой области есть несколько результатов:
Понятие функции скорости появилось в 1930-х годах в исследовании шведским математиком Харальдом Крамером последовательности независимых случайных величин ( Z i ) i∈ . А именно, среди некоторых соображений масштабирования, Крамер изучал поведение распределения среднего при n →∞. [1] Он обнаружил, что хвосты распределения X n экспоненциально убывают как e − nλ ( x ) , где множитель λ ( x ) в показателе степени является преобразованием Лежандра–Фенхеля (также известным как выпуклое сопряжение ) функции, производящей кумулянт . По этой причине эту конкретную функцию λ ( x ) иногда называют функцией Крамера . Функция скорости, определенная выше в этой статье, является широким обобщением этого понятия Крамера, определенным более абстрактно на пространстве вероятностей , а не на пространстве состояний случайной величины.