 Research Article
 Open access
 Published:
A Class of Logarithmically Completely Monotonic Functions Associated with a Gamma Function
Journal of Inequalities and Applications volume 2010, Article number: 392431 (2010)
Abstract
We show that the function is strictly logarithmically completely monotonic on if and only if and is strictly logarithmically completely monotonic on if and only if .
1. Introduction
For real and positive values of the Euler gamma function and its logarithmic derivative , the socalled digamma function, are defined as
For extension of these functions to complex variables and for basic properties, see [1]. These functions play central roles in the theory of special functions and have lots of extensive applications in many branches, for example, statistics, physics, engineering, and other mathematical sciences. Over the past half century monotonicity properties of these functions have attracted the attention of many authors (see [2–22]).
Recall that a realvalued function is said to be completely monotonic on if has derivatives of all orders on and
for all and . Moreover, is said to be strictly completely monotonic if inequality (1.2) is strict.
Recall also that a positive realvalued function is said to be logarithmically completely monotonic on if has derivatives of all orders on and its logarithm satisfies
for all and . Moreover, is said to be strictly logarithmically completely monotonic if inequality (1.3) is strict.
Recently, the completely monotonic or logarithmically completely monotonic functions have been the subject of intensive research. In particular, many remarkable results for the complete monotonicity or logarithmically complete monotonicity involving the gamma, psi and polygamma functions can be found in the literature [18, 19, 23–42].
The Kershaw's inequality in [21] states that the double inequality
holds for and . In [43], Laforgia extends the both sides of inequality in (1.4) as follows:
for or and , and inequality (1.5) is reversed for and .
Let us define
for with and . In order to establish the best bounds in Kershaw's inequality (1.4), the following monotonicity and convexity properties of are established in [13, 44, 45]: the function is either convex and decreasing for or concave and increasing for .
This work is motivated by an paper of Guo [46], who proved that the function
is strictly logarithmically concave and strictly increasing from onto . It is natural to ask for an extension of this result: is logarithmically complete monotonic? We will give the positive answer. Actually, we investigate a more general problem. The goal of this article is to discuss the logarithmically complete monotonicity properties of the functions
on and for fixed .
Recently Chen et al. [38, Theorem 1] proved the following result: let and be real numbers, define for ,
Then, the function is strictly logarithmically completely monotonic on if and only if . So is the function if and only if .
Our main results are summarized as follows.
Theorem 1.1.
Let , , and is defined as (1.8), then
(1) is strictly logarithmically completely monotonic on if and only if ;
(2) is strictly logarithmically completely monotonic on if and only if .
As applications of Theorem 1.1, one has the following corollaries.
Corollary 1.2.
For and , one has the double inequalities for the ratio of the gamma functions
In particular, one has
for and , and
for and .
Corollary 1.3.
For and , one has the following double inequality
where .
2. Lemmas
In order to prove our Theorem 1.1, we need serval lemmas which we collect in this section. In our second lemma we present the area of to determine positive (or negative) for a function, which plays a crucial role in the proof of our result Theorem 1.1 given in Section 3.
Let be a function defined on as
We will discuss the properties for this function and refer to view Figure 1 more clearly.
The function can be interpreted as a quadric equation with respect to , that is
where , , and its discriminant function
Obviously, if , then . It follows from that .
If , then . We can solve two roots of the equation , which are
It follows from the properties of the quadratic equation that for and for or .
Differentiating with respect to , one has
By (2.5) we know that the minimal value of can be attained at , that is . Moreover, is strictly decreasing on and strictly increasing on .
Obviously, is strictly increasing on . Note that
as . In other words, and has the asymptotic line .
Lemma 2.1.
The psi or digamma function, the logarithmic derivative of the gamma function, and the polygamma functions can be expressed as
for and , where is Euler's constant.
Lemma 2.2.
Let and . Then the following statements are true:
(1)if , then for ;
(2)if , then for ;
(3)if and , then there exist such that for and for .
Proof.
Let and . Then simple computations lead to

(1)
If , then we divide the proof into two cases.
Case 1.
If , then implies that for and for . Thus is strictly increasing on and strictly decreasing on . From (2.10) and we clearly see that there exists such that for and for , which implies that is strictly increasing on and strictly decreasing on . It follows from (2.9) that
for .
Case 2.
If , then we know since . It follows from (2.13) and (2.15) that
Therefore, there exists such that for and for follows from (2.17), which implies that is strictly decreasing on and strictly increasing on . It follows from (2.12) and that there exists such that for and for . By the same argument, it follows from (2.10) and that there exists such that for and for .
Therefore, for follows from (2.9).

(2)
If , then from Figure 1 we know that could be positive or negative. We divide the proof into two cases.
Case 1.
If , then from (2.13) and (2.15) we clearly know that for , which implies that is strictly increasing on . Then the properties of and lead to
It follows from (2.12) and (2.18) that there exists such that for and for since as . Hence is strictly decreasing on and strictly increasing on . From (2.10) and we know that there exists such that for and for . Therefore, it follows from (2.9) that
for .
Case 2.
If , then from (2.13) and (2.15) we know that there exists such that for and for . Thus is strictly decreasing on and strictly increasing on . It follows from (2.12) and that there exists such that for and for . By the same argument as Case 1, for follows from (2.9) and (2.10).

(3)
If and , then from (2.12) we clearly know that . Thus there exists such that for . It follows from (2.10) that , . Since as , we know that there exists such that for , which implies that is strictly increasing on and . Therefore, for and for .
We state a simple lemma as the results of [12, 47].
Lemma 2.3.
Inequality
holds for .
3. Proof of Theorem 1.1
Proof of Theorem 1.1.
Taking the logarithm of (1.8) and differentiating, then we have
For , it follows from (2.8) that
where

(1)
If , then it follows from (3.1) and (2.20) that
(3.4)
From (3.2) and (3.3) together with Lemma 2.2(1) we clearly see that
holds for . Therefore, is strictly logarithmically completely monotonic on that follows from (3.4) and (3.5).
Conversely, if , then we can divide the set into two subsets: and . Therefore, it follows from Lemma 2.2(2) and (3) that is not strictly logarithmically completely monotonic on for .

(2)
If , then from (3.1) and (2.20) we get
(3.6)
since
For , it follows from (3.2) that
where is defined as (3.3).
Therefore, is strictly logarithmically completely monotonic on that follows from (3.6), (3.8), and Lemma 2.2(2).
Conversely, if and , then we can divide the set into two subsets: and . Therefore, it follows from Lemma 2.2(1) and (3) that is not strictly logarithmically completely monotonic on for .
Remark 1.
Although the upper and lower bounds of Kershaw's inequalities given in (1.11) and (1.12) are not better than those of inequalities in (1.4) and (1.5), the difference between them is close to zero as is large enough. For example,
Furthermore, the advantage of our inequalities is to give the upper and lower bounds of Kershaw's inequality for and while Laforgia established only one side of Kershaw's inequality.
References
Whittaker ET, Watson GN: A Course of Modern Analysis. Cambridge University Press, Cambridge, UK; 1996:vi+608.
Chu YM, Zhang XM, Zhang Z: The geometric convexity of a function involving gamma function with applications. Korean Mathematical Society 2010, 25(3):373–383. 10.4134/CKMS.2010.25.3.373
Zhang XM, Chu YM: A double inequality for gamma function. Journal of Inequalities and Applications 2009, 2009:7.
Zhao TH, Chu YM, Jiang YP: Monotonic and logarithmically convex properties of a function involving gamma functions. Journal of Inequalities and Applications 2009, 2009:13.
Zhang XM, Chu YM: An inequality involving the gamma function and the psi function. International Journal of Modern Mathematics 2008, 3(1):67–73.
Chu YM, Zhang XM, Tang X: An elementary inequality for psi function. Bulletin of the Institute of Mathematics. Academia Sinica 2008, 3(3):373–380.
Song YQ, Chu YM, Wu L: An elementary double inequality for gamma function. International Journal of Pure and Applied Mathematics 2007, 38(4):549–554.
Chen ChP: Monotonicity and convexity for the gamma function. Journal of Inequalities in Pure and Applied Mathematics 2005, 6(4):6, article no. 100.
Guo BN, Qi F: Two new proofs of the complete monotonicity of a function involving the PSI function. Bulletin of the Korean Mathematical Society 2010, 47(1):103–111. 10.4134/BKMS.2010.47.1.103
Chen ChP, Qi F, Srivastava HM: Some properties of functions related to the gamma and psi functions. Integral Transforms and Special Functions 2010, 21(1–2):153–164.
Qi F: A completely monotonic function involving the divided difference of the psi function and an equivalent inequality involving sums. The ANZIAM Journal 2007, 48(4):523–532. 10.1017/S1446181100003199
Qi F, Guo BN: Monotonicity and convexity of ratio between gamma functions to different powers. Journal of the Indonesian Mathematical Society 2005, 11(1):39–49.
Chen ChP, Qi F: Inequalities relating to the gamma function. The Australian Journal of Mathematical Analysis and Applications 2004, 1(1, article no. 3):7.
Guo BN, Qi F: Inequalities and monotonicity for the ratio of gamma functions. Taiwanese Journal of Mathematics 2003, 7(2):239–247.
Qi F: Monotonicity results and inequalities for the gamma and incomplete gamma functions. Mathematical Inequalities & Applications 2002, 5(1):61–67.
Qi F, Mei JQ: Some inequalities of the incomplete gamma and related functions. Zeitschrift für Analysis und Ihre Anwendungen 1999, 18(3):793–799.
Qi F, Guo SL: Inequalities for the incomplete gamma and related functions. Mathematical Inequalities & Applications 1999, 2(1):47–53.
Alzer H: Some gamma function inequalities. Mathematics of Computation 1993, 60(201):337–346. 10.1090/S00255718199311492887
Alzer H: On some inequalities for the gamma and psi functions. Mathematics of Computation 1997, 66(217):373–389. 10.1090/S0025571897008077
Anderson GD, Qiu SL: A monotoneity property of the gamma function. Proceedings of the American Mathematical Society 1997, 125(11):3355–3362. 10.1090/S000299399704152X
Kershaw D: Some extensions of W. Gautschi's inequalities for the gamma function. Mathematics of Computation 1983, 41(164):607–611.
Merkle M: Logarithmic convexity and inequalities for the gamma function. Journal of Mathematical Analysis and Applications 1996, 203(2):369–380. 10.1006/jmaa.1996.0385
Alzer H, Berg Ch: Some classes of completely monotonic functions. II. The Ramanujan Journal 2006, 11(2):225–248. 10.1007/s1113900665105
Alzer H: Sharp inequalities for the digamma and polygamma functions. Forum Mathematicum 2004, 16(2):181–221. 10.1515/form.2004.009
Alzer H, Batir N: Monotonicity properties of the gamma function. Applied Mathematics Letters 2007, 20(7):778–781. 10.1016/j.aml.2006.08.026
Clark WE, Ismail MEH: Inequalities involving gamma and psi functions. Analysis and Applications 2003, 1(1):129–140. 10.1142/S0219530503000041
Elbert Á, Laforgia A: On some properties of the gamma function. Proceedings of the American Mathematical Society 2000, 128(9):2667–2673. 10.1090/S0002993900055209
Bustoz J, Ismail MEH: On gamma function inequalities. Mathematics of Computation 1986, 47(176):659–667. 10.1090/S00255718198608567106
Ismail MEH, Lorch L, Muldoon ME: Completely monotonic functions associated with the gamma function and its analogues. Journal of Mathematical Analysis and Applications 1986, 116(1):1–9. 10.1016/0022247X(86)900429
Babenko VF, Skorokhodov DS: On Kolmogorovtype inequalities for functions defined on a semiaxis. Ukrainian Mathematical Journal 2007, 59(10):1299–1312.
Muldoon ME: Some monotonicity properties and characterizations of the gamma function. Aequationes Mathematicae 1978, 18(1–2):54–63. 10.1007/BF01844067
Qi F, Yang Q, Li W: Two logarithmically completely monotonic functions connected with gamma function. Integral Transforms and Special Functions 2006, 17(7):539–542. 10.1080/10652460500422379
Qi F, Niu DW, Cao J: Logarithmically completely monotonic functions involving gamma and polygamma functions. Journal of Mathematical Analysis and Approximation Theory 2006, 1(1):66–74.
Qi F, Chen SX, Cheung WS: Logarithmically completely monotonic functions concerning gamma and digamma functions. Integral Transforms and Special Functions 2007, 18(5–6):435–443.
Qi F: A class of logarithmically completely monotonic functions and the best bounds in the first Kershaw's double inequality. Journal of Computational and Applied Mathematics 2007, 206(2):1007–1014. 10.1016/j.cam.2006.09.005
Chen ChP, Qi F: Logarithmically complete monotonicity properties for the gamma functions. The Australian Journal of Mathematical Analysis and Applications 2005, 2(2, article no. 8):9.
Chen ChP, Qi F: Logarithmically completely monotonic functions relating to the gamma function. Journal of Mathematical Analysis and Applications 2006, 321(1):405–411. 10.1016/j.jmaa.2005.08.056
Chen ChP, Wang G, Zhu H: Two classes of logarithmically completely monotonic functions associated with the gamma function. Computational Intelligence Foundations and Applications 2010, 4: 168–173.
Chen ChP: Complete monotonicity properties for a ratio of gamma functions. Univerzitet u Beogradu. Publikacije Elektrotehničkog Fakulteta. Serija Matematika 2005, 16: 26–28.
Merkle M: On logconvexity of a ratio of gamma functions. Univerzitet u Beogradu. Publikacije Elektrotehničkog Fakulteta. Serija Matematika 1997, 8: 114–119.
Li AJ, Chen ChP: Some completely monotonic functions involving the gamma and polygamma functions. Journal of the Korean Mathematical Society 2008, 45(1):273–287. 10.4134/JKMS.2008.45.1.273
Qi F, Niu DW, Cao J, Chen SX: Four logarithmically completely monotonic functions involving gamma function. Journal of the Korean Mathematical Society 2008, 45(2):559–573. 10.4134/JKMS.2008.45.2.559
Laforgia A: Further inequalities for the gamma function. Mathematics of Computation 1984, 42(166):597–600. 10.1090/S00255718198407364551
Elezović N, Giordano C, Pečarić J: The best bounds in Gautschi's inequality. Mathematical Inequalities & Applications 2000, 3(2):239–252.
Qi F, Guo BN, Chen ChP: The best bounds in GautschiKershaw inequalities. Mathematical Inequalities & Applications 2006, 9(3):427–436.
Guo S: Monotonicity and concavity properties of some functions involving the gamma function with applications. Journal of Inequalities in Pure and Applied Mathematics 2006, 7(2, article no. 45):7.
Qi F, Guo BN: A new proof of complete monotonicity of a function involving psi function. RGMIA Research Report Collection 2008., 11(3, article no. 12):
Acknowledgment
This work was supported by the National Science Foundation of China under Grant no. 11071069 and the Natural Science Foundation of Zhejiang Province under Grant no. Y7080106.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
Cite this article
Zhao, TH., Chu, YM. A Class of Logarithmically Completely Monotonic Functions Associated with a Gamma Function. J Inequal Appl 2010, 392431 (2010). https://doi.org/10.1155/2010/392431
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/392431