Английская Википедия:Freidlin–Wentzell theorem

Материал из Онлайн справочника
Версия от 03:43, 10 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} In mathematics, the '''Freidlin–Wentzell theorem''' (due to Mark Freidlin and Alexander D. Wentzell) is a result in the large deviations theory of stochastic processes. Roughly speaking, the Freidlin–Wentzell theorem gives an estimate for the probability that a (scaled-down) sample path of an Itō diffusion will stray far from the mean path. This statement...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

In mathematics, the Freidlin–Wentzell theorem (due to Mark Freidlin and Alexander D. Wentzell) is a result in the large deviations theory of stochastic processes. Roughly speaking, the Freidlin–Wentzell theorem gives an estimate for the probability that a (scaled-down) sample path of an Itō diffusion will stray far from the mean path. This statement is made precise using rate functions. The Freidlin–Wentzell theorem generalizes Schilder's theorem for standard Brownian motion.

Statement

Let B be a standard Brownian motion on Rd starting at the origin, 0 ∈ Rd, and let Xε be an Rd-valued Itō diffusion solving an Itō stochastic differential equation of the form

<math>\begin{cases} dX_t^\varepsilon = b(X_t^\varepsilon) \, dt + \sqrt{\varepsilon} \, dB_t, \\ X_0^\varepsilon = 0, \end{cases}</math>

where the drift vector field b : Rd → Rd is uniformly Lipschitz continuous. Then, on the Banach space C0 = C0([0, T]; Rd) equipped with the supremum norm ||·||, the family of processes (Xε)ε>0 satisfies the large deviations principle with good rate function I : C0 → R ∪ {+∞} given by

<math>I(\omega) = \frac{1}{2} \int_0^T | \dot{\omega}_t - b(\omega_t) |^2 \, dt</math>

if ω lies in the Sobolev space H1([0, T]; Rd), and I(ω) = +∞ otherwise. In other words, for every open set G ⊆ C0 and every closed set F ⊆ C0,

<math>\limsup_{\varepsilon \downarrow 0} \big( \varepsilon \log \mathbf{P} \big[ X^\varepsilon \in F \big]\big) \leq -\inf_{\omega \in F} I(\omega)</math>

and

<math>\liminf_{\varepsilon \downarrow 0} \big( \varepsilon \log \mathbf{P} \big[ X^{\varepsilon} \in G \big]\big) \geq - \inf_{\omega \in G} I(\omega).</math>

References