主题
Search

巴恩斯引理


如果 复平面 中的围道弯曲成这样,使得它分隔了极点的递增和递减序列,那么

 1/(2pii)int_(-iinfty)^(iinfty)Gamma(alpha+s)Gamma(beta+s)Gamma(gamma-s)Gamma(delta-s)ds 
 =(Gamma(alpha+gamma)Gamma(alpha+delta)Gamma(beta+gamma)Gamma(beta+delta))/(Gamma(alpha+beta+gamma+delta)),

其中 Gamma(z)伽玛函数 (Bailey 1935, p. 7)。

巴恩斯第二引理指出

 int1/(2pii)(Gamma(alpha_1+s)Gamma(alpha_2+s)Gamma(alpha_3+s)Gamma(1-beta_1-s)Gamma(-s)ds)/(Gamma(beta_2+s)) 
=(Gamma(alpha_1)Gamma(alpha_2)Gamma(alpha_3)Gamma(1-beta_1+alpha_1)Gamma(1-beta_1+alpha_2)Gamma(1-beta_1+alpha_3))/(Gamma(beta_2-alpha_1)Gamma(beta_2-alpha_2)Gamma(beta_2-alpha_3))

条件是 beta_1+beta_2=alpha_1+alpha_2+alpha_3+1 (Bailey 1935, pp. 42-43)。


使用 Wolfram|Alpha 探索

参考资料

Bailey, W. N. “巴恩斯引理” 和 “巴恩斯第二引理。” §1.7 和 6.2 in 广义超几何级数。 英国剑桥:大学出版社,pp. 7 和 42-43, 1935。Barnes, E. W. “超几何函数理论的新发展。” 伦敦数学学会会刊 6, 141-177, 1908。

在 Wolfram|Alpha 上引用

巴恩斯引理

引用为

韦斯坦因,埃里克·W. “巴恩斯引理。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/BarnesLemma.html

主题分类