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 mathematicians J.M.C. Clark and Daniel Ocone.

Contents

Statement of the theorem

Integration by parts on Wiener space

See also

External links

References

Statement of the theorem

Let ''C''₀([0, ''T'']; 'R') (or simply ''C''₀ for short) be classical Wiener space with Wiener measure ''γ''. Let ''F'' : ''C''₀ → 'R' be a BC¹ function, i.e. ''F'' is bounded and Fréchet differentiable with bounded derivative D''F'' : ''C''₀ → Lin(''C''₀; 'R'). Then
:
abla_{H} F_{t} (-)
ight| Sigma_{t}
ight] (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 ''C''₀;

★ the second integral,
::$int\_\{0\}^\{T\}\; dots\; ,\; 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 ''B''_''s''⁻¹(''A'') for times 0 ≤ ''s'' ≤ ''t'' and Borel sets ''A'' ⊆ 'R';

★ 'E'[·|Σ_''t''] denotes conditional expectation with respect to the sigma algebra Σ_''t'';

★ ^∂/_∂''t'' denotes differentiation with respect to time ''t''; ∇_''H'' denotes the ''H''-gradient; hence, ^∂/_∂''t''∇_''H'' is the Malliavin derivative.
More generally, the conclusion holds for any ''F'' in ''L''²(''C''₀; 'R') 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 ''L''₀^2,1 be the Cameron-Martin space for ''C''₀ (see abstract Wiener space. Let ''V'' : ''C''₀ → ''L''₀^2,1 be a vector field such that
:
is in ''L''²(''B'') (i.e. is Itō integrable, and hence is an adapted process). Let ''F'' : ''C''₀ → 'R' be BC¹ 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\}$
ight) , mathrm{d} gamma (sigma),
i.e.
:$int\_\{C\_\{0\}\}\; leftlangle$
abla_{H} F (sigma), V (sigma)
ight
angle_{L_{0}^{2, 1}} , mathrm{d} gamma (sigma) = - int_{C_{0}} F (sigma) operatorname{div}(V) (sigma) , mathrm{d} gamma (sigma),
where the "divergence" div(''V'') : ''C''₀ → 'R' is defined by
:$operatorname\{div\}\; (V)\; (sigma)\; :=\; -\; int\_\{0\}^\{T\}\; dot\{V\}\_\{t\}\; (sigma)\; ,\; mathrm\{d\}\; sigma\_\{t\}.$

See also

★ Integral representation theorem for classical Wiener space, which uses the Clark-Ocone theorem in its proof.

★ Malliavin calculus.

External links

★ An Introduction to Malliavin Calculus

References

★ The Malliavin calculus and related topics, , David, Nualart, Springer-Verlag, 2006,