In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Freidlin–Wentzell theorem (due to
Mark Freidlin
Mark Iosifovich Freidlin (, born 1938). See also Russian version, . is a Russian-American probability theorist who works as a Distinguished University Professor of Mathematics at the University of Maryland, College Park. He is one of the namesakes ...
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 process
In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables in a probability space, where the index of the family often has the interpretation of time. Sto ...
es. 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 function
In mathematics — specifically, in large deviations theory — a rate function is a function used to quantify the probabilities of rare events. Such functions are used to formulate large deviation principles. A large deviation principle qu ...
s. The Freidlin–Wentzell theorem generalizes
Schilder's theorem for standard
Brownian motion
Brownian motion is the random motion of particles suspended in a medium (a liquid or a gas). The traditional mathematical formulation of Brownian motion is that of the Wiener process, which is often called Brownian motion, even in mathematical ...
.
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 have many applications throughout pure mathematics an ...
of the form
:
where the drift
vector field
In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and dire ...
''b'' : R
''d'' → R
''d'' is
uniformly Lipschitz continuous. Then, on the
Banach space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and ...
''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 t ...
, , ⋅, ,
∞, the family of processes (''X''
''ε'')
''ε''>0 satisfies the large deviations principle with good rate function ''I'' : ''C''
0 → R ∪ given by
:
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, an open set is a generalization of an Interval (mathematics)#Definitions_and_terminology, open interval in the real line.
In a metric space (a Set (mathematics), set with a metric (mathematics), distance defined between every two ...
''G'' ⊆ ''C''
0 and every
closed set
In geometry, topology, and related branches of mathematics, a closed set is a Set (mathematics), set whose complement (set theory), complement is an open set. In a topological space, a closed set can be defined as a set which contains all its lim ...
''F'' ⊆ ''C''
0,
:
and
:
References
*
* (See chapter 5.6)
{{DEFAULTSORT:Freidlin-Wentzell theorem
Asymptotic analysis
Stochastic differential equations
Theorems in statistics
Large deviations theory
Theorems in probability theory