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 new glance to the Alt-Caffarelli-Friedman monotonicity formula

Some remarks about the existence of an Alt-Caffarelli-Friedman monotonicity formula in the Heisenberg group

Alt-Caffarelli-Friedman monotonicity formula and mean value properties in Carnot groups with applications

Some counterexamples to Alt-Caffarelli-Friedman monotonicity formulas in Carnot groups

Fejér* monotonicity in optimization algorithms

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

On the monotonicity of left and right Riemann sums

Complete monotonicity for a ratio of finitely many gamma functions

Fejér monotone sequences revisited

Generalized Fejér monotone sequences and their finitary content

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

Monotonicity formulas and (S$_+$)-property: old and new

New monotonicity and infinite divisibility properties for the Mittag-Leffler function and for the stable distributions

On e-monotonicity and maximality of operators in Banach spaces

New Criteria for the Monotonicity of the Ratio of Two Abelian Integrals

A note on local asymptotics of solutions to singular elliptic equations via monotonicity methods

An application of monotonicity operator

A monotonicity property of the new basis of C[(Z/2)^D]

A sum theorem for (FPV) operators and normal cones

The monotonicity of the ratio of two Abelian integrals