[论文解读] A proof of the Riemann hypothesis

Xian‐Jin Li|arXiv (Cornell University)|Jul 1, 2008

Mathematical functions and polynomials参考文献 6被引用 4

一句话总结

本文通过在p进和adelic L²空间上使用迹公式方法，证明了黎曼ζ函数的Li系数λₙ的非负性，从而给出了黎曼猜想的证明。利用商空间CS = JS/O*ₐ上的希尔伯特-施密特算子，作者证明了L²(CS)上积分算子的迹是非负的，这意味着对所有n都有λₙ ≥ 0，而根据Li的判别法，这表明黎曼ζ函数的所有非平凡零点都位于临界线ℜ(s) = 1/2上。

ABSTRACT

In this paper we study traces of an integral operator on two orthogonal subspaces of a $L^2$ space. One of the two traces is shown to be zero. Also, we prove that the trace of the operator on the second subspace is nonnegative. Hence, the operator has a nonnegative trace on the $L^2$ space. This implies the positivity of Li's criterion. By Li's criterion, all nontrivial zeros of the Riemann zeta-function lie on the critical line.

研究动机与目标

• 通过验证Li的判别法，证明黎曼猜想，即证明所有Li系数λₙ非负。
• 在由adelic空间AS上的卷积算子导出的商空间CS = JS/O*ₐ上，建立特定积分算子迹的非负性。
• 分析算子Th在L²(CS)的正交子空间（特别是Q⊥_Λ和QΛ）上的谱分解，以分离并计算迹分量。
• 构造一族在s=0和s=1处Mellin变换为零的测试函数hn,ϵ，使得bh(0)=bh(1)=0，从而将∆(hn,ϵ)孤立为迹。

提出的方法

• 证明使用了在L²(CS)上定义的希尔伯特-施密特算子Th的迹公式，其中CS是商空间JS/O*ₐ，Th通过来自(0,∞)上光滑且紧支集函数gn,ϵ的卷积核h定义。
• 将算子Th的迹分解为两个正交子空间上的迹：Q⊥_Λ（傅里叶变换在|x| < Λ时为零的函数）和QΛ（补子空间），利用adelic空间AS上的酉傅里叶变换FS。
• 通过仔细分析核函数并在基本域上积分，利用分解的正交性，证明Q⊥_Λ上的迹为零（定理1.3）。
• 通过有界振荡积分和级数表示的绝对收敛性，证明QΛ上的迹非负（定理1.4），最终得出∆(h)中非平凡零点的和是非负的。
• gn,ϵ的构造确保了bhn,ϵ(0) = bhn,ϵ(1) = 0，因此trace(Th) = ∆(hn,ϵ) → 2λₙ（当ϵ → 0时），从而得出λₙ ≥ 0。
• 关键步骤是应用Li的判别法：对所有n ∈ ℕ都有λₙ ≥ 0，意味着黎曼ζ函数的所有非平凡零点都位于临界线ℜ(s) = 1/2上。

实验结果

研究问题

• RQ1 在h的特定构造下，积分算子Th在L²(CS)上的迹在分解为Q⊥_Λ和QΛ子空间后是否仍保持非负？
• RQ2 Q⊥_Λ上的迹是否可严格证明为零，以确保∆(h)的贡献被正确隔离？
• RQ3 对于通过gn,ϵ构造的函数族hn,ϵ，QΛ上的迹是否非负，特别是在ϵ → 0的极限下？
• RQ4 当ϵ → 0时，∆(hn,ϵ)的极限是否等于2λₙ，从而将迹与Li系数联系起来？
• RQ5 所有n的λₙ的非负性是否通过Li的判别法推出黎曼猜想？

主要发现

• 在子空间Q⊥_Λ上，算子Th的迹恰好为零，如定理1.3所证明，这将迹的贡献完全隔离到QΛ分量上。
• 在子空间QΛ上，Th的迹是非负的，如定理1.4所确立，通过有界振荡积分并证明级数表示的绝对收敛性。
• 当ϵ → 0时，∆(hn,ϵ)的极限为2λₙ，其中λₙ是第n个Li系数，如定理1.2所述，确保迹在极限下捕捉到Li系数。
• 核函数的Mellin变换满足bhn,ϵ(0) = bhn,ϵ(1) = 0，使得迹可直接等同于∆(hn,ϵ)，无需边界修正。
• 对所有ϵ > 0都有∆(hn,ϵ) ≥ 0，因此λₙ ≥ 0对所有正整数n成立，因为∆(hn,ϵ) → 2λₙ且迹非负。
• 根据Li的判别法，所有λₙ的非负性意味着黎曼ζ函数的所有非平凡零点都位于临界线ℜ(s) = 1/2上，从而证明了黎曼猜想。