[论文解读] Zeta functions over zeros of Zeta functions and an exponential-asymptotic view of the Riemann Hypothesis

André Voros|arXiv (Cornell University)|Mar 18, 2014

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

一句话总结

本文引入了基于黎曼ζ函数非平凡零点的'superzeta'函数，利用它们推导出黎曼猜想（RH）的指数渐近准则。通过使用最陡下降法分析Keiper–Li系数的大阶数行为，作者表明黎曼猜想成立当且仅当一个新颖的中心展开系数序列保持正值，从而基于这些系数的渐近增长提供了一个精确且可计算的准则。

ABSTRACT

We review generalized zeta functions built over the Riemann zeros (in short: "superzeta" functions). They are symmetric functions of the zeros that display a wealth of explicit properties, fully matching the much more elementary Hurwitz zeta function. As a concrete application, a superzeta function enters an integral representation for the Keiper--Li coefficients, whose large-order behavior thereby becomes computable by the method of steepest descents; then the dominant saddle-point entirely depends on the Riemann Hypothesis being true or not, and the outcome is a sharp exponential-asymptotic criterion for the Riemann Hypothesis that only refers to the large-order Keiper--Li coefficients. As a new result, that criterion, then Li's criterion, are transposed to a novel sequence of Riemann-zeta expansion coefficients based at the point 1/2 (vs 1 for Keiper--Li).

研究动机与目标

• 基于黎曼ζ函数的非平凡零点，构建广义zeta函数——'superzeta'函数，扩展Hurwitz zeta函数的性质。
• 将这些superzeta函数应用于Keiper–Li系数，实现其大阶数行为的渐近分析。
• 基于这些系数的增长与振荡行为，建立一个关于黎曼猜想的新颖、精确的指数渐近准则。
• 将Li的准则转换为一个基于s = 1/2处泰勒展开而非s = 1处的新系数序列。
• 提供一个仅依赖于单一系数序列渐近行为的可计算、解析的RH准则。

提出的方法

• 本文通过zeta正则化乘积和Mellin变换表示，将superzeta函数定义为黎曼ζ函数非平凡零点的对称函数。
• 采用最陡下降法分析Keiper–Li系数的大阶数渐近行为，识别出主导鞍点作为黎曼猜想真伪的函数。
• 作者基于黎曼xi函数在s = 1/2处的泰勒展开，推导出一个新系数序列，记为$\lambda_n^0$，其类似于Keiper–Li系数但以临界线为中心。
• 通过Hankel型积分和Mellin变换技术，建立superzeta函数的功能关系与解析延拓，其结构与Hurwitz zeta函数类似。
• 利用留数理论与围道积分，将中心系数$\lambda_n^0$表示为包含$\log \Xi_0(1/2 + t)$的围道积分，从而实现渐近分析。
• 应用xi函数的Hadamard乘积公式，将系数$\lambda_n^0$与零点$\rho_k$关联，揭示其符号依赖于零点相对于临界线的位置。

实验结果

研究问题

• RQ1 若黎曼猜想为真或为假，Keiper–Li系数的大阶数渐近行为是否表现出显著特征？
• RQ2 能否通过s = 1/2处的泰勒展开导出的新系数序列，作为测试黎曼猜想的Keiper–Li系数的有效替代？
• RQ3 基于系数$\lambda_n^0$的增长与振荡性质，黎曼猜想的精确指数渐近准则为何？
• RQ4 黎曼零点上的superzeta函数如何继承并推广Hurwitz zeta函数的分析与函数性质？
• RQ5 最陡下降法能否有效提取Keiper–Li系数的主导渐近贡献，且鞍点行为是否可直接指示黎曼猜想的真伪？

主要发现

• 若黎曼猜想为假，由于临界线外的复零点存在，中心系数$\lambda_n^0$将表现出指数增长的振荡行为，具体为$\lambda_n^0 \sim -\sum_{\{\arg\tau_k > 0\}} y_{k,-}^{-n} + \text{c.c.}$，其中$|y_{k,-}^{-1}| > 1$。
• 若黎曼猜想为真，系数$\lambda_n^0$的渐近增长形式为$\frac{1}{2}n(\log n - 1 + \gamma - \log 2\pi)$，与已知的Keiper–Li系数渐近形式一致。
• 黎曼猜想等价于所有$n \geq 1$的$\lambda_n^0$为正，从而提供了一个仅依赖于这些系数符号的新颖、精确准则。
• 中心系数$\lambda_n^0$的显式表达式为$\lambda_n^0 = \sum_k (2 - y_{k,-}^{-n} - y_{k,+}^{-n})$，其中$y_{k,\pm} = \exp(\pm i\theta_k)$，当且仅当所有$\rho_k$位于临界线上时，其为实数且为正。
• 本文推导出$\lambda_n^0$的多个等价积分表示，包括复$y$-平面上的围道积分，以及涉及$\log \Xi_0(1/2 + t)$的高阶导数公式，从而实现严格的渐近分析。
• 证明了定义在黎曼xi函数零点上的superzeta函数$\mathcal{Z}_0(s)$具有亚纯延拓，并具有显式的特殊值公式，其性质与Hurwitz zeta函数相匹配。