[论文解读] Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

M. Allen, Dennis Kriventsov+1 more|arXiv (Cornell University)|Jul 7, 2021

Nonlinear Partial Differential Equations参考文献 26被引用 1

一句话总结

本文在单连通空间形式（欧几里得空间、双曲空间和球面）上建立了精确的定量 Faber-Krahn 不等式，证明了在集合 Ω 与等体积测地球 B 之间，第一 Dirichlet 特征值的差距可控制其 L1 对称差 |Ω∆B|² 以及其第一特征函数之间的 L2 距离。该结果将先前工作拓展至非欧几里得几何，并提供了 Alt-Caffarelli-Friedman 单调性公式的定量形式，将不同尺度间的能量下降与函数接近互补半平面解的程度联系起来。

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 $Ω$ 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: \[ λ_1(Ω) - λ_1(B) \gtrsim |ΩΔB|^2 + \int |u_Ω - u_B|^2, \] where $B$ denotes the nearest geodesic ball to $Ω$ with $|B|=|Ω|$ and $u_Ω$ 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.

研究动机与目标

• 在单连通空间形式（包括欧几里得、双曲与球面几何）上建立 Faber-Krahn 不等式的精确定量稳定性估计。
• 通过 L1 对称差 |Ω∆B|² 与特征函数差的 L2 范数 ‖uΩ−uB‖² 量化域 Ω 与最近测地球 B 之间的距离。
• 将这些估计应用于推导 Alt-Caffarelli-Friedman 单调性公式的定量版本，将不同尺度间的能量下降与函数对接近互补半平面解的程度联系起来。
• 证明小的累积能量下降意味着自由边界问题解存在唯一切线（爆破）。
• 发展新的正则性与谱分析技术，特别是针对临界扰动的 Alt-Caffarelli 型泛函及球面与双曲空间上的隐式谱方法。

提出的方法

• 通过变分法与临界扰动 Alt-Caffarelli 泛函最小化器的新正则性理论相结合，证明精确的定量 Faber-Krahn 不等式。
• 利用 Kohler-Jobin 不等式比较第一特征值亏损 δ(Ω) = λ1(Ω)−λ1(B) 与抗弯刚度亏损，通过统一常数 C 建立二者等价性。
• 采用缩放与扰动方法将问题约化至近似球形集合，从而可通过能量下降估计分析 ACF 单调性公式。
• 在单位球面与双曲空间上应用隐式谱分析技术，此前在这些空间中尚无精确的定量结果。
• 利用共面积公式与测地球的等周性质控制特征函数的水平集，并推导稳定性估计。
• 建立特征值亏损与包含抗弯刚度的修正能量泛函之间的等价性，从而可应用紧致性与扰动论证。

实验结果

研究问题

• RQ1 在非欧几里得空间形式中，第一特征值差距 λ1(Ω)−λ1(B) 如何定量控制 L1 对称差 |Ω∆B|² 与特征函数间 L2 距离 ‖uΩ−uB‖²？
• RQ2 Alt-Caffarelli-Friedman 单调性公式能否被定量强化，以控制函数对接近互补半平面解的程度？
• RQ3 在稳定性估计 λ1(Ω)−λ1(B) ≳ |Ω∆B|² + ‖uΩ−uB‖² 中，最优幂次 α 为何值？为何 α=2 是最优的？
• RQ4 如何在曲率几何（如球面与双曲空间）中进行隐式谱分析，以推导精确的定量 Faber-Krahn 不等式？
• RQ5 在 ACF 公式中，何种条件下小的累积能量下降可推出自由边界问题解存在唯一切线（爆破）？

主要发现

• 本文建立了精确的定量 Faber-Krahn 不等式：对所有单连通空间形式中的有界开集 Ω，有 λ1(Ω)−λ1(B) ≳ c(|Ω∆B|² + ∫|uΩ−uB|²)，其中 c = c(n,v) 依赖于维数与体积。
• 对称差与特征函数距离中的二次幂次 α=2 是最优的，由法坐标系中椭球形扰动所证实。
• 在单位球面与双曲空间上，这是首次关于任意距离的精确定量结果，归功于新隐式谱分析技术的发展。
• 特征函数控制来自对临界扰动 Alt-Caffarelli 型泛函最小化器的新正则性结果，该结果在附录论文中建立。
• ACF 单调性公式中从一尺度到下一尺度的能量下降控制了与互补半平面解对的距离，且小的累积能量下降意味着唯一切线的存在。
• 通过 Kohler-Jobin 不等式，证明了特征值亏损 δ(Ω) 与修正能量泛函 ˆδ(Ω) = δ(Ω) + T(tor(Ω)−tor(B)) 之间的等价性，从而实现了在不同泛函间传递稳定性估计。