主題
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)。


使用 探索

參考資料

Bailey, W. N. “巴恩斯引理” 和 “巴恩斯第二引理。” §1.7 和 6.2 in 廣義超幾何級數。 英國劍橋:大學出版社,pp. 7 和 42-43, 1935。Barnes, E. W. “超幾何函數理論的新發展。” 倫敦數學學會會刊 6, 141-177, 1908。

在 上引用

巴恩斯引理

引用為

韋斯坦因,埃裡克·W. “巴恩斯引理。” 來自 —— 資源。 https://mathworld.tw/BarnesLemma.html

主題分類