Fibonacci, Dirichlet, and Gauss in a single sum

技术摘要：单一求和中的斐波那契、狄利克雷与高斯

问题陈述
本文研究了由斐波那契数列定义的碎数和的渐近行为：
$$F(n) = \sum_{k=1}^{n} \left\{ \frac{F_n}{F_k} \right\}$$
其中 $\{x\} = x - \lfloor x \rfloor$ 表示小数部分。核心问题是确定 $F(n)$ 的精确渐近展开式，并刻画与该求和相关的误差项。研究表明，$F(n)$ 的行为从根本上取决于 $n$ 的奇偶性（奇数 vs 偶数），从而将该求和与两个截然不同的经典格点问题联系起来：高斯圆问题和狄利克雷除数问题。

方法论
证明策略结合了斐波那契数的数论同余性质与解析数论技术，特别是指数加权除数和。

1. 商恒等式： 作者建立了一个通用的恒等式（引理 2.1），将形式为 $\sum \omega(\lfloor x/k \rfloor)$ 的求和与除数和联系起来。这使得将碎数和转化为涉及算术函数的求和成为可能。
2. 斐波那契同余： 一个关键组成部分是对 $F_n \pmod{F_k}$ 的分析。利用除法算法 $n = qk + r$，作者推导出了$F_{qk+r}$模$F_k$的同余关系。这些同余关系取决于商$q$和余数$r$的奇偶性，从而有效地决定了分数部分${F_n/F_k}$ 是接近 0 还是 1。
3. 周期剖面： 基于这些同余关系，分数部分被证明遵循由 $q \pmod 4$ 决定的周期模式。作者定义了捕捉这些模式的周期函数 $w, u, v$。
4. 算术恒等式：
   • 对于奇数 $n$，分析简化为涉及模 4 的非主特征 $\chi_4$ 的求和。这使该求和与雅可比两平方和恒等式相连，后者用于计算圆内的整数格点数量（$N_C(x)$）。
   • 对于偶数 $n$，分析简化为一个交错除数和，将结果与双曲线下的格点计数（$N_H(x)$）联系起来。

主要贡献与结果

• 定理 1.1（主要结果）： 本文提供了 $F(n)$ 的显式渐近公式，将余项直接用高斯圆问题和狄利克雷除数问题的误差函数表示出来。

  • 对于奇数 $n$：
    $$F(n) = \frac{\pi}{8}n + \frac{1}{4}\left( \Delta_C(n) - \Delta_C\left(\frac{n}{2}\right) \right) + O(n^\varepsilon)$$
    此处，$\Delta_C(x) = N_C(x) - \pi x$ 是高斯圆问题的误差项。
  • 对于偶数 $n$：
    $$F(n) = \frac{3 \log 2}{4}n + 2\Delta_H\left(\frac{n}{2}\right) - 5\Delta_H\left(\frac{n}{4}\right) + 2\Delta_H\left(\frac{n}{8}\right) + O(n^\varepsilon)$$
    此处，$\Delta_H(x) = N_H(x) - x \log x - (2\gamma - 1)x$ 是狄利克雷除数问题的误差项。

• 误差指数的等价性： 本文确立了经典问题与斐波那契求和之间最优误差指数的无条件等价性。如果 $\Delta_C(x) = O(x^{\theta_C + \varepsilon})$ 且 $\Delta_H(x) = O(x^{\theta_H + \varepsilon})$，那么 $F(n)$ 的余项为 $O(n^{\theta + \varepsilon})$，其中对于奇数 $n$，$\theta = \theta_C$；对于偶数 $n$，$\theta = \theta_H$。因此，确定斐波那契求和的最优指数等价于解决各自的经典问题。

• 向卢卡斯序列及二阶递推序列的推广：
  结果被扩展到一族二阶递推序列 $F^{(c)}_j$ 及其相关的卢卡斯序列 $L^{(c)}_j$。

  • 对于广义斐波那契序列，其奇偶依赖性与标准斐波那契情况相同。
  • 对于广义卢卡斯序列，奇偶性的角色被交换了：奇数下标选择狄利克雷除数误差项，而偶数下标选择高斯圆误差项。

• 三阶斐波那契（Tribonacci）观察： 本文简要研究了三阶斐波那契序列。数值计算表明存在不同的行为（前导系数接近 $1/2$），并指出模 $T_k$ 的矩阵约化涉及多个余数而非标量符号，这意味着如果不考虑更复杂的余数数据，可能不存在简单的斐波那契/卢卡斯结果的类比。

意义
本文的主要意义在于将解析数论中两个历史上平行且截然不同的问题——高斯圆问题和狄利克雷除数问题——统一在一个看似简单的涉及斐波那契数的求和之中。

作者证明了下标 $n$ 的奇偶性起到了一个开关的作用，决定了哪一个经典误差项支配求和的渐近行为。这为“最优余项指数”问题提供了一个新的视角：证明奇数（或偶数）下标下的斐波那契求和的界，在数学上等价于证明高斯圆（或狄利克雷除数）问题的相应界。这项工作通过将余项精确地表示为标准误差函数 $\Delta_C$ 和 $\Delta_H$，而非仅仅提供一个通用的 $O(\sqrt{n})$ 界，完善了之前的部分研究结果（如在 MathOverflow 上发现的结果）。