Uniform tail-decay of Lipschitz functions implies Cheeger's isoperimetric inequality under convexity assumptions

Emanuel Milman

doi:10.1016/j.crma.2008.07.022

Differential Geometry

Uniform tail-decay of Lipschitz functions implies Cheeger's isoperimetric inequality under convexity assumptions
[Le queue-affaiblissement uniforme des fonctions lipschitziennes implique l'inégalité isopérimétrique de Cheeger sous hypothèses de convexité]

Présenté par : Mikhaël Gromov

Emanuel Milman ¹

¹ School of Mathematics, Institute for Advanced Study, Einstein Drive, Simonyi Hall, Princeton, NJ 08540, USA

Comptes Rendus. Mathématique, Volume 346 (2008) no. 17-18, pp. 989-994.

Résumé
Abstract

Nous montrons que pour les domaines convexes dans l'espace euclidien, l'inégalité isopérimétrique de Cheeger, l'existence du trou spectral pour le Laplacien de Neumann, la concentration exponentielle des fonctions lipschitziennes et la a priori plus faible propriété de queue-affaiblissement uniforme de ces fonctions, sont toutes équivalentes (à constantes universelles près, indépendamment de la dimension). Ceci étend considérablement des résultats précédents de Maz'ya, Cheeger, Gromov–Milman, Buser et Ledoux. Comme application, nous en déduisons la stabilité du trou spectral des domaines convexes sous perturbations convexes qui préservent le volume (à des constantes près). Nous offrons aussi une nouvelle caractérisation de la constante de Cheeger, comme l'inverse de la moyenne de la distance par rapport au « pire » ensemble borélien ayant la moitié de la mesure du domaine convexe. En outre, nous récupérons facilement (et prolongez) beaucoup de limites inférieures précédemment connues dues à Payne–Weinberger, Li–Yau et Kannan–Lovász–Simonovits, sur la constante de Cheeger des domaines convexes. Nos résultats s'étendent plus généralement aux variétés riemanniennes munies d'une densité qui satisfont la condition de courbure-dimension $C D (0, \infty)$ de Bakry–Émery.

We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral-gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a priori weakest uniform tail-decay of these functions, are all equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, Gromov–Milman, Buser and Ledoux. As an application, we conclude the stability of the spectral-gap for convex domains under convex perturbations which preserve volume (up to constants) and under maps which are “on-average” Lipschitz. We also provide a new characterization of the Cheeger constant, as one over the expectation of the distance from the “worst” Borel set having half the measure of the convex domain. In addition, we easily recover (and extend) many previously known lower bounds, due to Payne–Weinberger, Li–Yau and Kannan–Lovász–Simonovits, on the Cheeger constant of convex domains. Essential to our proof is a result from Riemannian Geometry on the concavity of the isoperimetric profile. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the $CD (0, \infty)$ curvature-dimension condition of Bakry–Émery.

Reçu le : 2008-03-18
Accepté le : 2008-07-12
Publié le : 2008-08-19

DOI : 10.1016/j.crma.2008.07.022

Affiliations des auteurs :

Emanuel Milman ¹

¹ School of Mathematics, Institute for Advanced Study, Einstein Drive, Simonyi Hall, Princeton, NJ 08540, USA

@article{CRMATH_2008__346_17-18_989_0,
     author = {Emanuel Milman},
     title = {Uniform tail-decay of {Lipschitz} functions implies {Cheeger's} isoperimetric inequality under convexity assumptions},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {989--994},
     publisher = {Elsevier},
     volume = {346},
     number = {17-18},
     year = {2008},
     doi = {10.1016/j.crma.2008.07.022},
     language = {en},
}

TY  - JOUR
AU  - Emanuel Milman
TI  - Uniform tail-decay of Lipschitz functions implies Cheeger's isoperimetric inequality under convexity assumptions
JO  - Comptes Rendus. Mathématique
PY  - 2008
SP  - 989
EP  - 994
VL  - 346
IS  - 17-18
PB  - Elsevier
DO  - 10.1016/j.crma.2008.07.022
LA  - en
ID  - CRMATH_2008__346_17-18_989_0
ER  -

%0 Journal Article
%A Emanuel Milman
%T Uniform tail-decay of Lipschitz functions implies Cheeger's isoperimetric inequality under convexity assumptions
%J Comptes Rendus. Mathématique
%D 2008
%P 989-994
%V 346
%N 17-18
%I Elsevier
%R 10.1016/j.crma.2008.07.022
%G en
%F CRMATH_2008__346_17-18_989_0

Emanuel Milman. Uniform tail-decay of Lipschitz functions implies Cheeger's isoperimetric inequality under convexity assumptions. Comptes Rendus. Mathématique, Volume 346 (2008) no. 17-18, pp. 989-994. doi : 10.1016/j.crma.2008.07.022. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2008.07.022/

Bibliographie
Cité par

[1] D. Bakry; M. Émery Diffusions hypercontractives, Séminaire de probabilités, XIX, 1983/84 (Lecture Notes in Math.), Volume vol. 1123, Springer, Berlin (1985), pp. 177-206

[2] C. Bavard; P. Pansu Sur le volume minimal de $R^{2}$ , Ann. Sci. École Norm. Sup., Volume 19 (1986) no. 4, pp. 479-490

[3] V. Bayle, Propriétés de concavité du profil isopérimétrique et applications, Ph.D. thesis, Institut Joseph Fourier, Grenoble, 2004

[4] V. Bayle; C. Rosales Some isoperimetric comparison theorems for convex bodies in Riemannian manifolds, Indiana Univ. Math. J., Volume 54 (2005) no. 5, pp. 1371-1394

[5] S. Bobkov Extremal properties of half-spaces for log-concave distributions, Ann. Probab., Volume 24 (1996) no. 1, pp. 35-48

[6] S. Bobkov On isoperimetric constants for log-concave probability distributions, Israel Seminar 2004–2005 (Lecture Notes in Math.), Volume vol. 1910, Springer, Berlin (2007), pp. 81-88

[7] S.G. Bobkov; B. Zegarlinski Entropy bounds and isoperimetry, Mem. Amer. Math. Soc., Volume 176 (2005) no. 829, p. x+69

[8] P. Buser A note on the isoperimetric constant, Ann. Sci. École Norm. Sup. (4), Volume 15 (1982) no. 2, pp. 213-230

[9] J. Cheeger A lower bound for the smallest eigenvalue of the Laplacian, Problems in Analysis (Papers dedicated to Salomon Bochner, 1969), Princeton Univ. Press, Princeton, NJ, 1970, pp. 195-199

[10] H. Federer; W.H. Fleming Normal and integral currents, Ann. of Math. (2), Volume 72 (1960), pp. 458-520

[11] S. Gallot Inégalités isopérimétriques et analytiques sur les variétés riemanniennes, On the Geometry of Differentiable Manifolds, Rome, 1986 (Astérisque), Volume 163–164 (1988), pp. 31-91

[12] M. Gromov, Paul Lévy isoperimetric inequality, preprint, I.H.E.S., 1980

[13] M. Gromov Metric Structures for Riemannian and Non-Riemannian Spaces, Progress in Mathematics, vol. 152, Birkhäuser Boston Inc., Boston, MA, 1999

[14] M. Gromov; V.D. Milman A topological application of the isoperimetric inequality, Amer. J. Math., Volume 105 (1983) no. 4, pp. 843-854

[15] M. Gromov; V.D. Milman Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces, Compositio Math., Volume 62 (1987) no. 3, pp. 263-282

[16] R. Kannan; L. Lovász; M. Simonovits Isoperimetric problems for convex bodies and a localization lemma, Discrete Comput. Geom., Volume 13 (1995) no. 3–4, pp. 541-559

[17] E. Kuwert Note on the isoperimetric profile of a convex body, Geometric Analysis and Nonlinear Partial Differential Equations, Springer, Berlin, 2003, pp. 195-200

[18] M. Ledoux The Concentration of Measure Phenomenon, Mathematical Surveys and Monographs, vol. 89, American Mathematical Society, Providence, RI, 2001

[19] M. Ledoux Spectral gap, logarithmic Sobolev constant, and geometric bounds, Surveys in Differential Geometry, vol. IX, Int. Press, Somerville, MA, 2004, pp. 219-240

[20] P. Li; S.T. Yau Estimates of eigenvalues of a compact Riemannian manifold, Univ. Hawaii, Honolulu, Hawaii, 1979 (Proc. Sympos. Pure Math.), Volume vol. XXXVI, Amer. Math. Soc., Providence, RI (1980), pp. 205-239

[21] V.G. Maz'ja p-conductivity and theorems on imbedding certain functional spaces into a C-space, Dokl. Akad. Nauk SSSR, Volume 140 (1961), pp. 299-302

[22] V.G. Maz'ja On the solvability of the Neumann problem, Dokl. Akad. Nauk SSSR, Volume 147 (1962), pp. 294-296

[23] E. Milman, On the role of convexity in isoperimetry, spectral-gap and concentration, 2008, | arXiv

[24] E. Milman, On the role of convexity in functional and isoperimetric inequalities, 2008, | arXiv

[25] F. Morgan Manifolds with density, Notices Amer. Math. Soc., Volume 52 (2005) no. 8, pp. 853-858

[26] F. Morgan; D.L. Johnson Some sharp isoperimetric theorems for Riemannian manifolds, Indiana Univ. Math. J., Volume 49 (2000) no. 3, pp. 1017-1041

[27] L.E. Payne; H.F. Weinberger An optimal Poincaré inequality for convex domains, Arch. Rational Mech. Anal., Volume 5 (1960), pp. 286-292

[28] S. Sodin An isoperimetric inequality on the $ℓ_{p}$ balls, Ann. Inst. H. Poincaré Probab. Statist., Volume 44 (2008) no. 2, pp. 362-373

[29] P. Sternberg; K. Zumbrun On the connectivity of boundaries of sets minimizing perimeter subject to a volume constraint, Comm. Anal. Geom., Volume 7 (1999) no. 1, pp. 199-220

Cité par Sources :

^⁎ Supported by NSF under agreement #DMS-0635607.

Commentaires - Politique