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

技术摘要：高维长程隔离模型中的自由边界

问题陈述
本文研究了一个椭圆方程组中自由边界的正则性与结构，该方程组描述了 $K$ 个种群在有界 Lipschitz 区域 $\Omega \subset \mathbb{R}^n$ 内的长程隔离现象。该系统由拉普拉斯算子和一个小参数 $\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{在 } \Omega \text{ 内}, \\ u^\varepsilon_i = f_i & \text{在 } (\partial\Omega)_{\leq R} \text{ 上}, \\ u^\varepsilon_i \geq 0 & \text{在 } \Omega \cup (\partial\Omega)_{\leq R} \text{ 内}, \end{cases}$$
其中 $H_R$ 代表非局部相互作用项，定义为球 $B_R(x)$ 上的积分平均值或该球上的上确界。边界数据 $f_i$ 是非负的、Hölder 连续的，且其支集至少由距离 $R$ 分隔。

尽管解的存在性及其收敛到隔离极限构型 $(u_1, \dots, u_K)$ 已在先前的工作（Caffarelli, Patrizi, 和 Quitalo [6]）中确立，但在 $n > 2$ 维情形下自由边界的正则性仍是一个未解决的挑战。经典的自由边界技术（如单调性公式）不能直接应用于此类非局部系统。此外，用于二维情形（$n=2$）的几何工具（特别是渐近锥和角度）无法直接推广到高维情形。

方法论
作者通过重新定义用于刻画自由边界的几何概念，将分析从二维情形扩展至任意维度 $n \geq 2$。

1. 角度与锥的推广：在 $n=2$ 时，自由边界点处的“角度”是通过渐近锥的开口定义的。对于 $n > 2$，作者用闭半球在球 $B_R(x_0)$ 边界上的交集取代了锥的交集。点 $x_0$ 处的“角度”定义为：对应于竞争种群支集边界上距离为 $R$ 的所有点 $y$ 的这些半球的交集的归一化 $(n-1)$ 维 Hausdorff 测度。
2. 密度刻画：本文建立了几何“角度”与自由边界处种群支集的测度论密度之间的严格联系。具体而言，证明了密度 $\lim_{r \to 0} \frac{|B_r(x_0) \cap S_i|}{|B_r(x_0)|}$ 存在，且与定义的角度成正比。
3. 奇异点的分类：作者引入了对奇异点的分类，分为两类：
   • 第一类：距离 $R$ 实现于两个不同的竞争种群之间的点。
   • 第二类：距离 $R$ 实现于同一竞争种群的多个不同点（或不属于第一类的其他构型）之间的点。
4. 凸性分析：本文分析了种群支集为凸集的具体情况，利用支撑超平面和仿射反射的性质推导结构结果。

主要贡献与结果

• 正则点与奇异点的刻画（定理 4.5）：作者基于密度和角度，给出了任意维度下自由边界点的刻画。

  • 一个点是正则的，当且仅当角度达到最大值（$n\omega_n/2$，其中 $\omega_n$ 是单位球的体积）且密度恰好为 $1/2$。
  • 一个点是奇异的，当且仅当角度严格小于最大值且密度严格小于 $1/2$。
  • 这推广了 $n=2$ 的结果，其中正则点对应于角度 $\pi$ 和密度 $1/2$。

• 自由边界的结构（定理 5.7）：

  • 自由边界被分解为正则集 $\Gamma^i_{reg}$ 和奇异集 $\Gamma^i_{sin}$。
  • 正则集被证明是一个 $G_\delta$ 集，而奇异集是一个 $F_\sigma$ 集。
  • 关键在于，如果所有奇异点处的角度与最大值 $n\omega_n/2$ 保持有界距离（即不趋近于该值），则正则集在自由边界中是开的，并且局部上是维数为 $n-1$ 的 $C^1$ 流形。

• 凸构型结果（定理 5.14）：

  • 如果种群的支集是凸集，则奇异点必然是第一类。
  • 在此凸情形下，奇异点处的角度被 $n\omega_n/3$ 上界限制。
  • 因此，正则集是开的，并且局部由 $(n-1)$ 维超平面组成。自由边界从而形成有限个超平面（凸多面体）的结构。
  • 导出了一个对称性结果：如果来自不同种群的自由边界两点相距 $R$，则它们要么都是正则点，要么都是奇异点。此外，任意两个特定种群之间界面的 $(n-1)$ 维 Hausdorff 测度在两个方向上是相等的。

意义与主张
本文声称成功地将长程隔离模型的理论从二维扩展到了高维。其主要意义在于克服了 $n=2$ 情形下的几何局限性，在该情形中，技术严重依赖于平面锥和调和屏障的特定性质。通过引入基于半球交集 Hausdorff 测度的角度概念，作者为分析 $\mathbb{R}^n$ 中的自由边界提供了一个稳健的框架。

结果表明，在奇异点不趋近于“最大角度”阈值的条件下，自由边界保持了高度的正则性（开集且为 $C^1$）。此外，本文提供了凸构型的完整结构描述，表明它们退化为具有平坦界面的多面体结构。作者指出，虽然第二类奇异点集已知是一个 $F_\sigma$ 集，但在一般维度下该集是否闭仍是一个未决问题；这一细微差别将高维分析与更简单的二维情形区分开来，在二维情形中所有奇异点都是孤立的。