[论文解读] Irrationality measure and lower bounds for pi(x)

David Burt, Sam Donow+3 more|arXiv (Cornell University)|Sep 13, 2007

Analytic Number Theory Research参考文献 4被引用 4

一句话总结

本文表明，ζ(2) = π²/6 的无理性指数可被用于推导 π(x)（素数计数函数）的显式但较弱的下界。通过分析无理性指数的有限性并避免依赖素数定理，作者建立了一个下界：π(x) ≥ log log x / (2 log log log x) − M 对无穷多个 x 成立，且通过改进的界限表明 π(x) 通常接近 x/log x。

ABSTRACT

In this note we show how the irrationality measure of $ζ(s) = π^2/6$ can be used to obtain explicit lower bounds for $π(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $π(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary.

研究动机与目标

• 展示 ζ(2) = π²/6 的无理性指数可被用于生成 π(x)（素数计数函数）的显式下界。
• 证明基于无理性指数的论证虽然初等，但可在不假设素数定理的前提下，对 π(x) 给出非平凡的增长估计。
• 探讨如何通过将弱无理性指数界限反复反馈至论证中，实现迭代改进，从而逼近最优增长速率。
• 表明 x/log x 是此类方法的自然边界，因为界限趋近于该数量级。

提出的方法

• 利用若 ζ(2) 的无理性指数有限，则仅有有限多个有理逼近 p/q 满足 |ζ(2) − p/q| < 1/q^u 的事实。
• 将该结论应用于级数 ∑1/n² 的部分和，并将其与最小公倍数 d_n = lcm(1,…,n) 关联，后者与素数分布相关。
• 通过分析差值 |a_n − b_n ζ(2)| 的增长，其中 a_n 和 b_n 是由部分和导出的整数，推导出 π(x) 的下界。
• 引入迭代指数函数 T(x,k) 的递归构造，以生成具有特定素因数分解的大整数，从而获得 π(x) 的下界。
• 利用 π(x) 的非减性，并通过与特定点处已知下界比较，将界限扩展至区间。
• 应用改进方法表明，当 π(x) 接近 x/log x 时，该性质在大范围内成立，通过对数缩放控制误差项。

实验结果

研究问题

• RQ1 ζ(2) = π²/6 的无理性指数能否被用于在不假设素数定理的前提下，推导出 π(x) 的无条件显式下界？
• RQ2 仅基于 ζ(2) 无理性指数的有限性，所能得到的 π(x) 的最佳可能下界是什么？
• RQ3 此类方法能多接近 π(x) 的真实渐近阶 x/log x？x/log x 是否为此方法的自然边界？
• RQ4 能否通过迭代应用无理性指数论证显著改进界限？若能，改进幅度有多大？
• RQ5 d_n = lcm(1,…,n) 的增长速率在这些界限中起什么作用？较弱的 d_n 估计是否足以导出对 π(x) 有意义的下界？

主要发现

• ζ(2) = π²/6 的无理性指数有限意味着对无穷多个 x，有 π(x) ≥ (log log x)/(2 log log log x) − M 成立。
• 通过改进论证并使用独立于素数定理的较弱 d_n 估计，本文表明 π(x) ≥ o(x/log x) 对无穷多个 x 成立。
• x/log x 成为此类方法的自然边界，因为推导出的估计趋近于该数量级。
• 推论 3.4 表明，对任意 ε > 0，存在序列 X_{n,ε}，使得对几乎所有 x ≤ X_{n,ε}，有 π(x) ≥ x/log^{1+ε}x，表明在长区间内 π(x) 接近 x/log x。
• 该方法避免了对算术级数中素数的深层输入，转而依赖对 ζ(2) 有理逼近的初等估计。
• 分析表明，即使使用弱无理性指数界限，该方法仍可产生对 π(x) 的非平凡增长估计，且这些估计可通过迭代持续改进。