[论文解读] The integrals in Gradshteyn and Ryzhik. Part 7: Elementary examples

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

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

一句话总结

本文针对格氏与里兹经典积分表中列出的一系列初等定积分，提供了严格的推导与上下文证明。通过使用代换、不完全β函数与γ函数、三角恒等变换以及递归积分等初等技巧，作者建立了涉及代数、对数、指数与有理函数的积分的闭式解。关键结果包括以β函数、反三角与对数函数表示的积分，以及广义超几何结构的表达式。

ABSTRACT

The classical table of integrals by I. S. Gradshteyn and I. M. Ryzhik contains some elementary integrals. We discuss their evaluations.

研究动机与目标

• 为格氏与里兹积分表中列出的若干初等定积分提供严格证明，特别是那些缺乏详细推导的积分。
• 建立一种系统化方法，用于评估组合初等函数（如有理函数、代数函数、对数函数与指数函数）的积分。
• 通过代换与变换推广已知积分，将结果扩展至更广的参数范围。
• 将积分结果与特殊函数（如β函数与γ函数）关联，并推导新的闭式表达式。
• 验证并扩展表格中的条目，包括新推广形式，如涉及 $ (ax^2 + 2bx + c)^{-n-3/2} $ 的积分族。

提出的方法

• 使用代换 $ y = 1 - \root{2}x $ 将 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ 转化为幂函数积分的和。
• 通过变量替换 $ t = x^a $ 将 $ \int_0^1 (1 - x^a)^{p-1} dx $ 表示为不完全β函数 $ B(p, a^{-1}) $。
• 应用三角代换 $ t = \tan\varphi $ 与 $ u = \sin\varphi $，将振荡积分转化为有理函数或反三角函数形式。
• 通过含参积分的微分法推导递推关系，并求解参数相关积分的微分-差分方程。
• 使用部分分式分解与级数展开，计算涉及 $ (1 - s^2)^{-1} $ 与 $ (1 + z^2 x^2)^{-n-1} $ 的积分。
• 应用分部积分与参数微分，推导含 $ \ln(a^s + x^s) $ 与分数幂次有理函数的积分的闭式解。

实验结果

研究问题

• RQ1 如何通过初等代换严格推导初等积分 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx = \frac{2}{p(p+1)} $？
• RQ2 如何推广 $ \int_0^1 (1 - x^a)^{p-1} dx $ 以获得以β函数表示的闭式表达式？
• RQ3 如何对一般 $ a, b > 0 $ 评估积分 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $，并基于 $ a $ 与 $ b $ 的关系划分三种情况？
• RQ4 积分 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ 的闭式解是什么？其与β函数及三角代换的关系如何？
• RQ5 如何递归计算积分 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $，并以对数与多项式项表示 $ T_j $ 的显式公式？

主要发现

• 积分 $ \int_0^1 (1 - \sqrt{x})^{p-1} dx $ 的值为 $ \frac{2}{p(p+1)} $，通过代换 $ y = 1 - \sqrt{x} $ 与直接积分推导得出。
• 广义形式 $ \int_0^1 (1 - x^a)^{p-1} dx $ 等于 $ a^{-1} B(p, a^{-1}) $，其中 $ B $ 为β函数，通过代换 $ t = x^a $ 得到。
• 积分 $ \int_{-\infty}^\infty \frac{dx}{(1+x^2)\sqrt{b + a x^2}} $ 在 $ a < b $ 时的值为 $ \frac{2}{\sqrt{a}} \tan^{-1}\left( \frac{\sqrt{b-a}}{\sqrt{a}} \right) $，$ a = b $ 与 $ a > b $ 时有类似表达式，特殊情形 $ a=3, b=4 $ 时结果为 $ \pi/3 $。
• 通过代换 $ v = t / \sqrt{1 + t^2} $，积分 $ \int_0^\infty \frac{dt}{(a + b t^2)^n \sqrt{1 + t^2}} $ 可表示为 $ \int_0^1 \frac{(1 - v^2)^{n-1} dv}{(a + (b-a)v^2)^n} $，从而实现递归求解。
• 积分 $ \int_0^\infty e^{-px}(e^{-x} - 1)^n \frac{dx}{x^j} $ 的结果为 $ \frac{(-1)^j}{(j-1)!} \sum_{k=0}^n (-1)^k \binom{n}{k} (p + n - k)^{j-1} \ln(p + n - k) $，通过迭代积分与参数微分推导得出。
• 对数积分 $ \int_0^\infty \ln\left( \frac{a^s + x^s}{b^s + x^s} \right) dx = (a - b) \frac{\pi}{\sin(\pi/s)} $ 通过分部积分与已知结果 $ \int_0^\infty \frac{dx}{1 + x^s} = \frac{\pi}{s \sin(\pi/s)} $ 得证。