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

Victor H. Moll|ArXiv.org|Jul 14, 2007

Mathematical functions and polynomials参考文献 3被引用 5

一句话总结

本文系统地推导了格拉德施泰因与里兹克积分表中可约化为贝塔函数的定积分，通过初等变量代换及伽马与贝塔函数的性质实现。文章建立了代数积分与贝塔函数之间的联系，利用函数恒等式推导出闭式表达，并引入了‘虚假参数’的概念——其存在不影响积分值，从而通过缩放实现简化。关键结果包括 $ B(a,b) = \Gamma(a)\Gamma(b)/\Gamma(a+b) $ 的表达式及三角恒等式 $ \Gamma(a)\Gamma(1-a) = \pi / \sin(\pi a) $ 的应用。

ABSTRACT

We present the evaluation of definite integrals in the classical table by I. S. Gradshteyn and I. M. Ryzhik that can be reduced to the beta function.

研究动机与目标

• 提供格拉德施泰因与里兹克积分表中可约化为贝塔函数的定积分的系统推导。
• 展示初等变量代换如何将积分转化为标准贝塔函数形式。
• 阐明‘虚假参数’——其存在不影响积分值，可通过缩放实现简化的参数——的作用。
• 利用函数恒等式统一并推广贝塔与伽马函数相关积分的求值。
• 为未来研究这些积分的三角形式奠定基础。

提出的方法

• 以贝塔函数定义 $ B(a,b) = \int_0^1 x^{a-1}(1-x)^{b-1} dx $（$ a,b > 0 $）作为基础积分。
• 应用变量代换如 $ x = t/u $、$ t = x^a $ 和 $ t = 1/x $，将积分转化为贝塔函数形式。
• 利用函数方程 $ B(a,b) = \Gamma(a)\Gamma(b)/\Gamma(a+b) $ 将结果表示为伽马函数形式。
• 运用反射公式 $ \Gamma(a)\Gamma(1-a) = \pi / \sin(\pi a) $ 求值积分中的三角函数表达式。
• 通过对称性与代换技巧（如 $ v = 1/2 - x $、$ s = 4v^2 $）推导恒等式 $ B(a,a) = 2^{1-2a} B(a,1/2) $。
• 通过缩放分析含‘虚假参数’的积分，消除参数后归约为与参数无关的形式。

实验结果

研究问题

• RQ1 如何系统地利用贝塔函数求值格拉德施泰因与里兹克积分表中一大类定积分？
• RQ2 哪些变量代换可将代数被积函数转化为标准贝塔函数形式？
• RQ3 伽马与贝塔函数的函数恒等式如何简化这些积分的求值？
• RQ4 ‘虚假参数’在积分中的意义是什么？其独立性如何被利用以简化求值？
• RQ5 如何通过代换与对称性将对数型与双曲型积分约化为贝塔函数求值？

主要发现

• 积分 $ \int_0^1 \frac{x^p}{(1-x)^p} dx = \frac{p\pi}{\sin p\pi} $ 被识别为 $ B(p+1,1-p) $，通过贝塔函数确认其求值结果。
• 利用对称性与代换推导出恒等式 $ B(a,a) = 2^{1-2a} B(a,1/2) $，进而导出伽马函数的勒让德倍乘公式。
• 通过代换 $ t = c \sqrt{x} $ 求得积分 $ \int_0^c (c^2 - t^2)^{b-1} dt = \frac{c^{2b-1}}{2} B(1/2, b) $，结果为 $ 2^{2b-2} B(b,b) $。
• 通过缩放与贝塔函数积分的微分，确认了 $ \int_0^\infty \frac{x^{a-1} \ln x}{x+b} dx = \frac{\pi b^{a-1}}{\sin \pi a} (\ln b - \pi \cot \pi a) $ 的求值结果。
• 通过代换 $ t = a e^x $ 推导出 $ \int_{-\infty}^\infty \frac{x\,dx}{(a^2 e^x + e^{-x})^\mu} = -\frac{1}{2a^\mu} B(\mu/2, \mu/2) \ln a $，其中对数项源于 $ \ln t - \ln a $。
• 当 $ a = 1 $ 时，结果 $ \int_{-\infty}^\infty \frac{x\,dx}{\cosh^\mu x} = 0 $ 作为特例成立，微分后可得 $ \int_{-\infty}^\infty x \ln \cosh x\, dx = 0 $。