Isoperimetric, Sobolev, and eigenvalue inequalities via the Alexandroff-Bakelman-Pucci method: A survey

Sobolev and isoperimetric inequalities with monomial weights

Affine vs. Euclidean isoperimetric inequalities

Schneider introduced an inter-dimensional difference body operator on convex bodies, and proved an associated inequality. In the prequel to this work, we showed that this concept can be extended to a rich class of operators from convex geometry and proved the associated isoperimetric inequalities. The role of cosine-like operators, which generate convex bodies in Rn from those in Rn, were replaced by inter-dimensional simplicial operators, which generate convex bodies in Rnm from those in Rn (or vice versa). In this work, we treat the Lp extensions of these operators, and, furthermore, extend the role of the simplex to arbitrary m-dimensional convex bodies containing the origin. We establish mth-order Lp isoperimetric inequalities, including the mth-order versions of the Lp Petty projection inequality, Lp Busemann-Petty centroid inequality, Lp Santaló inequalities, and Lp affine Sobolev inequalities. As an application, we obtain isoperimetric inequalities for the volume of the operator norm of linear functionals (Rn,‖⋅‖E)→(Rm,‖⋅‖F).

By using optimal mass transport theory we prove a sharp isoperimetric inequality in $${\textsf {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 Brendle (Comm Pure Appl Math 2021:13717, 2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp constants in Riemannian manifolds with nonnegative Ricci curvature; here we use appropriate symmetrization techniques and optimal volume non-collapsing properties. The equality cases in the latter inequalities are also characterized by stating that sufficiently smooth, nonzero extremal functions exist if and only if the Riemannian manifold is isometric to the Euclidean space.

Higher-order Sobolev embeddings and isoperimetric inequalities

Analytic inequalities, isoperimetric inequalities and logarithmic Sobolev inequalities

We prove the sharp quantitative stability for a wide class of weighted isoperimetric inequalities. More precisely, we consider isoperimetric inequalities in convex cones with homogeneous weights.Inspired by the proof of such isoperimetric inequalities through the ABP method (see X. Cabré, X. Ros-Oton, and J. Serra [J. Eur. Math. Soc. (JEMS) 18 (2016), pp. 2971–2998]), we construct a new convex coupling (i.e., a map that is the gradient of a convex function) between a generic setEEand the minimizer of the inequality (as in Gromov’s proof of the isoperimetric inequality). Even if this map does not come from optimal transport, and even if there is a weight in the inequality, we adapt the methods of [Figalli, Maggi, and Pratelli [Invent. Math. 182 (2010), pp. 167–211] and prove that ifEEis almost optimal for the inequality then it is quantitatively close to a minimizerup to translations. Then, a delicate analysis is necessary to rule out the possibility of translations.As a step of our proof, we establish a sharp regularity result forrestrictedconvex envelopes of a function that might be of independent interest.

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--\'Emery curvature tensor of a Riemannian manifold equipped with a density, completely general concentration inequalities imply back their isoperimetric counterparts, up to dimension \emph{independent} bounds. As a corollary, we can recover and extend all previously known (dimension dependent) results by generalizing an isoperimetric inequality of Bobkov, and provide a new proof that under natural convexity assumptions, arbitrarily weak concentration implies a dimension independent linear isoperimetric inequality. Further applications will be described in a subsequent work. Contrary to previous attempts in this direction, our method is entirely geometric, continuing the approach set forth by Gromov and adapted to the manifold-with-density setting by Morgan.

The sharp Sobolev and isoperimetric inequalities split twice

On manifolds with non-negative Ricei curvature and Sobolev inequalities

Let ( M , g ) (M,g) be a complete two dimensional simply connected Riemannian manifold with Gaussian curvature K ≤ − 1 K\le -1 . If f f is a compactly supported function of bounded variation on M M , then f f satisfies the Sobolev inequality \[ 4 π ∫ M f 2 d A + ( ∫ M | f | d A ) 2 ≤ ( ∫ M ‖ ∇ f ‖ d A ) 2 . 4\pi \int _M f^2\,dA+ \left (\int _M |f|\,dA \right )^2\le \left (\int _M\|\nabla f\|\,dA \right )^2. \] Conversely, letting f f be the characteristic function of a domain D ⊂ M D\subset M recovers the sharp form 4 π A ( D ) + A ( D ) 2 ≤ L ( ∂ D ) 2 4\pi A(D)+A(D)^2\le L(\partial D)^2 of the isoperimetric inequality for simply connected surfaces with K ≤ − 1 K\le -1 . Therefore this is the Sobolev inequality “equivalent” to the isoperimetric inequality for this class of surfaces. This is a special case of a result that gives the equivalence of more general isoperimetric inequalities and Sobolev inequalities on surfaces. Under the same assumptions on ( M , g ) (M,g) , if c : [ a , b ] → M c\colon [a,b]\to M is a closed curve and w c ( x ) w_c(x) is the winding number of c c about x x , then the Sobolev inequality implies \[ 4 π ∫ M w c 2 d A + ( ∫ M | w c | d A ) 2 ≤ L ( c ) 2 , 4\pi \int _M w_c^2\,dA+ \left (\int _M|w_c|\,dA \right )^2\le L(c)^2, \] which is an extension of the Banchoff-Pohl inequality to simply connected surfaces with curvature ≤ − 1 \le -1 .

After Hormander's fundamental paper on hypoellipticity [54], the study of partial differential equations arising from families of noncommuting vector fields has developed significantly. In this paper we study some basic functional and geometric properties of general families of vector fields that include the Hormander type as a special case. Similar to their classical counterparts, such properties play an important role in the analysis of the relevant differential operators (both linear and nonlinear). To motivate our results, we recall some classical inequalities. Let E C R be a Caccioppoli set (a measurable set having a locally finite perimeter); then one has the isoperimetric inequality

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 Figalli et al.: Invent. Math. 182:167–211 (2010), though several new ideas are needed in order to deal with the lack of translation invariance in our problem.

On the structure of subsets of the discrete cube with small edge boundary, Discrete Analysis 2018:9, 29 pp. An isoperimetric inequality is a statement that tells us how small the boundary of a set can be given the of the set, for suitable notions of size and boundary. For example, one formulation of the classical isoperimetric inequality in $\mathbb R^n$ is as follows. Given a subset $X$ of $\mathbb R^n$, define the $\epsilon$-_expansion_ of $X$ to be the open set $X_\epsilon=\{y\in\mathbb R^n: d(y,X)<\epsilon\}$. If in addition $X$ is measurable, define the of its boundary to be $\lim\inf_{\epsilon\to 0} \epsilon^{-1}\mu(X_\epsilon\setminus X)$. (If $X$ is a set with a suitably smooth topological boundary $\partial X$, then this turns out to equal the surface measure of $\partial X$.) Then amongst all sets $X$ of a given measure, the one with the smallest boundary is an $n$-dimensional ball. Isoperimetric inequalities have been the focus of a great deal of research, partly for their intrinisic interest, but also because they have numerous applications. One particularly useful one is the _edge-isoperimetric inequality in the discrete cube_. This concerns subsets $X$ of the $n$-dimensional cube $\{0,1\}^n$, which we turn into a graph by joining two points $x$ and $y$ if they differ in exactly one coordinate. The of a set $X$ is simply its cardinality, the _edge-boundary_ of $X$ is defined to be the set of edges between $X$ and its complement, and the of the edge-boundary is the number of such edges. If $|X|=2^d$, then it is known that the edge-boundary is minimized when $X$ is a $d$-dimensional subspace of $\mathbb F_2^n$ generated by $d$ standard basis vectors. More generally, if $|X|=m$, then the edge-boundary is minimized when $X$ is an initial segment in the lexicographical ordering, which is the ordering where we set $x<y$ if $x_i<y_i$ for the first coordinate $i$ where $x_i$ and $y_i$ differ. (This coincides with the ordering we obtain if we think of the sequences as binary representations of integers.) For the two isoperimetric inequalities just mentioned, as well as many others, it is known that the extremal examples provided are essentially the only ones: a subset of $\mathbb R^n$ with a boundary that is as small as possible has to be an $n$-dimensional ball, and a subset of the discrete cube with edge-boundary that is as small as possible has to be an initial segment of the lexicographical ordering, up to the symmetries of the graph. Furthermore, there are _stablity_ results: a set with a boundary that is _almost_ as small as possible must be close to an extremal example. Such a result tells us that the isoperimetric inequalities are robust, in the sense that if you slightly perturb the condition on the set, then you only slightly perturb what the set has to look like. This paper is about an extremely precise stability result for the edge isoperimetric inequality in the discrete cube. There have been a number of papers on such results (see the introduction to the paper for details), but they have been mainly for sets of $2^d$ for some $d$, where the goal is to prove that they must be close to $d$-dimensional subcubes -- that is, subspaces (or their translates) generated by $d$ standard basis vectors. This paper considers sets of arbitrary and proves the following result. Suppose that $X$ is a subset of $\{0,1\}^n$ of $m$. Suppose that the of the edge-boundary of $X$ is at most $g_n(m)+l$, where $g_n(m)$ is the of the edge-boundary of the initial segment $I_m$ of $m$ in the lexicographical order. Then there is an automorphism $\phi$ of $\{0,1\}^n$ (meaning a bijection that takes neighbouring points to neighbouring points) such that $|X\Delta\phi(I_m)|\leq Cl$, where $C$ is an absolute constant. They give an example to show that $C$ must be at least 2, and thus that their result is best possible up to the value of the constant $C$. Previous proofs of stability versions of the edge-isoperimetric inequality in the cube have used Fourier analysis. The proof in this paper uses purely combinatorial methods, such as induction on the dimension, and compressions. To get these methods to work, several interesting ideas are needed, including some new results about the influence of variables.

It is shown that the minimum value for c is $4/3 \sqrt 3 \pi ^2 \cong .0780$ for $\phi $ of function class $C^0 $ piecewise $C^2 $ in real Euclidean 3-space.