[论文解读] Sobolev inequalities in manifolds with nonnegative curvature

S. Brendle|arXiv (Cornell University)|Sep 29, 2020

Geometric Analysis and Curvature Flows被引用 7

一句话总结

本文建立了完备非紧黎曼流形上具有非负 Ricci 曲率或截面曲率的精确 Sobolev 不等式与等周不等式，其中最优常数依赖于渐近体积比 $\theta$。结果推广了经典不等式，并刻画了等号成立的条件，表明等号成立当且仅当流形为欧几里得空间且区域为球形。

ABSTRACT

We prove a sharp Sobolev inequality on manifolds with nonnegative Ricci curvature. Moreover, we prove a Michael-Simon inequality for submanifolds in manifolds with nonnegative sectional curvature. Both inequalities depend on the asymptotic volume ratio of the ambient manifold.

研究动机与目标

• 建立完备非紧流形上具有非负 Ricci 曲率的紧致区域的精确 Sobolev 不等式。
• 刻画 Sobolev 不等式中等号成立的情形，表明其仅在欧几里得空间与球形区域时成立。
• 将 Michael-Simon 不等式推广至具有非负截面曲率流形中的子流形，特别是共形维数 ≤ 2 的情形。
• 为这类流形中余维数至多为 2 的极小子流形导出精确的等周不等式。
• 表明渐近体积比 $\theta$ 控制所有不等式中的最优常数，统一了几何与分析估计。

提出的方法

• 主要 Sobolev 不等式的证明采用 Alexandrov-Bakelman-Pucci 方法，源自 X. Cabré 对椭圆 PDE 的工作。
• 该论证涉及在区域 $D$ 上构造一个次解 $u$，满足涉及 $f$ 及其梯度的特定 PDE，利用渐近体积比 $\theta$。
• 对于子流形，该方法通过引入平均曲率向量 $H$ 并使用梯度的修正 $L^p$-范数，推广至黎曼几何设定。
• 分析依赖于曲率条件：主定理使用非负 Ricci 曲率，子流形结果使用非负截面曲率。
• 关键步骤包括证明：若不等式中等号成立，则必有 $\nabla^\Sigma f = 0$，$D_\Sigma^2 u = f^{1/(n-1)} g$，且 $I\!I = 0$，从而迫使 $f$ 为常数。
• 通过 Morse 理论与 $\Sigma$ 上的流方法分析等号情形，表明像的直径收缩至零，从而迫使 $\theta = 1$，即 $M$ 同构于 $\mathbb{R}^n$。

实验结果

研究问题

• RQ1 在具有非负 Ricci 曲率的流形上，函数在区域上的 Sobolev 不等式中，最优常数是什么？
• RQ2 渐近体积比 $\theta$ 如何影响 Sobolev 与等周不等式中的最优常数？
• RQ3 在子流形的广义 Michael-Simon 不等式中，等号在何种几何条件下成立？
• RQ4 能否为非负曲率流形中余维数为 2 的极小子流形建立精确的等周不等式？
• RQ5 欧几里得空间是否是唯一使不等式等号成立的流形？这对其周围几何有何含义？

主要发现

• 具有非负 Ricci 曲率的流形上，精确 Sobolev 不等式为 $\int_D |\nabla f| + \int_{\partial D} f \geq n |B^n|^{1/n} \theta^{1/n} \left( \int_D f^{n/(n-1)} \right)^{(n-1)/n}$，等号成立当且仅当 $M$ 为欧几里得空间且 $D$ 为球形区域。
• 对于此类流形中的区域，等周不等式 $|\partial D| \geq n |B^n|^{1/n} \theta^{1/n} |D|^{(n-1)/n}$ 成立，推广了非紧情形下的 Lévy-Gromov 不等式。
• 对于具有非负截面曲率流形中余维数为 2 的子流形 $\Sigma$，不等式 $\int_\Sigma \sqrt{|\nabla^\Sigma f|^2 + f^2 |H|^2} + \int_{\partial \Sigma} f \geq n |B^n|^{1/n} \theta^{1/n} \left( \int_\Sigma f^{n/(n-1)} \right)^{(n-1)/n}$ 为精确不等式。
• 余维数为 2 的情形中，等号成立当且仅当 $f$ 为常数，$M$ 同构于 $\mathbb{R}^{n+2}$，且 $\Sigma$ 为平坦的球形区域。
• 在等号情形中，渐近体积比 $\theta$ 被证明为 1，意味着周围流形同构于欧几里得空间。
• 证明通过 $\Sigma$ 上的流方法表明：除非 $\theta = 1$，否则等周比将违反欧几里得不等式。