[论文解读] A note on starshaped compact hypersurfaces with a prescribed scalar curvature in space forms

Joel Spruck, Ling Xiao|arXiv (Cornell University)|May 7, 2015

Geometric Analysis and Curvature Flows参考文献 4被引用 7

一句话总结

本文为严格星形、2-凸超曲面在空间形式（欧几里得、球面和双曲空间）中具有预设数量曲率的先验 $C^2$ 估计提供了一种简化且扩展的证明。通过支撑函数方法与最大值原理技术，作者在自然的几何与分析条件下建立了统一的曲率有界性，从而证明了在这些空间几何中，数量曲率设定问题存在唯一的 $C^{3,\bar{\beta}}$ 解。

ABSTRACT

In [7], Guan, Ren and Wang obtained a $C^2$ a priori estimate for admissible 2-convex hypersurfaces satisfying the Weingarten curvature equation $σ_2(κ(X))=f(X, ν(X)).$ In this note, we give a simpler proof of this result, and extend it to space forms.

研究动机与目标

• 简化并扩展顾、任、王最初在欧几里得空间中建立的关于2-凸星形超曲面上数量曲率设定问题的 $C^2$ 先验估计。
• 将结果从欧几里得空间推广至所有空间形式，包括球面（$K=1$）与双曲空间（$K=-1$）。
• 在自然几何约束下建立统一的曲率有界性：有界径向距离、有界梯度，以及预设曲率函数的光滑性。
• 通过连续性方法证明在空间形式中数量曲率方程存在唯一的 $C^{3,\bar{\beta}}$ 解。

提出的方法

• 利用支撑函数 $u = \langle \nabla_\rho \rho \rangle$ 与函数 $\rho$ 作为空间形式中度量 $ds^2 = d\rho^2 + \rho^2 dz^2$ 下的径向图参数。
• 对量 $e^{\beta \tilde{\rho}} \frac{\tilde{\rho}_{\text{max}}}{u - a}$ 应用最大值原理，以控制最大主曲率。
• 利用高斯与Codazzi方程，关联第二基本形式的协变导数与超曲面的度量结构。
• 通过空间形式中的度量与联络公式，推导出 $u$ 与 $h_{ij}$ 的演化方程，特别涉及 $\nabla \tilde{\rho}$ 与 $\tilde{\rho}_{ij}$。
• 引入测试函数 $h = -\nabla u + \tilde{\rho}(\rho)$，其中 $\tilde{\rho} = \frac{\bar{\rho}}{t}$，以控制支撑函数的下界。
• 施加单调性条件 $\frac{d}{d\rho}(\phi^k \psi) \leq 0$，以通过反证法确保 $u$ 存在统一的下界。

实验结果

研究问题

• RQ1 能否简化并扩展关于2-凸星形超曲面上数量曲率设定问题的 $C^2$ 先验估计，使其超越欧几里得空间？
• RQ2 空间形式中数量曲率方程解的存在性是否依赖于环境曲率 $K = -1, 0, 1$？
• RQ3 哪些几何与分析条件可确保空间形式中径向图的统一曲率有界性？
• RQ4 预设曲率对法向量 $\nu$ 的依赖性如何影响问题的正则性与可解性？
• RQ5 在相同条件下，是否可使用连续性方法建立 $C^{3,\bar{\beta}}$ 解的存在性？

主要发现

• 为顾、任、王在欧几里得空间中关于数量曲率方程的 $C^2$ 先验估计提供了简化证明。
• 将结果推广至所有空间形式：$\mathbb{R}^{n+1}$（$K=0$）、$\mathbb{S}^{n+1}$（$K=1$）与 $\mathbb{H}^{n+1}$（$K=-1$）。
• 在假设 $0 < R_1 \leq \rho \leq R_2 < a$、$|\rho|_{C^1} \leq R_3$ 与 $\bar{\psi} \in C^2$ 下，建立了统一的曲率有界性，且该有界性仅依赖于 $n$、$R_1$、$R_2$、$R_3$ 与 $|\bar{\psi}|_{C^2}$。
• 关键技术步骤是通过在精心选择的测试函数上使用最大值原理论证，证明支撑函数 $u = \langle V, \nu \rangle$ 存在统一的下界。
• 单调性条件 $\frac{d}{d\rho}(\phi^k \psi) \leq 0$ 确保了解的存在性，且在证明的反证法中至关重要。
• 在所述条件下，通过连续性方法证明了数量曲率方程存在唯一的 $C^{3,\bar{\beta}}$ 解。