[论文解读] Rectifiability of pointwise doubling measures in Hilbert Space

Lisa Naples|arXiv (Cornell University)|Feb 18, 2020

Point processes and geometric inequalities参考文献 17被引用 4

一句话总结

本文通过引入多分辨率窗口族和加权琼斯函数，将分析员旅行商定理推广至希尔伯特空间，以刻画1-可求长的逐点加倍测度。证明了可求长性等价于在所有尺度下沿直线的均匀质量集中，并通过δ-网构造可求长曲线，利用几何控制与投影论证克服了无穷维的挑战。

ABSTRACT

In geometric measure theory, there is interest in studying the interaction of measures with rectifiable sets. Here, we extend a theorem of Badger and Schul in Euclidean space to characterize rectifiable pointwise doubling measures in Hilbert space. Given a measure $μ$, we construct a multiresolution family $\mathscr{C}^μ$ of windows, and then we use a weighted Jones' function $\hat{J}_2(μ, x)$ to record how well lines approximate the distribution of mass in each window. We show that when $μ$ is rectifiable, the mass is sufficiently concentrated around a lines at each scale and that the converse also holds. Additionally, we present an algorithm for the construction of a rectifiable curve using appropriately chosen $δ$-nets. Throughout, we discuss how to overcome the fact that in infinite dimensional Hilbert space there may be infinitely many $δ$-separated points, even in a bounded set. Finally, we prove a characterization for pointwise doubling measures carried by Lipschitz graphs.

研究动机与目标

• 将欧几里得空间中可求长测度的刻画推广至无穷维希尔伯特空间。
• 解决希尔伯特空间中有界集可能包含无穷多个δ-分离点的问题，该问题使标准的网构造方法变得复杂。
• 通过加权琼斯函数提出逐点准则，以识别逐点加倍测度的可求长分量。
• 提供一种通过δ-网构造可求长曲线的算法，确保其长度有限且连通。
• 利用几何与测度论条件刻画希尔伯特空间中位于利普希茨图像上的测度。

提出的方法

• 引入多分辨率窗口族 $\mathscr{C}^\mu$，以在不同尺度下局部化质量分布。
• 定义加权琼斯函数 $\hat{J}_2(\mu,x)$，量化每扇窗内直线对测度质量的逼近程度。
• 利用适配于加倍测度的维它利覆盖定理，通过下密度假设关联填装测度与测度。
• 应用闭集的豪斯多夫度量空间的完备性，证明嵌套δ-网收敛于极限曲线。
• 采用投影论证与锥条件，控制集合的几何结构，并确保投影的双利普希茨控制。
• 通过δ-网之间的桥接，递归构造可求长曲线 $\Gamma_k$，其长度估计基于虚长度与核心桥接贡献。

实验结果

研究问题

• RQ1 能否将基于琼斯函数的可求长测度刻画从 $\mathbb{R}^n$ 推广至无穷维希尔伯特空间？
• RQ2 当有界集包含无穷多个δ-分离点时，如何在希尔伯特空间中构造可求长曲线？
• RQ3 对加倍测度的何种逐点几何条件可推出其支撑集为可求长？
• RQ4 在何种条件下，逐点加倍测度由希尔伯特空间中的利普希茨图像承载？
• RQ5 能否通过加权琼斯函数与基于网的曲线构造，将分析员旅行商定理推广至希尔伯特空间？

主要发现

• 测度 $\mu$ 为1-可求长当且仅当加权琼斯函数 $\hat{J}_2(\mu,x)$ $\mu$-几乎处处有限。
• $\Gamma_k$ 从 $\Gamma_{k-1}$ 的构造确保了连通性与有限长度，其长度估计受虚长度与核心桥接贡献的控制。
• 极限曲线 $\Gamma = \bigcap_k \Gamma_k$ 为可求长，且在零测集意义下承载测度 $\mu$。
• 对于支撑于利普希茨图像上的测度 $\mu$，锥条件 $|P_V x - P_V y| \geq (1 - \alpha^2)^{1/2} |x - y|$ 暗示双利普希茨控制，并允许将结果扩展至整个图像。
• 最大锥宽度 $\eta_\alpha$ 显式有界于 $\eta_\alpha = \sqrt{1 - \left(t_1 t_2 + \sqrt{(1 - t_1^2)(1 - t_2^2)}\right)}$，其中 $t_1 = 1 - \alpha$，$t_2 = 1 - 2\alpha$，确保构造中的几何控制。
• 证明通过利用闭集的豪斯多夫度量空间的完备性，克服了无穷维性问题，确保嵌套δ-网收敛于极限曲线。