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

DOI10.1007/S00013-015-0778-XzbMATH Open1337.46028arXiv1309.6211OpenAlexW2963892341MaRDI QIDQ494597FDOQ494597

Stefan Steinerberger

Publication date: 1 September 2015

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

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 }$

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

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

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)

Cites Work

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

Cited In (11)

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

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)