[论文解读] The integrals in Gradshteyn and Ryzhik. Part 4: The Gamma function

Victor H. Moll|arXiv (Cornell University)|May 1, 2007

Advanced Optimization Algorithms Research参考文献 2被引用 11

一句话总结

本文系统地从格拉德施泰因和里兹的积分表中推导出可简化为伽马函数的定积分，方法包括引入参数、变量变换和对数尺度变换。它建立了积分与伽马函数恒等式之间的联系，包括倍乘公式和多 digamma 函数，通过积分号下微分和特殊函数恒等式，为 3.371、4.358.5 和 4.215.3 等条目提供了解析证明。

ABSTRACT

We present a systematic derivation of some definite integrals in the classical table of Gradshteyn and Ryzhik that can be reduced to the gamma function.

研究动机与目标

• 为格拉德施泰因和里兹中可简化为伽马函数的定积分提供系统推导。
• 展示如何通过引入参数和变量变换来简化复杂积分的求值。
• 为经典伽马函数恒等式及其积分表示提供解析证明。
• 建立包含对数项和幂函数的积分与伽马函数及多 digamma 函数之间的联系。
• 为未来关于 Frullani 型积分及进一步简化的工作奠定基础。

提出的方法

• 在伽马函数积分中引入参数 μ，以生成积分族，例如 ∫₀^∞ t^{a-1} e^{-μt} dt = μ^{-a} Γ(a)。
• 使用积分号下微分法推导出涉及 ψ(a) 和 Γ^{(n)}(1) 的表达式，将其与欧拉常数和 zeta 函数联系起来。
• 应用变量变换如 x = t^b 或 u = x - b/x，将积分转化为标准伽马函数形式。
• 采用对数尺度表示 Γ(a) = ∫₀¹ (-ln u)^{a-1} du，以计算涉及 ln(-ln x) 和对数项幂次的积分。
• 通过代换 t = px² 消除积分中的“虚假参数”（如 e^{-px²} 中的 p），以恢复标准伽马函数形式。
• 使用莱布尼茨法则和递推关系，将伽马函数的高阶导数表示为 Hurwitz zeta 函数的形式。

实验结果

研究问题

• RQ1 如何在伽马函数积分中引入参数，以系统生成一系列定积分？
• RQ2 如何用 Γ(a) 及其导数来解析推导 ∫₀^∞ x^{a-1} e^{-μx} (ln x)^n dx 的表达式？
• RQ3 变量变换如 x = t^b 或 u = x - b/x 如何将复杂积分简化为伽马函数形式？
• RQ4 对数尺度表示 Γ(a) = ∫₀¹ (-ln u)^{a-1} du 在计算涉及 ln(-ln x) 的积分中起什么作用？
• RQ5 如何消除如 ∫₀^∞ x^{2n} e^{-px^2} dx 中积分的“虚假参数”以恢复标准伽马函数恒等式？

主要发现

• 恒等式 ∫₀^∞ t^{n} e^{-μt} dt = n! μ^{-n-1} 作为参数化伽马函数积分的特例被推导出，对应于格拉德施泰因和里兹中的条目 3.351.3。
• 通过勒让德倍乘公式确认了 ∫₀^∞ t^{m-1/2} e^{-μt} dt = (Γ(m+1/2)/μ^{m+1/2})，与条目 3.371 一致。
• 积分 ∫₀^∞ (e^{-νx} - e^{-μx}) / x^{ρ+1} dx = (μ^ρ - ν^ρ)/ρ · Γ(1-ρ) 在 0 < ρ < 1 条件下被直接计算，确认了条目 3.434.1。
• 当 ρ → 0 时，得到 ∫₀^∞ (e^{-μx} - e^{-νx}) / x dx = ln(ν/μ)，这是一个 Frullani 型积分，确认了条目 3.434.2。
• 通过代换推导出公式 ∫₀^∞ x^{ν-1} exp(-μ x^p) dx = (1/p) μ^{-ν/p} Γ(ν/p)，确认了条目 3.478.1 和 3.478.2。
• 从伽马函数的对数形式推导出 ∫₀¹ ln(-ln x) dx = -γ，确认了条目 4.229.1。