[论文解读] Yet Another Table of Integrals

Richard J. Mathar|arXiv (Cornell University)|Jul 24, 2012

Iterative Methods for Nonlinear Equations参考文献 141被引用 4

一句话总结

本文提出了一套精心整理的、非冗余的1,000多个定积分、级数及特殊函数恒等式集合，主要源自数学与物理文献。该集合作为反向参考工具，帮助研究人员追溯其工作中所遇到的积分的原始出处，附有详尽的引用和与Gradshteyn-Ryzhik、Dieckmann等已知表格的关联。

ABSTRACT

This collection of sums and integrals has been harvested from the mathematical and physical literature in unstructured ways. Its main use is backtracking the original sources whenever an integral of the reader's application resembles one of the items in the collection.

研究动机与目标

• 从数学与物理文献中整理出可搜索的、非冗余的积分与级数集合。
• 为在研究中遇到与表中相似积分的研究人员提供回溯工具。
• 为每个公式提供参考文献与溯源路径，使用户能够定位其原始推导过程。
• 包含涉及黎曼ζ函数、多对数函数、伯努利数和调和数等特殊函数的恒等式。
• 在保持与Gradshteyn-Ryzhik和Dieckmann等既定表格一致的同时，补充新条目或更正条目。

提出的方法

• 从非结构化来源（如研究论文、书籍和在线资源）收集公式。
• 按公式类型组织条目，每个公式前均列有原始出处的参考文献。
• 使用生成函数、贝尔多项式及超几何恒等式推导并验证复杂数列求和。
• 应用生成函数技术表达涉及二项式系数、斯特林数和调和数的求和。
• 通过围道积分和积分变换推导涉及Hurwitz zeta函数、多对数函数和Barnes G函数的结果。
• 利用递推关系与生成函数求逆推导伯努利多项式与欧拉多项式相关的恒等式。

实验结果

研究问题

• RQ1 研究人员如何高效追溯其工作中遇到的某个积分或级数的原始出处？
• RQ2 是否存在一种系统方法，可将给定积分与其在数学文献中的来源相联系？
• RQ3 如何系统地计算涉及斯特林数、调和数和下降阶乘的复杂数值二项式求和？
• RQ4 哪些生成函数恒等式可统一涉及中心二项式系数与倒数幂的求和族？
• RQ5 如何通过积分与级数恒等式关联特殊函数，如Hurwitz zeta函数、多对数函数和Barnes G函数？

主要发现

• 该表包含1,000多个条目，每项均附有原始出处引用，使研究人员能够追溯积分与级数的来源。
• 利用第一类斯特林数，推导出求和式 ∑_{k=0}^n (n choose k) k^m 的闭式解：∑_{j=0}^m {m  j} (n choose j) j! 2^{n-j}。
• 推导出求和式 ∑_{k} (n choose 2k) k 的生成函数恒等式：(n-2)2^{n-3}，适用于 n ≥ 2。
• 得到恒等式 ∑_{k=0}^n (n choose k) (-1)^k k^m = {m  n} (-1)^n n!，将斯特林数与交错二项式求和联系起来。
• 通过二项式系数乘积与 (1 - a²/(2m+1)²) 的无穷乘积，推导出 β(2n+1) 的新生成函数。
• 本文建立了一项新颖的积分恒等式：∫₀¹ ln(sin πq) ζ(z,q) dq = -Γ(1−z)/(2π)^{1−z} sin(πz/2) ζ(2−z)，在 ℜz < 1 时成立。