Two-Scale Frostman Measures

基本信息

• 论文ID: 2511.04302
• 标题: Two-Scale Frostman Measures
• 作者: Nicolás Angelini, Úrsula Molter
• 分类: math.CA (Classical Analysis and ODEs)
• 提交时间: 2025年11月6日
• 论文链接: https://arxiv.org/abs/2511.04302

摘要

本文建立了一个统一的Frostman型框架，连接了经典的Hausdorff维数与Falconer、Fraser和Kempton最近引入的中间维数族$\dim_\theta$。作者定义了一个新的几何量$\mathcal{D}(E)$，并证明在温和的假设条件下，存在一族支撑在$E$上的测度$\{\mu_\delta\}$，同时满足两个衰减条件，分别对应于Hausdorff和中间维数的Frostman不等式。这种$(\delta, s, t)$-Frostman测度允许对集合$E$的维数进行双尺度刻画。

研究背景与动机

研究问题

分形维数理论的核心问题是如何在多尺度上定量描述集合的精细几何结构。本文要解决的关键问题是：如何建立一个统一的测度论框架，同时刻画集合在经典Hausdorff维数和新引入的中间维数两个层面的几何性质。

问题重要性

1. 理论意义：经典Frostman引理是分形几何的基石，它建立了Hausdorff维数与测度衰减率之间的对应关系。随着中间维数理论的发展，需要相应的测度论刻画。
2. 维数谱的连续性：中间维数$\dim_\theta E$在$\theta \in (0,1]$上连续地插值于Hausdorff维数和盒维数之间，捕捉了更丰富的尺度行为。需要相应的测度论工具来理解这种插值结构。
3. 应用价值：这种双尺度刻画对于理解分形集的局部和全局结构都有重要意义，可应用于投影定理、像集分析等多个研究方向。

现有方法的局限性

1. 经典Frostman引理只提供单一尺度的测度衰减条件：$\mu(B(x,r)) \leq cr^s$，仅刻画Hausdorff维数。
2. 中间维数的Frostman刻画（命题1.1）仅在受限的尺度范围$[\delta^{1/\theta}, \delta]$内工作，无法同时控制更小尺度的行为。
3. 缺乏统一框架：没有现成的理论同时处理不同尺度范围的测度衰减行为。

研究动机

作者的出发点是：**能否构造一族测度，在小尺度$r < \delta^{1/\theta}$和中间尺度$r \in [\delta^{1/\theta}, \delta]$上同时满足不同的多项式衰减率？**这需要引入新的几何参数来刻画集合在精细分解下的分布特性。

核心贡献

1. 引入新的几何量：定义了二进维数（Dyadic dimension） $\mathcal{D}(E)$，刻画集合在二进立方体逐级细分过程中的分布特性： $\mathcal{D}(E) := \liminf_{n\to\infty} \frac{\log N_n(E)}{\log 2}$ 其中$N_n(E)$是最小的子立方体数量。
2. 建立双尺度Frostman框架：证明了主定理（定理3.2），在$0 < \mathcal{D}(E)$的条件下，对于$0 < s < \mathcal{D}(E)$和$0 < t < \dim_\theta E$（且$s \leq t$），存在$(\delta, s, t)$-Frostman测度$\mu_\delta$满足：c(\delta^{1/\theta})^{t-s}r^s, & r \in (0, \delta^{1/\theta}) \\ cr^t, & r \in [\delta^{1/\theta}, \delta] \end{cases}$$
3. 统一经典与现代理论：该框架自然地包含了经典Frostman引理（当$s=t$时）和中间维数的Frostman刻画作为特例。
4. 提出开放问题：明确提出了将$\mathcal{D}(E)$替换为更自然的下维数$\dim_L E$甚至Hausdorff维数$\dim_H E$的可能性（问题3.1）。

方法详解

任务定义

输入：紧致集$E \subset \mathbb{R}^d$，参数$\theta > 0$，维数参数$s, t > 0$满足$s < \mathcal{D}(E)$，$t < \dim_\theta E$，$s \leq t$。

输出：一族Radon测度$\{\mu_\delta\}_{\delta > 0}$支撑在$E$上。

约束条件：测度必须满足双尺度衰减不等式（3），在不同尺度范围内有不同的多项式衰减率。

构造方法架构

1. 二进维数的定义（Definition 3.1）

对于二进分割$\mathcal{D}_n$（将$\mathbb{R}^d$分为$2^{dn}$个半开立方体），定义： N_n(E) = \min_{Q \in \mathcal{D}_n} \\#\{Q' \in \mathcal{D}_{n+1} : Q' \cap (E \cap Q) \neq \emptyset\}

这个量度量了在最"稀疏"的二进立方体中，集合$E$在下一级细分中至少占据多少个子立方体。

2. 测度构造的核心思想

构造分为以下步骤：

步骤1：初始尺度选择

• 给定$\delta_k$（来自$\dim_\theta E$定义中的序列），选择唯一整数$m$使得$2^{-m-1} < \delta_k^{1/\theta} \leq 2^{-m}$
• 这确定了中间尺度的起点

步骤2：初始测度$\mu_m$的定义 引入关键参数$\Phi_{m+1}(Q)$，对于$Q \in \mathcal{D}_n$（$n \geq m+1$）： \Phi_{m+1}(Q) = \prod_{i=0}^{n-(m+1)} \\#Q_{n-i}(Q_i^*)

其中$Q_i^*$是包含$Q$的$\mathcal{D}_{n-i}$中的立方体，\\#Q_{n-i}(Q_i^*)是与$E \cap Q_i^*$相交的$\mathcal{D}_{n-i}$中立方体数量。

定义：