[论文解读] The integrals in Gradshteyn and Ryzhik. Part 11: The incomplete beta function

Khristo N. Boyadzhiev, Luis A. Medina+1 more|ArXiv.org|Aug 20, 2008

Mathematical functions and polynomials参考文献 4被引用 12

一句话总结

本文系统分析了格拉德什坦与里兹基积分表中涉及不完全β函数的定积分，利用级数展开及ψ函数和ψ²函数的性质。推导出如∫₀¹ ln x / (1+x)² dx = −ln 2 和 ∫₁^∞ ln x / (1+x²)² dx = G/2 − π/8 等积分的闭式解，通过积分变换与围道积分技术，建立不完全β函数与特殊函数之间的联系。

ABSTRACT

The table of Gradshteyn and Ryzhik contains some integrals that can be expressed in terms of the incomplete beta function. We describe some elementary properties of this function and use them to check some of the formulas in the mentioned table.

研究动机与目标

• 验证并推导格拉德什坦与里兹基中涉及不完全β函数的定积分。
• 通过级数与特殊函数，建立不完全β函数β(a) = ∫₀¹ x^{a−1}/(1+x) dx 的基本性质。
• 通过函数恒等式，建立不完全β函数与ψ函数及ψ²函数之间的联系。
• 通过参数微分与变量替换，求解具有挑战性的对数与有理函数积分。
• 展示不完全β函数在求解数学物理与分析中高级定积分方面的实用性。

提出的方法

• 将不完全β函数表示为级数：β(a) = ∑_{k=0}^∞ (−1)^k / (a + k)，其中 a > 0。
• 利用ψ函数展开推导恒等式 β(a) = ½[ψ((a+1)/2) − ψ(a/2)]。
• 应用ψ函数的函数恒等式，包括 ψ(x+1) = ψ(x) + 1/x 与 ψ(x) − ψ(1−x) = −π cot(πx)。
• 使用变量替换如 x = t^p，将积分转化为可用β(a)表示的形式。
• 对含参积分进行微分，以求解对数积分，例如 ∫ t^{a−1} ln t / (b^p + t^p) dt。
• 采用泊松积分表示与傅里叶变换，求解涉及 cosh(πx) 与 β(x) 的积分。

实验结果

研究问题

• RQ1 如何通过级数与特殊函数表示不完全β函数β(a)，以验证格拉德什坦与里兹基中的条目？
• RQ2 在 a → a+1 或 a → 1−a 等变换下，β(a) 的行为受何种函数恒等式支配？
• RQ3 如何利用参数微分与变量替换求解涉及β(a)的对数积分？
• RQ4 不完全β函数与双曲函数的傅里叶或拉普拉斯变换之间存在何种联系？
• RQ5 能否利用 β(b + ½) 以闭式形式求解积分 ∫₀^∞ dx / [(b² + x²) cosh(πx)] ？

主要发现

• 积分 ∫₀¹ ln x / (1+x)² dx 的精确值为 −β(1) = −ln 2。
• 积分 ∫₁^∞ ln x / (1+x²)² dx 的值为 G/2 − π/8，其中 G 为卡塔兰常数。
• 建立了恒等式 ∫₀^∞ e^{−bt} cos(yt)/cosh t dt = (1/π) ∫_{−∞}^∞ h(0,u) b / (b² + (y−u)²) du，其中 b > 0。
• 函数 μ(x) = ∫₀^∞ e^{−xt}/cosh t dt 满足 μ(x) = β((x+1)/2)，从而与不完全β函数建立联系。
• 证明了恒等式 ∫₀^∞ μ(t) sin(xt) dt = μ(2x/π)，表明其在正弦变换下具有自对偶性质。
• 积分 ∫₀¹ x² ln x / (1+x²)² dx 的求值结果为 −½ β′(3/2) + ¼ β(3/2)，化简后为 G/2 − 1/2。