Intrinsic random walks in Riemannian and sub-Riemannian geometry via volume sampling

Agrachev, Andrei; Boscain, Ugo; Neel, Robert; Rizzi, Luca

ESAIM: Control, Optimisation and Calculus of Variations, Tome 24 (2018) no. 3, pp. 1075-1105.

We relate some constructions of stochastic analysis to differential geometry, via random walk approximations. We consider walks on both Riemannian and sub-Riemannian manifolds in which the steps consist of travel along either geodesics or integral curves associated to orthonormal frames, and we give particular attention to walks where the choice of step is influenced by a volume on the manifold. A primary motivation is to explore how one can pass, in the parabolic scaling limit, from geodesics, orthonormal frames, and/or volumes to diffusions, and hence their infinitesimal generators, on sub-Riemannian manifolds, which is interesting in light of the fact that there is no completely canonical notion of sub-Laplacian on a general sub-Riemannian manifold. However, even in the Riemannian case, this random walk approach illuminates the geometric significance of Ito and Stratonovich stochastic differential equations as well as the role played by the volume.

[1] A. Agrachev, Any sub-Riemannian metric has points of smoothness. Dokl. Akad. Nauk 424 (2009) 295–298 | MR | Zbl

[2] A. Agrachev, Some open problems. In Geometric control theory and sub-Riemannian geometry, vol. 5 of Springer INdAM Ser. Springer, Cham (2014) 1–13 | MR | Zbl

[3] A. Agrachev, D. Barilari and U. Boscain, On the Hausdorff volume in sub-Riemannian geometry. Calc. Var. Partial Differ. Equ. 43 (2012) 355–388 | DOI | MR | Zbl

[4] A. Agrachev, D. Barilari and U. Boscain, Introduction to Riemannian and sub-Riemannian geometry. Lecture Notes. http://webusers.imj-prg.fr/davide.barilari/notes.php. v11/07/15

[5] A. Agrachev, U. Boscain, J.-P. Gauthier and F. Rossi, The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups. J. Funct. Anal. 256 (2009) 2621–2655 | DOI | MR | Zbl

[6] J. Angst, I. Bailleul and C. Tardif, Kinetic Brownian motion on Riemannian manifolds. Electron. J. Probab. 20 (2015) 110, 40 | DOI | MR | Zbl

[7] D. Barilari and L. Rizzi, A formula for Popp’s volume in sub-Riemannian geometry. Anal. Geom. Metr. Spaces 1 (2013) 42–57 | DOI | MR | Zbl

[8] A. Bellaïche, The tangent space in sub-Riemannian geometry. In Sub-Riemannian geometry, vol. 144 of Progr. Math. Birkhäuser, Basel (1996) 1–78 | MR | Zbl

[9] J.-M. Bismut, Large deviations and the Malliavin calculus, vol. 45 of Progress in Mathematics. Birkhäuser Boston Inc., Boston, MA (1984) | MR | Zbl

[10] U. Boscain, R. Neel, L. Rizzi, Intrinsic random walks and sub-Laplacians in sub-Riemannian geometry, Adv. Math. 314 (2017) 124–184 | DOI | MR | Zbl

[11] H. Doss, Liens entre équations différentielles stochastiques et ordinaires. Ann. Inst. Henri Poincaré Sect. B (N.S.) 13 (1977) 99–125 | Numdam | MR | Zbl

[12] M. Émery, Stochastic calculus in manifolds. Universitext. Springer-Verlag, Berlin (1989). With an appendix by P.-A. Meyer. | DOI | MR | Zbl

[13] G.B. Folland, How to integrate a polynomial over a sphere. Amer. Math. Monthly 108 (2001) 446–448 | DOI | MR | Zbl

[14] S. Gallot, D. Hulin and J. Lafontaine, Riemannian geometry. Universitext. Springer Verlag, Berlin, 3rd edition 2004 | Zbl

[15] M. Gordina and T. Laetsch, Sub-Laplacians on Sub-Riemannian Manifolds. Potential Anal. 44 (2016) 811–837 | DOI | MR | Zbl

[16] E. Grong and A. Thalmaier, Curvature-dimension inequalities on sub-Riemannian manifolds obtained from Riemannian foliations: part I. Math. Z. 282 (2016) 99–130 | DOI | MR | Zbl

[17] E. Grong and A. Thalmaier, Curvature-dimension inequalities on sub-Riemannian manifolds obtained from Riemannian foliations: part II. Math. Z. 282 (2016) 131–164 | DOI | MR | Zbl

[18] E.P. Hsu, Stochastic analysis on manifolds, vol. 38 of Graduate Studies in Mathematics. Amer. Math. Soc., Providence, RI (2002) | DOI | MR | Zbl

[19] F. Jean, Control of nonholonomic systems: from sub-Riemannian geometry to motion planning. SpringerBriefs in Mathematics. Springer, Cham (2014) | DOI | MR | Zbl

[20] I. Karatzas and S.E. Shreve, Brownian motion and stochastic calculus, vol. 113 of Graduate Texts in Mathematics. Springer Verlag, New York, 2nd edition 1991 | MR | Zbl

[21] E. Le Donne, R. Montgomery, A. Ottazzi, P. Pansu and D. Vittone, Sard property for the endpoint map on some Carnot groups. Ann. Inst. Henri Poincaré Anal. Non Linéaire 33 (2016) 1639–1666 | DOI | Numdam | MR | Zbl

[22] G. Lebeau and L. Michel, Semi-classical analysis of a random walk on a manifold. Ann. Probab. 38 (2010) 277–315 | DOI | MR | Zbl

[23] X.-M. Li,Random perturbation to the geodesic equation. Ann. Probab. 44 (2016) 544–566 | MR | Zbl

[24] J. Mitchell, On Carnot-Carathéodory metrics. J. Differ. Geom. 21 (1985) 35–45 | DOI | MR | Zbl

[25] R. Montgomery, A tour of subriemannian geometries, their geodesics and applications, vol. 91 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2002) | MR | Zbl

[26] M.A. Pinsky, Isotropic transport process on a Riemannian manifold. Trans. Amer. Math. Soc. 218 (1976) 353–360 | DOI | MR | Zbl

[27] L. Rifford, Sub-Riemannian geometry and optimal transport. SpringerBriefs in Mathematics. Springer, Cham (2014) | DOI | MR | Zbl

[28] L. Rifford and E. Trélat, Morse-Sard type results in sub-Riemannian geometry. Math. Ann. 332 (2005) 145–159 | DOI | MR | Zbl

[29] L. Rizzi, Measure contraction properties of Carnot groups. Calc. Var. Partial Differ. Equ. 55 Art. 60, 20, (2016) | DOI | MR | Zbl

[30] R.S. Strichartz, Sub-Riemannian geometry. J. Differ. Geom. 24 (1986) 221–263 | DOI | MR | Zbl

[31] R.S. Strichartz, Corrections to: “Sub-Riemannian geometry” (J. Differential Geom. 24 (1986) 221–263; MR0862049 (88b:53055)). J. Differ. Geom. 30 (1989) 595–596 | DOI | MR | Zbl

[32] D.W. Stroock, An introduction to the analysis of paths on a Riemannian manifold, vol. 74 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2000) | MR | Zbl

[33] D.W. Stroock and S.R.S. Varadhan, Multidimensional diffusion processes. Classics in Mathematics. Springer Verlag, Berlin (2006). Reprint of the 1997 edition | MR | Zbl

[34] H.J. Sussmann, On the gap between deterministic and stochastic ordinary differential equations. Ann. Prob. 6 (1978) 19–41 | DOI | MR | Zbl