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.

On the local Fourier uniformity problem for small sets

On new fractal phenomena connected with infinite linear IFS

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

The exact dimension of Liouville numbers: The Fourier side

Spectral gaps and Fourier dimension for self-conformal sets with overlaps

Intersections of sets, diophantine equations and Fourier analysis

Local Fourier uniformity of higher divisor functions on average

Stability under scaling in the local phases of multiplicative functions

Completely bounded homomorphisms of the Fourier algebra revisited

A law of large numbers concerning the distribution of critical points of random Fourier series

Local limits in $p$-adic random matrix theory

Higher uniformity of arithmetic functions in short intervals I. All intervals

Universality for free fermions and the local Weyl law for semiclassical Schrödinger operators

Almost everywhere convergence of Fourier series on SU(2): the case of Holder continuous functions

Fourier transform acting on the functions defined in the infinite LCA groups. A Grand Lebesgue Spaces approach

L 2 Boundedness of the Fourier Integral Operator with Inhomogeneous Phase Functions

On Fourier Asymptotics and Effective Equidistribution

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

On the Fourier asymptotics of absolutely continuous measures with power-law singularities

Subexponential decay and regularity estimates for eigenfunctions of localization operators

The Liouville theorem for a class of Fourier multipliers and its connection to coupling