Clark–Ocone theorem

Clark–Ocone theorem

In mathematics, the Clark–Ocone theorem (also known as the Clark–Ocone–Haussmann theorem or formula) is a theorem of stochastic analysis. It expresses the value of some function F defined on the classical Wiener space of continuous paths starting at the origin as the sum of its mean value and an Itō integral with respect to that path. It is named after the contributions of mathematicians J.M.C. Clark (1970), Daniel Ocone (1984) and U.G. Haussmann (1978).

Contents

Statement of the theorem

Let C0([0, T]; R) (or simply C0 for short) be classical Wiener space with Wiener measure γ. Let F : C0 → R be a BC1 function, i.e. F is bounded and Fréchet differentiable with bounded derivative DF : C0 → Lin(C0R). Then

F(\sigma) = \int_{C_{0}} F(p) \, \mathrm{d} \gamma(p) + \int_{0}^{T} \mathbf{E} \left[ \left. \frac{\partial}{\partial t} \nabla_{H} F_{t} (-) \right| \Sigma_{t} \right] (\sigma) \, \mathrm{d} \sigma_{t}.

In the above

  • F(σ) is the value of the function F on some specific path of interest, σ;
  • the first integral,
\int_{C_{0}} F(p) \, \mathrm{d} \gamma(p) = \mathbf{E}[F]
is the expected value of F over the whole of Wiener space C0;
  • the second integral,
\int_0^T \cdots \, \mathrm{d} \sigma (t)
is an Itō integral;
  • Σ is the natural filtration of Brownian motion B : [0, T] × Ω → R: Σt is the smallest σ-algebra containing all Bs−1(A) for times 0 ≤ s ≤ t and Borel sets A ⊆ R;

More generally, the conclusion holds for any F in L2(C0R) that is differentiable in the sense of Malliavin.

Integration by parts on Wiener space

The Clark–Ocone theorem gives rise to an integration by parts formula on classical Wiener space, and to write Itō integrals as divergences:

Let B be a standard Brownian motion, and let L02,1 be the Cameron–Martin space for C0 (see abstract Wiener space. Let V : C0 → L02,1 be a vector field such that

\dot{V} = \frac{\partial V}{\partial t} : [0, T] \times C_{0} \to \mathbb{R}

is in L2(B) (i.e. is Itō integrable, and hence is an adapted process). Let F : C0 → R be BC1 as above. Then

\int_{C_{0}} \mathrm{D} F (\sigma) (V(\sigma)) \, \mathrm{d} \gamma (\sigma) = \int_{C_{0}} F (\sigma) \left( \int_{0}^{T} \dot{V}_{t} (\sigma) \, \mathrm{d} \sigma_{t} \right) \, \mathrm{d} \gamma (\sigma),

i.e.

\int_{C_{0}} \left\langle \nabla_{H} F (\sigma), V (\sigma) \right\rangle_{L_{0}^{2, 1}} \, \mathrm{d} \gamma (\sigma) = - \int_{C_{0}} F (\sigma) \operatorname{div}(V) (\sigma) \, \mathrm{d} \gamma (\sigma)

or, writing the integrals over C0 as expectations:

\mathbb{E} \big[ \langle \nabla_{H} F, V \rangle \big] = - \mathbb{E} \big[ F \operatorname{div} V \big],

where the "divergence" div(V) : C0 → R is defined by

\operatorname{div} (V) (\sigma) := - \int_{0}^{T} \dot{V}_{t} (\sigma) \, \mathrm{d} \sigma_{t}.

The interpretation of stochastic integrals as divergences leads to concepts such as the Skorokhod integral and the tools of the Malliavin calculus.

See also

References

  • Nualart, David (2006). The Malliavin calculus and related topics. Probability and its Applications (New York) (Second edition ed.). Berlin: Springer-Verlag. ISBN 978-3-540-28328-7. 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Clark-Ocone theorem — In mathematics, the Clark Ocone theorem (also known as the Clark Ocone Haussmann theorem or formula) is a theorem of stochastic analysis. It expresses the value of some function F defined on the classical Wiener space of continuous paths starting …   Wikipedia

  • Daniel Ocone — Daniel L. Ocone is a Professor in the Mathematics Department at Rutgers University, where he specializes in probability theory and stochastic processes.[1] He obtained his Ph.D at MIT in 1980 under the supervision of Sanjoy K. Mitter.[2] He is… …   Wikipedia

  • Cameron-Martin theorem — In mathematics, the Cameron Martin theorem or Cameron Martin formula is a theorem of measure theory that describes how abstract Wiener measure changes under translation by certain elements of the Cameron Martin Hilbert space.MotivationRecall that …   Wikipedia

  • Integral representation theorem for classical Wiener space — In mathematics, the integral representation theorem for classical Wiener space is a result in the fields of measure theory and stochastic analysis. Essentially, it shows how to decompose a function on classical Wiener space into the sum of its… …   Wikipedia

  • Malliavin calculus — The Malliavin calculus, named after Paul Malliavin, is a theory of variational stochastic calculus. In other words it provides the mechanics to compute derivatives of random variables. The original motivation for the development of the subject… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Integration by parts operator — In mathematics, an integration by parts operator is a linear operator used to formulate integration by parts formulae; the most interesting examples of integration by parts operators occur in infinite dimensional settings and find uses in… …   Wikipedia

Share the article and excerpts

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