[论文解读] Ramanujan's Harmonic Number Expansion into Negative Powers of a Triangular Number

Mark B. Villarino|ArXiv.org|Jul 26, 2007

Advanced Mathematical Identities参考文献 3被引用 14

一句话总结

本文对拉马努金关于第 $n$ 个调和数 $H_n$ 的渐近展开式在第 $n$ 个三角数 $m = n(n+1)/2$ 的负幂次下的推导与误差分析提供了完整的推导。它建立了展开式 $H_n = \frac{1}{2}\ln(2m) + \gamma + \sum_{p=1}^r \frac{R_p}{m^p} + \Theta_r \frac{R_{r+1}}{m^{r+1}}$ 中系数 $R_p$ 的一般公式，其中 $0 < \Theta_r < 1$，证明了该级数为渐近级数，并给出了精确的误差界。

ABSTRACT

An algebraic transformation of the DeTemple-Wang half-integer approximation to the harmonic series produces the general formula and error estimate for the Ramanujan expansion for the nth harmonic number into negative powers of the nth triangular number. We also discuss the history of the Ramanujan expansion for the nth harmonic number as well as sharp estimates of its accuracy, with complete proofs, and we compare it with other approximative formulas.

研究动机与目标

• 为拉马努金关于第 $n$ 个调和数 $H_n$ 在第 $n$ 个三角数 $m = n(n+1)/2$ 的负幂次下的渐近展开式提供完整且严格的推导。
• 建立拉马努金展开式中系数 $R_p$ 的一般闭式表达式，弥补伯恩特仅验证而未推导的空白。
• 通过推导形式为 $\Theta_r \cdot \frac{R_{r+1}}{m^{r+1}}$ 的精确误差估计（其中 $0 < \Theta_r < 1$），证明拉马努金级数为渐近级数。
• 将拉马努金的近似与其它已知近似（如 DeTemple–Wang、Lodge 公式）进行比较，并分析其相对精度。
• 追溯该公式的演变历史，确认塞萨罗（1885）为最早已知提出该公式两倍项版本并附带误差项者，早于拉马努金；洛奇（1904）首次给出误差界，但未提供一般系数公式或完整的渐近分析。

提出的方法

• 通过德特姆普尔–王半整数近似式的代数变换，推导出一般系数公式 $R_p = \frac{(-1)^{p-1}}{2p \cdot 8^p} \left\{ 1 + \sum_{k=1}^p \binom{p}{k} (-4)^k B_{2k}(1/2) \right\}$。
• 以欧拉–麦克拉林求和公式为基础，将拉马努金展开式与 $H_n$ 在 $n$ 的负幂次下的标准渐近展开式联系起来。
• 运用生成函数技巧及伯努利多项式 $B_{2k}(1/2)$ 的性质，推导并简化系数表达式。
• 应用交错级数误差估计原理，对余项进行有界，证明误差绝对值小于下一项且符号相同。
• 引入辅助量 $\epsilon_r$、$E_r$ 和 $\theta_r$ 以分解总误差，并证明存在 $\Theta_r \in (0,1)$，使得误差项为 $\Theta_r \cdot R_{r+1}/m^{r+1}$。
• 通过证明截断至 $r$ 项后，误差被下一项的模长所控制，从而验证该级数的渐近性。

实验结果

研究问题

• RQ1 拉马努金将 $H_n$ 展开为第 $n$ 个三角数负幂次的展开式中，系数的一般闭式表达式是什么？
• RQ2 拉马努金的级数是否为渐近级数？能否严格证明其精确误差估计？
• RQ3 拉马努金的近似与 DeTemple–Wang 和 Lodge 公式等其他已知近似相比，精度如何？
• RQ4 拉马努金公式的起源是什么？谁最早建立了相关结果？
• RQ5 用于推导 $H_n$ 的方法是否可推广，以导出 $n!$ 关于三角数 $m$ 的新型斯特林型展开式？

主要发现

• 拉马努金展开式中的一般系数为 $R_p = \frac{(-1)^{p-1}}{2p \cdot 8^p} \left\{ 1 + \sum_{k=1}^p \binom{p}{k} (-4)^k B_{2k}(1/2) \right\}$，为所有项提供了完整的解析表达式。
• 展开式 $H_n = \frac{1}{2}\ln(2m) + \gamma + \sum_{p=1}^r \frac{R_p}{m^p} + \Theta_r \cdot \frac{R_{r+1}}{m^{r+1}}$ 为渐近级数，其中 $0 < \Theta_r < 1$，表明误差在大小和符号上均被下一项所控制。
• 误差项被证明为 $\Theta_r \cdot R_{r+1}/m^{r+1}$ 的形式，且 $\Theta_r \in (0,1)$，从而证明该级数为渐近级数，并提供了精确的误差估计。
• 本文追溯了历史脉络，确认塞萨罗（1885）为最早提出该展开式两倍项版本并附带误差项者，早于拉马努金。
• 洛奇（1904）此前已推导出类似近似，其误差项常数为最优，但未提供一般系数公式或完整的渐近分析。
• 用于推导该展开式的方法可进一步推广，有望导出 $n!$ 关于三角数 $m$ 的新型斯特林型展开式，如结论中所建议。