[论文解读] A fully nonlinear version of the Yamabe problem on locally conformally flat manifolds with umbilic boundary

Yanyan Li, Luc Nguyen|ArXiv.org|Nov 17, 2009

Nonlinear Partial Differential Equations参考文献 49被引用 3

一句话总结

该论文通过证明在紧致、局部共形平坦的黎曼流形（具有脐形边界）上，在锥 $\Gamma$ 和函数 $f$ 的自然几何与解析条件下，存在一个具有常数 $k$-曲率（由 Schouten 张量的完全非线性对称函数定义）的共形度量，从而建立了完全非线性 Yamabe 型问题解的存在性。关键结果是通过同调论与先验估计，证明了相关完全非线性 PDE 系统的可解性，将经典 Yamabe 问题推广至完全非线性和带边界的设定。

ABSTRACT

In this paper we establish existence and compactness of solutions to a general fully nonlinear version of the Yamabe problem on locally conformally flat Riemannian manifolds with umbilic boundary.

研究动机与目标

• 将经典 Yamabe 问题推广至具有边界的流形上的完全非线性设定，特别是针对具有脐形边界的局部共形平坦流形。
• 在 $f$ 和锥 $\Gamma$ 的自然条件下，建立由 Schouten 张量的完全非线性对称函数 $f$ 定义的常数 $k$-曲率共形度量的存在性。
• 通过拓扑度理论与先验估计，证明与 Neumann 型边界条件相关的完全非线性 PDE 系统的可解性。

提出的方法

• 将完全非线性 Yamabe 问题表述为涉及 Schouten 张量与定义在满足特定正性与严格凹性条件的凸锥 $\Gamma$ 上的对称函数 $f$ 的 PDE 系统。
• 通过构造原始算子与较简单算子之间的同伦，利用 Leray-Schauder 度理论证明解的存在性。
• 通过最大值原理与非退化性论证，建立解的先验 $C^{4,\alpha}$ 估计，确保解集的紧致性。
• 应用隐函数定理与连续性方法，表明度数非零，从而推出解的存在性。
• 利用 $f$ 为一次齐次且严格凹的性质，确保所需的椭圆性与边界条件得以满足。
• 构造一个光滑且严格正的锥 $\Gamma$ 的定义函数，以在一般几何假设下保证解的存在性。

实验结果

研究问题

• RQ1 当曲率通过 Schouten 张量的完全非线性对称函数 $f$ 预先指定时，局部共形平坦流形上具有脐形边界的完全非线性 Yamabe 问题是否具有解？
• RQ2 在 $f$ 和 $\Gamma$ 的自然几何与解析条件下（包括正性、凹性与齐次性），能否建立解的存在性？
• RQ3 锥 $\Gamma$ 与函数 $f$ 在确保具有 Neumann 型边界条件的关联 PDE 系统可解性方面起什么作用？
• RQ4 在缺乏先验 $L^\infty$ 估计的情况下，通过同伦与紧致性论证的度理论方法如何确保解的存在性？
• RQ5 经典 Yamabe 问题的可解性能否推广至具有边界的完全非线性设定，特别是在边界为脐形且流形为局部共形平坦的情况下？

主要发现

• 论文证明了在紧致、局部共形平坦的黎曼流形（具有脐形边界）上，若 $f$ 光滑、正定、在每个变量上严格递增，且在 $\partial\Gamma$ 上消失，且满足 $\sum \partial f / \partial \lambda_k \geq \delta > 0$，则完全非线性 Yamabe 问题存在解。
• 对于满足条件 (3)–(9) 的任意 $f$，包括重要情形 $f = \sigma_k^{1/k}$ 在 $\Gamma_k$ 上的情形（对应于 $k$-曲率问题），解均存在。
• 关联非线性算子的 Leray-Schauder 度数非零，通过连接原问题与较简单问题的同伦论证，表明至少存在一个解。
• 通过最大值原理与非退化性，建立了先验 $C^{4,\alpha}$ 估计，确保解集的紧致性与度数的良定义性。
• 度数计算为 $(-1)^{\dim E^{-}(A_1)}$，其中 $A_1$ 为线性化算子，该符号非零，从而确认了解的存在性。
• 该结果将经典 Yamabe 问题推广至完全非线性和带边界的设定，在自然几何与解析条件下提供了完整的存在性理论。