- Open Access
Refinement of integral inequalities for monotone functions
Journal of Inequalities and Applications volume 2012, Article number: 301 (2012)
In this paper, we give refinements of some inequalities for generalized monotone functions by using log-convexity of some functionals.
Let us denote
We consider the following theorem of Heinig and Maligranda.
Theorem 1.1 
Let and let f and g be positive functions on , where g is continuous on .
Suppose that f is a decreasing function on and g is an increasing function on , where . Then, for any ,(1)
If , then the inequality (1) holds in the reversed direction.
Suppose that f is an increasing function on and g is a decreasing function on , where . Then, for any ,(2)
If , then the inequality (2) holds in the reversed direction.
We consider positive real valued functions f, g defined on an interval , . We say that f is C-decreasing (C-increasing), , if () whenever , .
Now, throughout the paper, f is nonnegative and g is a positive function. Some extensions of Theorem 1.1 were obtained in  as follows.
Theorem 1.2 
Assume that and .
If f is C-decreasing and g is increasing and differentiable such that , then(3)
If f is C-increasing and g is increasing and differentiable such that , then(4)
If f is C-increasing and g is decreasing and differentiable such that , then(5)
If f is C-decreasing and g is decreasing and differentiable such that , then(6)
As a special case, we consider C-monotone functions with respect to power functions.
For , , we say that if is -increasing and if is -decreasing.
Theorem 1.3 Let .
If , , then for any ,(7)
If , , then for any ,(8)
2 Main results
In this paper, we prove some improvements and refinements of the above results by using the log-convexity method . We consider the following theorem.
Theorem 2.1 Let be a convex and differentiable function such that and let .
If f is C-decreasing and g is increasing and differentiable such that , then(9)
If f is C-increasing and g is increasing and differentiable such that , then(10)
If f is C-increasing and g is decreasing and differentiable such that , then(11)
If f is C-decreasing and g is decreasing and differentiable such that , then(12)
If the condition ‘ϕ is convex’ is replaced by ‘ϕ is concave,’ then all the inequalities (9)-(12) hold in the reversed direction.
Remark 2.2 It was given in  that ϕ is a nonnegative convex function, but from the proof of Theorem 2.1 given there, it is clear that the results are still valid without the condition of nonnegativity of ϕ.
Remark 2.3 For the special case , , the formulas (9)-(12) are as follows:
If the condition is replaced by , then all the inequalities (13)-(16) hold in the reversed direction.
We consider the following functionals.
(M1) Under the assumptions of Theorem 2.1(a), we define a linear functional as
(M2) Under the assumptions of Theorem 2.1(b), we define a linear functional as
(M3) Under the assumptions of Theorem 2.1(c), we define a linear functional as
(M4) Under the assumptions of Theorem 2.1(d), we define a linear functional as
Remark 2.4 Under the assumptions of Theorem 2.1 with ϕ as a convex function, the linear functionals for .
We will consider the classical method from  (see also  and the references given in it) to prove the log-convexity of the functionals defined as above by considering a convex function defined in the following lemma.
Lemma 2.5 Let a family of functions , , be defined by
with . Then , that is, is convex for .
Let us denote
Using functions defined in Lemma 2.5, we get
We will prove the log-convexity and related results for functionals , .
Theorem 2.6 Let linear functionals , be defined as above and be positive. Then for ,
that is, is log-convex in the Jensen sense;
also, is log-convex; that is, for ()(23)
Proof (a) Suppose that is arbitrary.
We shall use the idea from [, Theorem 4]. Let us consider the function defined by
where , . We have
Therefore, λ is convex for . Hence, , that is,
and therefore we get (22).
Since is continuous, so it is log-convex. Therefore, (23) is valid too.
Since i was taken to be arbitrary, so the above results hold for all . □
Corollary 2.7 If , () and , then the following inequalities hold:
Proof For , we have
Since , so . Also, for f is C-decreasing, is -decreasing. We make substitutions , , , , , and in (23). We get
After simplification, we get (24). Similarly, for , we get (25)-(27) respectively. □
Remark 2.8 From the inequalities (24)-(27) for (), we get the refinement for inequalities obtained from Theorem 1.2 and reversion when (). Of course, we can get such refinement and reversions in all other cases for p, s and r, s.
Corollary 2.9 For , () and .
If , , then for any , the following inequality holds:(28)
If , , then for any , the following inequality holds:(29)
Proof (a) It is a simple consequence of Corollary 2.7. Since , by making substitutions and in (26), we get (28).
Since , by making substitutions and in (24), we get (29). □
Now, we state and prove the Lagrange-type mean value theorem for the linear functionals , defined by (M1)-(M4).
Theorem 2.10 Let , be linear functionals defined by (M1)-(M4) and , , such that . Then there exists such that the identity
holds for .
Proof Fix .
Since is continuous on , it attains its maximum and minimum value on . Let
Let us consider functions defined by
so , are convex functions. Also, . Hence, from Theorem 2.1 for and respectively, it follows
Combining (31) and (32), we get
If , then and (30) holds for all . Otherwise,
Since is continuous, there exists such that (30) holds and the proof is complete. □
Theorem 2.11 Let , be linear functionals defined by (M1)-(M4) and , , such that . Then there exists such that the identity
holds for , provided that denominators are nonzero.
Proof Fix and define in the way that
where and are defined by and . Now, from Theorem 2.10 for the function L, it follows
Since for (33) the denominators are nonzero, we have (because if it is zero, then by Theorem 2.10). Therefore, (34) gives (33). □
Corollary 2.12 Let , be linear functionals defined by (M1)-(M4). For distinct positive real numbers l and r different from one, there exists such that
holds for .
Proof Taking and in (33), for distinct positive real numbers l and r different from one, we obtain (35). □
Remark 2.13 Since for fix the function , is invertible, then from (35) we get
3 Cauchy means
In this section we deduce Cauchy means from Theorem 2.11. Suppose that has inverse. Then (33) gives
We conclude that the expression on the right-hand side of the above equation is also a mean. For , we define the Cauchy means
Also, we have continuous extensions of these means in other cases. Therefore, by limit, we have the following:
We also need the following result (see, e.g., ).
Lemma 3.1 If Φ is a convex function on an interval and if , , , , then the following inequality is valid:
Now, we deduce the monotonicity of means defined by (38) in the form of Dresher’s inequality as follows.
Theorem 3.2 Let be given as in (38) and be such that , . Then
Proof By Theorem 2.6, is log-convex. We set in Lemma 3.1 and get
By using the properties of a log function, we get immediately (44). □
Corollary 3.3 For distinct positive real numbers l, r and s, there exist , such that the following identities hold:
Proof For , making substitutions , , , , and in (33), we get (46).
Similarly, for , making substitutions as above in (33), we get (47), (48) and (49) respectively. □
Remark 3.4 Since the function is invertible for all , from (46)-(49), we can again formulate the corresponding Cauchy means for distinct positive real numbers l, r and s.
They are given as follows:
Corollary 3.5 Let , be given as above and be such that , . Then
Proof By Theorem 3.2,
For , we set , , , , , and in the above inequality for means and get (54). □
Heinig H, Maligranda L: Weighted inequalities for monotone and concave functions. Stud. Math. 1995, 116(2):133–165.
Pečarić J, Perić I, Persson LE: Integral inequalities for monotone functions. J. Math. Anal. Appl. 1997, 215: 235–251. Article No. AY975646 10.1006/jmaa.1997.5646
Anwar M, Pečarić J: On logarithmic-convexity for differences of power means and related results. Math. Inequal. Appl. 2009, 12(1):81–90.
Anwar M, Pečarić J: Means of the Cauchy Type. LAP Lambert Academic Publishing, Saarbrücken; 2009.
Pečarić J, Proschan F, Tong YL Mathematics in Science and Engineering 187. In Convex Functions, Partial Orderings and Statistical Applications. Academic Press, Boston; 1992.
The authors wish to thank the anonymous referees for their very careful reading of the manuscript and fruitful comments and suggestions. This research was partially funded by Higher Education Commission, Pakistan. The research of the second author was supported by the Croatian Ministry of Science, Education and Sports under the Research Grant 117-1170889-0888.
The authors declare that they have no competing interests.
All authors jointly worked on the results and they read and approved the final manuscript.
About this article
Cite this article
Butt, S.I., Pečarić, J. & Perić, I. Refinement of integral inequalities for monotone functions. J Inequal Appl 2012, 301 (2012). https://doi.org/10.1186/1029-242X-2012-301
- convex function
- log-convex function
- Cauchy means
- mean value theorems