An alternative solvability criterion for the Dirichlet problem for the minimal surface equation and an application to the mean curvature flow

1. 研究背景与问题 (Problem Statement)

核心问题：
研究黎曼流形 $M$ 上定义的区域 $\Omega$ 中，极小曲面方程（Minimal Surface Equation, MSE）的狄利克雷问题（Dirichlet Problem）的可解性。
方程形式为：
$$M(u) := (1 + |\nabla u|^2)\Delta u - \nabla^2 u(\nabla u, \nabla u) = 0$$
边界条件为 $u|_{\partial\Omega} = \phi$。

现有理论的局限性：

• 经典结果 (Jenkins-Serrin 理论)： 对于有界区域，若边界 $\partial\Omega$ 非平均凸（即存在点 $p$ 使得平均曲率 $H_{\partial\Omega}(p) < 0$），则狄利克雷问题对任意连续边界数据可解的充要条件是 $\partial\Omega$ 的平均凸部分为空。若存在非平均凸部分，则必须对边界数据 $\phi$ 的振荡（Oscillation, $\omega_\phi$）施加严格限制。
• 现有判据的缺陷： 经典的 Jenkins-Serrin 判据给出的振荡界限 $B$ 依赖于边界邻域的复杂几何量（如第二基本形式、距离函数等），且表达式极其复杂，难以显式验证。此外，该界限将几何约束与边界数据耦合在一起，难以分离处理。
• 未解决的问题： 对于非平均凸区域（甚至无界区域），是否存在更实用、几何意义更清晰的判据？该判据能否推广到平均曲率流（Mean Curvature Flow, MCF）的抛物型情形？

---

2. 方法论 (Methodology)

作者提出了一种基于二阶常微分方程 (ODE) 的替代方法，通过构造显式的边界屏障 (Boundary Barriers) 来解决问题。

2.1 几何设定与条件

• 外球条件 (Exterior Sphere Condition, r-es)： 定义 $\partial\Omega^-$ 为满足半径为 $r$ 的外切球条件的非平均凸边界部分。即在 $\partial\Omega^-$ 的每一点 $p$，存在一个位于 $\Omega$ 外部的测地球 $\Sigma_p$ 与 $\partial\Omega$ 相切。
• 局部 Hadamard r-es 条件： 在 Hadamard 流形或一般流形中，要求外切球 $\Sigma_p$ 及其附近的等距面 $\Sigma_{p,s}$ 具有特定的曲率行为（模仿 Hadamard 流形中的测地球性质），具体涉及 Hessian 矩阵 $\nabla^2 d_p$ 和平均曲率 $H_{\Sigma_{p,s}}$ 的上下界。

2.2 屏障构造 (Barrier Construction)

• 核心思想： 构造一个辅助函数 $w = \phi + \psi \circ d$，其中 $d$ 是到边界（或外切球）的距离函数，$\psi$ 是一个待定的标量函数。
• ODE 推导： 将 $w$ 代入极小曲面算子 $M(w) \leq 0$（作为上屏障）或 $M(w) \geq 0$（作为下屏障）的不等式中。利用 $\phi$ 的 $C^2$ 范数界限 $\tau$ 和几何参数（$\lambda_r, \mu_r$），推导出关于 $\psi$ 的二阶 ODE：
  $$\psi'' - \sigma \psi' + \varrho = 0$$
  其中 $\sigma, \varrho$ 是由 $\tau$、维数 $n$ 及几何参数决定的常数。
• 显式解： 求解该 ODE 得到显式的 $\psi(s)$ 形式（涉及指数函数），从而构造出满足 $M(w) \leq 0$ 的显式屏障函数。

2.3 抛物型推广

• 将上述椭圆型屏障构造直接应用于抛物型方程 $\partial_t u = M(u)$。
• 利用距离函数 $d(x)$ 在边界附近的性质（一阶和二阶导数在法向与外切球距离函数一致），证明相同的 ODE 构造的函数 $w_\pm = \phi \pm \psi(d)$ 可以作为抛物型问题的上下解（Sub/Super-solutions）。

---

3. 主要结果 (Key Results)

3.1 椭圆型问题：新的可解性判据 (Theorem 3 & Corollary 4)

• 定理 3： 给出了狄利克雷问题可解的充分条件。
  • 若 $\partial\Omega^- = \emptyset$（区域平均凸），则对任意连续数据可解。
  • 若 $\partial\Omega^- \neq \emptyset$ 且满足局部 Hadamard r-es 条件，则只要边界数据 $\phi$ 的振荡 $\omega_\phi$ 满足不等式 (17)：
    $$\omega \leq \frac{1}{\varrho(\theta-1)^2} \left[ \theta(1 - e^{-\varrho(\theta-1)\delta}) - \varrho(\theta-1)\delta \right]$$
    其中 $\theta$ 和 $\varrho$ 由 $\phi$ 的导数界限和几何参数决定，$\delta$ 是屏障的有效宽度。
• 推论 4 (Hadamard 流形情形)： 在 Hadamard 流形中，条件简化为不等式 (19)。
  • 关键优势： 该不等式将几何信息（$\lambda_r$，即非平均凸边界的平均曲率下界）与函数信息（$\phi$ 的振荡和导数）分离开来。左边仅依赖 $\phi$ 和流形参数，右边仅依赖 $\Omega$ 的几何。
  • 适用范围： 适用于无界区域（只要 $\tau < \infty$），且在某些 Jenkins-Serrin 条件失效的配置下（如示例 9 所示）依然有效。

3.2 抛物型问题：短时光存在性 (Theorem 10)

• 定理 10： 在满足上述椭圆型结构条件的情况下，图形平均曲率流 $\partial_t u = M(u)$ 在短时间 $T > 0$ 内存在经典解。
• 突破点：
  • 无需边界平均凸性： 即使 $\partial\Omega$ 不是平均凸的，只要满足新的结构条件，解在短时间 $T$ 内仍能保持为图形（Graph），不会发生垂直切线或奇点。
  • 独立性： 存在时间 $T$ 仅依赖于 $\phi$ 的导数界限和几何参数，与初始数据 $u_0$ 的具体选择无关。
  • 屏障作用： 构造的函数 $w_\pm$ 作为全局上下解，通过抛物极大值原理控制解的梯度，防止梯度爆炸。

---

4. 示例与对比 (Example & Comparison)

• 示例 9： 作者构造了一个 $\mathbb{R}^2$ 中的有界区域 $\Omega$ 和特定的边界数据 $\phi$。
  • Jenkins-Serrin 方法： 计算出的允许振荡界限 $B \approx 0.0072$，而实际振荡 $\omega \approx 0.17$，因此经典方法判定无解。
  • 本文方法： 计算出的允许界限约为 $0.43$。由于$0.17 < 0.43$，本文方法判定有解。
  • 结论： 本文提出的判据比经典的 Jenkins-Serrin 判据更宽松，适用范围更广。

---

5. 意义与贡献 (Significance)

1. 理论创新： 提出了一种基于二阶 ODE 的屏障构造新方法，替代了传统复杂的几何估计。这种方法不仅适用于有界区域，也自然地推广到无界区域。
2. 解耦几何与数据： 在 Hadamard 流形情形下，成功将区域几何约束（曲率）与边界数据（振荡）在判据中解耦，使得物理意义更加清晰，便于实际应用和验证。
3. 统一椭圆与抛物理论： 揭示了极小曲面方程（椭圆）与平均曲率流（抛物）在边界控制上的深层联系。同一个 ODE 构造的屏障同时解决了椭圆问题的存在性和抛物问题的短时存在性。
4. 放宽几何限制： 打破了“非平均凸边界必须依赖复杂振荡界限”的传统认知，证明了在更广泛的几何配置下，只要满足特定的结构条件，狄利克雷问题和平均曲率流依然可解。
5. 应用价值： 为处理非凸区域上的几何演化方程提供了新的工具，特别是在计算机图形学、材料科学等涉及非凸边界表面演化的领域具有潜在应用价值。

总结： 该论文通过引入基于 ODE 的显式屏障构造，建立了一个比经典 Jenkins-Serrin 理论更通用、更实用的狄利克雷问题可解性判据，并成功将其应用于证明非平均凸边界上图形平均曲率流的短时存在性，填补了椭圆理论与抛物理论在边界控制方面的空白。