[论文解读] A canonical system of differential equations arising from the Riemann zeta-function

Masatoshi Suzuki|arXiv (Cornell University)|Apr 9, 2012

advanced mathematical theories参考文献 20被引用 3

一句话总结

本文建立了一个由黎曼xi函数导出的微分方程典范系统，将黎曼猜想（RH）与函数 Θω(z) = ξ(1/2−ω−iz)/ξ(1/2+ω−iz) 在 ω > 1 时的亚纯内函数性质联系起来。该系统通过紧致积分算子的弗雷德霍姆行列式无条件构造，提供了一个基于关联哈密顿矩阵半正定性的黎曼猜想判别准则。

ABSTRACT

This paper has two main results, which relate to a criteria for the Riemann hypothesis via the family of functions $Θ_ω(z)=ξ(1/2-ω-iz)/ξ(1/2+ω-iz)$, where $ω>0$ is a real parameter and $ξ(s)$ is the Riemann xi-function. The first main result is necessary and sufficient conditions for $Θ_ω$ to be a meromorphic inner function in the upper half-plane. It is related to the Riemann hypothesis directly whether $Θ_ω$ is a meromorphic inner function. In comparison with this, a relation of the Riemann hypothesis and the second main result is indirect. It relates to the theory of de Branges, which associates a meromorphic inner function and a canonical system of linear differential equations (in the sense of de Branges). As the second main result, the canonical system associated with $Θ_ω$ is constructed explicitly and unconditionally under the restriction of the parameter $ω>1$ by applying a method of J.-F. Burnol in his recent work on the gamma function to the Riemann xi-function. If such construction is extended to all $ω> 0$ unconditionally, we get a criterion for the Riemann hypothesis in terms of a family of canonical systems parametrized by $ω>0$, which explains the validity of the Riemann hypothesis as positive semidefiniteness of the corresponding family of Hamiltonian matrices.

研究动机与目标

• 为 ω > 1 无条件地建立与黎曼xi函数相关的典范线性微分方程系统，不依赖于黎曼猜想的假设。
• 将黎曼猜想与上半平面上 Θω(z) 的亚纯内函数性质联系起来。
• 通过德布兰格空间理论，构建一个实现 Aω(z) 零点为正算子特征值的构造性框架。
• 利用 J.-F. 伯诺尔的方法对伽马函数和xi函数进行处理，将典范系统的构造从 ω ≥ 1/2 扩展至 ω > 1。
• 提出一个基于典范系统导出的哈密顿矩阵半正定性的黎曼猜想判别准则。

提出的方法

• 定义 Θω(z) = ξ(1/2−ω−iz)/ξ(1/2+ω−iz)，其中 ξ(s) 为黎曼xi函数，并分析其在上半平面上的解析性质。
• 利用 ξ(s) 的函数方程，推导 Aω(z) 和 Bω(z) 的对称性质，二者在实轴上为实数，且分别为偶函数与奇函数。
• 应用伯诺尔对伽马函数的方法，将核 hω⟨1⟩(x) 表示为包含 Θω(z) 的梅林-巴内斯积分，确保在 ω > 1 时收敛。
• 通过紧致积分算子的弗雷德霍姆行列式构造典范系统，将该系统与德布兰格空间的谱理论联系起来。
• 利用留数定理与渐近分析（通过斯特林公式）推导出 x−1/2 − hω⟨1⟩(x) 在 L²((1,∞), dx) 中的积分表示。
• 建立 x−1/2 − hω⟨1⟩(x) 在 (1,∞) 上的 L² 可积性与 Θω(z) 在上半平面上为内函数性质之间的等价性，从而完成典范系统的构造。

实验结果

研究问题

• RQ1 Θω(z) 在上半平面上为何种条件下为亚纯内函数？这与黎曼猜想有何关联？
• RQ2 能否从黎曼xi函数出发，利用积分算子在 ω > 1 时无条件构造典范微分方程系统？
• RQ3 Θω(z) 的内函数性质如何通过 Aω(z) 的零点编码黎曼猜想的真伪？
• RQ4 典范系统在哈密顿矩阵与半正定性方面的谱解释为何？
• RQ5 典范系统的构造能否无条件地扩展至所有 ω > 0？这将对黎曼猜想产生何种影响？

主要发现

• 对于 ω > 1，通过紧致积分算子的弗雷德霍姆行列式，无条件地构造了与 Θω(z) 相关的典范系统。
• 当且仅当黎曼猜想成立时，Θω(z) 是上半平面上的亚纯内函数。
• 在 (1,∞) 上，x−1/2 − hω⟨1⟩(x) 的 L² 可积性等价于 Θω(z) 在上半平面上为内函数。
• 通过梅林-巴内斯积分与留数计算构造典范系统，确保关联的哈密顿矩阵半正定当且仅当黎曼猜想成立。
• 本文提出一个基于 ω > 0 参数化的一族哈密顿矩阵半正定性的黎曼猜想判别准则。
• 该方法将伯诺尔对伽马函数的方法推广至黎曼xi函数，实现了对 ω > 1 的无条件构造。