[论文解读] Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces

Elia Brué, Enrico Pasqualetto+1 more|arXiv (Cornell University)|Sep 1, 2019

Geometric Analysis and Curvature Flows参考文献 43被引用 10

一句话总结

本文在RCD(K,N)度量测度空间中建立了有限全周长集的约化边界可求长性，证明了切锥的唯一性，并推导出Gauss–Green分部积分公式作为关键工具。结果将De Giorgi定理推广至非光滑、奇异空间，确认即使在坍塌情形下，约化边界仍为可求长集。

ABSTRACT

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2] we obtain uniqueness of tangents and rectifiability for the reduced boundary of sets of finite perimeter. As an intermediate tool, of independent interest, we develop a Gauss-Green integration by parts formula tailored to this setting. These results are new and non-trivial even in the setting of Ricci limits.

研究动机与目标

• 通过建立约化边界的可求长性，完成De Giorgi定理在RCD(K,N)空间中的推广。
• 解决在可能坍塌的RCD(K,N)空间中，有限全周长集的切锥唯一性这一开放问题。
• 为RCD空间上的Sobolev向量场开发一个定制化的Gauss–Green分部积分公式，该公式具有独立兴趣。
• 将RCD(K,N)空间的结构理论从测度为零的集合扩展至如有限全周长集边界等余维一集合。
• 以余维一Hausdorff测度的形式，提供全周长测度的表示，确认一个关键结构性质。

提出的方法

• 以调和δ-分裂映射为核心分析工具，将单个尺度的正则性传播至所有尺度。
• 应用极大函数估计，控制|ν·∇u_a|在球面上的平均值，确保法向量与分裂映射梯度的正交性。
• 利用Gauss–Green公式（定理2.2）将全周长测度与Sobolev向量场的散度联系起来。
• 采用ε-分裂映射的概念，并通过Bishop–Gromov不等式与Vitali覆盖论证实现其传播。
• 基于欧氏半空间切锥的存在性（源自先前工作[2]）实施爆破论证，以证明切锥的唯一性。
• 依赖于2-容量几乎处处定义的张量场与该类代表元的Sobolev向量场的概念。

实验结果

研究问题

• RQ1 能否证明RCD(K,N)空间中有限全周长集的约化边界为可求长集？
• RQ2 在可能坍塌的情形下，有限全周长集的切锥是否几乎处处关于全周长测度唯一？
• RQ3 在RCD(K,N)框架下，Sobolev向量场是否成立Gauss–Green分部积分公式？
• RQ4 全周长测度能否表示为约化边界上余维一Hausdorff测度的倍数？
• RQ5 RCD(K,N)空间的结构理论在多大程度上可扩展至正余维数集合？

主要发现

• RCD(K,N)空间中任意有限全周长集的约化边界均为可求长集，即存在某个k使得其为H^{k-1}-可求长的可数并集。
• 即使在坍塌情形下，切锥几乎处处关于全周长测度唯一，解决了[2]中的一个猜想。
• 为RCD(K,N)空间上的Sobolev向量场建立了Gauss–Green分部积分公式，提供关键分析工具。
• 证明了全周长测度与约化边界上余维一Hausdorff测度等价，仅相差一个密度因子。
• 证明依赖于ε-分裂映射的传播及通过极大函数估计控制的正交性条件，误差界由C_N√ε控制。
• 结果将RCD(K,N)空间的结构理论从空间本身的几乎处处可求长性扩展至有限全周长集的边界。