[论文解读] Metrical properties for the weighted products of multiple partial quotients in continued fractions

Ayreena Bakhtawar, Mumtaz Hussain+2 more|arXiv (Cornell University)|Feb 22, 2022

Mathematical Dynamics and Fractals被引用 5

一句话总结

本文研究了在连分数展开中，由多个连续部分商的加权乘积所定义集合的度量性质。利用热力学形式化和质量分布技术，本文确定了此类集合的豪斯多夫维数，推广了经典结果，将每个部分商在乘积中的独立权重纳入考量，并通过迭代函数系统在权重函数增长条件变化时提供了维数的精确估计。

ABSTRACT

The classical Khintchine and Jarník theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real numbers for which the partial quotients in their continued fraction expansions grows with a certain rate. Recently it was observed that the growth of product of pairs of consecutive partial quotients in the continued fraction expansion of a real number is associated with improvements to Dirichlet's theorem. In this paper we consider the products of several consecutive partial quotients raised to different powers. Namely, we find the Lebesgue measure and the Hausdorff dimension of the following set: $$ {\D_{\mathbf t}}(ψ):=\left\{x\in[0, 1): \prod\limits_{i=0}^{m-1}{a^{t_i}_{n+i}(x)} \ge Ψ(n)\ { ext{for infinitely many}} \ n\in \N ight\}, $$ where $t_i\in\mathbb R_+$ for all ${0\leq i\leq m-1}$, and $Ψ:\N o\R_{\ge 1}$ is a positive function.

研究动机与目标

• 通过研究连分数中多个连续部分商的加权乘积，推广度量丢番图逼近中的经典结果。
• 确定集合 $\mathcal{E}_{\mathbf{t}}(\psi)$ 的勒贝格测度与豪斯多夫维数，其中 $m$ 个连续部分商的乘积分别以个体幂 $t_i$ 作用后，超过给定函数 $\Psi(n)$ 无限多次。
• 将 Wang-Wu 定理中关于 $\mathcal{E}(\Psi)$ 维数的框架扩展至部分商的加权、多术语乘积。
• 通过识别哪些部分商对维数有显著贡献，解决一般 $m$-情形下豪斯多夫维数上界与下界之间的差异。

提出的方法

• 作者将集合 $\mathcal{E}_{\mathbf{t}}(\Psi)$ 定义为 $[0,1)$ 中满足 $\prod_{i=0}^{m-1} a_{n+i}(x)^{t_i} \geq \Psi(n)$ 对无限多个 $n$ 成立的 $x$ 的集合，其中 $t_i > 0$ 且 $\Psi: \mathbb{N} \to \mathbb{R}_{\geq 1}$。
• 他们使用 $[0,1)$ 上的高斯映射 $T$ 来建模连分数动力系统，并应用热力学形式化，特别是压强函数 $P(T, \phi)$，以分析该集合的维数。
• 通过基于部分商增长速率与权重 $t_i$ 的分配，构建一个在 $\mathcal{E}_{\mathbf{t}}(\Psi)$ 的康托型子集上的质量分布 $\mu$，确保在固定部分商的区间间保持一致性。
• 通过质量分布原理估计维数，其中区间的测度通过函数 $\alpha_0 = \widetilde{A}^{1/t_0}$ 和 $\alpha_1 = (\widetilde{B}/\widetilde{A})^{1/t_1}$ 递归定义，并应用压强条件以推导临界指数。
• 引入一个迭代函数 $f_{t_0,\dots,t_{\ell}}(s)$ 以模拟每个权重对维数的有效贡献，通过在分母中引入之前权重的最大值来考虑非贡献项的影响。
• 上界由压强条件 $P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0$ 导出，而下界则通过在 limsup 集上精心构造的测度建立，间隙与分母增长估计已适配至加权情形。

实验结果

研究问题

• RQ1 对于 $[0,1)$ 中满足 $m$ 个连续部分商的加权乘积无限多次超过给定函数 $\Psi(n)$ 的实数集合，其豪斯多夫维数是多少？
• RQ2 分配给连续部分商的个体权重 $t_i$ 如何影响此类集合的度量与维数性质？
• RQ3 能否利用热力学形式化将经典集合 $\mathcal{E}(\Psi)$ 的维数公式推广至多个部分商的加权乘积？
• RQ4 当 $\Psi(n)$ 呈指数或超指数增长时，$\Psi(n)$ 的增长速率与最终维数之间存在何种关系？
• RQ5 在乘积 $\prod_{i=0}^{m-1} a_{n+i}^{t_i}$ 中，哪些部分商对维数有显著贡献，而哪些可因相对权重较小而被忽略？

主要发现

• 集合 $\mathcal{E}_{\mathbf{t}}(\Psi)$ 的豪斯多夫维数上界为 $\inf\{s \geq 0 : P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0\}$，其中 $f_{\mathbf{t}}(s)$ 是一个递归定义的函数，整合了权重 $t_i$。
• 对于下界，作者证明了 $\dim_H \mathcal{E}_{\mathbf{t}}(\Psi) \geq \inf\{s \geq 0 : P(T, -s\log|T'| - f_{t_0,t_1}(s)\log B) \leq 0\}$，表明在最坏情况下，维数由前两个权重决定。
• 当 $1 < B < \infty$ 时，维数严格大于 $1/2$，推广了经典结果 $\dim_H \mathcal{E}(\Psi) > 1/2$（当 $B < \infty$ 时），但现对权重 $t_i$ 的依赖关系更加精细。
• 维数公式依赖于函数 $f_{t_0,\dots,t_{m-1}}(s)$，该函数通过递归方式定义，并整合了之前权重的最大值，表明仅最重要的权重影响最终维数。
• 本文猜想，对所有 $m \geq 2$，上界与下界一致，即完整维数公式为 $\dim_H \mathcal{E}_{\mathbf{t}}(\Psi) = \inf\{s \geq 0 : P(T, -s\log|T'| - f_{\mathbf{t}}(s)\log B) \leq 0\}$，尽管 $m > 2$ 时的证明仍为开放问题。
• 分析表明，乘积中并非所有部分商对维数的贡献均等；由于递归函数分母中的最大值项，$t_i$ 值较小的部分商可能在渐近意义上可忽略。