[论文解读] A Set of Identities for a Class of Alternating Binomial Sums Arising in Computing Applications

Mark W. Coffey|ArXiv.org|Aug 20, 2006

Polynomial and algebraic computation参考文献 14被引用 21

一句话总结

本文通过积分表示、特殊函数（Beta、Gamma、多对 polygamma）以及 Bell 多项式，推导出一类交错二项式和 $ S(x,N,m) = \sum_{k=0}^{N} \binom{N}{k} \frac{(-1)^k}{(x+k)^m} $ 的完整精确解析恒等式。主要贡献在于提出一个统一框架，将这些和以多种等价形式表达——包括超几何函数、多重积分、Stirling 数以及广义调和数——从而扩展了已知结果，并使算法与量子信息背景下的渐近分析成为可能。

ABSTRACT

We perform certain alternating binomial summations with parameters that occur in the analysis of algorithms. A combination of integral and special function and special number representations is used. The results are sufficiently general to subsume several previously known cases. Extensions of the method are apparent and are outlined.

研究动机与目标

• 推导出现在算法分析与量子信息科学中的交错二项式和的精确解析表达式。
• 统一并扩展此前关于形式为 $ \sum_{k=0}^{N} \binom{N}{k} \frac{(-1)^k}{(x+k)^m} $ 的和的结果。
• 建立这些和与广义调和数、Stirling 数以及多对 polygamma 和 Beta 函数等特殊函数之间的联系。
• 为复数 $ x $、有理数值及整数情形（包括 $ x = 1 $ 和 $ x = \pm K $）提供适用框架。
• 提供一种系统化方法，利用积分表示与生成函数计算此类和。

提出的方法

• 将 $ S(x,N,m) $ 表示为广义超几何函数：$ {}_{m+1}F_m(x,\ldots,x,-N; x+1,\ldots,x+1; 1) $。
• 通过积分表示表达该和：$ \frac{1}{(m-1)!} \int_0^\infty t^{m-1} e^{-xt} (1 - e^{-t})^N dt $。
• 通过变量代换变换积分，得到：$ \frac{2^{N+m}}{(m-1)!} \int_0^\infty w^{m-1} e^{-(2x+N)w} \sinh^N w \, dw $。
• 以第二类 Stirling 数和 Beta 函数表示该和：$ \sum_{n=m-1}^\infty \frac{(-1)^n}{n!} s(n,m-1) B(N+n+1,x) $。
• 利用 Bell 多项式将该和表示为函数 $ g(x) = \psi(x) - \psi(x+N+1) $ 的导数形式，其中 $ \psi $ 为 digamma 函数。
• 应用恒等式 $ S(x,N,m) = \frac{(-1)^{m-1}}{(m-1)!} \frac{N!}{(x)_{N+1}} Y_{m-1}[g(x), g'(x), \ldots, g^{(m-1)}(x)] $，将其与广义调和数和多对 polygamma 函数联系起来。

实验结果

研究问题

• RQ1 如何为复数 $ x $ 和整数 $ N, m $，以闭式表达形如 $ \sum_{k=0}^{N} \binom{N}{k} \frac{(-1)^k}{(x+k)^m} $ 的交错二项式和？
• RQ2 此类和与广义调和数、Stirling 数以及多对 polygamma 和 Beta 函数等特殊函数之间存在何种联系？
• RQ3 该方法能否推广至 $ x $ 的有理数值？与已知情形（如 $ x = 1 $ 或 $ x = \pm K $）的结果相比有何异同？
• RQ4 积分表示与生成函数在推导这些恒等式过程中起到何种作用？
• RQ5 Bell 多项式及其行列式与递推结构在统一表达式中扮演何种角色？

主要发现

• 和 $ S(x,N,m) $ 被精确表示为广义超几何函数：$ {}_{m+1}F_m(x,\ldots,x,-N; x+1,\ldots,x+1; 1) $，对复数 $ x \notin \{0, -1, \ldots, -N\} $ 成立。
• 推导出一个积分表示：$ S(x,N,m) = \frac{1}{(m-1)!} \int_0^\infty t^{m-1} e^{-xt} (1 - e^{-t})^N dt $，该表示支持渐近分析。
• 该和通过 Beta 函数与第一类 Stirling 数表示为：$ \sum_{n=m-1}^\infty \frac{(-1)^n}{n!} s(n,m-1) B(N+n+1,x) $。
• 一个关键恒等式将该和与 Bell 多项式联系起来：$ S(x,N,m) = \frac{(-1)^{m-1}}{(m-1)!} \frac{N!}{(x)_{N+1}} Y_{m-1}[g(x), g'(x), \ldots, g^{(m-1)}(x)] $，其中 $ g(x) = \psi(x) - \psi(x+N+1) $。
• 当 $ x = K $ 为整数时，导数 $ g^{(\ell)}(K) $ 可表示为广义调和数：$ g^{(\ell)}(K) = (-1)^{\ell+1} \ell! (H_{N+K}^{(\ell+1)} - H_{K-1}^{(\ell+1)}) $。
• 该方法可推广至涉及 Beta 函数及其导数的多重积分，从而为积分如 $ \int_0^1 u^{x-1}(1-u)^{y-1} \ln^{m-1}u \ln^{n-1}(1-u) du $ 提供新表示。