Abstract:The objective of this paper is two-fold. First, we establish new sharp quantitative estimates for Faber-Krahn inequalities on simply connected space forms. We prove that the gap between the first eigenvalue of a given set $\Omega$ and that of the ball quantitatively controls both the $L^1$ distance of this set from a ball {\it and} the $L^2$ distance between the corresponding eigenfunctions: \[ \lambda_1(\Omega) - \lambda_1(B) \gtrsim |\Omega \Delta B|^2 + \int |u_{\Omega} - u_B|^2, \] where $B$ denotes the nearest geodesic ball to $\Omega$ with $|B|=|\Omega|$ and $u_\Omega$ denotes the first eigenfunction with suitable normalization. On Euclidean space, this extends a result of Brasco-De Phillipis-Velichkov; the eigenfunction control largely builds upon new regularity results for minimizers of critically perturbed Alt-Cafarelli type functionals in our companion paper. On the round sphere and hyperbolic space, the present results are the first sharp quantitative results with respect to any distance; here the local portion of the analysis is based on new implicit spectral analysis techniques. Second, we apply these sharp quantitative Faber-Krahn inequalities in order to establish a quantitative form of the Alt-Caffarelli-Friedman (ACF) monotonicity formula. We show that the energy drop in the ACF monotonicity formula from one scale to the next controls how close a pair of admissible functions is from a pair of complementary half-plane solutions. In particular, when the square root of the energy drop summed over all scales is small, our result implies the existence of tangents (unique blowups) of these functions.

Sharp isoanisotropic estimates for fundamental frequencies of membranes and connections with shapes

Optimal anisotropies for p-Laplace type operators in the plane

Eigenvalue estimates for Fourier concentration operators on two domains

Numerical optimisation of Dirac eigenvalues

Sharp embeddings between weighted Paley-Wiener spaces

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

Sharp-Interface Limit of a Multi-phase Spectral Shape Optimization Problem for Elastic Structures

Geometric spectral optimization on surfaces

Asymptotic location and shape of the optimal favorable region in a Neumann spectral problem

The role of topology and capacity in some bounds for principal frequencies

Optimal concentration level of anisotropic Trudinger-Moser functionals on any bounded domain

On meso-scale approximations for vibrations of membranes with lower-dimensional clusters of inertial inclusions

Sharp spectral gap estimates for higher-order operators on cartan-hadamard manifolds

Existence of harmonic maps and eigenvalue optimization in higher dimensions

Anisotropic finite elements with high aspect ratio for an Asymptotic Preserving method for highly anisotropic elliptic equation

Existence of optimal shapes for heat diffusions across irregular interfaces

Dirac Eigenvalue Optimisation and Harmonic Maps to Complex Projective Spaces

Sharp operator-norm asymptotics for thin elastic plates with rapidly oscillating periodic properties

Continuity of eigenvalues and shape optimisation for Laplace and Steklov problems