Skorokhod integral

Skorokhod integral

In mathematics, the Skorokhod integral, often denoted "δ", is an operator of great importance in the theory of stochastic processes. It is named after the Ukrainian mathematician Anatoliy Skorokhod. Part of its importance is that it unifies several concepts:
* "δ" is an extension of the Itō integral to non-adapted processes;
* "δ" is the adjoint of the Malliavin derivative, which is fundamental to the stochastic calculus of variations (Malliavin calculus);
* "δ" is an infinite-dimensional generalization of the divergence operator from classical vector calculus.

Definition

Preliminaries: the Malliavin derivative

Consider a fixed probability space (Ω, Σ, P) and a Hilbert space "H"; E denotes expectation with respect to P:

:mathbf{E} [X] : int_{Omega} X(omega) , mathrm{d} mathbf{P}(omega).

Intuitively speaking, the Malliavin derivative of a random variable "F" in "L""p"(Ω) is defined by expanding it in terms of Gaussian random variables that are parametrized by the elements of "H" and differentiating the expansion formally; the Skorokhod integral is the adjoint operation to the Malliavin derivative.

Consider a family of R-valued random variables "W"("h"), indexed by the elements "h" of the Hilbert space "H". Assume further that each "W"("h") is a Gaussian (normal) random variable, that the map taking "h" to "W"("h") is a linear map, and that the mean and covariance structure is given by

:mathbf{E} [W(h)] = 0,:mathbf{E} [W(g)W(h)] = langle g, h angle_{H},

for all "g" and "h" in "H". It can be shown that, given "H", there always exists a probability space (Ω, Σ, P) and a family of random variables with the above properties. The Malliavin derivative is essentially defined by formally setting the derivative of the random variable "W"("h") to be "h", and then extending this definition to “smooth enough” random variables. For a random variable "F" of the form

:F = f(W(h_{1}), ldots, W(h_{n})),

where "f" : R"n" → R is smooth, the Malliavin derivative is defined using the earlier “formal definition” and the chain rule:

:mathrm{D} F := sum_{i = 1}^{n} frac{partial f}{partial x_{i (W(h_{1}), ldots, W(h_{n})) h_{i}.

In other words, whereas "F" was a real-valued random variable, its derivative D"F" is an "H"-valued random variable, an element of the space "L""p"(Ω;"H"). Of course, this procedure only defines D"F" for “smooth” random variables, but an approximation prcedure can be employed to define D"F" for "F" in a large subspace of "L""p"(Ω); the domain of D is the closure of the smooth random variables in the seminorm

:| F |_{1, p} := ig( mathbf{E} [|F|^{p}] + mathbf{E} [| mathrm{D}F |_{H}^{p}] ig)^{1/p}.

This space is denoted by D1,"p" and is called the Watanabe-Sobolev space.

The Skorokhod integral

For simplicity, consider now just the case "p" = 2. The Skorokhod integral "δ" is defined to be the "L"2-adjoint of the Malliavin derivative D. Just as D was not defined on the whole of "L"2(Ω), "δ" is not defined on the whole of "L"2(Ω; "H"): the domain of "δ" consists of those processes "u" in "L"2(Ω; "H") for which there exists a constant "C"("u") such that, for all "F" in D1,2,

:ig| mathbf{E} [ langle mathrm{D} F, u angle_{H} ] ig| leq C(u) | F |_{L^{2} (Omega)}.

The Skorokhod integral of a process "u" in "L"2(Ω; "H") is a real-valued random variable "δu" in "L"2(Ω); if "u" lies in the domain of "δ", then "δu" is defined by the relation that, for all "F" ∈ D1,2,

:mathbf{E} [F , delta u] = mathbf{E} [ langle mathrm{D}F, u angle_{H} ] .

Just as the Malliavin derivative D was first defined on simple, smooth random variables, the Skorokhod integral has a simple expression for “simple processes”: if "u" is given by

:u = sum_{j = 1}^{n} F_{j} h_{j}

with "F""j" smooth and "h""j" in "H", then

:delta u = sum_{j = 1}^{n} left( F_{j} W(h_{j}) + langle mathrm{D} F_{j}, h_{j} angle_{H} ight).

Properties

* The isometry property: for any process "u" in "L"2(Ω; "H") that lies in the domain of "δ",

::mathbf{E} ig [ (delta u)^{2} ig] = mathbf{E} ig [ | u |_{H}^{2} ig] + mathbf{E} ig [ | mathrm{D} u |_{H otimes H}^{2} ig] .

:If "u" is an adapted process, then the second term on the right-hand side is zero, the Skorokhod and Itō integrals coincide, and the above equation becomes the Itō isometry.

* The derivative of a Skorokhod integral is given by the formula

::mathrm{D}_{h} (delta u) = langle u, h angle_{H} + delta (mathrm{D}_{h} u),

:where D"h""X" stands for (D"X")("h"), the random variable that is the value of the process D"X" at “time” "h" in "H".

* The Skorokhod integral of the product of a random variable "F" in D1,2 and a process "u" in dom("δ") is given by the formula

::delta (F u) = F , delta u - langle mathrm{D} F, u angle_{H}.

References

* cite book
last = Ocone
first = Daniel L.
chapter = A guide to the stochastic calculus of variations
title = Stochastic analysis and related topics (Silivri, 1986)
series = Lecture Notes in Math. 1316
pages = 1–79
publisher = Springer
location = Berlin
year = 1988
MathSciNet|id=953793
* cite web
last = Sanz-Solé
first = Marta
title = Applications of Malliavin Calculus to Stochastic Partial Differential Equations (Lectures given at Imperial College London, 7–11 July 2008)
year = 2008
url = http://www.ma.ic.ac.uk/~dcrisan/lecturenotes-london.pdf
accessdate = 2008-07-09


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • Anatoliy Skorokhod — Anatoliy Volodymyrovych Skorokhod ( Анатолій Володимирович Скороход ; born September 10 1930 in Nikopol , USSR (now Ukraine)) is a Ukrainian mathematician, and an academician of the National Academy of Sciences of Ukraine since 1985.In 1956… …   Wikipedia

  • Henstock–Kurzweil integral — In mathematics, the Henstock–Kurzweil integral, also known as the Denjoy integral (pronounced [dɑ̃ˈʒwa]) and the Perron integral, is one of a number of definitions of the integral of a function. It is a generalization of the Riemann integral… …   Wikipedia

  • Daniell integral — In mathematics, the Daniell integral is a type of integration that generalizes the concept of more elementary versions such as the Riemann integral to which students are typically first introduced. One of the main difficulties with the… …   Wikipedia

  • Darboux integral — In real analysis, a branch of mathematics, the Darboux integral or Darboux sum is one possible definition of the integral of a function. Darboux integrals are equivalent to Riemann integrals, meaning that a function is Darboux integrable if and… …   Wikipedia

  • Paley-Wiener integral — In mathematics, the Paley Wiener integral is a simple stochastic integral. When applied to classical Wiener space, it is less general than the Itō integral, but the two agree when they are both defined.The integral is named after its discoverers …   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 (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • 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

  • 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

Share the article and excerpts

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