arxiv: v1 [math.ca] 25 Jan 2011

Transcription

1 AN INEQUALITY INVOLVING THE GAMMA AND DIGAMMA FUNCTIONS arxiv:04698v mathca] 25 Jan 20 FENG QI AND BAI-NI GUO Abstract In the paper, we establish an inequality involving the gamma and digamma functions and use it to prove the negativity and monotonicity of a function involving the gamma and digamma functions Introduction It is common knowledge that the classical Euler gamma function Γ may be defined for > 0 by Γ = 0 t e t dt The logarithmic derivative of Γ, denoted by ψ = Γ Γ, is called the psi or digamma function, and ψ k for k N are called the polygamma functions It is well known that these functions are fundamental and that they have much etensive applications in mathematical sciences The aim of this paper is to establish an inequality involving the gamma and digamma functions The result may be stated as the following theorem Theorem For t 0,, we have ] +2t t lnγ lnγt < ψt 2 +2t As applications of Theorem, the following negativity and monotonicity are obtained Theorem 2 For y, 2, the function 2 ψ+y + lnγ+y ++lnγy + 2y ++y + is negative and decreasing with respect to 2y+2 +2y, Remark The negativity of the function 3 is equivalent to ] / ] Γ+t > ep ψ+t for t 0, 2 Γt and 2t, 2t+t Mathematics Subject Classification Primary 26A48, 33B5; Secondary 26D07 Key words and phrases gamma function; psi function; polygamma function; inequality; negativity; monotonicity; application The first author was supported partially by the Science Foundation of Tianjin Polytechnic University

2 2 F QI AND B-N GUO 2 Lemmas In order to prove our main results, the following lemmas are needed Lemma 0, p 305] For > 0, we have < ψ+ ln < 2 5 Lemma 2 3, Lemma ] and 8, Theorem ] The inequality ] /a b Γa e ψla,b < 6 Γb is valid for positive numbers a and b with a b, where La,b = b a lnb lna stands for the logarithmic mean Lemma 3 6, Theorem ] For real numbers s > 0 and t > 0 with s t and an integer i 0, the inequality i ψ i L p s,t i t s s 7 ψ i udu i ψ i L q s,t 8 holds if p i and q i, where L p a,b is the generalized logarithmic mean of order p R for positive numbers a and b with a b, b p+ a p+ ] /p, p,0; p+b a b a L p a,b = lnb lna, p = ; b b /b a e a a, p = 0 Lemma 4 For 0, and k N, we have ln + 2 < ψ < ln+ 9 0 and k! + k + k! k+ < k+ ψ k < k! +/2 k + k! k+ Proof In 5, Theorem ], the following necessary and sufficient conditions are obtained: For real numbers α 0 and β, the function e ] α Γ+ g α,β = +β +β, ma{0, β}, is logarithmically completely monotonic if and only if either α > 0 and β or α < 0 and β 2 Further considering the fact in, p 98] that a completely monotonic function which is non-identically zero cannot vanish at any point on 0, gives k lng α,β ] k = k α+lnγ+ln +βln+β] k > 0

3 AN INEQUALITY OF THE GAMMA AND DIGAMMA FUNCTIONS 3 for k N and 0, if and only if either α > 0 and β or α < 0 and β 2 As a result, from straightforward calculation and standard arrangement, inequalities 0 and follow Lemma 4 is thus proved Lemma 5 6, p 296] and 7, p 274, 369] For > 0, we have ln + < 2 + ] Lemma 6 4, p 07, Lemma 3] For 0, and k N, we have ln < ψ < ln 2 and k! k + k! 2 k+ < k+ ψ k k! < k + k! 3 k+ 4 Remark 2 It is noted that the left-hand side inequality 8 for i = 0 and p = is just the inequality 6 For more information about inequalities 6 and 8, please refer to 9, 4, 5] and related references therein Remark 3 In 2, Corollary 3] and 3, Theorem ], it was proved that the double inequality ln + 2 < ψ < ln+e γ 5 holds on 0, In 3, Theorem ], it was also shown that the scalars 2 and e γ = 056 in 5 are the best possible It is obvious that the inequality 5 refines and sharpens 0 Remark 4 In 2], the inequality was refined and sharpened 3 Proofs of theorems Now we are in a position to prove our theorems Proof of Theorem It is clear that ] +2t t lnγ lnγt +2t = +2t so the required inequality 2 can be rewritten as pt +2t t/+2t t/+2t ψudu, ψudu ψt+ > 0, t > 0 The inequality 5 is equivalent to ln 2 < ψ < ln, > From 6, it follows that pt > +2t lnu 2u 2u 2 du lnt + 2t t/+2t = 4t 3ln2t+ qt

4 4 F QI AND B-N GUO Since q t = 24t 2t+, the function qt increases for t > 4 By q 8 7 = 0002 > 0, it is easy to see that the inequality 2 holds for t 8 7 = 428 Letting a = t and b = t +2t in 6 and 7 gives lnγt/+2t lnγt t/+2t t > ψ Since the inequality 2 can be rearranged as +2tln+2t lnγt/+2t lnγt t/+2t t > ψt for t > 0, it is sufficient to show that ψt ψ = +2tln+2t /+2tln+2t ψ udu < 7 holds on 0, 7 8 2t Taking s = 2 +2tln+2t, i = and p = 2 in the left-hand side of the inequality 8 leads to /+2tln+2t ψ udu t ]ψ 2t+ln2t+ 2t 3 2t+ln2t+ ] /2 Combining this with 7 reveals that it suffices to prove ψ 2t 3 ] /2 2t+ln2t+ 2t+ln2t+ t2t+ln2t+ 2t] 8 for t 0, 8 7 The right-hand side inequality in for k = results in ψ 2t 3 ] /2 2t+ln2t+ 2t+ln2t+ 2t 3 + 2t3 /2t+ln2t+ +/2 Then, in order to prove 8, it is enough to show 2t+ln2t+ 2t 3 + 2t3 /2t+ln2t+ +/2 2t+ln2t+ t2t+ln2t+ 2t] 9 for t 0, 8 7 The inequality 2 can be rewritten as ln+t < t t 2 +2t+2, t > t+t+2

5 AN INEQUALITY OF THE GAMMA AND DIGAMMA FUNCTIONS 5 Therefore, to verify 9, it is sufficient to prove 2t+ 2t 3 2t 4t 2 +24t+2 62t+2t+2 + 2t 3 2t+ for t 0, 8 7, which can be simplified as 62t+2t+2 2t4t 2 +24t t 2t 2t+ 62t+2t+2 2t4t 2 +24t+2 ] 2 t 2 +6t+3 3t 2 t t+/t 2 +6t+3 t2 +6t+3 t 2 t+3, 2t2 t+ t 2 +6t+3 3t3 +t 2 +3t 3 qt t 2 +6t t 2 +6t+3 Since qt is increasing on 0, with q0 = 3 and q = 4, the function qt has a unique zero t 0 0, From q 3 = 2 3, we can locate more accurately that t 0 3, When0 < t t 0, thefunctionqtisnon-positive,sotheinequality22 is clearly valid When t t 0, the function qt is non-negative, so squaring both sides of 22 and simplifying gives Direct differentiation yields ht 9t 6 +54t 5 +55t 4 60t 3 93t 2 8t+9 0 h t = 54t t t 3 80t 2 86t 8, h t = 270t t t 2 360t 86, h 3 t = 080t t t 360 It is clear that the function h 3 t is increasing with lim t h 3 t = and h 3 0 = 360, so the function h 3 t has a unique zero which is the unique minimum point of the function h t Since h 0 = 86 and lim t h t =, the function h t has a unique zero which is the unique minimum point of the function h t From h 0 = 8 and lim t h t =, we conclude that the function h t has a unique zero which is the unique minimum point of the = 700 8, h 8 7 = function ht on 0, Due to h0 = 9, h 3 lim t ht =, it is not difficult to see that the function ht < 0 on 7649 and 3, 7 8 As a result, the inequalities 22, and so 2, holds on 0, 7 8 The proof of Theorem is complete Proof of Theorem 2 Denote the function 3 by q, y Differentiating and using the right-hand side inequality in 4 yields ] q, y = ψ +2y +2 +y + 2y ++y + 2 ] < +y + + +y y +2 2y++y + 2 ] +2y+2y + 2 = 2y ++y + 2,

6 6 F QI AND B-N GUO the function q,y is negative for,y +2y,, 2, so the func- +2y, for y, 2 tion q,y is decreasing with respect to Furthermore, from q 2y+2 +2y,y = 2y+2 ψ y + 2y+ 2y+2 ] lnγ y + +lnγy+ 2y+ ] 2y +2 2y+ 2y +2 = ψ y + lnγy + lnγ y +/2y+ + 2y + 2y+ y + y +/2y+] and the inequality 2, it follows that the function q 2y+2 +2y,y is negative for y, 2, and so the function q,y is negative for 2y+2 +2y, and y, 2 The proof of Theorem 2 is complete Remark 5 This paper is a part of the preprint ] References ] J Dubourdieu, Sur un théorème de M S Bernstein relatif à la transformation de Laplace- Stieltjes, Compositio Math , ] N Elezović, C Giordano and J Pečarić, The best bounds in Gautschi s inequality, Math Inequal Appl , ] N Elezović and J Pečarić, Differential and integral f-means and applications to digamma function, Math Inequal Appl , no 2, ] B-N Guo and F Qi, Two new proofs of the complete monotonicity of a function involving the psi function, Bull Korean Math Soc , no, 03 ; Available online at 3 5] S Guo, F Qi and H M Srivastava, Necessary and sufficient conditions for two classes of functions to be logarithmically completely monotonic, Integral Transforms Spec Funct , no, ] J-Ch Kuang, Chángyòng Bùděngshì Applied Inequalities, 3rd ed, Shāndōng Kēué Jìshù Chūbǎn Shè Shandong Science and Technology Press, Ji nan City, Shandong Province, China, 2004 Chinese 3 7] D S Mitrinović, Analytic Inequalities, Springer-Verlag, ] F Qi, A new lower bound in the second Kershaw s double inequality, J Comput Appl Math , no 2, 60 66; Available online at ] F Qi, Bounds for the ratio of two gamma functions, J Inequal Appl , Article ID , 84 pages; Available online at 3 0] F Qi, R-Q Cui, Ch-P Chen and B-N Guo, Some completely monotonic functions involving polygamma functions and an application, J Math Anal Appl , no, ] F Qi and B-N Guo, Necessary and sufficient conditions for a function involving a ratio of gamma functions to be logarithmically completely monotonic, Available online at http: //arivorg/abs/ ] F Qi and B-N Guo, Sharp inequalities for polygamma functions, Available online at http: //arivorg/abs/ ] F Qi and B-N Guo, Sharp inequalities for the psi function and harmonic numbers, Available online at 3 4] F Qi, S Guo and Sh-X Chen, A new upper bound in the second Kershaw s double inequality and its generalizations, J Comput Appl Math , no -2, 8; Available online at 3 5] F Qi, S Guo and B-N Guo, Complete monotonicity of some functions involving polygamma functions, J Comput Appl Math , no 9, ; Available online at http: //ddoiorg/006/jcam

7 AN INEQUALITY OF THE GAMMA AND DIGAMMA FUNCTIONS 7 6] F Qi, X-A Li and Sh-X Chen, Refinements, etensions and generalizations of the second Kershaw s double inequality, Math Inequal Appl 2008, no 3, F Qi Department of Mathematics, College of Science, Tianjin Polytechnic University, Tianjin City, 30060, China; School of Mathematics and Informatics, Henan Polytechnic University, Jiaozuo City, Henan Province, 45400, China address: qifeng68@gmailcom, qifeng68@hotmailcom, qifeng68@qqcom URL: B-N Guo School of Mathematics and Informatics, Henan Polytechnic University, Jiaozuo City, Henan Province, 45400, China address: bainiguo@gmailcom, bainiguo@hotmailcom