We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric, using the Lojasiewicz-Simon inequality. A main novelty of our work is that in all our results we do not require any a priori knowledge on the structure/shape of the minimizers.
We prove an sharp anisotropic isoperimetric inequality for a domain outside an Euclidean ball in $\mathbb{R}^n$ for $n\geq 2$. The proof applies the ABP method to a Neumann boundary value problem.
For a complete noncompact connected Riemannian manifold with bounded geometry, we prove the existence of isoperimetric regions in a larger space obtained by adding finitely many limit manifolds at infinity. As one of many possible applications, we extend properties of the isoperimetric profile from compact manifolds to such noncompact manifolds.
We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.
For general varifolds in Euclidean space, we prove an isoperimetric inequality, adapt the basic theory of generalised weakly differentiable functions, and obtain several Sobolev type inequalities. We thereby intend to facilitate the use of varifold theory in the study of diffused surfaces.
We prove a quantitative reverse isoperimetric inequality for embedded surfaces with Willmore energy bounded away from $8π$. We use this result to analyze the negative $L^2$ gradient flow of the Willmore energy plus a positive multiple of the inclosed volume. We show that initial surfaces of Willmore energy less than $8π$ with positive inclosed volume converge to a round point in finite or infinite time.
In this paper we establish a general form of the isoperimetric inequality for immersed closed curves (possibly non-convex) in the plane under rotational symmetry. As an application we obtain a global existence result for the surface diffusion flow, providing that an initial curve is $H^2$-close to a multiply covered circle and sufficiently rotationally symmetric.
} In this article, we put forward a Neumann eigenvalue problem for the bi-harmonic operator $Δ^2$ on a bounded smooth domain $\Om$ in the Euclidean $n$-space ${\bf R}^n$ ($n\ge2$) and then prove that the corresponding first non-zero eigenvalue $Υ_1(\Om)$ admits the isoperimetric inequality of Szegö-Weinberger type: $Υ_1(\Om)\le Υ_1(B_{\Om})$, where $B_{\Om}$ is a ball in ${\bf R}^n$ with the same volume of $\Om$. The isoperimetric inequality of Szegö-Weinberger type for the first nonzero Neumann eigenvalue of the even-multi-Laplacian operators $Δ^{2m}$ ($m\ge1$) on $\Om$ is also exploited.
A well known question in differential geometry is to control the constant in isoperimetric inequality by intrinsic curvature conditions. In dimension 2, the constant can be controlled by the integral of the positive part of the Gaussian curvature. In this paper, we showed that on simply connected conformal flat manifolds of higher dimensions, the role of the Gaussian curvature can be replaced by the Branson $Q$- curvature. We achieve this by exploring the relationship between $A_p$ weights and integrals of the Q-curvature.
We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumption, this can happen only on topological spheres.
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…
In the main theorem of this paper we treat the problem of existence of minimizers of the isoperimetric problem under the assumption of small volumes. Applications of the main theorem to asymptotic expansions of the isoperimetric problem are given.
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 note, we show that there is some counterexample for isoperimetric inequality if the condition $(ϕ')^2-ϕ"ϕ\leq 1$ does not hold in warped product space.
We prove an isoperimetric-type inequality for maximal, spacelike submanifold in the Minkowski space. The argument is based on the recent work of Brendle.
We prove existence of regions minimizing perimeter under a volume constraint in contact sub-Riemannian manifolds such that their quotient by the group of contact transformations preserving the sub-Riemannian metric is compact.
In this note, we consider the isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature, and improve it by using Hawking mass. We also obtain a rigidity result when equality holds for the classical isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature.
We study the problem of existence of isoperimetric regions for large volumes, in $C^0$-locally asymptotically Euclidean Riemannian manifolds with a finite number of $C^0$-asymptotically Schwarzschild ends. Then we give a geometric characterization of these isoperimetric regions, extending previous results contained in [EM13b], [EM13a], and [BE13]. Moreover strengthening a little bit the speed of convergence to the Schwarzschild metric we obtain existence of isoperimetric regions for all volumes for a class of manifolds that we named $C^0$-strongly asymptotic Schwarzschild, extending results of…
In general relativity, spatial light rays of static spherically symmetric spacetimes are geodesics of surfaces in Riemannian optical geometry. In this paper, we apply results on the isoperimetric problem to show that length-minimizing curves subject to an area constraint are circles, and discuss implications for the photon spheres of Schwarzschild, Reissner-Nordstrom, as well as continuous mass models solving the Tolman-Oppenheimer-Volkoff equation. Moreover, we derive an isoperimetric inequality for gravitational lensing in Riemannian optical geometry, using curve shortening flow and the Gaus…
We show that, the solutions of the isoperimetric problem for small volumes are $C^{2,α}$-close to small spheres. On the way, we define a class of submanifolds called pseudo balls, defined by an equation weaker than constancy of mean curvature. We show that in a neighborhood of each point of a compact riemannian manifold, there is a unique family concentric pseudo balls which contains all the pseudo balls $C^{2,α}$-close to small spheres. This allows us to reduce the isoperimetric problem for small volumes to a variational problem in finite dimension.
Let $M$ be a complete Riemannian manifold possessing a strictly convex Lipschitz continuous exhaustion function. We show that the isoperimetric profile of $M$ is a continuous and non-decreasing function. Particular cases are Hadamard manifolds and complete non-compact manifolds with strictly positive sectional curvatures.
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 the isoperimetric inequality is satisfied in the cigar steady soliton and in the Bryant steady soliton. Since both of them are Riemannian manifolds with warped product metric, we utilize the result of Guan-Li-Wang to get our conclusion. For the sake of the soliton structure, we believe that the geometric restrictions for manifolds in which the isoperimetric inequality holds are naturally satisfied for steady Ricci solitons.
In this article, we prove an isoperimetric inequality for the harmonic mean of the first $(n-1)$ nonzero Steklov eigenvalues on bounded domains in $n$-dimensional Hyperbolic space. Our approach to prove this result also gives a similar inequality for the first $n$ nonzero Steklov eigenvalues on bounded domains in $n$-dimensional Euclidean space.
Let $({\M}, g(t))$ be a Kähler Ricci flow with positive first Chern class. We prove a uniform isoperimetric inequality for all time. In the process we also prove a Cheng-Yau type log gradient bound for positive harmonic functions on $({\M}, g(t))$, and a Poincaré inequality without assuming the Ricci curvature is bounded from below.
We prove an Hersch's type isoperimetric inequality for the third positive eigenvalue on $\mathbb S^2$. Our method builds on the theory we developped to construct extremal metrics on Riemannian surfaces in conformal classes for any eigenvalue.
In this note, an isoperimetric inequality for the harmonic mean of lower order Steklov eigenvalues is proved on bounded domains in noncompact rank-$1$ symmetric spaces. This work extends result of \cite{BR.01} and \cite{V.21} proved for bounded domains in Euclidean space and Hyperbolic space, respectively.
It is well known that simply connected symmetric spaces of non-positive sectional curvature admit a linear isoperimetric filling inequality for cycles of dimension greater than or equal to the rank of the space. In this note we extend that result to homogeneous Hadamard manifolds.
We study, on a weighted Riemannian manifold of Ric$_{N} \geq K > 0$ for $N < -1$, when equality holds in the isoperimetric inequality. Our main theorem asserts that such a manifold is necessarily isometric to the warped product $\mathbb{R} \times_{\cosh(\sqrt{K/(1-N)}t)} Σ^{n-1}$ of hyperbolic nature, where $Σ^{n-1}$ is an $(n-1)$-dimensional manifold with lower weighted Ricci curvature bound and $\mathbb{R}$ is equipped with a hyperbolic cosine measure. This is a similar phenomenon to the equality condition of Poincaré inequality. Moreover, every isoperimetric minimizer set is isometric to a …
In this paper, we obtain the isoperimetric inequality on conformally flat manifold with finite total $Q$-curvature. This is a higher dimensional analogue of Li and Tam's result \cite{L-T} on surfaces with finite total Gaussian curvature. The main step in the proof is based on the construction of a quasiconformal map whose Jacobian is suitably bounded.
In this work the Isoperimetric Inequality for integral varifolds is used to obtain sharp estimates for the size of the set where the density quotient is small and to generalise Calderón's and Zygmund's theory of first order differentiability for functions in Lebesgue spaces from Lebesgue measure to integral varifolds.
We provide an isoperimetric inequality for critical metrics of the volume functional with nonnegative scalar curvature on compact manifolds with boundary. In addition, we establish a Weitzenböck type formula for critical metrics of the volume functional on four-dimensional manifolds. As an application, we obtain a classification result for such metrics.
We prove a reverse isoperimetric inequality for domains homeomorphic to a disc with the boundary of curvature bounded below lying in two-dimensional Alexandrov spaces of curvature $\geqslant c$. We also study the equality case.
For the biharmonic Steklov eigenvalue problem considered in this paper, we show that among all bounded Euclidean domains of class $C^{1}$ with fixed measure, the ball maximizes the first positive eigenvalue.
Long time existence and convergence to a circle is proved for radial graph solutions to a mean curvature type curve flow in warped product surfaces (under a weak assumption on the warp potential of the surface). This curvature flow preserves the area enclosed by the evolving curve, and this fact is used to prove a general isoperimetric inequality applicable to radial graphs in warped product surfaces under weak assumptions on the warp potential.
The notion of strictly outward minimising hull is investigated for open sets of finite perimeter sitting inside a complete noncompact Riemannian manifold. Under natural geometric assumptions on the ambient manifold, the strictly outward minimising hull $Ω^*$ of a set $Ω$ is characterised as a maximal volume solution of the least area problem with obstacle, where the obstacle is the set itself. In the case where $Ω$ has $\mathscr{C}^{1, α}$-boundary, the area of $\partial Ω^*$ is recovered as the limit of the $p$-capacities of $Ω$, as $p \to 1^+$. Finally, building on the existence of strictly …
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 that the isoperimetric profile of a convex domain $Ω$ with compact closure in a Riemannian manifold $(M^{n+1},g)$ satisfies a second order differential inequality which only depends on the dimension of the manifold and on a lower bound on the Ricci curvature of $Ω$. Regularity properties of the profile and topological consequences on isoperimetric regions arise naturally from this differential point of view. Moreover, by integrating the differential inequality we obtain sharp comparison theorems: not only can we derive an inequality which should be compared with Lévy-Gromov Inequality…
The classical isoperimetric inequality in the Euclidean plane $\mathbb{R}^2$ states that for a simple closed curve $M$ of the length $L_{M}$, enclosing a region of the area $A_{M}$, one gets \begin{align*} L_{M}^2\geqslant 4πA_{M}. \end{align*} In this paper we present the improved isoperimetric inequality, which states that if $M$ is a closed regular simple convex curve, then \begin{align*} L_{M}^2\geqslant 4πA_{M}+8π\left|\widetilde{A}_{E_{\frac{1}{2}}(M)}\right|, \end{align*} where $\widetilde{A}_{E_{\frac{1}{2}}(M)}$ is an oriented area of the Wigner caustic of $M$, and the equality holds …
We prove existence of isoperimetric regions for every volume in non-compact Riemannian $n$-manifolds $(M,g)$, $n\geq 2$, having Ricci curvature $Ric_g\geq (n-1) k_0 g$ and being locally asymptotic to the simply connected space form of constant sectional curvature $k_0$; moreover in case $k_0=0$ we show that the isoperimetric regions are indecomposable. We also discuss some physically and geometrically relevant examples. Finally, under assumptions on the scalar curvature we prove existence of isoperimetric regions of small volume.
We obtain an explicit formula for comparing total curvature of level sets of functions on Riemannian manifolds, and develop some applications of this result to the isoperimetric problem in spaces of nonpositive curvature.
For compact Riemannian manifolds with convex boundary, B.White proved the following alternative: Either there is an isoperimetric inequality for minimal hypersurfaces or there exists a closed minimal hypersurface, possibly with a small singular set. There is the natural question if a similar result is true for submanifolds of higher codimension. Specifically, B.White asked if the non-existence of an isoperimetric inequality for k-varifolds implies the existence of a nonzero, stationary, integral k-varifold. We present examples showing that this is not true in codimension greater than two. The …
