[论文解读] Regularization for zeta functions with physical applications II

Minoru Fujimoto, Kunihiko Uehara|arXiv (Cornell University)|Feb 3, 2007

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

一句话总结

本文提出了一种对 zeta 函数的正则化技术，通过在临界线上利用近似函数方程和变形求和表示，为黎曼猜想提供证据。它通过欧拉乘积和 Sato-Tate 类似分布推导出的关系，建立了 zeta 函数零点与素数之间的对偶性，得出连接素数与非平凡零点的显式方程。

ABSTRACT

We have proposed a regularization technique and apply it to the Euler product of zeta functions in the part one. In this paper that is the second part of the trilogy, we give another evidence to demonstrate the Riemann hypotheses by using the approximate functional equation. Some other results on the critical line are also presented using the relations between the Euler product and the deformed summation representions in the critical strip. In part three, we will focus on physical applications using these outcomes.

研究动机与目标

• 通过将正则化技术应用于 zeta 函数的临界带，为黎曼猜想提供进一步证据。
• 探索黎曼 zeta 函数的非平凡零点与素数分布之间的关系。
• 通过变形求和与欧拉乘积表示，推导出连接 zeta 零点虚部与素数对数的显式方程。
• 利用统计平均与高斯取整函数，建立素数与 zeta 零点之间的对偶性。
• 为三部曲的第三部分中 zeta 函数正则化的物理应用奠定数学基础。

提出的方法

• 利用欧拉-麦克拉林求和公式对临界带中的 zeta 函数进行正则化，以实现收敛性分析。
• 引入一个通过交错级数定义的正则化 zeta 函数 $\hat{\zeta}(z)$，其在 $0 < \Re z < 1$ 范围内有效。
• 应用哈代与李特尔伍德的近似函数方程，将 $\zeta(z)$ 与 $\zeta(1-z)$ 关联，对称地联系零点。
• 使用高斯取整函数 $[x]$ 和统计平均，建模 $\lambda_j \log p_k / (2\pi)$ 的分布，假设其具有 Sato-Tate 类似的等分布性。
• 利用对数积分和素数定理近似，推导出 $\sum \nu_k$ 和 $\sum \mu_j$ 的渐近展开式。
• 通过离散求和与对数缩放，构建显式方程 (56) 和 (62)，将 $\lambda_j$（零点）与 $p_k$（素数）联系起来。

实验结果

研究问题

• RQ1 能否通过 zeta 函数欧拉乘积的正则化及其在临界线上的求和形式转化，为黎曼猜想提供支持？
• RQ2 非平凡零点与素数分布之间的关系，如何通过函数方程与求和表示来刻画？
• RQ3 在 Sato-Tate 分布假设下，zeta 零点虚部与素数对数之间的定量关系是什么？
• RQ4 能否通过高斯取整平均与渐近分析，推导出将素数用 zeta 零点或反之表示的显式方程？
• RQ5 zeta_n(z) 与 $\hat{\zeta}_n(z)$ 的正则化如何导致临界线上 $\rho_n$ 与 $1 - \rho_n$ 之间的对称关系？

主要发现

• 本文推导出对称关系 $\rho_n = \frac{1}{2} \pm i\sqrt{\frac{n}{\zeta_n(\rho_n)\zeta_n(1 - \rho_n)}}$，表明临界线上的零点实部必为 $\frac{1}{2}$。
• 利用近似函数方程，本文表明余项 $R_{2k}$ 以 $O\left(\left(\frac{t}{2\pi M}\right)^{2k+2}\right)$ 的速率衰减，要求 $M > \frac{t}{2\pi}$ 以保证收敛。
• 方程 (56) 提供了 $\lambda_j$ 关于 $\lambda_j \log p_k / (2\pi)$ 的高斯取整求和的近似表达式，误差为 $O\left(\frac{1}{m^2 \log m}\right)$。
• 方程 (62) 给出了 $p_k$ 的闭式近似：$n^{\left(\frac{2\sum_{j=1}^{n}\left[\lambda_j \log p_k / (2\pi)\right]}{n^2} + \frac{1}{n}\right)} \cdot n^{O(1/n^3)}$，将素数与 zeta 零点联系起来。
• 证明了对 $k$ 取平均的 $\mu_j \nu_k - \frac{1}{2} - [\mu_j \nu_k]$ 的结果为 $O(1/m)$，支持了 Sato-Tate 猜想在推导中的作用。
• 推导出渐近和 $\sum_{k=1}^m \nu_k \simeq \frac{1}{2\pi} m(\log m - 1)$，从而实现了 $\mu_j$ 相对于素数计数的归一化。