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 Inequalities for the Complete Elliptic Integrals of the First and Second Kinds

The Iyengar Type Inequalities with Exact Estimations and the Chebyshev Central Algorithms of Integrals

The Iyengar Inequality, Revisited

Estimates for Complete Elliptic Integral K(r) by Trigonometric Functions with Applications

Sharp integral inequalities for harmonic functions

Sharp Wilker, Huygens, Adamovic-Mitrinovic, Cusa and Shafer-Fink type inequalities involving the sine integral

Optimal power-type Heronian and Lehmer means inequalities for the complete elliptic integrals

Absolutely monotonic functions related to the asymptotic formula for the complete elliptic integral of the first kind

Simple Closed Analytic Formulas for the Approximation of the Legendre Complete Elliptic Integrals K(k) and E(k) (and their First Derivatives)

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Sharp Cusa Type Inequalities with Two Parameters and Their Applications

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

Sharp Hardy's Inequalities in Hilbert Spaces

Geometric inequalities involving three quantities in warped product manifolds

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

Sharp Cheeger-Buser Type Inequalities in RCD ( K , ∞ ) Spaces

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Some New Integral Inequalities for Several Kinds of Convex Functions

Sharp Constant for L^p-L^∞ Type Sobolev's Inequality

Further Hermite–Hadamard-Type Inequalities for Fractional Integrals with Exponential Kernels

Chebyshev Property of Complete Elliptic Integrals and Its Application to Abelian Integrals