主题
Search

Whipple 恒等式


Whipple 推导出了许多广义超几何函数的恒等式,其中许多因此被称为 Whipple 恒等式(变换等)。Whipple 恒等式包括

 _3F_2[a,1-a,c; e,1+2c-e;1] 
 =(2^(1-2c)piGamma(e)Gamma(1+2c-e))/(Gamma[1/2(a+e)]Gamma[1/2(a+1+2c-e)])1/(Gamma[1/2(1-a+e)]Gamma[1/2(2+2c-a-e)])

(Bailey 1935, 第 15 页;Koepf 1998, 第 32 页),其中 _3F_2(a,b,c;d,e;z) 是一个广义超几何函数,并且 Gamma(z) 是一个伽玛函数,以及

 _6F_5[a,1+1/2a,b,c,d,e; 1/2a,1+a-b,1-a+c,1+a-d,1+a-e;-1] 
 =(Gamma(1+a-d)Gamma(1+a-e))/(Gamma(1+a)Gamma(1+a-d-e))_3F_2[1+a-b-c,d,e; 1+a-b,1+a-c;1]

(Bailey 1935, 第 28 页)。


另请参阅

广义超几何函数, Watson 定理, Whipple 变换

使用 Wolfram|Alpha 探索

参考文献

Bailey, W. N. "关于 _3F_2 求和的 Whipple 定理。" §3.4 in 广义超几何级数。 Cambridge, England: Cambridge University Press, p. 16, 1935.Graham, R. L.; Knuth, D. E.; and Patashnik, O. 具体数学:计算机科学基础,第二版。 Reading, MA: Addison-Wesley, 1994.Koepf, W. 超几何求和:求和与特殊函数恒等式的算法方法。 Braunschweig, Germany: Vieweg, 1998.Whipple, F. J. W. "适定级数和其他广义超几何级数。" Proc. London Math. Soc. Ser. 2 25, 525-544, 1926.

在 Wolfram|Alpha 中被引用

Whipple 恒等式

请引用为

Weisstein, Eric W. "Whipple 恒等式。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/WhipplesIdentity.html

主题分类