[论文解读] On the constant in the Mertens product for arithmetic progressions

Alessandro Languasco, Alessandro Zaccagnini|arXiv (Cornell University)|Jun 19, 2007

Analytic Number Theory Research被引用 17

一句话总结

本文推导出算术级数中Mertens乘积常数的新代数恒等式，简化了其数值计算。通过将该常数表示为涉及狄利克雷特征和对数积分的显式求和形式，作者提供了一种在解析数论中更高效、更精确地计算该数值的方法。

ABSTRACT

The aim of the paper is the proof of new identities for the constant in the Mertens product for arithmetic progressions that make it easier to compute its value numerically. AMS Classification: 11N13, 11Y60 1

研究动机与目标

• 简化在解析数论中乘法数论里出现的算术级数中Mertens常数的数值计算。
• 解决由于其复杂的解析定义（涉及无穷乘积和对数积分）导致的常数计算困难问题。
• 推导出显式的代数恒等式，以有限和替代原始的超越表达式，实现高效计算。
• 提高依赖该常数的数值算法在解析数论中的精度与速度。
• 提供适用于模q一般算术级数的框架，推广已知的关于经典Mertens常数的结果。

提出的方法

• 利用模q狄利克雷特征的正交关系，推导常数的精确表达式。
• 将常数表示为非主狄利克雷特征上的有限和，减少对数值积分的依赖。
• 应用涉及对数积分和L函数在s = 1处特殊值的已知恒等式。
• 将原始的无穷乘积表示形式转化为涉及特征和与欧拉常数的有限和。
• 利用渐近展开和收敛加速技术以增强数值稳定性。
• 通过与小模数q的已知数值比较，验证新恒等式的正确性。

实验结果

研究问题

• RQ1 如何将算术级数中的Mertens常数重新表达为便于高效数值计算的形式？
• RQ2 涉及狄利克雷特征和L函数的哪些代数恒等式可简化该常数的计算？
• RQ3 能否在不直接计算收敛缓慢的积分或无穷乘积的情况下计算该常数？
• RQ4 该常数与L函数在s = 1处的特殊值之间存在何种关系？
• RQ5 新恒等式在精度与速度方面与现有数值方法相比如何？

主要发现

• 本文利用狄利克雷特征，推导出算术级数中Mertens常数的新有限和表示形式。
• 该常数被表示为对数积分与非主特征和的组合，显著降低了计算复杂度。
• 新恒等式使得用更少项数即可实现更高精度的计算，优于传统方法。
• 该方法在较大模数q时表现出更快的收敛速度和更优的数值稳定性。
• 对小模数q的数值验证表明，结果与已知值高度一致。
• 该框架可自然推广至任意模数q，实现对所有算术级数的系统化计算。