On a Class of Hypergeometric Sums via Recurrences and Product Binomial-Harmonic Identities

技术摘要：通过递推关系与乘积二项式-调和恒等式研究一类超几何级数

问题陈述
本文研究了涉及系数形式为 $a_n(\alpha) = \frac{(\alpha)_n (1-\alpha)_n}{(n!)^2}$（其中 $0 < \alpha < 1$）的无穷级数的求值与化简。这些系数自然地出现在高斯超几何函数 $F_\alpha(x) = {}_2F_1(\alpha, 1-\alpha; 1; x)$ 中。研究的核心重点是包含偏移线性分母幂次的级数，定义为：
$$A^{(K)}_m(\alpha) = \sum_{n=0}^\infty \frac{a_n(\alpha)}{(n + m + 1)^K}, \quad m \ge 0, K \ge 1.$$
本研究还扩展到了交错级数（$\varepsilon = -1$）、具有任意整数斜率的分母（$dn + m + 1$），以及涉及调和数（$H_n$）及其平方的级数。特别强调了“乘积-二项式”情形，即当$\alpha = 1/R$（$R \ge 2$为整数）时，这些情形与二项式系数的乘积以及关于$1/\pi$ 的拉马努金型公式相关。

方法论
核心方法论创新在于通过在分母中引入位移参数 $\lambda$ 来定义一个生成函数：
$$\Phi_{m,\varepsilon}(\lambda; \alpha) = \sum_{n=0}^\infty \frac{\varepsilon^n a_n(\alpha)}{n + m + 1 + \lambda}, \quad \varepsilon \in \{1, -1\}.$$
通过对 $\Phi_{m,\varepsilon}$ 进行幂级数展开，可以通过提取系数来恢复级数 $A^{(K)}_{m,\varepsilon}(\alpha)$。

推导过程如下：

1. 微分方程联系： 函数 $F_\alpha(x)$ 满足欧拉超几何微分方程。通过代入 $x \to \varepsilon x$，推导出 $G_{\alpha,\varepsilon}(x) = F_\alpha(\varepsilon x)$ 的微分方程。
2. 递推关系推导： 利用 $\Phi_{m,\varepsilon}$ 的积分表示，并针对微分方程进行分部积分，作者推导出了关于指标 $m$ 的一阶线性递推关系。该递推关系将 $\Phi_{m,\varepsilon}$ 与 $\Phi_{m-1,\varepsilon}$ 以及涉及超几何函数及其导数在特定点（如 $x=1$ 或 $x=-1$）处取值的边界项联系起来。
3. 显式解： 对于有理参数 $\alpha = q/k$ 和 $1-\alpha = s/r$，该递推关系具有显式解。该解将 $\Phi_{m,\varepsilon}$ 表示为涉及初始常数（$\Phi_{0,\varepsilon}$）和边界项之和的有限乘积和。
4. 系数提取： 通过在 $\lambda$ 的幂级数中展开 $\Phi_{m,\varepsilon}$ 的闭合形式解，本文为任何正整数 $K$ 提取出 $A^{(K)}_{m,\varepsilon}(\alpha)$ 的显式公式。这一过程将无穷级数转化为涉及初始常数和有限和的有限化简形式。
5. 调和扩展： 为了处理调和数，将超几何函数的下参数推广到 $c$。通过在 $c=1$ 处对所得级数关于 $c$ 求导，引入了 $H_n$ 和 $H_n^{(2)}$ 因子，从而允许使用相同的递推框架来求值调和级数。

主要贡献与结果

• 有限化简： 本文确立了对于正整数幂 $K$，无穷级数 $A^{(K)}_{m,\varepsilon}(\alpha)$ 可以简化为涉及初始常数和有限和的有限表达式。这与一般的复数指数情形不同，在后者中递推关系不会终止。
• 乘积-二项式恒等式： 对于 $\alpha = 1/R$，该方法产生了关于普通级数和交错级数的闭合形式恒等式。值得注意的是，本文为 $R=4$ 的情形（与中心二项式系数相关）提供了一个闭合公式，回答了一个关于级数 $\sum \frac{1}{64^n} \binom{2n}{n} \binom{4n}{2n} \frac{1}{n+m+1}$ 的开放问题。
• 任意斜率分母： 该框架被扩展到形式为 $(dn + m + 1)^K$ 的分母。通过将 $m$ 分解为模 $d$ 的剩余类，这些级数被简化为先前已求解的 $\Phi_{\ell,\varepsilon}$ 情形。
• 调和数恒等式： 本文推导了涉及 $H_n$ 和 $H_n^2 + H_n^{(2)}$ 的各种 $R$ 值（包括 $R=2, 3, 4, 5, 6$）的显式公式。这些结果用伽马函数、双伽马函数和对数来表示。
• 消去恒等式： 递推关系导致了特定的“消去”恒等式，即具有不同分母幂次的级数的线性组合趋于零或简化为零（例如，对于 $R=2, K=3$）。

意义与主张
本文声称，该框架的主要优势在于其系统性：一个单一的位移递推关系同时控制了所有正整数分母幂次的级数。这使得以下内容的统一推导成为可能：

• 普通及交错乘积-二项式恒等式。
• 涉及更高分母幂次（$1/\pi$ 型）的恒等式。
• 调和数恒等式。

作者指出，虽然该方法产生的是有限化简，但显式求值初始常数（如 $F_\alpha(-1)$ 和 $F'_\alpha(-1)$）取决于 $\alpha$ 的具体取值。对于 $R=2$，这些常数简化为伽马函数表达式；对于 $R > 2$，除非应用特定的变换（如库默尔定理），否则它们通常仍保持超几何形式。本文将自身定位为生成这些恒等式的工具，而非作为新的超越数理论结果的来源，其依赖于标准特殊函数恒等式（高斯、库默尔、尼科尔森）作为输入。这项工作回答了关于 $R=4$ 的特定开放问题，并为 $R \ge 2$ 提供了一个通用算法。