[论文解读] Some hypergeometric summation theorems and reduction formulas via Laplace transform method

M. I. Qureshi, Showkat Ahmad Dar|arXiv (Cornell University)|Aug 17, 2018

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

一句话总结

本文利用拉普拉斯变换法推导了广义超几何函数 ${}_{3}F_{2}(/pm 1)$、${}_{4}F_{3}(1)$、${}_{6}F_{5}(/pm 1)$、${}_{7}F_{6}(/pm 1)$ 和 ${ }_{8}F_{7}(/pm 1)$ 的新超几何求和定理与约化公式。它建立了广义双曲积分的解析解，以这些函数表示，得到了新的封闭形式结果，并在严格的收敛条件下扩展了已知的求和恒等式。

ABSTRACT

In this paper, we obtain analytical solutions of Laplace transform based some generalized class of the hyperbolic integrals in terms of hypergeometric functions ${}_3F_2 (\pm1)$, ${}_4F_3 (\pm1)$, ${}_5F_4(\pm1)$, ${}_6F_5(\pm1)$, ${}_7F_6(\pm1)$ and ${}_8F_7(\pm1)$ with suitable convergence conditions, by using some algebraic properties of Pochhammer symbols. In addition, reduction formulas for ${}_4F_3(1)$, ${}_7F_6(-1)$ and some new summation theorems (not recorded earlier in the literature of hypergeometric functions) for ${}_3F_2(-1)$, ${}_6F_5(\pm1)$, ${}_7F_6(\pm1)$ and ${}_8F_7(\pm1)$ are obtained.

研究动机与目标

• 利用拉普拉斯变换法推导广义双曲积分的解析解。
• 通过文献中尚未记录的 Pochhammer 符号代数运算，获得 ${}_{3}F_2(-1)$、${}_{6}F_5(/pm 1)$、${}_{7}F_6(/pm 1)$ 和 ${ }_{8}F_7(/pm 1)$ 的新求和定理。
• 利用 Pochhammer 符号的代数性质，建立 ${}_{4}F_3(1)$ 和 ${ }_{7}F_6(-1)$ 的约化公式。
• 将双曲函数之商的定积分用广义超几何函数表示，并给出明确的收敛准则。
• 通过引入拉普拉斯变换技术与双曲函数的乘积恒等式，扩展超几何函数理论中的已知结果。

提出的方法

• 将拉普拉斯变换应用于广义双曲积分，将其表示为超几何函数 ${}_{p}F_q(/pm 1)$ 的形式，其中 $p, q$ 最大为 8。
• 利用 Pochhammer 符号 $(ullet)_n$ 的代数恒等式，对超几何级数进行变换与约化。
• 通过含不完全贝塔函数 $B_z(ullet,ullet)$ 的邻近函数关系与积分表示，推导递推型恒等式。
• 应用双曲函数（如 $ anh$、$ anh$、$ anh$）的乘积公式，将被积函数转化为适合拉普拉斯变换求值的形式。
• 利用已知的求和定理（如 Dixon 定理）并借助参数代换与函数变换进行推广。
• 通过参数实部，特别是 $ ext{Re}(b) > 0$ 和 $ ext{Re}(b imes ext{sign}(ullet) imes ext{sum}) > 0$，验证收敛条件，确保解析性。

实验结果

研究问题

• RQ1 拉普拉斯变换技术能否系统地应用于求解涉及 $ anh$、$ anh$ 和 $ anh$ 函数之商的广义双曲积分？
• RQ2 通过 Pochhammer 符号的代数运算，能否为 ${}_{3}F_2(-1)$、${}_{6}F_5(/pm 1)$、${}_{7}F_6(/pm 1)$ 和 ${ }_{8}F_7(/pm 1)$ 推导出新的求和定理？
• RQ3 如何利用邻近函数关系与积分恒等式构建 ${ }_{4}F_3(1)$ 和 ${ }_{7}F_6(-1)$ 的约化公式？
• RQ4 在何种精确收敛条件下，这些超几何表示对包含 $rac{ anh(ax) anh(bx)}{ anh(cx)}$ 及类似形式的积分仍然有效？
• RQ5 能否通过拉普拉斯变换与超几何函数恒等式，推导出涉及双曲函数乘积的定积分的新封闭形式求值？

主要发现

• 在 $ ext{Re}(b) > 0$ 且 $ ext{Re}(b imes ext{sign}(ullet) imes ext{sum}) > 0$ 条件下，积分 $igint_{0}^{ty} rac{ anh(ax) anh(bx)}{ anh(cx)} dx$ 被求得为 Gamma 函数与一个 ${}_{7}F_6(1)$ 超几何函数的组合。
• 该积分亦以一个 ${}_{8}F_7(-1)$ 函数表示，其参数包含 $rac{1}{2} imes ( ext{sign}(ullet) imes ext{radical})$，收敛性由 $ ext{Re}(b) > 0$ 与 $ ext{Re}(b imes ext{sign}(ullet) imes ext{sum}) > 0$ 确保。
• 推导出 ${}_{3}F_2(-1)$ 的新求和定理：${}_{3}F_2\big(\begin{smallmatrix}a, 1+\frac{a}{2}, b \\ \frac{a}{2}, 1+a-b \\ ot\text{end}\right) = \frac{\text{B}(\frac{1+a}{2}, 1+a-b)}{\text{B}(\frac{1+a}{2}-b, 1+a)}$，适用于 $ ext{Re}(b) < \frac{1}{2}$。
• 获得了 ${ }_{4}F_3(1)$ 与 ${ }_{7}F_6(-1)$ 的约化公式，通过参数变换与邻近关系扩展了已知结果。
• 在指定收敛域内，像 $igint_{0}^{ty} rac{ anh(ax) anh(bx)}{ anh(cx)} dx$ 这类积分的新封闭形式求值结果，以三角函数与双曲函数（如 $rac{ an(\frac{\theta}{2}) + \tan(\frac{\theta'}{2})}{4b}$）表示。
• 本文证明，形如 $rac{ anh(ax) anh(bx)}{ anh^v(cx)}$ 的积分可通过 Gamma 函数与 ${}_{p}F_q(\text{argument})$ 函数求值，其中 $ ext{Re}(v) < 2$ 或 $ ext{Re}(v) < 1$，具体取决于函数形式。