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 Fourier Inequality and the Epanechnikov Kernel

Sharp extension inequalities on finite fields

On sharp heat kernel estimates in the context of Fourier-Dini expansions

On the Sharp Estimates for Convolution Operators with Oscillatory Kernel

Sharp Fourier extension for functions with localized support on the circle

Sharp new conformally invariant integral inequalities

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

Sharp Hardy's Inequalities in Hilbert Spaces

Sharp inverse statements for kernel interpolation

Sharp Fourier extension on fractional surfaces

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

Sharp Fourier restriction to monomial curves

On the Fourier coefficients of powers of a finite Blaschke product

Sharp maximal function estimates for Hilbert transforms along monomial curves in higher dimensions

Sharp L1 Inequalities for Sup-Convolution

Littlewood–Paley Functions Under Sharp Kernel Conditions

Sharp inequalities for a class of novel convex functions associated with Gregory polynomials

Sharp Fourier extension on the circle under arithmetic constraints

A Fourier representation of kernel Stein discrepancy with application to Goodness-of-Fit tests for measures on infinite dimensional Hilbert spaces

Heat Kernel on Smooth Metric Measure Spaces and Applications