- Research
- Open access
- Published:
Properties of some functionals associated with h-concave and quasilinear functions with applications to inequalities
Journal of Inequalities and Applications volume 2014, Article number: 30 (2014)
Abstract
We consider quasilinearity of the functional , where Φ is a monotone h-concave (h-convex) function, v and g are functionals with certain super(sub)additivity properties. Those general results are applied to some special functionals generated with several inequalities such as the Jensen, Jensen-Mercer, Beckenbach, Chebyshev and Milne inequalities.
1 Introduction and preliminaries
In [1–4] Dragomir researched functionals which arise from quasilinear functionals related to the classical inequalities. For example, he considered the functionals (in [1]), , (both in [2]), (in [3]), and finally, (in [4]), where v is additive, g is super(sub)additive, Φ is a concave (convex) function and p and q are real numbers with some properties. In each paper he applied the given results about a composite functional to some of the classical inequalities such as: the Jensen, Hölder or Minkowski inequalities.
In this paper we generalize his results. We investigate similar functionals related to an h-convex function Φ under assumptions, which are weaker than the assumptions in the above-mentioned papers. In this introductory section, we give definitions and basic properties of several classes of functions.
Let C be a convex cone in the linear space X over F (), namely:
-
(a)
imply ;
-
(b)
, imply .
Let L be a real number, . A functional is called L-superadditive (L-subadditive) on C if
for any .
If , then a functional f is simply called superadditive (subadditive).
Let K be a real non-negative function. We say that a functional f is K-positive homogeneous if
for any and .
In particular, if , then we simply say that f is positive homogeneous on C of order k. If , we call it positive homogeneous.
It is easy to see that and K is multiplicative. Moreover, we have either or .
A function is said to be a supermultiplicative function if
for all .
If inequality (1) is reversed, then h is said to be a submultiplicative function. If equality holds in (1), then h is said to be a multiplicative function.
Example 1 The function is
-
1.
superadditive and L-subadditive with for ,
-
2.
subadditive and L-superadditive with for ,
-
3.
L-subadditive with for .
A function is called starshaped if for any , .
In the sequel I and J are intervals in R, and functions h and f are non-negative functions defined on J and I, respectively.
Definition 2 [5]
Let be a non-negative function, . We say that is an h-convex function, if f is non-negative and for all , we have
If the inequality is conversed, then f is called an h-concave function.
Some properties of the h-convex functions are given in papers [5] and [6]. It is evident that this concept of h-convexity generalizes the concepts of classical non-negative convexity (for ); s-convexity in the second sense (for , ) [7, 8]; P-functions (for ) [9]; and Godunova-Levin functions (for ) [10].
Example 3 It is known (see [5]) that the function is s-convex in the second sense if
( and ) or ( and ).
The function is s-concave in the second sense if
(, ) or (, ).
Proposition 4 Let and be s-convex, , . Then , , and f is -superadditive.
Proof From s-convexity we have
The recently proved property and the property of the function give
If , we get that f is starshaped and hence superadditive. □
Here we extract some properties proved in [5], which we use in this paper. Firstly, we give a result which allows us to use weights α, β, the sum of which is not exactly 1 (as we have to use when we are working with convex functions) (see [[5], Theorem 12]).
Theorem 5 Let I be an interval such that .
-
(a)
Let f be h-convex on I and . If the function h is supermultiplicative, then the inequality
(2)
holds for all and all such that .
-
(b)
Let f be h-concave on I. If the function h is submultiplicative, then the inequality
(3)
holds for all and all with .
In fact, in the original paper [5] in part (b) we have assumption that but a careful introspect of the proof gives us that non-negativity of the function f is a sufficient assumption.
The next proposition gives us a tool for generating new h-convex functions.
Proposition 6 Let I be an interval such that , and let f be a non-negative function on I.
-
(a)
Let f be convex on I and . If f is non-increasing and , then is s-convex.
If f is non-increasing, , then is h-convex with .
-
(b)
Let f be concave on I. If f is non-decreasing and , then is s-concave.
If f is non-decreasing, , then is h-concave with .
Proof Let us prove the first part of case (b). The function is superadditive for , so we have . Since f is non-decreasing, we obtain
Using superadditivity again, we have , and by the previous theorem we get
Let us prove the last part of case (b). The function is -superadditive for , so we have , i.e., . So, these are two weights whose sum is less than or equal to 1, and applying Theorem 5 to the concave function f with arguments and , we get
Using -superadditivity again, we obtain
Since f is non-decreasing, and using previous results, we have
which means that is an h-concave function.
The other cases can be proved similarly. □
Example 7 (i) The functions , , are concave non-decreasing functions. By the previous proposition, the functions , , , where , are non-decreasing and s-concave, but not concave. Also, if , these functions are h-concave with .
-
(ii)
Another way to generate new s-convex (s-concave) functions is using of the following statements: If f is non-negative convex, then , is s-convex. If f is non-negative concave, , then is s-concave.
-
(iii)
Consider the function
where . This function is non-decreasing, convex on , and starshaped on , . Here we will show that this function is s-concave on , .
Let . Then and
Let . Then and
Let , and . Then
Let , and . Then we have
since , . After considering all possibilities, we conclude that f is s-concave.
The paper is arranged as follows. In the following section we prove some results about the functional , where Φ is a monotone h-convex (h-concave) function. In the third section some applications of those results to the Jensen, Jensen-Mercer and Beckenbach functionals are given. Specific assumption in the third section is that the function v is additive. The fourth section is devoted to some new superadditive mappings such as the Chebyshev and Milne functionals. A characteristic assumption in that section is that v is superadditive.
2 Functionals associated with monotone h-concave and h-convex functions
Lemma 8 Let and be a non-negative, L-superadditive and K-positive homogeneous functional on C. If are such that and , then
Proof Using L-superadditivity and K-positive homogeneity of f, we have
giving the second inequality. Similarly, we get the first inequality. Namely, using homogeneity and L-superadditivity, we get
□
The above-proved lemma is a generalization of a result from [1] in which f is superadditive and positive homogeneous of order s.
Theorem 9 Let h be a non-negative function which is -positive homogeneous. Let C be a convex cone in the linear space X, and let be an L-superadditive functional on C.
-
(i)
If h is submultiplicative, is an L-superadditive (L-subadditive) functional on C and is h-concave and non-decreasing (non-increasing), then the functional defined by
is -superadditive on C.
-
(ii)
If h is supermultiplicative, g is L-subadditive, Φ is h-convex and non-decreasing with , then is -subadditive.
Proof (i) Let us suppose that h is submultiplicative, g is L-superadditive, Φ is h-concave and non-decreasing. Let , . Since v is L-superadditive, we have and
The first inequality holds because Φ is non-decreasing and L-superadditivity of g. The second inequality follows from Theorem 5 and h-concavity of Φ. Next we use -positive homogeneity of h and finally the submultiplicativity of h. Multiplying with , we have
Hence is -superadditive. The proofs of the other cases follow in a similar manner. □
A superadditive and non-negative functional has the following boundedness property.
Corollary 10 Let h be a non-negative submultiplicative function which is -positive homogeneous. Let C be a convex cone in the linear space X, and let be L-superadditive and -positive homogeneous on C. Let and assume that there exist such that and . Let .
If is an L-superadditive (L-subadditive) and -positive homogeneous functional on C and is h-concave and non-decreasing (non-increasing), then
Proof Note that . We observe that if v and g are -positive homogeneous functionals, then is a K-positive homogeneous functional and, by Theorem 9, it follows that is a -superadditive functional on C. By applying Lemma 8 we get the result. □
Corollary 11 Let h be a non-negative submultiplicative function which is positive homogeneous of order . Let C be a convex cone in the linear space X and be L-superadditive and positive homogeneous of order on C. Let and assume that there exist such that and .
If is an L-superadditive and positive homogeneous functional of order on C and is h-concave and non-decreasing, then
where .
Proof Put in the previous corollary , , and . □
Remark 12 If , then the assumption about homogeneity of h can be omitted and the statement of Theorem 9 still holds, namely we get superadditivity (subadditivity) of .
If we consider the additive function v, then using the same proof ( and the first inequality is just equality), we get the following statements:
-
(i)
If g is superadditive (subadditive), Φ is h-concave and non-decreasing (non-increasing), where h is submultiplicative, then the functional is superadditive.
-
(ii)
If g is superadditive (subadditive), Φ is h-convex and non-increasing (non-decreasing), where h is supermultiplicative, then the functional is subadditive.
Comparing these statements with the results of Theorem 5 from paper [4], we see that if Φ is a non-negative function, then we have results for a wider class of functions Φ, i.e., for h-concave or h-convex functions.
The case , gives results for concave Φ, as it is in [4], but for v and g superadditive and -positive homogeneous. The case when v is only superadditive is important for applications - see the application to the Chebyshev and Milne functionals.
Moreover, Corollary 10 under assumptions that v is additive and , , becomes the same as Corollary 1(a) from [4].
More about Corollary 10: If , , and we use as an example , , is concave non-decreasing, then we get the result of Corollary 1 from [4]. However, we can also use the functions from Example 7 to get new results.
3 Case 1: function v is additive
Applications to Jensen-type inequalities
Let f be a real mapping on a convex subset of a linear space. Let us fix and (), and let . is a convex cone.
As usual, the Jensen functional is given by
In fact, J is a difference between the right-hand and the left-hand sides of the Jensen inequality for the convex function and it is a topic of investigation in many papers, see, for example, [11–13] and the references therein. It is known that J is positive homogeneous; if f is convex, then J is non-negative and superadditive, while if f is concave, then J is non-positive and subadditive. The boundedness property for the Jensen functional is proved in [1], i.e., if such that (i.e., for each ), then we get the property
As an application of the results from the previous section, we have the following theorem.
Theorem 13 Let h be a non-negative submultiplicative function and f be convex. Let Φ be h-concave and non-decreasing on . Then the composite functional defined by
is superadditive.
Let, furthermore, h be k-positive homogeneous. Let and let be such that . Then
Proof Take and . The functionals v and g are positive homogeneous, v is additive and g is superadditive. Using Theorem 9 we get that the composite functional is superadditive on and k-positive homogeneous. Hence, we apply Lemma 8 and get the wanted inequalities. □
Remark 14 If , then we get results from [4]. In the same paper Dragomir discussed applications involving the Hölder and Minkowski functionals, but we leave that direction of investigation at this moment. In the rest of this section, we want to point out applications to some other Jensen-type functionals.
On the Jensen-Steffensen conditions
Now, let f be a real function on an interval . In the previous theorem weights are non-negative and considered cone C is the cone . For some choices of points , this cone can be substituted with a larger cone. Let be fixed monotonic n-tuple of elements from I, and let us define the set by
The set is a cone. By the Jensen-Steffensen inequality [[14], p.57], the difference , where f is convex on I, is non-negative for each . Using a similar proof as for the Jensen functional on , we get that J is superadditive for a convex function f and applying Theorem 9 we obtain that the functional given by (4) is superadditive and the corresponding boundedness property holds.
The boundedness property of the Jensen functional under the Jensen-Steffensen conditions with an additional normalizing property was proved in [11] by using a different method.
Applications to the Jensen-Mercer functional
Mercer in paper [15] proved the Jensen-type inequality which includes boundary points of an interval. Namely, he stated the following result, which is nowadays called the Jensen-Mercer inequality.
The Jensen-Mercer inequality. Let be a non-negative n-tuple with , and let . If the real function f is convex on , then
If f is concave, then the reversed inequality holds.
Let us fix , and points , . Let us define the Jensen-Mercer functional as
It is easy to see that the functional JM is positive homogeneous, non-negative for a convex function f and non-positive for a concave function f. Superadditivity of the functional JM was considered in [16]. In fact we have the following result.
Theorem 15 [16]
If f is convex, then the Jensen-Mercer functional JM is superadditive on .
If f is concave, then JM is subadditive on .
Applying results of the second section, we have the following theorem.
Theorem 16 Let h be a non-negative submultiplicative function, f be a convex function, and let be an h-concave non-decreasing function. Then the functional defined by
is superadditive on .
Proof Consider the functionals and . The functional v is additive and g is superadditive and
Hence, by applying Theorem 9, we get the desired result. □
Corollary 17 Let us suppose that the assumptions of Theorem 16 are fulfilled, and let h be k-positive homogeneous. If and are such that , then
The proof follows from Corollary 10.
Applications to the Beckenbach functional
As [[17], Theorem 5] shows, if f is convex for and starshaped in , , then, for and , , we have
That inequality is known as the Beckenbach inequality. Let us consider the Beckenbach functional
where and a, b, f satisfy assumptions of the Beckenbach inequality.
The above-mentioned theorem shows that .
Proposition 18 The functional is superadditive.
Proof It yields that
because f is convex on and
□
Theorem 19 Let h be a non-negative submultiplicative function, let f be a convex function, and let be an h-concave non-decreasing function. Then the functional defined by
is superadditive on . Furthermore, if h is k-positive homogeneous, and such that , then
Proof Consider the functionals and . The functional v is additive and g is superadditive, and applying Theorem 9 we get that is superadditive. The boundedness property follows from Corollary 10. □
4 Case 2: function v is superadditive
In the previous section the function v was additive. Now, we will show some examples of applications with a superadditive function v.
Applications to the Chebyshev functional for sums
Let and be two real n-tuples. We call them similarly ordered if
for any . If the above inequality is reversed, then n-tuples are called oppositely ordered.
Let us denote
The statement of the classical Chebyshev inequality is the following (see [[14], pp.197-204]).
The Chebyshev inequality. Let and be two n-tuples of real numbers and be a non-negative n-tuple. If and are similarly ordered, then the Chebyshev inequality
holds. If and are oppositely ordered, then the reversed inequality holds.
In the following theorem, we consider a quasilinear property of the Chebyshev functional .
Theorem 20 If and are similarly ordered real n-tuples, , then the functional is superadditive in the variable . If and are oppositely ordered real n-tuples, then the functional is subadditive.
Proof Let us suppose that and are similarly ordered n-tuples, and let us consider a sum . We have
After simple calculation we get
Since and are non-negative and and are similarly ordered, we have
which means that is superadditive. If and are oppositely ordered, the proof is similar. □
Let us apply results from the second section to the functional .
Theorem 21 Let h be a non-negative submultiplicative function, and is h-concave and non-decreasing.
-
(i)
If and are similarly ordered, then the functional is superadditive on .
Furthermore, if h is k-positive homogeneous, and are such that , then
-
(ii)
If and are oppositely ordered, then the functional is superadditive on . If, additionally, the assumptions on h, , , M and m are satisfied as in case (i), then inequalities (5) hold with substitution .
Proof If and are similarly ordered, let us define v and g as and . These functionals are positive homogeneous of order 2 and superadditive. By Theorem 9 with we have that is superadditive, and by Corollary 10 for the functional we obtain inequality (5).
If and are oppositely ordered, then the functional is superadditive and non-negative, and we proceed as in the proof of case (i). □
Remark 22 If , i.e., , , and if and are similarly ordered n-tuples, then for , such that , we get
If , i.e., , then from the above inequalities we get the following property of monotonicity:
If and are oppositely ordered, then the reversed inequalities in (6) and (7) hold.
Let us take , , . Since we can use the above monotonicity to obtain the following result.
Corollary 23 If and are similarly ordered n-tuples and , then
and
If and are oppositely ordered, then the reversed inequalities in the above inequalities hold with substitution in the second result.
The Chebyshev functional for integrals
Let f, g be real functions on . Let be the cone of non-negative functions p on I such that p, pf, pg and are integrable. Denote
The Chebyshev inequality for integrals states that when f and g are similarly ordered, i.e.,
If f and g are oppositely ordered, then . It is known that the following identity holds:
Using that identity, we obtain that
when f and g are similarly ordered. So we have superadditivity of this functional on the cone . If f and g are oppositely ordered, then the functional is superadditive. Here we will show only how Corollary 10 can be applied to this situation.
Corollary 24 Let h be a non-negative submultiplicative function, which is k-positive homogeneous and is h-concave and non-decreasing. Let f and g be similarly ordered. If such that , and are such that , then
Proof Let the function v be defined by . It is superadditive and positive homogeneous of order . The function g will be the Chebyshev functional . It is also positive homogeneous of order , superadditive and non-negative. By Corollary 10 for the functional with , , we obtain the wanted inequality. □
Remark 25 If , i.e., , , and if the functions f and g are similarly ordered, then for such that , we get
If , i.e., , then from the above inequalities we get the following property of monotonicity:
If f and g are oppositely ordered, then the reversed inequalities hold.
Applications to the Milne functional
Let us consider the Milne inequality (see [[18], pp.61-62]): Let , , , be positive real numbers. Then
It is easy to get a weighted version of the Milne inequality using substitutions
where are positive real numbers. Of course, it can be improved to non-negative weights.
Define the Milne functional as follows:
The weighted Milne inequality means that . Also, it is easy to see that , i.e., is positive homogeneous of order 2.
Theorem 26 The functional is superadditive on .
Proof It yields that
After some (not so short, but simple) calculations, we get
The term in the first brackets, for instance, can be represented like
So we have that
which means that is superadditive and the proof is complete. □
We can get results similar to those from the previous subsection. Let and . Then the functional defined by
is superadditive and it has boundedness property which follows from Corollary 10. As in Remark 25, we have the following chain of inequalities.
Corollary 27 If , then
and
References
Dragomir SS: Inequalities for superadditive functionals with applications. Bull. Aust. Math. Soc. 2008, 77: 401-411.
Dragomir SS: Quasilinearity of some composite functionals with applications. Bull. Aust. Math. Soc. 2011, 83: 108-121. 10.1017/S0004972710000444
Dragomir SS: The quasilinearity of a family of functionals in linear spaces with applications in to inequalities. Riv. Mat. Univ. Parma 2013, 4: 135-149.
Dragomir SS: Quasilinearity of some functionals associated with monotonic convex functions. J. Inequal. Appl. 2012., 2012: Article ID 276
Varošanec S: On h -convexity. J. Math. Anal. Appl. 2007, 326: 303-311. 10.1016/j.jmaa.2006.02.086
Bombardelli M, Varošanec S: Properties of h -convex functions related to the Hermite-Hadamard-Fejer inequalities. Comput. Math. Appl. 2009, 58: 1869-1877. 10.1016/j.camwa.2009.07.073
Breckner WW: Stetigkeitsaussagen fur eine Klasse verallgemeinerter konvexer funktionen in topologischen linearen Raumen. Publ. Inst. Math. 1978, 23: 13-20.
Hudzik H, Maligranda L: Some remarks on s -convex functions. Aequ. Math. 1994, 48: 100-111. 10.1007/BF01837981
Pearce CEM, Rubinov AM: P -Functions, quasi-convex functions and Hadamard-type inequalities. J. Math. Anal. Appl. 1999, 240: 92-104. 10.1006/jmaa.1999.6593
Godunova EK, Levin VI: Neravenstva dlja funkcii širokoga klassa, soderžaščego vypuklye, monotonnye i nekotorye drugie vidy funkcii. In Vyčislitel. Mat. i. Mt. Fiz. Mežvuzov. Sb. Nauč. Trudov.. MGPI, Moscow; 1985:138-142. (Russian)
Barić J, Matić M, Pečarić J: On the bounds for the normalized Jensen functional and Jensen-Steffensen inequality. Math. Inequal. Appl. 2009, 12: 413-432.
Dragomir SS: Bounds for the normalized Jensen’s functional. Bull. Aust. Math. Soc. 2006, 74: 471-478. 10.1017/S000497270004051X
Dragomir SS, Pečarić J, Persson LE: Properties of some functionals related to Jensen’s inequality. Acta Math. Hung. 1996, 70: 129-143. 10.1007/BF00113918
Pečarić JE, Proschan F, Tong YL: Convex Functions, Partial Orderings, and Statistical Applications. Academic Press, Boston; 1992.
Mercer AMcD: A variant of Jensen’s inequality. J. Inequal. Pure Appl. Math. 2003.,4(4): Article ID 73
Krnić M, Lovričević N, Pečarić J: On some properties of Jensen-Mercer’s functional. J. Math. Inequal. 2012, 6: 125-139.
Beckenbach EF: Superadditivity inequalities. Pac. J. Math. 1964, 14: 421-438. 10.2140/pjm.1964.14.421
Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1952.
Acknowledgements
The research of the first author was partially supported by the Sofia University SRF under contract No. 184/2013. The research of the second author was supported by the Ministry of Science, Education and Sports of the Republic of Croatia under grants 058-1170889-1050.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors conceived of the study and carried out the proofs together. Both authors 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.
About this article
Cite this article
Nikolova, L., Varošanec, S. Properties of some functionals associated with h-concave and quasilinear functions with applications to inequalities. J Inequal Appl 2014, 30 (2014). https://doi.org/10.1186/1029-242X-2014-30
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-30