[论文解读] Ahmed's Integral: the maiden solution

Zafar U. Ahmed|arXiv (Cornell University)|Nov 19, 2014

Mathematics and Applications参考文献 3被引用 3

一句话总结

本文提出了著名的阿罕默德积分（Ahmed's Integral）的原始（首次）解法，该积分由阿罕默德于2001年提出。通过利用正切函数反函数的恒等式对积分进行拆分，并应用三角代换与二重积分代换，作者解析地求解该积分，得到精确结果 $\frac{5\pi^2}{96}$，为数学分析中这一著名问题奠定了基础性的解析方法。

ABSTRACT

In 2001-2002, I happened to have proposed a new definite integral in the American Mthematical Monthly (AMM),which later came to be known in my name (Ahmed). In the meantime, this integral has been mentioned in mathematical encyclopedias and dictionaries and further it has also been cited and discussed in several books and journals. In particular, a google search with the key word "Ahmed's Integral" throws up more than 60 listings. Here I present the maiden solution for this integral.

研究动机与目标

• 提出2001年提出的阿罕默德积分的原始解析解法，并确认其在数学文献中的重要地位。
• 通过新颖的分解与代换策略，求解积分 $\int_{0}^{1}\frac{\tan^{-1}\sqrt{2+x^{2}}}{(1+x^{2})\sqrt{2+x^{2}}}dx$。
• 提供一个自包含的推导过程，避免依赖已发表的解法，以实现提出者首次解法的完整呈现。
• 为后续的数值积分方法与该积分的推广形式提供可比较的基准解析结果。

提出的方法

• 利用恒等式 $\tan^{-1}z = \frac{\pi}{2} - \tan^{-1}\frac{1}{z}$ 将积分 $I$ 拆分为 $I_1 - I_2$。
• 应用代换 $x = \tan\theta$，将 $I_1$ 转化为三角积分形式：$I_1 = \frac{\pi}{2}\int_{0}^{\pi/4}\frac{\cos\theta~{}d\theta}{\sqrt{2 - \sin^2\theta}}$。
• 使用代换 $\sin\theta = \sqrt{2}\sin\phi$，求得 $I_1 = \frac{\pi^2}{12}$。
• 利用恒等式 $\frac{1}{a}\tan^{-1}\frac{1}{a} = \int_0^1 \frac{dx}{x^2 + a^2}$，将 $I_2$ 表示为二重积分：$I_2 = \int_0^1\int_0^1 \frac{dx~{}dy}{(1+x^2)(2+x^2+y^2)}$。
• 通过部分分式分解并利用 $x$ 与 $y$ 的对称性，推导出 $2I_2 = \left(\int_0^1 \frac{dx}{1+x^2}\right)^2 = \frac{\pi^2}{16}$。
• 合并结果，得到最终值：$I = \frac{\pi^2}{12} - \frac{\pi^2}{32} = \frac{5\pi^2}{96}$。

实验结果

研究问题

• RQ1 阿罕默德积分 $\int_{0}^{1}\frac{\tan^{-1}\sqrt{2+x^{2}}}{(1+x^{2})\sqrt{2+x^{2}}}dx$ 的解析值是多少？
• RQ2 该积分如何通过三角代换与二重积分技术进行拆分与求解？
• RQ3 在 $I_2$ 的二重积分表示中，能否利用对称性简化求解过程？
• RQ4 恒等式 $\frac{1}{a}\tan^{-1}\frac{1}{a} = \int_0^1 \frac{dx}{x^2 + a^2}$ 在转化原积分中起到什么作用？
• RQ5 与后续发表的解法相比，该首次解法在推导策略与优雅性方面有何异同？

主要发现

• 积分 $I = \int_{0}^{1}\frac{\tan^{-1}\sqrt{2+x^{2}}}{(1+x^{2})\sqrt{2+x^{2}}}dx$ 的精确值为 $\frac{5\pi^2}{96}$。
• 第一部分 $I_1$ 通过代换 $\sin\theta = \sqrt{2}\sin\phi$ 求得为 $\frac{\pi^2}{12}$。
• 第二部分 $I_2$ 被转化为二重积分，并通过利用对称性简化，得出 $I_2 = \frac{\pi^2}{32}$。
• 最终结果由差值 $I = I_1 - I_2 = \frac{\pi^2}{12} - \frac{\pi^2}{32} = \frac{5\pi^2}{96}$ 得出。
• 该解法展示了三角代换与二重积分对称性在求解复杂定积分中的强大作用。
• 该解析结果可作为高精度数值积分方法在该积分上的测试基准。