[论文解读] An elementary proof for the dimension of the graph of the classical Weierstrass function

Gerhard Keller|arXiv (Cornell University)|Jun 13, 2014

Mathematical Dynamics and Fractals参考文献 9被引用 9

一句话总结

本文提出了一种初等证明，表明经典魏尔斯特拉斯函数 $ W_{\rho,b}(x) = \sum_{n=0}^{\infty} \rho^n \cos(2\pi b^n x) $ 的图像的豪斯多夫维数为 $ 2 + \frac{\log \rho}{\log b} $，其中 $ \rho \in (\lambda_b, 1) $，采用伸缩求和论证和递归多尺度估计，而非高级的双曲测度理论。该结果在不依赖勒德拉皮耶尔–杨维数理论的前提下，证实了曼德布罗特在该参数范围内的猜想。

ABSTRACT

Let $W_{λ,b}(x)=\sum_{n=0}^\inftyλ^n g(b^n x)$ where $b\geqslant2$ is an integer and $g(u)=\cos(2πu)$ (classical Weierstrass function). Building on work by Ledrappier (1992), Baránsky, Bárány and Romanowska (2013) and Tsujii (2001), we provide an elementary proof that the Hausdorff dimension of $W_{λ,b}$ equals $2+\frac{\logλ}{\log b}$ for all $λ\in(λ_b,1)$ with a suitable $λ_b<1$. This reproduces results by Baránsky, Bárány and Romanowska without using the dimension theory for hyperbolic measures of Ledrappier and Young (1985,1988), which is replaced by a simple telescoping argument together with a recursive multi-scale estimate.

研究动机与目标

• 提供魏尔斯特拉斯函数图像豪斯多夫维数的更简单、更易理解的证明，避免依赖双曲测度的高级维数理论。
• 在不使用勒德拉皮耶尔–杨理论的前提下，重现巴朗斯基本、巴朗斯基和罗曼诺夫斯卡关于魏尔斯特拉斯图像维数的结果。
• 通过初等递归估计和伸缩求和论证，证明维数公式 $ D = 2 + \frac{\log \rho}{\log b} $ 在 $ \rho \in (\lambda_b, 1) $ 范围内成立。
• 通过直接方法阐明从分段线性函数 $ g(u) = \text{dist}(u, \mathbb{Z}) $ 到非线性函数 $ g(u) = \cos(2\pi u) $ 的过渡过程，尤其关注该过程的内在机制。
• 将该方法推广至 $ g(u) = \text{dist}(u, \mathbb{Z}) $ 的情形，将维数问题与无限伯努利卷积的绝对连续性联系起来。

提出的方法

• 该证明用伸缩求和论证替代了双曲测度维数理论，以控制不同尺度下测度的增长。
• 采用递归多尺度估计来控制图像投影落在特定区间内的集合的测度，依赖于条件概率和保测映射。
• 关键估计涉及对满足 $ \Theta_z(\xi,x) \in \mathbb{L}_x $ 的集合的测度进行有界，利用无限伯努利卷积的条件密度 $ h_x $ 及与光滑核的卷积。
• 论证使用了一组嵌套集合 $ G_{r,k}(z) $，并估计了其在变换 $ \Theta_{z,k} $ 下的原像测度，递归界涉及 $ \gamma = 1/(b\rho) < 1 $。
• 一个关键步骤是使用不等式 $ m^2\{ \cdots \} \leq r^{-2\delta} \cdot 4R_{k,3}\gamma^{d_k} \cdot m^2\{ \cdots \} $，该不等式将尺度 $ k $ 的测度与尺度 $ k-1 $ 的测度联系起来。
• 该证明利用了津吉的横截性估计以及巴朗斯基等人提供的数值界，以控制测度在不同尺度间的衰减，确保维数公式成立。

实验结果

研究问题

• RQ1 能否仅使用初等方法证明魏尔斯特拉斯函数图像的豪斯多夫维数为 $ 2 + \frac{\log \rho}{\log b} $，而无需依赖双曲测度维数理论的完整体系？
• RQ2 如何以直接且概念性的方式实现从分段线性情形 $ g(u) = \text{dist}(u, \mathbb{Z}) $ 到非线性余弦情形 $ g(u) = \cos(2\pi u) $ 的过渡？
• RQ3 无限伯努利卷积的绝对连续性在决定魏尔斯特拉斯图像维数中起到何种作用？
• RQ4 能否通过递归估计和伸缩求和论证，而非动力系统和不变测度，建立 $ \rho \in (\lambda_b, 1) $ 范围内的维数结果？
• RQ5 津吉的横截性估计与巴朗斯基等人提供的数值界，如何与初等测度论技术结合，以导出维数公式？

主要发现

• 对于所有 $ \rho \in (\lambda_b, 1) $，魏尔斯特拉斯函数 $ W_{\rho,b} $ 图像的豪斯多夫维数为 $ 2 + \frac{\log \rho}{\log b} $，其中 $ \lambda_b $ 是依赖于 $ b $ 的阈值，该结果通过初等方法得到证实。
• 该证明避免使用勒德拉皮耶尔–杨双曲测度维数理论，转而采用伸缩求和论证和递归多尺度测度估计。
• 当 $ b=2 $ 时，若参数为 $ \gamma = 1/(2\rho) $ 的无限伯努利卷积具有平方可积密度，则结果成立，该条件对 Lebesgue 几乎所有 $ \rho \in (1/2, 1) $ 成立。
• 该方法在分段线性和非线性情形的 $ g(u) $ 之间建立了概念上的桥梁，表明维数取决于相关伯努利卷积的绝对连续性。
• 递归估计 $ m^2\{ \cdots \} \leq r^{-2\delta} \cdot 4R_{k,3}\gamma^{d_k} \cdot m^2\{ \cdots \} $ 是控制不同尺度间测度衰减的核心。
• 最终的界 $ m^2\{ (\xi,x) \in \mathbb{I}^2 \setminus E_r : \Theta_z(\xi,x) \in \mathbb{L}_x \} \leq \text{const} \cdot r^{1-2\eta} |z|^{-(1-\eta)} $ 在满足条件时确认了维数公式。