AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Local $L^p$-Brunn–Minkowski inequalities for $p < 1$
About this Title
Alexander V. Kolesnikov and Emanuel Milman
Publication: Memoirs of the American Mathematical Society
Publication Year:
2022; Volume 277, Number 1360
ISBNs: 978-1-4704-5160-8 (print); 978-1-4704-7092-0 (online)
DOI: https://doi.org/10.1090/memo/1360
Published electronically: March 25, 2022
Keywords: $L^p$-Brunn–Minkowski theory,
convex bodies,
Aleksandrov body,
Hilbert–Brunn–Minkowski operator,
Poincaré inequality,
local uniqueness in $L^p$-Minkowski problem,
isoperimetric stability estimates
Table of Contents
Chapters
- 1. Introduction
- 2. Notation
- 3. Global vs. Local Formulations of the $L^p$-Brunn–Minkowski Conjecture
- 4. Local $L^p$-Brunn–Minkowski Conjecture – Infinitesimal Formulation
- 5. Relation to Hilbert–Brunn–Minkowski Operator and Linear Equivariance
- 6. Obtaining Estimates via the Reilly Formula
- 7. The second Steklov operator and $B_H(B_2^n)$
- 8. Unconditional Convex Bodies and the Cube
- 9. Local log-Brunn–Minkowski via the Reilly Formula
- 10. Continuity of $B_H$, $B$, $D$ with application to $B_q^n$
- 11. Local Uniqueness for Even $L^p$-Minkowski Problem
- 12. Stability Estimates for Brunn–Minkowski and Isoperimetric Inequalities
Abstract
The $L^p$-Brunn–Minkowski theory for $p\geq 1$, proposed by Firey and developed by Lutwak in the 90’s, replaces the Minkowski addition of convex sets by its $L^p$ counterpart, in which the support functions are added in $L^p$-norm. Recently, Böröczky, Lutwak, Yang and Zhang have proposed to extend this theory further to encompass the range $p \in [0,1)$. In particular, they conjectured an $L^p$-Brunn–Minkowski inequality for origin-symmetric convex bodies in that range, which constitutes a strengthening of the classical Brunn-Minkowski inequality. Our main result confirms this conjecture locally for all (smooth) origin-symmetric convex bodies in $\mathbb {R}^n$ and $p \in [1 - \frac {c}{n^{3/2}},1)$. In addition, we confirm the local log-Brunn–Minkowski conjecture (the case $p=0$) for small-enough $C^2$-perturbations of the unit-ball of $\ell _q^n$ for $q \geq 2$, when the dimension $n$ is sufficiently large, as well as for the cube, which we show is the conjectural extremal case. For unit-balls of $\ell _q^n$ with $q \in [1,2)$, we confirm an analogous result for $p=c \in (0,1)$, a universal constant. It turns out that the local version of these conjectures is equivalent to a minimization problem for a spectral-gap parameter associated with a certain differential operator, introduced by Hilbert (under different normalization) in his proof of the Brunn–Minkowski inequality. As applications, we obtain local uniqueness results in the even $L^p$-Minkowski problem, as well as improved stability estimates in the Brunn–Minkowski and anisotropic isoperimetric inequalities.- Ben Andrews, Entropy estimates for evolving hypersurfaces, Comm. Anal. Geom. 2 (1994), no. 1, 53–64. MR 1312677, DOI 10.4310/CAG.1994.v2.n1.a3
- Wolfgang Arendt and Rafe Mazzeo, Friedlander’s eigenvalue inequalities and the Dirichlet-to-Neumann semigroup, Commun. Pure Appl. Anal. 11 (2012), no. 6, 2201–2212. MR 2912743, DOI 10.3934/cpaa.2012.11.2201
- F. Barthe and D. Cordero-Erausquin, Invariances in variance estimates, Proc. Lond. Math. Soc. (3) 106 (2013), no. 1, 33–64. MR 3020738, DOI 10.1112/plms/pds011
- Markus Biegert, On traces of Sobolev functions on the boundary of extension domains, Proc. Amer. Math. Soc. 137 (2009), no. 12, 4169–4176. MR 2538577, DOI 10.1090/S0002-9939-09-10045-X
- T. Bonnesen and W. Fenchel, Theory of convex bodies, BCS Associates, Moscow, ID, 1987. Translated from the German and edited by L. Boron, C. Christenson and B. Smith. MR 920366
- Károly J. Böröczky, Erwin Lutwak, Deane Yang, and Gaoyong Zhang, The log-Brunn-Minkowski inequality, Adv. Math. 231 (2012), no. 3-4, 1974–1997. MR 2964630, DOI 10.1016/j.aim.2012.07.015
- Károly J. Böröczky, Erwin Lutwak, Deane Yang, and Gaoyong Zhang, The logarithmic Minkowski problem, J. Amer. Math. Soc. 26 (2013), no. 3, 831–852. MR 3037788, DOI 10.1090/S0894-0347-2012-00741-3
- Herm Jan Brascamp and Elliott H. Lieb, On extensions of the Brunn-Minkowski and Prékopa-Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation, J. Functional Analysis 22 (1976), no. 4, 366–389. MR 450480, DOI 10.1016/0022-1236(76)90004-5
- Yu. D. Burago and V. A. Zalgaller, Geometric inequalities, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 285, Springer-Verlag, Berlin, 1988. Translated from the Russian by A. B. Sosinskiĭ; Springer Series in Soviet Mathematics. MR 936419, DOI 10.1007/978-3-662-07441-1
- Isaac Chavel, Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol. 115, Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol; With an appendix by Jozef Dodziuk. MR 768584
- Shibing Chen, Yong Huang, Qi-Rui Li, and Jiakun Liu, The $L_ p$-Brunn-Minkowski inequality for $p<1$, Adv. Math. 368 (2020), 107166, 21. MR 4088419, DOI 10.1016/j.aim.2020.107166
- Andrea Colesanti, From the Brunn-Minkowski inequality to a class of Poincaré-type inequalities, Commun. Contemp. Math. 10 (2008), no. 5, 765–772. MR 2446898, DOI 10.1142/S0219199708002971
- A. Colesanti and G. V. Livshyts. A note on the quantitative local version of the log-brunn-minkowski inequality. arxiv.org/abs/1710.10708v4, 2017.
- Andrea Colesanti, Galyna V. Livshyts, and Arnaud Marsiglietti, On the stability of Brunn-Minkowski type inequalities, J. Funct. Anal. 273 (2017), no. 3, 1120–1139. MR 3653949, DOI 10.1016/j.jfa.2017.04.008
- Andrea Colesanti and Eugenia Saorín Gómez, Functional inequalities derived from the Brunn-Minkowski inequalities for quermassintegrals, J. Convex Anal. 17 (2010), no. 1, 35–49. MR 2642713
- Dario Cordero-Erausquin, Santaló’s inequality on $\Bbb C^n$ by complex interpolation, C. R. Math. Acad. Sci. Paris 334 (2002), no. 9, 767–772 (English, with English and French summaries). MR 1905037, DOI 10.1016/S1631-073X(02)02328-2
- D. Cordero-Erausquin, M. Fradelizi, and B. Maurey, The (B) conjecture for the Gaussian measure of dilates of symmetric convex sets and related problems, J. Funct. Anal. 214 (2004), no. 2, 410–427. MR 2083308, DOI 10.1016/j.jfa.2003.12.001
- S. Dar, A Brunn-Minkowski-type inequality, Geom. Dedicata 77 (1999), no. 1, 1–9. MR 1706512, DOI 10.1023/A:1005132006433
- A. Figalli, F. Maggi, and A. Pratelli, A refined Brunn-Minkowski inequality for convex sets, Ann. Inst. H. Poincaré C Anal. Non Linéaire 26 (2009), no. 6, 2511–2519. MR 2569906, DOI 10.1016/j.anihpc.2009.07.004
- A. Figalli, F. Maggi, and A. Pratelli, A mass transportation approach to quantitative isoperimetric inequalities, Invent. Math. 182 (2010), no. 1, 167–211. MR 2672283, DOI 10.1007/s00222-010-0261-z
- Wm. J. Firey, $p$-means of convex bodies, Math. Scand. 10 (1962), 17–24. MR 141003, DOI 10.7146/math.scand.a-10510
- N. Fusco, F. Maggi, and A. Pratelli, The sharp quantitative isoperimetric inequality, Ann. of Math. (2) 168 (2008), no. 3, 941–980. MR 2456887, DOI 10.4007/annals.2008.168.941
- Michael E. Gage, Evolving plane curves by curvature in relative geometries, Duke Math. J. 72 (1993), no. 2, 441–466. MR 1248680, DOI 10.1215/S0012-7094-93-07216-X
- R. J. Gardner, The Brunn-Minkowski inequality, Bull. Amer. Math. Soc. (N.S.) 39 (2002), no. 3, 355–405. MR 1898210, DOI 10.1090/S0273-0979-02-00941-2
- Richard J. Gardner, Geometric tomography, 2nd ed., Encyclopedia of Mathematics and its Applications, vol. 58, Cambridge University Press, New York, 2006. MR 2251886, DOI 10.1017/CBO9781107341029
- Richard J. Gardner and Artem Zvavitch, Gaussian Brunn-Minkowski inequalities, Trans. Amer. Math. Soc. 362 (2010), no. 10, 5333–5353. MR 2657682, DOI 10.1090/S0002-9947-2010-04891-3
- David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition. MR 1814364
- Alexandre Girouard and Iosif Polterovich, Spectral geometry of the Steklov problem (survey article), J. Spectr. Theory 7 (2017), no. 2, 321–359. MR 3662010, DOI 10.4171/JST/164
- Alexander Grigor’yan, Heat kernel and analysis on manifolds, AMS/IP Studies in Advanced Mathematics, vol. 47, American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009. MR 2569498, DOI 10.1090/amsip/047
- Christoph Haberl, Erwin Lutwak, Deane Yang, and Gaoyong Zhang, The even Orlicz Minkowski problem, Adv. Math. 224 (2010), no. 6, 2485–2510. MR 2652213, DOI 10.1016/j.aim.2010.02.006
- Davit Harutyunyan, Quantitative anisotropic isoperimetric and Brunn-Minkowski inequalities for convex sets with improved defect estimates, ESAIM Control Optim. Calc. Var. 24 (2018), no. 2, 479–494. MR 3816402, DOI 10.1051/cocv/2017004
- Antoine Henrot, Extremum problems for eigenvalues of elliptic operators, Frontiers in Mathematics, Birkhäuser Verlag, Basel, 2006. MR 2251558
- Yong Huang, Jiakun Liu, and Lu Xu, On the uniqueness of $L_p$-Minkowski problems: the constant $p$-curvature case in $\Bbb {R}^3$, Adv. Math. 281 (2015), 906–927. MR 3366857, DOI 10.1016/j.aim.2015.02.021
- Nolwen Huet, Spectral gap for some invariant log-concave probability measures, Mathematika 57 (2011), no. 1, 51–62. MR 2764156, DOI 10.1112/S0025579310001361
- R. Kannan, L. Lovász, and M. Simonovits, Isoperimetric problems for convex bodies and a localization lemma, Discrete Comput. Geom. 13 (1995), no. 3-4, 541–559. MR 1318794, DOI 10.1007/BF02574061
- Bo’az Klartag, A Berry-Esseen type inequality for convex bodies with an unconditional basis, Probab. Theory Related Fields 145 (2009), no. 1-2, 1–33. MR 2520120, DOI 10.1007/s00440-008-0158-6
- Herbert Knothe, Contributions to the theory of convex bodies, Michigan Math. J. 4 (1957), 39–52. MR 83759
- Alexander V. Kolesnikov and Emanuel Milman, Remarks on the KLS conjecture and Hardy-type inequalities, Geometric aspects of functional analysis, Lecture Notes in Math., vol. 2116, Springer, Cham, 2014, pp. 273–292. MR 3364692, DOI 10.1007/978-3-319-09477-9_{1}8
- Alexander V. Kolesnikov and Emanuel Milman, Brascamp-Lieb-type inequalities on weighted Riemannian manifolds with boundary, J. Geom. Anal. 27 (2017), no. 2, 1680–1702. MR 3625169, DOI 10.1007/s12220-016-9736-5
- Alexander V. Kolesnikov and Emanuel Milman, Sharp Poincaré-type inequality for the Gaussian measure on the boundary of convex sets, Geometric aspects of functional analysis, Lecture Notes in Math., vol. 2169, Springer, Cham, 2017, pp. 221–234. MR 3645125
- Alexander V. Kolesnikov and Emanuel Milman, The KLS isoperimetric conjecture for generalized Orlicz balls, Ann. Probab. 46 (2018), no. 6, 3578–3615. MR 3857863, DOI 10.1214/18-AOP1257
- Alexander V. Kolesnikov and Emanuel Milman, Poincaré and Brunn-Minkowski inequalities on the boundary of weighted Riemannian manifolds, Amer. J. Math. 140 (2018), no. 5, 1147–1185. MR 3862061, DOI 10.1353/ajm.2018.0027
- Olga A. Ladyzhenskaya and Nina N. Ural’tseva, Linear and quasilinear elliptic equations, Academic Press, New York-London, 1968. Translated from the Russian by Scripta Technica, Inc; Translation editor: Leon Ehrenpreis. MR 244627
- R. Latała and J. O. Wojtaszczyk, On the infimum convolution inequality, Studia Math. 189 (2008), no. 2, 147–187. MR 2449135, DOI 10.4064/sm189-2-5
- Michel Ledoux, The concentration of measure phenomenon, Mathematical Surveys and Monographs, vol. 89, American Mathematical Society, Providence, RI, 2001. MR 1849347, DOI 10.1090/surv/089
- Michel Ledoux, Spectral gap, logarithmic Sobolev constant, and geometric bounds, Surveys in differential geometry. Vol. IX, Surv. Differ. Geom., vol. 9, Int. Press, Somerville, MA, 2004, pp. 219–240. MR 2195409, DOI 10.4310/SDG.2004.v9.n1.a6
- Yin Tat Lee and Santosh S. Vempala, Eldan’s stochastic localization and the KLS hyperplane conjecture: an improved lower bound for expansion, 58th Annual IEEE Symposium on Foundations of Computer Science—FOCS 2017, IEEE Computer Soc., Los Alamitos, CA, 2017, pp. 998–1007. MR 3734299, DOI 10.1109/FOCS.2017.96
- Gary M. Lieberman, Oblique derivative problems for elliptic equations, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013. MR 3059278, DOI 10.1142/8679
- Galyna Livshyts, Arnaud Marsiglietti, Piotr Nayar, and Artem Zvavitch, On the Brunn-Minkowski inequality for general measures with applications to new isoperimetric-type inequalities, Trans. Amer. Math. Soc. 369 (2017), no. 12, 8725–8742. MR 3710641, DOI 10.1090/tran/6928
- L. Lovász and M. Simonovits, Random walks in a convex body and an improved volume algorithm, Random Structures Algorithms 4 (1993), no. 4, 359–412. MR 1238906, DOI 10.1002/rsa.3240040402
- Erwin Lutwak, The Brunn-Minkowski-Firey theory. I. Mixed volumes and the Minkowski problem, J. Differential Geom. 38 (1993), no. 1, 131–150. MR 1231704
- Erwin Lutwak, The Brunn-Minkowski-Firey theory. II. Affine and geominimal surface areas, Adv. Math. 118 (1996), no. 2, 244–294. MR 1378681, DOI 10.1006/aima.1996.0022
- Erwin Lutwak, Deane Yang, and Gaoyong Zhang, On the $L_p$-Minkowski problem, Trans. Amer. Math. Soc. 356 (2004), no. 11, 4359–4370. MR 2067123, DOI 10.1090/S0002-9947-03-03403-2
- Lei Ma, A new proof of the log-Brunn-Minkowski inequality, Geom. Dedicata 177 (2015), 75–82. MR 3370024, DOI 10.1007/s10711-014-9979-x
- V. D. Milman and A. Pajor, Isotropic position and inertia ellipsoids and zonoids of the unit ball of a normed $n$-dimensional space, Geometric aspects of functional analysis (1987–88), Lecture Notes in Math., vol. 1376, Springer, Berlin, 1989, pp. 64–104. MR 1008717, DOI 10.1007/BFb0090049
- Vitali D. Milman and Gideon Schechtman, Asymptotic theory of finite-dimensional normed spaces, Lecture Notes in Mathematics, vol. 1200, Springer-Verlag, Berlin, 1986. With an appendix by M. Gromov. MR 856576
- L. E. Payne and H. F. Weinberger, An optimal Poincaré inequality for convex domains, Arch. Rational Mech. Anal. 5 (1960), 286–292 (1960). MR 117419, DOI 10.1007/BF00252910
- Eli Putterman, Equivalence of the local and global versions of the $L^p$-Brunn-Minkowski inequality, J. Funct. Anal. 280 (2021), no. 9, Paper No. 108956, 20. MR 4220744, DOI 10.1016/j.jfa.2021.108956
- Robert C. Reilly, Applications of the Hessian operator in a Riemannian manifold, Indiana Univ. Math. J. 26 (1977), no. 3, 459–472. MR 474149, DOI 10.1512/iumj.1977.26.26036
- L. Rotem. A letter: The log-Brunn-Minkowski inequality for complex bodies. Unpublished, arxiv.org/abs/1412.5321, 2014.
- Christos Saroglou, Remarks on the conjectured log-Brunn-Minkowski inequality, Geom. Dedicata 177 (2015), 353–365. MR 3370038, DOI 10.1007/s10711-014-9993-z
- Christos Saroglou, More on logarithmic sums of convex bodies, Mathematika 62 (2016), no. 3, 818–841. MR 3521355, DOI 10.1112/S0025579316000061
- Rolf Schneider, Convex bodies: the Brunn-Minkowski theory, Encyclopedia of Mathematics and its Applications, vol. 44, Cambridge University Press, Cambridge, 1993. MR 1216521, DOI 10.1017/CBO9780511526282
- Alexander Segal, Remark on stability of Brunn-Minkowski and isoperimetric inequalities for convex bodies, Geometric aspects of functional analysis, Lecture Notes in Math., vol. 2050, Springer, Heidelberg, 2012, pp. 381–391. MR 2985306, DOI 10.1007/978-3-642-29849-3_{2}4
- Sasha Sodin, An isoperimetric inequality on the $l_p$ balls, Ann. Inst. Henri Poincaré Probab. Stat. 44 (2008), no. 2, 362–373 (English, with English and French summaries). MR 2446328, DOI 10.1214/07-AIHP121
- Alina Stancu, The discrete planar $L_0$-Minkowski problem, Adv. Math. 167 (2002), no. 1, 160–174. MR 1901250, DOI 10.1006/aima.2001.2040
- Robert S. Strichartz, Analysis of the Laplacian on the complete Riemannian manifold, J. Functional Analysis 52 (1983), no. 1, 48–79. MR 705991, DOI 10.1016/0022-1236(83)90090-3
- Michael E. Taylor, Partial differential equations II. Qualitative studies of linear equations, 2nd ed., Applied Mathematical Sciences, vol. 116, Springer, New York, 2011. MR 2743652, DOI 10.1007/978-1-4419-7052-7
- N. Ja. Vilenkin, Special functions and the theory of group representations, Translations of Mathematical Monographs, Vol. 22, American Mathematical Society, Providence, RI, 1968. Translated from the Russian by V. N. Singh. MR 229863
- Dongmeng Xi and Gangsong Leng, Dar’s conjecture and the log-Brunn-Minkowski inequality, J. Differential Geom. 103 (2016), no. 1, 145–189. MR 3488132