[论文解读] On the smoothness of Hölder-doubling measures

David Preiss, Xavier Tolsa+1 more|arXiv (Cornell University)|Apr 28, 2007

Analytic and geometric function theory参考文献 3被引用 7

一句话总结

该论文证明了在 ℝᵐ 的子集上，若 Hölder-加倍测度具有统一的 Hölder 类型加倍比控制，则当 n ≥ 3 时，其支撑在 n 维 Hausdorff 测度为零的集合外是 C¹,β 子流形；当 n = 1, 2 时，其支撑处处为 C¹,β 子流形。关键结果将先前基于平坦性的正则性定理推广至一般余维数情形，无需全局平坦性假设，表明渐近加倍性结合 Hölder 误差界可推出几乎处处光滑性。

ABSTRACT

In this paper we consider the question of whether the doubling character of a measure supported on a subset of $\RR^m$ determines the regularity of its support (in a classical sense). This problem was studied by David, Kenig and Toro for codimension 1 sets under the assumption that the support be flat. Here we study the higher codimension case and remove the flatness hypothesis.

研究动机与目标

• 确定 ℝᵐ 子集上测度的加倍性质是否在经典意义下蕴含其支撑的正则性。
• 将先前关于 ℝᵐ 中余维数 1 的渐近加倍测度的正则性结果推广至一般余维数。
• 在高余维数情形下移除平坦性假设，表明光滑性几乎处处成立（除零 n 维 Hausdorff 测度集合外）。
• 建立 Hölder 类型的加倍比控制（通过 Rₜ(x,r)）可推出支撑的 C¹,β 正则性。

提出的方法

• 将测度论平坦性量 θ(x,r) 定义为 Σ ∩ B(x,r) 到过 x 的 n-平面的归一化下确界 Hausdorff 距离。
• 引入加倍偏差量 Rₜ(x,r) = μ(B(x,tr))/μ(B(x,r)) − tⁿ，以量化渐近加倍行为。
• 证明若对紧集 K ⊂ Σ 及 t ∈ [1/2,1] 有 |Rₜ(x,r)| ≤ Cₖ r^α，则当 n ≥ 3 时，支撑 Σ 在零测度集外为 C¹,β 正则。
• 通过爆破分析与切测度方法证明：若测度渐近加倍且具有 Hölder 误差，则切测度为平坦，除非支撑光滑，否则在无穷远处与原点处的平坦性矛盾。
• 应用广义 Reifenberg 定理与 β-数控制所有尺度下测度的平坦性。
• 利用弱紧性与测度收敛性，将局部估计推广至全局正则性，证明支撑在零 n-容量集外为 C¹,β 子流形。

实验结果

研究问题

• RQ1 在 Hölder 误差界下，测度的渐近加倍性质是否在高余维数下蕴含支撑的 C¹,β 正则性？
• RQ2 在 n ≥ 3 的情形下，能否在加倍测度的正则性理论中移除 Reifenberg 平坦性假设？
• RQ3 当加倍比与 tⁿ 的偏差为 O(r^α) 时，支撑的精确正则性为何？
• RQ4 在 Hölder-加倍条件下，支撑的奇点集是否必为零 n 维 Hausdorff 测度？
• RQ5 β-数与切测度的行为如何与 Hölder-加倍控制下支撑的正则性相关？

主要发现

• 当 n = 1,2 时，若对 t ∈ [1/2,1] 有 |Rₜ(x,r)| ≤ Cₖ r^α，则支撑 Σ 是 ℝᵐ 中的 C¹,β 子流形。
• 当 n ≥ 3 时，在相同条件下，Σ 是 ℝᵐ 中的 C¹,β 子流形，除去一个满足 ℋⁿ(𝒮) = 0 的闭集 𝒮。
• Hölder 控制意味着更强的条件：对所有 t ∈ (0,1] 与 x ∈ K，有 |Rₜ(x,r)| ≤ Cₖ r^α。
• 证明依赖于爆破分析：若支撑不光滑，则切测度在无穷远处平坦但不在原点平坦，导致矛盾。
• 该结果无需假设全局 Reifenberg 平坦性，表明在 Hölder-加倍控制下，光滑性为局部性质。
• 正则性阈值 β 仅依赖于 α，且 β = β(α) > 0，对支撑的紧子集一致成立。