Existence and nonexistence results for a nonlocal isoperimetric problem on $\mathbb{H}^n$

技術的要約：$\mathbb{H}^n$ における非局所等周問題の存在および非存在に関する結果

問題設定
本論文は、双曲空間 $\mathbb{H}^n$ ($n \ge 2$) における非局所的な等周汎関数（isoperimetric functional）の最小化について調査するものである。可測集合 $F \subset \mathbb{H}^n$ に対して、エネルギー汎関数は以下のように定義される：
$$E(F) = P(F) + \gamma NL_\alpha(F)$$
ここで、$P(F)$ は De Giorgi の意味での周（perimeter）であり、$\gamma > 0$ は定数である。また、非局所項は次のように与えられる：
$$NL_\alpha(F) = \int_{\mathbb{H}^n} \int_{\mathbb{H}^n} \frac{\chi_F(x)\chi_F(y)}{d_g(x, y)^\alpha} dV_g(x) dV_g(y)$$
ただし、$0 < \alpha < n$ である。著者らは、固定された体積 $m$ に対する最小化問題 $E(m) = \inf \{ E(F) : |F|_g = m \}$ を研究している。

この問題は、原子核の Gamow の液滴モデル（$\mathbb{R}^n$ において $\alpha=1$）をモデル化した、ユークリッド空間 $\mathbb{R}^n$ における類似の問題に動機付けられている。$\mathbb{R}^n$ では、周の項はコンパクトな形状（球）を好む一方で、非局所項は分散を好むことが知られている。その結果、小体積では極小値が存在すると予想されるが、大体積では、単一の球のエネルギーが、体積が半分になった2つの離れた球のエネルギーを上回るため、極小値が存在しなくなる。本論文は、双曲的な設定においても同様の存在および非存在の領域が成立するかどうかを明らかにすることを目的としている。

手法および準備
著者らは主に、計量 $g = x_n^{-2} \delta$ を備えた上半空間モデル $U_n$ を用いて作業を進める。分析における中心的なツールは、垂直座標をスケーリングする $\Phi_\lambda$-変換である：$\Phi_\lambda(x_1, \dots, x_n) = (x_1, \dots, \lambda x_n)$。ユークリッド的なスケーリングとは異なり、この変換を用いることで、周と非局所項の歪みを制御しながら、集合の体積を所定の値に調整することが可能となる。

主要な技術的構成要素は以下の通りである：

1. 準極小値（Quasiminimizers）: 著者らは、制約付き問題の任意の極小値が、周に関する $(\omega, r_0)$-極小値であることを確立している。これにより、計量空間における有限周の集合の正則理論の適用が可能となる。
2. 等周不等式: 著者らは、$\mathbb{H}^n$ における相対的等周不等式、および（特に Bögelein, Duzaar, Scheven の結果を引用した）ユークリッド的な結果から適応させた定量的等周不等式（Fraenkel 非対称性）を利用している。
3. Fuglede 型の推定: 著者らは、「ほぼ球に近い」集合（境界が測地線球上の $C^1$ 摂動である径方向グラフである集合）に対する周と非局所項の推定値を導出している。これらの推定値は、小体積領域において球が唯一の極小値であることを証明するために不可欠である。
4. 補間推定: 非存在の結果については、Knüpfer と Muratov による $\mathbb{R}^n$ での研究から適応させた、$L^2$ ノルム、勾配、および非局所的相互作用項を関連付ける補間不等式を導出している。

主要な結果

1. 小体積における存在性と一意性
本論文は、体積が十分に小さい場合、測地線球が唯一の極小値であることを証明している。

• 定理 1.2: すべての $n \ge 2, 0 < \alpha < n, \gamma > 0$ に対して、ある定数 $m_1 > 0$（$n, \alpha, \gamma$ に依存する）が存在し、$0 < m \le m_1$ であるとき、$E(m)$ の一意な極小値は測地線球である。
• 証明戦略: 証明には、体積が小さいとき、任意の極小値がある特定の半径を持つ測地線球内に含まれなければならないことを示すプロセスが含まれる。この包含関係を、準極小値の性質および Fuglede 型の推定と組み合わせることで、極小値の境界は球に近い径方向グラフでなければならないことを示す。エネルギー汎関数の二次の展開を用いた矛盾による議論により、摂動がゼロであることが強制され、その結果、集合は測地線球となる。
• 注記: 著者らは、$m_1$ の明示的な下限を与えることは依然として未解決の問題であることを明記しているが、$\alpha$ と $\gamma$ に関する特定の制約の下では、$m_1$ を $n$ のみに依存するように選べる可能性があると述べている。

2. 大体積における非存在
本論文は、指数 $\alpha$ が 2 未満である場合、体積が十分に大きいときには極小値が存在しないことを確立している。

• 定理 1.3: すべての $n \ge 2, 0 < \alpha < 2, \gamma > 0$ に対して、ある定数 $m_2 > 0$ が存在し、$m \ge m_2$ であるとき、最小化問題は解を持たない。
• 証明戦略: 著者らは、大きな距離 $R$ だけ離れた2つの集合からなるテスト構成を構築している。彼らは、大体積において、この分割された構成のエネルギーが、単一の連結集合のエネルギーよりも厳密に低いことを示す。証明は、潜在的な極小値の本質的閉包の直径を制御すること、および $\alpha < 2$ である場合に、集合を分割することによるエネルギーの利得（非局所項の減少）が周のコストを上回ることを示すことに依拠している。
• 限界: 著者らは、$\alpha = 2$ の場合への拡張は困難であると述べている（具体的には、Frank と Nam の $\mathbb{R}^n$ における研究の補題 7 に類似した推定値を得ることの難しさによる）。

3. 極小値の基本特性
存在を証明する前に、本論文は、いかなる潜在的な極小値 $E$ に対しても以下の基本特性を確立している：

• 正則性: 縮小境界 $\partial^* E$ は $C^{1, 1/2}$ 多様体である。
• 本質的な有界性と非分解性: 極小値は本質的に有界であり、かつ非分解的（正の測度を持つ2つの互いに素な集合に分割すると周が増加する）である。
• 一様な密度: 一様な下密度境界が確立されており、集合が任意に細い「スパイク」を持ったり、局所的に消失したりしないことが保証されている。

意義および主張
本論文は、非局所的な等周問題に関する広範な研究を、ユークリッド空間から双曲空間へと拡張したものである。その意義は、スケーリングの議論および安定性の推定を非ユークリッド幾何学に適応させた点にある。

• $\mathbb{R}^n$ との比較: 双曲空間 $\mathbb{R}^n$ では、球をスケーリングしても別の球にはならないという性質（標準的なスケーリング不変性の欠如）があるため、$\Phi_\lambda$-変換の使用が必要となる。この変換は、必要なコンパクト性と正則性を回復させるのに十分であることが示されている。
• 未解決問題: 著者らは、臨界体積 $m^*$（ユークリッドの場合と同様に、球が大域的極小値でなくなる点）が明示的に計算されていないことを謙虚に認めている。さらに、非存在の結果は現在 $\alpha < 2$ に限定されており、$\alpha \ge 2$ のケースは未解決のままである。
• 今後の展望: 著者らは、測地線球の局所的な極小性を与えるための、汎関数の一次および二次の変分を計算することが、Chodosh と Ruohoniemi 等によるユークリッド文献に見られるような定量的結果を導き出すための、後続の研究の目標であると述べている。

要約すると、本論文は、局所的な周と非局所的な反発力の間の競合が、ユークリッドの場合と同様の相転移を生み出すこと、すなわち、測地線球は小体積では安定した極小値であるが、大体積では系が不安定になり、極小値の存在を妨げることを、双曲空間において成功裏に示したものである。