Malliavin calculus

Malliavin introduced Malliavin calculus to provide a stochastic proof that Hörmander's condition implies the existence of a density for the solution of a stochastic differential equation; Hörmander's original proof was based on the theory of partial differential equations. His calculus enabled Malliavin to prove regularity bounds for the solution's density. The calculus has been applied to stochastic partial differential equations.

The usual invariance principle for Lebesgue integration over the whole real line is that, for any real number ε and integrable function f, the following holds

${\displaystyle \int _{-\infty }^{\infty }f(x)\,d\lambda (x)=\int _{-\infty }^{\infty }f(x+\varepsilon )\,d\lambda (x)}$ and hence ${\displaystyle \int _{-\infty }^{\infty }f'(x)\,d\lambda (x)=0.}$

This can be used to derive the integration by parts formula since, setting f = gh, it implies

${\displaystyle 0=\int _{-\infty }^{\infty }f'\,d\lambda =\int _{-\infty }^{\infty }(gh)'\,d\lambda =\int _{-\infty }^{\infty }gh'\,d\lambda +\int _{-\infty }^{\infty }g'h\,d\lambda .}$

A similar idea can be applied in stochastic analysis for the differentiation along a Cameron-Martin-Girsanov direction. Indeed, let ${\displaystyle h_{s}}$ be a square-integrable predictable process and set

${\displaystyle \varphi (t)=\int _{0}^{t}h_{s}\,ds.}$

If ${\displaystyle X}$ is a Wiener process, the Girsanov theorem then yields the following analogue of the invariance principle:

${\displaystyle E(F(X+\varepsilon \varphi ))=E\left[F(X)\exp \left(\varepsilon \int _{0}^{1}h_{s}\,dX_{s}-{\frac {1}{2}}\varepsilon ^{2}\int _{0}^{1}h_{s}^{2}\,ds\right)\right].}$

Differentiating with respect to ε on both sides and evaluating at ε=0, one obtains the following integration by parts formula:

${\displaystyle E(\langle DF(X),\varphi \rangle )=E{\Bigl [}F(X)\int _{0}^{1}h_{s}\,dX_{s}{\Bigr ]}.}$

Here, the left-hand side is the Malliavin derivative of the random variable ${\displaystyle F}$ in the direction ${\displaystyle \varphi }$ and the integral appearing on the right hand side should be interpreted as an Itô integral.

The toy model of Malliavin calculus is an irreducible Gaussian probability space ${\displaystyle X=(\Omega ,{\mathcal {F}},P,{\mathcal {H}})}$. This is a (complete) probability space ${\displaystyle (\Omega ,{\mathcal {F}},P)}$ together with a closed subspace ${\displaystyle {\mathcal {H}}\subset L^{2}(\Omega ,{\mathcal {F}},P)}$ such that all ${\displaystyle H\in {\mathcal {H}}}$ are mean zero Gaussian variables and ${\displaystyle {\mathcal {F}}=\sigma (H:H\in {\mathcal {H}})}$. If one chooses a basis for ${\displaystyle {\mathcal {H}}}$ then one calls ${\displaystyle X}$ a numerical model. On the other hand, for any separable Hilbert space ${\displaystyle {\mathcal {G}}}$ exists a canonical irreducible Gaussian probability space ${\displaystyle \operatorname {Seg} ({\mathcal {G}})}$ named the Segal model having ${\displaystyle {\mathcal {G}}}$ as its Gaussian subspace. Properties of a Gaussian probability space that do not depend on the particular choice of basis are called intrinsic and such that do depend on the choice extrensic.[1]

Let ${\displaystyle \gamma }$ be the canonical Gaussian measure, by transfering the Cameron-Martin theorem from ${\displaystyle (\mathbb {R} ^{\mathbb {N} },{\mathcal {B}}(\mathbb {R} ^{\mathbb {N} }),\gamma ^{\mathbb {N} }=\otimes _{n\in \mathbb {N} }\gamma )}$ into a numerical model ${\displaystyle X}$, the additive group of ${\displaystyle {\mathcal {H}}}$ will define a quasi-automorphism group on ${\displaystyle \Omega }$. A construction can be done as follows: choose an orthonormal basis in ${\displaystyle {\mathcal {H}}}$, let ${\displaystyle \tau _{\alpha }(x)=a+\alpha }$ denote the translation on ${\displaystyle \mathbb {R} ^{\mathbb {N} }}$ by ${\displaystyle \alpha }$, denote the map into the Cameron-Martin space by ${\displaystyle j:{\mathcal {H}}\to \ell ^{2}}$, denote

${\displaystyle L^{\infty -0}(\Omega ,{\mathcal {F}},P)=\bigcap \limits _{p<\infty }L^{p}(\Omega ,{\mathcal {F}},P)\quad }$ and ${\displaystyle \quad q:L^{\infty -0}(\mathbb {R} ^{\mathbb {N} },{\mathcal {B}}(\mathbb {R} ^{\mathbb {N} }),\gamma ^{\mathbb {N} })\to L^{\infty -0}(\Omega ,{\mathcal {F}},P),}$

we get a canonical representation of the additive group ${\displaystyle \rho$ :{\mathcal {H}}\to \operatorname {End} (L^{\infty -0}(\Omega ,{\mathcal {F}},P))} acting on the endomorphisms by defining

${\displaystyle \rho (h)=q\circ \tau _{j(h)}\circ q^{-1}.}$[2]

One of the most useful results from Malliavin calculus is the Clark–Ocone theorem, which allows the process in the martingale representation theorem to be identified explicitly. A simplified version of this theorem is as follows:

Consider the standard Wiener measure on the canonical space ${\displaystyle C[0,1]}$, equipped with its canonical filtration. For ${\displaystyle F:C[0,1]\to \mathbb {R} }$ satisfying ${\displaystyle E(F(X)^{2})<\infty }$ which is Lipschitz and such that F has a strong derivative kernel, in the sense that for ${\displaystyle \varphi }$ in C[0,1]

${\displaystyle \lim _{\varepsilon \to 0}{\frac {1}{\varepsilon }}(F(X+\varepsilon \varphi )-F(X))=\int _{0}^{1}F'(X,dt)\varphi (t)\ \mathrm {a.e.} \ X}$

then

${\displaystyle F(X)=E(F(X))+\int _{0}^{1}H_{t}\,dX_{t},}$

where H is the previsible projection of F'(x, (t,1]) which may be viewed as the derivative of the function F with respect to a suitable parallel shift of the process X over the portion (t,1] of its domain.

This may be more concisely expressed by

${\displaystyle F(X)=E(F(X))+\int _{0}^{1}E(D_{t}F\mid {\mathcal {F}}_{t})\,dX_{t}.}$

Much of the work in the formal development of the Malliavin calculus involves extending this result to the largest possible class of functionals F by replacing the derivative kernel used above by the "Malliavin derivative" denoted ${\displaystyle D_{t}}$ in the above statement of the result.

The Skorokhod integral operator which is conventionally denoted δ is defined as the adjoint of the Malliavin derivative in the white noise case when the Hilbert space is an ${\displaystyle L^{2}}$ space, thus for u in the domain of the operator which is a subset of ${\displaystyle L^{2}([0,\infty )\times \Omega )}$, for F in the domain of the Malliavin derivative, we require

${\displaystyle E(\langle DF,u\rangle )=E(F\delta (u)),}$

where the inner product is that on ${\displaystyle L^{2}[0,\infty )}$ viz

${\displaystyle \langle f,g\rangle =\int _{0}^{\infty }f(s)g(s)\,ds.}$

The existence of this adjoint follows from the Riesz representation theorem for linear operators on Hilbert spaces.

It can be shown that if u is adapted then

${\displaystyle \delta (u)=\int _{0}^{\infty }u_{t}\,dW_{t},}$

where the integral is to be understood in the Itô sense. Thus this provides a method of extending the Itô integral to non adapted integrands.

The calculus allows integration by parts with random variables; this operation is used in mathematical finance to compute the sensitivities of financial derivatives. The calculus has applications for example in stochastic filtering.

• Kusuoka, S. and Stroock, D. (1981) "Applications of Malliavin Calculus I", Stochastic Analysis, Proceedings Taniguchi International Symposium Katata and Kyoto 1982, pp 271–306
• Kusuoka, S. and Stroock, D. (1985) "Applications of Malliavin Calculus II", J. Faculty Sci. Uni. Tokyo Sect. 1A Math., 32 pp 1–76
• Kusuoka, S. and Stroock, D. (1987) "Applications of Malliavin Calculus III", J. Faculty Sci. Univ. Tokyo Sect. 1A Math., 34 pp 391–442
• Malliavin, Paul and Thalmaier, Anton. Stochastic Calculus of Variations in Mathematical Finance, Springer 2005, ISBN 3-540-43431-3
• Nualart, David (2006). The Malliavin calculus and related topics (Second ed.). Springer-Verlag. ISBN 978-3-540-28328-7.
• Bell, Denis. (2007) The Malliavin Calculus, Dover. ISBN 0-486-44994-7; ebook
• Sanz-Solé, Marta (2005) Malliavin Calculus, with applications to stochastic partial differential equations. EPFL Press, distributed by CRC Press, Taylor & Francis Group.
• Schiller, Alex (2009) Malliavin Calculus for Monte Carlo Simulation with Financial Applications. Thesis, Department of Mathematics, Princeton University
• Øksendal, Bernt K.(1997) An Introduction To Malliavin Calculus With Applications To Economics. Lecture Notes, Dept. of Mathematics, University of Oslo (Zip file containing Thesis and addendum)
• Di Nunno, Giulia, Øksendal, Bernt, Proske, Frank (2009) "Malliavin Calculus for Lévy Processes with Applications to Finance", Universitext, Springer. ISBN 978-3-540-78571-2

• Quotations related to Malliavin calculus at Wikiquote
• Friz, Peter K. (2005-04-10). "An Introduction to Malliavin Calculus" (PDF). Archived from the original (PDF) on 2007-04-17. Retrieved 2007-07-23. Lecture Notes, 43 pages

• Zhang, H. (2004-11-11). "The Malliavin Calculus" (PDF). Retrieved 2004-11-11. Thesis, 100 pages