[论文解读] Tables of the Appell Hypergeometric Functions $F_2$

Jonathan Murley, Nasser Saad|ArXiv.org|Sep 30, 2008

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

一句话总结

本文通过从其二重积分形式导出的单重积分表示，系统地推导并列出了阿佩尔超几何函数 $F_2$ 的新约化与变换公式。利用 ${}_2F_1$ 和 ${}_3F_2$ 的已知约化公式，作者在各种参数条件下推导出 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$ 的显式闭式表达式，显著扩展了现有表格，并更正了经典参考文献中的错误。

ABSTRACT

The generalized hypergeometric function $_qF_p$ is a power series in which the ratio of successive terms is a rational function of the summation index. The Gaussian hypergeometric functions $_2F_1$ and $_3F_2$ are most common special cases of the generalized hypergeometric function $_qF_p$. The Appell hypergeometric functions $F_q$, $q=1,2,3,4$ are product of two hypergeometric functions $_2F_1$ that appear in many areas of mathematical physics. Here, we are interested in the Appell hypergeometric function $F_2$ which is known to have a double integral representation. As demonstrated by Opps, Saad, and Srivastava (J. Math. Anal. Appl. 302 (2005) 180-195), the double integral representation of $F_2$ can be reduced to a single integral that can be easily evaluated for certain values of the parameters in terms of $_2F_1$ and $_3F_2$. Using many of the reduction formulas of $_2F_1$ and $_3F_2$ and the representation of $F_2$ in terms of a single integral, we have begun to tabulate new reduction formulas for $F_2$.

研究动机与目标

• 系统推导并列示阿佩尔超几何函数 $F_2$ 的新约化公式。
• 更正普鲁德尼科夫等人经典专著中报道的 ${}_2F_1$ 和 ${}_3F_2$ 的排印错误。
• 通过特定参数的约化，扩展 $F_2$ 的适用性，将其表示为更简单的超几何函数。
• 利用积分表示和变换恒等式，为 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$ 的各种参数集提供显式闭式求值。

提出的方法

• 利用通过 ${}_2F_1$ 的欧拉积分公式从其二重积分形式导出的 $F_2$ 单重积分表示。
• 应用已知的 ${}_2F_1$ 和 ${}_3F_2$ 约化公式，将所得积分简化为初等函数或特殊函数表达式。
• 采用表示式 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y) = \frac{\Gamma(\beta_1)}{\Gamma(\alpha_1)\Gamma(\beta_1 - \alpha_1)} \int_0^1 \frac{u^{\alpha_1 - 1}(1-u)^{\beta_1 - \alpha_1 - 1}}{(1 - xu)^\sigma} {}_2F_1\left(\sigma, \alpha_2; \beta_2; \frac{y}{1 - xu}\right) du$ 作为核心计算框架。
• 通过已知变换和特殊函数恒等式，系统评估 $\sigma, \alpha_1, \beta_1$ 的特定取值下的积分。
• 与已知恒等式交叉验证结果，并特别更正普鲁德尼科夫等人著作中的错误。
• 以表格形式（表 I–II）呈现结果，适用于 $\alpha_2 = 1$，$\beta_2 = 2$，以及各种 $\sigma, \alpha_1, \beta_1$。

实验结果

研究问题

• RQ1 对于特定参数值，阿佩尔 $F_2$ 函数如何约化为更简单的超几何函数？
• RQ2 当参数取有理数或半整数值时，${}_2F_1$ 和 ${}_3F_2$ 恒等式的正确形式是什么？
• RQ3 普鲁德尼科夫等人著作中哪些已知公式存在排印错误，如何进行更正？
• RQ4 能否将 $F_2$ 的二重积分表示约化为单重积分，从而实现对广泛参数类别的显式求值？
• RQ5 利用积分与变换技术，能否为 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$ 推导出显式闭式表达式？

主要发现

• 本文更正了 ${}_2F_1(5/2, 4; 1; z)$ 的排印错误，给出了正确的表达式：$\frac{1}{16}(16 + 72z + 18z^2 - z^3)(1 - z)^{-11/2}$。
• 为 ${}_2F_1(4/5, 1; 14/5; z)$ 推导出更正后的表达式，涉及对 $x = z^{1/5}$ 的代换，包含对数与反切函数项。
• 对于 ${}_2F_1(5/6, 1; 17/5; z)$，本文提供了包含对数与反三角函数的公式，其中 $x = z^{1/6}$。
• 当 $\sigma = n+1$，$n+1/2$，$1-n$，$2$，$b+1$，$b+1$ 时，$F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$ 被显式求值，其中 $\alpha_1 = b$，$\alpha_2 = 1$，$\beta_1 = c$，$\beta_2 = 2$，结果以初等函数和特殊函数的闭式表达。
• 当 $\sigma = 1 - n$，$n \neq 0$ 时，本文推导出 $F_2(\sigma;\alpha_1,1;\beta_1,2;x,y)$ 的一般公式，涉及有限和与超几何函数的导数。
• 为 $F_2(b+1; b, 1; c, 2; x, y)$ 提供了一项新公式，表示为关于 $k$ 的求和，包含 Pochhammer 符号与 $(1-y)^{-(b+k)} - 1$ 的幂次，同时给出了等价的微分算子形式。