Sharp L^1-Poincaré inequalities correspond to optimal hypersurface cuts

DOI10.1007/S00013-015-0778-XMaRDI QIDQ494597zbMATHOpenAlexFDO

Authors Stefan Steinerberger

Publication date 1 September 2015

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.6211

zbMATH Keywords

sharp constantconvex bodiesisoperimetryhypersurface cutsPoincaré inequality

Mathematics Subject Classification ID

Length, area, volume and convex sets (aspects of convex geometry) (52A38) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Abstract: Let $Omegasubsetmathbb{R}^n$ be a convex. If $u:OmegaightarrowmathbbR$ has mean 0, then we have the classical Poincar'{e} inequality ${\displaystyle }$ |u |_{L^p} leq c_p mbox{diam}(Omega) |

abla u |_{L^p}${\displaystyle }$ with sharp constants $c_2=1/pi$ (Payne & Weinberger, 1960) and $c_1=1/2$ (Acosta & Duran, 2005) independent of the dimension. The sharp constants $c_p$ for $1<p<2$ have recently been found by Ferone, Nitsch & Trombetti (2012). The purpose of this short paper is to prove a much stronger inequality in the endpoint $L^1$: we combine results of Cianchi and Kannan, Lov'{a}sz & Simonovits to show that ${\displaystyle }$left|u ight|_{L^{1}(Omega)} leq frac{2}{log{2}} M_{}(Omega) left| abla u ight|_{L^{1}(Omega)}${\displaystyle }$ where $M_{}(Omega)$ is the average distance between a point in $Omega$ and the center of gravity of $Omega$. If $Omega$ is a simplex, this yields an improvement by a factor of $simsqrtn$ in $n$ dimensions. By interpolation, this implies that that for every convex $Omegasubsetmathbb{R}^n$ and every $u:OmegaightarrowmathbbR$ with mean 0 ${\displaystyle }$ left|u ight|_{L^{p}(Omega)}leq left(frac{2}{log{2}} M_{}(Omega) ight)^{frac{1}{p}}mbox{diam}(Omega)^{1-frac{1}{p}}left|

abla u ight|_{L^{p}(Omega)}. ${\displaystyle }$

Recommendations

• An optimal Poincaré inequality in $L^1$ for convex domains
• A note on the Poincaré inequality for convex domains
• A sharp Poincaré inequality for functions in 𝐖^{1,∞}(Ω;ℝ)
• A note on sharp 1-dimensional Poincaré inequalities
• Sharp constant for Poincaré-type inequalities in the hyperbolic space

Cites work

• scientific article; zbMATH DE number 4011191 (Why is no real title available?)
• scientific article; zbMATH DE number 18983 (Why is no real title available?)
• scientific article; zbMATH DE number 1224949 (Why is no real title available?)
• scientific article; zbMATH DE number 646228 (Why is no real title available?)
• A random polynomial-time algorithm for approximating the volume of convex bodies
• A remark on optimal weighted Poincaré inequalities for convex domains
• A sharp form of Poincaré type inequalities on balls and spheres
• A sharp trace inequality for functions of bounded variation in the ball
• An inequality between the parts into which a convex body is divided by a plane section
• An optimal Poincaré inequality for convex domains
• An optimal Poincaré inequality in $L^1$ for convex domains
• Inequalities for the product of the volumes of a partition determined in a convex body by a surface
• Isoperimetric constants and the first eigenvalue of a compact riemannian manifold
• Isoperimetric estimates for the first eigenvalue of the \(p\)-Laplace operator and the Cheeger constant.
• Isoperimetric problems for convex bodies and a localization lemma
• Numerical approximation of the first eigenpair of thep-laplacian using finite elements and the penalty method
• On an inequality related to the splitting of a convex body by a plane
• On the conductance of order Markov chains
• Random walks in a convex body and an improved volume algorithm
• Sharp estimate on the first eigenvalue of the \(p\)-Laplacian
• The longest shortest fence and sharp Poincaré-Sobolev inequalities
• Ungleichungen für den Inhalt von Trennflächen
• Zerlegung konvexer Körper durch minimale Trennflächen.

Cited in

(12)

• Asymmetric Poincaré inequalities and solvability of capillarity problems
• Graphical designs and extremal combinatorics
• Loss of boundary conditions for fully nonlinear parabolic equations with superquadratic gradient terms
• On the diffusion geometry of graph Laplacians and applications
• A note on sharp 1-dimensional Poincaré inequalities
• Efficient convex optimization with oracles
• An isoperimetric inequality for hyperplane sections of a convex body
• On the isoperimetric constant, covariance inequalities and \(L_{p}\)-Poincaré inequalities in dimension one
• An upper bound on the hot spots constant
• Isoperimetric weights and generalized uncertainty inequalities in metric measure spaces
• A sharp Poincaré inequality for functions in 𝐖^{1,∞}(Ω;ℝ)
• Hot spots in convex domains are in the tips (up to an inradius)

This page was built for publication: Sharp \(L^1\)-Poincaré inequalities correspond to optimal hypersurface cuts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494597)