[论文解读] Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones

Manuel Ritoré, César Rosales|ArXiv.org|Jul 16, 2003

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

一句话总结

本文建立了欧氏锥体内等周区域——在固定体积下周长最小的集合——的存在性与特征。通过微分几何与二阶变分技术，证明在凸锥体内，等周区域恰好是球心位于锥顶点的欧氏球与锥体本身的交集，从而在锥体约束下解决了几何测度论中长期悬而未决的问题。

ABSTRACT

We study the problem of existence of regions separating a given amount of volume with the least possible perimeter inside a Euclidean cone. Our main result shows that nonexistence for a given volume implies that the isoperimetric profile of the cone coincides with the one of the half-space. This allows us to give some criteria ensuring existence of isoperimetric regions: for instance, local convexity of the cone at some boundary point. We also characterize which are the stable regions in a convex cone, i.e., second order minima of perimeter under a volume constraint. From this it follows that the isoperimetric regions in a convex cone are the euclidean balls centered at the vertex intersected with the cone.

研究动机与目标

• 在欧氏锥体内，建立在固定体积约束下周长最小化之等周区域的存在性。
• 表征此类等周区域的精确几何结构，尤其在凸锥体中。
• 确定等周区域存在的条件，特别是在标准紧致性论证失效的非紧致情形下。
• 在凸锥体内识别稳定区域（周长的二阶极小化区域），并将其与等周区域关联。
• 提供一种几何证明，说明锥体内球扇形的等周性质，补充现有的Brunn-Minkowski与Gromov型论证。

提出的方法

• 通过分析可能发散的极小化序列，将变分法的直接法适配于非紧致流形。
• 应用一个一般性结果（定理2.1），表明极小化序列可分解为收敛部分与发散部分，从而支持反证法。
• 通过与半空间的等周轮廓比较，证明若不存在等周区域，则轮廓必与半空间的轮廓一致。
• 应用周长与体积的二阶变分，利用周长泛函的一阶与二阶导数，表征具有常平均曲率的稳定超曲面。
• 使用涉及法向量与变分向量场内积的二阶变分公式，结合锥体边界与第二基本形式的曲率项。
• 应用Fatou引理及ε → 0的极限论证，推导出形状算子与边界第二基本形式的平方范数的积分不等式。

实验结果

研究问题

• RQ1 在非紧致的欧氏锥体中，等周区域存在的条件是什么？
• RQ2 在凸锥体中，等周区域的精确几何结构是什么？
• RQ3 如何表征凸锥体内具有常平均曲率的稳定超曲面？
• RQ4 锥体的几何结构——尤其是其边界与凸性——在决定等周区域中起什么作用？
• RQ5 能否通过二阶稳定性与曲率分析完全表征锥体内的等周区域？

主要发现

• 在凸锥体内，等周区域恰好是球心位于锥顶点的欧氏球与锥体本身的交集。
• 当且仅当对某些体积不存在等周区域时，锥体的等周轮廓与半空间的轮廓一致，从而提供了一个存在性判别准则。
• 对任意体积，凸锥体内的等周区域均为有界区域，其边界为具有常平均曲率且与锥体边界正交的光滑超曲面。
• 凸锥体内的稳定区域恰好是球心位于顶点并与锥体相交的球体，或位于边界平坦部分之上的半球体。
• 二阶变分分析表明，形状算子的平方范数等于n倍平均曲率的平方，且锥体边界在区域边界处的第二基本形式消失，意味着完全脐点性与平坦性。
• 对候选区域周长的比较确认，即使在全空间R^{n+1}中，唯有球心位于顶点并与锥体相交的球体才是等周区域。