[论文解读] Conformal Deformation to Scalar Flat Metrics with Constant Mean Curvature on the Boundary in Higher Dimensions

Szu-yu Sophie Chen|arXiv (Cornell University)|Dec 7, 2009

Advanced Mathematical Modeling in Engineering参考文献 15被引用 23

一句话总结

本文建立了在高维紧致黎曼流形上存在零标量曲率且边界上平均曲率为常数的共形度量的充分条件。通过分析尖锐迹 Sobolev 商，并运用涉及 Weyl 张量和通量积分的共形几何技巧，作者证明：若边界是脐点且存在一个不在 Weyl 张量导数零点集中的边界点，或若某个特定通量积分为正，则 Sobolev 商严格小于单位球的值，从而确保此类度量的存在性。

ABSTRACT

In 1992, motivated by Riemann mapping theorem, Escobar considered a version of Yamabe problem on manifolds of dimension n greater than 2 with boundary. The problem consists in finding a conformal metric such that the scalar curvature is zero and the mean curvature is constant on the boundary. By using a local test function construction, we are able to seattle the most cases left by Escobar's and Marques's works. Moreover, we reduce the remaining case to the positive mass theorem. In this proof, we use the method developed in previous works by Brendle and by Brendle and the author.

研究动机与目标

• 解决在维度 $ n \geq 6 $ 时，将度量共形变形为标量曲率为零且边界平均曲率为常数的度量问题。
• 处理边界为脐点且标准不等式 $ \mathcal{Q}(M,\partial M,g) < \mathcal{Q}(B^n,\partial B^n) $ 失效的剩余开放情形。
• 利用 Weyl 张量和通量积分等几何不变量，建立 Sobolev 商严格不等式的新的充分条件。
• 通过处理高维中脐点边界的临界情形，拓展了 Escobar 和 Marques 的先前结果。

提出的方法

• 分析表示尖锐迹 Sobolev 商的泛函 $ E_g(\phi) $，并研究其临界点，以寻找具有零标量曲率和常数平均曲率的共形度量。
• 引入集合 $ \mathcal{Z} $，即 Weyl 张量及其至多 $ d-2 $ 阶导数为零的点的集合，以刻画与曲率集中相关的共形不变量。
• 在边界点附近使用共形费米坐标，并构造在上半空间上实现迹 Sobolev 不等式极值的模型函数 $ v_\epsilon $。
• 求解一个线性化 PDE 系统以获得校正项 $ \psi $，其中方程由共形 Killing 算子导出，用于控制标量曲率和平均曲率的变形。
• 在 $ \mathcal{Z} $ 中的边界点附近定义通量积分 $ \mathcal{I}(p,\delta) $，其当 $ \delta \to 0 $ 时的极限与关联的渐近平坦流形的 ADM 质量相关。
• 应用椭圆正则性与加权 $ L^2 $ 估计，控制向量场与解的增长，确保渐近分析的有效性。

实验结果

研究问题

• RQ1 在维度 $ n \geq 6 $ 的紧致黎曼流形上，其边界为脐点时，何种几何条件下有 $ \mathcal{Q}(M,\partial M,g) < \mathcal{Q}(B^n,\partial B^n) $？
• RQ2 当边界为脐点且 Weyl 张量在边界上不恒为零时，能否实现将度量共形变形为标量曲率为零且边界平均曲率为常数的度量？
• RQ3 当 $ p \in \mathcal{Z} $ 时，通量积分 $ \mathcal{I}(p,\delta) $ 在决定 Sobolev 商严格不等式中起何种作用？
• RQ4 与通量积分相关的 ADM 质量的正性如何影响所期望共形度量的存在性？
• RQ5 尽管由于迹 Sobolev 嵌入的非紧性导致 Palais-Smale 条件失效，变分方法是否仍可挽救？

主要发现

• 若 $ n \geq 6 $，边界 $ \partial M $ 为脐点，且存在一点 $ p \in \partial M \setminus \mathcal{Z} $，则 $ \mathcal{Q}(M,\partial M,g) < \mathcal{Q}(B^n,\partial B^n) $，从而确保存在具有零标量曲率和边界上常数平均曲率的共形度量。
• 当 $ p \in \mathcal{Z} $ 时，若 $ \lim_{\delta \to 0} \mathcal{I}(p,\delta) > 0 $，则 $ \mathcal{Q}(M,\partial M,g) < \mathcal{Q}(B^n,\partial B^n) $，同样保证了所期望共形度量的存在性。
• 尖锐迹 Sobolev 商 $ \mathcal{Q}(M,\partial M,g) $ 是共形不变量，其上界为单位球 $ B^n $ 上的值，且仅在特殊情况下取等。
• 通过构造模型函数 $ v_\epsilon $ 与校正项 $ \psi $，作者得以以共形不变的方式检验 Sobolev 不等式的尖锐性。
• 加权 $ L^2 $ 估计与椭圆正则性被用于控制线性化曲率方程解的增长，确保渐近分析的有效性。
• 通量积分 $ \mathcal{I}(p,\delta) $ 收敛于关联的标量曲率为零且渐近平坦的流形的 ADM 质量的正倍数，将几何分析与广义相对论的不变量联系起来。