[论文解读] A few remarks on linear forms involving Catalan's constant

Wadim Zudilin|ArXiv.org|Oct 28, 2002

Polynomial and algebraic computation参考文献 7被引用 9

一句话总结

本文利用超几何级数和阿佩里型递推关系，研究了卡塔兰常数 $G$ 与 1 的线性型。证明了系数 $u_n$ 和 $v_n$ 的渐近整性性质，即 $2^{4n + o(n)}u_n \in \mathbb{Z}$ 且 $2^{4n + o(n)}D_{2n-1}^2v_n \in \mathbb{Z}$，支持了 $G$ 为无理数的猜想。

ABSTRACT

In the joint work of T.Rivoal and the author, a hypergeometric construction was proposed for studing arithmetic properties of the values of Dirichlet's beta function $β(s)$ at even positive integers. The construction gives some bonuses for Catalan's constant $G=β(2)$, such as a second-order Apery-like recursion and a permutation group in the sense of G.Rhin and C.Viola. Here we prove expected integrality properties of solutions to the above recursion as well as suggest a simpler (also second-order and Apery-like) one for $G$. We "enlarge" the permutation group of our previous (joint with T.Rivoal) work by showing that the total 120-permutation group for $ζ(2)$ (known thanks to G.Rhin and C.Viola) can be applied in arithmetic study of Catalan's constant. These considerations have computational meanings and do not allow us to prove the (presumed) irrationality of $G$. Finally, we suggest a conjecture yielding the irrationality property of numbers (e.g., of Catalan's constant) from existence of suitable second-order difference equations (recursions).

研究动机与目标

• 建立与卡塔兰常数 $G$ 相关的线性型 $r_n = u_nG - v_n$ 中有理序列 $u_n$ 和 $v_n$ 的渐近整性性质。
• 为实验观察结果提供理论依据，即当 $n \leq 1000$ 时，$2^{4n}u_n$ 和 $2^{4n}D_{2n-1}^2v_n$ 均为整数。
• 探讨阿佩里型二阶递推关系与 $G$ 的无理性之间的联系。
• 提出一个猜想，将线性递推的有理解的几何增长性质与特征根的有理性联系起来，该猜想若成立，将蕴含 $G$ 的无理性。

提出的方法

• 利用惠普尔和贝利的变换，将 $r_n$ 的超几何表示转化为梅林-巴内斯积分形式。
• 应用围道积分与留数计算，将 $r_n$ 表示为留数之和，从而得到有理函数的部分分式分解。
• 推导出被积函数部分分式展开中系数 $A_l$ 和 $A_l'$ 的显式公式，证明其满足 $2^{6n+4}$-整性。
• 利用该分解，将 $r_n$ 表示为涉及 $\sum_{\mu} \frac{1}{(4\mu + \epsilon)^2}$ 的级数和，通过已知的 $L$-级数恒等式与 $G$ 建立联系。
• 应用 $\mathfrak{G}$-群结构与双重积分表示，将整性结果推广至相关的超几何函数。
• 提出关于二阶线性递推有理解的几何增长条件的猜想，并将其与主导根的无理性联系起来。

实验结果

研究问题

• RQ1 能否对实验观察结果 $2^{4n}u_n$ 和 $2^{4n}D_{2n-1}^2v_n$ 在 $n \leq 1000$ 时为整数的现象进行渐近证明？
• RQ2 线性型 $r_n = u_nG - v_n$ 中 $u_n$ 和 $v_n$ 的分母的精确增长速率是什么？
• RQ3 阿佩里型递推关系与超几何变换如何促进卡塔兰常数无理性证明？
• RQ4 $\mathfrak{G}$-群结构在推广超几何函数整性结果中起什么作用？
• RQ5 关于线性递推有理解的几何增长条件的猜想是否蕴含特征根的有理性？

主要发现

• 本文证明了 $2^{4n + o(n)}u_n \in \mathbb{Z}$ 且 $2^{4n + o(n)}D_{2n-1}^2v_n \in \mathbb{Z}$，其中 $o(n)$ 项的上界为 $\log_2(2n)$。
• 部分分式分解中系数 $A_l$ 和 $A_l'$ 满足 $A_l \cdot 2^{6n+4} \in \mathbb{Z}$ 且 $A_l' \cdot 2^{6n+4} \in \mathbb{Z}$。
• 线性型 $r_n = u_nG - v_n$ 可通过梅林-巴内斯积分表示，并进一步表示为留数之和。
• 渐近行为 $\lim_{n \to \infty} |r_n|^{1/n} = \left| \frac{1 - \sqrt{5}}{2} \right|^5$ 和 $\lim_{n \to \infty} u_n^{1/n} = \left( \frac{1 + \sqrt{5}}{2} \right)^5$ 确认了指数衰减与增长速率。
• 该猜想表明，若 $G$ 为有理数，则相应的序列 $\tilde{u}_n$ 和 $\tilde{r}_n$ 将满足几何增长条件与有理递推关系，但这与特征根 $\lambda_{1,2} = \left( \frac{1 \pm \sqrt{5}}{2} \right)^5$ 的无理性相矛盾。
• 对于 $\mathfrak{G}$-等价集合，猜想成立 $2^{2M + o(M)}D_{m_1}D_{m_2}H(\mathbf{c}) \in \mathbb{Z}G + \mathbb{Z}$，该结果推广了 $\zeta(2)$ 的已知结果。