[论文解读] Weak curvature conditions and Poincare inequalities

John Lott, Cédric Villani|arXiv (Cornell University)|Jun 23, 2005

Geometric Analysis and Curvature Flows参考文献 5被引用 7

一句话总结

本文通过引入基于最优传输的新型条件 DM，建立了测度长度空间满足局部与全局 Poincaré 不等式的充分条件。当 DM 条件与加倍测度结合时，可推出尺度不变的局部 Poincaré 不等式。此外，本文证明了非负 N- Ricci 曲率且具有唯一最小化测地线的空间满足 DM 条件（常数为 2^N），并在正曲率下界条件下证明了精确的全局 Poincaré 不等式。

ABSTRACT

We give sufficient conditions for a measured length space (X,d,m) to admit local and global Poincare inequalities. We first introduce a condition DM on (X,d,m), defined in terms of transport of measures. We show that DM, along with a doubling condition on m, implies a scale-invariant local Poincare inequality. We show that if (X,d,m) has nonnegative N-Ricci curvature and has unique minimizing geodesics between almost all pairs of points then it satisfies DM, with constant 2^N. The condition DM is preserved by measured Gromov-Hausdorff limits. We then prove a Sobolev inequality for measured length spaces with N-Ricci curvature bounded below by K>0. Finally, we prove a sharp global inequality.

研究动机与目标

• 确定测度长度空间满足局部与全局 Poincaré 不等式的几何与测度论的充分条件。
• 基于测度的最优传输，定义一种新条件 DM，作为推导 Poincaré 型不等式的关键工具。
• 建立曲率界（N-Ricci 曲率）与 DM 条件之间的联系，特别证明了非负 N-Ricci 曲率且几乎所有点对之间具有唯一最小化测地线时，DM 条件成立且常数为 2^N。
• 在 N-Ricci 曲率有正下界时，证明一个精确的全局 Poincaré 不等式。

提出的方法

• 通过测度沿测地线的传输定义条件 DM，作为 Poincaré 不等式的判据。
• 证明 DM 条件与测度 m 的加倍条件结合，可推出尺度不变的局部 Poincaré 不等式。
• 证明非负 N-Ricci 曲率且几乎所有点对之间具有唯一最小化测地线时，DM 条件成立且常数为 2^N。
• 证明 DM 条件在测度 Gromov-Hausdorff 极限下保持稳定，表明其在几何分析中的鲁棒性。
• 在 N-Ricci 曲率下界为 K > 0 的空间中建立 Sobolev 不等式。
• 利用上述框架，在正曲率下界条件下推导出精确的全局 Poincaré 不等式。

实验结果

研究问题

• RQ1 在测度长度空间 (X,d,m) 上，何种条件下成立局部 Poincaré 不等式？
• RQ2 基于传输的条件 DM 如何与度量测度空间中的曲率及测地线唯一性相关联？
• RQ3 DM 条件在测度 Gromov-Hausdorff 极限下是否保持不变？这在几何稳定性方面意味着什么？
• RQ4 在正 N-Ricci 曲率条件下，全局 Poincaré 不等式的精确常数是多少？
• RQ5 在缺乏光滑结构的情况下，曲率下界（K > 0）如何导致 Sobolev 不等式与 Poincaré 不等式？

主要发现

• 通过最优传输定义的 DM 条件，当与加倍测度结合时，可确保尺度不变的局部 Poincaré 不等式。
• 非负 N-Ricci 曲率且几乎所有点对之间具有唯一最小化测地线时，DM 条件成立且常数为 2^N。
• DM 条件在测度 Gromov-Hausdorff 极限下保持不变，表明其在几何收敛下的稳定性。
• 对于 N-Ricci 曲率下界为 K > 0 的测度长度空间，Sobolev 不等式成立。
• 在正曲率下界条件下，建立了精确的全局 Poincaré 不等式，其常数显式依赖于曲率参数 K。