Minimizers of the prescribed curvature functional in a Jordan domain with no necks

We provide a geometric characterization of the minimal and maximal minimizer of the prescribed curvature functional P(E) − κ|E| among subsets of a Jordan domain Ω with no necks of radius κ−1, for values of κ greater than or equal to the Cheeger constant of Ω. As an application, we describe all minimizers of the isoperimetric profile for volumes greater than the volume of the minimal Cheeger set, relative to a Jordan domain Ω which has no necks of radius r, for all r. Finally, we show that for such sets and volumes the isoperimetric profile is convex.

Sharp Isoperimetric Inequalities for Small Volumes in Complete Noncompact Riemannian Manifolds of Bounded Geometry Involving the Scalar Curvature

We provide an isoperimetric comparison theorem for small volumes in an $n$-dimensional Riemannian manifold $(M^n,g)$ with $C^3$ bounded geometry in a suitable sense involving the scalar curvature function. Under $C^3$ bounds of the geometry, if the supremum of scalar curvature function $S_g<n(n-1)k_0$ for some $k_0\in \mathbb{R}$, then for small volumes the isoperimetric profile of $(M^n,g)$ is less then or equal to the isoperimetric profile of the complete simply connected space form of constant sectional curvature $k_0$. This work generalizes Theorem $2$ of [12] in which the same result was proved in the case where $(M^n, g)$ is assumed to be compact. As a consequence of our result we give an asymptotic expansion in Puiseux series up to the 2nd nontrivial term of the isoperimetric profile function for small volumes, generalizing our earlier asymptotic expansion [29]. Finally, as a corollary of our isoperimetric comparison result, it is shown that for small volumes the Aubin–Cartan–Hadamard’s conjecture is true in any dimension $n$ in the special case of manifolds with $C^3$ bounded geometry, and $S_g<n(n-1)k_0$. Two different intrinsic proofs of the fact that an isoperimetric region of small volume is of small diameter. The 1st under the assumption of mild bounded geometry, that is, positive injectivity radius and Ricci curvature bounded below. The 2nd assuming the existence of an upper bound of the sectional curvature, positive injectivity radius, and a lower bound of the Ricci curvature.