Ornstein–Uhlenbeck operator

Ornstein–Uhlenbeck operator

In mathematics, the Ornstein–Uhlenbeck operator can be thought of as a generalization of the Laplace operator to an infinite-dimensional setting. The Ornstein–Uhlenbeck operator plays a significant role in the Malliavin calculus.

Contents

Introduction: the finite-dimensional picture

The Laplacian

Consider the gradient operator ∇ acting on scalar functions f : Rn → R; the gradient of a scalar function is a vector field v = ∇f : Rn → Rn. The divergence operator div, acting on vector fields to produce scalar fields, is the adjoint operator to ∇. The Laplace operator Δ is then the composition of the divergence and gradient operators:

\Delta = \mathrm{div} \circ \nabla,

acting on scalar functions to produce scalar functions. Note that A = −Δ is a positive operator, whereas Δ is a dissipative operator.

Using spectral theory, one can define a square root (1 − Δ)1/2 for the operator (1 − Δ). This square root satisfies the following relation involving the Sobolev H1-norm and L2-norm for suitable scalar functions f:

\big\| f \big\|_{H^{1}}^{2} = \big\| (1 - \Delta)^{1/2} f \big\|_{L^{2}}^{2}.

The Ornstein–Uhlenbeck operator

Often, when working on Rn, one works with respect to Lebesgue measure, which has many nice properties. However, remember that the aim is to work in infinite-dimensional spaces, and it is a fact that there is no infinite-dimensional Lebesgue measure. Instead, if one is studying some separable Banach space E, what does make sense is a notion of Gaussian measure; in particular, the abstract Wiener space construction makes sense.

To get some intuition about what can be expected in the infinite-dimensional setting, consider standard Gaussian measure γn on Rn: for Borel subsets A of Rn,

\gamma^{n} (A) := \int_{A} (2 \pi)^{-n/2} \exp ( - | x |^{2} / 2) \, \mathrm{d} x.

This makes (RnB(Rn), γn) into a probability space; E will denoted expectation with respect to γn.

The gradient operator ∇ acts on a (differentiable) function φ : Rn → R to give a vector fieldφ : Rn → Rn.

The divergence operator δ (to be more precise, δn, since it depends on the dimension) is now defined to be the adjoint of ∇ in the Hilbert space sense, in the Hilbert space L2(RnB(Rn), γnR). In other words, δ acts on a vector field v : Rn → Rn to give a scalar function δv : Rn → R, and satisfies the formula

\mathbb{E} \big[ \nabla f \cdot v \big] = \mathbb{E} \big[ f \delta v \big].

On the left, the product is the pointwise Euclidean dot product of two vector fields; on the right, it is just the pointwise multiplication of two functions. Using integration by parts, one can check that δ acts on a vector field v with components vi, i = 1, ..., n, as follows:

\delta v (x) = \sum_{i = 1}^{n} \left( x_{i} v^{i} (x) - \frac{\partial v^{i}}{\partial x_{i}} (x) \right).

The change of notation from “div” to “δ” is for two reasons: first, δ is the notation used in infinite dimensions (the Malliavin calculus); secondly, δ is really the negative of the usual divergence.

The (finite-dimensional) Ornstein–Uhlenbeck operator L (or, to be more precise, Lm) is defined by

L := - \delta \circ \nabla,

with the useful formula that for any f and g smooth enough for all the terms to make sense,

\delta ( f \nabla g) = - \nabla f \cdot \nabla g - f L g.

The Ornstein–Uhlenbeck operator L is related to the usual Laplacian Δ by

L f (x) = \Delta f (x) - x \cdot \nabla f (x).

The Ornstein–Uhlenbeck operator for a separable Banach space

Consider now an abstract Wiener space E with Cameron-Martin Hilbert space H and Wiener measure γ. Let D denote the Malliavin derivative. The Malliavin derivative D is an unbounded operator from L2(EγR) into L2(EγH) – in some sense, it measures “how random” a function on E is. The domain of D is not the whole of L2(EγR), but is a dense linear subspace, the Watanabe-Sobolev space, often denoted by \mathbb{D}^{1,2} (once differentiable in the sense of Malliavin, with derivative in L2).

Again, δ is defined to be the adjoint of the gradient operator (in this case, the Malliavin derivative is playing the role of the gradient operator). The operator δ is also known the Skorokhod integral, which is an anticipating stochastic integral; it is this set-up that gives rise to the slogan “stochastic integrals are divergences”. δ satisfies the identity

\mathbb{E} \big[ \langle \mathrm{D} F, v \rangle_{H} \big] = \mathbb{E} \big[ F \delta v \big]

for all F in \mathbb{D}^{1,2} and u in the domain of δ.

Then the Ornstein–Uhlenbeck operator for E is the operator L defined by

L := - \delta \circ \mathrm{D}.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Ornstein–Uhlenbeck — Ornstein Uhlenbeck may refer to: Ornstein–Uhlenbeck operator Ornstein–Uhlenbeck process This disambiguation page lists articles associated with the same title. If an internal link led you here, you may …   Wikipedia

  • Ornstein–Uhlenbeck process — Not to be confused with Ornstein–Uhlenbeck operator. In mathematics, the Ornstein–Uhlenbeck process (named after Leonard Ornstein and George Eugene Uhlenbeck), is a stochastic process that, roughly speaking, describes the velocity of a massive… …   Wikipedia

  • List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… …   Wikipedia

  • Brownian motion — Zwei unabhängige Standard Wiener Prozesse Ein Wiener Prozess ist ein zeitstetiger stochastischer Prozess, der normalverteilte, unabhängige Zuwächse hat. Benannt wurde der Prozess, der auch als Brownsche Bewegung bekannt ist, nach dem… …   Deutsch Wikipedia

  • Infinitesimal generator (stochastic processes) — In mathematics mdash; specifically, in stochastic analysis mdash; the infinitesimal generator of a stochastic process is a partial differential operator that encodes a great deal of information about the process. The generator is used in… …   Wikipedia

  • Wiener-Prozess — Zwei Beispielpfade eines Standard Wiener Prozesses Ein Wiener Prozess ist ein zeitstetiger stochastischer Prozess, der normalverteilte, unabhängige Zuwächse hat. Benannt wurde der Prozess, der auch als Brownsche Bewegung bekannt ist, nach dem… …   Deutsch Wikipedia

  • Itō diffusion — In mathematics mdash; specifically, in stochastic analysis mdash; an Itō diffusion is a solution to a specific type of stochastic differential equation. Itō diffusions are named after the Japanese mathematician Kiyoshi Itō.OverviewA (time… …   Wikipedia

  • Heat equation — The heat equation is an important partial differential equation which describes the distribution of heat (or variation in temperature) in a given region over time. For a function of three spatial variables ( x , y , z ) and one time variable t ,… …   Wikipedia

  • Normal distribution — This article is about the univariate normal distribution. For normally distributed vectors, see Multivariate normal distribution. Probability density function The red line is the standard normal distribution Cumulative distribution function …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”