[论文解读] The integrals in Gradshteyn and Rhyzik. Part 1: A family of logarithmic integrals

Victor H. Moll|arXiv (Cornell University)|Apr 30, 2007

Analytic Number Theory Research参考文献 4被引用 14

一句话总结

本文使用多 polylogarithm 函数、伯努利多项式及 Hurwitz zeta 函数，对一类形式为 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $（$ n \geq 2 $，$ a > 0 $）的对数积分进行了统一的解析评估。关键结果以伯努利数、$ \pi $ 的幂次及 $ \ln a $ 的显式依赖关系，给出了 $ f_n(a) $ 的闭式表达，利用单一框架解决了 Gradshteyn 和 Ryzhik 积分表中的多个条目。

ABSTRACT

We present the evaluation of a family of logarithmic integrals. This provides a unified proof of several formulas in the classical table of integrals by I. S. Gradshteyn and I. M. Rhyzik.

研究动机与目标

• 为 Gradshteyn 和 Ryzhik 经典积分表中列出的多个对数积分公式提供统一的解析证明。
• 解决该表中关于对数与多 polylogarithm 积分条目的不一致与错误。
• 为积分族 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ 推导出闭式表达，该式对 $ n \geq 2 $，$ a > 0 $ 成立。
• 建立这些积分与特殊函数（如 Hurwitz zeta 函数、多 polylogarithm 函数及伯努利多项式）之间的联系。

提出的方法

• 将积分 $ f_n(a) $ 分解为 $ (0,1) $ 和 $ (1,\infty) $ 两部分，对第二部分应用代换 $ x = 1/t $ 以实现对称化。
• 使用部分分式分解，将 $ \frac{1}{(x-1)(x+a)} $ 表示为 $ \frac{1}{x-1} $ 与 $ \frac{1}{x+a} $ 的线性组合。
• 通过级数展开及多 polylogarithm 函数定义 $ \text{Li}_n(x) = \sum_{k=1}^\infty \frac{x^k}{k^n} $ 计算所得积分。
• 应用多 polylogarithm 的函数恒等式：$ \text{Li}_n(-a) - (-1)^n \text{Li}_n(-1/a) = \frac{(2\pi i)^n}{n! i^n} B_n\left(\frac{\log a}{2\pi i} + \frac{1}{2}\right) $。
• 利用伯努利多项式的反射与加法定理，将表达式简化为关于 $ \log a $ 的多项式。
• 通过欧拉公式 $ \zeta(2m) = \frac{(-1)^{m+1}(2\pi)^{2m} B_{2m}}{2(2m)!} $，将最终结果表示为伯努利数 $ B_{2j} $、$ \pi $ 的幂次及偶数 zeta 值的组合。

实验结果

研究问题

• RQ1 如何构建一个统一的解析框架，以评估 Gradshteyn 和 Ryzhik 积分表中的对数积分？
• RQ2 积分族 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ 的闭式表达是什么？其与特殊函数有何关联？
• RQ3 为何某些表中条目（如涉及 $ \int \ln \ln \tan x\,dx $ 的条目）需要使用 Hurwitz zeta 函数与 Dirichlet L 函数等高级工具？
• RQ4 多项式 $ h_n(a) = (1+a)f_n(a) $（以 $ \ln a $ 的幂次表示）的系数如何依赖于伯努利数与 zeta 值？
• RQ5 多 polylogarithm 反射恒等式在简化积分计算中起到何种作用？

主要发现

• 积分 $ f_n(a) $ 的闭式表达为 $ f_n(a) = \frac{(-1)^n (n-1)!}{1+a} \left[1 + (-1)^n\right] \zeta(n) + \frac{1}{n(1+a)} \sum_{j=0}^{\lfloor n/2 \rfloor} \binom{n}{2j} (2^{2j} - 2)(-1)^{j-1} B_{2j} \pi^{2j} (\ln a)^{n-2j} $。
• 当 $ n $ 为奇数时，第一项消失，结果仅依赖于偶数伯努利数与 $ \ln a $ 的幂次。
• 当 $ n $ 为偶数时，第一项贡献一个有理倍数的 $ \pi^n $，该结果源自 $ \zeta(2m) $ 的欧拉公式。
• 多项式 $ h_n(a) = (1+a)f_n(a) $ 是关于 $ \ln a $ 的齐次多项式，次数为 $ n $，且由于 $ (-1)^{j-1} B_{2j} $ 的符号行为，其系数为正。
• 该表达式验证了 Gradshteyn 和 Ryzhik 表中条目 $ \mathbf{4.232.3} $、$ \mathbf{4.261.4} $、$ \mathbf{4.262.3} $、$ \mathbf{4.263.1} $ 与 $ \mathbf{4.264.3} $ 的正确性，并修正了最新版中的已知拼写错误。
• 符号计算工具（如 Mathematica 5.2）在 $ n $ 为符号参数时无法符号化计算 $ f_n(a) $，但对固定整数 $ n $ 可成功计算，从而确认了解析推导的必要性。