[论文解读] Existence of isoperimetric regions in $\R^n$ with density

Frank Morgan, Aldo Pratelli|arXiv (Cornell University)|Nov 22, 2011

Advanced Mathematical Modeling in Engineering参考文献 13被引用 14

一句话总结

本文在各种增长条件下，证明了在 $ ^n$ 上带密度函数的等周区域的存在性，当密度在无穷远处趋于有限极限或发散时，通过远处球体的平均密度估计来防止体积损失。其主要贡献是在密度渐近行为满足温和且可验证的假设下，建立了一般性的等周集存在性定理。

ABSTRACT

We prove the existence of isoperimetric regions in $\R^n$ with density under various hypotheses on the growth of the density. Along the way we prove results on the boundedness of isoperimetric regions.

研究动机与目标

• 建立等周区域在 $ ^n$ 上存在的确切条件，前提是存在正密度函数。
• 分析密度渐近行为（特别是其在无穷远处的增长或衰减）对等周集的存在性与有界性的影响。
• 解决在径向与非径向情形下关于存在的开放问题，特别是当密度趋于有限极限或发散时。
• 提供密度的充分条件（例如次调和性、缓慢增长），以确保对所有体积均存在等周集。
• 阐明有界性在存在性证明中的作用，并确定等周集必须有界的条件。

提出的方法

• 使用大球体上的平均密度概念，以控制极小化序列中向无穷远处的体积损失。
• 应用一个关键技术引理，表明在合适的增长条件下，存在远离原点的球体，其平均密度至多为渐近极限 $a$。
• 采用比较论证：若体积因平均密度为 $a$ 而损失至无穷远，可用一个具有相同平均密度的遥远球体替换，以恢复体积约束。
• 利用加权情形下的第一变分公式与曲率估计，分析等周集的结构。
• 应用几何测度论工具，包括等周轮廓 ${\mathfrak{I}}_f(V)$，研究存在性与正则性。
• 利用密度的次调和性与平均条件推导存在性结果，尤其在有限渐近极限情形下。

实验结果

研究问题

• RQ1 在何种密度 $f$ 的条件下，对每个预设体积，$ ^n$ 上的等周区域均存在？
• RQ2 当密度在无穷远处趋于有限正极限时，是否可在不假设径向对称性的前提下保证存在性？
• RQ3 在密度的一般增长条件下，等周集的有界性是否可保证？
• RQ4 对于径向且凹的密度，即使不满足发散或次调和性条件，等周集的存在性是否仍成立？
• RQ5 该存在性结果能否推广至非径向、递增的密度？

主要发现

• 当密度 $f$ 在无穷远处发散时，即使不具径向对称性或单调性，等周集的存在性仍可被证明。
• 对于趋于有限极限 $a>0$ 的密度，若其增长足够缓慢（定理 7.11）或满足平均条件（定理 7.13），则存在性成立。
• 若密度为 $C^2$ 且在无穷远处为次调和，则存在性可被保证（推论 7.14），即使对于如 $1-e^{-e^r}$ 这类快速增长的密度亦然。
• 在温和正则性条件下，$ ^2$ 中递增密度（命题 5.3）与径向密度（命题 5.9）的等周集有界性已得证。
• 存在性证明依赖于存在远处球体，其平均密度至多为 $a$，从而可在极小化序列中替换损失的体积。
• 反例表明，猜想中径向性或递增性假设均不可省略，凸显了这些假设的必要性。