[论文解读] The integrals in Gradshteyn and Rhyzik. Part 2: Elementary logarithmic integrals

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

Advanced Combinatorial Mathematics参考文献 5被引用 9

一句话总结

本文提出了系统性方法，用于评估形如 ∫ₐᵇ R(x) lnᵐx dx 的初等对数积分，其中 R(x) 为有理函数且 m ∈ ℕ。通过变量代换、部分分式分解及多对数函数，推导出显式公式，关键结果涵盖单极点与多重极点的积分，包括以 Li₂ 和对数的有理函数表示的闭式表达式。

ABSTRACT

We describe methods to evaluate elementary logarithmic integrals. The integrand is the product of a rational function and a linear polynomial in ln x.

研究动机与目标

• 开发适用于形如 ∫ₐᵇ R(x) lnᵐx dx 的定积分的一般性计算技术，其中 R(x) 为有理函数且 m ∈ ℕ。
• 处理具有单重与多重实极点的有理函数，特别关注 m=1 以内的对数项。
• 利用变量代换、部分分式分解及特殊函数（如二重对数 Li₂）推导闭式表达式。
• 为具有多重极点的高阶有理函数建立递推关系。
• 证明高阶积分解中出现的系数多项式的单峰性。

提出的方法

• 使用代换 x = bt，将形如 ∫₀ᵇ xʲ lnᵐx dx 的积分转化为伽马函数类型的积分。
• 应用变量代换 t = e⁻ˢ，求得 ∫₀¹ tʲ lnᵏt dt = (−1)ᵏ k! / (j+1)ᵏ⁺¹。
• 将 ∫₀ᵇ ln x / (x + r) dx 转化为包含 ln b ln(1 + b/r) 与 ∫₀ᵇˡⁿ⁻¹ ln t / (1 + t) dt 的形式。
• 利用二重对数函数求值 ∫₀ᵇ ln t / (1 + t) dt，得到 g(b) = ln b ln(1 + b) + Li₂(−b)。
• 推导出 hₙ(b) = ∫₀ᵇ ln t / (1 + t)ⁿ dt 的递推关系，从而获得以 ln b、ln(1 + b) 及有理函数表示的显式表达式。
• 引入函数 qₙ(b) = (1 + b)ⁿ⁻¹ hₙ(b)，以分离对数与有理部分，实现系数的系统化计算。

实验结果

研究问题

• RQ1 当 P(x) 为多项式时，如何求解 ∫₀ᵇ P(x) lnᵐx dx 的积分？
• RQ2 对于 r, b > 0，∫₀ᵇ ln x / (x + r) dx 的闭式求值是什么？
• RQ3 如何利用部分分式与多对数函数求解 ∫ₐᵇ ln x / [(x + r₁)(x + r₂)] dx ？
• RQ4 对于 n ≥ 2，∫₀ᵇ ln t / (1 + t)ⁿ dt 的积分受何种递推关系支配？
• RQ5 在高阶对数积分解中出现的系数多项式是否具有单峰性？

主要发现

• 积分 ∫₀ᵇ P(x) lnᵐx dx 是 bʲ lnᵏb（1 ≤ j ≤ deg(P)+1 且 0 ≤ k ≤ m）的线性组合，其系数包含 (−1)ᵏ k! / (j+1)ᵏ⁺¹。
• 积分 ∫₀ᵇ ln x / (x + r) dx 的结果为 ln b ln((b + r)/r) + Li₂(−b/r)，其中 Li₂ 为二重对数函数。
• 对于 ∫₀¹ ln x / (1 + x) dx，结果为 −π²/12，与 Gradshteyn 和 Ryzhik 的条目 4.231.1 一致。
• 当 n > 2 时，递推关系 hₙ(b) = (n−2)/(n−1) hₙ₋₁(b) + b ln b / [(n−1)(1 + b)ⁿ⁻¹] + [1 − (1 + b)ⁿ⁻²] / [(n−1)(n−2)(1 + b)ⁿ⁻²] 成立。
• 通过 Zₙ(b) = −b(1 + b) Tₙ(b)/(n−1)! 定义的多项式 Tₙ(b) 具有正整数系数且为单峰多项式。
• 积分 ∫₀ᵇ ln x / [(x + a)(x + b)] dx 的结果为 (ln(ab)/2(b−a)) ln[(a + b)²/(4ab)]，与 Gradshteyn 和 Ryzhik 的条目 4.232.1 一致。