[论文解读] Irrationalité de valeurs de zêta (d'après Apéry, Rivoal, ...)

Stéphane Fischler|arXiv (Cornell University)|Mar 5, 2003

Analytic Number Theory Research参考文献 12被引用 24

一句话总结

本文全面综述了证明奇数黎曼ζ函数值无理性的方法，特别聚焦于阿佩里对ζ(3)的证明以及里沃阿尔关于由1, ζ(3), ζ(5), ζ(7), …生成的ℚ-向量空间具有无限维的开创性结果。文章统一了多种方法——超几何级数、多重积分、佩德近似和多对数函数——展示了它们共享的深层结构，并将其推广以证明存在无穷多个奇数ζ函数值为无理数，且通过明确的定量改进表明ζ(5), ζ(7), ζ(9), ζ(11)中至少有一个为无理数。

ABSTRACT

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Apéry's Theorem (1978) : $ζ(3)$ is irrational. The second section is devoted to a variant of the proof, published by Rivoal and Ball-Rivoal, that infinitely many $ζ(2n+1)$ are irrational. The end of this text deals with more quantitative statements.

研究动机与目标

• 解决长期悬而未决的关于奇数整数2k+1 ≥ 3时ζ(2k+1)算术性质的开放问题。
• 综合并统一用于证明ζ(3)无理性的多种方法——超几何、积分、佩德及多对数函数方法。
• 提供里沃阿尔定理的详细证明：由1, ζ(3), ζ(5), ζ(7), …生成的ℚ-向量空间具有无限维。
• 建立定量结果，包括在特定有限集合中无理奇数ζ函数值数量的有效下界。
• 阐明不同线性形式构造方法在ζ函数值中的联系及其渐近衰减速率。

提出的方法

• 构造有理数列$u_n$和$v_n$，使得线性形式$I_n = u_n\zeta(3) - v_n$满足$\limsup_{n\to\infty} |I_n|^{1/n} \leq (\sqrt{2}-1)^4 \approx 0.0294$。
• 利用最小公倍数$d_n = \text{lcm}(1,\dots,n)$确保$2d_n^3 v_n \in \mathbb{Z}$且$u_n \in \mathbb{Z}$，从而支持整数性论证。
• 应用素数定理（或较弱的切比雪夫型估计）证明$\log d_n / n \to 1$，从而推出当$n \to \infty$时$d_n^{3} |I_n| \to 0$。
• 利用多种等价构造——通过超几何级数、多重积分、模形式及佩德近似——每种方法均导出相同的线性形式$I_n$。
• 将阿佩里型构造推广至更高阶奇数ζ函数值，使用埃尔米特-佩德近似逼近多对数函数$\text{Li}_k(z)$。
• 应用广义超几何函数${}_{q+1}F_q$的理论分析近似值的渐近行为，并推导出无理性判别准则。

实验结果

研究问题

• RQ1 ζ(3)的无理性能否通过多种独立构造证明，且这些构造均产生相同的线性形式$I_n = u_n\zeta(3) - v_n$？
• RQ2 超几何级数、多重积分、模形式与佩德近似等不同方法如何在统一框架下整合以证明无理性？
• RQ3 用于无理性证明的线性形式$I_n$的精确渐近衰减速率是什么？它与无理度量有何关联？
• RQ4 能否将ζ(3)所用方法推广，以证明存在无穷多个ζ(2k+1)为无理数？
• RQ5 集合$\{\zeta(5), \zeta(7), \zeta(9), \zeta(11)\}$中无理值的最小数量是多少？如何实现有效下界？

主要发现

• 证明了里沃阿尔定理：由1, ζ(3), ζ(5), ζ(7), …生成的ℚ-向量空间具有无限维。
• 因此，存在无穷多个满足s ≥ 3的奇数s使得ζ(s)为无理数。
• 建立了有效改进：ζ(5), ζ(7), ζ(9), ζ(11)中至少有一个为无理数。
• 祖迪林的结果进一步强化了该结论：在ζ(5)至ζ(21)的九个值中，至少有一个为无理数。
• 相同的线性形式$I_n$在多种构造中被重新发现——阿佩里的超几何级数、包克斯的多重积分及索罗金的佩德近似——揭示了深刻的结构统一性。
• 渐近衰减速率$\limsup |I_n|^{1/n} \leq (\sqrt{2}-1)^4 \approx 0.0294$在通过$I_n$非零及缩放形式的整数性证明无理性中起关键作用。