HOME

TheInfoList



OR:

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 \partial_t \rho = \mathcal A^* \rho, where \rho is the probability density function, and \mathcal A^* 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 (X_t)_ with Feller semigroup T=(T_t)_ and state space E the generator (A,D(A)) is defined as \begin D(A) & = \left\,\\ A f &= \lim_ \frac , ~~ \text f\in D(A).\\ \end Here C_(E) 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 E vanishing at infinity, equipped with the supremum norm, and T_t f(x) = \mathbb^x f(X_t)=\mathbb(f(X_t), X_0=x). 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 X is \mathbb^d-valued and D(A) contains the test functions (compactly supported smooth functions) then A f(x) = - c(x) f(x) + l (x) \cdot \nabla f(x) + \frac \text Q(x) \nabla f(x) + \int_ \left( f(x+y)-f(x)-\nabla f(x) \cdot y \chi(, y, ) \right) N(x,dy), where c(x) \geq 0, and (l(x), Q(x),N(x,\cdot)) is a Lévy triplet for fixed x \in \mathbb^d.


Lévy processes

The generator of Lévy semigroup is of the form A f(x)= l \cdot \nabla f(x) + \frac \text Q \nabla f(x) + \int_ \left( f(x+y)-f(x)-\nabla f(x) \cdot y \,\chi(, y, ) \right) \nu(dy) where l \in \mathbb^d, Q\in \mathbb^ is positive semidefinite and \nu is a Lévy measure satisfying \int_ \min(, y, ^2,1) \nu(dy) < \infty and 0 \leq 1-\chi(s) \leq \kappa \min(s,1)for some \kappa >0 with s \chi(s) is bounded. If we define \psi(\xi)=\psi(0)-i l \cdot \xi + \frac \xi \cdot Q \xi + \int_ (1-e^+i\xi \cdot y \,\chi(, y, )) \nu(dy ) for \psi(0) \geq 0 then the generator can be written as A f (x) = - \int e^ \psi (\xi) \hat(\xi) d \xi where \hat denotes the Fourier transform. So the generator of a Lévy process (or semigroup) is a Fourier multiplier operator with symbol -\psi.


Stochastic differential equations driven by Lévy processes

Let L be a Lévy process with symbol \psi (see above). Let \Phi be locally Lipschitz and bounded. The solution of the SDE d X_t = \Phi(X_) d L_t exists for each deterministic initial condition x \in \mathbb^d and yields a Feller process with symbol q(x,\xi)=\psi(\Phi^\top(x)\xi). 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 d X_t = l(X_t) dt+ \sigma(X_t) dW_t with a Brownian motion driving noise. If we assume l,\sigma are Lipschitz and of linear growth, then for each deterministic initial condition there exists a unique solution, which is Feller with symbol q(x,\xi)=- i l(x)\cdot \xi + \frac \xi Q(x)\xi.


Mean first passage time

The mean first passage time T_1 satisfies \mathcal A T_1 = -1. 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 dX_t = \mu(X_t, t) \,dt + \sigma(X_t, t) \,dW_t has generator\mathcalf = (\nabla f)^T \mu + tr( (\nabla^2 f) D)where D = \frac 12 \sigma\sigma^T 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, \nabla^2 f is the Hessian of the function f, and tr 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\mathcal^*f = -\sum_i \partial_i (f \mu_i) + \sum_ \partial_ (fD_)The following are commonly used special cases for the general n-dimensional diffusion process. * Standard Brownian motion on \mathbb^, which satisfies the stochastic differential equation dX_ = dB_, has generator \Delta, where \Delta 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 Y satisfying: \mathrm Y_ = where B is a one-dimensional Brownian motion, can be thought of as the graph of that Brownian motion, and has generator: \mathcalf(t, x) = \frac (t, x) + \frac1 \frac (t, x) * 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 \mathbb, which satisfies the stochastic differential equation dX_ = \theta(\mu-X_)dt + \sigma dB_, has generator: \mathcal f(x) = \theta(\mu - x) f'(x) + \frac f''(x) * Similarly, the graph of the Ornstein–Uhlenbeck process has generator: \mathcal f(t, x) = \frac (t, x) + \theta(\mu - x) \frac (t, x) + \frac \frac (t, x) * 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 \mathbb, which satisfies the stochastic differential equation dX_ = rX_dt + \alpha X_dB_, has generator: \mathcal f(x) = r x f'(x) + \frac1 \alpha^ x^ f''(x)


See also

* Dynkin's formula


References

* (See Chapter 9) * (See Section 7.3) {{Stochastic processes Stochastic differential equations