We prove a universal inequality between the diastole, defined using a minimax process on the one-cycle space, and the area of closed Riemannian surfaces. Roughly speaking, we show that any closed Riemannian surface can be swept out by a family of multi-loops whose lengths are bounded in terms of the area of the surface. This diastolic inequality, which relies on an upper bound on Cheeger's constant, yields an effective process to find short closed geodesics on the two-sphere, for instance. We deduce that every Riemannian surface can be decomposed into two domains with the same area such that the length of their boundary is bounded from above in terms of the area of the surface. We also compare various Riemannian invariants on the two-sphere to underline the special role played by the diastole.
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.
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.
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.
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.
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 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 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.
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…
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.
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.
We prove an inequality for submanifolds of Cartan-Hadamard manifolds, which relates the geometry of a submanifold to the measure of the geodesics in the ambient space which it intersects. For hypersurfaces, this gives an extension of Banchoff and Pohl's isoperimetric inequality to spaces of non-positive curvature. We also prove a modified version of Croke's isoperimetric inequality for hypersurfaces immersed in Cartan-Hadamard manifolds and a sharp, quantitative version of an isoperimetric inequality of Yau in spaces of negative curvature. We discuss the relationship between these results, and…
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.
We show that the Cheeger constant of compact surfaces is bounded by a function of the area. We apply this to isoperimetric profiles of bounded genus non-compact surfaces, to show that if their isoperimetric profile grows faster than $\sqrt t$, then it grows at least as fast as a linear function. This generalizes a result of Gromov for simply connected surfaces. We study the isoperimetric problem in dimension 3. We show that if the filling volume function in dimension 2 is Euclidean, while in dimension 3 is sub-Euclidean and there is a $g$ such that minimizers in dimension 3 have genus at most …
This paper considers affine analogues of the isoperimetric inequality in the sense of piecewise linear topology. Given a closed polygon P embedded in R^d having n edges, we give upper and lower bounds for the minimal number of triangles needed to forma triangulated embedded orientable surface in R^d having P as its geometric boundary. The most interesting case is dimension dimension 3, where we give an upper bound of 7 n^2 triangles, and a lower bound for some polygons P that require at least 1/2 n^2 triangles. In dimension 2 and dimensions 5 and above one needs only O(n) triangles. The case o…
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…
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.
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 …
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 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…
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…
Let $Σ$ be a $k$-dimensional complete proper minimal submanifold in the Poincaré ball model $B^n$ of hyperbolic geometry. If we consider $Σ$ as a subset of the unit ball $B^n$ in Euclidean space, we can measure the Euclidean volumes of the given minimal submanifold $Σ$ and the ideal boundary $\partial_\infty Σ$, say $\rvol(Σ)$ and $\rvol(\partial_\infty Σ)$, respectively. Using this concept, we prove an optimal linear isoperimetric inequality. We also prove that if $\rvol(\partial_\infty Σ) \geq \rvol(\mathbb{S}^{k-1})$, then $Σ$ satisfies the classical isoperimetric inequality. By proving the…
We investigate the distribution of eigenvalues of the weighted Laplacian on closed weighted Riemannian manifolds of nonnegative Bakry-Émery Ricci curvature. We derive some universal inequalities among eigenvalues of the weighted Laplacian on such manifolds. These inequalities are quantitative versions of the previous theorem by the author with Shioya. We also study some geometric quantity, called multi-way isoperimetric constants, on such manifolds and obtain similar universal inequalities among them. Multi-way isoperimetric constants are generalizations of the Cheeger constant. Extending 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…
By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is …
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.
We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure spaces verifying the local curvature dimension condition, also hold in the stronger formulation in terms of the perimeter.
