[論文レビュー] 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

ひとこと要約

本稿は、単連結な空間形式（ユークリッド空間、双曲空間、球面）における鋭い定量的ファーベル＝クラーン不等式を確立し、集合 Ω と同一体積の測地線球 B 間の第一ディリクレ固有値の差が、L1 対称差分 |Ω∆B|² およびそれらの第一固有関数間の L2 距離を制御することを証明している。この結果は、非ユークリッド的設定への既存の研究を拡張し、エネルギーのスケール間低下と半平面解への関数の近接度を結びつける定量的アールト＝カファレリ＝フリードマン単調性公式の形をとる。

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.

研究の動機と目的

• 単連結な空間形式（ユークリッド、双曲、球面幾何）におけるファーベル＝クラーン不等式の鋭い定量的安定性推定を確立すること。
• L1 対称差分 |Ω∆B|² および固有関数差の L2 ノルム ‖uΩ−uB‖² を用いた、領域 Ω と最近接の測地線球 B 間の距離を定量化すること。
• これらの推定を応用し、エネルギーのスケール間低下と補完的半平面解への関数の近接度を結びつける定量的アールト＝カファレリ＝フリードマン単調性公式のバージョンを導出すること。
• 小さな累積エネルギー低下が、自由境界問題の解に対して一意な接線（ブルームアップ）の存在を示すこと。
• 特に、臨界的摂動を受けるアールト＝カファレリ型汎関数および球面・双曲空間における暗黙的スペクトル解析法を用いた、新たな正則性およびスペクトル解析技法の開発

提案手法

• 摂動されたアールト＝カファレリ汎関数の最小化子に関する新規正則性理論と変分法を組み合わせることで、鋭い定量的ファーベル＝クラーン不等式を証明する。
• コーラー＝ジョビン不等式を用い、第一固有値欠損 δ(Ω) = λ1(Ω)−λ1(B) とねじり剛性欠損を比較し、一様定数 C を用いてそれらの等価性を確立する。
• スケーリングおよび摂動の議論を用いて問題をほぼ球形集合に還元し、ACF 単調性公式がエネルギー低下推定を用いて解析可能になるようにする。
• 球面および双曲空間における暗黙的スペクトル解析技法を用い、ここに至るまで鋭い定量的結果が得られていなかった分野をカバーする。
• コアレア公式および測地線球の等周的性質を活用し、固有関数の等高線集合を制御し、安定性推定を導出する。
• 固有値欠損とねじり剛性を含む修正エネルギー汎関数の間の等価性を確立し、コンパクト性および摂動の議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 第一固有値の差 λ1(Ω)−λ1(B) は、非ユークリッド的空間形式において、L1 対称差分 |Ω∆B|² および固有関数間の L2 距離 ‖uΩ−uB‖² をどのように定量的に制御するか？
• RQ2 アールト＝カファレリ＝フリードマン単調性公式は、関数対が補完的半平面解に近いかどうかを制御するために、定量的に強化可能か？
• RQ3 安定性推定 λ1(Ω)−λ1(B) ≳ |Ω∆B|² + ‖uΩ−uB‖² の最適な指数 α は何か？なぜ α=2 が鋭いか？
• RQ4 球面や双曲空間といった曲がった幾何において、どのように暗黙的スペクトル解析を実施し、定量的ファーベル＝クラーン不等式を導出できるか？
• RQ5 ACF 公式における小さな累積エネルギー低下は、自由境界問題の解に対して一意な接線（ブルームアップ）の存在を示すために、どのような条件下で成立するか？

主な発見

• 本稿は鋭い定量的ファーベル＝クラーン不等式を確立した：すべての単連結空間形式における有界な開集合 Ω に対して λ1(Ω)−λ1(B) ≳ c(|Ω∆B|² + ∫|uΩ−uB|²) が成り立ち、c = c(n,v) は次元と体積に依存する。
• 対称差分および固有関数距離における2次指数 α=2 が最適であることが、通常座標における楕円体摂動によって示された。
• 球面および双曲空間では、本稿が、任意の距離に関して初めての鋭い定量的結果をもたらした。これは、新規の暗黙的スペクトル解析技法の開発のおかげである。
• 固有関数の制御は、臨界的摂動を受けるアールト＝カファレリ型汎関数の最小化子に関する新規正則性結果から導出され、これらは別紙で確立された。
• ACF 単調性公式における1スケールから次のスケールへのエネルギー低下は、補完的半平面解への距離を制御し、小さな累積エネルギー低下は一意な接線の存在を示す。
• 固有値欠損 δ(Ω) と修正エネルギー汎関数 ˆδ(Ω) = δ(Ω) + T(tor(Ω)−tor(B)) の間の等価性が、コーラー＝ジョビン不等式により示され、安定性推定の汎関数間の移行が可能になった。