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 Spectral Gap and Li–Yau’s Estimate on Alexandrov Spaces

A direct approach to sharp Li-Yau Estimates on closed manifolds with negative Ricci lower bound

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

On the Sharp Polynomial Upper Estimate Conjecture in Eight-Dimensional Simplex

A Sharp Estimate of Positive Integral Points In6-Dimensional Polyhedra and a Sharp Estimate of Smooth Numbers

Generalized Liouville Theorem in Nonnegatively Curved Alexandrov Spaces

Sharp spectral multipliers for Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates

A Note on Local Gradient Estimate on Alexandrov Spaces

Sharp log-Sobolev inequalities in CD ( 0 , N ) spaces with applications

Sharp bounds on higher-dimensional product spaces for Hardy-type operators on Heisenberg group

Sharp bounds for a class of integral operators in weighted-type spaces on Heisenberg group

A Sharp Polynomial Estimate of Positive Integral Points in A 4-Dimensional Tetrahedron and A Sharp Estimate of the Dickman-De Bruijn Function

Hardy-Sobolev type inequalities and their applications

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

Sharp Hardy-Adams inequalities for bi-Laplacian on hyperbolic space of dimension four

Some sharp bounds for Hardy-type operators on mixed radial-angular type function spaces

A Sharp Moser–Trudinger Type Inequality Involving Adimurthi–Druet Term in Two Dimensional Hyperbolic Space

Spectral Gap Estimates on Conformally Flat Manifolds

Some sharp bounds for Hardy type operators on mixed radial-angular type function spaces

Sharp $\mathrm{L}^\infty$ estimates for fully non-linear elliptic equations on compact complex manifolds