[论文解读] Infinitely many odd zeta values are irrational. By elementary means

Johannes Sprang|arXiv (Cornell University)|Feb 26, 2018

Advanced Mathematical Identities被引用 5

一句话总结

本文提供了无穷多个奇数黎曼ζ函数值为无理数的初等证明，方法为利用超几何级数的高阶扭变形式及在Hurwitz zeta函数值上的积分线性形式。通过构造非零整数系数的奇数ζ值线性组合序列并使其收敛于零，证明了并非所有此类值都为有理数，从而仅使用Stirling公式和质数定理，确立了奇数ζ值中无理数的无穷性。

ABSTRACT

In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly non-elementary methods like the saddle-point method and Nesterenko's linear independence criterion. Recently, Zudilin has re-proven a slightly weaker form of his important result that at least one of the odd zeta values $ζ(5),ζ(7),ζ(9)$ and $ζ(11)$ is irrational, by elementary means. His new main ingredient are certain 'twists by half' of hypergeometric series. Generalizing this to 'higher twists' allows us to give a purely elementary proof of the result of Rivoal and Ball--Rivoal.

研究动机与目标

• 提供奇数ζ值无理数无穷性的初等证明，避免使用鞍点法或Nesterenko准则等高级工具。
• 通过引入超几何级数的“高阶扭变”形式，推广Zudilin的初等方法——该方法最初用于证明ζ(5)、ζ(7)、ζ(9)、ζ(11)中至少一个为无理数。
• 构造在奇数ζ值上的积分线性形式并使其收敛于零，利用Hurwitz zeta函数的性质及lcm增长规律。
• 通过由扭变超几何级数导出的系数矩阵进行线性代数运算，消除任意有限个奇数ζ值。
• 证明对任意 m ≥ 0，集合 {ζ(2m+1), ζ(2m+3), ..., ζ(2Nₘ+1)} 中至少有一个为无理数，其中 Nₘ > m。

提出的方法

• 通过整数 D > 1 对某些超几何级数引入“高阶扭变”，以生成Hurwitz zeta值 ζ(i, j/D) 上的线性形式。
• 利用恒等式 (D^i − 1)ζ(i) = ∑_{j=1}^{D−1} ζ(i, j/D) 将Hurwitz值与经典ζ值关联，并消去不需要的项。
• 构造扭变超几何积分的线性组合 r̂ₙ^(D,d)，经由 dₙ^s 缩放后，可得到具有整数系数的奇数ζ值上的有理线性形式。
• 应用Stirling公式及渐近式 √[n]{lcm(1,...,n)} → e，证明当 n → ∞ 时，dₙ^s · r̂ₙ^(D,d) → 0。
• 利用矩阵 (2^{i_α·β} − 1) 的可逆性，通过构造形式的线性组合，消除任意有限个奇数ζ值。
• 采用反证法：若某一集合中所有ζ值均为有理数，则其公分母将导出一个收敛于零的非零整数序列。

实验结果

研究问题

• RQ1 能否仅使用初等方法证明无穷多个奇数ζ值为无理数，而无需依赖超越性理论或特殊函数？
• RQ2 Zudilin针对ζ(5)、…、ζ(25)的初等方法能否推广，以证明无穷多个奇数ζ值为无理数？
• RQ3 高阶扭变的超几何级数是否能用于构造具有可控有理系数、且在奇数ζ值上收敛的积分线性形式？
• RQ4 能否通过扭变超几何积分导出的系数矩阵进行线性代数运算，消除任意有限个奇数ζ值？
• RQ5 能否仅使用lcm(1,...,n)的初等等价渐近性及Stirling公式，确立缩放后线性形式收敛于零？

主要发现

• 对每个 m ≥ 0，存在整数 Nₘ > m，使得集合 {ζ(3), ζ(5), ..., ζ(2Nₘ+1)} 的任意包含 Nₘ − m 个元素的子集至少包含一个无理数。
• 该构造产生了一组非零整数系数的奇数ζ值线性组合序列，其收敛于零，表明并非所有此类值都为有理数。
• 通过选取 D = 2^{m+1}，可确保系数矩阵 (2^{i_α·β} − 1) 在整数上可逆，从而实现对任意 m+1 个奇数ζ值的消除。
• 利用渐近式 √[n]{lcm(1,...,n)} → e 和Stirling公式，确立了 dₙ^s · r̂ₙ^(D,d) 收敛于零。
• 核心结论为：无穷多个奇数ζ值为无理数，且该结论通过初等方法证明，无需借助Nesterenko准则或鞍点法。
• 该证明在原则上具有构造性：对任意有限个奇数ζ值，均可找到一个具有整数系数的线性组合，使其收敛于零，除非至少一个值为无理数。