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.

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

A new glance to the Alt-Caffarelli-Friedman monotonicity formula

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

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

A UNIFIED STUDY OF NONPARAMETRIC INFERENCE FOR MONOTONE FUNCTIONS

Fejér* monotonicity in optimization algorithms

Generalizations of the Lagrange mean value theorem and applications

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

Monotone and Accretive Vector Fields on Riemannian Manifolds

On the Monotonicity of Difference Generated by the Inequalities of Chebyshev Type

Alternative Proofs for Monotonic and Logarithmically Convex Properties of One-Parameter Mean Values

On a basic mean value Theorem with explicit exponents

Monotonicities and Schur-Convexity for a Type of Symmetric Mean Values

Generalized Fejér monotone sequences and their finitary content

Generalized Conformable Mean Value Theorems with Applications to Multivariable Calculus

On the Monotonicity of Difference Generated by Jensen′s Integral Inequalities

Regularity for almost minimizers of a one-phase Bernoulli-type functional in Carnot Groups of step two

Monotonic Properties of the Least Squares Mean

General monotonicity