Abstract:The main aim of this article is to prove quantitative spectral inequalities for the Laplacian with Dirichlet boundary conditions. More specifically, we prove sharp quantitative stability for the Faber-Krahn inequality in terms of Newtonian capacities and Hausdorff contents of positive codimension, thus providing an answer to a question posed by De Philippis and Brasco. One of our results asserts that for any bounded domain $\Omega\subset\mathbb R^n$, $n\geq3$, with Lebesgue measure equal to that of the unit ball $B_0$ and whose first eigenvalue is $\lambda_\Omega$, denoting by $\lambda_{B_0}$ the first eigenvalue for the unit ball, for any $a\in (0,1)$ it holds $$\lambda_\Omega - \lambda_{B_0} \geq C(a) \,\inf_B \bigg(\sup_{t\in (0,1)} \frac1{H^{n-1}(\partial ((1-t) B))} \int_{\partial ((1-t) B)} \frac{\operatorname{Cap}_{n-2}(B(x,atr_B)\setminus \Omega)}{(t\,r_B)^{n-3}}\,dH^{n-1}(x)\bigg)^2,$$ where the infimum is taken over all balls $B$ with the same Lebesgue measure as $\Omega$ and $\operatorname{Cap}_{n-2}$ is the Newtonian capacity of homogeneity $n-2$. In fact, this holds for bounded subdomains of the sphere and the hyperbolic space, as well. In a second result, we also apply the new Faber-Krahn type inequalities to quantify the Hayman-Friedland inequality about the characteristics of disjoint domains in the unit sphere. Thirdly, we propose a natural extension of Carleson's $\varepsilon^2$-conjecture to higher dimensions in terms of a square function involving the characteristics of certain spherical domains, and we prove the necessity of the finiteness of such square function in the tangent points via the Alt-Caffarelli-Friedman monotonicity formula. Finally, we answer in the negative a question posed by Allen, Kriventsov and Neumayer in connection to rectifiability and the positivity set of the ACF monotonicity formula.

Rectifiability and uniqueness of blow-ups for points with positive Alt-Caffarelli-Friedman limit

Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

Boundary behavior of limit-interfaces for the Allen-Cahn equation on Riemannian manifolds with Neumann boundary condition

Rectifiability, finite Hausdorff measure, and compactness for non-minimizing Bernoulli free boundaries

Rectifiability, finite Hausdorff measure, and compactness for non‐minimizing Bernoulli free boundaries

Boundary regularity of the free interface in spectral optimal partition problems

Upper bounds on the fluctuations for a class of degenerate convex $\nabla ϕ$-interface models

Faber-Krahn inequalities, the Alt-Caffarelli-Friedman formula, and Carleson's $\varepsilon^2$ conjecture in higher dimensions

Degenerate stability of critical points of the Caffarelli-Kohn-Nirenberg inequality along the Felli-Schneider curve

Improvement of flatness for nonlocal free boundary problems

Boundary points, Minimal $L^{2}$ integrals and Concavity property

Asymptotics of harmonic functions in the absence of monotonicity formulas

On the free boundary for thin obstacle problems with Sobolev variable coefficients

Continuity up to the boundary for minimizers of the one-phase Bernoulli problem

Lipschitz continuity and Bochner-Eells-Sampson inequality for harmonic maps from $\mathrm{RCD}(K,N)$ spaces to $\mathrm{CAT}(0)$ spaces

The Friedland-Hayman inequality and Caffarelli's contraction theorem

Regularity of the Optimal Sets for a Class of Integral Shape Functionals

Strong existence for free discontinuity problems in linear elasticity

Quantitative Stability for the Caffarelli-Kohn-Nirenberg Inequality

The strong form of the Ahlfors-Schwarz lemma at the boundary and a rigidity result for Liouville's equation

Self-similar finite-time blowups with smooth profiles of the generalized Constantin-Lax-Majda model