Asymptotic expansions for ratios of products of gamma functions英文文献资料.docVIP

ASYMPTOTICEXPANSIONSFORRATIOSOFPRODUCTS OFGAMMAFUNCTIONS WOLFGANG BüHRING Received 6May 2002 Anasymptotic expansion foraratio ofproducts ofgamma functions isderived. 2000 Mathematics Subject Classi?cation: 33B15, 33C20. 1. Introduction. Anasymptoticexpansionforaratioofproductsofgamma functions hasrecentlybeenfound[2],which,with s1=b1?a1?a2, (1.1) (1.2) (1.3) maybewrittenas



 M Γ a1+n Γ a2+n  s1+a s1+a 1
?M?1 1 (1) 1+s ?n m 2 m+O n

 =1+
 Γ b +n Γ ?s +n 1 1 m m m=1 asn→∞.Here,wemakeuseofthePochhammer symbol (x)n=x(x+1)···(x+n?1)=Γ(x+n)/Γ(x). The special case when b1 =1 of formula (1.2) had been stated earlier by Dingle[3],andtherewereproofsbyParis[8]andOlver[6,7]. Theproofof(1.2)isbasedontheformulafortheanalyticcontinuationnear unitargumentoftheGaussianhypergeometric function.Forthemoregeneral hypergeometric functions ? ? 


 a1,a2,...,a b1,...,bp  ∞ a a2 a ···
 p+1 p p+1Fp? z?= 1 b n n
+ 1 nzn, |z|1 , (1.4)
  ··· b (1) 1 n p n n n=0 theanalyticcontinuationnearz=1isknowntoo,andthisraisesthequestion as to whether a su?ciently simple asymptotic expansion can be derived in a similar way for a ratio of products of more gamma function factors. This is indeedthecase,anditisthepurposeofthisworktopresentsuchanexpansion.  1168 WOLFGANG BüHRING 2. Derivation of the asymptotic expansion. The analytic continuation of thehypergeometric functionnearunitargument maybewrittenas(see[1]) ? ? Γ
a1 Γ a ···Γ a 

p+1  a1,a2,...,a  p+1 p+1 2 Γ b ···Γ b ? ?

 Fp z  1 p b1,...,bp (2.1) ∞ ∞
(1?z)m, = gm(0)(1?z)m+(1?z)sp g sp m m=0 m=0 where sp=b1+···+bp?a1?a2?···?ap+1 (2.2) and the coe?cients gm are known. While the gm(0) are not needed for the presentpurpose, thegm(sp)are[1]
a1+spm
a2+sp mΓ
?sp?m 
 gm sp =(?1)m (1) m (2.3) m  ( m) ? k (p) k ×

 A , a1+sp a2+sp k k k=0 wherethecoe?cients A(p)k aretobeshownbelow. Theleft-hand sideLof(2.1)is L= Γ
a +n Γ a2+n ···Γ a