[论文解读] On the Dirichlet problem for prescribed mean curvature equation over general domains

Matthias Bergner|ArXiv.org|Dec 6, 2007

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

一句话总结

该论文在不依赖平均凸性假设的前提下，建立了在一般有界 $ C^{2+\beta} $ 域上，关于 $ \mathbb{R}^{n+1} $ 中指定平均曲率图的狄利克雷问题的可解性。通过构造来自环面的屏障并结合 $ C^0 $ 与梯度估计的同伦方法，证明了在 $ H(x,0) $ 满足小量条件时，零边界数据下解的存在性与唯一性，将结果从平均凸区域推广至环形及凸区域。

ABSTRACT

We study and solve the Dirichlet problem for graphs of prescribed mean curvature in $\mathbb R^{n+1}$ over general domains $Ω$ without requiring a mean convexity assumption. By using pieces of nodoids as barriers we first give sufficient conditions for the solvability in case of zero boundary values. Applying a result by Schulz and Williams we can then also solve the Dirichlet problem for boundary values satisfying a Lipschitz condition.

研究动机与目标

• 在一般非平均凸区域上，求解 $ \mathbb{R}^{n+1} $ 中指定平均曲率图的狄利克雷问题。
• 放松通常对区域 $ \Omega $ 所要求的古典平均凸性假设，以实现可解性。
• 在较弱的几何与曲率条件下，建立零边界值解的存在性与唯一性。
• 提供 $ H(x,0) $ 的一个小量条件，以确保 $ C^0 $ 与边界梯度估计，从而支持使用 Leray-Schauder 方法。
• 通过屏障构造，将结果推广至凸区域及具有部分指定边界数据的区域。

提出的方法

• 利用环面的部分构造屏障，以控制解在边界附近的性质。
• 对参数 $ t \in [0,1] $ 的同伦方程族应用 Leray-Schauder 不动点定理。
• 通过小量条件 $ h < \frac{2(2r)^{n-1}}{(2r+d)^n - (2r)^n} $ 对指定平均曲率在零高度处的值，推导出全局 $ C^0 $-范数估计。
• 通过环面屏障建立边界梯度估计，依赖于条件 $ H_z \geq 0 $。
• 利用最大值原理，在假设 $ H_z \geq 0 $ 下证明唯一性。
• 通过取环形情形中半径 $ r \to \infty $ 的极限论证，推导出凸区域的推论 1。

实验结果

研究问题

• RQ1 能否在非平均凸区域上求解指定平均曲率图的狄利克雷问题？
• RQ2 对 $ H(x,0) $ 的何种小量条件可确保零边界值解的存在性？
• RQ3 当区域缺乏平均凸性时，如何构造指定平均曲率方程的有效屏障？
• RQ4 在何种条件下，假设 $ H_z \geq 0 $ 可同时保证解的存在性与唯一性？
• RQ5 结果能否推广至凸区域或具有部分指定边界数据的区域？

主要发现

• 若区域 $ \Omega $ 满足统一外球条件，且 $ \sup_{x \in \Omega} |H(x,0)| < \frac{2(2r)^{n-1}}{(2r+d)^n - (2r)^n} $，则指定平均曲率图的狄利克雷问题在 $ C^{2+\alpha}(\overline{\Omega}) $ 中存在唯一解。
• 对 $ H(x,0) $ 的小量条件具有明确的几何意义，依赖于环形区域的外半径 $ r $ 与宽度 $ d $，而不仅依赖于体积或直径。
• 对于宽度为 $ d $ 的凸区域，小量条件简化为 $ h < \frac{2}{nd} $，当外球半径 $ r \to \infty $ 时该条件是精确的。
• 条件 $ H_z \geq 0 $ 不仅对唯一性至关重要，也对通过屏障方法获得全局梯度估计至关重要。
• 该方法适用于非平均凸区域（如环形区域），并通过极限论证推广至凸区域。
• 结果可通过类似屏障技术推广至部分指定边界数据及各向异性平均曲率的情形。