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 lower bound on the mean curvature integral with critical power for integral varifolds

A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

A Note on the Mean Curvature Flow in Riemannian Manifolds

Submanifolds with Parallel Gaussian Mean Curvature Vector in Euclidean Spaces

Global regularity of integral 2-varifolds with square integrable mean curvature

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

On generalized Dirichlet integrals in the smooth and in the o-minimal setting

Integral Bounds on Curvature and Gromov-Hausdorff Limits

Quantitative comparison theorems in Riemannian and Kähler geometry

Sharp Hardy-type inequalities for non-compact harmonic manifolds and Damek-Ricci spaces

On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

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

Differential Harnack inequalities for semilinear parabolic equations on Riemannian manifolds I: Bakry-Émery curvature bounded below

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions

Sharp estimates and inequalities on Riemannian manifolds with Euclidean volume growth

A sharp quantitative nonlinear Poincaré inequality on convex domains

Complete Submanifolds With Parallel Mean Curvature And Finite Total Curvature

Harnack inequality and the relevant theorems on Finsler metric measure manifolds

The Geometry of Differential Harnack Estimates

Logarithmic-Sobolev inequalities on non-compact Euclidean submanifolds: sharpness and rigidity

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds