We prove a quantitative isoperimetric inequality for the Gaussian fractional perimeter using extension techniques. Though the exponent of the Fraenkel asymmetry is not sharp, the constant appearing in the inequality does not depend on the dimension but only on the Gaussian volume of the set and on the fractional parameter.
We consider a class of nonlocal generalized perimeters which includes fractional perimeters and Riesz type potentials. We prove a general isoperimetric inequality for such functionals, and we discuss some applications. In particular we prove existence of an isoperimetric profile, under suitable assumptions on the interaction kernel.
We prove a quantitative version of the isoperimetric inequality for a non local perimeter of Minkowski type. We also apply this result to study isoperimetric problems with repulsive interaction terms, under convexity constraints. We show existence of minimizers, and we describe the shape of minimizers in certain parameter regimes.
We consider a scale invariant functional involving the anisotropic $p-$momentum, the anisotropic perimeter and the volume. We show that the Wulff shape, associated with the Finsler norm $F$ considered and centered at the origin, is the unique minimizer of the anisotropic functional taken into consideration among all bounded convex sets.
We study a non local approximation of the Gaussian perimeter, proving the Gamma convergence to the local one. Surprisingly, in contrast with the local setting, the halfspace turns out to be a volume constrained stationary point if and only if the boundary hyperplane passes through the origin. In particular, this implies that Ehrhard symmetrization can in general increase the considered non local Gaussian perimeter.
Recently Frank and Seiringer have shown an isoperimetric inequality for nonlocal perimeter functionals arising from Sobolev seminorms of fractional order. This isoperimetric inequality is improved here in a quantitative form.
The existence of minimizers in the fractional isoperimetric problem with multiple volume constraints is proved, together with a partial regularity result.
We show the existence of generalized clusters of a finite or even infinite number of sets, with minimal total perimeter and given total masses, in metric measure spaces homogeneous with respect to a group acting by measure preserving homeomorphisms, for a quite wide range of perimeter functionals. Such generalized clusters are a natural "relaxed'' version of a cluster and can be thought of as ``albums'' with possibly infinite pages, having a minimal cluster drawn on each page, the total perimeter and the vector of masses being calculated by summation over all pages, the total perimeter being m…
It is a well known fact that in $\mathbb{R}^n$ a subset of minimal perimeter $L$ among all sets of a given volume is also a set of maximal volume among all sets of the same perimeter $L$. This is called the reciprocity principle for isoperimetric problems. The aim of this note is to prove this relation in the case where the class of admissible sets is restricted to the subsets of some subregion $G\subsetneq\mathbb{R}^n$. Furthermore, we give a characterization of those (unbounded) convex subsets of $\mathbb{R}^2$ in which the isoperimetric problem has a solution. The perimeter that we consider…
Given an elliptic integrand of class $ \mathscr{C}^{3} $, we prove that finite unions of disjoint open Wulff shapes with equal radii are the only volume-constrained critical points of the anisotropic surface energy among all sets with finite perimeter and reduced boundary almost equal to its closure.
We consider the minimization of an energy functional given by the sum of a density perimeter and a nonlocal interaction of Riesz type with exponent $α$, under volume constraint, where the strength of the nonlocal interaction is controlled by a parameter $γ$. We show that for a wide class of density functions the energy admits a minimizer for any value of $γ$. Moreover these minimizers are bounded. For monomial densities of the form $|x|^p$ we prove that when $γ$ is sufficiently small the unique minimizer is given by the ball of fixed volume. In contrast with the constant density case, here the…
We characterize the volume-constrained minimizers of a nonlocal free energy given by the difference of the $t$-perimeter and the $s$-perimeter, with $s$ smaller than $t$. Exploiting the quantitative fractional isoperimetric inequality, we show that balls are the unique minimizers if the volume is sufficiently small, depending on $t-s$, while the existence vs. nonexistence of minimizers for large volumes remains open. We also consider the corresponding isoperimetric problem and prove existence and regularity of minimizers for all $s,\,t$. When $s=0$ this problem reduces to the fractional isoper…
The aim of this paper is to prove the existence of minimizers for a variational problem involving the minimization under volume constraint of the sum of the perimeter and a non-local energy of Wasserstein type. This extends previous partial results to the full range of parameters. We also show that in the regime where the perimeter is dominant, the energy is uniquely minimized by balls.
A stability result in terms of the perimeter is obtained for the first Dirichlet eigenvalue of the Laplacian operator. In particular, we prove that, once we fix the dimension $n\geq2$, there exists a constant $c>0$, depending only on $n$, such that, for every $Ω\subset\mathbb{R}^n$ open, bounded and convex set with volume equal to the volume of a ball $B$ with radius $1$, it holds \begin{equation*} λ_1(Ω)-λ_1(B)\geq c\left(P(Ω)-P(B) \right)^{2}, \end{equation*} where by $λ_1(\cdot)$ we denote the first Dirichlet eigenvalue of a set and by $P(\cdot)$ its perimeter. The hearth of the present pap…
In this paper, we investigate the minimization of a functional in which the usual perimeter is competing with a nonlocal singular term comparable (but not necessarily equal to) a fractional perimeter. The motivation for this problem is a cell motility model introduced in some previous work by the first author. We establish several facts about global minimizers with a volume constraint. In particular we prove that minimizers exist and are radially symmetric for small mass, while minimizers cannot be radially symmetric for large mass. For large mass, we prove that the minimizing sequences either…
We prove a relative isoperimetric inequality in the plane, when the perimeter is defined with respect to a convex, positively homogeneous function of degree one, and characterize the minimizers.
We consider the minimization of an energy functional given by the sum of a crystalline perimeter and a nonlocal interaction of Riesz type, under volume constraint. We show that, in the small mass regime, if the Wulff shape of the anisotropic perimeter has certain symmetry properties, then it is the unique global minimizer of the total energy. In dimension two this applies to convex polygons which are reflection symmetric with respect to the bisectors of the angles. We further prove a rigidity result for the structure of (local) minimizers in two dimensions.
In this paper we consider the isoperimetric problem with double density in an Euclidean space, that is, we study the minimisation of the perimeter among subsets of $\mathbb{R}^n$ with fixed volume, where volume and perimeter are relative to two different densities. The case of a single density, or equivalently, when the two densities coincide, has been well studied in the last years; nonetheless, the problem with two different densities is an important generalisation, also in view of applications. We will prove the existence of isoperimetric sets in this context, extending the known results fo…
In this paper we study two different weighted isoperimetric inequalities. In the first part of the paper we prove a sharp stability result for the isoperimetric inequality with a log-convex weight. In the second part we analize the behavior of a negative power weight for the perimeter thus providing a complete picture of the isoperimetric problem in this context.
An infinite cluster $\mathbf E$ in $\mathbb R^d$ is a sequence of disjoint measurable sets $E_k\subset \mathbb R^d$, $k\in \mathbb N$, called regions of the cluster. Given the volumes $a_k\ge 0$ of the regions $E_k$, a natural question is the existence of a cluster $\mathbf E$ which has finite and minimal perimeter $P(\mathbf E)$ among all clusters with regions having such volumes. We prove that such a cluster exists in the planar case $d=2$, for any choice of the areas $a_k$ with $\sum \sqrt a_k < \infty$. We also show the existence of a bounded minimizer with the property $P(\mathbf E)=\math…
The relative isoperimetric inequality inside an open, convex cone $\mathcal C$ states that, at fixed volume, $B_r \cap \mathcal C$ minimizes the perimeter inside $\mathcal C$. Starting from the observation that this result can be recovered as a corollary of the anisotropic isoperimetric inequality, we exploit a variant of Gromov's proof of the classical isoperimetric inequality to prove a sharp stability result for the relative isoperimetric inequality inside $\mathcal C$. Our proof follows the line of reasoning in \cite{Fi}, though several new ideas are needed in order to deal with the lack o…
We prove a generalization of Reifenberg's isoperimetric inequality. The main result of this paper is used to establish existence of a minimizer for an anisotropically-weighted area functional among a collection of surfaces which satisfies a set of axioms, namely being closed under certain deformations and Hausdorff limits. This problem is known as the axiomatic Plateau problem.
We obtain a sharp quantitative isoperimetric inequality for nonlocal $s$-perimeters, uniform with respect to $s$ bounded away from $0$. This allows us to address local and global minimality properties of balls with respect to the volume-constrained minimization of a free energy consisting of a nonlocal $s$-perimeter plus a non-local repulsive interaction term. In the particular case $s =1$ the $s$-perimeter coincides with the classical perimeter, and our results improve the ones of Knüpfer and Muratov concerning minimality of balls of small volume in isoperimetric problems with a competition b…
We prove an isoperimetric inequality of the Rayleigh-Faber-Krahn type for a nonlinear generalization of the first twisted Dirichlet eigenvalue. More precisely, we show that the minimizer among sets of given volume is the union of two equal balls.
We obtain a generalized version of an inequality, first derived by C. Bandle in the analytic setting, for weak subsolutions of a singular Liouville-type equation. As an application we obtain a new proof of the Alexandrov isoperimetric inequality on singular abstract surfaces. Interestingly enough, motivated by this geometric problem, we obtain a seemingly new characterization of local metrics on Alexandrov's surfaces of bounded curvature. At least to our knowledge, the characterization of the equality case in the isoperimetric inequality in such a weak framework is new as well.
We prove, using elementary methods of complex analysis, the following generalization of the isoperimetric inequality: if $p\in\re$, $Ω\subset\re^2$ then the inequality $$ \left(\frac{|Ω|}π\right)^{\frac{p+1}{2}}\leq\frac{1}{2π}\int_{\delomega}|x|^pdσ(x) $$ holds true under appropriate assumptions on $Ω$ and $p.$ This solves an open problem arising in the context of isoperimetric problems with density and poses some new ones (for instance generalizations to $\re^n$). We prove the equivalence with a Hardy-Sobolev inequality, giving the best constant, and generalize thereby the equivalence betwee…
Necessary and sufficient conditions for rigidity of the perimeter inequality under spherical symmetrisation are given. That is, a characterisation for the uniqueness (up to orthogonal transformations) of the extremals is provided. This is obtained through a careful analysis of the equality cases, and studying fine properties of the circular symmetrisation, which was firstly introduced by Pólya in 1950.
We study an isoperimetric problem described by a functional that consists of the standard Gaussian perimeter and the norm of the barycenter. This second term has a repulsive effect, and it is in competition with the perimeter. Because of that, in general the solution is not the half-space. We characterize all the minimizers of this functional, when the volume is close to one, by proving that the minimizer is either the half-space or the symmetric strip, depending on the strength of the repulsive term. As a corollary, we obtain that the symmetric strip is the solution of the Gaussian isoperimet…
We consider the magnetic Robin Laplacian with a negative boundary parameter. Among a certain class of domains, we prove that the disk maximizes the ground state energy under the fixed perimeter constraint provided that the magnetic field is of moderate strength. This class of domains includes, in particular, all domains that are contained upon translations in the disk of the same perimeter and all convex centrally symmetric domains.
We study a geometric variational problem for sets in the plane in which the perimeter and a regularized dipolar interaction compete under a mass constraint. In contrast to previously studied nonlocal isoperimetric problems, here the nonlocal term asymptotically localizes and contributes to the perimeter term to leading order. We establish existence of generalized minimizers for all values of the dipolar strength, mass and regularization cutoff and give conditions for existence of classical minimizers. For subcritical dipolar strengths we prove that the limiting functional is a renormalized per…
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.
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 discrete-to-continuum convergence of interaction energies defined on lattices in the Euclidean space (with interactions beyond nearest neighbours) to a crystalline perimeter, and we discuss the possible Wulff shapes obtainable in this way. Exploiting the "multigrid construction" of quasiperiodic tilings (which is an extension of De Bruijn's "pentagrid" construction of Penrose tilings) we adapt the same techniques to also find the macroscopical homogenized perimeter when we microscopically rescale a given quasiperiodic tiling.
We establish a partial generalization of a prior isoperimetric inequality for the fundamental tone (first nonzero eigenvalue) of the free plate to plates of nonzero Poisson's ratio.
We introduce a new variational method for the study of stability in the isoperimetric inequality. The method is quite general as it relies on a penalization technique combined with the regularity theory for quasiminimizers of the perimeter. Two applications are presented. First we give a new proof of the sharp quantitative isoperimetric inequality in $R^n$. Second we positively answer to a conjecture by Hall concerning the best constant for the quantitative isoperimetric inequality in $R^2$ in the small asymmetry regime.
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.
We provide a full quantitative version of the Gaussian isoperimetric inequality. Our estimate is independent of the dimension, sharp on the decay rate with respect to the asymmetry and with optimal dependence on the mass.
This note treats several problems for the fractional perimeter or $s$-perimeter on the sphere. The spherical fractional isoperimetric inequality is established. It turns out that the equality cases are exactly the spherical caps. Furthermore, the convergence of fractional perimeters to the surface area as $s \nearrow 1$ is proven. It is shown that their limit as $s \searrow -\infty$ can be expressed in terms of the volume.
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.