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 ...
— specifically, in
stochastic analysis
Stochastic calculus is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals of stochastic processes with respect to stochastic processes. This field was created an ...
— the infinitesimal generator of a
Feller process (i.e. a continuous-time Markov process satisfying certain regularity conditions) is a
Fourier multiplier operator that encodes a great deal of information about the process.
The generator is used in evolution equations such as the
Kolmogorov backward equation
In probability theory, Kolmogorov equations characterize continuous-time Markov processes. In particular, they describe how the probability of a continuous-time Markov process in a certain state changes over time. There are four distinct equati ...
, which describes the evolution of statistics of the process; its
''L''2 Hermitian adjoint
In mathematics, specifically in operator theory, each linear operator A on an inner product space defines a Hermitian adjoint (or adjoint) operator A^* on that space according to the rule
:\langle Ax,y \rangle = \langle x,A^*y \rangle,
where \l ...
is used in evolution equations such as the
Fokker–Planck equation
In statistical mechanics and information theory, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag (physi ...
, also known as Kolmogorov forward equation, which describes the evolution of the
probability density function
In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a Function (mathematics), function whose value at any given sample (or point) in the sample space (the s ...
s of the process.
The Kolmogorov forward equation in the notation is just
, where
is the probability density function, and
is the adjoint of the infinitesimal generator of the underlying stochastic process. The
Klein–Kramers equation In physics and mathematics, the Oskar Klein, Klein–Hans Kramers, Kramers equation or sometimes referred as Kramers–Subrahmanyan_Chandrasekhar, Chandrasekhar equation is a partial differential equation that describes the probability density funct ...
is a special case of that.
Definition
General case
For a
Feller process with Feller semigroup
and state space
the generator
is defined as
Here
denotes 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 ...
of continuous functions on
vanishing at infinity, equipped with the supremum norm, and
. In general, it is not easy to describe the domain of the Feller generator. However, the Feller generator is always closed and densely defined. If
is
-valued and
contains the
test functions (compactly supported smooth functions) then
where
, and
is a
Lévy triplet for fixed
.
Lévy processes
The generator of
Lévy semigroup is of the form
where
is positive semidefinite and
is a
Lévy measure satisfying
and
for some
with
is bounded. If we define
for
then the generator can be written as
where
denotes the Fourier transform. So the generator of a Lévy process (or semigroup) is a Fourier multiplier operator with symbol
.
Stochastic differential equations driven by Lévy processes
Let
be a Lévy process with symbol
(see above). Let
be locally Lipschitz and bounded. The solution of the SDE
exists for each deterministic initial condition
and yields a Feller process with symbol
Note that in general, the solution of an SDE driven by a Feller process which is not Lévy might fail to be Feller or even Markovian.
As a simple example consider
with a Brownian motion driving noise. If we assume
are Lipschitz and of linear growth, then for each deterministic initial condition there exists a unique solution, which is Feller with symbol
Mean first passage time
The mean
first passage time satisfies
. This can be used to calculate, for example, the time it takes for a Brownian motion particle in a box to hit the boundary of the box, or the time it takes for a Brownian motion particle in a potential well to escape the well. Under certain assumptions, the escape time satisfies the
Arrhenius equation
In physical chemistry, the Arrhenius equation is a formula for the temperature dependence of reaction rates. The equation was proposed by Svante Arrhenius in 1889, based on the work of Dutch chemist Jacobus Henricus van 't Hoff who had noted in 188 ...
.
Generators of some common processes
For finite-state continuous time Markov chains the generator may be expressed as a
transition rate matrix
In probability theory, a transition-rate matrix (also known as a Q-matrix, intensity matrix, or infinitesimal generator matrix) is an array of numbers describing the instantaneous rate at which a continuous-time Markov chain
A continuous-time ...
.
The general n-dimensional diffusion process
has generator
where
is the
diffusion
Diffusion is the net movement of anything (for example, atoms, ions, molecules, energy) generally from a region of higher concentration to a region of lower concentration. Diffusion is driven by a gradient in Gibbs free energy or chemical p ...
matrix,
is the
Hessian of the function
, and
is the
matrix trace. Its
adjoint operator
In mathematics, specifically in operator theory, each linear operator A on an inner product space defines a Hermitian adjoint (or adjoint) operator A^* on that space according to the rule
:\langle Ax,y \rangle = \langle x,A^*y \rangle,
where \l ...
is
The following are commonly used special cases for the general n-dimensional diffusion process.
* Standard Brownian motion on
, which satisfies the stochastic differential equation
, has generator
, where
denotes the
Laplace operator
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a Scalar field, scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \ ...
.
* The two-dimensional process
satisfying:
where
is a one-dimensional Brownian motion, can be thought of as the graph of that Brownian motion, and has generator:
* The
Ornstein–Uhlenbeck process
In mathematics, the Ornstein–Uhlenbeck process is a stochastic process with applications in financial mathematics and the physical sciences. Its original application in physics was as a model for the velocity of a massive Brownian particle ...
on
, which satisfies the stochastic differential equation
, has generator:
* Similarly, the graph of the Ornstein–Uhlenbeck process has generator:
* A
geometric Brownian motion
A geometric Brownian motion (GBM) (also known as exponential Brownian motion) is a continuous-time stochastic process in which the logarithm of the randomly varying quantity follows a Brownian motion (also called a Wiener process) with drift. It ...
on
, which satisfies the stochastic differential equation
, has generator:
See also
*
Dynkin's formula
References
* (See Chapter 9)
* (See Section 7.3)
{{Stochastic processes
Stochastic differential equations