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

技術要約：漸化式と積・二項係数・調和数の恒等式を通じた、ある種の超幾何級数に関する研究

問題の定義
本論文は、$0 < \alpha < 1$ において、係数が $a_n(\alpha) = \frac{(\alpha)_n (1-\alpha)_n}{(n!)^2}$ の形をとる無限級数の評価および簡約化を調査するものである。これらの係数は、ガウス超幾何関数 $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}$ を $\lambda$ のべき級数として展開することで、係数抽出を通じて $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_{0,\varepsilon}$）と境界項の総和を含む有限の積・和として表現される。
4. 係数抽出： $\Phi_{m,\varepsilon}$ の閉形式の解を $\lambda$ のべき級数に展開することで、任意の正の整数 $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}$ のケースへと簡約される。
• 調和数の恒等式： 様々な $R$（$R=2, 3, 4, 5, 6$ を含む）について、$H_n$ および $H_n^2 + H_n^{(2)}$ を含む和の明示的な公式を導出している。これらの結果は、ガンマ関数、ディガンマ関数、および対数によって表現される。
• 相殺恒等式： 漸化式は、異なる分母のべきを持つ和の線形結合がゼロに消滅するか、あるいは単純化される特定の「相殺」恒等式（例：$R=2, K=3$ の場合）を導く。

意義と主張
本論文は、この枠組みの主な利点はその体系的な性質にあると主張している。すなわち、単一のシフトされた漸化式が、すべての正の分母のべきに対して同時に和を制御していることである。これにより、以下の統一的な導出が可能となる：

• 通常および交代の積・二項係数恒等式。
• 高次の分母のべき（$1/\pi$ 型の恒等式）を含む恒等式。
• 調和数恒等式。

著者は、この手法は有限の簡約を生み出すものであるが、初期定数（$F_\alpha(-1)$ や $F'_\alpha(-1)$ など）の明示的な評価は、$\alpha$ の具体的な値に依存することを述べている。$R=2$ の場合、これらの定数はガンマ関数の式へと簡略化されるが、$R > 2$ の場合、クンマーの定理のような特定の変換を適用しない限り、超幾何形式のまま残ることが多い。本論文は、自らが新しい超越数論の結果の源泉ではなく、標準的な特殊関数恒等式（ガウス、クンマー、ニコルソン）をインプットとして利用する、これらの恒等式を生成するためのツールであることを位置づけている。本研究は $R=4$ に関する特定の未解決問題を解決し、$R \ge 2$ に対する一般的なアルゴリズムを提供している。