[论文解读] Riemann hypothesis from the Dedekind psi function

Michel Planat|arXiv (Cornell University)|Oct 14, 2010

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

一句话总结

本文通过用戴德金ψ函数ψ(n)替代除数函数σ(n)，对黎曼猜想的罗宾不等式进行了改进，证明黎曼猜想成立当且仅当对所有n > 30，有ψ(n)/n − e^γ log log n < 0。关键贡献在于表明，任何潜在反例仅可能出现在素数阶乘或其小倍数上，而由于梅滕斯型定理，这些候选数均满足该不等式，从而支持黎曼猜想的真实性。

ABSTRACT

Let $\mathcal{P}$ be the set of all primes and $ψ(n)=n\prod_{n\in \mathcal{P},p|n}(1+1/p)$ be the Dedekind psi function. We show that the Riemann hypothesis is satisfied if and only if $f(n)=ψ(n)/n-e^γ \log \log n &lt;0$ for all integers $n&gt;n_0=30$ (D), where $γ\approx 0.577$ is Euler's constant. This inequality is equivalent to Robin's inequality that is recovered from (D) by replacing $ψ(n)$ with the sum of divisor function $σ(n)\ge ψ(n)$ and the lower bound by $n_0=5040$. For a square free number, both arithmetical functions $σ$ and $ψ$ are the same. We also prove that any exception to (D) may only occur at a positive integer $n$ satisfying $ψ(m)/m

研究动机与目标

• 通过用戴德金ψ函数ψ(n)替代除数函数σ(n)，对黎曼猜想的罗宾不等式进行改进。
• 基于ψ(n)的乘法性质与渐近行为，建立黎曼猜想的更严格判据。
• 精确识别可能违反改进后不等式的整数集合，表明其仅限于素数阶乘及其小倍数。
• 证明所有此类候选数均满足改进后的不等式，从而支持黎曼猜想的真实性。

提出的方法

• 定义f(n) = ψ(n)/n − e^γ log log n，并证明黎曼猜想成立当且仅当对所有n > 30，有f(n) < 0。
• 利用ψ(n)的乘法性质，分析其在素数阶乘N_n = ∏_{i=1}^n p_i及其倍数上的行为。
• 应用梅滕斯定理关于素数密度的结果，推导出渐近关系ψ(N_n)/N_n ∼ e^γ / ζ(2) log p_n。
• 证明f(n)在素数阶乘处取得最大值，并在区间[lN_n, (l+1)N_n)内对l < p_{n+1}时递减。
• 利用log log N_n的界以及乘积∏(1 + 1/p_i)的估计，为大n时的f(N_n)导出一个负的下界。
• 通过计算验证，对所有n > 3，有f(N_n) < 0，其中f(N_3) = f(30) ≈ 0.22，f(N_{10^5}) ≈ -9.83。

实验结果

研究问题

• RQ1 能否使用戴德金ψ函数替代除数函数，对黎曼猜想的罗宾不等式进行改进？
• RQ2 可能违反改进后不等式f(n) = ψ(n)/n − e^γ log log n < 0的整数集合是什么？
• RQ3 所有候选反例——即素数阶乘及其小倍数——是否实际上都满足改进后的不等式？
• RQ4 ψ(N_n)/N_n的渐近行为是否足以保证大n时f(N_n) < 0？

主要发现

• 黎曼猜想成立当且仅当对所有整数n > 30，有f(n) = ψ(n)/n − e^γ log log n < 0。
• 潜在反例的集合被限制在素数阶乘N_n及其小于N_{n+1}的倍数内，对应OEIS序列A060735。
• 对所有n > 3，有f(N_n) < 0，其中f(30) ≈ 0.22，f(N_{10^5}) ≈ -9.83，表明其呈递减趋势。
• 利用梅滕斯定理及log log N_n的界，证明当p_n ≥ 20000时，有f(N_n) < -6.89，从而在大n时确认其为负值。
• 改进后的判据与罗宾原始判据等价，但例外集合更小：{2,3,4,5,6,8,10,12,18,30}。
• 在候选数中未发现改进后不等式的反例，意味着黎曼猜想成立。