BV functions and sets of finite perimeter in sub-Riemannian manifolds

Ambrosio, L. ; Ghezzi, R. ; Magnani, V.

Annales de l'I.H.P. Analyse non linéaire, Tome 32 (2015), p. 489-517 / Harvested from Numdam

Résumé

We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $ {G}_{p}:{T}_{p}M\to [0,\infty ]$ are given. When we consider sub-Riemannian manifolds, our definition coincides with the one given in the more general context of metric measure spaces which are doubling and support a Poincaré inequality. We focus on finite perimeter sets, i.e., sets whose characteristic function is BV, in sub-Riemannian manifolds. Under an assumption on the nilpotent approximation, we prove a blowup theorem, generalizing the one obtained for step-2 Carnot groups in [24].

Détail

Publié le : 2015-01-01

MR 3353698 | Zbl 1320.53034

DOI : https://doi.org/10.1016/j.anihpc.2014.01.005

Bibliographie

[1] A. Agrachev, D. Barilari, U. Boscain, Introduction to Riemannian and sub-Riemannian geometry, http://www.cmapx.polytechnique.fr/~barilari/Notes.php (2012) | Zbl 1244.53039

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

[3] A. Agrachev, U. Boscain, M. Sigalotti, A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds, Discrete Contin. Dyn. Syst. 20 no. 4 (2008), 801 -822 | MR 2379474 | Zbl 1198.49041

[4] A.A. Agrachev, U. Boscain, G. Charlot, R. Ghezzi, M. Sigalotti, Two-dimensional almost-Riemannian structures with tangency points, Ann. Inst. Henri Poincaré, Anal. Non Linéaire 27 no. 3 (2010), 793 -807 | Numdam | MR 2629880 | Zbl 1192.53029

[5] A.A. Agrachev, Y.L. Sachkov, Control theory from the geometric viewpoint, Control Theory and Optimization, II, Encycl. Math. Sci. vol. 87 , Springer-Verlag, Berlin (2004) | MR 2062547 | Zbl 1062.93001

[6] L. Ambrosio, Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces, Adv. Math. 159 no. 1 (2001), 51 -67 | MR 1823840 | Zbl 1002.28004

[7] L. Ambrosio, Fine properties of sets of finite perimeter in doubling metric measure spaces, Set-Valued Anal. 10 no. 2–3 (2002), 111 -128 | MR 1926376 | Zbl 1037.28002

[8] L. Ambrosio, M. Colombo, S. Di Marino, Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope, arXiv:1212.3779v1 (2012)

[9] L. Ambrosio, G. Crippa, Existence, uniqueness, stability and differentiability properties of the flow associated to weakly differentiable vector fields, Transport Equations and Multi-D Hyperbolic Conservation Laws, Lect. Notes Unione Mat. Ital. vol. 5 , Springer, Berlin (2008), 3 -57 | MR 2409676 | Zbl 1155.35313

[10] L. Ambrosio, S. Di Marino, Equivalent definitions of BV space and of total variation on metric measure spaces, http://cvgmt.sns.it/paper/1860/ (2012) | Zbl 1302.26012

[11] L. Ambrosio, N. Fusco, D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems, Oxf. Math. Monogr. , The Clarendon Press, Oxford University Press, New York (2000) | MR 1857292 | Zbl 0957.49001

[12] L. Ambrosio, B. Kirchheim, Currents in metric spaces, Acta Math. 185 no. 1 (2000), 1 -80 | MR 1794185 | Zbl 0984.49025

[13] L. Ambrosio, B. Kirchheim, Rectifiable sets in metric and Banach spaces, Math. Ann. 318 no. 3 (2000), 527 -555 | MR 1800768 | Zbl 0966.28002

[14] L. Ambrosio, B. Kleiner, E. Le Donne, Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane, J. Geom. Anal. 19 no. 3 (2009), 509 -540 | MR 2496564 | Zbl 1187.28008

[15] A. Bellaïche, The tangent space in sub-Riemannian geometry, Sub-Riemannian Geometry, Prog. Math. vol. 144 , Birkhäuser, Basel (1996), 1 -78 | MR 1421822 | Zbl 0862.53031

[16] W.-L. Chow, Über Systeme von linearen partiellen Differentialgleichungen erster Ordnung, Math. Ann. 117 (1939), 98 -105 | JFM 65.0398.01 | MR 1880

[17] G. Citti, M. Manfredini, Blow-up in non homogeneous lie groups and rectifiability, Houst. J. Math. 31 no. 2 (2005), 333 -353 | MR 2132840 | Zbl 1078.49030

[18] E. De Giorgi, Su una teoria generale della misura $ (r-1)$-dimensionale in uno spazio ad r dimensioni, Ann. Mat. Pura Appl. (4) 36 (1954), 191 -213 | MR 62214 | Zbl 0055.28504

[19] E. De Giorgi, Nuovi teoremi relativi alle misure $ (r-1)$-dimensionali in uno spazio ad r dimensioni, Ric. Mat. 4 (1955), 95 -113 | MR 74499 | Zbl 0066.29903

[20] L.C. Evans, R.F. Gariepy, Measure Theory and Fine Properties of Functions, Stud. Adv. Math. , CRC Press, Boca Raton, FL (1992) | MR 1158660 | Zbl 0626.49007

[21] H. Federer, Geometric Measure Theory, Grundlehren Math. Wiss. vol. 153 , Springer-Verlag, New York Inc., New York (1969) | MR 257325 | Zbl 0176.00801

[22] B. Franchi, R. Serapioni, F. Serra Cassano, Meyers–Serrin type theorems and relaxation of variational integrals depending on vector fields, Houst. J. Math. 22 no. 4 (1996), 859 -890 | MR 1437714 | Zbl 0876.49014

[23] B. Franchi, R. Serapioni, F. Serra Cassano, Rectifiability and perimeter in the Heisenberg group, Math. Ann. 321 no. 3 (2001), 479 -531 | MR 1871966 | Zbl 1057.49032

[24] B. Franchi, R. Serapioni, F. Serra Cassano, On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal. 13 no. 3 (2003), 421 -466 | MR 1984849 | Zbl 1064.49033

[25] N. Garofalo, D.-M. Nhieu, Isoperimetric and Sobolev inequalities for Carnot–Carathéodory spaces and the existence of minimal surfaces, Commun. Pure Appl. Math. 49 no. 10 (1996), 1081 -1144 | MR 1404326 | Zbl 0880.35032

[26] J.-P. Gauthier, V. Zakalyukin, On the codimension one motion planning problem, J. Dyn. Control Syst. 11 no. 3 (2005), 73 -89 | MR 2122467 | Zbl 1079.53049

[27] R.W. Goodman, Nilpotent Lie Groups: Structure and Applications to Analysis, Lect. Notes Math. vol. 562 , Springer-Verlag, Berlin (1976) | MR 442149 | Zbl 0347.22001

[28] M. Gromov, Carnot–Carathéodory spaces seen from within, Sub-Riemannian Geometry, Prog. Math. vol. 144 , Birkhäuser, Basel (1996), 79 -323 | MR 1421823 | Zbl 0864.53025

[29] H. Hermes, Nilpotent and high-order approximations of vector field systems, SIAM Rev. 33 no. 2 (1991), 238 -264 | MR 1108590 | Zbl 0733.93062

[30] D. Jerison, The Poincaré inequality for vector fields satisfying Hörmander's condition, Duke Math. J. 53 no. 2 (1986), 503 -523 | MR 850547 | Zbl 0614.35066

[31] B. Kirchheim, Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Am. Math. Soc. 121 no. 1 (1994), 113 -123 | MR 1189747 | Zbl 0806.28004

[32] E. Lanconelli, D. Morbidelli, On the Poincaré inequality for vector fields, Ark. Mat. 38 no. 2 (2000), 327 -342 | MR 1785405 | Zbl 1131.46304

[33] M. Marchi, Rectifiability of sets of finite perimeter in a class of Carnot groups of arbitrary step, arXiv:1201.3277v1 (2012)

[34] G.A. Margulis, G.D. Mostow, Some remarks on the definition of tangent cones in a Carnot–Carathéodory space, J. Anal. Math. 80 (2000), 299 -317 | MR 1771529 | Zbl 0971.58004

[35] P. Mattila, R. Serapioni, F. Serra Cassano, Characterizations of intrinsic rectifiability in Heisenberg groups, Ann. Sc. Norm. Super. Pisa, Cl. Sci. 9 no. 4 (2010), 687 -723 | Numdam | MR 2789472 | Zbl 1229.28004

[36] M. Miranda, Functions of bounded variation on “good” metric spaces, J. Math. Pures Appl. 82 no. 8 (2003), 975 -1004 | MR 2005202 | Zbl 1109.46030

[37] A. Nagel, E.M. Stein, S. Wainger, Balls and metrics defined by vector fields. I. Basic properties, Acta Math. 155 no. 1–2 (1985), 103 -147 | MR 793239 | Zbl 0578.32044

[38] P. Pansu, Métriques de Carnot–Carathéodory et quasiisométries des espaces symétriques de rang un, Ann. of Math. (2) 129 no. 1 (1989), 1 -60 | MR 979599 | Zbl 0678.53042

[39] L.P. Rothschild, E.M. Stein, Hypoelliptic differential operators and nilpotent groups, Acta Math. 137 no. 3–4 (1976), 247 -320 | MR 436223 | Zbl 0346.35030