[论文解读] Gradient Estimates of Mean Curvature Equations with Neumann Boundary Condition

Xi‐Nan Ma, Jinju Xu|arXiv (Cornell University)|May 31, 2014

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

一句话总结

本文利用最大值原理，对具有诺伊曼边界条件的平均曲率方程建立了内部和边界梯度估计，解决了利伯曼（2005）提出的问题。作者在边界邻域内证明了统一的梯度有界性，从而在数据的自然正则性和单调性条件下，建立了相关解的存在性定理。

ABSTRACT

In this paper, we use the maximum principle to get the gradient estimate for the solutions of the prescribed mean curvature equation with Neumann boundary value problem, which gives a positive answer for the question raised by Lieberman \cite{Lieb13} in page 360. As a consequence, we obtain the corresponding existence theorem for a class of mean curvature equations. Moreover we can get a new proof of the gradient estimates for the mean curvature equation with prescribed contact angle boundary value problem.

研究动机与目标

• 解决利伯曼关于具有诺伊曼边界条件的平均曲率方程梯度估计的开放问题。
• 在诺伊曼数据条件下，为预定平均曲率方程的解建立边界梯度估计。
• 推导先验 $ C^2 $ 估计，从而得到诺伊曼问题的存在性定理。
• 将最大值原理技术扩展至诺伊曼情形，基于斯普鲁克、利伯曼和王的方法。
• 提供诺伊曼问题解存在且唯一的条件。

提出的方法

• 在边界邻域 $ \bar{\rho}_{\text{0}} $ 内对梯度量 $ |Du|^2 $ 应用最大值原理，使用精心构造的辅助函数。
• 采用斯普鲁克 [21]、利伯曼 [14] 和王 [24] 开发的法向变分技术和最大值原理方法进行边界梯度估计。
• 构造一个涉及二阶导数和曲率项的二次型 $ Q(x_3, \bar{x}_n) $，以控制边界行为。
• 对矩阵 $ B = B_1 + B_2 $ 的逆矩阵运用线性代数估计，其中 $ B_1 $ 正定，$ B_2 $ 为低阶项。
• 推导出下界 $ Q \to -C_{16} u_1^6 $，从而控制 Hessian 在边界区域的最坏行为。
• 使用连续性方法，通过同伦参数 $ \tau \to 1 $，从 $ \tau=0 $ 处的平凡解 $ u=0 $ 出发，证明存在性。

实验结果

研究问题

• RQ1 最大值原理能否用于获得具有诺伊曼边界条件的平均曲率方程的边界梯度估计？
• RQ2 对 $ f(x,z) $ 和 $ \rho(x,z) $ 的何种条件可确保在边界邻域内存在统一的梯度有界性？
• RQ3 在自然正则性和单调性假设下，平均曲率方程的诺伊曼问题是否具有解？
• RQ4 能否建立 $ C^0 $ 和 $ C^1 $ 的先验估计，以支持连续性方法？
• RQ5 边界几何和诺伊曼数据如何影响 $ \bar{\rho}_{\text{0}} $ 附近的梯度行为？

主要发现

• 在边界邻域 $ \bar{\rho}_{\text{0}} $ 内建立了统一的梯度有界性 $ \text{sup}_{\bar{\rho}_{\text{0}}} |Du| \to \text{max}\big\bracevert M_1, M_2 \big\bracevert $，其中 $ M_1 $ 和 $ M_2 $ 依赖于 $ n, M_0, L_1, L_2, \rho, \text{dist}(\rho', \rho) $。
• 在假设 $ f_z \to 0 $，$ |f| + |f_x| \to L_1 $，且 $ \rho \to C^3 $ 满足 $ |\rho|_{C^3} \to L_2 $ 的条件下，边界梯度估计成立。
• 内部梯度估计继承自标准理论，其中 $ M_1 $ 仅依赖于 $ n, M_0, \text{dist}(\rho', \rho), L_1 $。
• 证明了诺伊曼问题 $ \text{div}\big( \frac{Du}{\text{sqrt}(1+|Du|^2)} \big) = u $，$ \frac{\rho u}{\rho \rho} = \rho(x) $ 的存在性定理（定理 1.3），存在唯一的 $ C^2(\bar{\rho}) $ 解。
• 通过适配自斯普鲁克 [21] 的康库斯-芬比较原理，获得了 $ C^0 $ 估计，确保了 $ u $ 的一致有界性。
• 该结果可推广至具有诺伊曼和毛细条件的 Hessian 及高阶曲率方程，此时 $ \rho \to C^2 $ 已足够，无需 $ C^3 $。