Math 2.0

Probability theory and stochastic processes Definition

Malliavin calculus

Builds on Wiener processItô calculusClassical Wiener spaceMartingale representation theorem

Definition

Let T>0T > 0, let (Bt)0≤t≤T(B_t)_{0 \le t \le T} be a Brownian motion on (Ω,ℱ,P)(\Omega, \mathcal{F}, P), and let ℱ\mathcal{F} be generated by BB. Let H=L2([0,T])H = L^2([0, T]), and for h∈Hh \in H let W(h)=∫0Th(t) dBtW(h) = \int_0^T h(t) \, dB_t be the Itô integral. A smooth random variable is F=f(W(h1),…,W(hn))F = f(W(h_1), \ldots, W(h_n)) with h1,…,hn∈Hh_1, \ldots, h_n \in H and f∈C∞(ℝn)f \in C^\infty(\R^n), where ff and all its partial derivatives have polynomial growth. Its Malliavin derivative is the HH-valued random variable DtF=∑i=1n∂if(W(h1),…,W(hn)) hi(t),0≤t≤T.D_t F = \sum_{i=1}^n \partial_i f(W(h_1), \ldots, W(h_n)) \, h_i(t), \quad 0 \le t \le T. The operator DD is closable from L2(Ω)L^2(\Omega) to L2(Ω;H)L^2(\Omega; H). Its closure is again written DD, and its domain 𝔻1,2\mathbb{D}^{1,2} is the completion of the smooth random variables for the norm ∥F∥1,22=E[F2]+E[∥DF∥H2]\norm{F}_{1,2}^2 = E[F^2] + E\left[\norm{DF}_H^2\right]. Malliavin calculus is the study of DD, of its adjoint δ\delta, called the Skorokhod integral, and of their applications.

Remarks

Example: F=BT2=W(𝟏[0,T])2F = B_T^2 = W(\mathbf{1}_{[0,T]})^2 is smooth with f(x)=x2f(x) = x^2, so DtF=2BTD_t F = 2 B_T for 0≤t≤T0 \le t \le T. Non-example: F=𝟏{BT>0}F = \mathbf{1}_{\set{B_T > 0}} is not in 𝔻1,2\mathbb{D}^{1,2}; an indicator of an event AA lies in 𝔻1,2\mathbb{D}^{1,2} only if P(A)P(A) is 00 or 11. The basic integration by parts formula is E[⟨DF,h⟩H]=E[F W(h)]E[\langle DF, h \rangle_H] = E[F \, W(h)] for smooth FF and h∈Hh \in H. The Clark–Ocone formula F=E[F]+∫0TE[DtF∣ℱt] dBtF = E[F] + \int_0^T E[D_t F \mid \mathcal{F}_t] \, dB_t for F∈𝔻1,2F \in \mathbb{D}^{1,2} makes the martingale representation theorem explicit. The setting is often the classical Wiener space of continuous paths.

Reading path

To understand this page from the ground up, read these 52 pages in order. The foundations come first.

  1. Classical Wiener space object
  2. Construction of the reals from Cauchy sequences concept
  3. Doléans-Dade exponential concept
  4. Element definition
  5. Filtration concept
  6. Integers object
  7. Itô calculus concept
  8. Martingale concept
  9. Ordered field definition
  10. Proposition concept
  11. Random experiment concept
  12. Rational numbers object
  13. Real numbers object
  14. Wiener process concept
  15. Set definition
  16. Ring of integers statement
  17. Disjunction definition
  18. Implication definition
  19. Predicate definition
  20. Ordered pair definition
  21. Union definition
  22. Existential quantifier definition
  23. Universal quantifier definition
  24. Sample space definition
  25. The rationals form a field statement
  26. Cartesian product definition
  27. Subset definition
  28. Uniqueness quantifier definition
  29. The rationals form an ordered field statement
  30. Binary relation definition
  31. Universal set definition
  32. Power set definition
  33. Order on the reals definition
  34. Function definition
  35. Complement definition
  36. Interval definition
  37. Injective function definition
  38. Preimage of a set definition
  39. Sigma-algebra definition
  40. Countable set definition
  41. Event definition
  42. Borel sigma-algebra definition
  43. Probability axioms concept
  44. Probability measure definition
  45. Probability space definition
  46. Random variable definition
  47. Discrete random variable definition
  48. Random variable with a density definition
  49. Expected value definition
  50. Itô isometry statement
  51. Martingale representation theorem statement
  52. Malliavin calculus definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Malliavin_calculus
About this page
TagFQMAKKE8R9
URIm2://FQMAKKE8R9
Kinddefinition
WritingW0 stub
MSC60H07
DefinesMalliavin calculus
UsesWiener process, Itô calculus, Classical Wiener space, Martingale representation theorem
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.