[论文解读] On the $σ_{k}$-Nirenberg problem

Yanyan Li, Luc Nguyen+1 more|arXiv (Cornell University)|Aug 19, 2020

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

一句话总结

本文在 $n \geq 3$ 时建立了 $n$-维球面 $\mathbb{S}^n$ 上 $\sigma_k$-Nirenberg 问题的存在性与紧致性结果，其中 $k \geq n/2$，证明了在预设曲率函数 $K$ 满足非退化条件时，完全非线性曲率方程的解存在，并且在 $C^2$ 范数下保持一致有界。关键贡献在于通过爆破分析与改进的衰减估计，推导出共形因子对数的精确 $C^2$ 估计。

ABSTRACT

We consider the problem of prescribing the $σ_k$-curvature on the standard sphere $\mathbb{S}^n$ with $n \geq 3$. We prove existence and compactness theorems when $k \geq n/2$. This extends an earlier result of Chang, Han and Yang for $n = 4$ and $k = 2$.

研究动机与目标

• 建立标准 $n$-维球面 $\mathbb{S}^n$ 上 $k \geq n/2$ 时 $\sigma_k$-曲率规定问题解的存在性与紧致性。
• 将 Chang、Han 与 Yang 在四维情形下关于 $\sigma_2$-Nirenberg 问题的早期结果推广至高维及一般 $k \geq n/2$ 的情形。
• 分析近似解的爆破行为，并证明共形因子对数的统一 $C^2$ 有界性。
• 在临界与次临界情形下，为 $\sigma_k$-Yamabe 方程的解建立精确的衰减估计。
• 通过指标理论刻画预设曲率 $K$ 的临界点的作用，特别关注负定临界点。

提出的方法

• 利用爆破分析研究近似解序列，推导共形因子 $v$ 在方程 $\sigma_k(\lambda(A_{g_v})) = K$ 中的最优衰减估计。
• 应用针对 $\sigma_k$-曲率方程定制的散度恒等式与 Cacciopoli 型不等式，以控制导数的 $L^p$ 范数。
• 运用 Evans-Krylov 正则性理论，将点态 $C^2$ 估计提升为 $\ln v$ 上的全局 $C^{2,\alpha}$ 估计。
• 利用共形 Hessian 算子的凸性（引理 A.1），在平均操作下保持 $\Gamma_k$-椭圆性，从而辅助紧致性论证。
• 对径向对称解使用径向对称性与单调性估计（引理 A.2），在 $k > n/2$ 情形下推导出统一的衰减速率。
• 依赖指标理论定义并计算 $\deg(\nabla K, \mathrm{Crit}_-(K))$，该量作为解存在的拓扑障碍。

实验结果

研究问题

• RQ1 当 $K$ 满足何种条件时，$\mathbb{S}^n$ 上的 $\sigma_k$-曲率规定问题在 $k \geq n/2$ 时存在解？
• RQ2 在 $K$ 的非退化假设下，能否为 $\sigma_k$-Yamabe 方程的解建立统一的 $C^2$ 有界性？
• RQ3 当 $k > n/2$ 与 $k = n/2$ 时，解的行为有何不同，特别是在衰减与紧致性方面？
• RQ4 $\deg(\nabla K, \mathrm{Crit}_-(K))$ 在决定解的存在性中起什么作用？
• RQ5 能否通过几何与分析工具，在爆破情形下为共形因子 $v$ 推导出精确的衰减估计？

主要发现

• 当 $k \geq n/2$ 时，若 $K \in C^2(\mathbb{S}^n)$ 为正函数且满足非退化条件 $|\nabla_{g_0}K|_{g_0} + |\Delta_{g_0}K| > 0$，则 $\mathbb{S}^n$ 上的 $\sigma_k$-Nirenberg 问题存在解。
• 解集在 $C^2$ 拓扑下是紧致的：任意解序列在 $C^2(\mathbb{S}^n)$ 中一致有界，且 $\|\ln v\|_{C^2(\mathbb{S}^n)} \leq C_*$，其中常数 $C_*$ 仅依赖于 $n$ 与 $K$。
• 当 $k > n/2$ 时，通过单调性估计（引理 A.2）控制共形因子 $v$ 的衰减，得到对 $r \in [R_i/\lambda_i, \rho]$ 有 $r^{n-2}u(r) \leq C R_i^{n-2} \lambda_i^{-(n-2)} u_i(0)^{-1}$。
• $\ln v$ 的 $C^2$ 估计由一阶与二阶导数估计及 Evans-Krylov 定理导出，确保在 $i$ 上一致的 $C^{2,\alpha}$ 正则性。
• $\deg(\nabla K, \mathrm{Crit}_-(K))$ 是在 $C^2$ 收敛下的拓扑不变量，等于在非退化负定临界点处指标的交错和。
• 在 $k = n/2$ 情形下，通过精细分析 $\sigma_k$-方程，证明了最优衰减估计，方法被扩展至临界情形。