Capillary $L_p$-curvature problem

1. 研究背景与问题定义

核心问题：
论文研究的是毛细管 $L_p$ 曲率问题（Capillary $L_p$-Curvature Problem）。具体而言，是在半空间 $\mathbb{R}^{n+1}_+$ 中寻找一个严格凸的毛细管超曲面 $\Sigma$，其边界 $\partial \Sigma$ 位于平面 $\partial \mathbb{R}^{n+1}_+$ 上，且与边界形成固定的接触角 $\theta \in (0, \pi/2)$。

数学表述：
目标是找到一个偶的、光滑的、严格凸的毛细管超曲面 $\Sigma$，使得其主曲率的第 $k$ 个初等对称函数 $S_k$ 满足以下方程：
$$\phi s^{p-1} S_k \circ \tilde{\nu}^{-1} = 1$$
其中：

• $\phi$ 是定义在球冠 $C_\theta$ 上的偶函数。
• $s$ 是毛细管支撑函数（capillary support function）。
• $\tilde{\nu}$ 是毛细管高斯映射。
• 参数范围：$1 < p < k + 1$，$1 \le k < n$。

研究动机与现状：

• 闭曲面情形： $p=1$ 的情况已由 Guan 和 Guan 解决；$p > k+1$ 和 $p=k+1$ 的情况也已有相关成果。
• 毛细管情形（带边界）： 近期工作（如 [MWW25e]）虽然解决了 $1 < p < k + 1$ 的情况，但存在一个额外的限制：接触角 $\theta$ 必须依赖于参数 $p$ 满足特定条件。
• 本文目标： 消除这一接触角限制，证明对于所有 $\theta \in (0, \pi/2)$，上述问题均存在解。

---

2. 核心方法论：新的梯度估计

论文的主要贡献在于建立了一个新的梯度估计（Gradient Estimate），这是解决 $C^0$ 和 $C^2$ 估计的关键。

2.1 辅助函数的构造

在之前的文献（如 [MWW25e]）中，为了获得梯度估计，通常使用辅助函数：
$$\Phi = \frac{|\nabla u|^2}{u^\gamma}, \quad \text{其中 } u = \frac{s}{\ell}$$
这里 $\ell$ 是模型球冠对应的支撑函数。然而，作者指出在毛细管情形下，这种选择会导致当 $1 < p < k + 1$ 时，必须对接触角 $\theta$ 施加依赖于 $p$ 的限制。

2.2 关键创新：引入权重 $\ell^{2-\gamma}$

本文发现，通过引入权重 $\ell^{2-\gamma}$，可以消除角度障碍。作者定义了新的辅助函数：
$$\Psi = \ell^{2-\gamma} \frac{|\nabla u|^2}{u^\gamma}$$
其中 $\gamma$ 是一个满足 $0 < \gamma < \frac{2(p-1)}{k}$ 的常数。

主要引理 (Lemma 3.1)：
对于偶的、光滑的、严格凸的解 $s$，存在常数 $C_0$ 使得：
$$\frac{|\nabla s|^2}{s^\gamma} \le C_0 \left( \max_{C_\theta} s \right)^{2-\gamma}$$
证明思路：

1. 假设 $\Psi$ 在点 $\xi_0$ 取得最大值。
2. 边界情况 ($\xi_0 \in \partial C_\theta$)： 利用边界条件 $\nabla_\mu s = \cot \theta s$ 和 $\ell$ 的性质，推导出矛盾（导数符号相反），证明最大值不可能在边界取得。
3. 内部情况 ($\xi_0 \in C_\theta \setminus \partial C_\theta$)： 计算 $\nabla \log \Psi$ 和 $\nabla^2 \log \Psi$。利用曲率方程 $F(\tau^\sharp[s]) = s^{p-1}\phi$ 及其导数，结合柯西 - 施瓦茨不等式和参数 $\gamma$ 的选取，推导出当最大值足够大时会导致矛盾。
4. 关键突破： 权重 $\ell^{2-\gamma}$ 的引入使得在估计过程中，原本导致角度限制的项被抵消或控制，从而允许 $\theta$ 取 $(0, \pi/2)$ 中的任意值。

---

3. 主要结果

3.1 存在性定理 (Theorem 1.1)

结论：
设 $\theta \in (0, \pi/2)$，$1 < p < k + 1$，$1 \le k < n$。若 $\phi \in C^\infty(C_\theta)$ 是正的偶函数，则存在一个偶的、光滑的、严格凸的毛细管超曲面 $\Sigma \subset \mathbb{R}^{n+1}_+$，满足给定的曲率方程。

证明路径：

1. 先验估计： 利用上述新的梯度估计，结合 Chou-Wang 的几何引理，同时获得解的 $C^0$ 估计（上下界）和 $C^2$ 估计。
2. 高阶正则性： 由 Lieberman 的结果获得更高阶正则性。
3. 存在性证明： 应用度理论框架（Degree-theoretic framework）结合唯一性结果，证明解的存在性。

3.2 对偶毛细管 $L_p$-Christoffel-Minkowski 问题的应用

论文还展示了该梯度估计可以直接应用于偶毛细管 $L_p$-Christoffel-Minkowski 问题（即 $S_k$ 替换为 $\sigma_k$，即主曲率半径的对称函数）。

• 定理 3.3： 证明了在该问题中，支撑函数 $s$ 具有一致的双边界（$C_1^{-1} \le s \le C_1$），且该界不依赖于额外的角度限制。

---

4. 技术细节与关键推导

• 参数选择： 证明中选取 $\gamma$ 满足 $0 < \gamma < \frac{2(p-1)}{k}$。这一范围确保了在推导不等式时，主导项的系数为正（例如 $2(p-1) - k\gamma > 0$），从而能够导出矛盾。
• 边界处理： 在边界 $\partial C_\theta$ 上，利用 $\nabla_\mu \log \Psi = -\gamma \cot \theta < 0$ 这一性质，直接排除了最大值在边界取得的可能性，这是处理毛细管问题特有的难点。
• 权重 $\ell$ 的作用： $\ell$ 是模型球冠的支撑函数，在边界处 $\ell$ 的行为与 $\theta$ 紧密相关。引入 $\ell^{2-\gamma}$ 使得辅助函数在边界附近的渐近行为与方程结构完美匹配，从而避免了 $p$ 与 $\theta$ 的耦合限制。

---

5. 意义与贡献

1. 消除角度限制： 这是本文最显著的贡献。之前的研究在 $1 < p < k + 1$ 范围内要求接触角 $\theta$ 必须足够小或满足特定条件。本文证明了对于任意接触角 $\theta \in (0, \pi/2)$，解均存在。
2. 通用性： 新的梯度估计方法不依赖于 $S_k$ 的特殊结构，仅利用其 $k$-齐次性。这意味着该方法可以推广到毛细管商曲率问题（capillary quotient curvature problems）以及其他相关的几何分析问题。
3. 方法论创新： 提出了通过加权辅助函数 $\Psi = \ell^{2-\gamma} |\nabla u|^2 / u^\gamma$ 来处理毛细管边界问题的新技巧，为后续研究带边界的非线性椭圆方程提供了新的工具。
4. 完善理论体系： 填补了毛细管 $L_p$ 曲率问题在参数 $1 < p < k + 1$ 且无角度限制情况下的理论空白，与闭曲面情形及大 $p$ 值情形共同构成了完整的理论图景。

总结

该论文通过构造一个巧妙的加权辅助函数，成功解决了毛细管 $L_p$ 曲率问题中关于接触角限制的长期难题。其核心在于利用新的梯度估计同时控制解的 $C^0$ 和 $C^2$ 范数，从而在没有任何额外角度约束的情况下，证明了偶、光滑、严格凸解的存在性。这一成果不仅推进了微分几何中曲率流和椭圆方程理论的发展，也为相关物理模型（如液滴形态）的数学分析提供了坚实基础。