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.

A sharp version of Bauer–Fike’s theorem

Sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix and its applications

Sharp extension inequalities on finite fields

Sharp Bernstein inequalities on simplex

Sharp Norm-Estimations for Moore-Penrose Inverses of Stable Perturbations of Hilbert C*-Module Operators

Upper bounds for the spectral radius of matrices having the Perron–Frobenius property

Sharp error bounds for Ritz vectors and approximate singular vectors

Sharp isoperimetric inequalities on the Hamming cube near the critical exponent

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

Sharper bounds for the numerical radius of $n \times n$ operator matrices II

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

Matrix-Weighted Besov-Type and Triebel--Lizorkin-Type Spaces II: Sharp Boundedness of Almost Diagonal Operators

Schatten $p$-norm and numerical radius inequalities with applications

On Sharp Inequalities on Nilpotent Lie Groups

$β$-dimensional sharp maximal function and applications

Some Sharp bounds for the generalized Davis-Wielandt radius

A stronger form of Yamamoto's theorem on singular values

Stability of the Faber-Krahn inequality for the short-time Fourier transform

Power Bounds for the Numerical Radius of the Off-Diagonal 2 × 2 Operator Matrix

Sharp bounds for ordinary and signless Laplacian spectral radii of uniform hypergraphs