In this paper we study the relationship of hyperbolicity and (Cheeger) isoperimetric inequality in the context of Riemannian manifolds and graphs. We characterize the hyperbolic manifolds and graphs (with bounded local geometry) verifying this isoperimetric inequality, in terms of their Gromov boundary improving similar results from a previous work. In particular, we prove that having a pole is a necessary condition and, therefore, it can be removed as hypothesis.
In this article we exhibit the largest constant in a quadratic isoperimetric inequality which ensures that a geodesic metric space is Gromov hyperbolic. As a particular consequence we obtain that Euclidean space is a borderline case for Gromov hyperbolicity in terms of the isoperimetric function. We prove similar results for the linear filling radius inequality. Our results strengthen and generalize theorems of Gromov, Papasoglu and others.
In this paper we study the relationship of hyperbolicity and (Cheeger) isoperimetric inequality in the context of Riemannian manifolds and graphs. We characterize the hyperbolic manifolds and graphs (with bounded local geometry) verifying this isoperimetric inequality, in terms of their Gromov boundary. Furthermore, we characterize the trees with isoperimetric inequality (without any hypothesis). As an application of our results, we obtain the solvability of the Dirichlet problem at infinity for these Riemannian manifolds and graphs, and that the Martin boundary is homeomorphic to the Gromov b…
We prove some isoperimetric type inequalities in warped product manifolds, or more generally, multiply warped product manifolds. We then relate them to inequalities involving the higher order mean-curvature integrals. We also apply our results to obtain sharp eigenvalue estimates and some sharp geometric inequalities in space forms.
Based on Markvorsen and Palmer's work on mean time exit and isoperimetric inequalities we establish slightly better isoperimetric inequalities and mean time exit estimates for minimal submanifolds of $N\times\mathbb{R}$. We also prove isoperimetric inequalities for submanifolds of Hadamard spaces with tamed second fundamental form.
In this paper we prove the existence of isoperimetric regions of any volume in Riemannian manifolds with Ricci bounded below assuming Gromov--Hausdorff asymptoticity to the suitable simply connected model of constant sectional curvature. The previous result is a consequence of a general structure theorem for perimeter-minimizing sequences of sets of fixed volume on noncollapsed Riemannian manifolds with a lower bound on the Ricci curvature. We show that, without assuming any further hypotheses on the asymptotic geometry, all the mass and the perimeter lost at infinity, if any, are recovered by…
We prove a relative isoperimetric inequalities for Lagrangian half disks in $\mathbb{C}^2$ with respect to a Lagrangian plane, or a complex plane, or a union of any two of Lagrangian or complex planes that intersect transversally at the origin.
By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $\mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded.
In this paper we prove general inequalities involving the weighted mean curvature of compact submanifolds immersed in weighted manifolds. As a consequence we obtain a relative linear isoperimetric inequality for such submanifolds. We also prove an extrinsic upper bound to the first non zero eigenvalue of the drift Laplacian on closed submanifolds of weighted manifolds.
We consider the punctured plane with volume density $|x|^α$ and perimeter density $|x|^β$. We show that centred balls are uniquely isoperimetric for indices $(α,β)$ which satisfy the conditions $α-β+1>0$, $α\leq 2β$ and $α(β+1)\leqβ^2$ except in the case $α=β=0$ which corresponds to the classical isoperimetric inequality.
We estimate the second order linking invariants of Lipschitz maps from an n-dimensional ellipse. The estimate uses a new directionally-dependent version of the isoperimetric inequality for cycles inside the ellipse. Using this work, we prove new lower bounds for the k-dilation of maps from one ellipse to another.
We estimate the linear isoperimetric constants of an n-dimensional ellipse. Using these estimates and a technique of Gromov, we estimate the Hopf and linking invariants of Lipschitz maps from ellipses to round spheres. Using these estimates, we give a lower bound for the k-dilation of degree non-zero maps between ellipses.
In this paper we consider the problem of minimizing the relative perimeter under a volume constraint in the interior of a conically bounded convex set, i.e., an unbounded convex body admitting an \emph{exterior} asymptotic cone. Results concerning existence of isoperimetric regions, the behavior of the isoperimetric profile for large volumes, and a characterization of isoperimetric regions of large volume in conically bounded convex sets of revolution is obtained.
The aim of this paper is to prove isoperimetric inequalities on submanifolds of the Euclidean space using mass transportation methods. We obtain a sharp ?weighted isoperimetric inequality? and a nonsharp classical inequality similar to the one obtained by J. Michael and L. Simon. The proof relies on the description of a solution of the problem of Monge when the initial measure is supported in a submanifold and the final one supported in a linear subspace of the same dimension.
In the first part of the paper we survey some nonlocal flows of convex plane curves ever studied so far and discuss properties of the flows related to enclosed area and length, especially the isoperimetric ratio and the isoperimetric difference. We also study a new nonlocal flow of convex plane curves and discuss its evolution behavior. In the second part of the paper we discuss necessary and sufficient conditions (in terms of the (mixed) isoperimetric ratio or (mixed) isoperimetric difference) for two convex closed curves to be homothetic or parallel.
Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to Michael and Simon, and Allard, independently. Some applications are discussed.
In this paper, we deals with isoperimetric-type inequalities for closed convex curves in the Euclidean plane R^2. We derive a family of parametric inequalities involving the following geometric functionals associated to a given convex curve with a simple Fourier series proof: length, area of the region included by the curve, area of the domain enclosed by the locus of curvature centers and integral of the radius of curvature. By using our isoperimetric-type inequalities, we also obtain some new geometric Bonnesen-type inequalities. Furthermore we investigate stability properties of such inequa…
In this paper we first prove some linear isoperimetric inequalities for submanifolds in the de Sitter-Schwarzschild and Reissner-Nordstrom manifolds. Moreover, the equality is attained. Next, we prove some monotonicity formulas for submanifolds with bounded mean curvature vector in warped product manifolds and, as consequences, we give lower bound estimates for the volume of these submanifolds in terms of the warping function. We conclude the paper with an isoperimetric inequality for minimal surfaces.
In this paper we provide an extension to the Jellett-Minkowski's formula for immersed submanifolds into ambient manifolds which possesses a pole and radial curvatures bounded from above or below by the radial sectional curvatures of a rotationally symmetric model space. Using this Jellett-Minkowski's generalized formula we can focus on several isoperimetric problems. More precisely, on lower bounds for isoperimetric quotients of any precompact domain with smooth boundary, or on the isoperimetric profile of the submanifold and its modified volume. In the particular case of a model space with st…
This paper deals with eigenvalue optimization problems for a family of natural Schrödinger operators arising in some geometrical or physical contexts. These operators, whose potentials are quadratic in curvature, are considered on closed surfaces immersed in space forms and we look for geometries that maximize the eigenvalues. We show that under suitable assumptions on the potential, the first and the second eigenvalues are maximized by (round) spheres.
We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci curvature lower bound $(n-1)k$, the geodesic ball of radius $l$ in the space form of curvature $k$ has the largest area-to-volume ratio. A similar but reversed inequality holds if we replace a lower bound on the cut distance by a lower bound of the mean curvature. As an application we show that $C^2$ isoperimetric domains in standard space forms are balls. Gene…
In this paper, we prove a Sobolev and isoperimetric inequalities for submanifold in weighted manifold. Our results generalize the Hoffman-Spruck's inequalities.
Sharp Lp affine isoperimetric inequalities are established for the entire class of Lp projection bodies and the entire class of Lp centroid bodies. These new inequalities strengthen the Lp Petty projection and the Lp Busemann--Petty centroid inequality.
Using Fourier analysis, we derive Wirtinger-type inequalities of arbitrary high order. As applications, we prove various sharp geometric inequalities for closed curves on the Euclidean plane. In particular, we obtain both sharp lower and upper bounds for the isoperimetric deficit.
In this paper, we prove a class of weighted isoperimetric inequalities for bounded domains in hyperbolic space by using the isoperimetric inequality with log-convex density in Euclidean space. As a consequence, we remove the horo-convex assumption of domains in a weighted isoperimetric inequality proved by Scheuer-Xia. Furthermore, we prove weighted isoperimetric inequalities for star-shaped domains in warped product manifolds. Particularly, we obtain a weighted isoperimetric inequality for star-shaped hypersurfaces lying outside a certain radial coordinate slice in the anti-de Sitter-Schwarzs…
In this paper, we solve various isoperimetric problems for the quermassintegrals and the curvature integrals in the hyperbolic space $\H^n$, by using quermassintegral preserving curvature flows. As a byproduct, we obtain hyperbolic Alexandrov-Fenchel inequalities.
We prove that on an essentially non-branching $\mathrm{MCP}(K,N)$ space, if a geodesic ball has a volume lower bound and satisfies some additional geometric conditions, then in a smaller geodesic ball (in a quantified sense) we have an estimate on the isoperimetric constants.
In this paper, we establish some sharp inequalities between the volume and the integral of the $k$-th mean curvature for $k+1$-convex domains in the Euclidean space. The results generalize the classical Alexandrov-Fenchel inequalities for convex domains. Our proof utilizes the method of optimal transportation.
Given a compact Riemannian manifold with density $M$ without boundary and the real line $\mathbb{R}$ with constant density, we prove that isoperimetric regions of large volume in $M\times\mathbb{R}$ with the product density are slabs of the form $M\times [a,b]$. We previously prove, as a necessary step, the existence of isoperimetric regions in any manifold of density where a subgroup of the group of transformations preserving weighted perimeter and volume acts cocompactly.
We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel asymmetry. In the first case, we determine the extremal domains.
In this paper we consider the isoperimetric profile of convex cylinders $K\times\mathbb{R}^q$, where $K$ is an $m$-dimensional convex body, and of cylindrically bounded convex sets, i.e, those with a relatively compact orthogonal projection over some hyperplane of $\mathbb{R}^{n+1}$, asymptotic to a right convex cylinder of the form $K\times\mathbb{R}$, with $K\subset\mathbb{R}^n$. Results concerning the concavity of the isoperimetric profile, existence of isoperimetric regions, and geometric descriptions of isoperimetric regions for small and large volumes are obtained.
In this article, by following the method in \cite{PT}, combining Willmore energy with isoperimetric inequalities, we construct two examples of singularities under mean curvature flow in $\mathbb{H}^3$. More precisely, there exists a torus, which must develop a singularity under MCF before the volume it encloses decreases to zero. There also exists a topological sphere in the shape of a dumbbell, which must develop a singularity in the flow before its area shrinks to zero. Simultaneously, by using the flow, we proved an isoperimetric inequality for some domains in $\mathbb{H}^3$.
Evolving smooth, compact hypersurfaces in R^{n+1} with normal speed equal to a positive power k of the mean curvature improves a certain 'isoperimetric difference' for k >= n-1. As singularities may develop before the volume goes to zero, we develop a weak level-set formulation for such flows and show that the above monotonicity is still valid. This proves the isoperimetric inequality for n <= 7. Extending this to complete, simply connected 3-dimensional manifolds with nonpositive sectional curvature, we give a new proof for the Euclidean isoperimetric inequality on such manifolds.
The purpose of this paper is to analyze the isoperimetric inequality for symmetric log-convex probability measures on the line. Using geometric arguments we first re-prove that extremal sets in the isoperimetric inequality are intervals or complement of intervals (a result due to Bobkov and Houdré). Then we give a quantitative form of the isoperimetric inequality, leading to a somehow anomalous behavior. Indeed, it could be that a set is very close to be optimal, in the sense that the isoperimetric inequality is almost an equality, but at the same time is very far (in the sense of the symmetri…
In this paper we consider the problem of minimizing the relative perimeter under a volume constraint in the interior of a convex body, i.e., a compact convex set in Euclidean space with interior points. We shall not impose any regularity assumption on the boundary of the convex set. Amongst other results, we shall prove the equivalence between Hausdorff and Lipschitz convergence, the continuity of the isoperimetric profile with respect to the Hausdorff distance,and the convergence in Hausdorff distance of sequences of isoperimetric regions and their free boundaries. We shall also describe the …
By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for normed spaces and Riemannian manifolds to a nonsmooth framework. In the case of $n$-dimensional Riemannian manifolds with nonnegative Ricci curvature, we outline an alternative proof of the rigidity result of S. Brendle (2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp const…
We prove some old and new isoperimetric inequalities with the best constant using the ABP method applied to an appropriate linear Neumann problem. More precisely, we obtain a new family of sharp isoperimetric inequalities with weights (also called densities) in open convex cones of $\mathbb{R}^n$. Our result applies to all nonnegative homogeneous weights satisfying a concavity condition in the cone. Remarkably, Euclidean balls centered at the origin (intersected with the cone) minimize the weighted isoperimetric quotient, even if all our weights are nonradial ---except for the constant ones. W…
We prove a pair of sharp reverse isoperimetric inequalities for domains in nonpositively curved surfaces: (1) metric disks centered at the vertex of a Euclidean cone of angle at least $2π$ have minimal area among all nonpositively curved disks of the same perimeter and the same total curvature; (2) geodesic triangles in a Euclidean (resp. hyperbolic) cone of angle at least $2π$ have minimal area among all nonpositively curved geodesic triangles (resp. all geodesic triangles of curvature at most $-1$) with the same side lengths and angles.
It is well known that isoperimetric inequalities imply in a very general measure-metric-space setting appropriate concentration inequalities. The former bound the boundary measure of sets as a function of their measure, whereas the latter bound the measure of sets separated from sets having half the total measure, as a function of their mutual distance. We show that under a lower bound condition on the Bakry--Émery curvature tensor of a Riemannian manifold equipped with a density, completely general concentration inequalities imply back their isoperimetric counterparts, up to dimension \emph{i…
The main purpose of this paper is to prove a sharp Sobolev inequality in an exterior of a convex bounded domain. There are two ingredients in the proof: One is the observation of some new isoperimetric inequalities with partial free boundary, and the other is an integral inequality (due to Duff [9]) for any nonnegative function under Schwarz equimeasurable rearrangement. These ingredients also allow us to establish some Moser-Trudinger type inequalities, and obtain some estimates on the principal frequency of a membrane with partial free boundary, which extend early results of Nehari [15] and …
We prove that if a quasiconvex subset $X$ of a metric space $Y$ has finite Nagata dimension and is Lipschitz $k$-connected or admits Euclidean isoperimetric inequalities up to dimension $k$ for some $k$ then $X$ is isoperimetrically undistorted in $Y$ up to dimension $k+1$. This generalizes and strengthens a recent result of the third named author and has several consequences and applications. It yields for example that in spaces of finite Nagata dimension, Lipschitz connectedness implies Euclidean isoperimetric inequalities, and Euclidean isoperimetric inequalities imply coning inequalities. …
We consider the problem of minimizing the relative perimeter under a volume constraint in an unbounded convex body $C\subset \mathbb{R}^{n+1}$, without assuming any further regularity on the boundary of $C$. Motivated by an example of an unbounded convex body with null isoperimetric profile, we introduce the concept of unbounded convex body with uniform geometry. We then provide a handy characterization of the uniform geometry property and, by exploiting the notion of asymptotic cylinder of $C$, we prove existence of isoperimetric regions in a generalized sense. By an approximation argument we…
We prove that if $(X,\mathsf d,\mathfrak m)$ is an essentially non-branching metric measure space with $\mathfrak m(X)=1$, having Ricci curvature bounded from below by $K$ and dimension bounded from above by $N \in (1,\infty)$, understood as a synthetic condition called Measure-Contraction property, then a sharp isoperimetric inequality à la Lévy-Gromov holds true. Measure theoretic rigidity is also obtained.
Motivated by Perelman's Pseudo Locality Theorem for the Ricci flow, we prove that if a Riemannian manifold has Ricci curvature bounded below in a metric ball which moreover has almost maximal volume, then in a smaller ball (in a quantified sense) it holds an almost-euclidean isoperimetric inequality. The result is actually established in the more general framework of non-smooth spaces satisfying local Ricci curvature lower bounds in a synthetic sense via optimal transportation.
In this paper we revisit the anisotropic isoperimetric and the Brunn-Minkowski inequalities for convex sets. The best known constant $C(n)=Cn^{7}$ depending on the space dimension $n$ in both inequalities is due to Segal [\ref{bib:Seg.}]. We improve that constant to $Cn^6$ for convex sets and to $Cn^5$ for centrally symmetric convex sets. We also conjecture, that the best constant in both inequalities must be of the form $Cn^2,$ i.e., quadratic in $n.$ The tools are the Brenier's mapping from the theory of mass transportation combined with new sharp geometric-arithmetic mean and some algebraic…
We investigate the logarithmic and power-type convexity of the length of the level curves for $a$-harmonic functions on smooth surfaces and related isoperimetric inequalities. In particular, our analysis covers the $p$-harmonic and the minimal surface equations. As an auxiliary result, we obtain higher Sobolev regularity properties of the solutions, including the $W^{2,2}$ regularity. The results are complemented by a number of estimates for the derivatives $L'$ and $L''$ of the length of the level curve function $L$, as well as by examples illustrating the presentation. Our work generalizes r…
We characterize locally Lipschitz mappings and existence of Lipschitz extensions through a first order nonlinear system of PDEs. We extend this study to graded group-valued Lipschitz mappings defined on compact Riemannian manifolds. Through a simple application, we emphasize the connection between these PDEs and the Rumin complex. We introduce a class of 2-step groups, satisfying some abstract geometric conditions and we show that Lipschitz mappings taking values in these groups and defined on subsets of the plane admit Lipschitz extensions. We present several examples of these groups, called …
