Skip to main content

Bounds for the ratio of two gamma functions: from Wendel’s asymptotic relation to Elezović-Giordano-Pečarić’s theorem

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ć-Giordano-Pečarić’s inequalities, Lazarević-Lupaş’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: 33B15, 26A48, 26A51, 26D07, 26D15, 44A10.

1 Introduction

Recall [[1], Chapter XIII] and [[2], Chapter IV] that a function f is said to be completely monotonic on an interval I if f has derivatives of all orders on I and

( 1 ) n f ( n ) (x)0
(1)

for xI and n0. The celebrated Bernstein-Widder theorem [[2], p.160, Theorem 12a] states that a function f is completely monotonic on [0,) if and only if

f(x)= 0 e x s dμ(s),
(2)

where μ is a nonnegative measure on [0,) such that the integral (2) converges for all x>0. This tells us that a completely monotonic function f on [0,) is a Laplace transform of the measure μ.

It is well known that the classical Euler gamma function may be defined for x>0 by

Γ(x)= 0 t x 1 e t dt.
(3)

The logarithmic derivative of Γ(x), denoted by ψ(x)= Γ ( x ) Γ ( x ) , is called the psi or digamma function, and ψ ( k ) (x) for kN are called the polygamma functions. It is common knowledge that the special functions Γ(x), ψ(x), and ψ ( k ) (x) for kN are fundamental and important 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 [3] by Wendel was published in 1948. The motivations for bounding the ratio of two gamma functions are various, including establishment of asymptotic relation, refinements of Wallis’ formula, approximation to π, needs in statistics and other mathematical 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 Wendel’s asymptotic relation, Gurland’s approximation to π, Kazarinoff’s refinement of Wallis’ formula, Gautschi’s double inequality, Watson’s monotonicity, Chu’s refinement of Wallis’ formula, Lazarević-Lupaş’s claim on monotonic and convex properties, Kershaw’s first double 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 and polygamma functions, inequalities for sums and related results.

2 Wendel’s asymptotic relation

Our starting point is the paper published in 1948 by Wendel, which is the earliest related one we could search out to the best of our ability.

In order to establish the classical asymptotic relation

lim x Γ ( x + s ) x s Γ ( x ) =1
(4)

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

( x x + s ) 1 s Γ ( x + s ) x s Γ ( x ) 1
(5)

for 0<s<1 and x>0.

Wendel’s original proof Let

0 < s < 1 , p = 1 s , q = p p 1 = 1 1 s , f ( t ) = e s t t s x , g ( t ) = e ( 1 s ) t t ( 1 s ) x + s 1 ,

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

Γ(x+1)=xΓ(x)
(6)

for x>0 to obtain

Γ ( x + s ) = 0 e t t x + s 1 d t ( 0 e t t x d t ) s ( 0 e t t x 1 d t ) 1 s = [ Γ ( x + 1 ) ] s [ Γ ( x ) ] 1 s = x s Γ ( x ) .
(7)

Replacing s by 1s in (7), we get

Γ(x+1s) x 1 s Γ(x),
(8)

from which we obtain

Γ(x+1) ( x + s ) 1 s Γ(x+s)
(9)

by substituting x+s for x.

Combining (7) and (9), we get

x ( x + s ) 1 s Γ(x)Γ(x+s) x s Γ(x).

Therefore, inequality (5) follows.

Letting x tend to infinity in (5) yields (4) for 0<s<1. The extension to all real s is immediate on repeated application of (6). □

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

x 1 s Γ ( x + 1 ) Γ ( x + s ) ( x + s ) 1 s
(10)

or

0 [ Γ ( x + 1 ) Γ ( x + s ) ] 1 / ( 1 s ) xs.
(11)

Remark 2 Using recurrence formula (6) and double inequality (10) repeatedly yields

x 1 s i = 1 m ( x + i ) i = 0 n 1 ( x + i + s ) Γ ( x + m + 1 ) Γ ( x + n + s ) ( x + s ) 1 s i = 1 m ( x + i ) i = 0 n 1 ( x + i + s )
(12)

for x>0 and 0<s<1, where m and n are positive integers. This implies that basing on recurrence formula (6) and double inequality (10), one can bound the ratio Γ ( x + a ) Γ ( x + b ) for any positive numbers x, a and b. Conversely, double inequality (12) reveals that one can also deduce corresponding bounds of the ratio Γ ( x + 1 ) Γ ( x + s ) for x>0 and 0<s<1 from bounds of the ratio Γ ( x + a ) Γ ( x + b ) for positive numbers x, a, and b.

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

lim x [ x b a Γ ( x + a ) Γ ( x + b ) ] =1.
(13)

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

x t s Γ ( x + s ) Γ ( x + t ) = Γ ( x + s ) x s Γ ( x ) x t Γ ( x ) Γ ( x + t ) .

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

Remark 4 Double inequality (5) or (10) is more meaningful than limit (4) or (13), since the former implies the latter, but not conversely.

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

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

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

3 Gurland’s double inequality

By making use of a basic theorem in mathematical statistics concerning unbiased estimators with minimum variance, Gurland [15] presented the following inequality:

[ Γ ( ( n + 1 ) / 2 ) Γ ( n / 2 ) ] 2 < n 2 2 n + 1
(14)

for nN, and so taking respectively n=2k and n=2k+1 for kN in (14) yields a closer approximation to π:

4 k + 3 ( 2 k + 1 ) 2 [ ( 2 k ) ! ! ( 2 k 1 ) ! ! ] 2 <π< 4 4 k + 1 [ ( 2 k ) ! ! ( 2 k 1 ) ! ! ] 2 ,kN.
(15)

Remark 8 Taking respectively n=2k and n=2k1 for kN in (14) leads to

k + 1 4 < Γ ( k + 1 ) Γ ( k + 1 / 2 ) < 2 k 4 k 1 = k k 1 / 4 ,kN.
(16)

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

Remark 9 Double inequality (15) may be rearranged as

k + 1 4 < Γ ( k + 1 ) Γ ( k + 1 / 2 ) < 2 k + 1 4 k + 3 = k + 1 / 2 k + 1 / 2 + 1 / 4 ,kN.
(17)

It is easy to see that the upper bound in (17) is better than the corresponding one in (16). This phenomenon seemingly hints that sharper bounds for the ratio Γ ( k + 1 ) Γ ( k + 1 / 2 ) can be obtained only if letting mN in n=2m1 in (14). However, this is an illusion, since the lower bound of the following double inequality:

k 2 2 k + 1 4 ( k + m ) 3 k + m 1 i = 0 m 1 [ 1 + 1 2 ( k + i ) ] < Γ ( k + 1 ) Γ ( k + 1 / 2 ) < ( 2 k 2 k 1 ) 2 2 ( k + m ) 3 4 ( k + m ) 5 i = 0 m 1 [ 1 1 2 ( k + i ) ] ,
(18)

which is derived from taking respectively n=2(k+m1) and n=2(k+m1)1 for kN in (14), 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 (17) is stronger than the corresponding one in (16)?

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

1 4 < [ Γ ( k + 1 ) Γ ( k + 1 / 2 ) ] 2 k< 1 4 + 1 4 ( 4 k + 3 ) ,kN.
(19)

From this, it is easier to see that inequality (14) refines double inequality (10) for x=k and s= 1 2 .

Remark 11 It is noted that inequality (14) was recovered in [16] and extended in [17] by different approaches respectively. See Section 4 and Section 7 below.

Remark 12 Just like the paper [3], Gurland’s paper [15] was ignored except that it was mentioned in [18, 19]. The famous monograph [20] recorded neither of the papers [3, 15].

4 Kazarinoff’s double inequality

Starting from one form of the celebrated formula of John Wallis,

1 π ( n + 1 / 2 ) < ( 2 n 1 ) ! ! ( 2 n ) ! ! < 1 π n ,nN,
(20)

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

( 2 n 1 ) ! ! ( 2 n ) ! ! = 1 π [ n + θ ( n ) ]
(21)

satisfies 1 4 <θ(n)< 1 2 for nN. This implies

1 π ( n + 1 / 2 ) < ( 2 n 1 ) ! ! ( 2 n ) ! ! < 1 π ( n + 1 / 4 ) ,nN.
(22)

Remark 13 It was said in [17] that it is unquestionable that inequalities similar to (22) can be improved indefinitely but at a sacrifice of simplicity, which is why inequality (20) had survived so long.

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

[ ln ϕ ( t ) ] { [ ln ϕ ( t ) ] } 2 >0
(23)

of the function

ϕ ( t ) = 0 π / 2 sin t x d x = π 2 Γ ( ( t + 1 ) / 2 ) Γ ( ( t + 2 ) / 2 )
(24)

for 1<t<. Inequality (23) was proved by making use of well-known Legendre’s formula

ψ(x)=γ+ 0 1 t x 1 1 t 1 dt
(25)

for x>0 and estimating the integrals

0 1 x t 1 + x dxand 0 1 x t ln x 1 + x dx.
(26)

Since (23) is equivalent to the statement that the reciprocal of ϕ(t) has an everywhere negative second derivative, therefore, for any positive t, ϕ(t) is less than the harmonic mean of ϕ(t1) and ϕ(t+1), which implies

Γ ( ( t + 1 ) / 2 ) Γ ( ( t + 2 ) / 2 ) < 2 2 t + 1 ,t> 1 2 .
(27)

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

Remark 15 Using recurrence formula (6) in (27) gives

[ Γ ( ( t + 1 ) / 2 ) Γ ( t / 2 ) ] 2 < t 2 2 t + 1
(28)

for t>0, which extends inequality (14). This shows that Kazarinoff’s paper [17] contains more general conclusions and that all results in [15] stated in paper [17] contain many general conclusions, and that all results in [15] are stated below.

Replacing t by 2t in (27) or (28) and rearranging yield

Γ ( t + 1 ) Γ ( t + 1 / 2 ) > t + 1 4 [ Γ ( t + 1 ) Γ ( t + 1 / 2 ) ] 2 t> 1 4
(29)

for t>0, which extends the left-hand side inequality in (16) and (17). Replacing t by 2t1 in (27) or (28) produces

Γ ( t + 1 ) Γ ( t + 1 / 2 ) < 2 t 4 t 1
(30)

for t> 1 2 , which extends the right-hand side inequality in (16). Replacing t by 2t+1 in (27) or (28) and rearranging gives

Γ ( t + 1 ) Γ ( t + 1 / 2 ) < 2 t + 1 4 t + 3
(31)

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

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

θ(n)= 1 π [ ( 2 n ) ! ! ( 2 n 1 ) ! ! ] 2 n= [ Γ ( n + 1 ) Γ ( n + 1 / 2 ) ] 2 n
(32)

for nN. Then inequality (22) is equivalent to

1 4 < [ Γ ( n + 1 ) Γ ( n + 1 / 2 ) ] 2 n< 1 2 ,nN.
(33)

Remark 17 Inequality (23) may be rewritten as

ψ ( t + 1 2 ) ψ ( t + 2 2 ) > [ ψ ( t + 1 2 ) ψ ( t + 2 2 ) ] 2
(34)

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

ψ (u) ψ ( u + 1 2 ) > [ ψ ( u ) ψ ( u + 1 2 ) ] 2
(35)

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

Theorem 1 [22]

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

Δ s , t ; λ (x)={ [ ψ ( x + t ) ψ ( x + s ) t s ] 2 + λ ψ ( x + t ) ψ ( x + s ) t s , s t , [ ψ ( x + s ) ] 2 + λ ψ ( x + s ) , s = t
(36)

on (α,). Then the function Δ s , t ; λ (x) has the following complete monotonicity:

  1. 1.

    For 0<|ts|<1,

    1. (a)

      the function Δ s , t ; λ (x) is completely monotonic on (α,) if and only if λ1,

    2. (b)

      so is the function Δ s , t ; λ (x) if and only if λ 1 | t s | ;

  2. 2.

    For |ts|>1,

    1. (a)

      the function Δ s , t ; λ (x) is completely monotonic on (α,) if and only if λ 1 | t s | ,

    2. (b)

      so is the function Δ s , t ; λ (x) if and only if λ1;

  3. 3.

    For s=t, the function Δ s , s ; λ (x) is completely monotonic on (s,) if and only if λ1;

  4. 4.

    For |ts|=1,

    1. (a)

      the function Δ s , t ; λ (x) is completely monotonic if and only if λ<1,

    2. (b)

      so is the function Δ s , t ; λ (x) if and only if λ>1,

    3. (c)

      and Δ s , t ; 1 (x)0.

Remark 18 Taking in Theorem 1 λ=st>0 produces that the function Γ ( x + s ) Γ ( x + t ) on (t,) is increasingly convex if st>1 and increasingly concave if 0<st<1.

5 Watson’s monotonicity

In 1959, motivated by the result in [17] mentioned in Section 4, Watson [23] observed that

1 x [ Γ ( x + 1 ) ] 2 [ Γ ( x + 1 / 2 ) ] 2 = 2 F 1 ( 1 2 , 1 2 ; x ; 1 ) = 1 + 1 4 x + 1 32 x ( x + 1 ) + r = 3 [ ( 1 / 2 ) ( 1 / 2 ) ( 3 / 2 ) ( r 3 / 2 ) ] 2 r ! x ( x + 1 ) ( x + r 1 )
(37)

for x> 1 2 , which implies that the more general function

θ(x)= [ Γ ( x + 1 ) Γ ( x + 1 / 2 ) ] 2 x
(38)

for x> 1 2 , whose special case is the sequence θ(n) for nN defined in (21) or (32), is decreasing and

lim x θ(x)= 1 4 and lim x ( 1 / 2 ) + θ(x)= 1 2 .
(39)

This apparently implies the sharp inequalities

1 4 <θ(x)< 1 2
(40)

for x> 1 2 ,

x + 1 4 < Γ ( x + 1 ) Γ ( x + 1 / 2 ) x + 1 4 + [ Γ ( 3 / 4 ) Γ ( 1 / 4 ) ] 2 = x + 0.36423
(41)

for x 1 4 , and, by Wallis’ cosine formula [21],

1 π ( n + 4 / π 1 ) ( 2 n 1 ) ! ! ( 2 n ) ! ! < 1 π ( n + 1 / 4 ) ,nN.
(42)

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

f(x)= 2 π 0 π / 2 cos 2 x tdt= 2 π 0 exp ( x t 2 ) t exp ( t 2 / 2 ) 1 exp ( t 2 ) dt
(43)

for x> 1 2 . By using the fairly obvious inequalities

1 exp ( t 2 ) t
(44)

and

t exp ( t 2 / 4 ) 1 exp ( t 2 ) = t 2 sinh ( t 2 / 2 ) 1,
(45)

we have, for x> 1 4 ,

1 π 0 exp ( ( x + 1 / 2 ) t 2 ) dt<f(x)< 1 π 0 exp ( ( x + 1 / 4 ) t 2 ) dt,

that is to say,

1 x + 1 / 2 <f(x)< 1 x + 1 / 4 .
(46)

Remark 19 It is easy to see that inequality (41) extends and improves inequalities (10), (57), and (58) if s= 1 2 .

Remark 20 The left-hand side inequality in (42) is better than the corresponding one in (22) but worse than the corresponding one in (15) for n2.

Remark 21 Formula (37) implies the complete monotonicity of the function θ(x) defined by (38) on ( 1 2 ,).

6 Gautschi’s double inequalities

The main aim of the paper [24] was to establish the double inequality

( x p + 2 ) 1 / p x 2 < e x p x e t p dt c p [ ( x p + 1 c p ) 1 / p x ]
(47)

for x0 and p>1, where

c p = [ Γ ( 1 + 1 p ) ] p / ( p 1 )
(48)

or c p =1.

By an easy transformation, inequality (47) was written in terms of the complementary gamma function

Γ(a,x)= x e t t a 1 dt
(49)

as

p [ ( x + 2 ) 1 / p x 1 / p ] 2 < e x Γ ( 1 p , x ) p c p [ ( x + 1 c p ) 1 / p x 1 / p ]
(50)

for x0 and p>1. In particular, letting p, the double inequality

1 2 ln ( 1 + 2 x ) e x E 1 (x)ln ( 1 + 1 x )
(51)

for the exponential integral E 1 (x)=Γ(0,x) for x>0 was derived from (50), in which the bounds exhibit the logarithmic singularity of E 1 (x) at x=0.

As a direct consequence of inequality (50) for p= 1 s , x=0 and c p =1, the following simple inequality for the gamma function was deduced:

2 s 1 Γ(1+s)1,0s1.
(52)

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

e ( s 1 ) ψ ( n + 1 ) Γ ( n + s ) Γ ( n + 1 ) n s 1
(53)

for 0s1 and nN than (52) by proving that the function

f(s)= 1 1 s ln Γ ( n + s ) Γ ( n + 1 )
(54)

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

( 1 n + 1 ) 1 s Γ ( n + s ) Γ ( n + 1 ) ( 1 n ) 1 s ,0s1,
(55)

which was also rewritten as

n ! ( n + 1 ) s 1 ( s + 1 ) ( s + 2 ) ( s + n 1 ) Γ(1+s) ( n 1 ) ! n s ( s + 1 ) ( s + 2 ) ( s + n 1 )
(56)

and so a simple proof of Euler’s product formula in the segment 0s1 was shown by letting n in (56).

Remark 22 Double inequalities (53) and (55) can be further rearranged as

n 1 s Γ ( n + 1 ) Γ ( n + s ) exp ( ( 1 s ) ψ ( n + 1 ) )
(57)

and

n 1 s Γ ( n + 1 ) Γ ( n + s ) ( n + 1 ) 1 s
(58)

for nN and 0s1.

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

( n + s ) 1 s exp ( ( 1 s ) ψ ( n + 1 ) )
(59)

for 0s 1 2 and nN, and inequality (59) reverses for s> e 1 γ 1=0.52620, since the function

Q(x)= e ψ ( x + 1 ) x
(60)

was proved in [[25], Theorem 2] to be strictly decreasing on (1,), with

lim x Q(x)= 1 2 .
(61)

This means that Wendel’s double inequality (10) and Gautschi’s first double inequality (57) are not included in each other but they all contain Gautschi’s second double inequality (58).

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

[ Γ ( n + 1 ) Γ ( n + s ) ] 1 / ( 1 s ) exp ( ψ ( n + 1 ) ) ,nN.
(62)

This suggests us the following double inequality:

exp ( ψ ( α ( x ) ) ) < [ Γ ( x + t ) Γ ( x + s ) ] 1 / ( t s ) exp ( ψ ( β ( x ) ) )
(63)

for real numbers s, t and x(min{s,t},), where α(x)x and β(x)x as x. For detailed information on the type of inequalities like (63), please refer to [26] and related references therein.

Remark 25 Inequality (58) can be rewritten as

0 [ Γ ( n + 1 ) Γ ( n + s ) ] 1 / ( 1 s ) n1
(64)

for nN and 0s1.

Remark 26 In the reviews on the paper [24] by the Mathematical Reviews and the Zentralblatt MATH, there is not a word to comment on inequalities in (57) and (58). However, these two double inequalities later became a major source of a series of studies on bounding the ratio of two gamma functions.

7 Chu’s double inequality

In 1962, by discussing that

b n + 1 (c) b n (c)
(65)

if and only if (14c)n+13c0, where

b n (c)= ( 2 n 1 ) ! ! ( 2 n ) ! ! n + c ,
(66)

it was demonstrated in [[16], Theorem 1] that

1 π [ n + ( n + 1 ) / ( 4 n + 3 ) ] < ( 2 n 1 ) ! ! ( 2 n ) ! ! < 1 π ( n + 1 / 4 ) ,nN.
(67)

As an application of (67), by using Γ( 1 2 )= π and (6), the following double inequality

2 n 3 4 < Γ ( n / 2 ) Γ ( n / 2 1 / 2 ) ( n 1 ) 2 2 n 1
(68)

for positive integers n2 was given in [[16], Theorem 2].

Remark 27 After letting n=2k+1, inequality (68) becomes

k 1 4 < Γ ( k + 1 / 2 ) Γ ( k ) < k k + 1 / 4 ,
(69)

which is the same as (16). Taking n=2k+2 in (68) leads to inequalities (17) and (19).

Notice that the reasoning directions in the two papers [15, 16] are opposite:

( 2 n 1 ) ! ! ( 2 n ) ! ! [16] [15] Γ ( n / 2 ) Γ ( n / 2 1 / 2 ) .
(70)

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

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

b n (c)= 1 π Γ ( n + 1 / 2 ) Γ ( n + 1 ) n + c 1 π B c (n)
(71)

for nN. Therefore, Chu discussed equivalently the necessary and sufficient conditions such that the sequence B c (n) for nN is monotonic.

Recently, necessary and sufficient conditions for the general function

H a , b , c (x)= ( x + c ) b a Γ ( x + a ) Γ ( x + b )
(72)

on (ρ,), where a, b, and c are real numbers and ρ=min{a,b,c}, to be logarithmically completely monotonic are presented in [27, 28]. A positive function f is said to be logarithmically completely monotonic on an interval IR if it has derivatives of all orders on I and its logarithm lnf satisfies ( 1 ) k [ ln f ( x ) ] ( k ) 0 for kN on I, see [2931].

8 Lazarević-Lupaş’s claim

In 1974, among other things, the function

θ α (x)= [ Γ ( x + 1 ) Γ ( x + α ) ] 1 / ( 1 α ) x
(73)

on (0,) for α(0,1) was claimed in [[32], Theorem 2] to be decreasing and convex, and so

α 2 < [ Γ ( x + 1 ) Γ ( x + α ) ] 1 / ( 1 α ) x [ Γ ( α ) ] 1 / ( 1 α ) .
(74)

Remark 29 The proof of [[32], Theorem 2] is wrong, see [[33], Remark 3.3] and [[34], p.240]. However, the statements in [[32], Theorem 2] are correct.

9 Kershaw’s first double inequality

In 1983, motivated by inequality (58) obtained in [24], among other things, Kershaw presented in [35] the following double inequality:

( x + s 2 ) 1 s < Γ ( x + 1 ) Γ ( x + s ) < [ x 1 2 + ( s + 1 4 ) 1 / 2 ] 1 s
(75)

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

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

g β (x)= Γ ( x + 1 ) Γ ( x + s ) ( x + β ) s 1
(76)

for x>0 and 0<s<1, where the parameter β is to be determined.

It is not difficult to show, with the aid of Wendel’s limit (13), that

lim x g β (x)=1.
(77)

To prove double inequality (75), define

G(x)= g β ( x ) g β ( x + 1 ) = x + s x + 1 ( x + β + 1 x + β ) 1 s ,
(78)

from which it follows that

G ( x ) G ( x ) = ( 1 s ) [ ( β 2 + β s ) + ( 2 β s ) x ] ( x + 1 ) ( x + s ) ( x + β ) ( x + β + 1 ) .

This leads to

  1. 1.

    if β= s 2 , then G (x)<0 for x>0;

  2. 2.

    if β= 1 2 + ( s + 1 4 ) 1 / 2 , then G (x)>0 for x>0.

Consequently, if β= s 2 , then G strictly decreases, and since G(x)1 as x, it follows that G(x)>1 for x>0. However, from (77), this implies that g β (x)> g β (x+1) for x>0, and so g β (x)> g β (x+n). Take the limit as n to give the result that g β (x)>1, which can be rewritten as the left-hand side inequality in (75). The corresponding upper bound can be verified by a similar argument when β= 1 2 + ( s + 1 4 ) 1 / 2 , the only difference being that in this case g β strictly increases to unity. □

Remark 30 The spirit of Kershaw’s proof is similar to Chu’s in [[16], Theorem 1], as shown by (65). This idea or method was also utilized independently in [3641] to construct, for various purposes, a number of inequalities of the type

( x + α ) s 1 < Γ ( x + s ) Γ ( x + 1 ) < ( x + β ) s 1
(79)

for s>0 and real number x0.

Remark 31 It is easy to see that inequality (75) refines and extends inequalities (10) and (58).

Remark 32 Inequality (75) may be rearranged as

s 2 < [ Γ ( x + 1 ) Γ ( x + s ) ] 1 / ( 1 s ) x< ( s + 1 4 ) 1 / 2 1 2
(80)

for x>0 and 0<s<1.

10 Elezović-Giordano-Pečarić’s theorem

Inequalities (11), (19), (64), and (80), sequence (32), and functions (38) and (73) strongly suggest us to consider the monotonic and convex properties of the general function

z s , t (x)={ [ Γ ( x + t ) Γ ( x + s ) ] 1 / ( t s ) x , s t , e ψ ( x + s ) x , s = t
(81)

for x(α,), where s and t are two real numbers and α=min{s,t}.

In 2000, Elezović, Giordano, and Pečarić gave in [[34], Theorem 1] a perfect solution to the monotonic and convex properties of the function z s , t (x) as follows.

Theorem 2 The function z s , t (x) is either convex and decreasing for |ts|<1 or concave and increasing for |ts|>1.

Remark 33 Direct computation yields

z s , t ( x ) z s , t ( x ) + x = [ ψ ( x + t ) ψ ( x + s ) t s ] 2 + ψ ( x + t ) ψ ( x + s ) t s .
(82)

To prove the positivity of function (82), the following formula and inequality are used as basic tools in the proof of [[34], Theorem 1].

  1. 1.

    For x>1,

    ψ(x+1)=γ+ k = 1 ( 1 k 1 x + k ) .
    (83)
  2. 2.

    If ab<cd, then

    1 a b + 1 c d > 1 a c + 1 b d .
    (84)

Remark 34 As consequences of Theorem 2, the following useful conclusions are derived.

  1. 1.

    The function

    e ψ ( x + t ) x
    (85)

    is decreasing and convex from (t,) onto (t 1 2 ,t), where tR.

  2. 2.

    For all x>0,

    e ψ ( x ) < 1 ψ ( x ) orψ(x)<ln ψ (x).
    (86)
  3. 3.

    For all x>0 and t>0,

    ln ( x + t 1 2 ) <ψ(x+t)<ln ( x + e ψ ( t ) ) .
    (87)
  4. 4.

    For x>α, the inequality

    [ Γ ( x + t ) Γ ( x + s ) ] 1 / ( t s ) < t s ψ ( x + t ) ψ ( x + s )
    (88)

holds if |ts|<1 and reverses if |ts|>1.

Remark 35 In fact, function (85) is deceasing and convex on (t,) for all tR. See [[25], Theorem 2].

Remark 36 It is clear that double inequality (87) can be deduced directly from the decreasingly monotonic property of (85). Furthermore, from the decreasingly monotonic and convex properties of (85) on (t,), inequality (86) and

ψ (x)+ [ ψ ( x ) ] 2 >0
(89)

on (0,) can be derived straightforwardly.

11 Recent advances

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

Alternative proofs of Elezović-Giordano-Pečarić’s theorem

The key step of verifying Theorem 2 is to prove the positivity of the right-hand side in (82), which involves divided differences of the digamma and trigamma functions. The biggest barrier or difficulty to prove the positivity of (82) is mainly how to deal with the squared term in (82).

Chen’s proof

In [42], the barrier mentioned above was overcome by virtue of the well-known convolution theorem [43] for Laplace transforms, and so Theorem 2 for the special case s+1>t>s0 was proved. Perhaps this is the first try to provide an alternative of Theorem 2, although it was partially successful formally.

Qi-Guo-Chen’s proof

For real numbers α and β with (α,β){(0,1),(1,0)} and αβ, let

q α , β (t)={ e α t e β t 1 e t , t 0 , β α , t = 0 .
(90)

In [44, 45], by making use of the convolution theorem for the Laplace transform and the logarithmically convex properties of the function q α , β (x) on (0,), an alternative proof of Theorem 2 was supplied.

Guo-Qi’s first proof

In [46, 47], by considering monotonic properties of the function

Q s , t ; λ (u)= q α , β (u) q α , β (λu),λR
(91)

and still employing the convolution theorem for the Laplace transform, Theorem 2 was completely verified again.

Remark 37 For more information on the function q α , β (t) and its applications, please refer to [26, 27, 4651] and related references therein.

Guo-Qi’s second proof

In [5255], the complete monotonic properties of the function on the right-hand side of (82) were established as follows.

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

Δ s , t (x)={ [ ψ ( x + t ) ψ ( x + s ) t s ] 2 + ψ ( x + t ) ψ ( x + s ) t s , s t , [ ψ ( x + s ) ] 2 + ψ ( x + s ) , s = t
(92)

on x(α,). Then the functions Δ s , t (x) for |ts|<1 and Δ s , t (x) for |ts|>1 are completely monotonic on x(α,).

Since the complete monotonicity of the functions Δ s , t (x) and Δ s , t (x) mean the positivity and negativity of the function Δ s , t (x), an alternative proof of Theorem 2 was provided once again.

One of the key tools or ideas used in the proofs of Theorem 3 is the following simple but specially successful conclusion: If f(x) is a function defined on an infinite interval IR and it satisfies lim x f(x)=δ and f(x)f(x+ε)>0 for xI and some fixed number ε>0, then f(x)>δ on I.

It is clear that Theorem 3 is a generalization of inequality (89).

Complete monotonicity of divided differences

In order to prove Theorem 3, the following complete monotonic properties of a function related to a divided difference of the psi function were discovered in [54], the preprint of [55].

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

δ s , t (x)={ ψ ( x + t ) ψ ( x + s ) t s 2 x + s + t + 1 2 ( x + s ) ( x + t ) , s t , ψ ( x + s ) 1 x + s 1 2 ( x + s ) 2 , s = t
(93)

on x(α,). Then the functions δ s , t (x) for |ts|<1 and δ s , t (x) for |ts|>1 are completely monotonic on x(α,).

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

Inequalities for sums

As consequences of proving Theorem 4 along different approach from [55] and its preprint [54], the following algebraic inequalities for sums were procured in [56, 57] accidentally.

Theorem 5 Let k be a nonnegative integer and let θ>0 be a constant.

If a>0 and b>0, then

i = 0 k 1 ( a + θ ) i + 1 ( b + θ ) k i + 1 + i = 0 k 1 a i + 1 b k i + 1 >2 i = 0 k 1 ( a + θ ) i + 1 b k i + 1
(94)

holds for ba>θ and reverses for ba<θ.

If a<θ and b<θ, then the inequalities

i = 0 2 k 1 ( a + θ ) i + 1 ( b + θ ) 2 k i + 1 + i = 0 2 k 1 a i + 1 b 2 k i + 1 >2 i = 0 2 k 1 ( a + θ ) i + 1 b 2 k i + 1
(95)

and

i = 0 2 k + 1 1 ( a + θ ) i + 1 ( b + θ ) 2 k i + 2 + i = 0 2 k + 1 1 a i + 1 b 2 k i + 2 <2 i = 0 2 k + 1 1 ( a + θ ) i + 1 b 2 k i + 2
(96)

hold for ba>θ and reverse for ba<θ.

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

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

If a>0 and b<θ, then inequality (95) is reversed and inequality (96) holds for a+b+θ<0 and reverses for a+b+θ>0.

If b=aθ, then inequalities (94), (95) and (96) become equalities.

Moreover, the following equivalent relation between inequality (94) and Theorem 4 was found in [56, 57].

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

Recent advances

Recently, some applications, extensions, and generalizations of Theorems 3 to 5, and related conclusions have been investigated in several recently or immediately published manuscripts such as [5872]. For example, Theorem 1 stated in Remark 17 was obtained in [22].

The complete monotonicity of the q-analogue of the function δ 0 , 0 defined by (93) was researched in [73, 74].

Remark 38 This article is a slightly revised version of the preprint [75] and a companion paper of the preprint [76] and the articles [26, 77] whose preprints are [78, 79], respectively.

References

  1. Mitrinović DS, Pečarić JE, Fink AM: Classical and New Inequalities in Analysis. Kluwer Academic, Dordrecht; 1993.

    Book  MATH  Google Scholar 

  2. Widder DV: The Laplace Transform. Princeton University Press, Princeton; 1946.

    MATH  Google Scholar 

  3. Wendel JG: Note on the gamma function. Am. Math. Mon. 1948, 55(9):563–564. 10.2307/2304460

    Article  MathSciNet  Google Scholar 

  4. Abramowitz M, Stegun IA (Eds): National Bureau of Standards, Applied Mathematics Series 55 In Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards, Washington; 1970. 9th printing

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Burić T, Elezović N: Bernoulli polynomials and asymptotic expansions of the quotient of gamma functions. J. Comput. Appl. Math. 2011, 235(11):3315–3331. 10.1016/j.cam.2011.01.045

    Article  MathSciNet  MATH  Google Scholar 

  9. Burić T, Elezović N: New asymptotic expansions of the quotient of gamma functions. Integral Transforms Spec. Funct. 2012, 23(5):355–368. 10.1080/10652469.2011.591393

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Fields JL: The uniform asymptotic expansion of a ratio of gamma functions. In Constructive Theory of Functions. Izdat. Bolgar. Akad. Nauk, Sofia; 1972:171–176. (Russian)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  13. Mortici C: The quotient of gamma functions by the psi function. Comput. Appl. Math. 2011, 30(3):627–638. 10.1590/S1807-03022011000300008

    Article  MathSciNet  MATH  Google Scholar 

  14. Olver FWJ: On an asymptotic expansion of a ratio of gamma functions. Proc. R. Ir. Acad. A 1995, 95(1):5–9.

    MathSciNet  MATH  Google Scholar 

  15. Gurland J: On Wallis’ formula. Am. Math. Mon. 1956, 63: 643–645. 10.2307/2310591

    Article  MathSciNet  MATH  Google Scholar 

  16. Chu JT: A modified Wallis product and some applications. Am. Math. Mon. 1962, 69(5):402–404. 10.2307/2312135

    Article  MathSciNet  MATH  Google Scholar 

  17. Kazarinoff DK: On Wallis’ formula. Edinb. Math. Notes 1956, 1956(40):19–21.

    Article  MathSciNet  MATH  Google Scholar 

  18. Dutka J: On some gamma function inequalities. SIAM J. Math. Anal. 1985, 16: 180–185. 10.1137/0516013

    Article  MathSciNet  MATH  Google Scholar 

  19. Rao Uppuluri VR: On a stronger version of Wallis’ formula. Pac. J. Math. 1966, 19(1):183–187. Available online at http://projecteuclid.org/euclid.pjm/1102993964 10.2140/pjm.1966.19.183

    Article  MathSciNet  MATH  Google Scholar 

  20. Mitrinović DS: Analytic Inequalities. Springer, New York; 1970.

    Book  MATH  Google Scholar 

  21. Weisstein, EW: Wallis Cosine Formula. From MathWorld - A Wolfram Web Resource. Available online at http://mathworld.wolfram.com/WallisFormula.html.

  22. 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.3071. e-printatarXiv.org

  23. 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

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

    Article  MathSciNet  MATH  Google Scholar 

  25. Qi, F, Guo, B-N: Sharp inequalities for the psi function and harmonic numbers. arXiv:0902.2524. e-printatarXiv.org

  26. Qi F: Bounds for the ratio of two gamma functions. J. Inequal. Appl. 2010., 2010: Article ID 493058 10.1155/2010/493058

    Google Scholar 

  27. Qi F, Guo B-N: Wendel’s and Gautschi’s inequalities: refinements, extensions, and a class of logarithmically completely monotonic functions. Appl. Math. Comput. 2008, 205(1):281–290. 10.1016/j.amc.2008.07.005

    Article  MathSciNet  MATH  Google Scholar 

  28. 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. 2007., 10(1): Article ID 2. 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. 1988, 41(2):21–23.

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  32. Lazarević I, Lupaş A: Functional equations for Wallis and Gamma functions. Publ. Elektrotehn. Fak. Univ. Beograd. Ser. Electron. Telecommun. Automat 1974, 461–497: 245–251.

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  34. Elezović N, Giordano C, Pečarić J: The best bounds in Gautschi’s inequality. Math. Inequal. Appl. 2000, 3: 239–252. 10.7153/mia-03-26

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  37. Giordano C, Laforgia A, Pečarić J: Monotonicity properties for some functions involving the ratio of two gamma functions. In Funzioni Speciali e Applicazioni. Edited by: Bellacicco A, Laforgia A. Franco Angeli, Milano; 1998:35–42.

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

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

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

    MathSciNet  MATH  Google Scholar 

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

  46. Guo B-N, Qi F: An alternative proof of Elezović-Giordano-Pečarić’s theorem. Math. Inequal. Appl. 2011, 14(1):73–78. 10.7153/mia-14-06

    MathSciNet  MATH  Google Scholar 

  47. Qi, F, Guo, B-N: An alternative proof of Elezović-Giordano-Pečarić’s theorem. arXiv:0903.1174. e-printatarXiv.org

  48. Guo B-N, Qi F: Properties and applications of a function involving exponential functions. Commun. Pure Appl. Anal. 2009, 8(4):1231–1249. 10.3934/cpaa.2009.8.1231

    Article  MathSciNet  MATH  Google Scholar 

  49. Qi F: Monotonicity and logarithmic convexity for a class of elementary functions involving the exponential function. RGMIA Res. Rep. Coll. 2006., 9(3): Article ID 3. Available online at http://rgmia.org/v9n3.php

  50. Qi F: Three-log-convexity for a class of elementary functions involving exponential function. J. Math. Anal. Approx. Theory 2006, 1(2):100–103.

    MathSciNet  MATH  Google Scholar 

  51. Qi F, Luo Q-M, Guo B-N:The function ( b x a x )/x: ratio’s properties. In Analytic Number Theory, Approximation Theory, and Special Functions. Edited by: Alladi K, Milovanović GV, Rassias MT. Springer, Berlin; 2014:673–682.

    Google Scholar 

  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. 2011, 48(3):655–667. 10.4134/JKMS.2011.48.3.655

    Article  MathSciNet  MATH  Google Scholar 

  53. Qi F: A completely monotonic function involving divided differences of psi and polygamma functions and an application. RGMIA Res. Rep. Coll. 2006., 9(4): Article ID 8. Available online at http://rgmia.org/v9n4.php

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

  55. 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. 2009, 8(6):1975–1989. 10.3934/cpaa.2009.8.1975

    Article  MathSciNet  MATH  Google Scholar 

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

  57. Qi F: A completely monotonic function involving the divided difference of the psi function and an equivalent inequality involving sums. ANZIAM J. 2007, 48(4):523–532. 10.1017/S1446181100003199

    Article  MathSciNet  MATH  Google Scholar 

  58. Guo B-N, Qi F: A completely monotonic function involving the tri-gamma function and with degree one. Appl. Math. Comput. 2012, 218(19):9890–9897. 10.1016/j.amc.2012.03.075

    Article  MathSciNet  MATH  Google Scholar 

  59. Guo B-N, Qi F: An extension of an inequality for ratios of gamma functions. J. Approx. Theory 2011, 163(9):1208–1216. 10.1016/j.jat.2011.04.003

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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. 2012, 23(9):701–708. 10.1080/10652469.2011.627511

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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., 2013: Article ID 67 10.1186/1029-242X-2013-67

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

  74. Qi, F: Complete monotonicity of functions involving the q-trigamma and q-tetragamma functions. arXiv:1301.0155

  75. Qi, F: Bounds for the ratio of two gamma functions-From Wendel’s limit to Elezović-Giordano-Pečarić’s theorem. arXiv:0902.2514. e-printatarXiv.org

  76. Qi, F: Bounds for the ratio of two gamma functions-From Gautschi’s and Kershaw’s inequalities to completely monotonic functions. arXiv:0904.1049. e-printatarXiv.org

  77. 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. 2012, 6(2):132–158.

    Article  MathSciNet  MATH  Google Scholar 

  78. Qi F: Bounds for the ratio of two gamma functions. RGMIA Res. Rep. Coll. 2008., 11(3): Article ID 1. Available online at http://rgmia.org/v11n3.php

  79. Qi, F: Bounds for the ratio of two gamma functions-From Wendel’s and related inequalities to logarithmically completely monotonic functions. arXiv:0904.1048. e-printatarXiv.org

Download references

Acknowledgements

The original version of this article was reported on Thursday 24 July 2008 as a talk in the seminar held at the Research Group in Mathematical Inequalities and Applications (RGMIA), School of Computer Science and Mathematics, Victoria University, Australia, while the first author was visiting the RGMIA between March 2008 and February 2009 by the grant from the China Scholarship Council. The first author would like to express many thanks to Professors Pietro Cerone and Server S. Dragomir and other local colleagues for their invitation and hospitality throughout this period. This work was partially supported by the NNSF of China under Grant No. 11361038, by the NSF Project of Chongqing City under Grant No. CSTC2011JJA00024, by the Research Project of Science and Technology of Chongqing Education Commission under Grant 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 the original version of this manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Feng Qi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the manuscript and read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Qi, F., Luo, QM. Bounds for the ratio of two gamma functions: from Wendel’s asymptotic relation to Elezović-Giordano-Pečarić’s theorem. J Inequal Appl 2013, 542 (2013). https://doi.org/10.1186/1029-242X-2013-542

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-542

Keywords