The Free Boundary in a Higher-Dimensional Long-Range Segregation Model

技術的概要：高次元長距離分離モデルにおける自由境界

問題の定義
本論文は、有界リプシッツ領域 $\Omega \subset \mathbb{R}^n$ 内における $K$ 個の集団の長距離分離をモデル化する楕円型方程式系において、自由境界の正則性と構造を調査する。この系はラプラシアンと、競争の強さを表す小さなパラメータ $\varepsilon > 0$ によって支配される。$\varepsilon \to 0$ となるにつれて、集団は分離し、すなわちそれらの支集は互いに素となり、距離 $R$ によって隔てられる。

検討対象とする具体的な系は以下の通りである：
$$\begin{cases} \Delta u^\varepsilon_i = \frac{1}{\varepsilon^2} u^\varepsilon_i \sum_{j \neq i} H_R(u^\varepsilon_j)(x) & \text{in } \Omega, \\ u^\varepsilon_i = f_i & \text{on } (\partial\Omega)_{\leq R}, \\ u^\varepsilon_i \geq 0 & \text{in } \Omega \cup (\partial\Omega)_{\leq R}, \end{cases}$$
ここで、$H_R$ は非局所的相互作用項を表し、球 $B_R(x)$ 上の積分平均またはその球上の上限として定義される。境界データ $f_i$ は非負で、ホルダー連続であり、その支集は少なくとも距離 $R$ だけ隔てられている。

解の存在とそれらが分離した極限配置 $(u_1, \dots, u_K)$ への収束は先行研究（Caffarelli, Patrizi, および Quitalo [6]）によって確立されたが、$n > 2$ 次元における自由境界の正則性は未解決の課題であった。単調性公式などの古典的な自由境界の手法は、この非局所的系には直接適用できない。さらに、2 次元の場合（$n=2$）に用いられた幾何学的道具、すなわち漸近円錐と角度は、高次元へは単純に一般化されない。

手法
著者らは、自由境界を特徴づけるために用いられる幾何学的概念を再定義することにより、2 次元の場合からの解析を任意の次元 $n \geq 2$ へ拡張する。

1. 角度と円錐の一般化: $n=2$ において、自由境界点における「角度」は漸近円錐の開きによって定義される。$n > 2$ に対しては、著者らは円錐の交わりを、球 $B_R(x_0)$ の境界上の閉半球の交わりに置き換える。点 $x_0$ における「角度」は、距離 $R$ における競合する集団の支集の境界上のすべての点 $y$ に対応するこれらの半球の交わりに対応する、正規化された $(n-1)$ 次元ハウスドルフ測度として定義される。
2. 密度による特徴付け: 本論文は、幾何学的な「角度」と自由境界における集団の支集の測度論的密度との間に厳密な関連を確立する。具体的には、密度 $\lim_{r \to 0} \frac{|B_r(x_0) \cap S_i|}{|B_r(x_0)|}$ の存在を証明し、それが定義された角度に比例することを示す。
3. 特異点の分類: 著者らは、特異点を 2 種類に分類する導入を行う：
   • タイプ 1: 距離 $R$ が 2 つの異なる競合集団に対して実現される点。
   • タイプ 2: 距離 $R$ が同じ競合集団に対して複数の異なる点（またはタイプ 1 に当てはまらない他の構成）において実現される点。
4. 凸性の解析: 本論文は、集団の支集が凸集合である特定のケースを解析し、支持超平面とアフィン反射の性質を利用して構造的な結果を導出する。

主要な貢献と結果

• 正則点と特異点の特徴付け（定理 4.5）: 著者らは、密度と角度に基づき、任意の次元における自由境界点を特徴づける。

  • 点が正則であるための必要十分条件は、角度が最大値（$n\omega_n/2$、ここで $\omega_n$ は単位球の体積）であり、かつ密度が正確に $1/2$ であることである。
  • 点が特異であるための必要十分条件は、角度が最大値より厳密に小さく、かつ密度が $1/2$ より厳密に小さいことである。
  • これは、正則点が角度 $\pi$ と密度 $1/2$ に対応する $n=2$ の結果を一般化したものである。

• 自由境界の構造（定理 5.7）:

  • 自由境界は正則集合 $\Gamma^i_{reg}$ と特異集合 $\Gamma^i_{sin}$ に分解される。
  • 正則集合は $G_\delta$ 集合であることが示され、一方、特異集合は $F_\sigma$ 集合である。
  • 決定的なことに、すべての特異点における角度が最大値 $n\omega_n/2$ から離れて有界である場合、正則集合は自由境界において開集合であり、局所的に次元 $n-1$ の $C^1$ 多様体となる。

• 凸配置に関する結果（定理 5.14）:

  • 集団の支集が凸である場合、特異点は必然的にタイプ 1 である。
  • この凸の場合、特異点における角度は $n\omega_n/3$ によって上方から抑えられる。
  • したがって、正則集合は開集合であり、局所的に $(n-1)$ 次元の超平面からなる。自由境界は、したがって、有限個の超平面（凸多面体）の構造を形成する。
  • 対称性に関する結果が導出される：異なる集団からの 2 つの自由境界点が距離 $R$ にある場合、それらはどちらも正則であるか、どちらも特異であるかのどちらかである。さらに、任意の 2 つの特定の集団間の界面の $(n-1)$ 次元ハウスドルフ測度は、どちらの方向においても等しい。

意義と主張
本論文は、長距離分離モデルの理論を 2 次元から高次元へ成功裡に拡張したと主張する。その主な意義は、$n=2$ の場合の幾何学的限界を克服することにある。$n=2$ の場合の手法は、平面円錐と調和障壁の特定の性質に大きく依存していた。半球の交わりによるハウスドルフ測度としての角度の概念を導入することにより、著者らは $\mathbb{R}^n$ における自由境界を解析するための堅牢な枠組みを提供する。

結果は、特異点が「最大角度」の閾値に近づかないという条件下では、自由境界が高度な正則性（開集合かつ $C^1$）を保持することを確立する。さらに、本論文は凸配置に対する完全な構造記述を提供し、それらが平坦な界面を持つ多面体構造へと退化することを示す。著者らは、タイプ 2 の特異点の集合が $F_\sigma$ 集合であることは知られているが、一般の次元においてこの集合が閉集合であるかどうかは未解決の問題であり、このニュアンスが、すべての特異点が孤立しているより単純な 2 次元の場合と高次元の解析を区別すると指摘している。