boundsfortheratiooftwogammafunctions: fromwendel ... ·...

20
Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 http://www.journalofinequalitiesandapplications.com/content/2013/1/542 REVIEW Open Access Bounds for the ratio of two gamma functions: from Wendel’s asymptotic relation to Elezovi´ c-Giordano-Peˇ cari´ c’s theorem Feng Qi 1,2* and Qiu-Ming Luo 3 * Correspondence: [email protected]; [email protected]; [email protected] 1 Institute of Mathematics, Henan Polytechnic University, Jiaozuo City, Henan Province 028043, China 2 College of Mathematics, Inner Mongolia University for Nationalities, Tongliao City, Inner Mongolia Autonomous Region 028043, China Full list of author information is available at the end of the article Abstract In the expository review and survey paper dealing with bounds for the ratio of two gamma functions, along one of the main lines of bounding the ratio of two gamma functions, the authors look back and analyze some known results, including Wendel’s asymptotic relation, Gurland’s, Kazarinoff’s, Gautschi’s, Watson’s, Chu’s, Kershaw’s, and Elezovi´ c-Giordano-Peˇ cari´ c’s inequalities, Lazarevi´ c-Lupa¸ s’s claim, and other monotonic and convex properties. On the other hand, the authors introduce some related advances on the topic of bounding the ratio of two gamma functions in recent years. MSC: Primary 33B15; secondary 26A48; 26A51; 26D07; 26D15; 44A10 Keywords: bound; inequality; ratio of two gamma functions; divided difference; psi function; polygamma function; completely monotonic function; Wallis’ formula; inequality for sums 1 Introduction Recall [, Chapter XIII] and [, Chapter IV] that a function f is said to be completely mono- tonic on an interval I if f has derivatives of all orders on I and (–) n f (n) (x) () for x I and n . The celebrated Bernstein-Widder theorem [, p., Theorem a] states that a function f is completely monotonic on [, ) if and only if f (x)= e xs dμ(s), () where μ is a nonnegative measure on [, ) such that the integral () converges for all x > . This tells us that a completely monotonic function f on [, ) is a Laplace transform of the measure μ. It is well known that the classical Euler gamma function may be defined for x > by (x)= t xe t dt . () The logarithmic derivative of (x), denoted by ψ (x)= (x) (x) , is called the psi or digamma function, and ψ (k) (x) for k N are called the polygamma functions. It is common knowl- ©2013 Qi and Luo; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribu- tion License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Upload: others

Post on 10-Feb-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542http://www.journalofinequalitiesandapplications.com/content/2013/1/542

REV I EW Open Access

Bounds for the ratio of two gamma functions:fromWendel’s asymptotic relation toElezovic-Giordano-Pecaric’s theoremFeng Qi1,2* and Qiu-Ming Luo3

*Correspondence:[email protected];[email protected];[email protected] of Mathematics, HenanPolytechnic University, Jiaozuo City,Henan Province 028043, China2College of Mathematics, InnerMongolia University forNationalities, Tongliao City, InnerMongolia Autonomous Region028043, ChinaFull list of author information isavailable at the end of the article

AbstractIn the expository review and survey paper dealing with bounds for the ratio of twogamma functions, along one of the main lines of bounding the ratio of two gammafunctions, the authors look back and analyze some known results, including Wendel’sasymptotic relation, Gurland’s, Kazarinoff’s, Gautschi’s, Watson’s, Chu’s, Kershaw’s, andElezovic-Giordano-Pecaric’s inequalities, Lazarevic-Lupas’s claim, and other monotonicand convex properties. On the other hand, the authors introduce some relatedadvances on the topic of bounding the ratio of two gamma functions in recent years.MSC: Primary 33B15; secondary 26A48; 26A51; 26D07; 26D15; 44A10

Keywords: bound; inequality; ratio of two gamma functions; divided difference; psifunction; polygamma function; completely monotonic function; Wallis’ formula;inequality for sums

1 IntroductionRecall [, ChapterXIII] and [, Chapter IV] that a function f is said to be completelymono-tonic on an interval I if f has derivatives of all orders on I and

(–)nf (n)(x) ≥ ()

for x ∈ I and n ≥ . The celebrated Bernstein-Widder theorem [, p., Theorem a]states that a function f is completely monotonic on [,∞) if and only if

f (x) =∫ ∞

e–xs dμ(s), ()

where μ is a nonnegative measure on [,∞) such that the integral () converges for allx > . This tells us that a completelymonotonic function f on [,∞) is a Laplace transformof the measure μ.It is well known that the classical Euler gamma function may be defined for x > by

�(x) =∫ ∞

tx–e–t dt. ()

The logarithmic derivative of �(x), denoted by ψ(x) = �′(x)�(x) , is called the psi or digamma

function, and ψ (k)(x) for k ∈ N are called the polygamma functions. It is common knowl-

©2013Qi and Luo; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribu-tion License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in anymedium, provided the original work is properly cited.

Page 2: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 2 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

edge that the special functions �(x), ψ(x), and ψ (k)(x) for k ∈ N are fundamental and im-portant and have many extensive applications in mathematical sciences.The history of bounding the ratio of two gamma functions has been longer than sixty

years since the paper [] by Wendel was published in . The motivations for bound-ing the ratio of two gamma functions are various, including establishment of asymptoticrelation, refinements of Wallis’ formula, approximation to π , needs in statistics and othermathematical sciences.In this review paper, along one of the main lines of bounding the ratio of two gamma

functions, we would like to look back and analyze some known results, including Wen-del’s asymptotic relation, Gurland’s approximation to π , Kazarinoff’s refinement ofWallis’formula, Gautschi’s double inequality, Watson’s monotonicity, Chu’s refinement of Wal-lis’ formula, Lazarević-Lupaş’s claim onmonotonic and convex properties, Kershaw’s firstdouble inequality, Elezović-Giordano-Pečarić’s theorem, alternative proofs of Elezović-Giordano-Pečarić’s theorem and related consequences.On the other hand, we would also like to describe some new advances in recent years

on this topic, including the complete monotonicity of divided differences of the psi andpolygamma functions, inequalities for sums and related results.

2 Wendel’s asymptotic relationOur starting point is the paper published in by Wendel, which is the earliest relatedone we could search out to the best of our ability.In order to establish the classical asymptotic relation

limx→∞

�(x + s)xs�(x)

= ()

for real s and x, by using Hölder’s inequality for integrals, Wendel [] proved elegantly thedouble inequality

(x

x + s

)–s

≤ �(x + s)xs�(x)

≤ ()

for < s < and x > .

Wendel’s original proof Let

< s < ,p =s, q =

pp –

=

– s,

f (t) = e–sttsx, g(t) = e–(–s)tt(–s)x+s–,

and apply Hölder’s inequality for integrals and the recurrence formula

�(x + ) = x�(x) ()

for x > to obtain

�(x + s) =∫ ∞

e–ttx+s– dt ≤

(∫ ∞

e–ttx dt

)s(∫ ∞

e–ttx– dt

)–s

=[�(x + )

]s[�(x)

]–s = xs�(x). ()

Page 3: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 3 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Replacing s by – s in (), we get

�(x + – s) ≤ x–s�(x), ()

from which we obtain

�(x + ) ≤ (x + s)–s�(x + s) ()

by substituting x + s for x.Combining () and (), we get

x(x + s)–s

�(x)≤ �(x + s)≤ xs�(x).

Therefore, inequality () follows.Letting x tend to infinity in () yields () for < s < . The extension to all real s is im-

mediate on repeated application of (). �

Remark Inequality () can be rewritten for < s < and x > as

x–s ≤ �(x + )�(x + s)

≤ (x + s)–s ()

or

≤[

�(x + )�(x + s)

]/(–s)

– x ≤ s. ()

Remark Using recurrence formula () and double inequality () repeatedly yields

x–s∏m

i=(x + i)∏n–i= (x + i + s)

≤ �(x +m + )�(x + n + s)

≤ (x + s)–s∏m

i=(x + i)∏n–i= (x + i + s)

()

for x > and < s < , where m and n are positive integers. This implies that basing onrecurrence formula () and double inequality (), one can bound the ratio �(x+a)

�(x+b) for anypositive numbers x, a and b. Conversely, double inequality () reveals that one can alsodeduce corresponding bounds of the ratio �(x+)

�(x+s) for x > and < s < from bounds of theratio �(x+a)

�(x+b) for positive numbers x, a, and b.

Remark In [, p., ..], the following limit was listed: For real numbers a and b,

limx→∞

[xb–a

�(x + a)�(x + b)

]= . ()

Limits () and () are equivalent to each other since

xt–s�(x + s)�(x + t)

=�(x + s)xs�(x)

· xt�(x)�(x + t)

.

Hence, limit () is called Wendel’s asymptotic relation in the literature.

Page 4: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 4 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark Double inequality () or () is more meaningful than limit () or (), sincethe former implies the latter, but not conversely.

Remark For more general results about the asymptotic expansion of a ratio of twogamma functions, please refer to [, ].

Remark Due to unknown reasons, Wendel’s paper [] and double inequality () or ()were seemingly neglected by nearly all mathematicians for more than fifty years until itwas mentioned in [], to the best of our knowledge.

Remark There has been a lot of literature about asymptotic expansions of a ratio oftwo gamma functions. Because this expository review and survey paper is devoted to in-equalities and complete monotonicity, we will not further survey the topic of asymptoticexpansions of a quotient of two gamma functions. For more information, please refer to[, –] and closely related references therein.

3 Gurland’s double inequalityBy making use of a basic theorem in mathematical statistics concerning unbiased estima-tors with minimum variance, Gurland [] presented the following inequality:

[�((n + )/)

�(n/)

]

<n

n + ()

for n ∈ N, and so taking respectively n = k and n = k + for k ∈ N in () yields a closerapproximation to π :

k + (k + )

[(k)!!

(k – )!!

]

< π <

k +

[(k)!!

(k – )!!

]

, k ∈N. ()

Remark Taking respectively n = k and n = k – for k ∈N in () leads to

√k +

<

�(k + )�(k + /)

<k√k –

=k√

k – /, k ∈N. ()

This is better than double inequality () for x = k and s = .

Remark Double inequality () may be rearranged as

√k +

<

�(k + )�(k + /)

<k + √k +

=k + /√

k + / + /, k ∈N. ()

It is easy to see that the upper bound in () is better than the corresponding one in(). This phenomenon seemingly hints that sharper bounds for the ratio �(k+)

�(k+/) can beobtained only if letting m ∈ N in n = m – in (). However, this is an illusion, since the

Page 5: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 5 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

lower bound of the following double inequality:

k

k + ·√(k +m) – k +m –

m–∏i=

[ +

(k + i)

]

<�(k + )

�(k + /)<

(k

k –

) (k +m) – √(k +m) –

m–∏i=

[ –

(k + i)

], ()

which is derived from taking respectively n = (k + m – ) and n = (k + m – ) – fork ∈ N in (), is decreasing and the upper bound of it is increasing with respect to m.Then how can we explain the occurrence that the upper bound in () is stronger than thecorresponding one in ()?

Remark The left-hand side inequality in () or () may be rearranged as

<

[�(k + )

�(k + /)

]

– k <+

(k + )

, k ∈N. ()

From this, it is easier to see that inequality () refines double inequality () for x = k ands =

.

Remark It is noted that inequality () was recovered in [] and extended in [] bydifferent approaches respectively. See Section and Section below.

Remark Just like the paper [], Gurland’s paper [] was ignored except that it wasmentioned in [, ]. The famous monograph [] recorded neither of the papers [, ].

4 Kazarinoff’s double inequalityStarting from one form of the celebrated formula of John Wallis,

√π (n + /)

<(n – )!!(n)!!

<√πn

, n ∈ N, ()

which had been quoted for more than a century before s by writers of textbooks,Kazarinoff proved in [] that the sequence θ (n) defined by

(n – )!!(n)!!

=√

π [n + θ (n)]()

satisfies < θ (n) <

for n ∈N. This implies

√π (n + /)

<(n – )!!(n)!!

<√

π (n + /), n ∈N. ()

Remark It was said in [] that it is unquestionable that inequalities similar to () canbe improved indefinitely but at a sacrifice of simplicity, which is why inequality () hadsurvived so long.

Page 6: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 6 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark Kazarinoff’s proof of () is based upon the property

[lnφ(t)

]′′ –{[lnφ(t)

]′} > ()

of the function

φ(t) =∫ π/

sint xdx

=√

π

· �((t + )/)�((t + )/)

()

for – < t < ∞. Inequality () was proved by making use of well-known Legendre’s for-mula

ψ(x) = –γ +∫

tx– – t –

dt ()

for x > and estimating the integrals

xt

+ xdx and

xt lnx + x

dx. ()

Since () is equivalent to the statement that the reciprocal of φ(t) has an everywherenegative second derivative, therefore, for any positive t, φ(t) is less than the harmonicmean of φ(t – ) and φ(t + ), which implies

�((t + )/)�((t + )/)

<√t +

, t > –. ()

As a subcase of this result, the right-hand side inequality in () is established.

Remark Using recurrence formula () in () gives

[�((t + )/)

�(t/)

]

<t

t + ()

for t > , which extends inequality (). This shows that Kazarinoff’s paper [] containsmore general conclusions and that all results in [] stated in paper [] contain manygeneral conclusions, and that all results in [] are stated below.Replacing t by t in () or () and rearranging yield

�(t + )�(t + /)

>√t +

⇐⇒[

�(t + )�(t + /)

]

– t >

()

for t > , which extends the left-hand side inequality in () and (). Replacing t by t – in () or () produces

�(t + )�(t + /)

<t√t –

()

Page 7: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 7 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

for t > , which extends the right-hand side inequality in (). Replacing t by t + in ()

or () and rearranging gives

�(t + )�(t + /)

<t + √t +

()

for t > – , which extends the right-hand side inequality in ().

Remark By the well-known Wallis’ cosine formula [], the sequence θ (n) defined by() may be rearranged as

θ (n) =π

[(n)!!

(n – )!!

]

– n =[

�(n + )�(n + /)

]

– n ()

for n ∈N. Then inequality () is equivalent to

<

[�(n + )

�(n + /)

]

– n <, n ∈ N. ()

Remark Inequality () may be rewritten as

ψ ′(t +

)–ψ ′

(t +

)>

(t +

)–ψ

(t +

)]

()

for t > –. Letting u = t+ in the above inequality yields

ψ ′(u) –ψ ′(u +

)>

[ψ(u) –ψ

(u +

)]

()

for u > . This inequality has been generalized in [] to the complete monotonicity of afunction involving divided differences of the digamma and trigamma functions as follows.

Theorem [] For real numbers s, t, α =min{s, t}, and λ, let

s,t;λ(x) =

⎧⎨⎩[ψ(x+t)–ψ(x+s)

t–s ] + λψ ′(x+t)–ψ ′(x+s)

t–s , s �= t,

[ψ ′(x + s)] + λψ ′′(x + s), s = t()

on (–α,∞). Then the function s,t;λ(x) has the following complete monotonicity:. For < |t – s| < ,

(a) the function s,t;λ(x) is completely monotonic on (–α,∞) if and only if λ ≤ ,(b) so is the function –s,t;λ(x) if and only if λ ≥

|t–s| ;. For |t – s| > ,

(a) the function s,t;λ(x) is completely monotonic on (–α,∞) if and only if λ ≤ |t–s| ,

(b) so is the function –s,t;λ(x) if and only if λ ≥ ;. For s = t, the function s,s;λ(x) is completely monotonic on (–s,∞) if and only if λ ≤ ;. For |t – s| = ,

(a) the function s,t;λ(x) is completely monotonic if and only if λ < ,(b) so is the function –s,t;λ(x) if and only if λ > ,(c) and s,t;(x)≡ .

Page 8: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 8 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark Taking in Theorem λ = s– t > produces that the function �(x+s)�(x+t) on (–t,∞)

is increasingly convex if s – t > and increasingly concave if < s – t < .

5 Watson’s monotonicityIn , motivated by the result in [] mentioned in Section ,Watson [] observed that

x

· [�(x + )]

[�(x + /)]= F

(–,–

;x;

)

= +x

+

x(x + )+

∞∑r=

[(–/) · (/) · (/) · (r – /)]

r!x(x + ) · · · (x + r – )()

for x > – , which implies that the more general function

θ (x) =[

�(x + )�(x + /)

]

– x ()

for x > – , whose special case is the sequence θ (n) for n ∈ N defined in () or (), is

decreasing and

limx→∞ θ (x) =

and limx→(–/)+

θ (x) =. ()

This apparently implies the sharp inequalities

< θ (x) <

()

for x > – ,

√x +

<

�(x + )�(x + /)

≤√x +

+

[�(/)�(/)

]

=√x + . . . . ()

for x ≥ – , and, by Wallis’ cosine formula [],

√π (n + /π – )

≤ (n – )!!(n)!!

<√

π (n + /), n ∈N. ()

In [], an alternative proof of double inequality () was also provided as follows. Let

f (x) =√π

∫ π/

cosx t dt =

√π

∫ ∞

exp

(–xt

) t exp(–t/)√ – exp(–t)

dt ()

for x > . By using the fairly obvious inequalities

√ – exp

(–t

) ≤ t ()

and

t exp(–t/)√ – exp(–t)

=t√

sinh(t/)≤ , ()

Page 9: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 9 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

we have, for x > – ,

√π

∫ ∞

exp

(–(x + /)t

)dt < f (x) <

√π

∫ ∞

exp

(–(x + /)t

)dt,

that is to say,

√x + /

< f (x) <√

x + /. ()

Remark It is easy to see that inequality () extends and improves inequalities (),(), and () if s =

.

Remark The left-hand side inequality in () is better than the corresponding one in() but worse than the corresponding one in () for n ≥ .

Remark Formula () implies the complete monotonicity of the function θ (x) definedby () on (–

,∞).

6 Gautschi’s double inequalitiesThe main aim of the paper [] was to establish the double inequality

(xp + )/p – x

< exp∫ ∞

xe–t

p dt ≤ cp[(

xp +cp

)/p

– x]

()

for x ≥ and p > , where

cp =[�

( +

p

)]p/(p–)

()

or cp = .By an easy transformation, inequality () was written in terms of the complementary

gamma function

�(a,x) =∫ ∞

xe–tta– dt ()

as

p[(x + )/p – x/p]

< ex�(p,x

)≤ pcp

[(x +

cp

)/p

– x/p]

()

for x ≥ and p > . In particular, letting p→ ∞, the double inequality

ln

( +

x

)≤ exE(x)≤ ln

( +

x

)()

for the exponential integral E(x) = �(,x) for x > was derived from (), in which thebounds exhibit the logarithmic singularity of E(x) at x = .

Page 10: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 10 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

As a direct consequence of inequality () for p = s , x = and cp = , the following simple

inequality for the gamma function was deduced:

s– ≤ �( + s) ≤ , ≤ s ≤ . ()

The second main result of the paper [] was a sharper and more general inequality

e(s–)ψ(n+) ≤ �(n + s)�(n + )

≤ ns– ()

for ≤ s ≤ and n ∈N than () by proving that the function

f (s) =

– sln

�(n + s)�(n + )

()

is monotonically decreasing for ≤ s < . Since ψ(n) < lnn, it was derived from inequality() that

(

n +

)–s

≤ �(n + s)�(n + )

≤(n

)–s

, ≤ s ≤ , ()

which was also rewritten as

n!(n + )s–

(s + )(s + ) · · · (s + n – )≤ �( + s)≤ (n – )!ns

(s + )(s + ) · · · (s + n – )()

and so a simple proof of Euler’s product formula in the segment ≤ s ≤ was shown byletting n → ∞ in ().

Remark Double inequalities () and () can be further rearranged as

n–s ≤ �(n + )�(n + s)

≤ exp(( – s)ψ(n + )

)()

and

n–s ≤ �(n + )�(n + s)

≤ (n + )–s ()

for n ∈N and ≤ s ≤ .

Remark The upper bounds in () and () have the following relationship:

(n + s)–s ≤ exp(( – s)ψ(n + )

)()

for ≤ s ≤ and n ∈ N, and inequality () reverses for s > e–γ – = . . . . , since

the function

Q(x) = eψ(x+) – x ()

Page 11: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 11 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

was proved in [, Theorem ] to be strictly decreasing on (–,∞), with

limx→∞Q(x) =

. ()

Thismeans thatWendel’s double inequality () andGautschi’s first double inequality ()are not included in each other but they all contain Gautschi’s second double inequality().

Remark The right-hand side inequality in () may be rearranged as

[�(n + )�(n + s)

]/(–s)

≤ exp(ψ(n + )

), n ∈N. ()

This suggests us the following double inequality:

exp(ψ

(α(x)

))<

[�(x + t)�(x + s)

]/(t–s)

≤ exp(ψ

(β(x)

))()

for real numbers s, t and x ∈ (–min{s, t},∞), where α(x) ∼ x and β(x) ∼ x as x → ∞. Fordetailed information on the type of inequalities like (), please refer to [] and relatedreferences therein.

Remark Inequality () can be rewritten as

≤[

�(n + )�(n + s)

]/(–s)

– n≤ ()

for n ∈N and ≤ s ≤ .

Remark In the reviews on the paper [] by the Mathematical Reviews and the Zen-tralblattMATH, there is not a word to comment on inequalities in () and (). However,these two double inequalities later became a major source of a series of studies on bound-ing the ratio of two gamma functions.

7 Chu’s double inequalityIn , by discussing that

bn+(c)� bn(c) ()

if and only if ( – c)n + – c� , where

bn(c) =(n – )!!(n)!!

√n + c, ()

it was demonstrated in [, Theorem ] that

√π [n + (n + )/(n + )]

<(n – )!!(n)!!

<√

π (n + /), n ∈N. ()

Page 12: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 12 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

As an application of (), by using �( ) =√

π and (), the following double inequality

√n –

<

�(n/)�(n/ – /)

≤√(n – )

n – ()

for positive integers n≥ was given in [, Theorem ].

Remark After letting n = k + , inequality () becomes

√k –

<

�(k + /)�(k)

<k√

k + /, ()

which is the same as (). Taking n = k + in () leads to inequalities () and ().Notice that the reasoning directions in the two papers [, ] are opposite:

(n – )!!(n)!!

[]�⇒⇐�[]

�(n/)�(n/ – /)

. ()

To some extent, the results obtained by Gurland in [] and by Chu in [] are equivalentto each other, and they are all special cases of those obtained by Kazarinoff in [].

Remark By Wallis’ cosine formula [], sequence () may be rewritten as

bn(c) =√π

· �(n + /)�(n + )

√n + c� √

πBc(n) ()

for n ∈ N. Therefore, Chu discussed equivalently the necessary and sufficient conditionssuch that the sequence Bc(n) for n ∈N is monotonic.Recently, necessary and sufficient conditions for the general function

Ha,b,c(x) = (x + c)b–a�(x + a)�(x + b)

()

on (–ρ,∞), where a, b, and c are real numbers and ρ =min{a,b, c}, to be logarithmicallycompletely monotonic are presented in [, ]. A positive function f is said to be loga-rithmically completely monotonic on an interval I ⊆R if it has derivatives of all orders onI and its logarithm ln f satisfies (–)k[ln f (x)](k) ≥ for k ∈N on I , see [–].

8 Lazarevic-Lupas’s claimIn , among other things, the function

θα(x) =[

�(x + )�(x + α)

]/(–α)

– x ()

on (,∞) for α ∈ (, ) was claimed in [, Theorem ] to be decreasing and convex, andso

α

<

[�(x + )�(x + α)

]/(–α)

– x ≤ [�(α)

]/(–α). ()

Page 13: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 13 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark The proof of [, Theorem ] is wrong, see [, Remark .] and [, p.].However, the statements in [, Theorem ] are correct.

9 Kershaw’s first double inequalityIn , motivated by inequality () obtained in [], among other things, Kershaw pre-sented in [] the following double inequality:

(x +

s

)–s

<�(x + )�(x + s)

<[x –

+

(s +

)/]–s

()

for < s < and x > . In the literature, it is called Kershaw’s first double inequality for theratio of two gamma functions.

Kershaw’s proof for () Define the function gβ by

gβ (x) =�(x + )�(x + s)

(x + β)s– ()

for x > and < s < , where the parameter β is to be determined.It is not difficult to show, with the aid of Wendel’s limit (), that

limx→∞ gβ (x) = . ()

To prove double inequality (), define

G(x) =gβ (x)

gβ (x + )=x + sx +

(x + β + x + β

)–s

, ()

from which it follows that

G′(x)G(x)

=( – s)[(β + β – s) + (β – s)x](x + )(x + s)(x + β)(x + β + )

.

This leads to. if β = s

, then G′(x) < for x > ;. if β = –

+ (s + )

/, then G′(x) > for x > .Consequently, ifβ = s

, thenG strictly decreases, and sinceG(x) → as x→ ∞, it followsthat G(x) > for x > . However, from (), this implies that gβ (x) > gβ (x+ ) for x > , andso gβ (x) > gβ (x+ n). Take the limit as n→ ∞ to give the result that gβ (x) > , which can berewritten as the left-hand side inequality in (). The corresponding upper bound can beverified by a similar argument when β = –

+ (s + )

/, the only difference being that inthis case gβ strictly increases to unity. �

Remark The spirit of Kershaw’s proof is similar to Chu’s in [, Theorem ], as shownby (). This idea or method was also utilized independently in [–] to construct, forvarious purposes, a number of inequalities of the type

(x + α)s– <�(x + s)�(x + )

< (x + β)s– ()

for s > and real number x ≥ .

Page 14: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 14 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark It is easy to see that inequality () refines and extends inequalities () and().

Remark Inequality () may be rearranged as

s<

[�(x + )�(x + s)

]/(–s)

– x <(s +

)/

()

for x > and < s < .

10 Elezovic-Giordano-Pecaric’s theoremInequalities (), (), (), and (), sequence (), and functions () and () stronglysuggest us to consider the monotonic and convex properties of the general function

zs,t(x) =

⎧⎨⎩[�(x+t)

�(x+s) ]/(t–s) – x, s �= t,

eψ(x+s) – x, s = t()

for x ∈ (–α,∞), where s and t are two real numbers and α =min{s, t}.In , Elezović, Giordano, and Pečarić gave in [, Theorem ] a perfect solution to

the monotonic and convex properties of the function zs,t(x) as follows.

Theorem The function zs,t(x) is either convex and decreasing for |t – s| < or concaveand increasing for |t – s| > .

Remark Direct computation yields

z′′s,t(x)

zs,t(x) + x=

[ψ(x + t) –ψ(x + s)

t – s

]

+ψ ′(x + t) –ψ ′(x + s)

t – s. ()

To prove the positivity of function (), the following formula and inequality are used asbasic tools in the proof of [, Theorem ].. For x > –,

ψ(x + ) = –γ +∞∑k=

(k–

x + k

). ()

. If a ≤ b < c≤ d, then

ab

+cd

>ac

+bd

. ()

Remark As consequences of Theorem, the following useful conclusions are derived.. The function

eψ(x+t) – x ()

is decreasing and convex from (–t,∞) onto (t – , t), where t ∈R.

Page 15: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 15 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

. For all x > ,

eψ(x) <

ψ ′(x)or ψ(x) < – lnψ ′(x). ()

. For all x > and t > ,

ln

(x + t –

)< ψ(x + t) < ln

(x + eψ(t)). ()

. For x > –α, the inequality

[�(x + t)�(x + s)

]/(t–s)

<t – s

ψ(x + t) –ψ(x + s)()

holds if |t – s| < and reverses if |t – s| > .

Remark In fact, function () is deceasing and convex on (–t,∞) for all t ∈R. See [,Theorem ].

Remark It is clear that double inequality () can be deduced directly from the de-creasingly monotonic property of (). Furthermore, from the decreasingly monotonicand convex properties of () on (–t,∞), inequality () and

ψ ′′(x) +[ψ ′(x)

] > ()

on (,∞) can be derived straightforwardly.

11 Recent advancesFinally, we would like to state some new results related to or originating from Elezović-Giordano-Pečarić’s Theorem above.

Alternative proofs of Elezovic-Giordano-Pecaric’s theoremThe key step of verifying Theorem is to prove the positivity of the right-hand side in (),which involves divided differences of the digamma and trigamma functions. The biggestbarrier or difficulty to prove the positivity of () is mainly how to deal with the squaredterm in ().

Chen’s proofIn [], the barrier mentioned above was overcome by virtue of the well-known con-volution theorem [] for Laplace transforms, and so Theorem for the special cases + > t > s ≥ was proved. Perhaps this is the first try to provide an alternative of Theo-rem , although it was partially successful formally.

Qi-Guo-Chen’s proofFor real numbers α and β with (α,β) /∈ {(, ), (, )} and α �= β , let

qα,β (t) =

⎧⎨⎩

e–αt–e–βt

–e–t , t �= ,

β – α, t = .()

Page 16: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 16 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

In [, ], by making use of the convolution theorem for the Laplace transform and thelogarithmically convex properties of the function qα,β (x) on (,∞), an alternative proof ofTheorem was supplied.

Guo-Qi’s first proofIn [, ], by considering monotonic properties of the function

Qs,t;λ(u) = qα,β (u)qα,β (λ – u), λ ∈R ()

and still employing the convolution theorem for the Laplace transform, Theorem wascompletely verified again.

Remark Formore information on the function qα,β (t) and its applications, please referto [, , –] and related references therein.

Guo-Qi’s second proofIn [–], the complete monotonic properties of the function on the right-hand side of() were established as follows.

Theorem Let s and t be two real numbers and α =min{s, t}. Define

s,t(x) =

⎧⎨⎩[ψ(x+t)–ψ(x+s)

t–s ] + ψ ′(x+t)–ψ ′(x+s)t–s , s �= t,

[ψ ′(x + s)] +ψ ′′(x + s), s = t()

on x ∈ (–α,∞). Then the functions s,t(x) for |t – s| < and –s,t(x) for |t – s| > arecompletely monotonic on x ∈ (–α,∞).

Since the complete monotonicity of the functions s,t(x) and –s,t(x) mean the positiv-ity and negativity of the function s,t(x), an alternative proof of Theorem was providedonce again.One of the key tools or ideas used in the proofs of Theorem is the following simple but

specially successful conclusion: If f (x) is a function defined on an infinite interval I ⊆ R

and it satisfies limx→∞ f (x) = δ and f (x) – f (x + ε) > for x ∈ I and some fixed numberε > , then f (x) > δ on I .It is clear that Theorem is a generalization of inequality ().

Complete monotonicity of divided differencesIn order to prove Theorem , the following complete monotonic properties of a functionrelated to a divided difference of the psi function were discovered in [], the preprint of[].

Theorem Let s and t be two real numbers and α =min{s, t}. Define

δs,t(x) =

⎧⎨⎩

ψ(x+t)–ψ(x+s)t–s – x+s+t+

(x+s)(x+t) , s �= t,

ψ ′(x + s) – x+s –

(x+s) , s = t

()

on x ∈ (–α,∞). Then the functions δs,t(x) for |t – s| < and –δs,t(x) for |t – s| > are com-pletely monotonic on x ∈ (–α,∞).

Page 17: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 17 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

To the best of our knowledge, the complete monotonicity of functions involving divideddifferences of the psi and polygamma functions were investigated first in [–].

Inequalities for sumsAs consequences of provingTheorem along different approach from [] and its preprint[], the following algebraic inequalities for sums were procured in [, ] accidentally.

Theorem Let k be a nonnegative integer and let θ > be a constant.If a > and b > , then

k∑i=

(a + θ )i+(b + θ )k–i+

+k∑i=

ai+bk–i+

> k∑i=

(a + θ )i+bk–i+

()

holds for b – a > –θ and reverses for b – a < –θ .If a < –θ and b < –θ , then the inequalities

k∑i=

(a + θ )i+(b + θ )k–i+

+k∑i=

ai+bk–i+

> k∑i=

(a + θ )i+bk–i+

()

and

k+∑i=

(a + θ )i+(b + θ )k–i+

+k+∑i=

ai+bk–i+

< k+∑i=

(a + θ )i+bk–i+

()

hold for b – a > –θ and reverse for b – a < –θ .If –θ < a < and –θ < b < , then inequality () holds and inequality () is valid for

a + b + θ > and is reversed for a + b + θ < .If a < –θ and b > , then inequality () holds and inequality () is valid for a+b+ θ >

and is reversed for a + b + θ < .If a > and b < –θ , then inequality () is reversed and inequality () holds for a+b+θ <

and reverses for a + b + θ > .If b = a – θ , then inequalities (), () and () become equalities.

Moreover, the following equivalent relation between inequality () and Theorem wasfound in [, ].

Theorem Inequality () for positive numbers a and b is equivalent to Theorem .

Recent advancesRecently, some applications, extensions, and generalizations of Theorems to , and re-lated conclusions have been investigated in several recently or immediately publishedmanuscripts such as [–]. For example, Theorem stated in Remark was obtainedin [].The complete monotonicity of the q-analogue of the function δ, defined by () was

researched in [, ].

Page 18: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 18 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

Remark This article is a slightly revised version of the preprint [] and a companionpaper of the preprint [] and the articles [, ] whose preprints are [, ], respec-tively.

Competing interestsThe authors declare that they have no competing interests.

Authors’ contributionsAll authors contributed equally to the manuscript and read and approved the final manuscript.

Author details1Institute of Mathematics, Henan Polytechnic University, Jiaozuo City, Henan Province 028043, China. 2College ofMathematics, Inner Mongolia University for Nationalities, Tongliao City, Inner Mongolia Autonomous Region 028043,China. 3Department of Mathematics, Chongqing Normal University, Chongqing City, 401331, China.

AcknowledgementsThe original version of this article was reported on Thursday 24 July 2008 as a talk in the seminar held at the ResearchGroup in Mathematical Inequalities and Applications (RGMIA), School of Computer Science and Mathematics, VictoriaUniversity, Australia, while the first author was visiting the RGMIA between March 2008 and February 2009 by the grantfrom the China Scholarship Council. The first author would like to express many thanks to Professors Pietro Cerone andServer S. Dragomir and other local colleagues for their invitation and hospitality throughout this period. This work waspartially supported by the NNSF of China under Grant No. 11361038, by the NSF Project of Chongqing City under GrantNo. CSTC2011JJA00024, by the Research Project of Science and Technology of Chongqing Education Commission underGrant No. KJ120625, and by the Fund of Chongqing Normal University, China under Grant No. 10XLR017 and 2011XLZ07,China. The authors appreciate three anonymous referees for their valuable comments on and careful corrections to theoriginal version of this manuscript.

Received: 27 August 2013 Accepted: 22 October 2013 Published: 19 Nov 2013

References1. Mitrinovic, DS, Pecaric, JE, Fink, AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht (1993)2. Widder, DV: The Laplace Transform. Princeton University Press, Princeton (1946)3. Wendel, JG: Note on the gamma function. Am. Math. Mon. 55(9), 563-564 (1948). doi:10.2307/23044604. Abramowitz, M, Stegun, IA (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical

Tables, 9th printing. National Bureau of Standards, Applied Mathematics Series, vol. 55. National Bureau of Standards,Washington (1970)

5. Frame, JS: An approximation to the quotient of gamma functions. Am. Math. Mon. 56(8), 529-535 (1949).doi:10.2307/2305527

6. Tricomi, FG, Erdélyi, A: The asymptotic expansion of a ratio of gamma functions. Pac. J. Math. 1(1), 133-142 (1951).Available online at http://projecteuclid.org/euclid.pjm/1102613160

7. Merkle, M: Representations of error terms in Jensen’s and some related inequalities with applications. J. Math. Anal.Appl. 231, 76-90 (1999). doi:10.1006/jmaa.1998.6214

8. Buric, T, Elezovic, N: Bernoulli polynomials and asymptotic expansions of the quotient of gamma functions.J. Comput. Appl. Math. 235(11), 3315-3331 (2011)

9. Buric, T, Elezovic, N: New asymptotic expansions of the quotient of gamma functions. Integral Transforms Spec.Funct. 23(5), 355-368 (2012). doi:10.1080/10652469.2011.591393

10. Fields, JL: A note on the asymptotic expansion of a ratio of gamma functions. Proc. Edinb. Math. Soc. 15(1), 43-45(1966)

11. Fields, JL: The uniform asymptotic expansion of a ratio of gamma functions. In: Constructive Theory of Functions(Proc. Internat. Conf. Varna, 1970) (Russian), pp. 171-176. Izdat. Bolgar. Akad. Nauk, Sofia (1972)

12. Laforgia, A, Natalini, P: On the asymptotic expansion of a ratio of gamma functions. J. Math. Anal. Appl. 389(2),833-837 (2012)

13. Mortici, C: The quotient of gamma functions by the psi function. Comput. Appl. Math. 30(3), 627-638 (2011)14. Olver, FWJ: On an asymptotic expansion of a ratio of gamma functions. Proc. R. Ir. Acad. A 95(1), 5-9 (1995)15. Gurland, J: On Wallis’ formula. Am. Math. Mon. 63, 643-645 (1956). doi:10.2307/231059116. Chu, JT: A modified Wallis product and some applications. Am. Math. Mon. 69(5), 402-404 (1962).

doi:10.2307/231213517. Kazarinoff, DK: On Wallis’ formula. Edinb. Math. Notes 1956(40), 19-21 (1956)18. Dutka, J: On some gamma function inequalities. SIAM J. Math. Anal. 16, 180-185 (1985). doi:10.1137/051601319. Rao Uppuluri, VR: On a stronger version of Wallis’ formula. Pac. J. Math. 19(1), 183-187 (1966). Available online at

http://projecteuclid.org/euclid.pjm/110299396420. Mitrinovic, DS: Analytic Inequalities. Springer, New York (1970)21. Weisstein, EW: Wallis Cosine Formula. From MathWorld - A Wolfram Web Resource. Available online at

http://mathworld.wolfram.com/WallisFormula.html22. Qi, F, Guo, B-N: Necessary and sufficient conditions for a function involving divided differences of the di- and

tri-gamma functions to be completely monotonic. arXiv:0903.307123. Watson, GN: A note on gamma functions. Proc. Edinburgh Math. Soc. 11 (1958/1959), no. 2, Edinburgh Math Notes

No. 42 (misprinted 41) (1959), 7-9

Page 19: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 19 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

24. Gautschi, W: Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. Phys.38, 77-81 (1959/60)

25. Qi, F, Guo, B-N: Sharp inequalities for the psi function and harmonic numbers. arXiv:0902.252426. Qi, F: Bounds for the ratio of two gamma functions. J. Inequal. Appl. 2010, Article ID 493058 (2010).

doi:10.1155/2010/49305827. Qi, F, Guo, B-N: Wendel’s and Gautschi’s inequalities: refinements, extensions, and a class of logarithmically

completely monotonic functions. Appl. Math. Comput. 205(1), 281-290 (2008). doi:10.1016/j.amc.2008.07.00528. Qi, F, Guo, B-N: Wendel-Gautschi-Kershaw’s inequalities and sufficient and necessary conditions that a class of

functions involving ratio of gamma functions are logarithmically completely monotonic. RGMIA Res. Rep. Coll. 10(1),2 (2007). Available online at http://rgmia.org/v10n1.php

29. Atanassov, RD, Tsoukrovski, UV: Some properties of a class of logarithmically completely monotonic functions. C. R.Acad. Bulgare Sci. 41(2), 21-23 (1988)

30. Berg, C: Integral representation of some functions related to the gamma function. Mediterr. J. Math. 1(4), 433-439(2004). doi:10.1007/s00009-004-0022-6

31. Qi, F, Guo, B-N: Complete monotonicities of functions involving the gamma and digamma functions. RGMIA Res. Rep.Coll. 7(1), 63-72 (2004). Available online at http://rgmia.org/v7n1.php

32. Lazarevic, I, Lupas, A: Functional equations for Wallis and Gamma functions. Publ. Elektrotehn. Fak. Univ. Beograd. Ser.Electron. Telecommun. Automat 461-497, 245-251 (1974)

33. Alzer, H: Sharp bounds for the ratio of q-gamma functions. Math. Nachr. 222(1), 5-14 (2001).doi:10.1002/1522-2616(200102)222:1<5::AID-MANA5>3.3.CO;2-H

34. Elezovic, N, Giordano, C, Pecaric, J: The best bounds in Gautschi’s inequality. Math. Inequal. Appl. 3, 239-252 (2000).doi:10.7153/mia-03-26

35. Kershaw, D: Some extensions of W. Gautschi’s inequalities for the gamma function. Math. Comput. 41, 607-611(1983). doi:10.2307/2007697

36. Giordano, C, Laforgia, A: Inequalities and monotonicity properties for the gamma function. J. Comput. Appl. Math.133, 387-396 (2001). doi:10.1016/S0377-0427(00)00659-2

37. Giordano, C, Laforgia, A, Pecaric, J: Monotonicity properties for some functions involving the ratio of two gammafunctions. In: Bellacicco, A, Laforgia, A (eds.) Funzioni Speciali e Applicazioni, pp. 35-42. Franco Angeli, Milano (1998)

38. Giordano, C, Laforgia, A, Pecaric, J: Unified treatment of Gautschi-Kershaw type inequalities for the gamma function.Proc. VIIIth Symposium on Orthogonal Polynomials and Their Applications (Seville, 1997). J. Comput. Appl. Math.99(1-2), 167-175 (1998). doi:10.1016/S0377-0427(98)00154-X

39. Laforgia, A: Further inequalities for the gamma function. Math. Comput. 42(166), 597-600 (1984).doi:10.2307/2007604

40. Lorch, L: Inequalities for ultraspherical polynomials and the gamma function. J. Approx. Theory 40(2), 115-120 (1984).doi:10.1016/0021-9045(84)90020-0

41. Palumbo, B: A generalization of some inequalities for the gamma function. J. Comput. Appl. Math. 88(2), 255-268(1998). doi:10.1016/S0377-0427(97)00187-8

42. Chen, C-P: Monotonicity and convexity for the gamma function. J. Inequal. Pure Appl. Math. 6(4), 100 (2005).Available online at http://www.emis.de/journals/JIPAM/article574.html

43. Weisstein, EW: Laplace Transform. From MathWorld - A Wolfram Web Resource. Available online athttp://mathworld.wolfram.com/LaplaceTransform.html

44. Qi, F, Guo, B-N, Chen, C-P: The best bounds in Gautschi-Kershaw inequalities. Math. Inequal. Appl. 9(3), 427-436(2006). doi:10.7153/mia-09-41

45. Qi, F, Guo, B-N, Chen, C-P: The best bounds in Gautschi-Kershaw inequalities. RGMIA Res. Rep. Coll. 8(2), 17 (2005).Available online at http://rgmia.org/v8n2.php

46. Guo, B-N, Qi, F: An alternative proof of Elezovic-Giordano-Pecaric’s theorem. Math. Inequal. Appl. 14(1), 73-78 (2011).doi:10.7153/mia-14-06

47. Qi, F, Guo, B-N: An alternative proof of Elezovic-Giordano-Pecaric’s theorem. arXiv:0903.117448. Guo, B-N, Qi, F: Properties and applications of a function involving exponential functions. Commun. Pure Appl. Anal.

8(4), 1231-1249 (2009). doi:10.3934/cpaa.2009.8.123149. Qi, F: Monotonicity and logarithmic convexity for a class of elementary functions involving the exponential function.

RGMIA Res. Rep. Coll. 9(3), 3 (2006). Available online at http://rgmia.org/v9n3.php50. Qi, F: Three-log-convexity for a class of elementary functions involving exponential function. J. Math. Anal. Approx.

Theory 1(2), 100-103 (2006)51. Qi, F, Luo, Q-M, Guo, B-N: The function (bx – ax )/x: ratio’s properties. In: Alladi, K, Milovanovic, GV, Rassias, MT (eds.)

Analytic Number Theory, Approximation Theory, and Special Functions, pp. 673-682. Springer, Berlin (2014)52. Guo, B-N, Qi, F: A class of completely monotonic functions involving divided differences of the psi and tri-gamma

functions and some applications. J. Korean Math. Soc. 48(3), 655-667 (2011). doi:10.4134/JKMS.2011.48.3.65553. Qi, F: A completely monotonic function involving divided differences of psi and polygamma functions and an

application. RGMIA Res. Rep. Coll. 9(4), 8 (2006). Available online at http://rgmia.org/v9n4.php54. Qi, F: The best bounds in Kershaw’s inequality and two completely monotonic functions. RGMIA Res. Rep. Coll. 9(4), 2

(2006). Available online at http://rgmia.org/v9n4.php55. Qi, F, Guo, B-N: Completely monotonic functions involving divided differences of the di- and tri-gamma functions

and some applications. Commun. Pure Appl. Anal. 8(6), 1975-1989 (2009). doi:10.3934/cpaa.2009.8.197556. Qi, F: A completely monotonic function involving divided difference of psi function and an equivalent inequality

involving sum. RGMIA Res. Rep. Coll. 9(4), 5 (2006). Available online at http://rgmia.org/v9n4.php57. Qi, F: A completely monotonic function involving the divided difference of the psi function and an equivalent

inequality involving sums. ANZIAM J. 48(4), 523-532 (2007). doi:10.1017/S144618110000319958. Guo, B-N, Qi, F: A completely monotonic function involving the tri-gamma function and with degree one. Appl.

Math. Comput. 218(19), 9890-9897 (2012). doi:10.1016/j.amc.2012.03.07559. Guo, B-N, Qi, F: An extension of an inequality for ratios of gamma functions. J. Approx. Theory 163(9), 1208-1216

(2011). doi:10.1016/j.jat.2011.04.003

Page 20: Boundsfortheratiooftwogammafunctions: fromWendel ... · QiandLuoJournalofInequalitiesandApplications 2013, 2013:542  REVIEW OpenAccess

Qi and Luo Journal of Inequalities and Applications 2013, 2013:542 Page 20 of 20http://www.journalofinequalitiesandapplications.com/content/2013/1/542

60. Guo, B-N, Qi, F: Monotonicity and logarithmic convexity relating to the volume of the unit ball. Optim. Lett. 7(6),1139-1153 (2013). doi:10.1007/s11590-012-0488-2

61. Guo, B-N, Qi, F: Monotonicity of functions connected with the gamma function and the volume of the unit ball.Integral Transforms Spec. Funct. 23(9), 701-708 (2012). doi:10.1080/10652469.2011.627511

62. Guo, B-N, Qi, F: Refinements of lower bounds for polygamma functions. Proc. Am. Math. Soc. 141(3), 1007-1015(2013). doi:10.1090/S0002-9939-2012-11387-5

63. Guo, B-N, Zhao, J-L, Qi, F: A completely monotonic function involving the tri- and tetra-gamma functions. Math.Slovaca 63(3), 469-478 (2013). doi:10.2478/s12175-013-0109-2

64. Guo, S, Xu, J-G, Qi, F: Some exact constants for the approximation of the quantity in the Wallis’ formula. J. Inequal.Appl. 2013, 67 (2013). doi:10.1186/1029-242X-2013-67

65. Qi, F: Limit formulas for ratios between derivatives of the gamma and digamma functions at their singularities.Filomat 27(4), 601-604 (2013). doi:10.2298/FIL1304601Q

66. Qi, F, Berg, C: Complete monotonicity of a difference between the exponential and trigamma functions andproperties related to a modified Bessel function. Mediterr. J. Math. 10(4), 1683-1694 (2013).doi:10.1007/s00009-013-0272-2

67. Qi, F, Cerone, P, Dragomir, SS: Complete monotonicity of a function involving the divided difference of psi functions.Bull. Aust. Math. Soc. 88(2), 309-319 (2013). doi:10.1017/S0004972712001025

68. Qi, F, Guo, B-N: Necessary and sufficient conditions for functions involving the tri- and tetra-gamma functions to becompletely monotonic. Adv. Appl. Math. 44(1), 71-83 (2010). doi:10.1016/j.aam.2009.03.003

69. Qi, F, Luo, Q-M, Guo, B-N: Complete monotonicity of a function involving the divided difference of digammafunctions. Sci. China Math. 56(11), 2315-2325 (2013). doi:10.1007/s11425-012-4562-0

70. Qi, F, Wei, C-F, Guo, B-N: Complete monotonicity of a function involving the ratio of gamma functions andapplications. Banach J. Math. Anal. 6(1), 35-44 (2012)

71. Zhao, J-L, Guo, B-N, Qi, F: A refinement of a double inequality for the gamma function. Publ. Math. (Debr.) 80(3-4),333-342 (2012). doi:10.5486/PMD.2012.5010

72. Zhao, J-L, Guo, B-N, Qi, F: Complete monotonicity of two functions involving the tri- and tetra-gamma functions.Period. Math. Hung. 65(1), 147-155 (2012). doi:10.1007/s10998-012-9562-x

73. Qi, F: A completely monotonic function related to the q-trigamma function. Politehn. Univ. Bucharest Sci. Bull. Ser. AAppl. Math. Phys. 76 (2014, in press)

74. Qi, F: Complete monotonicity of functions involving the q-trigamma and q-tetragamma functions. arXiv:1301.015575. Qi, F: Bounds for the ratio of two gamma functions-From Wendel’s limit to Elezovic-Giordano-Pecaric’s theorem.

arXiv:0902.251476. Qi, F: Bounds for the ratio of two gamma functions-From Gautschi’s and Kershaw’s inequalities to completely

monotonic functions. arXiv:0904.104977. Qi, F, Luo, Q-M: Bounds for the ratio of two gamma functions - from Wendel’s and related inequalities to

logarithmically completely monotonic functions. Banach J. Math. Anal. 6(2), 132-158 (2012)78. Qi, F: Bounds for the ratio of two gamma functions. RGMIA Res. Rep. Coll. 11(3), 1 (2008). Available online at

http://rgmia.org/v11n3.php79. Qi, F: Bounds for the ratio of two gamma functions-From Wendel’s and related inequalities to logarithmically

completely monotonic functions. arXiv:0904.1048

10.1186/1029-242X-2013-542Cite this article as: Qi and Luo: Bounds for the ratio of two gamma functions: fromWendel’s asymptotic relation toElezovic-Giordano-Pecaric’s theorem. Journal of Inequalities and Applications 2013, 2013:542