[论文解读] An existence theorem for the Yamabe problem on manifolds with boundary

Simon Brendle, S. Chen|ArXiv.org|Aug 29, 2009

Nonlinear Partial Differential Equations参考文献 8被引用 10

一句话总结

该论文在维度 $ n \geq 6 $ 的紧致黎曼流形（带边界）上建立了杨-米歇尔问题的存在性定理，证明了若边界点 $ p $ 不属于集合 $ \mathcal{Z} $（即在该点处威爾-张量及其至阶 $ d-2 $ 的导数为零），则杨-米歇尔常数严格小于赤道球面的值，从而确保存在一个具有常数量曲率和边界上零平均曲率的共形度量。

ABSTRACT

Let (M,g) be a compact Riemannian manifold with boundary. We consider the problem (first studied by Escobar in 1992) of finding a conformal metric with constant scalar curvature in the interior and zero mean curvature on the boundary. Using a local test function construction, we are able to settle most cases left open by Escobar's work. Moreover, we reduce the remaining cases to the positive mass theorem.

研究动机与目标

• 解决维度 $ n \geq 6 $ 时，边界为脐点且威爾-张量不为零的流形上杨-米歇尔问题的剩余未解情况。
• 建立严格不等式 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 的充分条件，该条件可保证埃斯科巴分类中问题 (a) 的解存在。
• 将抛物型杨-米歇尔流与共形几何中的技术推广至临界情形，即边界为脐点且流形不共形等价于赤道球面的情形。
• 证明在威爾-张量在边界点处至阶 $ d-2 $ 为零的条件下，杨-米歇尔泛函存在极小化子，方法为使用改进的测试函数构造。

提出的方法

• 在边界点 $ p $ 附近的共形费米坐标系中构造测试函数 $ u_\varepsilon(x) = \left( \frac{\varepsilon}{\varepsilon^2 + |x|^2} \right)^{\frac{n-2}{2}} $，该函数模拟了杨-米歇尔方程解的爆破行为。
• 引入校正项 $ w $ 对 $ u_\varepsilon $ 进行调整，使得所得函数满足边界条件且在 $ p $ 的邻域内表现良好。
• 将局部测试函数 $ u_\varepsilon + w $ 与以 $ p $ 为极点的共形拉普拉斯算子的格林函数粘合，以确保其在整个 $ M $ 上有定义。
• 应用 [4] 中关于渐近平坦流形及加权 $ L^2 $ 估计的技术，以控制测试函数的能量。
• 使用反射原理将向量场和对称张量从 $ \mathbb{R}_+^n $ 延拓至 $ \mathbb{R}^n $，同时保持对称性与迹零性质。
• 利用威爾-张量在 $ p $ 处的消失性（即 $ p \notin \mathcal{Z} $）来控制校正项的衰减速率，并确保测试函数的能量严格小于赤道球面的能量。

实验结果

研究问题

• RQ1 在维度 $ n \geq 6 $ 时，当边界为脐点，杨-米歇尔常数 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 的条件是什么？
• RQ2 当流形不共形等价于赤道球面时，能否保证存在具有常数量曲率和边界上零平均曲率的共形度量？
• RQ3 边界点处威爾-张量及其至阶 $ d-2 $ 的导数为零，在杨-米歇尔泛函极小化子的存在性中起何作用？
• RQ4 在边界杨-米歇尔问题的变分方法中，如何克服帕莱斯-斯梅尔条件的失效？
• RQ5 即使在边界为脐点且维度较高的临界情形下，能否证明精心构造的测试函数的能量严格小于赤道球面的杨-米歇尔常数？

主要发现

• 若 $ p \in \partial M $ 为边界点且 $ p \notin \mathcal{Z} $，则 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $，这意味着存在具有常数量曲率和边界上零平均曲率的共形度量。
• 集合 $ \mathcal{Z} $ 是共形不变的，由威爾-张量及其至阶 $ d-2 $ 的导数为零的点构成，其中 $ d = \lfloor (n-2)/2 \rfloor $。
• 当 $ p \in \mathcal{Z} $ 时，若关联的渐近平坦流形具有正 ADM 质量，则不等式 $ Y(M,\partial M,g) < Y(S_+^n,\partial S_+^n) $ 仍然成立。
• 测试函数 $ u_\varepsilon $ 满足方程 $ \Delta u_\varepsilon = -n(n-2) u_\varepsilon^{\frac{n+2}{n-2}} $，该方程模拟了欧氏空间中爱因斯坦度量的行为。
• 校正项 $ w $ 的构造旨在保持边界条件 $ \kappa_{\tilde{g}} = 0 $，并确保全局测试函数具有有限能量。
• 证明依赖于基于威爾-张量导出的向量场与对称张量的 $ L^2 $-估计及加权衰减控制，结合反射与椭圆正则性技术。