[论文解读] A remark on the extreme value theory for continued fractions

Lulu Fang, Kunkun Song|arXiv (Cornell University)|Aug 15, 2016

Mathematical Dynamics and Fractals参考文献 16被引用 4

一句话总结

本文研究了区间 (0,1) 中实数集合的 Hausdorff 维数，其连分数部分商的最大值经由双指数函数 φ(n) = c^{b^{n^α}} 归一化后收敛于常数 β。通过 Cantor 型构造与区间分析，本文证明当增长速率 α 超过 1 时，维数从 1/2 递减至 0，具体数值取决于 α 和 b，从而填补了连分数极端值理论中的一个空白。

ABSTRACT

Let $x$ be a irrational number in the unit interval and denote by its continued fraction expansion $[a_1(x), a_2(x), \cdots, a_n(x), \cdots]$. For any $n \geq 1$, write $T_n(x) = \max_{1 \leq k \leq n}\{a_k(x)\}$. We are interested in the Hausdorff dimension of the fractal set \[ E_ϕ= \left\{x \in (0,1): \lim_{n o \infty} \frac{T_n(x)}{ϕ(n)} =1 ight\}, \] where $ϕ$ is a positive function defined on $\mathbb{N}$ with $ϕ(n) o \infty$ as $n o \infty$. Some partial results have been obtained by Wu and Xu, Liao and Rams, and Ma. In the present paper, we further study this topic when $ϕ(n)$ tends to infinity with a doubly exponential rate as $n$ goes to infinity.

研究动机与目标

• 确定集合 E_φ = {x ∈ (0,1) : limₙ→∞ Tₙ(x)/φ(n) = 1} 的 Hausdorff 维数，其中 Tₙ(x) 表示 x 的前 n 个部分商的最大值。
• 将先前关于 φ(n) 的多项式与单指数增长速率的结果扩展至双指数增长 φ(n) = c^{b^{n^α}} 的情形。
• 解决在单指数速率下临界点 α = 1/2 处 Hausdorff 维数的开放问题，并将其推广至更高阶增长情形。
• 分析 E_φ 的 Hausdorff 维数如何依赖于双指数函数中的参数 b, c > 1 和 α > 0。

提出的方法

• 构造一个与连分数展开相关的 Cantor 型集合 F_N(b,c,α,β)，其部分商在 n ≥ N 时下界为 m_n = ⌊c^{b^{n^α}}/n⌋ + 1。
• 利用 Gauss 测度与柱集理论估计区间长度及其间隙，确保不同层级区间之间的分离性。
• 应用间隙条件，通过连分数逼近理论推导出不同 n 级区间间最小距离的下界：ε_n ≥ 1/(8 ∏_{k=1}^n (τ_k + 1))^2。
• 运用质量传递原理与区间覆盖技术，通过 liminf 公式推导 Hausdorff 维数的下界：dim_H E ≥ liminfₙ→∞ log(m₁⋯mₙ) / (−log(m_{n+1}ε_{n+1}))。
• 分析求和 ∑_{k=1}^n b^{k^α} 的渐近行为，以根据增长速率 α 确定维数，区分 α ∈ (0,1)、α = 1 和 α > 1 三种情形。
• 建立匹配的上下界，证明在双指数归一化下集合 E_φ 的 Hausdorff 维数为精确值。

实验结果

研究问题

• RQ1 对于 φ(n) = c^{b^{n^α}} 且 b, c > 1 与 β > 0 的情形，使得前 n 个部分商最大值 Tₙ(x) 经 φ(n) 归一化后收敛于正数 β 的 (0,1) 中实数集合的 Hausdorff 维数是多少？
• RQ2 该集合的 Hausdorff 维数如何随双指数函数 c^{b^{n^α}} 中的指数 α 变化？
• RQ3 当 φ(n) 的增长率超过单指数速率时，特别是过渡点 α = 1 时，维数会发生什么变化？
• RQ4 维数是否依赖于双指数函数的底数 b？若依赖，其依赖关系如何？
• RQ5 在双指数情形下，能否对维数给出精确的上下界估计？

主要发现

• 当 φ(n) = c^{b^{n^α}} 且 b, c > 1 与 β > 0 时，若 0 < α < 1，则 E_φ 的 Hausdorff 维数恰好为 1/2。
• 当 α = 1 时，E_φ 的 Hausdorff 维数为 1/(b+1)，明确显示出对双指数函数底数 b 的依赖性。
• 当 α > 1 时，E_φ 的 Hausdorff 维数衰减至 0，表明此类集合在区间 (0,1) 中变得越来越稀疏。
• 维数的下界来源于求和 ∑_{k=1}^n b^{k^α} 的渐近增长，其比值决定了极限值。
• 结果确认了在 α = 1 处存在维数的相变，行为从 1/2 转变为随 b 增大而减小的值。
• 分析表明，当 α = 1 时，维数由双指数函数中的第二个底数 b 决定，凸显了内层指数运算在控制分形复杂性中的关键作用。