[论文解读] An elementary proof of Apery's theorem

Wadim Zudilin|arXiv (Cornell University)|Feb 17, 2002

Mathematics and Applications参考文献 10被引用 10

一句话总结

本文提供了阿佩尔定理的一个初等证明，通过泽尔博格的构造性对称化算法与超几何级数恒等式，证明了 ζ(3) 的无理性。通过构造序列 $ u_n $ 和 $ v_n $，使得 $ u_n\theta - v_n $ 满足一个线性递推关系并迅速衰减，在假设 $ \zeta(3) $ 为有理数的前提下导出矛盾，从而仅使用基本分析与代数运算即证明了其无理性。

ABSTRACT

We present a new `elementary' proof of the irrationality of $ζ(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.

研究动机与目标

• 提供一个自包含的、初等的阿佩尔定理证明，即 ζ(3) 的无理性，避免使用高级超越数论。
• 展示泽尔博格的构造性对称化算法如何以最小化、易懂的方式应用于关键逼近序列的递推关系推导。
• 统一并澄清巴尔的超几何级数与阿佩尔原始构造之间的联系，通过共同的递推结构。
• 为推广该方法至其他 zeta 值（如 ζ(4)）提供路径，使用类似的初等技巧。

提出的方法

• 定义有理函数 $ R_n(t) = \left( \frac{(t-1)\cdots(t-n)}{t(t+1)\cdots(t+n)} \right)^2 $，其导数可导出 $ F_n = u_n\zeta(3) - v_n $ 的级数表示。
• 使用部分分式分解与留数理论，将 $ F_n $ 表示为 $ \zeta(3) $ 与有理项的线性组合，确保 $ u_n \in \mathbb{Z} $ 且 $ D_n^3 v_n \in \mathbb{Z} $。
• 应用泽尔博格的构造性对称化算法，推导出 $ R_n(t) $ 的二阶线性递推关系，得到恒等式 $ (n+1)^3 R_{n+1}(t) - (2n+1)(17n^2+17n+5) R_n(t) + n^3 R_{n-1}(t) = S_n(t+1) - S_n(t) $。
• 对 $ t = 1,2,\dots $ 求和该递推式，得到 $ F_n $ 的递推关系，表明 $ F_n $ 满足与巴尔的超几何级数 $ \widetilde{F}_n $ 相同的递推关系。
• 通过验证初始值 $ F_0 = \widetilde{F}_0 = 2\zeta(3) $，$ F_1 = \widetilde{F}_1 = 10\zeta(3) - 12 $，并利用递推解的唯一性，证明 $ F_n = \widetilde{F}_n $。
• 通过 $ \widetilde{R}_n(t) $ 的界估计，建立 $ \widetilde{F}_n $ 的指数衰减性，得出 $ \widetilde{F}_n < 20(n+1)^4(\sqrt{2}-1)^{4n} $，其衰减速率超过任意底数大于 1 的指数函数。

实验结果

研究问题

• RQ1 阿佩尔关于 ζ(3) 无理性的定理能否仅通过初等方法与构造性对称化来证明？
• RQ2 如何通过泽尔博格算法统一阿佩尔与巴尔构造背后的递推结构？
• RQ3 广义超几何函数在生成逼近 ζ(3) 的序列中起到何种精确作用？
• RQ4 能否在不使用高级工具的前提下，直接从递推关系推导出逼近序列 $ u_n $ 与 $ v_n $ 的整性性质？
• RQ5 能否仅通过初等手段，如里沃阿尔所提出，将整性界强化为 $ D_n^3 v_n \in \mathbb{Z} $？

主要发现

• 序列 $ F_n = u_n\zeta(3) - v_n $ 满足递推关系 $ (n+1)^3 F_{n+1} - (2n+1)(17n^2+17n+5) F_n + n^3 F_{n-1} = 0 $，该关系通过 $ R_n(t) $ 的构造性对称化推导得出。
• 初始值 $ F_0 = 2\zeta(3) $，$ F_1 = 10\zeta(3) - 12 $ 确认 $ F_n $ 与巴尔的超几何级数 $ \widetilde{F}_n $ 一致，从而证明对所有 $ n $ 有 $ F_n = \widetilde{F}_n $。
• 不等式 $ \widetilde{F}_n < 20(n+1)^4(\sqrt{2}-1)^{4n} $ 表明 $ \widetilde{F}_n $ 以指数速度趋于 0，且 $ 3^3(\sqrt{2}-1)^4 \approx 0.7948 < 1 $。
• 假设 $ \zeta(3) = p/q $ 会导致矛盾，因为 $ qD_n^3 F_n $ 是一个非零整数，但其上界在 $ n $ 足够大时小于 1。
• 该证明建立了 $ u_n \in \mathbb{Z} $ 与 $ D_n^3 v_n \in \mathbb{Z} $，且递推关系在变换 $ v_n = u_n\zeta(3) - F_n $ 下保持不变。
• 该方法为推广至其他 zeta 值（如 $ \zeta(4) $）提供了框架，方法基于类似的递推结构与构造性对称化。