×

BV functions and sets of finite perimeter in sub-Riemannian manifolds. (English) Zbl 1320.53034

Summary: 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 [B. Franchi et al., J. Geom. Anal. 13, No. 3, 421–466 (2003; Zbl 1064.49033)].

MSC:

53C17 Sub-Riemannian geometry
26B30 Absolutely continuous real functions of several variables, functions of bounded variation

Citations:

Zbl 1064.49033
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Agrachev, A.; Barilari, D.; Boscain, U., Introduction to Riemannian and sub-Riemannian geometry (2012), Lecture notes available at
[2] Agrachev, A.; Barilari, D.; Boscain, U., On the Hausdorff volume in sub-Riemannian geometry, Calc. Var. Partial Differ. Equ., 43, 355-388 (2012) · Zbl 1236.53030
[3] Agrachev, A.; Boscain, U.; Sigalotti, M., A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds, Discrete Contin. Dyn. Syst., 20, 4, 801-822 (2008) · Zbl 1198.49041
[4] Agrachev, A. A.; Boscain, U.; Charlot, G.; Ghezzi, R.; Sigalotti, M., Two-dimensional almost-Riemannian structures with tangency points, Ann. Inst. Henri Poincaré, Anal. Non Linéaire, 27, 3, 793-807 (2010) · Zbl 1192.53029
[5] Agrachev, A. A.; Sachkov, Y. L., Control theory from the geometric viewpoint, (Control Theory and Optimization, II. Control Theory and Optimization, II, Encycl. Math. Sci., vol. 87 (2004), Springer-Verlag: Springer-Verlag Berlin) · Zbl 1062.93001
[6] Ambrosio, L., Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces, Adv. Math., 159, 1, 51-67 (2001) · Zbl 1002.28004
[7] Ambrosio, L., Fine properties of sets of finite perimeter in doubling metric measure spaces, Set-Valued Anal., 10, 2-3, 111-128 (2002), Calculus of variations, nonsmooth analysis and related topics · Zbl 1037.28002
[8] Ambrosio, L.; Colombo, M.; Di Marino, S., Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope (2012)
[9] Ambrosio, L.; Crippa, G., Existence, uniqueness, stability and differentiability properties of the flow associated to weakly differentiable vector fields, (Transport Equations and Multi-D Hyperbolic Conservation Laws. Transport Equations and Multi-D Hyperbolic Conservation Laws, Lect. Notes Unione Mat. Ital., vol. 5 (2008), Springer: Springer Berlin), 3-57 · Zbl 1155.35313
[10] Ambrosio, L.; Di Marino, S., Equivalent definitions of BV space and of total variation on metric measure spaces (2012), submitted for publication
[11] Ambrosio, L.; Fusco, N.; Pallara, D., Functions of Bounded Variation and Free Discontinuity Problems, Oxf. Math. Monogr. (2000), The Clarendon Press, Oxford University Press: The Clarendon Press, Oxford University Press New York · Zbl 0957.49001
[12] Ambrosio, L.; Kirchheim, B., Currents in metric spaces, Acta Math., 185, 1, 1-80 (2000) · Zbl 0984.49025
[13] Ambrosio, L.; Kirchheim, B., Rectifiable sets in metric and Banach spaces, Math. Ann., 318, 3, 527-555 (2000) · Zbl 0966.28002
[14] Ambrosio, L.; Kleiner, B.; Le Donne, E., Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane, J. Geom. Anal., 19, 3, 509-540 (2009) · Zbl 1187.28008
[15] Bellaïche, A., The tangent space in sub-Riemannian geometry, (Sub-Riemannian Geometry. Sub-Riemannian Geometry, Prog. Math., vol. 144 (1996), Birkhäuser: Birkhäuser Basel), 1-78 · Zbl 0862.53031
[16] Chow, W.-L., Über Systeme von linearen partiellen Differentialgleichungen erster Ordnung, Math. Ann., 117, 98-105 (1939) · JFM 65.0398.01
[17] Citti, G.; Manfredini, M., Blow-up in non homogeneous lie groups and rectifiability, Houst. J. Math., 31, 2, 333-353 (2005) · Zbl 1078.49030
[18] De Giorgi, E., Su una teoria generale della misura \((r - 1)\)-dimensionale in uno spazio ad \(r\) dimensioni, Ann. Mat. Pura Appl. (4), 36, 191-213 (1954) · Zbl 0055.28504
[19] De Giorgi, E., Nuovi teoremi relativi alle misure \((r - 1)\)-dimensionali in uno spazio ad \(r\) dimensioni, Ric. Mat., 4, 95-113 (1955) · Zbl 0066.29903
[20] Evans, L. C.; Gariepy, R. F., Measure Theory and Fine Properties of Functions, Stud. Adv. Math. (1992), CRC Press: CRC Press Boca Raton, FL · Zbl 0626.49007
[21] Federer, H., Geometric Measure Theory, Grundlehren Math. Wiss., vol. 153 (1969), Springer-Verlag, New York Inc.: Springer-Verlag, New York Inc. New York · Zbl 0176.00801
[22] Franchi, B.; Serapioni, R.; Serra Cassano, F., Meyers-Serrin type theorems and relaxation of variational integrals depending on vector fields, Houst. J. Math., 22, 4, 859-890 (1996) · Zbl 0876.49014
[23] Franchi, B.; Serapioni, R.; Serra Cassano, F., Rectifiability and perimeter in the Heisenberg group, Math. Ann., 321, 3, 479-531 (2001) · Zbl 1057.49032
[24] Franchi, B.; Serapioni, R.; Serra Cassano, F., On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal., 13, 3, 421-466 (2003) · Zbl 1064.49033
[25] Garofalo, N.; Nhieu, D.-M., Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces, Commun. Pure Appl. Math., 49, 10, 1081-1144 (1996) · Zbl 0880.35032
[26] Gauthier, J.-P.; Zakalyukin, V., On the codimension one motion planning problem, J. Dyn. Control Syst., 11, 3, 73-89 (2005) · Zbl 1079.53049
[27] Goodman, R. W., Nilpotent Lie Groups: Structure and Applications to Analysis, Lect. Notes Math., vol. 562 (1976), Springer-Verlag: Springer-Verlag Berlin · Zbl 0347.22001
[28] Gromov, M., Carnot-Carathéodory spaces seen from within, (Sub-Riemannian Geometry. Sub-Riemannian Geometry, Prog. Math., vol. 144 (1996), Birkhäuser: Birkhäuser Basel), 79-323 · Zbl 0864.53025
[29] Hermes, H., Nilpotent and high-order approximations of vector field systems, SIAM Rev., 33, 2, 238-264 (1991) · Zbl 0733.93062
[30] Jerison, D., The Poincaré inequality for vector fields satisfying Hörmander’s condition, Duke Math. J., 53, 2, 503-523 (1986) · Zbl 0614.35066
[31] Kirchheim, B., Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Am. Math. Soc., 121, 1, 113-123 (1994) · Zbl 0806.28004
[32] Lanconelli, E.; Morbidelli, D., On the Poincaré inequality for vector fields, Ark. Mat., 38, 2, 327-342 (2000) · Zbl 1131.46304
[33] Marchi, M., Rectifiability of sets of finite perimeter in a class of Carnot groups of arbitrary step (2012)
[34] Margulis, G. A.; Mostow, G. D., Some remarks on the definition of tangent cones in a Carnot-Carathéodory space, J. Anal. Math., 80, 299-317 (2000) · Zbl 0971.58004
[35] Mattila, P.; Serapioni, R.; Serra Cassano, F., Characterizations of intrinsic rectifiability in Heisenberg groups, Ann. Sc. Norm. Super. Pisa, Cl. Sci., 9, 4, 687-723 (2010) · Zbl 1229.28004
[36] Miranda, M., Functions of bounded variation on “good” metric spaces, J. Math. Pures Appl., 82, 8, 975-1004 (2003) · Zbl 1109.46030
[37] Nagel, A.; Stein, E. M.; Wainger, S., Balls and metrics defined by vector fields. I. Basic properties, Acta Math., 155, 1-2, 103-147 (1985) · Zbl 0578.32044
[38] Pansu, P., Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un, Ann. of Math. (2), 129, 1, 1-60 (1989) · Zbl 0678.53042
[39] Rothschild, L. P.; Stein, E. M., Hypoelliptic differential operators and nilpotent groups, Acta Math., 137, 3-4, 247-320 (1976) · Zbl 0346.35030
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.