[论文解读] Killing graphs with prescribed mean curvature and Riemannian submersions

Marcos Dajczer, Jorge H. de Lira|ArXiv.org|Oct 9, 2007

Geometric Analysis and Curvature Flows参考文献 9被引用 5

一句话总结

该论文在黎曼纤维丛（其纤维为垂直左移向量场的流线）上建立了具有给定平均曲率的Killing图的解的存在性与唯一性。通过连续法与以Killing柱面为屏障的先验估计，证明了当紧致区域的边界为 $ C^{2,\bar{\alpha}} $ 时，若给定的平均曲率 $ H $ 的上界不超过边界上Killing柱面的内平均曲率，在里奇曲率与几何约束条件下，解存在。

ABSTRACT

It is proved the existence and uniqueness of graphs with prescribed mean curvature in Riemannian submersions fibered by flow lines of a vertical Killing vector field.

研究动机与目标

• 将常曲率与给定平均曲率（CMC）超曲面理论从对称或扭曲积空间推广至具有垂直左移向量场的黎曼纤维丛。
• 通过在法丛未必可积的环境空间中建立Killing图的Dirichlet问题，弥补CMC超曲面理论中缺乏具体例子的不足。
• 通过引入适用于广泛黎曼流形类的一般框架，统一并推广Heisenberg空间与奇维球面在复射影空间上的纤维丛结果。
• 通过连续法提供构造性存在性证明，依赖于先验估计以及初始极小图的存在作为起点。

提出的方法

• 在黎曼纤维丛 $ \pi: \bar{M}^{n+1} \to M^n $ 中建立Killing图的Dirichlet问题，其中纤维为非退化左移向量场 $ Y $ 的积分曲线，且图与垂直纤维横截相交。
• 引入适配坐标系与基本参考系，以局部坐标推导平均曲率方程，确保在这些坐标下环境度量保持不变。
• 使用Killing柱面 $ K = \pi^{-1}(\Gamma) $ 与 $ M_0 = \pi^{-1}(\bar{\Omega}) $ 作为屏障，推导解的先验高度与边界梯度估计。
• 对一维参数族方程 $ \mathcal{Q}_\sigma[u] = n\sigma H $ 应用连续法，从 $ \sigma = 0 $ 处的极小图解出发，其中 $ \sigma \in [0,1] $。
• 通过变分法中的直接法构造初始极小图，通过最小化泛函 $ \mathcal{I}(u) = \int_\Omega W(x, \nabla u) \sqrt{\sigma} \, dx $，依赖于初始浸入 $ \iota $ 的存在性。
• 通过通量型论证与边界最大值原理证明唯一性，表明具有相同平均曲率与边界数据的两个图必重合。

实验结果

研究问题

• RQ1 在具有垂直左移向量场的黎曼纤维丛中，具有给定平均曲率的Killing图在何种几何与分析条件下存在？
• RQ2 当法丛不可积、标准屏障方法失效时，如何为给定平均曲率方程的解建立先验估计？
• RQ3 在一般黎曼纤维丛中，即使初始极小图的存在性无法预先保证，连续法是否仍可成功应用于Killing图的Dirichlet问题？
• RQ4 在不可积分布的条件下，Killing柱面在提供高度与梯度估计的有效屏障方面起到何种作用？
• RQ5 该理论适用于哪些环境流形（如高维Heisenberg空间或复射影空间上的奇维球面）？其必要的几何假设是什么？

主要发现

• 若满足 $ \sup_\Omega |H| \leq \inf_\Gamma H_{\rm cyl} $，其中 $ H_{\rm cyl} $ 为Killing柱面 $ K = \pi^{-1}(\Gamma) $ 的内平均曲率，则Dirichlet问题在 $ u \in C^{2,\alpha}(\bar{\Omega}) $ 中存在唯一解，且 $ H \in C^\alpha(\bar{\Omega}) $。
• 若浸入 $ \iota: \bar{\Omega} \to \bar{M} $ 存在且与纤维横截相交，或若 $ M_0 $ 是测地完备的，并可使用光滑化测地锥作为屏障，则初始极小图的存在性可被保证。
• 当 $ M_0 $ 测地完备且 $ K $ 为平均凸时，即使不假设 $ \iota $ 存在，也可通过在 $ M_0 $ 中取顶点的光滑化测地锥构造初始极小图。
• 通过Killing柱面作为屏障，推导出 $ |\nabla u| $ 的先验 $ C^1 $ 估计，确保梯度在边界数据下一致有界。
• 通过通量公式与边界最大值原理证明唯一性，表明具有相同平均曲率与边界值的两个图必重合。
• 该理论适用于广泛类别的环境流形，包括高维Heisenberg空间与奇维球面在复射影空间上的纤维丛，前提是满足所述的曲率与几何约束。