[论文解读] Effective method of computing Li's coefficients and their properties

K. Maślanka|ArXiv.org|Feb 11, 2004

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

一句话总结

本文提出了一种有效的数值方法来计算Li系数 $\lambda_n$，这些系数是黎曼猜想（RH）的Li准则的核心。通过将 $\lambda_n$ 分解为严格递增的趋势和微小的振荡，作者计算了超过3,300个系数，揭示出一种稳定的趋势伴随次主导振荡，尽管无法通过有限采样进行最终验证，但该结果在数值上支持黎曼猜想。

ABSTRACT

In this paper we present an effective method for computing certain real coefficients $λ_{n}$ which appear in a criterion for the Riemann hypothesis proved by Xian-Jin Li. With the use of this method a sequence of over three-thousand $λ_{n}$'s has been calculated. This sequence reveals a peculiar and unexpected behavior: it can be split into a strictly growing extit{trend} and some tiny extit{oscillations} superimposed on this trend.

研究动机与目标

• 开发一种实用且精确的计算Li系数 $\lambda_n$ 的方法，这些系数对黎曼猜想的Li准则至关重要。
• 在已有结果的基础上，对 $\lambda_n$ 的行为进行数值研究，将计算扩展至 $n \approx 3300$。
• 将 $\lambda_n$ 分解为主导趋势与残余振荡，以更清晰地分析其各自贡献。
• 为未来研究提供公开可获取的 $\lambda_n$ 和 $\eta_n$ 系数数据集。

提出的方法

• 该方法通过将 $\lambda_n$ 分解为趋势分量 $\tilde{\lambda}_n$ 和振荡分量 $\overset{-}{\lambda}_n$ 来计算，这些分量源自 $\xi(s)$ 的对数形式的第 $n$ 阶导数。
• 趋势 $\overset{-}{\lambda}_n$ 通过计算 $\ln\left(\pi^{-s/2}\Gamma(1+s/2)\right)$ 在 $s=1$ 处的第 $n$ 阶导数获得，该表达式可解析处理且严格递增。
• 振荡部分 $\overset{\sim}{\lambda}_n$ 来自 $\ln\left((s-1)\zeta(s)\right)$ 在 $s=1$ 处的第 $n$ 阶导数，用于捕捉相对于趋势的偏离。
• 使用 Mathematica 的任意精度算术，以高达800位的精度计算Stieltjes常数 $\gamma_n$，以确保 $\eta_n$ 的精确评估。
• 通过从 $\zeta(s)$ 在 $s=1$ 附近的洛朗级数导出的递推关系，递归计算系数 $\eta_n$，从而实现 $\lambda_n$ 的高效计算。
• 通过 Mathematica 和 Maple 的双重计算进行数值验证，交叉检查以确保准确性，尽管高精度算术中存在误差累积。

实验结果

研究问题

• RQ1 Li系数 $\lambda_n$ 是否能够被高效且精确地计算出大 $n$ 的值，超越现有文献的范围？
• RQ2 $\lambda_n$ 序列是否表现出可分解为平滑趋势与微小振荡的结构？
• RQ3 $\lambda_n$ 中的振荡是被限制的，还是增长速度慢于趋势？这对黎曼猜想有何含义？
• RQ4 对 $\lambda_n$ 的高精度数值计算是否能为黎曼猜想提供进一步的证据？
• RQ5 趋势分量与振荡分量的 $\lambda_n$ 的渐近行为如何？

主要发现

• 以高精度计算了超过3,300个 $\lambda_n$ 的值，显著扩展了已知范围。
• $\lambda_n$ 展现出严格递增的趋势 $\overset{-}{\lambda}_n$，其可由 $a(1 + n\ln n) + cn$ 有效近似，其中 $a \approx 0.5$，$c \approx -1.130330701$，与精确值 $c = \frac{1}{2}(\gamma - 1 - \ln 2\pi)$ 一致。
• 振荡分量 $\overset{\sim}{\lambda}_n$ 的幅度极小，其增长速度慢于趋势，若其有界或为次主导，则支持黎曼猜想。
• 趋势分量 $\overset{-}{\lambda}_n$ 被证明是严格递增的，其渐近展开涉及伯努利数，尽管该级数形式上发散。
• 随着 $n$ 增大，误差累积导致 $\lambda_n$ 和 $\eta_n$ 的有效数字位数减少，使精度在 $n \approx 3300$ 之后受到限制。
• 数值数据强烈支持黎曼猜想，因为振荡相对于持续增长的趋势可忽略不计，且未观察到 $\lambda_n \geq 0$ 的违反。