[论文解读] Some isoperimetric comparison theorems for convex bodies in Riemannian manifolds

Vincent Bayle, César Rosales|ArXiv.org|Nov 18, 2003

Point processes and geometric inequalities参考文献 11被引用 6

一句话总结

本文在黎曼流形中，通过里奇曲率下界，为凸区域的等周轮廓建立了一个二阶微分不等式，推导出精确的比较定理。证明了该轮廓不超过常曲率空间形式中半空间的轮廓，从而在里奇曲率下界条件下，为体积、直径及第一个非零诺伊曼特征值提供了新的几何估计。

ABSTRACT

We prove that the isoperimetric profile of a convex domain $Ω$ with compact closure in a Riemannian manifold $(M^{n+1},g)$ satisfies a second order differential inequality which only depends on the dimension of the manifold and on a lower bound on the Ricci curvature of $Ω$. Regularity properties of the profile and topological consequences on isoperimetric regions arise naturally from this differential point of view. Moreover, by integrating the differential inequality we obtain sharp comparison theorems: not only can we derive an inequality which should be compared with Lévy-Gromov Inequality but we also show that if $ ext{Ric}\geq nδ$ on $Ω$, then the profile of $Ω$ is bounded from above by the profile of the half-space $\mathbb{H}_δ^{n+1}$ in the simply connected space form with constant sectional curvature $δ$. As consequence of isoperimetric comparisons we obtain geometric estimations for the volume and the diameter of $Ω$, and for the first non-zero Neumann eigenvalue for the Laplace operator on $Ω$.

研究动机与目标

• 通过里奇曲率下界，推导黎曼流形中凸区域等周轮廓的二阶微分不等式。
• 通过微分分析，建立等周区域及其边界在正则性与拓扑性质（如连通性）方面的结论。
• 通过积分微分不等式，获得精确的几何比较定理，将轮廓与常曲率空间形式联系起来。
• 在里奇曲率下界条件下，推导凸区域体积、直径及第一个非零诺伊曼特征值的定量估计。
• 将欧氏空间与紧致流形情形下的已知结果，推广至一般黎曼流形中具有边界的凸区域。

提出的方法

• 推导归一化等周轮廓 $ Y_{\rm \textbackslash Omega} = I_{\rm \textbackslash Omega}^{(n+1)/n} $ 的二阶微分不等式，形式为 $ Y_{\rm \textbackslash Omega}^{\prime\prime} \leq C \cdot Y_{\rm \textbackslash Omega}^{(1-n)/(1+n)} $，其中 $ C $ 依赖于维度与里奇曲率下界。
• 通过‘近似平行变分’技术处理极小化器边界处的奇点，受此前紧致流形与凸锥研究的启发。
• 利用 $ \Omega $ 的凸性，控制涉及 $ \partial\Omega $ 的第二基本形式的边界项，从而实现微分不等式。
• 积分微分不等式以获得全局比较定理：若 $ \operatorname{Ric} \geq n\delta $ 在 $ \Omega $ 上成立，则 $ I_{\Omega}(V) \leq I_{\mathbb{H}_{\delta}^{n+1}}(V) $，等号成立当且仅当 $ \Omega $ 同构于常曲率为 $ \delta $ 的单连通空间形式中的半空间 $ \mathbb{H}_{\delta}^{n+1} $。
• 应用对称化技巧与瑞利商比较，推导第一个非零诺伊曼特征值 $ \lambda_1^N(\Omega) $ 的界。
• 利用微分不等式解的解析比较结果（定理 2.5），将模型空间的估计传递至一般区域。

实验结果

研究问题

• RQ1 在黎曼流形中，凸区域的等周轮廓在里奇曲率下界条件下如何表现？
• RQ2 在该曲率条件下，等周轮廓能否被模型空间（如常曲率空间形式中的半空间）的轮廓上界控制？
• RQ3 从轮廓的微分结构中，可推导出哪些正则性与拓扑性质（如连通性）？
• RQ4 曲率下界如何影响体积、直径及第一个非零诺伊曼特征值等几何不变量？
• RQ5 在何种条件下，区域的等周轮廓与空间形式的轮廓完全相同？这对其几何结构意味着什么？

主要发现

• 在满足 $ \operatorname{Ric} \geq n\delta $ 的凸区域 $ \Omega \subset (M^{n+1},g) $ 中，其等周轮廓 $ I_{\Omega}(V) $ 满足 $ I_{\Omega}(V) \leq I_{\mathbb{H}_{\delta}^{n+1}}(V) $，等号成立当且仅当 $ \Omega $ 同构于常曲率为 $ \delta $ 的单连通空间形式中的半空间 $ \mathbb{H}_{\delta}^{n+1} $。
• 归一化轮廓 $ Y_{\Omega} = I_{\Omega}^{(n+1)/n} $ 满足仅依赖于维度与里奇曲率下界的二阶微分不等式，从而可推导出正则性与连通性结果。
• 在非负里奇曲率条件下，轮廓 $ Y_{\Omega} $ 为凹函数，这蕴含了等周区域及其边界的正则性与连通性等拓扑性质。
• 第一个非零诺伊曼特征值满足 $ \lambda_1^N(\Omega) \geq \lambda_1^N(\mathbb{H}_{\delta}^{n+1}) \cdot \left( \frac{h_C(\Omega)}{h_C(\mathbb{H}_{\delta}^{n+1})} \right)^{2/(n+1)} $，等号成立当且仅当 $ \Omega \cong \mathbb{H}_{\delta}^{n+1} $。
• 本文提供了几何证明：当 $ \Omega \subset \mathbb{R}^{n+1} $ 在边界点处局部凸时，对小体积有 $ I_{\Omega}(V) \leq I_{\mathbb{H}^{n+1}}(V) $，并通过凹性推广至全局比较。
• 结果推广并统一了欧氏空间与紧致流形情形下的先前比较结果，为等周与谱不变量提供了精确的、依赖于曲率的上界。