Freidlin–Wentzell Theorem
   HOME

TheInfoList



OR:

In mathematics, the Freidlin–Wentzell theorem (due to
Mark Freidlin Mark Iosifovich Freidlin (russian: Марк Иосифович Фрейдлин, born 1938). See also Russian version, . is a Russian-American probability theorist who works as a Distinguished University Professor of Mathematics at the University ...
and Alexander D. Wentzell) is a result in the
large deviations theory In probability theory, the theory of large deviations concerns the asymptotic behaviour of remote tails of sequences of probability distributions. While some basic ideas of the theory can be traced to Laplace, the formalization started with insura ...
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 Itō may refer to: *Itō (surname), a Japanese surname *Itō, Shizuoka, Shizuoka Prefecture, Japan *Ito District, Wakayama Prefecture, Japan See also *Itô's lemma, used in stochastic calculus *Itoh–Tsujii inversion algorithm, in field theory ...
will stray far from the mean path. This statement is made precise using
rate function In mathematics — specifically, in large deviations theory — a rate function is a function used to quantify the probabilities of rare events. It is required to have several properties which assist in the formulation of the large deviati ...
s. The Freidlin–Wentzell theorem generalizes Schilder's theorem for standard
Brownian motion Brownian motion, or pedesis (from grc, πήδησις "leaping"), is the random motion of particles suspended in a medium (a liquid or a gas). This pattern of motion typically consists of random fluctuations in a particle's position insi ...
.


Statement

Let ''B'' be a standard Brownian motion on R''d'' starting at the origin, 0 ∈ R''d'', and let ''X''''ε'' be an R''d''-valued Itō diffusion solving an Itō
stochastic differential equation A stochastic differential equation (SDE) is a differential equation in which one or more of the terms is a stochastic process, resulting in a solution which is also a stochastic process. SDEs are used to model various phenomena such as stock p ...
of the form :\begin dX_t^\varepsilon = b(X_t^\varepsilon) \, dt + \sqrt \, dB_t, \\ X_0^\varepsilon = 0, \end where the drift vector field ''b'' : R''d'' → R''d'' is uniformly Lipschitz continuous. Then, on the Banach space ''C''0 = ''C''0( , ''T'' R''d'') equipped with the
supremum norm In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions defined on a set the non-negative number :\, f\, _\infty = \, f\, _ = \sup\left\. This norm is also called the , the , the , or, when th ...
, , ·, , , the family of processes (''X''''ε'')''ε''>0 satisfies the large deviations principle with good rate function ''I'' : ''C''0 → R ∪  given by :I(\omega) = \frac \int_0^T , \dot_t - b(\omega_t) , ^2 \, dt if ''ω'' lies in the
Sobolev space In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense ...
''H''1( , ''T'' R''d''), and ''I''(''ω'') = +∞ otherwise. In other words, for every
open set In mathematics, open sets are a generalization of open intervals in the real line. In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are su ...
''G'' ⊆ ''C''0 and every closed set ''F'' ⊆ ''C''0, :\limsup_ \big( \varepsilon \log \mathbf \big X^\varepsilon \in F \bigbig) \leq -\inf_ I(\omega) and :\liminf_ \big( \varepsilon \log \mathbf \big X^ \in G \bigbig) \geq - \inf_ I(\omega).


References

* * (See chapter 5.6) {{DEFAULTSORT:Freidlin-Wentzell theorem Asymptotic analysis Stochastic differential equations Theorems in statistics Large deviations theory Probability theorems