Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

Query:
Fill in the form and click »Search«...
Format:
Display: entries per page entries
Zbl 1247.53045
Jiang, Renjin; Koskela, Pekka
Isoperimetric inequality from the Poisson equation via curvature.
(English)
[J] Commun. Pure Appl. Math. 65, No. 8, 1145-1168 (2012). ISSN 0010-3640

It is well known that the isoperimetric inequality in ${\mathbb{R}}^n$ is a consequence of the Sobolev embedding $W_0^{1,1}\rightarrow L^{\frac{n}{n-1}}$. Another way to derive the isoperimetric inequality in $\mathbb R^n$ is to look at solutions of the Poisson equation $\Delta u=g$ and to use the inequality $\| Du\|_{L^\infty\left(B\right)}\le c\| g\|_{L^{n,1}\left(2B\right)}$. (This argument, which does not seem to appear in the literature, is given in the introduction of the paper under review.) \par In the paper under review an isoperimetric inequality for metric measure spaces satisfying a local $L^2$-PoincarĂ© inequality is proved under suitable assumptions. The setting is that of a complete, path-connected metric space $\left(X,d\right)$ with a $Q$-regular measure $\mu$ (which means roughly that volume of balls grows like $R^Q$) and which satisfies a quantitative local $L^2$-PoincarĂ©-inequality. The Sobolev space $H^{1,2}\left(X\right)$ is the completion of the space of locally Lipschitz functions for the $H^{1,2}$-norm. For functions $u\in H^{1,2}_{loc}\left(x\right)$ one has the Cheeger derivative $Du$ and one can use this to define what a solution of the Cheeger-Poisson equation $\Delta u=g$ is. The assumption made in the paper under review is that solutions to the Cheeger-Poisson equation satisfy the inequality $$\|| Du|\|_{L^\infty\left(B\right)}\le C\left(R^{-1}\int_{2B}| u|^2 d\mu\right)^{\frac{1}{2}}+\| g\|_{L^{Q,1}\left(2B\right)}$$ for $B=B\left(x,r\right)$ with $2r<R$. \par Under these assumptions the authors prove that a local $L^2$-PoincarĂ© inequality implies an isoperimetric inequality $$\mu\left(E\right)^{\frac{Q-1}{Q}}\le CP\left(E,X\right)$$ for bounded Borel sets $E\subset X$, where $P\left(E,X\right)$ denotes the perimeter of $E$ in $X$. As a corollary they obtain the local Sobolev inequality $$\| \phi\|_{L^{\frac{Q}{Q-1}}\left(X\right)}\le C\|| D\phi|\|_{L^1\left(X\right)}$$ for Lipschitz functions $\phi$ supported in a ball of given radius. \par The assumptions made in the paper under review are in particular satisfied for Riemannian manifolds of nonnegative Ricci curvature, maximal volume growth and dimension $\ge3$. There is a generalized notion of lower Ricci curvature bounds for metric measure spaces due to Lott-Villani and Sturm. It follows from results of Lott-Villani, von Renesse and Rajala that this curvature bound implies local $L^1$-PoincarĂ©-inequalities, hence the results of the paper under review can be applied in this setting.
[Thilo Kuessner (Seoul)]
MSC 2000:
*53C23 Global topological methods (a la Gromov)
53C21 Methods of Riemannian geometry (global)
54E35 Metric spaces, metrizability
49J52 Nonsmooth analysis (other weak concepts of optimality)
46E35 Sobolev spaces and generalizations

Keywords: metric measure spaces; isoperimetric inequalities; Poisson equation; Cheeger differentiablity; Lipschitz functions; Sobolev inequality

Highlights
Master Server