[论文解读] A reciprocal sum related to the Riemann zeta function at s=6

WonTae Hwang, Kyunghwan Song|arXiv (Cornell University)|Sep 23, 2017

Advanced Mathematical Theories参考文献 3被引用 5

一句话总结

本文推导出黎曼ζ函数在 s=6 时尾部和倒数的下取整的显式公式，表明其依赖于 n 对 48 取模的余数。通过精心构造的有理逼近和多项式不等式进行区间界定，作者建立了一个涉及五次多项式和模运算修正的分段公式，扩展了对 s=2,3,4,5 的先前工作，并为更大 s 值提出了挑战。

ABSTRACT

We introduce an explicit formula for a reciprocal sum related to the Riemann zeta function at s=6, and pose one question related to a computational formula for larger values of s.

研究动机与目标

• 推导出当 s=6 时，尾部和 ∑_{k=n}^∞ 1/k⁶ 的倒数的下取整的显式计算公式。
• 将 Lin 及其他人的先前工作扩展到 s=2,3,4,5 时 ζ(s) 的倒数和，推广至 s=6 的情形。
• 通过使用模分解和有理逼近技术，提供一种可推广至更大 s 值的方法。
• 提出一个开放问题：对于 s≥7，此类显式公式是否可能存在？

提出的方法

• 作者定义函数 f(n) = [ (∑_{k=n}^∞ 1/k⁶)^{-1} ]，并基于 n mod 48 推导出分段公式。
• 他们使用一种新颖的界定技术，涉及特定常数的有理函数 p(k), q(k), r(k)，将 48 个连续整数的块上的尾部和夹在中间。
• 对于每个模 48 的剩余类，他们构造辅助函数 g(k) 和 h(k)，以确保 ∑_{i=1}^{48} 1/(48k+i)^6 严格介于 1/p(k) - 1/p(k+1) 和 1/(p(k)+c) - 1/(p(k+1)+c) 之间，其中 c≈1。
• 他们通过分析 g(k) 和 h(k) 的单调性和极限性质，证明了这些界限成立，从而确保倒数和严格位于 p(m) 和 p(m)+c 之间，因此其下取整恰好为 p(m)。
• 该方法被扩展至 s=5 的情形，使用类似的界定技术，但采用不同的多项式和常数，并通过初始值的数值检验加以验证。
• 该方法依赖于多项式逼近和区间包含，避免了直接求和，且设计为可推广至更高 s 值。

实验结果

研究问题

• RQ1 当 s=6 时，能否为 [ (∑_{k=n}^∞ 1/k^s )^{-1} ] 推导出类似于 s=2,3,4,5 已知公式的显式闭式表达？
• RQ2 该公式的结构是否如在 s=5 时观察到的那样，依赖于 n 对某个固定整数取模的结果，正如本研究在 s=6 时所展示的？
• RQ3 所提出的使用有理函数和模分解的界定方法能否推广至 s≥7？
• RQ4 使得 s=6 时倒数和公式仅依赖于 n mod M 的最小模 M 是多少？
• RQ5 是否存在一种系统性方法，可为任意 s>6 构造此类公式？

主要发现

• 对于 s=6，倒数和下取整函数 f(n) 由一个分段公式给出，其形式取决于 n 的奇偶性，系数由一个五次多项式得出：5n⁵ - 25/2 n⁴ + 75/4 n³ - 125/8 n² + 185/48 n。
• 该公式包含涉及 n₄₈（即 n mod 48）的模运算修正项：当 n 为偶数时为 -5n₄₈/48 - [ (35-5n₄₈)/48 ]，当 n 为奇数时为 - (5n₄₈ + 18)/48 - [ (17-5n₄₈)/48 ]。
• 该公式对所有 n ≥ 829 有效，确保界定函数严格递减且收敛于零。
• 作者提供了 s=5 情况的第二种证明，使用类似方法，分为三种情形，基于 n mod 3，对应多项式 p(m), q(m), r(m)。
• 对于 s=5，倒数和下取整为 f(n) = p(m) 若 n=3m，q(m) 若 n=3m+1，r(m) 若 n=3m+2，其中 p(k)=324k⁴+648k³+516k²+192k+26。
• 该方法依赖于有理函数与部分和之间严格不等式的证明，确保倒数和位于长度小于 1 的区间内，因此其下取整即为区间的下界整数。