[论文解读] Combinatorial identities involving harmonic numbers

Necdet Batır|arXiv (Cornell University)|Jun 8, 2018

Advanced Mathematical Identities参考文献 12被引用 6

一句话总结

本文提出了一种涉及二项式系数和参数的新型组合恒等式，通过对其求导和积分，推导出新的有限调和和恒等式。主要贡献在于发现了一组此前未知或重新发现的恒等式，这些恒等式将调和数、二项式系数与交错和联系起来，包括对形如 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ 和 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$ 的求和的闭式表达，其在广义调和和与多伽马函数中具有应用价值。

ABSTRACT

In this work we prove a new combinatorial identity and applying it we establish many finite harmonic sum identities. Among many others, we prove that \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}=H_n^2+\sum_{k=1}^{n}\frac{(-1)^{k}}{k^2\binom{n}{k}}, \end{equation*} and \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}=\frac{H_n[H_n^2+H_n^{(2)}]}{2}-\sum_{k=0}^{n-1}\frac{(-1)^k[H_n-H_k]}{(k+1)(n-k)\binom{n}{k}}. \end{equation*} Almost all of our results are new, while a few of them recapture know results.

研究动机与目标

• 建立一个涉及两个参数 $s$ 和 $x$ 的新型组合恒等式，用于形式为 $\binom{s+n}{k}$ 的二项式系数。
• 通过该恒等式对参数进行求导和积分，生成新的有限调和和恒等式。
• 推导出包含调和数 $H_n$、广义调和数 $H_n^{(2)}$ 以及带交错符号的二项式系数的求和的闭式表达。
• 在有限调和和与二项式变换的背景下，恢复已知结果并提出新的恒等式。
• 提供一种系统化方法，通过将推导出的主恒等式应用于不同参数选择，生成更多恒等式。

提出的方法

• 使用数学归纳法推导主恒等式：$\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$。
• 对主恒等式两边关于参数 $s$ 求导，以生成涉及调和数与二项式系数的恒等式。
• 对主恒等式关于 $x$ 进行积分，以推导出额外的恒等式，特别是涉及 $H_{n-k}$ 项的恒等式。
• 将主恒等式应用于特定参数值，如 $s = 0$、$s = 1$ 和 $s = -\frac{1}{2}$，以恢复或推导出已知与新的恒等式。
• 利用多伽马函数、伽马函数与调和数之间的已知关系，将推导出的恒等式与特殊函数联系起来。
• 采用 $k \to n-k$ 的代换和下标平移等技巧，简化并重新表达求和，使其更紧凑或更易识别。

实验结果

研究问题

• RQ1 通过对包含二项式系数和参数的主生成函数恒等式进行求导和积分，可以推导出哪些新的组合恒等式？
• RQ2 恒等式 $\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$ 如何用于生成有限调和和恒等式？
• RQ3 像 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ 和 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$ 这类求和的闭式求值是什么？
• RQ4 能否使用此方法恢复或重新推导出已知的调和和恒等式？是否存在此前未记录的新恒等式？
• RQ5 特殊值 $s$（如 $s = 0$、$s = 1$ 和 $s = -\frac{1}{2}$）在生成与中心二项式系数及类似卡塔兰数的求和相关的恒等式中起到什么作用？

主要发现

• 本文推导出恒等式 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k} = H_n^2 + \sum_{k=1}^{n}\frac{(-1)^k}{k^2\binom{n}{k}}$，这是一个涉及调和数与二项式系数的新有限和恒等式。
• 本文建立了 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k} = \frac{H_n(H_n^2 + H_n^{(2)})}{2} - \sum_{k=0}^{n-1}\frac{(-1)^k(H_n - H_k)}{(k+1)(n-k)\binom{n}{k}}$，这是对带交错符号的加权调和和的一个新颖表达式。
• 当 $s = 0$ 时，本文恢复了已知恒等式 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k} = \frac{H_n^2 + H_n^{(2)}}{2}$，证实了与既定结果的一致性。
• 当 $s = 1$ 时，得到一个涉及 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n+1}{k}$ 的新恒等式，其与 $H_n$ 和 $H_n^{(2)}$ 相关，并包含涉及 $\sum \frac{(-1)^k(H_n - H_k)}{(n-k)\binom{n}{k}}$ 的校正项。
• 当 $s = -\frac{1}{2}$ 时，得到 $\sum_{k=0}^{n}(-1)^k\binom{n-1/2}{k} = (-1)^n\binom{n-3/2}{n}$，该恒等式被用于推导出关于中心二项式系数的已知结果：$\sum_{k=0}^{n}\frac{(-1)^{n-k}2^{2n-2k}n!(n-k)!}{k!(2n-2k)!} = \frac{1}{2n-1}$。
• 该方法成功生成了一组恒等式，包括 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}\{H_{n-k}^2 + H_{n-k}^{(2)}\}$ 的恒等式，其以 $H_n^2 + H_n^{(2)}$ 和一个涉及 $H_n - H_k$ 的校正和的形式表达。