[论文解读] An Apéry-like difference equation for Catalan's constant

Wadim Zudilin|ArXiv.org|Jan 4, 2002

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 4

一句话总结

本文构建了一个具有有理系数的二阶线性差分方程，其生成的序列可逼近卡塔兰常数 G。通过超几何级数与积分表示，证明了解的比值收敛于 G，并建立了序列的近乎整数性质，从而提出 G 的新连分数展开式与线性形式的积分公式。

ABSTRACT

Applying Zeilberger's algorithm of creative telescoping to a family of certain very-well-poised hypergeometric series involving linear forms in Catalan's constant with rational coefficients, we obtain a second-order difference equation for these forms and their coefficients. As a consequence we obtain a new way of fast calculation of Catalan's constant as well as a new continued-fraction expansion for it. Similar arguments can be put forward to indicate a second-order difference equation and a new continued fraction for $ζ(4)=π^4/90$, and we announce corresponding results at the end of this paper.

研究动机与目标

• 构建一个具有有理系数的二阶线性递推关系，其解的比值收敛于卡塔兰常数 G。
• 建立递推序列的算术性质（近乎整数形式），以支持无理性证明。
• 利用递推关系的渐近收敛项，推导 G 的新连分数展开式。
• 为线性形式 $ u_n G - v_n $ 提供一个双重积分表示，类似于贝克尔斯对 $ \zeta(2) $ 的工作。

提出的方法

• 推导出一个新的二阶差分方程，其多项式系数为 $ p(n) = 20n^2 - 8n + 1 $ 和 $ q(n) = 3520n^6 + 5632n^5 + 2064n^4 - 384n^3 + 156n^2 + 16n + 7 $，该方程控制序列 $ u_n $ 与 $ v_n $。
• 使用一个非常超几何级数 $ F_n $，其通过有理函数 $ R_n(t) $ 定义，证明其等于狄利克雷 beta 函数值的组合。
• 应用欧拉型积分表示，将 $ u_n G - v_n $ 表示为 $[0,1]^2$ 上的双重积分，其核为有理函数，涉及 $ (1 - xy)^{-(n+1)} $。
• 应用皮亚诺的定理于递推关系，推导出 $ u_n $ 与 $ v_n $ 的渐近增长速率，表明 $ |u_n G - v_n|^{1/n} \to \left| \frac{1 - \sqrt{5}}{2} \right|^5 $。
• 将递推关系的渐近收敛项转化为 G 的连分数展开式，其项包含 $ (2n-1)^4 (2n)^4 p(n-1)p(n+1) $ 与 $ q(n) $。
• 证明 $ 2^{4n+3} D_n u_n \in \mathbb{Z} $ 与 $ 2^{4n+3} D_{2n-1}^3 v_n \in \mathbb{Z} $，表明其具有近乎整数的性质。

实验结果

研究问题

• RQ1 能否构造出类似于阿佩里对 $ \zeta(2) $ 与 $ \zeta(3) $ 的证明，用于卡塔兰常数的递推关系？
• RQ2 递推关系的解是否产生在 $ 1 $ 与 $ G $ 上的线性形式，且具有近乎整数的系数与快速收敛性？
• RQ3 能否为误差项 $ u_n G - v_n $ 推导出类似于贝克尔斯对 $ \zeta(2) $ 的双重积分表示？
• RQ4 该递推关系是否能生成 G 的连分数展开式？其结构如何？
• RQ5 序列的近乎整数性质是否能支持 G 无理性的证明？

主要发现

• 递推关系 $ (2n+1)^2(2n+2)^2 p(n) u_{n+1} - q(n) u_n - (2n-1)^2(2n)^2 p(n+1) u_{n-1} = 0 $，其中 $ p(n) = 20n^2 - 8n + 1 $，$ q(n) $ 如前所述，生成序列 $ u_n $、$ v_n $，使得 $ \lim_{n \to \infty} v_n / u_n = G $。
• 序列满足 $ 2^{4n+3} D_n u_n \in \mathbb{Z} $ 与 $ 2^{4n+3} D_{2n-1}^3 v_n \in \mathbb{Z} $，表明具有强烈的算术控制。
• 误差项满足 $ \lim_{n \to \infty} |u_n G - v_n|^{1/n} = \left| \frac{1 - \sqrt{5}}{2} \right|^5 \approx e^{-2.406} < 1 $，确认了快速收敛。
• 推导出 G 的新连分数展开式，其部分分子为 $ (2n-1)^4 (2n)^4 p(n-1)p(n+1) $，分母为 $ q(n) $，对所有 $ n \geq 0 $ 成立。
• 线性形式 $ u_n G - v_n $ 具有双重积分表示 $ \frac{(-1)^n}{4} \int_0^1 \int_0^1 \frac{x^{n-1/2}(1-x)^n y^n (1-y)^{n-1/2}}{(1 - xy)^{n+1}} \, dx \, dy $。
• 尽管具有强算术性质，线性形式 $ 2^{4n} D_{2n-1}^2 (u_n G - v_n) $ 并不趋于零，因此该方法无法证明 G 的无理性。