[论文解读] A Hypergeometric Approach, Via Linear Forms Involving Logarithms, to Irrationality Criteria for Euler's Constant

Jonathan Sondow, Sergey Alekseevich Zlobin|arXiv (Cornell University)|Nov 5, 2002

Advanced Mathematical Identities参考文献 5被引用 4

一句话总结

本文建立了欧拉常数 γ 的超几何积分表示，表明 γ 的无理性判别准则可等价地通过这一新积分形式表述，该积分被证明等于已知的双重积分与一种尼斯特坚科型级数。关键贡献在于通过等价性证明与级数求值，构建了一个统一框架，将超几何函数、对数的线性型以及 γ 的无理性判别准则联系起来。

ABSTRACT

Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $γ$. The proof is by reduction to known irrationality criteria for $γ$ involving a Beukers-type double integral. We show that the hypergeometric and double integrals are equal by evaluating them. To do this, we introduce a construction of linear forms in 1, $γ$, and logarithms from Nesterenko-type series of rational functions. In the Appendix, Sergey Zlobin gives a change-of-variables proof that the series and the double integral are equal.

研究动机与目标

• 建立欧拉常数 γ 的新超几何积分表示。
• 证明该新积分与先前用于 γ 无理性判别中的双重积分及级数表示等价。
• 将超几何函数、对数的线性型以及贝克斯类型积分等不同方法统一于一个框架中，以研究 γ 的算术性质。
• 通过级数与积分求值，提供 γ 无理性判别准则的自-contained 证明。

提出的方法

• 定义一个涉及参数为 $ n+1, n+1, 2n+1 $（分子）与 $ 2n+2, 2n+1+t $（分母）的 $_3F_2$ 函数的超几何积分 $ I_n $，在 $ z=1 $ 处求值。
• 使用托马伊变换重新表达超几何函数，并将其与有理函数 $ R_n(t) = \left( \frac{n!}{t(t+1)\cdots(t+n)} \right)^2 $ 关联。
• 将 $ I_n $ 表示为无穷级数形式的积分之和 $ \sum_{\nu=n+1}^{\infty} \int_{\nu}^{\infty} R_n(t) \, dt $，并通过部分分式分解进行求值。
• 通过分解 $ R_n(t) $ 得到 $ 1, \gamma, \log m $ 的线性型，导出涉及调和数与对数和的表达式。
• 通过变量替换与积分恒等式，证明超几何积分、级数与双重积分 $ \iint_{[0,1]^2} \frac{(x(1-x)y(1-y))^n}{(1-xy)(-\log xy)} \, dx\,dy $ 之间的等价性。
• 利用恒等式 $ -\frac{(xy)^k}{\log xy} = \int_k^\infty (xy)^t \, dt $，将双重积分转化为级数形式，从而在不直接计算积分的情况下确认其等价性。

实验结果

研究问题

• RQ1 能否构造一个超几何积分表示，使其产生的 γ 无理性判别准则与已知的双重积分和级数方法一致？
• RQ2 超几何积分 $ I_n $ 是否与用于先前 γ 无理性证明的双重积分及尼斯特坚科型级数等价？
• RQ3 从 $ I_n $ 的超几何与级数表示中，$ 1, \gamma, \log m $ 的线性型如何产生？其算术意义为何？
• RQ4 托马伊变换在简化超几何函数、揭示其底层有理结构方面起到何种作用？
• RQ5 能否仅通过变量替换与积分恒等式，而不直接计算积分，证明超几何积分、级数与双重积分之间的等价性？

主要发现

• 证明了超几何积分 $ I_n $ 等于双重积分 $ \iint_{[0,1]^2} \frac{(x(1-x)y(1-y))^n}{(1-xy)(-\log xy)} \, dx\,dy $，通过级数求值确立了二者等价。
• 证明了级数表示 $ \sum_{\nu=n+1}^{\infty} \int_{\nu}^{\infty} \left( \frac{n!}{t(t+1)\cdots(t+n)} \right)^2 dt $ 等于 $ \binom{2n}{n} \gamma + L_n - A_n $，其中 $ L_n $ 为对数的线性型，$ A_n $ 为有理数。
• 其中 $ S_n $ 为涉及二项式系数的整数乘积，其 $ \log S_n $ 的小数部分等于 $ d_{2n} I_n $，从而将 $ S_n $ 的算术性质与 γ 的无理性联系起来。
• 证明了线性型 $ d_{2n} L_n $ 等于 $ \log S_n $，确认了判别准则中对数项与超几何结构在代数上的一致性。
• 在附录中通过变量替换方法证明了超几何积分与双重积分之间的等价性，无需直接计算积分，仅使用恒等式 $ -\frac{(xy)^k}{\log xy} = \int_k^\infty (xy)^t dt $。
• 本文确认了基于双重积分的 γ 无理性判别准则，与由超几何积分及尼斯特坚科型级数导出的准则等价，统一了三种不同的表示形式。