New sums mixing harmonic numbers and central binomial coefficients

技術要約：調和数と中央二項係数を混合した新しい和

問題提起
本論文は、中央二項係数の逆数に調和数（$H_n$）、奇調和数（$O_n$）、および2次の一般化調和数（$H_n^{(2)}$）を混合させた組み合わせ和の評価を扱う。$\sum \frac{2^{2k}}{\binom{2k}{k}}$ およびその一般化された形式の和に関する恒等式は、Rockett、Complet、Gouldらによって十分に文書化されているが、著者らは、これらの係数が指数のべき乗（$k^d$）や調和項と乗じられた場合の和の閉形式（closed-form）の表現および再帰的解法に焦点を当てている。本研究は、BatailleおよびFrontczakによる一般化された二項和に関する先行研究を、調和成分を含む形へと拡張するものである。

手法
主要な手法として、既知の組み合わせ恒等式に適用される微分演算子法を用いている。著者らは、調和数とディガンマ関数 $\psi(z)$ の関係（$H_z = \psi(z+1) + \gamma$）を利用している。パラメータ $m$（二項係数を $\binom{m+k}{k}$ に一般化したもの）に関して既存の恒等式を微分することにより、$H_{k+m}$ を含む項を生成する。

主な技術的ステップは以下の通りである：

1. 一般化された恒等式の微分: [3, Theorem 4.2] で確立された恒等式：
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} = \frac{1}{2m+3} \left( (m+n+1)\binom{m+n}{n}\binom{2n}{n} 2^{2n+1} + 1 \right)$$
   から出発し、$\frac{d}{dm}\binom{m+k}{k} = \binom{m+k}{k}(H_{k+m} - H_m)$ という性質を用いて、$m$ に関して微分を行う。
2. 部分和による総和（Abelの変換）: べき乗和 $U_d(n)$ および $V_d(n)$ に対して、著者らは、和をより低次の和を含む再帰形式に操作するために、Abelの変換を用いて再帰関係を導出する。具体的には、$u_k = \frac{2^{2k}}{\binom{2k}{k}}$ および $a_k = (2k-1)(k-1)^d$ という補助的な数列を定義する。
3. 代数的簡略化: 得られた式は、有理部分と無理数部分（特に半整数引数を扱う際の $\ln 2$ を含む項）を分離し、$H_n$、$O_n$、および $H_{2n}$ の既知の関係を利用することで簡略化される。

主な貢献と結果

1. 一般化された調和和 (Theorem 2.1):
   本論文は、$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} H_{k+m}$ の形式の和に関する一般的な恒等式を確立している。この結果は、複素数 $m$（非正の整数および $-3/2$ を除く）に対して有効である。

   • 系 2.2 & 2.4: $m$ に特定の値を代入することにより、著者らは以下の形式の新しい閉形式の表現を導出している：
     $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_k \quad \text{および} \quad \sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_{2k}$$
     これらは、以前に知られていた奇調和数に関する恒等式とは異なる、潜在的に新しい結果として提示されている。

2. べき乗和の再帰的解法 (Theorems 3.1 & 3.3):
   著者らは2種類の和を定義している：

   • $U_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d$
   • $V_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$
     彼らは、$U_d(n)$ および $V_d(n)$ を、より低次の和（$U_{d-j}$ および $V_{d-j}$）と境界項を用いて表す再帰公式を導出している。$d=1, 2, 3$ についての明示的な閉形式が提供されている。
   • 観察: 本論文は、$V_d(n)$ が $H_n$、定数項、および正規化因子 $N(d) = \prod_{j=0}^{d+1} (2j+1)$ を含む特定の多項式形式で表されることを指摘している。

3. 第二の調和和の族 (Theorem 4.1):
   $\frac{2^{-2k}}{2k-1}$ という項を含む第二の恒等式の族が導出されている。Theorem 4.1 は、$\binom{m+k+1}{k} H_{m+k+1}$ を含む和に関する一般的な公式を提供している。系では、$m=0$ および $m=1$ の場合について、$H_{n+1}$ および $H_{n+2}$ と関連付けた具体的な評価が提供されている。

4. 二乗調和数を含む和 (Theorem 5.1):
   本論文は、$H_k^2 - H_k^{(2)}$ （ここで $H_k^{(2)} = \sum_{j=1}^k j^{-2}$）を含む和を調査している。Theorem 2.1 の恒等式を2回微分する（またはディガンマ関数の微分を利用する）ことにより、以下の閉形式を導出している：
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} (H_{k+m}^2 - H_{k+m}^{(2)})$$

   • 系 5.2: $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^2$ および $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^{(2)}$ に関する具体的な結果が提供されている。
   • 限界: 著者らは、残留和 $\sum_{j=1}^n \frac{2^{2j}}{j^2 \binom{2j}{j}}$ の閉形式による評価は依然として困難であり、既存の文献でも見つかっていないことを明記している。

意義と範囲
本論文は、著者らの先行研究 [3] への補遺として位置づけられ、中央二項係数に関する既知の恒等式の範囲を、調和数およびその累乗へと拡張している。その意義は以下の点にある：

• 中央二項係数と $H_k$ および $H_{2k}$ を混合した和に関する新しい閉形式の恒等式を提供すること。
• 任意の正の整数 $d$ に対して、$\sum \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$ の形の和を計算するための体系的な再帰的手法を確立すること。
• 既存の恒等式から新しい組み合わせ恒等式を生成するための、微分演算子法の有用性を強調すること。

著者らは控えめなトーンを維持しており、再帰的解法における多項式 $P_d(n)$ および $Q_d(n)$ は興味深いものであるものの、そのより深い構造的特性についてはさらなる研究が必要であると述べている。また、これらの和に関連する多項式をより深く理解するために、変数 $x$ を持つ母関数を用いる（Mansour や Batir/Sofo の研究と同様の）将来の研究方向についても示唆している。本論文は実験的な応用を提案するものではなく、これらの組み合わせ和の理論的な導出と評価に厳密に焦点を当てている。