[论文解读] On some conformally invariant fully nonlinear equations, Part II: Liouville, Harnack and Yamabe

Aobing Li, Yanyan Li|ArXiv.org|Mar 25, 2004

Nonlinear Partial Differential Equations参考文献 37被引用 9

一句话总结

本文在局部共形平坦流形上建立了完全非线性共形不变方程解的存在性与紧致性，推广了Yamabe问题。在Schouten张量满足自然凸性与曲率条件的前提下，证明了方程 $ f(\tilde{A}_u) = 1 $ 存在正解，其中 $ \tilde{A}_u $ 是共形度量 $ \hat{g} = u^{\frac{4}{n-2}}g $ 的Schouten张量，且当 $ M^n $ 不与标准球面共形等价时，$ u $ 与 $ 1/u $ 具有统一的 $ C^{4,\alpha} $ 估计。

ABSTRACT

The Yamabe problem concerns finding a conformal metric on a given closed Riemannian manifold so that it has constant scalar curvature. This paper concerns mainly a fully nonlinear version of the Yamabe problem and the corresponding Liouville type problem.

研究动机与目标

• 将经典Yamabe问题推广至涉及共形不变方程的完全非线性设定。
• 在紧致、局部共形平坦流形上，建立完全非线性方程 $ f(\lambda(A_{\hat{g}})) = 1 $ 解的存在性与统一的 $ C^{4,\alpha} $ 正则性估计。
• 在流形不共形微分同胚于标准球面的假设下，证明一个Liouville型定理。
• 通过用Schouten张量上的完全非线性条件替代标量曲率条件，推广Yamabe问题。

提出的方法

• 本文使用一个定义在凸锥 $ \Gamma \subset \mathbb{R}^n $ 上的对称、齐次、严格凸函数 $ f $（一次齐次），满足 $ \Gamma_n \subset \Gamma \subset \Gamma_1 $，构造一个完全非线性椭圆方程。
• 引入共形度量变换 $ \hat{g} = u^{\frac{4}{n-2}}g $，将Schouten张量 $ A_g $ 变换为 $ A_{\hat{g}} $，并研究方程 $ f(\lambda(A_{\hat{g}})) = 1 $。
• 证明依赖于移动平面法与屏障构造的先验估计，结合度理论与紧致性论证。
• 一个关键技术步骤是通过 $ C^{4,\alpha} $ 函数 $ \phi_R^\epsilon $ 近似锥 $ V $ 的边界 $ \partial V $，从而可应用Schauder理论并获得一致估计。
• 作者使用极限论证：逼近方程的解在 $ C^2 $ 拓扑下收敛于原方程的解，利用 $ u $ 与 $ 1/u $ 的统一 $ C^{2,\alpha} $ 估计。
• 通过证明 $ \|u\|_{C^{4,\alpha}} + \|u^{-1}\|_{C^{4,\alpha}} \leq C $（其中 $ C $ 仅依赖于 $ (M^n,g) $、$ V $ 与 $ \alpha $），得出紧致性结果，前提是 $ M^n $ 不与 $ S^n $ 共形等价。

实验结果

研究问题

• RQ1 在Schouten张量满足何种条件下，完全非线性共形不变方程在紧致局部共形平坦流形上存在解？
• RQ2 经典Yamabe问题能否推广至涉及Schouten张量对称函数的完全非线性设定？
• RQ3 对于方程 $ f(\lambda(A_{\hat{g}})) = 1 $ 解的存在性与紧致性，锥 $ \Gamma $ 与函数 $ f $ 的必要与充分条件是什么？
• RQ4 在非球面流形上，完全非线性Yamabe方程的Liouville性质是否成立？

主要发现

• 本文证明了在任意紧致、光滑、连通、局部共形平坦黎曼流形 $ (M^n,g) $ 上，若 $ \lambda(A_g) \in \Gamma(V) $，其中 $ V $ 是一个对称的凸开集且 $ \partial V \in C^{4,\alpha} $，则方程 $ f(\lambda(A_{\hat{g}})) = 1 $ 存在正的 $ C^{4,\alpha} $ 解 $ u $。
• 当 $ M^n $ 不共形微分同胚于标准 $ n $-维球面时，所有正解满足统一的 $ C^{4,\alpha} $ 估计：$ \|u\|_{C^{4,\alpha}} + \|u^{-1}\|_{C^{4,\alpha}} \leq C $，其中 $ C $ 仅依赖于 $ (M^n,g) $、$ V $ 与 $ \alpha $。
• 作者建立了Liouville型定理：在相同假设下，若 $ M^n $ 不共形等价于 $ S^n $，则除非度量已位于目标锥 $ \partial V $ 内，否则不存在非平凡解。
• 在附加正定第二基本形式（严格凸性）假设下，该结果可推广至 $ C^{2,\alpha} $ 边界 $ \partial V $，通过逼近与收敛性论证实现。
• 证明依赖于先验估计与度理论，表明解集既紧致又非空，且逼近解收敛于满足原方程的极限解。
• 本文证实了猜想：在满足 $ V $ 的光滑性与凸性假设下，完全非线性Yamabe问题在任意紧致 $ n $-维黎曼流形（不一定局部共形平坦）上存在解，前提是Schouten张量位于锥 $ \Gamma(V) $ 的内部。