## Big Picture: What is the connection of Malliavin calculus with differential geometry?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I know that Paul Malliavin was heavily influenced by ideas from differential geometry while developing his calculus on Wiener space. But what are the concrete analogies between both areas of mathematics? What has this to do with Hörmander's theorem (if so)?

-

Should this also have the pr.probability tag? I sometimes filter by that tag, and would expect to see questions such as this. – George Lowther Feb 27 2010 at 19:51
I guess at least it should have the "big-picture" tag. – philip314 Feb 27 2010 at 19:58

## 1 Answer

I can't speak for Paul Malliavin's influences, but I do know a bit about Hormander's theorem (by no means, an expert), and it is naturally suited to differentiable manifolds involving largely the idea of pullbacks of vectors. Malliavin calculus was apparently initiated to give a probabilistic proof of Hormander's theorem.

Following Rogers and Williams, Hormander's theorem concerns stochastic differential equations of the form $$\partial X = \sum_q U_q(X) \partial B^q + W(X)\partial t.$$ Here, X is a stochastic process taking values in Rn, Uq and W are smooth vector fields, Bq are Brownian motions and ∂ represents the Stratonovich integral. As Stratonovich integration satisfies the standard change of variables formula, this SDE makes sense on an arbitrary differentiable manifold. Next, according to the statement of Hormander's theorem, let [.,.] be the usual Lie Bracket for vector fields, and let A0,A1,... be the sequence of Lie algebras defined as follows. $$\begin{align} & A_0={\rm Lie}(U_1,U_2,...),\ & A_k={\rm Lie}([U,W]\colon U\in A_{k-1}) \end{align}$$ Then Hormander's theorem states that if ∪nAn spans the tangent space at each point of Rn, then X has smooth transition densities.

Hormander's theorem is naturally a statement concerning diffusions on differentiable manifolds, as everything I said above makes perfect sense, and is true, if Rn is replaced by any differentiable manifold.

The idea behind the Malliavin proof is to consider differentiating with respect to perturbations of the Brownian motions Bq. The point is, that if Bq has a small bump applied at time t, then this creates a small bump in the solution X proportional to Uq at this time, which will then be propagated along the solution. In fact, solutions to the original SDE with all different points give rise to stochastically moving frames, and bumps in the solution X are transported along with these frames in a similar as vector fields give rise to transport of vectors along these fields.

The solution for X is smooth with respect to smooth bumps in the Brownian motions, which can be shown by converting bumps in the Brownian motion into changes in the probability measure, using Girsanov transforms. So, according to Malliavin calculus, you can always differentiate the solution with respect to the Brownian motions. The idea behind the proof of Hormanders theorem, is to invert this process of varying the Brownian motion→bumps in the final position of X. To do this, it is necessary to invert the process of transporting along the moving frames. That is, it must be a 1-1 map on the tangent spaces. Then, by a stochastic "pull-back" on the manifold (or Rn), you can interpret differentiating the solution with respect to its position at any time in terms of differentiating with respect to the Brownian motions.

So, this method of proving Hormander's theorem requires you to be able to differentiate with respect to the Brownian motion (i.e., Malliavin calculus) and the rest is all differential geometry (i.e., pullbacks of tangent vectors).

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9334372878074646, "perplexity_flag": "head"}