[论文解读] On an extension of extended Beta and hypergeometric functions

Rakesh K. Parmar, Purnima Chopra+1 more|arXiv (Cornell University)|Feb 22, 2015

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

一句话总结

本文提出了一种使用修正贝塞尔函数扩展的贝塔函数新形式，从而导出了广义超几何函数与合流超几何函数的推广形式。作者推导了积分表示、梅林变换、渐近展开式及变换公式，关键成果包括一个梅林变换公式和针对大 |z| 的渐近展开式，扩展了经典特殊函数，增强了分析灵活性。

ABSTRACT

Motivated mainly by certain interesting recent extensions of the Gamma, Beta and hypergeometric functions, we introduce here new extensions of the Beta function, hypergeometric and confluent hypergeometric functions. We systematically investigate several properties of each of these extended functions, namely their various integral representations, Mellin transforms, derivatives, transformations, summation formulas and asymptotics. Relevant connections of certain special cases of the main results presented here are also pointed out.

研究动机与目标

• 通过第二类修正贝塞尔函数扩展经典贝塔函数，引入新参数 ν，并构造涉及 Kν+1/2 的广义形式。
• 基于扩展的贝塔函数，定义新的高斯超几何函数与合流超几何函数的扩展形式，参数为 ν。
• 系统研究扩展函数的积分表示、梅林变换、微分公式、变换法则及渐近行为。
• 建立与已知特殊函数（如梅杰G-函数、麦克唐纳函数与误差函数）之间的联系。
• 将经典结果从 p=0 推广至 p>0 且 ν≠0 的情形，从而在数学物理与统计学中扩大其适用范围。

提出的方法

• 通过在区间 [0,1] 上对 t^{x-3/2}(1-t)^{y-3/2}Kν+1/2(p/(t(1-t))) 的积分定义扩展的贝塔函数，其中 ν 为新引入的参数。
• 通过在级数与积分形式中使用扩展的贝塔函数，构建扩展的超几何函数 Fp,ν(a,b;c;z) 与 Φp,ν(b;c;z)。
• 通过交换积分顺序并利用 Kν+1/2(w)w^{s-1} 的已知积分公式，推导出梅林变换表示。
• 利用二项式展开与 (1−zt)^{-a} 的级数展开余项有界性，获得大 |z| 时的渐近展开式。
• 通过积分恒等式与修正贝塞尔函数 Kν+1/2 的性质，推导变换与求和公式。
• 该方法依赖于绝对收敛性，以合理交换积分顺序，并应用已知特殊函数恒等式。

实验结果

研究问题

• RQ1 如何利用修正贝塞尔函数扩展经典贝塔函数，以引入额外参数 ν？
• RQ2 新扩展的超几何函数 Fp,ν 与 Φp,ν 的积分表示与梅林变换公式为何？
• RQ3 当 |z|→∞ 时，Fp,ν(a,b;c;z) 在复平面上的渐近行为如何？
• RQ4 当 ν=0 且 p=0 时，扩展函数如何退化为经典特殊函数？
• RQ5 可为扩展的超几何函数推导出哪些变换与求和公式？

主要发现

• Fp,ν(a,b;c;z) 关于 p 的梅林变换为 (2^{s-1}/√π)Γ((s−ν)/2)Γ((s+ν+1)/2) × B(b+s,c+s−b)/B(b,c−b) × F(a,b+s;c+2s;z)，在 Re(s−ν)>0 且 Re(s+ν)>−1 时成立。
• 在 |arg(−z)|<π 范围内，当 |z|→∞ 时，Fp,ν(a,b;c;z) 的渐近展开式为：Fp,ν(a,b;c;z) = (−z)^{-a}/B(b,c−b) × Σ_{k=0}^{n−1} (a)_k z^{-k} Bν(b−a−k,c−b;p) + O(z^{-n})。
• 扩展的贝塔函数 Bν(x,y;p) 关于 x 与 y 对称，当 ν=0 且 p>0 时退化为经典贝塔函数。
• 扩展的合流超几何函数 Φp,ν(b;c;z) 具有与 Fp,ν 相同形式的梅林变换，其中超几何函数被 Φ(b+s;c+2s;z) 取代。
• 渐近展开式中的余项被有界为 O(z^{-n})，当 arg(z) 趋近 π 时隐含常数趋于无穷，表明在某一扇形区域内收敛。
• 当 p→0 且 ν=0 时，扩展函数恢复为经典特殊函数，确认其与已知理论的一致性。