Abstract
By using optimal mass transport theory we prove a sharp isoperimetric inequality in \({\textsf {CD}} (0,N)\) metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for normed spaces and Riemannian manifolds to a nonsmooth framework. In the case of n-dimensional Riemannian manifolds with nonnegative Ricci curvature, we outline an alternative proof of the rigidity result of Brendle (Comm Pure Appl Math 2021:13717, 2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp constants in Riemannian manifolds with nonnegative Ricci curvature; here we use appropriate symmetrization techniques and optimal volume non-collapsing properties. The equality cases in the latter inequalities are also characterized by stating that sufficiently smooth, nonzero extremal functions exist if and only if the Riemannian manifold is isometric to the Euclidean space.
Similar content being viewed by others
References
Agostiniani, V., Fogagnolo, M., Mazzieri, L.: Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. 222(3), 1033–1101 (2020)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York (2000)
Anderson, M.: On the topology of complete manifold of nonnegative Ricci curvature. Topology 3, 41–55 (1990)
Aubin, T.: Problèmes isopérimétriques et espaces de Sobolev. J. Differ. Geom. 11(4), 573–598 (1976)
Bacher, K., Sturm, K.-T.: Ricci Bounds for Euclidean and Spherical Cones Singular Phenomena and Scaling in Mathematical Models, pp. 3–23. Springer, Cham (2014)
Balogh, Z.M., Kristály, A.: Equality in Borell-Brascamp-Lieb inequalities on curved spaces. Adv. Math. 339, 453–494 (2018)
Brendle, S.: Sobolev inequalities in manifolds with nonnegative curvature. Comm. Pure. Appl. Math. 2021, 13717 (2021)
Brothers, J.E., Ziemer, W.P.: Minimal rearrangements of Sobolev functions. J. Reine Angew. Math. 384, 153–179 (1988)
Cabré, X., Ros-Oton, X.: Sobolev and isoperimetric inequalities with monomial weights. J. Differ. Equ. 255(11), 4312–4336 (2013)
Cabré, X., Ros-Oton, X., Serra, J.: Sharp isoperimetric inequalities via the ABP method. J. Eur. Math. Soc. 18, 2971–2998 (2016)
Carron, G.: Euclidean volume growth for complete Riemannian manifolds. Milan J. Math. 88, 455–478 (2020)
Carron, G.: Inegalités isopérimétriques de Faber-Krahn et consequences. Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992), 205–232, Sémin. Congr., 1, Soc. Math. France, Paris (1996)
Cavalletti, F., Mondino, A.: Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds. Invent. Math. 208(3), 803–849 (2017)
Chavel, I.: Riemannian Geometry. A Modern Introduction, 2nd edn. Cambridge University Press, Cambridge (2006)
Cheeger, J., Colding, T.H.: Lower bounds on Ricci curvature and the almost rigidity of warped products. Ann. Math. (2) 144(1), 189–237 (1996)
Cinti, E., Glaudo, F., Pratelli, A., Ros-Oton, X., Serra, J.: Sharp quantitative stability for isoperimetric inequalities with homogeneous weights. Trans. Amer. Math. Soc. 2021, 1 (2021)
Colding, T.H.: Ricci curvature and volume convergence. Ann. Math. (2) 145(3), 477–501 (1997)
Cordero-Erausquin, D., McCann, R.J., Schmuckenschläger, M.: A Riemannian interpolation inequality à la Borell. Brascamp Lieb. Invent. Math. 146, 219–257 (2001)
Cordero-Erausquin, D., Nazaret, B., Villani, C.: A mass-transportation approach to sharp Sobolev and Gagliardo-Nirenberg inequalities. Adv. Math. 182(2), 307–332 (2004)
Coulhon, T., Saloff-Coste, L.: Isopérimétrie pour les groupes et les variétés. Rev. Mat. Iberoamericana 9(2), 293–314 (1993)
Croke, C.: A sharp four-dimensional isoperimetric inequality. Comment. Math. Helv. 59(2), 187–192 (1984)
Del Pino, M., Dolbeault, J.: The optimal Euclidean \(L^p\)-Sobolev logarithmic inequality. J. Funct. Anal. 197, 151–161 (2003)
Druet, O., Hebey, E., Vaugon, M.: Optimal Nash’s inequalities on Riemannian manifolds: the influence of geometry. Int. Math. Res. Not. IMRN 14, 735–779 (1999)
do Carmo, M.P., Xia, C.: Complete manifolds with non-negative Ricci curvature and the Caffarelli-Kohn-Nirenberg inequalities. Compos. Math. 140, 818–826 (2004)
Fogagnolo, M., Mazzieri, L.: Minimising hulls, \(p\)-capacity and isoperimetric inequality on complete Riemannian manifolds. (2020). arXiv:2012.09490
Fusco, N.: The classical isoperimetric theorem (2020). https://www.docenti.unina.it/webdocenti-be/allegati/materiale-didattico/377226
Gentil, I.: The general optimal \(L^p\)-Euclidean logarithmic Sobolev inequality by Hamilton-Jacobi equations. J. Funct. Anal. 202(2), 591–599 (2003)
Greene, R.E., Wu, H.: \({\cal{C}}^{\infty } \) convex functions and manifolds of positive curvature. Acta Math. 137, 209–245 (1976)
Greene, R.E., Wu, H.: \({\cal{C}}^{\infty } \) approximations of convex, subharmonic, and plurisubharmonic functions. Ann. Sci. ENS 12(1), 48–84 (1979)
Hebey, E.: Nonlinear analysis on manifolds: Sobolev spaces and inequalities. Courant Lecture Notes in Mathematics, 5. New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI (1999)
Johne, F.: Sobolev inequalities on manifolds with nonnegative Bakry-Émery Ricci curvature, preprint, (2021). arXiv:2103.08496
Ketterer, C.: Cones over metric measure spaces and the maximal diameter theorem. J. Math. Pures Appl. (9) 103(5), 1228–1275 (2015)
Klartag, B.: Needle decompositions in Riemannian geometry. Mem. Am. Math. Soc. 249, 1180 (2017)
Kleiner, B.: An isoperimetric comparison theorem. Invent. Math. 108(1), 37–47 (1992)
Kolesnikov, A.V., Milman, E.: Poincaré and Brunn-Minkowski inequalities on the boundary of weighted Riemannian manifolds. Am. J. Math. 140(5), 1147–1185 (2018)
Kristály, A.: Metric measure spaces supporting Gagliardo-Nirenberg inequalities: volume non-collapsing and rigidities. Calc. Var. Part. Differ. Equ. 55(5), 27 (2016)
Kristály, A., Ohta, S.: Caffarelli-Kohn-Nirenberg inequality on metric measure spaces with applications. Math. Ann. 357(2), 711–726 (2013)
Ledoux, M.: On manifolds with non-negative Ricci curvature and Sobolev inequalities. Comm. Anal. Geom. 7(2), 347–353 (1999)
Lieb, E.H., Loss, M.: Analysis. Second edition. Graduate Studies in Mathematics, 14. American Mathematical Society, Providence, RI (2001)
Liu, G.: 3-manifolds with nonnegative Ricci curvature. Invent. Math. 193(2), 367–375 (2013)
Li, P.: Large time behavior of the heat equation on complete manifolds with nonnegative Ricci curvature. Ann. Math. (2) 124(1), 1–21 (1986)
Lott, J., Villani, C.: Ricci curvature for metric measure spaces via optimal transport. Ann. Math. (2) 169(3), 903–991 (2009)
McCann, R.J.: Polar factorization of maps on Riemannian manifolds. Geom. Funct. Anal. 11(3), 589–608 (2001)
Menguy, X.: Noncollapsing examples with positive Ricci curvature and infinite topological type. Geom. Funct. Anal. 10(3), 600–627 (2000)
Milman, E.: Sharp isoperimetric inequalities and model spaces for the curvature-dimension-diameter condition. J. Eur. Math. Soc. 17(5), 1041–1078 (2015)
Milman, E.: Beyond traditional curvature-dimension I: new model spaces for isoperimetric and concentration inequalities in negative dimension. Trans. Am. Math. Soc. 369(5), 3605–3637 (2017)
Milman, E., Rotem, L.: Complemented Brunn-Minkowski inequalities and isoperimetry for homogeneous and non-homogeneous measures. Adv. Math. 262, 867–908 (2014)
Mondino, A., Semola, D.: Polya-Szego inequality and Dirichlet \(p\)-spectral gap for non-smooth spaces with Ricci curvature bounded below. J. Math. Pures Appl. 9(137), 238–274 (2020)
Muratori, M., Soave, N.: Some rigidity results for Sobolev inequalities and related PDEs on Cartan-Hadamard manifolds, (2021). arXiv:2103.08240
Ohta, S.: Needle decompositions and isoperimetric inequalities in Finsler geometry. J. Math. Soc. Jpn. 70, 651–693 (2018)
Ohta, S.: A semigroup approach to Finsler geometry: Bakry-Ledoux’s isoperimetric inequality. Comm. Anal. Geom. 2016, 1 (2016)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Perelman, G.: Manifolds of positive Ricci curvature with almost maximal volume. J. Am. Math. Soc. 7, 299–305 (1994)
Petersen, P.: Riemannian Geometry. Graduate Texts in Mathematics, 3rd edn. Springer, Berlin (2016)
Reiris, M.: On Ricci curvature and volume growth in dimension three. J. Differ. Geom. 99(2), 313–357 (2015)
Sturm, K.-T.: On the geometry of metric measure spaces. I. Acta Math. 196(1), 65–131 (2006)
Sturm, K.-T.: On the geometry of metric measure spaces. II. Acta Math. 196(1), 133–177 (2006)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110, 353–372 (1976)
Talenti, G.: Inequalities in rearrangement invariant function spaces. Nonlinear Analysis, Function Spaces and Applications, vol. 5 (Prague, 1994), 177–230. Prometheus, Prague (1994)
Villani, C.: Optimal Transport. Old and New. Grundlehren der Mathematischen Wissenschaften, vol. 338. Springer, Berlin (2009)
Wang, Y., Zhang, X.: An Alexandroff-Bakelman-Pucci estimate on Riemannian manifolds. Adv. Math. 232, 499–512 (2013)
Weil, A.: Sur les surfaces a courbure négative. C. R. Acad. Sci. Paris Sér I Math. 182, 1069–1071 (1926)
Wulff, G.: Zur Frage der Geschwindigkeit des Wachstums und der Auflösung der Kristallflächen. Zeitschr. Kristallogr. 34, 449–530 (1901)
Xia, C.: The Gagliardo-Nirenberg inequalities and manifolds of non-negative Ricci curvature. J. Funct. Anal. 224(1), 230–241 (2005)
Zhu, S.-H.: A finiteness theorem for Ricci curvature in dimension three. J. Differ. Geom. 37(3), 711–727 (1993)
Acknowledgements
The authors thank S. Brendle, G. Carron, L. Mazzieri, E. Milman and S. Ohta for stimulating conversations in the early stage of the manuscript. We also would like to thank the Reviewers for their thoughtful comments and efforts towards improving the presentation of our paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors state that there is no conflict of interest.
Additional information
Communicated by Thomas Schick.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Z. M. Balogh was supported by the Swiss National Science Foundation, Grant Nr. 200020_191978. A. Kristály was supported by the UEFISCDI/CNCS grant PN-III-P4-ID-PCE2020-1001.
Rights and permissions
About this article
Cite this article
Balogh, Z.M., Kristály, A. Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature. Math. Ann. 385, 1747–1773 (2023). https://doi.org/10.1007/s00208-022-02380-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-022-02380-1