JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 10.1155/2014/757462 757462 Review Article A Class of Logarithmically Completely Monotonic Functions and Their Applications http://orcid.org/0000-0002-4513-864X Guo Senlin Luo Qiu-Ming Department of Mathematics Zhongyuan University of Technology Zhengzhou Henan 450007 China zzti.edu.cn 2014 1372014 2014 07 04 2014 10 05 2014 13 7 2014 2014 Copyright © 2014 Senlin Guo. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We study the recent investigations on a class of functions which are logarithmically completely monotonic. Two open problems are also presented.

1. Introduction

Recall  that a positive function f is said to be logarithmically completely monotonic (LCM) on an open interval I if f has derivatives of all orders on I and for all nN={1,2,3,}, (1)(-1)n[lnf(x)](n)0.

LCM functions are related to completely monotonic (CM) functions , strongly logarithmically completely monotonic (SLCM) functions , almost strongly completely monotonic (ASCM) functions , almost completely monotonic (ACM) functions , Laplace transforms, and Stieltjes transforms and have wide applications. It is evident that the set of SLCM functions is a nontrivial subset of the set of LCM functions, which is a nontrivial subset of the set of CM functions, and that the set of CM functions is a nontrivial subset of the set of ACM functions. It was established  that the set of SLCM functions is a nontrivial subset of the set of ASCM functions and that the set of SLCM functions on the interval (0,) is disjoint with the set of strongly completely monotonic (SCM) functions (see  for its definition) on the interval (0,).

It is well known that the classical Euler gamma function is defined for x>0 by (2)Γ(z)=0tx-1e-tdt. The logarithmic derivative of Γ(z), denoted by (3)ψ(z)=Γ(z)Γ(z), is called psi function, and ψ(k) for kN are called polygamma functions.

For α,γR and β0, define (4)fα,β,γ(x)=[exΓ(x+β)xx+β-α]γ,x(0,), which is encountered in probability and statistics.

Since fα,β,γ(x)  (γ>0) is logarithmically completely monotonic if and only if fα,β,1(x) is logarithmically completely monotonic and fα,β,γ(x)  (γ<0) is logarithmically completely monotonic if and only if fα,β,-1(x) is logarithmically completely monotonic, we only need to study the logarithmically complete monotonicity of the function (5)fα,β,±1(x)=[exΓ(x+β)xx+β-α]±1,x(0,).

In [6, Theorem 3.2], it was proved that the function f1/2,0,1(x) is decreasing and logarithmically convex from (0,) onto (2π,) and that the function f1,0,1(x) is increasing and logarithmically concave from (0,) onto (1,).

In [7, Theorem 1], for showing (6)bb-1aa-1ea-b<Γ(b)Γ(a)<bb-1/2aa-1/2ea-b for (7)b>a>1, monotonic properties of the functions lnfα,0,1(x) and lnfα,0,1(x) on the interval (1,) were obtained.

In [8, Theorem 2], it was presented that the function fα,0,1(x) is decreasing on the interval (c,) for c0 if and only if (8)α12 and increasing on the interval (c,) if and only if (9)α{c[lnc-ψ(c)]ifc>0,1ifc=0.

In , after proving the logarithmically completely monotonic property of the functions f1/2,0,1(x) and f1,0,-1(x), in virtue of Jensen’s inequality for convex functions, the upper and lower bounds for the Gurland’s ratio were established: for positive numbers x and y, the inequality (10)xx-1/2yy-1/2[(x+y)/2]x+y-1Γ(x)Γ(y)[Γ((x+y)/2)]2xx-1yy-1[(x+y)/2]x+y-2 holds true, where the middle term in (10) is called Gurland’s ratio .

In  the authors proved the following result.

Theorem 1 (see [<xref ref-type="bibr" rid="B11">11</xref>]).

If (11)2α1β, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

The necessary and sufficient conditions for the functions fα,0,1(x) and fα,0,-1(x) to be logarithmically completely monotonic on the interval (0,) were also given in .

Using monotonic properties of the functions f1/2,0,1(x) and f1,0,-1(x), the inequality (6) was extended (see [11, Remark 1]) from (12)b>a>1 to (13)b>a>0.

In  the authors proved the following results.

Theorem 2 (see [<xref ref-type="bibr" rid="B12">12</xref>]).

If β>0 and α0, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

Theorem 3 (see [<xref ref-type="bibr" rid="B12">12</xref>]).

For β>0, a necessary condition for the function fα,β,1(x) to be logarithmically completely monotonic on the interval (0,) is that (14)αmin{β,12}.

Theorem 4 (see [<xref ref-type="bibr" rid="B12">12</xref>]).

For β1, a necessary and sufficient condition for the function fα,β,1(x) to be logarithmically completely monotonic on the interval (0,) is that (15)α12.

As direct consequences of the above results, the following Kečkić-Vasić-type inequality is deduced.

Theorem 5 (see [<xref ref-type="bibr" rid="B12">12</xref>]).

Let x and y be positive numbers with xy.

For β1, the following inequality (16)I(x,y)>[(xy)α-βΓ(x+β)Γ(y+β)]1/(x-y)

holds true if and only if α1/2, where (17)I(a,b)=1e(bbaa)1/(b-a)(a>0,b>0,ab)

is the identric or exponential mean.

For β>0, the inequality (16) holds true also if α0.

In , the following result was established.

Theorem 6 (see [<xref ref-type="bibr" rid="B13">13</xref>]).

( 1 ) For β[0,1/2), if (18)αβ-e-4(1-β)2exp(21-β), then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

( 2 ) For β[1/2,1], if (19)αmin{3β2-3β+1,12}, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

From Theorem 6 we can directly obtain the following new result.

Corollary 7.

( 1 ) For β[1/4,1/2], if (20)αβ-14, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

( 2 ) For β(1/2,3/4], if (21)αβ-13, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

( 3 ) For β(3/4,1], if (22)αβ-12, then the function fα,β,1(x) is logarithmically completely monotonic on the interval (0,).

A necessary and sufficient condition is obtained in  as follows.

Theorem 8 (see [<xref ref-type="bibr" rid="B13">13</xref>]).

For (23)β{0}[12+36,), a necessary and sufficient condition for the function fα,β,1(x) to be logarithmically completely monotonic on the interval (0,) is that (24)α12.

Regarding the logarithmically complete monotonicity for the function fα,β,-1(x) and their applications. In , the authors proved the following results.

Theorem 9 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

If the function fα,β,-1(x) is logarithmically completely monotonic on the interval (0,), then either (25)β>0,αmax{β,12} or (26)β=0,α1.

Theorem 10 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

For (27)β12, the necessary and sufficient condition for the function fα,β,-1(x) to be logarithmically completely monotonic on the interval (0,) is that (28)αβ.

As first application, the following inequalities are derived by using logarithmically completely monotonic properties of the function fα,β,±1(x) on the interval (0,).

Theorem 11 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

( 1 ) For kN, double inequalities (29)lnx-1xψ(x)lnx-12x,(k-1)!xk+k!2xk+1(-1)k+1ψ(k)(x)(k-1)!xk+k!xk+1 hold true on the interval (0,).

( 2 ) When β>0, inequalities (30)ψ(x+β)lnx+βx,(-1)kψ(k-1)(x+β)(k-2)!xk-1-β(k-1)!xk hold true on the interval (0,) for k2.

( 3 ) When β1/2, inequalities (31)ψ(x+β)lnx,(-1)kψ(k-1)(x+β)(k-2)!xk-1 hold true on the interval (0,) for k2.

( 4 ) When β1, inequalities (32)ψ(x+β)lnx+β-1/2x,(-1)kψ(k-1)(x+β)(k-2)!xk-1-(β-1/2)(k-1)!xk hold true on the interval (0,) for k2.

As second application, the following inequalities are derived by using logarithmically convex properties of the function fα,β,±1(x) on (0,).

Theorem 12 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

Let nN and (33)xk>0(1kn). Suppose also that (34)k=1npk=1(pk0). If either (35)β>0,α0 or (36)β1,α12, then (37)k=1n[Γ(xk+β)]pkΓ(k=1npkxk+β)k=1nxkpk(xk+β-α)(k=1npkxk)k=1npkxk+β-α. If (38)αβ12, then the inequality (37) reverses.

As final application, the following inequality can be derived by using the decreasingly monotonic property of the function fα,β,-1(x) on (0,).

Theorem 13 (see [<xref ref-type="bibr" rid="B14">14</xref>]).

If (39)αβ12, then (40)I(x,y)<[(xy)α-βΓ(x+β)Γ(y+β)]1/(x-y) holds true for x,y(0,) with xy, where I(x,y), defined by (17), is the identric or exponential mean.

The following results were shown in .

Theorem 14 (see [<xref ref-type="bibr" rid="B15">15</xref>]).

For (41)β0, a sufficient condition for the function fα,β,-1(x) to be logarithmically completely monotonic on the interval (0,) is that (42)αmax{12,β,3β2-3β+1}.

Remark 15.

From Theorems 9 and 14 we see that the necessary and sufficient condition for the function fα,0,-1(x) to be logarithmically completely monotonic on the interval (0,) is that (43)α1. This result is Theorem 2 in . Here we recovered it.

Theorem 16 (see [<xref ref-type="bibr" rid="B15">15</xref>]).

Let (44)β[12-36,12]. Then the necessary and sufficient condition for the function fα,β,-1(x) to be logarithmically completely monotonic on the interval (0,) is that (45)α12.

The following results are applications of the above theorems.

Theorem 17 (see [<xref ref-type="bibr" rid="B15">15</xref>]).

When (46)12-36β12, the following inequalities (47)ψ(x+β)lnx-1/2-βx,(-1)kψ(k-1)(x+β)(k-2)!xk-1+(1/2-β)(k-1)!xkWWWWWWWWWW(k2) hold true on the interval (0,).

Theorem 18 (see [<xref ref-type="bibr" rid="B15">15</xref>]).

Let nN and (48)xk>0(1kn). Suppose also that (49)k=1npk=1(pk0). If (50)0β12,αmax{12,3β2-3β+1}, then (51)k=1n[Γ(xk+β)]pkΓ(k=1npkxk+β)k=1nxkpk(xk+β-α)(k=1npkxk)k=1npkxk+β-α.

Theorem 19 (see [<xref ref-type="bibr" rid="B15">15</xref>]).

If (52)0β12,αmax{12,3β2-3β+1}, then (53)I(x,y)<[(xy)α-βΓ(x+β)Γ(y+β)]1/(x-y)WWWWWiW(x>0;y>0;xy), where in (53) I(x,y), defined by (17), is the identric or exponential mean.

2. Open Problems 2.1. Open Problem 1

From Theorem 8 we have already known, for (54)β{0}[12+36,), a necessary and sufficient condition for the function fα,β,1(x) to be logarithmically completely monotonic on the interval (0,).

For (55)β(0,12+36), what is a necessary and sufficient condition for the function fα,β,1(x) to be logarithmically completely monotonic on the interval (0,)?

Already Known. Theorem 3 gave a necessary condition; Theorem 6 provided a sufficient condition.

2.2. Open Problem 2

From Remark 15, Theorems 10 and 16 we have already known, for (56)β{0}[12-36,), a necessary and sufficient condition for the function fα,β,-1(x) to be logarithmically completely monotonic on the interval (0,).

For (57)β(0,12-36), what is a necessary and sufficient condition for the function fα,β,-1(x) to be logarithmically completely monotonic on the interval (0,)?

Already Known. Theorem 9 gave a necessary condition; Theorem 14 provided a sufficient condition.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author would like to thank the editor and the reviewers for their valuable comments and suggestions to improve the quality of this paper. The present investigation was supported, in part, by the Natural Science Foundation of China under Grant no. 11326167.

Atanassov R. D. Tsoukrovski U. V. Some properties of a class of logarithmically completely monotonic functions Comptes Rendus de l'Académie Bulgare des Sciences 1988 41 2 21 23 MR939205 ZBL0658.26010 Widder D. V. The Laplace Transform 1941 Princeton, NJ, USA Princeton University Press MR0005923 Guo S. Srivastava H. M. A certain function class related to the class of logarithmically completely monotonic functions Mathematical and Computer Modelling 2009 49 9-10 2073 2079 10.1016/j.mcm.2009.01.002 MR2532112 ZBL1171.26319 Srivastava H. M. Guo S. Qi F. Some properties of a class of functions related to completely monotonic functions Computers & Mathematics with Applications 2012 64 6 1649 1654 10.1016/j.camwa.2012.01.016 MR2960791 ZBL1268.26017 Trimble S. Y. Wells J. Wright F. T. Superadditive functions and a statistical application SIAM Journal on Mathematical Analysis 1989 20 5 1255 1259 10.1137/0520082 MR1009357 ZBL0688.44002 Anderson G. D. Barnard R. W. Richards K. C. Vamanamurthy M. K. Vuorinen M. Inequalities for zero-balanced hypergeometric functions Transactions of the American Mathematical Society 1995 347 5 1713 1723 10.2307/2154966 MR1264800 ZBL0826.33003 Kečkić J. D. Vasić P. M. Some inequalities for the gamma function Institut Mathématique 1971 11 25 107 114 MR0308446 ZBL0222.33001 Alzer H. On some inequalities for the gamma and psi functions Mathematics of Computation 1997 66 217 373 389 10.1090/S0025-5718-97-00807-7 MR1388887 ZBL0854.33001 Wei Y.-J. Zhang S.-L. Chen C.-P. Logarithmically completely monotonic functions and Gurland's ratio for the gamma functions Advanced Studies in Contemporary Mathematics 2007 15 2 253 257 MR2356181 ZBL1132.33304 Merkle M. Gurland's ratio for the gamma function Computers & Mathematics with Applications 2005 49 2-3 389 406 10.1016/j.camwa.2004.01.016 MR2123415 ZBL1081.33005 Chen C.-P. 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 MR2236568 ZBL1099.33002 Guo S. Qi F. Srivastava H. M. Supplements to a class of logarithmically completely monotonic functions associated with the gamma function Applied Mathematics and Computation 2008 197 2 768 774 10.1016/j.amc.2007.08.011 MR2400700 ZBL1139.33300 Guo S. Srivastava H. M. A class of logarithmically completely monotonic functions Applied Mathematics Letters 2008 21 11 1134 1141 10.1016/j.aml.2007.10.028 MR2459837 ZBL1202.33002 Guo S. Qi F. Srivastava H. M. A class of logarithmically completely monotonic functions related to the gamma function with applications Integral Transforms and Special Functions 2012 23 8 557 566 10.1080/10652469.2011.611331 MR2959455 ZBL1258.26009 Guo S. Logarithmically completely monotonic functions and applications Applied Mathematics and Computation 2013 221 169 176 10.1016/j.amc.2013.06.037 MR3091916