[论文解读] A sharp bound on the Hausdorff dimension of the singular set of an n-uniform measure

A. Dali Nimer|arXiv (Cornell University)|Oct 13, 2015

Mathematical Dynamics and Fractals参考文献 8被引用 7

一句话总结

本文建立了 $ \mathbb{R}^d$ 中 $n$-均匀测度的奇异集的 Hausdorff 维数的严格上界，证明其至多为 $n-3$。通过利用爆破方法和锥形测度的极坐标分解进行维数约化，作者表明 Kowalski-Preiss 锥形例子（其维数恰好为 $n-3$）是最优的，从而解决了几何测度论中关于此类测度的最大可能奇异集维数的一个关键开放问题。

ABSTRACT

The study of the geometry of $n$-uniform measures in $\mathbb{R}^{d}$ has been an important question in many fields of analysis since Preiss' seminal proof of the rectifiability of measures with positive and finite density. The classification of uniform measures remains an open question to this day. In fact there is only one known example of a non-trivial uniform measure, namely $3$-Hausdorff measure restricted to the Kowalski-Preiss cone. Using this cone one can construct an $n$-uniform measure whose singular set has Hausdorff dimension $n-3$. In this paper, we prove that this is the largest the singular set can be. Namely, the Hausdorff dimension of the singular set of any $n$-uniform measure is at most $n-3$.

研究动机与目标

• 确定 $ \mathbb{R}^d$ 中 $n$-均匀测度的奇异集的最大可能 Hausdorff 维数。
• 解决对 $n$-均匀测度的分类问题，超越平坦情形和 Kowalski-Preiss 锥形例子。
• 证明任意 $n$-均匀测度的奇异集维数不可能超过 $n-3$，且 Kowalski-Preiss 锥形构造可实现等号。
• 通过爆破不变性和归纳法，将分析从基例 $n=3$ 推广至一般 $n \geq 3$。

提出的方法

• 证明从锥形 $n$-均匀测度开始，这类测度在缩放下不变，并可分解为径向与球面对应的极坐标形式。
• 关键步骤在于证明：若一测度为锥形且 $n$-均匀，则其支撑集为一条直线与一个低维集合的乘积，利用某一方向上的平移不变性。
• 该论证采用 Federer 的维数约化技术并将其适配于均匀测度，依赖于奇异集在爆破操作下的行为。
• 证明通过归纳法对 $n$ 进行，从基例 $n=3$ 开始，此时证明锥形 $3$-均匀测度的奇异集至多只有一个奇异点（即原点）。
• 对于更高维 $n$，奇异集通过乘积结构与低一维的均匀测度的奇异集相关联，从而实现递归维数估计。
• 最终上界通过结合归纳假设与乘积集的 Hausdorff 维数至多为各因子维数之和的性质得出。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^d$ 中，$n$-均匀测度的奇异集的最大可能 Hausdorff 维数是多少？
• RQ2 能否证明 Kowalski-Preiss 锥形（其奇异集维数为 $n-3$）是在奇异集维数方面最坏情况的极端情形？
• RQ3 是否存在一个对所有 $n$-均匀测度都适用的、与环境维数 $d$ 无关的、紧致且精确的奇异集维数上界？
• RQ4 在均匀测度的背景下，奇异集在爆破操作下的行为如何？
• RQ5 Federer 的可 rectify 性理论中的维数约化技术能否被适配于均匀测度，以控制奇异集的维数？

主要发现

• 任意 $ \mathbb{R}^d$ 中 $n$-均匀测度的奇异集的 Hausdorff 维数至多为 $n-3$，且该上界是精确的。
• Kowalski-Preiss 锥形提供了一个构造，其奇异集恰好具有维数 $n-3$，证明了该上界是最优的。
• 当 $n=3$ 时，锥形 $3$-均匀测度的唯一奇异点是原点，确立了归纳法的基例。
• $n$-均匀测度的奇异集包含于一条直线与 $(n-1)$-均匀测度奇异集的乘积中，从而支持归纳维数估计。
• 该证明依赖于 $n$-均匀测度的爆破保持均匀性性质，使得切测度的递归分析成为可能。
• 该结果确认了 KP 锥形在奇异集维数方面是极端情形，从而解决了几何测度论中长期存在的一个开放问题。