[论文解读] Sharp dimension bounds for Furstenberg-type sets

Ursula Molter, Ezequiel Rela|arXiv (Cornell University)|Jun 24, 2010

Mathematical Approximation and Integration参考文献 18被引用 3

一句话总结

本文通过构造 $F_\alpha$ 中具有精确 Hausdorff 测度衰减的集合，建立了 Furstenberg 型集合的严格维数界限，改进了先前的界限，并证明了对于零维测度函数 $\log^{-\gamma}(1/x)$，$\gamma > 0$，与之相关的 Furstenberg 集合的 Hausdorff 维数的下确界为 $1/2$。该构造通过优化先前方法，实现了最优维数估计。

ABSTRACT

For $\alpha$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $\alpha$ or $F_\alpha$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $\alpha$. In this paper we show that if $\alpha > 0$, there exists a set $E\in F_\alpha$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2\alpha}\log^{- heta}(\frac{1}{x})$, $ heta>\frac{1+3\alpha}{2}$, which improves on the the previously known bound, that $H^{\beta}(E) = 0$ for $\beta>1/2+3/2\alpha$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_\gamma(x)=\log^{-\gamma}(\frac{1}{x})$, $\gamma>0$, we construct a set $E_\gamma\in F_{\h_\gamma}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_\gamma}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_\gamma$.

研究动机与目标

• 改进关于 $F_\alpha$-型 Furstenberg 集合的 Hausdorff 测度衰减的已知上界。
• 确定与零维测度函数 $\log^{-\gamma}(1/x)$ 相关的 Furstenberg 集合的 Hausdorff 维数的严格下确界。
• 构造显式例子，证明 $F_\alpha$-集合可达到此类测度函数下 $1/2$ 的最优维数界限。
• 优化现有的几何测度论技术，以在 Furstenberg 型集合的背景下实现严格的维数估计。

提出的方法

• 构造一个集合 $E \in F_\alpha$，使得对于 $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ 且 $\theta > (1 + 3\alpha)/2$，有 $\HH{g}(E) = 0$，从而改进先前的界限。
• 优化几何与测度论论证，以处理零维测度函数 $\h_\gamma(x) = \log^{-\gamma}(1/x)$ 的临界情形。
• 采用新颖的迭代或平均化构造方法，确保在每个方向上，与线段的交集的 Hausdorff 维数至少为 $\alpha$，同时控制集合的整体维数。
• 应用精确的测度函数估计，证明所构造的集合 $E_\gamma$ 的 Hausdorff 维数至多为 $1/2$，与已知的下确界一致。
• 通过证明任何此类集合的维数均不能小于 $1/2$，从而证明界限的严格性，填补了维数估计中的空白。

实验结果

研究问题

• RQ1 Furstenberg 型集合 $\alpha$ 的 Hausdorff 测度的最优衰减率是什么？
• RQ2 此前已知的 $F_\alpha$-集合维数上界 $1/2 + 3/2\alpha$ 是否可以改进？
• RQ3 $1/2$ 是否为与测度函数 $\log^{-\gamma}(1/x)$ 相关的 Furstenberg 集合的 Hausdorff 维数的严格下确界？
• RQ4 如何优化 $F_\alpha$-集合的构造，以在零维测度函数下实现恰好 $1/2$ 的维数？
• RQ5 测度函数 $\h_\gamma$ 与 $F_{\h_\gamma}$-集合的最小可能维数之间的确切关系是什么？

主要发现

• 本文构造了一个集合 $E \in F_\alpha$，使得对于 $g(x) = x^{1/2 + 3/2\alpha} \log^{-\theta}(1/x)$ 且 $\theta > (1 + 3\alpha)/2$，有 $\HH{g}(E) = 0$，改进了先前的界限（即 $H^\beta(E) = 0$ 对于 $\beta > 1/2 + 3/2\alpha$）。
• 对于测度函数 $\h_\gamma(x) = \log^{-\gamma}(1/x)$ 且 $\gamma > 0$，构造了一个集合 $E_\gamma \in F_{\h_\gamma}$，其 Hausdorff 维数至多为 $1/2$，达到了最优界限。
• 证明了 $1/2$ 是任意 $E \in F_{\h_\gamma}$ 的 Hausdorff 维数的严格下确界，因此所构造的集合达到了最小可能维数。
• 优化的构造方法可对每个方向上与直线的交集维数实现精确控制，从而确保满足 $F_{\h_\gamma}$-集合的条件。
• 结果表明，$1/2$ 是与零维测度函数 $\h_\gamma$ 相关的整个 Furstenberg 集类的严格维数界限，解决了该领域长期存在的问题。