[论文解读] Hypergeometric form of Fundamental theorem of calculus

Petr Blaschke|arXiv (Cornell University)|Aug 14, 2018

Analytic and geometric function theory参考文献 12被引用 5

一句话总结

本文提出了一种超几何形式的微积分基本定理，通过仅增加两个 Pochhammer 符号，将解析函数在原点附近的反导数表达为广义超几何函数，从而简化了反导数的计算。该方法通过单一、基础的程序系统性地处理了诸如 $\frac{\sin x}{x}$、$\frac{\arctan x}{x}$ 和 $e^{x^2}$ 等复杂函数的积分，证明了超几何函数是积分的自然类，并为启发式方法（如括号法）提供了严格替代方案。

ABSTRACT

We introduce a natural method of computing antiderivatives of a large class of functions which stems from the observation that the series expansion of an antiderivative differs from the series expansion of the corresponding integrand by just two Pochhammer symbols. All antiderivatives are thus, in a sense, "hypergeometric". And hypergeometric functions are therefore the most natural functions to integrate. This paper would like to make two points: First, the method presented is easy. So much so that it can be taught in undergraduate university level. And second: It may be used to prove some of the more challenging examples computed only by heuristic processes like Method of brackets.

研究动机与目标

• 开发一种简单、系统化的方法，用于计算原点附近解析函数的反导数，避免依赖复分析或启发式技术。
• 证明广义超几何函数 $\,_{p}F_{q}$ 天然地包含了广泛的一类可积函数，包括无法用初等函数表达的函数。
• 为启发式积分方法（如括号法）提供严格替代方案，尤其适用于 $\frac{\sin x}{x}$、$\left(\frac{\sin x}{x}\right)^2$ 和 $e^{x^2}$ 等积分。
• 通过引入‘超几何化’概念，统一处理不同超几何类和维度下的反导数，实现无需逐案分析的符号化操作。

提出的方法

• 该方法利用了反导数的泰勒级数与被积函数的泰勒级数之间仅相差两个 Pochhammer 符号的观察，从而实现直接的符号化积分。
• 使用微积分基本定理的超几何形式：$\int x^{\alpha} \,_{p}F_{q}\left(\begin{array}{c}a_1,\dots,a_p \\ c_1,\dots,c_q\end{array}; \gamma x^{\beta}\right) dx = \frac{x^{\alpha+1}}{\alpha+1} \,_{p+1}F_{q+1}\left(\begin{array}{c}a_1,\dots,a_p,\frac{\alpha+1}{\beta} \\ c_1,\dots,c_q,1+\frac{\alpha+1}{\beta}\end{array}; \gamma x^{\beta}\right) + c$。
• 引入‘超几何化’概念，以统一不同超几何类和维度下的陈述，实现无需分情况讨论的符号操作。
• 通过将积分表达为超几何函数并利用已知恒等式进行简化，将该方法应用于具体积分的计算，包括 $\int \frac{z^4}{(1+z^2)^3} dz$ 和 $\int \frac{z^4}{(1+z^2)^2} dz$。
• 使用复超几何函数提取实部，从而通过复超几何表达式的实部计算包含 $\arctan z$ 和对数项的定积分。
• 通过推导 $\int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$ 的闭式结果，验证了该方法的有效性，结果与已知特殊函数恒等式一致。

实验结果

研究问题

• RQ1 能否开发一种单一、基础的符号化程序，用于计算原点附近解析函数的反导数，避免使用复分析或启发式方法？
• RQ2 广义超几何函数 $\,_{p}F_{q}$ 在多大程度上天然地包含了广泛的一类非初等被积函数，包括 $\frac{\sin x}{x}$、$\left(\frac{\sin x}{x}\right)^2$ 和 $e^{x^2}$？
• RQ3 微积分基本定理的超几何形式能否用于严格计算以往仅通过非严格方法（如括号法）求解的积分？
• RQ4 如何利用复超几何函数提取涉及 $\arctan x$ 和对数项的实值定积分？
• RQ5 是否存在一种统一的符号框架——通过‘超几何化’——使得能够对不同超几何类和维度下的反导数做出一般性陈述？

主要发现

• 本文确立了所有在原点附近解析函数的反导数均可表示为仅增加两个 Pochhammer 符号的广义超几何函数，从而实现通用的符号化积分方法。
• 该方法成功计算出 $\int \frac{z^4}{(1+z^2)^3} dz = \frac{15}{8} \frac{(1+z^2)^3}{z^5} \arctan z - \frac{5}{32} (3+5z^2)(1+z^2)$，展示了其在非初等被积函数上的强大能力。
• 计算出复超几何函数 $\,_{2}F_{1}\left(\begin{array}{c}1, 3 \\ 7/2 \end{array}; \frac{i}{\sqrt{3}} \right)$ 的实部为 $\frac{45}{8} - \frac{135\sqrt{2}}{64} \arctan \sqrt{2} - \frac{45}{128} \sqrt{6} \ln(5+2\sqrt{6})$，为一个复超几何积分提供了闭式解。
• 对于 $I_{\alpha} = \int_0^1 \frac{x^{\alpha}}{\sqrt{1-x}} \,_{2}F_{1}\left(\begin{array}{c} \frac{\alpha}{2}, \frac{\alpha+1}{2} \\ \alpha+1 \end{array}; x \right) dx$，其展开式中 $\alpha$ 的系数为 $\left[\alpha\right]I_{\alpha} = \ln \frac{1}{2} - \frac{4}{45} \,_{3}F_{2}\left(\begin{array}{c}1, 1, \frac{3}{2} \\ \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right) - \frac{2}{45} \,_{4}F_{3}\left(\begin{array}{c}1, 1, \frac{3}{2}, \frac{3}{2} \\ 2, \frac{7}{4}, \frac{9}{4} \end{array}; -\frac{1}{3} \right)$。
• 该方法证明了 $I_{\text{true}} = \frac{1}{\sqrt{2}} \,_{2}F_{1}\left(\begin{array}{c}1, \frac{1}{2} \\ \frac{3}{2} \end{array}; -\frac{1}{3} \right) = \frac{\pi}{2\sqrt{6}}$，通过符号化超几何运算确认了已知结果。