Upload
others
View
13
Download
0
Embed Size (px)
Citation preview
IJMMS 2003:18, 1167–1171PII. S0161171203205044
http://ijmms.hindawi.com© Hindawi Publishing Corp.
ASYMPTOTIC EXPANSIONS FOR RATIOS OF PRODUCTSOF GAMMA FUNCTIONS
WOLFGANG BÜHRING
Received 6 May 2002
An asymptotic expansion for a ratio of products of gamma functions is derived.
2000 Mathematics Subject Classification: 33B15, 33C20.
1. Introduction. An asymptotic expansion for a ratio of products of gamma
functions has recently been found [2], which, with
s1 = b1−a1−a2, (1.1)
may be written as
Γ(a1+n
)Γ(a2+n
)
Γ(b1+n
)Γ(−s1+n
) = 1+M∑
m=1
(s1+a1
)m(s1+a2
)m
(1)m(1+s1−n
)m
+O(n−M−1) (1.2)
as n→∞. Here, we make use of the Pochhammer symbol
(x)n = x(x+1)···(x+n−1)= Γ(x+n)/Γ(x). (1.3)
The special case when b1 = 1 of formula (1.2) had been stated earlier by
Dingle [3], and there were proofs by Paris [8] and Olver [6, 7].
The proof of (1.2) is based on the formula for the analytic continuation near
unit argument of the Gaussian hypergeometric function. For the more general
hypergeometric functions
p+1Fp
a1,a2, . . . ,ap+1
b1, . . . ,bp
∣∣∣∣∣z=
∞∑
n=0
(a1)n(a2)n ···
(ap+1
)n(
b1)n ···
(bp)n(1)n
zn,(|z|< 1
), (1.4)
the analytic continuation near z = 1 is known too, and this raises the question
as to whether a sufficiently simple asymptotic expansion can be derived in a
similar way for a ratio of products of more gamma function factors. This is
indeed the case, and it is the purpose of this work to present such an expansion.
1168 WOLFGANG BÜHRING
2. Derivation of the asymptotic expansion. The analytic continuation of
the hypergeometric function near unit argument may be written as (see [1])
Γ(a1)Γ(a2)···Γ(ap+1
)
Γ(b1)···Γ(bp
) p+1Fp
a1,a2, . . . ,ap+1
b1, . . . ,bp
∣∣∣∣∣z
=∞∑
m=0
gm(0)(1−z)m+(1−z)sp∞∑
m=0
gm(sp)(1−z)m,
(2.1)
where
sp = b1+···+bp−a1−a2−···−ap+1 (2.2)
and the coefficients gm are known. While the gm(0) are not needed for the
present purpose, the gm(sp) are [1]
gm(sp)= (−1)m
(a1+sp
)m(a2+sp
)mΓ(−sp−m
)
(1)m
×m∑
k=0
(−m)k(a1+sp
)k(a2+sp
)kA(p)k ,
(2.3)
where the coefficients A(p)k are to be shown below.
The left-hand side L of (2.1) is
L= Γ(a1+n
)Γ(a2+n
)···Γ(ap+1+n)
Γ(b1+n
)···Γ(bp+n)Γ(1+n) zn. (2.4)
The asymptotic behaviour, as n→∞, of the coefficients of this power series is
governed [4, 5, 10] by the terms R on the right-hand side which, at z = 1, are
singular
R =∞∑
m=0
gm(sp)(1−z)sp+m. (2.5)
Expanded by means of the binomial theorem in its hypergeometric-series form,
this is
R =∞∑
m=0
gm(sp) ∞∑
n=0
(−sp−m)n
Γ(1+n) zn. (2.6)
Interchanging the order of summation (and making use of the reflection for-
mula of the gamma function), we may get
R =∞∑
n=0
Γ(−sp+n
)
Γ(1+n)∞∑
m=0
(−1)mgm(sp) 1Γ(−sp−m
)(1+sp−n
)mzn. (2.7)
ASYMPTOTIC EXPANSIONS FOR RATIOS OF PRODUCTS . . . 1169
Comparison of the coefficients of the two power series for R and L, which
should agree asymptotically as n→∞, then leads to
Γ(a1+n
)Γ(a2+n
)···Γ(ap+1+n)
Γ(b1+n
)···Γ(bp+n)Γ(−sp+n
)
∼∞∑
m=0
(−1)mgm(sp) 1Γ(−sp−m
)(1+sp−n
)m.
(2.8)
Inserting gm from (2.3) and keeping the first M +1 terms of the asymptotic
series, we get the following theorem.
Theorem 2.1. With sp = b1+···+bp −a1−a2−···−ap+1, we have the
asymptotic expansion
Γ(a1+n
)Γ(a2+n
)···Γ(ap+1+n)
Γ(b1+n
)···Γ(bp+n)Γ(−sp+n
)
= 1+M∑
m=1
(a1+sp
)m(a2+sp
)m
(1)m(1+sp−n
)m
m∑
k=0
(−m)k(a1+sp
)k(a2+sp
)kA(p)k +O(n−M−1)
(2.9)
as n→∞.
The simple formula (1.2), corresponding to p = 1, can be recovered from
this theorem if we define A(1)0 = 1, A(1)k = 0 for k > 0, so that the sum over k is
then equal to 1 and disappears. The coefficients for larger p can be found in
[1], but a few of them are displayed again here for convenience
A(2)k =(b2−a3
)k(b1−a3
)k
k!,
A(3)k =k∑
k2=0
(b3+b2−a4−a3+k2
)k−k2
(b1−a3
)k−k2
(b3−a4
)k2
(b2−a4
)k2(
k−k2)!k2!
,
A(4)k =k∑
k2=0
(b4+b3+b2−a5−a4−a3+k2
)k−k2
(b1−a3
)k−k2(
k−k2)!
×k2∑
k3=0
(b4+b3−a5−a4+k3
)k2−k3
(b2−a4
)k2−k3(
k2−k3)!
(b4−a5
)k3
(b3−a5
)k3
k3!.
(2.10)
For p = 3,4, . . . , several other representations are possible [1] such as
A(3)k =(b3+b2−a4−a3
)k(b1−a3
)k
k!
×3F2
b3−a4,b2−a4,−kb3+b2−a4−a3,1+a3−b1−k
∣∣∣∣∣1
(2.11)
1170 WOLFGANG BÜHRING
or
A(3)k =(b1+b3−a3−a4
)k(b2+b3−a3−a4
)k
k!
×3F2
b3−a3,b3−a4,−kb1+b3−a3−a4,b2+b3−a3−a4
∣∣∣∣∣1.
(2.12)
For p = 2, (2.9) may be simply written as
Γ(a1+n
)Γ(a2+n
)Γ(a3+n
)
Γ(b1+n
)Γ(b2+n
)Γ(−s2+n
)
= 1+M∑
m=1
(a1+s2
)m(a2+s2
)m
(1)m(1+s2−n
)m
3F2
b2−a3,b1−a3,−m
a1+s2,a2+s2
∣∣∣∣∣1+O(n−M−1),
(2.13)
where s2 = b1+b2−a1−a2−a3.
3. Additional comments. The derivation of the theorem is based on the
continuation formula (2.1) which holds, as it stands, only if sp is not equal to an
integer. Nevertheless, the theorem is valid without such a restriction. This can
be verified if the derivation is repeated starting from any of the continuation
formulas for the exceptional cases [1]. Instead of or in addition to the binomial
theorem, the expansion
(1−z)m ln(1−z)=∞∑
n=1
cnzn (3.1)
is then needed for integer m≥ 0, where
cn =− 1n(−1)m
Γ(1+m)Γ(n−m)Γ(n)
(3.2)
for n>m, while the coefficients are not needed here for n≤m.
The theorem has been proved here for any sufficiently large positive integer
n only. On the basis of the discussion in [2], it can be suspected that the the-
orem may be theoretically valid (although less useful) in the larger domain of
the complex n-half-plane Re(sp+a1+a2−1+n)≥ 0.
Expansions for ratios of even more general products of gamma functions
are treated in a recent monograph by Paris and Kaminski [9].
References
[1] W. Bühring, Generalized hypergeometric functions at unit argument, Proc. Amer.Math. Soc. 114 (1992), no. 1, 145–153.
[2] , An asymptotic expansion for a ratio of products of gamma functions, Int.J. Math. Math. Sci. 24 (2000), no. 8, 505–510.
ASYMPTOTIC EXPANSIONS FOR RATIOS OF PRODUCTS . . . 1171
[3] R. B. Dingle, Asymptotic Expansions: Their Derivation and Interpretation, Aca-demic Press, London, 1973.
[4] P. Flajolet and A. Odlyzko, Singularity analysis of generating functions, SIAM J.Discrete Math. 3 (1990), no. 2, 216–240.
[5] F. W. J. Olver, Asymptotics and Special Functions, Computer Science and AppliedMathematics, Academic Press, New York, 1974.
[6] , Asymptotic expansions of the coefficients in asymptotic series solutions oflinear differential equations, Methods Appl. Anal. 1 (1994), no. 1, 1–13.
[7] , On an asymptotic expansion of a ratio of gamma functions, Proc. Roy.Irish Acad. Sect. A 95 (1995), no. 1, 5–9.
[8] R. B. Paris, Smoothing of the Stokes phenomenon using Mellin-Barnes integrals, J.Comput. Appl. Math. 41 (1992), no. 1-2, 117–133.
[9] R. B. Paris and D. Kaminski, Asymptotics and Mellin-Barnes integrals, Encyclo-pedia of Mathematics and its Applications, vol. 85, Cambridge UniversityPress, Cambridge, 2001.
[10] R. Schäfke and D. Schmidt, The connection problem for general linear ordinarydifferential equations at two regular singular points with applications in thetheory of special functions, SIAM J. Math. Anal. 11 (1980), no. 5, 848–862.
Wolfgang Bühring: Physikalisches Institut, Universität Heidelberg, Philosophenweg12, 69120 Heidelberg, Germany
E-mail address: [email protected]
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of