[论文解读] Counting numbers in multiplicative sets: Landau versus Ramanujan

Pieter Moree|arXiv (Cornell University)|Oct 4, 2011

Analytic Number Theory Research参考文献 21被引用 5

一句话总结

本文比较了朗道与拉马努金对乘法集中整数计数的渐近逼近方法，特别聚焦于两个平方数之和的集合。研究发现，当欧拉-克隆内克常数 $\gamma_S < 1/2$ 时，拉马努金的逼近方法在渐近意义上优于朗道的；反之当 $\gamma_S > 1/2$ 时则相反。该结果通过狄利克雷级数与对数积分，将这两种逼近方法的精度与集合的算术性质联系起来。

ABSTRACT

A set S of integers is said to be multiplicative if for every pair m and n of coprime integers we have that mn is in S iff both m and n are in S. Both Landau and Ramanujan gave approximations to S(x), the number of n&lt;=x that are in S, for specific choices of S. The asymptotical precision of their respective approaches are being compared and related to Euler-Kronecker constants, a generalization of Euler's constant gamma=0.57721566.... This paper claims little originality, its aim is to give a survey on the literature related to this theme with an emphasis on the contributions of the author (and his coauthors).

研究动机与目标

• 比较朗道与拉马努金逼近方法在计数乘法集内整数时的渐近精度。
• 将这两种逼近方法的相对准确性与集合的狄利克雷级数的欧拉-克隆内克常数 $\gamma_S$ 联系起来。
• 分析满足条件 A 或 B 的乘法集 $S$ 的计数函数 $S(x)$，尤其关注两个平方数之和及相关集合的情形。
• 通过渐近展开与分部积分法，建立当 $\gamma_S < 1/2$ 时拉马努金逼近更优，而当 $\gamma_S > 1/2$ 时朗道逼近更优的结论。
• 综述已知的欧拉-克隆内克常数结果及其在数论计数函数中的作用。

提出的方法

• 利用形式狄利克雷级数 $L_S(s) = \sum_{n \in S} n^{-s}$ 定义欧拉-克隆内克常数 $\gamma_S = \lim_{s \to 1^+} \left( \frac{L_S'(s)}{L_S(s)} + \frac{\delta}{s-1} \right)$。
• 应用定理 1 推导出在条件 A 下 $S(x) \sim C_0(S) x \log^{\delta-1} x$，其中 $C_0(S)$ 通过涉及 $\chi_S(p)$ 的欧拉乘积定义。
• 使用分部积分法比较 $S(x)$ 与积分 $\int_2^x \log^{\delta-1} t \, dt$，后者构成拉马努金逼近的基础。
• 利用定理 2 精化渐近展开：$S(x) = C_0(S) x \log^{\delta-1} x \left(1 + \frac{(1-\delta)(1 - \gamma_S)}{\log x} + o(\log^{-1} x) \right)$。
• 通过分析 $\gamma_S - 1/2$ 的符号与大小，比较朗道与拉马努金逼近的误差项。
• 结合计算与解析技术，包括温辛与芬奇的结果，验证逼近方法并证明数论竞速中的不等式。

实验结果

研究问题

• RQ1 在何种条件下，拉马努金对 $S(x)$ 的逼近比朗道更精确？
• RQ2 欧拉-克隆内克常数 $\gamma_S$ 如何决定朗道与拉马努金渐近公式之间的相对精度？
• RQ3 对于满足条件 B 的乘法集，计数函数 $S(x)$ 与对数积分 $\mathrm{Li}(x)$ 之间有何关系？
• RQ4 能否证明拉马努金型积分逼近 $\int_2^x \log^{\delta-1} t \, dt$ 的误差小于朗道型幂对数项？
• RQ5 特定乘法集（如两个平方数之和、非斜边数）的常数 $\gamma_S$ 如何影响一种逼近方法对另一种的主导性？

主要发现

• 当且仅当 $\gamma_S < 1/2$ 时，拉马努金逼近在渐近意义上优于朗道逼近；反之当 $\gamma_S > 1/2$ 时则朗道逼近更优。
• 对于可表示为两个平方数之和的整数集合 $S_B$，有 $\gamma_{S_B} \approx -0.1638$，因此拉马努金逼近更优。
• 非斜边数集合 $S_{NH}$ 的 $\gamma_{NH} \approx -0.4095$，进一步证实拉马努金逼近在此集合中更优。
• 对于与模形式相关的集合 $S_{691\nmid\tau}$，有 $\gamma_S \approx 0.5717 > 1/2$，因此朗道逼近更优。
• 对猜想 $S_B(x) \geq S_H(x)$ 对所有 $x \geq 0$ 成立（其中 $S_H$ 为无斜边数集合）进行了计算验证，确认拉马努金积分逼近在全局范围内成立。
• 本文确认拉马努金的断言 $S_B(x) = C_0(S_B) \int_2^x \frac{dt}{\sqrt{\log t}} + O(\sqrt{x/\log x})$ 暗示 $\gamma_{S_B} = 0$，但实际值约为 $-0.1638$。