[論文レビュー] Stable $s$-minimal cones in $\mathbb{R}^3$ are flat for $s\sim 1$

Xavier Cabré, Eleonora Cinti+1 more|arXiv (Cornell University)|Oct 24, 2017

Nonlinear Partial Differential Equations参考文献 11被引用数 3

ひとこと要約

本稿は、$ℝ^3$ において、$s$ が 1 に十分近いとき、唯一の安定な $s$-最小錐は半空間であることを証明し、次元が 2 より大きい場合における安定な非局所的最小錐の最初の分類結果を確立した。証明は、非局所的第二基本形式を含む幾何学的第二変動公式と鋭い BV 評価に依拠しており、$s=1$ の極限におけるコンパクトネスの議論を避けるために、$s$ が 1 に近い場合の明示的な定量的評価を与える。

ABSTRACT

We prove that half spaces are the only stable nonlocal $s$-minimal cones in $\mathbb{R}^3$, for $s\in(0,1)$ sufficiently close to $1$. This is the first classification result of stable $s$-minimal cones in dimension higher than two. Its proof can not rely on a compactness argument perturbing from $s=1$. In fact, our proof gives a quantifiable value for the required closeness of $s$ to $1$. We use the geometric formula for the second variation of the fractional $s$-perimeter, which involves a squared nonlocal second fundamental form, as well as the recent BV estimates for stable nonlocal minimal sets.

研究の動機と目的

• $s$ が 1 に十分近いとき、$ℝ^3$ における安定な $s$-最小錐を分類すること。これは、既知の $s=1$ および $n=2$ の結果を高次元に拡張することを目的とする。
• 非局所的設定においてコンパクトネスの議論が失敗する問題を克服すること。$s_k \uparrow 1$ となる安定錐の列は、$S^2$ 上での境界長の無限大への発散により、収束しない可能性があるためである。
• 安定な $s$-最小錐が平坦であることを保証する $s$ が 1 に近い場合の定量的閾値を確立すること。これは、古典的状況に依存しない非摂動的証明を提供する。
• 安定な非局所的最小集合に対する最近の鋭い BV およびエネルギー評価を応用し、$s$-最小錐の境界の幾何を制御すること。

提案手法

• 分数階 $s$-境界長の幾何学的第二変動公式を用い、非局所的第二基本形式の二乗を含むものを利用して、$s$-最小錐の安定性を分析する。
• 安定な非局所的最小集合に対する鋭い $BV$ およびエネルギー評価を適用し、$\Sigma$ の境界の全 variation と正則性を制御する。
• 単位球面 $S^2$ 上での $\partial\Sigma$ のトレースを、有限個の $C^1$ 曲線 $\gamma_i$（長さ $L_i$）に分解し、第二変動を用いて、法線ベクトルの差と核 $k_s(\hat{x},\hat{y}) = |\hat{x}-\hat{y}|^{-2-s}$ を含む重要な不等式を導出する。
• トレースに複数の曲線が存在すると仮定する背理法を用いる。$J>1$ であれば、異なる曲線同士のペアについて、$|\nu_\Sigma(\hat{x}) - \nu_\Sigma(\hat{y})|^2 k_s(\hat{x},\hat{y})$ の重み付き積分の和が、$s$ が 1 に近いとき $C^1$-正則性および $C^{1/4}$-近さの制約に反する下界をもたらす。
• フォリエーションの議論と粘性解理論を用いて、境界がリプシッツ的グラフであれば、それは $C^\infty$ であり、したがって平面であることを示し、これにより $\Sigma$ が半空間であることが導かれる。
• 精密化された $L^2$-型評価と非局所核を用いて、特に反対または同一の向きを持つ曲線が近接している場合に、複数の曲線が存在するときの矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 $s$ が 1 に十分近いとき、$\mathbb{R}^3$ における安定な $s$-最小錐は半空間以外に存在しないのか、古典的 $s=1$ の場合を越えて成り立つか？
• RQ2 $s=1$ の極限からのコンパクトネスの議論に依存せずに、$\mathbb{R}^3$ における安定な $s$-最小錐の分類を達成できるか？
• RQ3 安定な $s$-最小錐が平坦であることを保証する、$s$ が 1 に近い場合の定量的閾値は何か？
• RQ4 非局所的第二変動公式、特に非局所的第二基本形式を含むものによって、$s$-最小錐の幾何はどのように制約を受けるか？
• RQ5 安定な非局所的最小集合に対する鋭い $BV$ 評価は、$\mathbb{R}^3$ における非平坦な配置を除外するために用いることができるか？

主な発見

• $s$ が 1 に十分近いとき、$\mathbb{R}^3$ における唯一の安定な $s$-最小錐は半空間であり、次元 $n > 2$ における最初の分類結果を確立した。
• $s$ が 1 に近い必要十分条件は定量的に定められる。証明により、ある普遍定数 $C$ が存在し、$s > 1 - \delta$（$ abla > 0$ に依存する $ abla$）であれば、半空間のみが安定であることが保証される。
• 証明は $s=1$ におけるコンパクトネスの議論に依存しない。$s_k \uparrow 1$ となる安定錐の列は、$S^2$ 上での境界長の無限大への発散により、相対的にコンパクトでない可能性がある。
• $s$-境界長の第二変動公式は、非局所的第二基本形式の二乗を含み、これが解析の中心的役割を果たす。複数の曲線が球面トレースに存在する場合には、この式が矛盾を引き起こす。
• 境界がリプシッツ的グラフであれば、それは $C^\infty$ であり、したがって超平面である。これにより、錐 $\Sigma$ は半空間である。
• トレースに複数の曲線が存在すると仮定すると、矛盾が生じる。反対向きの曲線、または間に第三の曲線がある同一向きの曲線のペアでは、第二変動の下界が得られ、$s$ が 1 に近いときの安定性不等式に反する。