Weighted error-sum identities for periodic continued fractions and their generalizations

技术摘要：周期连分数及其推广的加权误差和恒等式

问题陈述
本文研究了源于连分数渐近分数（convergents）的逼近误差。对于实数 $\xi$，其渐近分数为 $h_n/k_n$，局部逼近误差定义为 $\varepsilon_n = h_n - \xi k_n$。虽然这些误差的渐近行为已得到充分研究，但本文关注的是加权误差和的全局结构，即级数：
$$f_\xi(s) = \sum_{n=-1}^{\infty} a_{n+1} |h_n - \xi k_n|^s$$
其中 $s \ge 1$。本文的主要目标是当 $\xi$ 为纯周期二次无理数（即 $\xi = [a_0, a_1, \dots, a_{N-1}]$）时，推导这些和的显式闭合表达式。此外，作者试图将其结果推广到具有非单位分子的广义连分数，从而推导出关于数学常数 $\pi$ 和 $\ln 2$ 的恒等式。

研究方法
作者结合了线性代数、经典数论和连分数理论。其方法的核心在于观察到，对于纯周期连分数，逼近误差序列可以分解为 $N$ 个几何子序列。

本文提出了三种独立的证明方法用于该几何分解（定理 2.1）：

1. 矩阵动力学： 通过定义作用在连续误差向量 $(\varepsilon_n, \varepsilon_{n-1})^T$ 上的循环周期矩阵 $M_r$，作者表明这些矩阵具有相同的特征值。误差向量的收缩由特征值 $\rho$ 控制，$\rho$ 是特定代数单位 $u$ 的共轭。
2. 代数共轭： 利用 $\xi$ 所满足的二次方程和韦达定理，作者直接推导出了误差的递推关系，表明 $\varepsilon_{n+N} = \rho \varepsilon_n$，而无需显式使用矩阵符号。
3. 完全商： 通过分析完全商 $\xi_n$ 及其在一个周期内的乘积，作者将误差项与这些商的乘积联系起来，从而再次确立了几何级数关系。

一旦建立了误差的几何性质（$\varepsilon_{mN+r} = \varepsilon_r \rho^m$），即可通过对所得几何级数求和来计算加权和 $f_\xi(s)$。公比 $\rho$ 被确定为周期单位 $u = k_{N-1}\xi + k_{N-2}$ 的共轭。

对于形式为 $\xi = a_0 + \frac{b_1}{a_1 + \frac{b_2}{a_2 + \dots}}$ 的广义连分数，作者利用了一种代数级数消去（telescoping）论证。通过定义 $c_n = 1/B_n$（其中 $B_n$ 是分子的乘积），他们构造了一个递推关系，使得平方误差之和可以发生消去，从而在特定的收敛条件下得出 $\xi$ 的一个恒等式。

主要贡献与结果

1. 误差的几何分解： 本文确立了对于周期为 $N$ 的纯周期二次无理数 $\xi$，误差序列 $\varepsilon_n$ 分裂为 $N$ 个几何子序列。对于任何剩余类 $r \in \{-1, 0, \dots, N-2\}$，误差满足：
   $$\varepsilon_{mN+r} = \varepsilon_r \cdot \rho^m$$
   其中 $\rho = \bar{u}$ 是基本周期单位 $u$ 的共轭。这一结果被描述为一个在现有文献中未曾发现的“简单且优美”的观察，它使得显式计算误差和成为可能。

2. 加权和的显式闭合公式： 作者推导出了加权误差和 $f_\xi(s)$ 的闭合公式：
   $$f_\xi(s) = \sum_{r=-1}^{N-2} a_{r+1} \frac{|\varepsilon_r|^s}{1 - |\rho|^s}$$
   他们证明了对于整数 $s \ge 1$， $f_\xi(s)$ 属于域 $\mathbb{Q}(\xi)$。这为早期研究中针对二次无理数的特定情况（如 $s=1$ 或 $s=2$）提供了统一的推广。

3. 与基本单位的联系： 公比 $\rho$ 与由 $\xi$ 生成的实二次序的基本单位有着显式的联系。周期单位 $u = k_{N-1}\xi + k_{N-2}$ 被证明是对应序的基本单位（或其幂次），其范数为 $N(u) = (-1)^N$。

4. 关于 $\pi$ 和 $\ln 2$ 的广义恒等式： 通过将方法扩展到广义连分数，作者证明了一个级数消去恒等式：
   $$\sum_{n=-1}^{\infty} \frac{a_{n+1}}{B_{n+1}} (h_n - \xi k_n)^2 = \xi$$
   将此应用于特定展开式：

   • 对于 $\pi$： 利用从反正切级数导出的广义连分数，他们得到了一个涉及莱布尼茨级数尾项和双伽马函数 $\psi(z)$ 的恒等式。
   • 对于 $\ln 2$： 利用欧拉关于 $\ln(1+x)$ 在 $x=1$ 处的连分数，他们导出了交错调和级数平方尾项的和。
   • 更快的收敛性： 他们还将该方法应用于通过欧拉变换得到的 $\log 2$ 级数，从而得到一个涉及双伽马函数的收敛更快的恒等式。

意义

本文声称其意义在于为理解周期连分数中的加权误差和提供了一个统一的框架。通过识别误差潜在的几何级数性质，作者将求和无限逼近误差级数的问题转化为涉及连分数初始段和周期单位的有限计算。

这项工作推广了以往（如 Kalinin 和 Shkolnikov 的工作）仅限于特定情况（$s=1, 2$）或特定常数的成果。此外，向广义连分数的扩展使得能够推导出关于基本常数 $\pi$ 和 $\ln 2$ 的新恒等式，并以其渐近分数的尾项及特殊函数来表示。作者指出，这些结果说明了丢番图逼近和误差和函数研究领域中存在的“多样性和持续的活跃度”，并为此前观察到的恒等式提供了结构性的解释。

论文最后谦虚地提出了未来的研究方向，例如使用 Jacobi-Perron 等算法进行多维类比，同时也承认了在高维情况下保证周期性的难度（赫尔姆特问题）。