[论文解读] The Sum of Certain Series Related to Harmonic Numbers

Omran Kouba|arXiv (Cornell University)|Oct 9, 2010

Mathematical functions and polynomials参考文献 2被引用 5

一句话总结

本文通过复分析中的积分表示和函数方程，推导出三类涉及调和数 $ H_n $ 的无穷级数的显式闭式表达式。关键结果为 $ S_k $、$ T_k $ 和 $ U_k $ 的精确求和，其中 $ T_k $ 和 $ U_k $ 以 $ \pi^2 $、对数平方以及三角对数和的形式表达，提供了对与调和数相关的级数的新求值结果。

ABSTRACT

In this paper, we consider three families of numerical series with general terms containing the harmonic numbers, and we use simple methods from classical and complex analysis to find explicit formulas for their respective sums.

研究动机与目标

• 推导三类涉及调和数 $ S_k $、$ T_k $ 和 $ U_k $ 的级数的精确闭式表达式。
• 解决奥维迪乌·福尔杜伊提出的问题，即求和 $ T_k $，并求解此前为开放问题的 $ S_k $。
• 通过基于积分表示和函数方程的统一方法，统一处理这些级数。
• 利用经典分析与复分析技术，提供与调和数相关的级数的新求值结果。

提出的方法

• 利用定义在 $ \mathbb{C} \setminus [0,\infty) $ 上的函数 $ F(z) = \int_0^1 \frac{\log(1-t)}{z-t} dt $，为每个级数推导积分表示。
• 建立 $ F(z) $ 的函数方程：$ F(z) + F(1/z) = \frac{\pi^2}{6} - \mathrm{Log}(1-z)\mathrm{Log}(1-1/z) $，在 $ z \in \Omega $ 范围内成立。
• 通过围道积分与解析延拓，利用对称性与留数类论证，计算与 $ T_k $ 和 $ U_k $ 相关的积分。
• 应用复对数恒等式与三角函数求值，简化涉及 $ \log^2(2\sin((2j+1)\pi/(2k))) $ 的求和。
• 通过级数展开与积分变换，将 $ H_{kn} $ 与区域 $ \Delta = \{ (x,y) : 0 \leq x < y \leq 1 \} $ 上的二重积分联系起来。
• 利用恒等式 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} = -\int_0^1 \frac{ky^{k-1}}{1+y^k} \log(1-y) dy $，将求和转化为单变量积分。

实验结果

研究问题

• RQ1 对于正整数 $ k $，求 $ \sum_{n=1}^\infty \frac{\log k - (H_{kn} - H_n)}{n} $ 的精确值？
• RQ2 求和 $ \sum_{n=1}^\infty (-1)^{n-1} (\log k - (H_{kn} - H_n)) $ 的值是多少？
• RQ3 求 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} $ 的闭式表达式？
• RQ4 能否开发一种统一方法，利用复分析求解这三类级数？
• RQ5 如何利用 $ F(z) $ 的函数方程推导出涉及调和数的新级数求值结果？

主要发现

• 求和 $ \sum_{n=1}^\infty \frac{\log k - (H_{kn} - H_n)}{n} = \frac{(k^2+1)\pi^2}{24k} - \frac{1}{2} \sum_{j=0}^{k-1} \log^2\left(2\sin\frac{(2j+1)\pi}{2k}\right) $。
• 当 $ k=2 $ 时，$ \sum_{n=1}^\infty \frac{\log 2 - (H_{2n} - H_n)}{n} = \frac{\pi^2}{12} - \frac{1}{2}\log^2 2 $。
• 当 $ k=3 $ 时，$ \sum_{n=1}^\infty \frac{\log 3 - (H_{3n} - H_n)}{n} = \frac{5}{36}\pi^2 - \frac{3}{4}\log^2 3 $。
• 当 $ k=4 $ 时，$ \sum_{n=1}^\infty \frac{\log 4 - (H_{4n} - H_n)}{n} = \frac{3}{16}\pi^2 - \frac{11}{16}\log^2 4 $。
• 求和 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} = \frac{(k^2+1)\pi^2}{24k} - \frac{1}{2} \sum_{j=0}^{k-1} \log^2\left(2\sin\frac{(2j+1)\pi}{2k}\right) $。
• 当 $ k=5 $ 时，$ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{5n}}{n} = \frac{13\pi^2}{60} - \frac{1}{2}\log^2 2 - 2\log^2\left(\frac{1+\sqrt{5}}{2}\right) $。