Measure theoretic properties of large products of consecutive partial quotients

“连续部分商之乘积的大规模乘积的测度论性质”技术摘要

问题陈述
本文研究了由其正则连分数展开中连续部分商之乘积的行为所定义的无理数集合的测度论及分形性质。具体而言，对于一个非减函数 $\phi: \mathbb{N} \to \mathbb{R}_{\ge 2}$ 和一个固定的整数 $\ell \ge 1$，作者研究了集合 $F_\ell(\phi)$，该集合由满足以下条件的无理数 $x \in [0,1)$ 组成：对于无穷多个 $n$，存在两个不同的下标 $1 \le j < k \le n$，使得起始于 $j$ 和 $k$ 的长度为 $\ell$ 的连续部分商之积均超过 $\phi(n)$：
$$a_j(x)\cdots a_{j+\ell-1}(x) \ge \phi(n) \quad \text{且} \quad a_k(x)\cdots a_{k+\ell-1}(x) \ge \phi(n).$$
这一问题扩展了以往关于单个部分商（$E_1(\phi)$）和两个连续商之乘积（$E_2(\phi)$）的研究，以及近期关于存在两个大块（$F_1(\phi)$ 和 $F_2(\phi)$）的研究结果。核心挑战在于确定任意 $\ell \ge 2$ 时 $F_\ell(\phi)$ 的勒贝格测度和豪斯多夫维数，特别是处理由于重叠的部分商块所引起的复杂相互作用。

方法论
作者结合了遍历理论、连分数动力系统和解析数论。

1. 勒贝格测度分析：

   • 收敛情形： 为了证明当特定级数收敛时 $m(F_\ell(\phi)) = 0$，作者利用 Borel-Cantelli 引理。他们通过根据两个长度为 $\ell$ 的块之间的距离将问题分解，来估计在第 $n$ 步满足条件的集合的测度。
   • 发散情形： 为了证明当级数发散时 $m(F_\ell(\phi)) = 1$，他们利用 Chung-Erdős 不等式来建立 limsup 集合的测度下界。关键的一步是证明该集合与每个基本区间的大部分相交，从而允许应用 Knopp 引理。
   • 关键技术工具： 该证明高度依赖于关于重叠块中部分商乘积之级数的新估计。定理 3.4 提供了在乘积约束下，形式为 $\sum \frac{1}{a_1^2 \cdots a_r^2 b_1^2 \cdots b_j^2 c_1^2 \cdots c_r^2}$ 的和式的渐近界，这考虑了从长度 $0$到$\ell-1$ 的重叠的组合复杂性。

2. 豪斯多夫维数分析：

   • 作者利用 Gauss 映射 $T$ 的热力学形式。维数通过压力函数 $P(T, \psi)$ 进行刻画，其中势函数 $\psi$ 取决于 $\phi$ 的增长率（记作 $B_\phi$）和维数参数 $s$。
   • 下界： 通过在 $F_\ell(\phi)$ 内构造一个对部分商具有特定约束的类 Cantor 子集 $S_\ell$ 来构建。应用质量分布原理（Mass Distribution Principle），并在代表增长率分布的参数族 $(x,y)$ 上最大化维数。
   • 上界： 通过构造 $F_\ell(\phi)$ 的高效覆盖来建立。该集合根据两个大乘积块之间重叠长度的不同（例如：无重叠、长度为 1 的重叠等）进行划分。对于每个子集，作者利用引理 3.9 和引理 3.10 的估计，通过对覆盖区间直径的 $s$ 次幂求和，推导出 $s$ 维豪斯多夫测度的上界。

主要贡献与结果

1. 勒贝格测度结果的推广（定理 1.5）：
   本文确定了对于任何 $\ell \ge 2$，$F_\ell(\phi)$ 的勒贝格测度。测度为 0 或 1 取决于以下级数的收敛或发散情况：
   $$\sum_{n=1}^\infty \left( \frac{n \log^{2(\ell-1)} \phi(n)}{\phi^2(n)} + \frac{\log^{\ell-2} \phi(n)}{\phi(n)} \right).$$
   第一项对应于非重叠块，第二项则解释了重叠块的情况。这推广了定理 1.3 ($\ell=1$) 和定理 1.4 ($\ell=2$)。

2. $\ell=3$ 时豪斯多夫维数的计算（定理 1.10）：
   作者显式计算了 $F_3(\phi)$ 的豪斯多夫维数。对于 $1 < B_\phi < \infty$，维数由下式给出：
   $$\dim_H F_3(\phi) = \inf \{ s \ge 0 : P(T, -g(s)\log B_\phi - s \log |T'|) \le 0 \},$$
   其中 $g(s) = \frac{3s^3 - 5s^2 + 4s - 1}{s^2 - s + 1}$。这一结果扩展了 $\ell=1$ 和 $\ell=2$ 的已知公式。

3. 对大数强法的意义：
   测度结果的一个推论是，即使移除具有最大乘积的块，对于 $\ell$ 个连续部分商之乘积的和，大数强法仍然失效。具体而言，对于几乎所有的 $x$，归一化和（减去最大项）的上极限为无穷大。

重要性与主张
论文声称，定理 1.5 是将关于部分商乘积之和的大数法扩展到任意 $\ell$ 的“关键步骤”。作者猜想，利用这些测度论工具，可以证明对于几乎所有的 $x$：
$$\lim_{n \to \infty} \frac{1}{n \log^\ell n} \left( \sum_{j=1}^n a_j(x)\cdots a_{j+\ell-1}(x) - \max_{1 \le k \le n} a_k(x)\cdots a_{k+\ell-1}(x) \right) = \frac{1}{\ell \log 2}.$$
作者还指出，定理 1.10 的证明技术似乎可以适配以计算 $\ell \ge 4$ 时 $\dim_H F_\ell(\phi)$，尽管本文并未提供势函数的显式递归公式。这项工作被呈现为理解连分数中大乘积统计行为的基础性步骤，通过豪斯多夫维数区分零集，并确立了某些大数法的不可行性。