Malliavin's absolute continuity lemma

In mathematics — specifically, in measure theory — Malliavin's absolute continuity lemma is a result due to the French mathematician Paul Malliavin that plays a foundational rôle in the regularity (smoothness) theorems of the Malliavin calculus. Malliavin's lemma gives a sufficient condition for a finite Borel measure to be absolutely continuous with respect to Lebesgue measure.

Statement of the lemma

Let μ be a finite Borel measure on n-dimensional Euclidean space Rn. Suppose that, for every x ∈ Rn, there exists a constant C = C(x) such that

for every C∞ function φ : Rn → R with compact support. Then μ is absolutely continuous with respect to n-dimensional Lebesgue measure λn on Rn. In the above, Dφ(y) denotes the Fréchet derivative of φ at y and ||φ||∞ denotes the supremum norm of φ.

gollark: It took a while, but I finished breeding all my BSA dragons.
gollark: I should "help" people by breeding some of my incredibly messy BSA dragons to the AP.
gollark: I just saw and missed a silver in the coast... annoying.
gollark: I love autorefreshing, it's so much more convenient than just *waiting* for eggs to get enough views to hash.
gollark: This is irritating. There are so many prizes and silvers and golds in the AP and I *keep* missing them.

References
  • Bell, Denis R. (2006). The Malliavin calculus. Mineola, NY: Dover Publications Inc. pp. x+113. ISBN 0-486-44994-7. MR2250060 (See section 1.3)
  • Malliavin, Paul (1978). "Stochastic calculus of variations and hypoelliptic operators". Proceedings of the International Symposium on Stochastic Differential Equations (Res. Inst. Math. Sci., Kyoto Univ., Kyoto, 1976). New York: Wiley. pp. 195–263. MR536013
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.