[论文解读] The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds

Gioacchino Antonelli, Stefano Nardulli+1 more|Virtual Community of Pathological Anatomy (University of Castilla La Mancha)|Jan 10, 2022

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文建立了非紧 $ΝΓΔ(K,N)$ 空间中极小化序列的结构定理，其下界 Ricci 曲率有界，证明此类序列在无穷远处的 pointed Gromov–Hausdorff 极限中可分解为有限个等周区域。关键贡献是一个广义紧致性结果及其等价准则，确保极小化序列在无质量损失下收敛，将直接法推广至具有合成 Ricci 曲率下界的奇异、非紧度量测度空间。

ABSTRACT

We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result follows from a new generalized compactness theorem, which identifies the limit of a sequence of sets $E_i\subset X_i$ with uniformly bounded measure and perimeter, where $(X_i,\mathsf{d}_i,\mathcal{H}^N)$ is an arbitrary sequence of $\mathsf{RCD}(K,N)$ spaces. An abstract criterion for a minimizing sequence to converge without losing mass at infinity to an isoperimetric set is also discussed. The latter criterion is new also for smooth Riemannian spaces.

研究动机与目标

• 解决在经典紧致性失效的非紧度量测度空间中，具有下界 Ricci 曲率的等周区域的存在性问题。
• 将等周问题的直接法推广至奇异、非紧的 $ΝΓΔ(K,N)$ 空间，超越光滑黎曼流形的范畴。
• 刻画极小化序列在无穷远处的质量损失现象，并确定此类序列的极限结构。
• 提供一个确保极小化序列在 $L^1$ 中强收敛且无质量逃逸至无穷的准则。
• 建立无穷远处等周轮廓与空间 pointed Gromov–Hausdorff 极限几何之间的联系。

提出的方法

• 为 $ΝΓΔ(K,N)$ 空间中具有统一有界测度与全纯度的集合序列引入广义紧致性定理。
• 应用浓度-紧致性原理，将极小化序列分解为一个在无穷远处收敛的部分与一个发散的部分。
• 利用沿发散点列的 pointed Gromov–Hausdorff 极限概念，识别极限等周区域。
• 将无穷远处的等周轮廓 $I^{∞}_{X}$ 定义为在渐近极限空间中集合族总全纯度的下确界。
• 采用涉及截断函数与全纯度分解的变分论证，控制大球内边界贡献。
• 通过反证法建立极小化序列预紧收敛的等价条件，假设无穷远处的质量损失导致等周轮廓中出现严格不等式。

实验结果

研究问题

• RQ1 在非紧 $ΝΓΔ(K,N)$ 空间中，等周问题的极小化序列在无穷远处无质量损失下收敛的条件是什么？
• RQ2 当质量逃逸至无穷远时，非紧度量测度空间中极小化序列的结构如何分解？
• RQ3 无穷远处的等周轮廓与环境空间渐近极限空间的几何之间存在何种精确关系？
• RQ4 能否将等周问题的直接法推广至具有合成 Ricci 曲率下界的非光滑、非紧空间？
• RQ5 在非紧 $ΝΓΔ(K,N)$ 空间中，何种条件可确保极小化序列在 $L^1$ 中强收敛于一个等周区域？

主要发现

• 任何非紧 $ΝΓΔ(K,N)$ 空间中极小化序列的极限均为有限个等周区域的并集，每个区域均包含于空间在无穷远处的 pointed Gromov–Hausdorff 极限中。
• 此类区域的数量在测度上呈线性有界。
• 极小化序列在 $L^1$ 中无质量损失下强收敛当且仅当等周轮廓满足 $I_X(V) = I_X(V_1) + I^{∞}_X(V_2)$ 对所有 $V_1 + V_2 = V$ 成立。
• 无穷远处的等周轮廓 $I^{∞}_X$ 与所有无穷远处渐近极限空间的不相交并的等周轮廓完全一致。
• 即使在缺乏光滑性或渐近对称性的情况下，只要单位球测度一致远离零，等周区域的存在性即可保证。
• 本文提出了一种新的极小化序列紧致性准则，即使在光滑黎曼流形的设定下也具有新颖性。