Abstract
In the paper, the authors define a new notion of “HT-convex function”, present some Hadamard-type inequalities for the new class of HT-convex functions and for the product of any two HT-convex functions, and derive some inequalities for the arithmetic mean and the p-logarithmic mean. These results generalize corresponding ones for HA-convex functions and MT-convex functions.
Similar content being viewed by others
1 Introduction
The classical convexity and concavity of functions are two fundamental notions in mathematics. Mathematicians and scientists can see them in research papers, monographs, and textbooks devoted to the theory of convex analysis [13]. The origin of the theory of convex functions is generally attributed to Jensen [10], although he was not the first person to deal with such functions. Among Jensen’s predecessors, there were Hermite [6], Hölder [7], and Stolz [19], to name a few. The well-known book [5] played an indispensable role in the popularization of the theory of convex functions.
The famous Hermite–Hadamard integral inequality in Theorem 2.1 for convex functions below is the first fundamental conclusion for convex functions and has been attracting a lot of interest from mathematicians and other scientists. In recent years, the Hermite–Hadamard integral inequality has been the subject of very active research. Various improvements, generalizations, and variants of this inequality can be found in the papers [1, 3, 8, 9, 11, 12, 14, 16, 20, 23, 24, 27, 28, 32] and closely related references therein. In [15], the late Pachpatte established some Hadamard-type inequalities for the product of two convex functions. Alternative Hadamard-type inequalities for the product of two convex functions were also established in the papers [25, 30, 31]. In [22], the Hermite–Hadamard inequality was applied to generalize and refine Young’s integral inequality in terms of higher order derivatives.
Nowadays, many mathematicians have devoted their efforts to generalizations, refinements, counterparts, and extensions of the convexity of functions for adapting to other geometries of the domain and/or for disclosing other laws of comparison of mathematical means. In [1, 4, 8], by replacing the weighted arithmetic means with the weighted harmonic means, the notion of HA-convex functions was introduced. In [21], Tunç and Yildrim defined the MT-convexity and obtained some new Hadamard-type inequalities for MT-convex functions. The theory of various classes of convex functions is similar to that of classical convex functions. Some inequalities are easier to state using these new convex functions and some are easier to state using the classical convex functions. In many cases the inequalities based on these new convexity notions are better than direct applications of inequalities of the classical convexity. Consequently, there is a strong interest in investigating different classes of convex functions.
In Sect. 2, we will mathematically and technically quote some definitions of several classes of convex functions and some inequalities of Hadamard-type. In Sect. 3, by using the weighted arithmetic and harmonic means, we will introduce the notion of “HT-convex functions”, which is a generalization of the HA-convex functions defined in [1, 4, 8]. In Sect. 4, we will present some Hadamard-type inequalities for HT-convex functions and for the product of two HT-convex functions. In Sect. 5, we will apply newly-established inequalities to derive some inequalities for the arithmetic mean and the p-logarithmic mean.
2 Preliminaries
In this section, we will mathematically quote some preliminary notations, definitions, and known results about several classes of convex functions and the Hadamard-type inequalities.
Definition 2.1
([2])
A function Q defined on a nonempty interval \(J\subseteq\mathbb{R}\) is said to be convex if
is true for all \(\tau,\mu\in J\) and \(\lambda\in[0,1]\).
Theorem 2.1
([17])
LetQbe a convex function defined on a nonempty interval \(J\subseteq \mathbb{R}\)and \(\tau,\mu\in J\)with \(\tau<\mu\). Then
IfQis concave, the above double inequality holds reversed.
In the mathematics community, the double inequality (1) is known as the Hermite–Hadamard integral inequality.
Theorem 2.2
([15, Theorem 1])
Suppose thatP, Qare two positive and convex functions on a nonempty interval \(J\subseteq\mathbb{R}\), \(\tau,\mu\in J\)with \(\tau<\mu\), and the product ofPandQis Lebesgue integrable on \([\tau,\mu]\). Then
where
Definition 2.2
Let \(J\subseteq\mathbb{R}\setminus\{0\}\) be a nonempty interval. A function \(Q:J\rightarrow\mathbb{R}\) is said to be HA-convex, denoted by \(Q\in \operatorname{HA}(J)\), if the inequality
holds for all \(\tau,\mu\in J\) and \(\lambda\in[0, 1]\).
Definition 2.3
([21])
A nonnegative function Q on a nonempty interval J is said to be MT-convex, denoted by \(Q\in \operatorname{MT}(J)\), if
is valid for all \(\tau,\mu\in J\) and \(\lambda\in(0, 1)\).
Theorem 2.3
([21])
Let \(Q\in \operatorname{MT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQbe Lebesgue integrable on \([\tau,\mu]\). Then
and
where
Lemma 2.1
([4])
Suppose that \(J\subseteq(0,\infty)\)is a nonempty interval and \(\tau,\mu \in J\)with \(\tau<\mu\). Let \(Q:[\tau,\mu]\to\mathbb{R}\)be Lebesgue integrable on \([\tau,\mu]\). Then, for \(\lambda\in[0,1]\),
Definition 2.4
([18])
Two functions \(P,Q:J\subseteq\mathbb{R}\to\mathbb{R}\) are said to be similarly ordered if
3 HT-convexity
We now define the concept of the HT-convexity and give several basic properties.
Definition 3.1
Let \(J\subseteq\mathbb{R}\setminus\{0\}\) be a nonempty interval. A function Q is called HT-convex on J, denoted by \(Q\in \operatorname{HT}(J)\), if the inequality
holds for all \(\tau,\mu\in J\) and \(\lambda\in(0, 1)\). If the inequality in (4) is reversed, then Q is called an HT-concave function.
Remark 3.1
Taking \(\lambda=\frac{1}{2}\) in inequality (4) yields
Remark 3.2
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\) is a nonempty interval and \(Q:J\to\mathbb{R}\) is an HT-convex function.
- 1
If \(J\subseteq(0,\infty)\) and Q is an MT-convex and nondecreasing function, then Q is HT-convex.
- 2
If \(J\subseteq(0,\infty)\) and Q is an HT-convex and nonincreasing function, then Q is MT-convex.
- 3
If \(J\subseteq(-\infty,0)\) and Q is an MT-convex and nonincreasing function, then Q is HT-convex.
- 4
If \(J\subseteq(-\infty,0)\) and Q is an HT-convex and nondecreasing function, then Q is MT-convex.
Proposition 3.1
Suppose that \(J\subseteq(0,\infty)\)is a nonempty interval. For \(\tau ,\mu\in J\)with \(\tau<\mu\), if \(P: [\frac{1}{\mu},\frac{1}{\tau}]\to \mathbb{R}\)is MT-convex, then \(Q:[\tau,\mu] \to\mathbb{R}\), \(Q(t)=P (\frac{1}{t} )\), is HT-convex.
Proof
Let \(s,t\in[\tau,\mu]\) and \(\lambda\in(0,1)\). Then
which shows that Q is HT-convex on \([\tau,\mu]\). □
Proposition 3.2
All nonnegative HA-convex functions are HT-convex.
Proof
Suppose that Q is HA-convex. By the fact that \(\lambda\le\frac{\sqrt {\lambda} }{2\sqrt{1-\lambda} }\) and \(1-\lambda\le\frac{\sqrt{1-\lambda } }{2\sqrt{\lambda} }\), it is easy to obtain
where \(\tau,\mu\in J\subseteq\mathbb{R}\setminus\{0\}\) and \(\lambda\in (0,1)\). This means that each HA-convex function is HT-convex. □
4 Hadamard-type inequalities for HT-convex functions
Now we are in a position to establish some Hadamard-type inequalities for HT-convex functions.
Theorem 4.1
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQis Lebesgue integrable on \([\tau,\mu]\). Then
Proof
Because Q is an HT-convex function, for \(\tau,\mu\in J\) with \(\tau<\mu \) and \(\lambda\in(0,1)\), we have
Integrating the above inequality over \(\lambda\in(0,1)\) and replacing \(\frac{\tau\mu}{\lambda\tau+(1-\lambda)\mu}\) by x yield easily the right inequality of (5).
For any \(\lambda\in(0,1)\), we have
Integrating the above inequality with respect to \(\lambda\in[0,1]\) gives
Making use of the fact that
and replacing \(\frac{\tau\mu}{\lambda\tau+(1-\lambda)\mu}\) by x result in the left inequality of (5). □
Multiplying both sides of inequality (6) by \(2\sqrt{t(1-t)} \) for \(t\in(0,1)\) and simultaneously using the HT-convexity of f, we easily obtain the following corollaries.
Corollary 4.1
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQis Lebesgue integrable on \([\tau,\mu]\). Then
Corollary 4.2
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQis Lebesgue integrable on \([\tau,\mu]\). Then
where
Corollary 4.3
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQis Lebesgue integrable on \([\tau,\mu]\). Then
Theorem 4.2
Suppose that \(J\subseteq(0,\infty)\)is a nonempty interval, \(Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andQis Lebesgue integrable on \([\tau,\mu]\). Then, for \(\lambda\in(0,1)\),
Proof
Using inequality (7), for \(\lambda\in(0,1)\), we have
and
Multiplying both sides of (9) and (10) by \(1-\lambda\) and λ, respectively, adding the obtained inequalities, and making use of Lemma 2.1, we arrive at
which proves the second and third inequalities in (9).
By the HT-convexity of Q, we have
which proves the first inequality in (10).
Similarly, we obtain
which proves the last inequality in (10). □
Remark 4.1
With the assumptions of Theorem 4.2, taking \(\lambda=\frac {1}{2}\) leads to
Theorem 4.3
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(P,Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andPQis Lebesgue integrable on \([\tau,\mu]\). IfP, Qare nonnegative, then
where \(\tau(x)\)is defined in (8) and \(M(\tau,\mu)\)and \(N(\tau ,\mu)\)are defined in (3).
Proof
Because \(P,Q\in \operatorname{HT}(J)\), for \(\lambda\in(0,1)\), we have
and
Because P, Q are nonnegative, we obtain
that is,
Integrating the above inequality with respect to \(\lambda\in[0,1]\) and replacing \(\frac{\tau\mu}{\lambda\tau+(1-\lambda)\mu}\) by x result in (11). □
Remark 4.2
Choosing \(\lambda=\frac{1}{2}\) in inequality (12), we obtain
Corollary 4.4
Under conditions of Theorem 4.3, ifP, Qare similarly ordered, then
where \(\tau(x)\)is defined in (8).
Corollary 4.5
Under conditions of Theorem 4.3, ifP, Qare nonnegative, then
where \(\tau(x)\)is defined in (8) and \(M(\tau,\mu)\)and \(N(\tau ,\mu)\)are defined in (3).
Corollary 4.6
Under conditions of Corollary 4.5, ifP, Qare similarly ordered, then
where \(\tau(x)\)is defined in (8).
Theorem 4.4
Suppose that \(J\subseteq\mathbb{R}\setminus\{0\}\)is a nonempty interval, \(P,Q\in \operatorname{HT}(J)\), \(\tau,\mu\in J\)with \(\tau<\mu\), andPQis Lebesgue integrable on \([\tau,\mu]\). IfP, Qare nonnegative, then
where \(M(\tau,\mu)\)and \(N(\tau,\mu)\)are defined in (3).
Proof
Because P, Q are nonnegative and HT-convex, for \(\lambda\in(0,1)\),
Similarly, we have
Multiplying (13) and (14) reveals
Integrating inequality (15) with respect to \(\lambda\in (0,1)\) leads to the stated result. □
Again using inequalities (13) and (14), we derive the following corollaries.
Corollary 4.7
Under conditions of Theorem 4.4, ifP, Qare similarly ordered, then
Corollary 4.8
Under conditions of Theorem 4.4, ifP, Qare nonnegative, then
Corollary 4.9
Under conditions of Corollary 4.8, ifP, Qare similarly ordered, then
5 Applications to some special means
In this section, we will consider applications of our newly-established results to the following special means.
For real numbers \(\tau,\mu>0\), the arithmetic mean and the p-logarithmic mean are respectively defined [26, 29] by
and
For the HT-convex function \(Q:(1,\infty)\to\mathbb{R}\), \(Q(x)=\frac {1}{x^{p}}\) for \(p\ge1\), applying Theorem 4.2 and Corollary 4.1, we derive the following inequalities involving A and \(L_{p}\).
Theorem 5.1
Let \(1<\tau<\mu\)and \(p\ge1\). Then
and
where \(F(\alpha,\beta,\gamma,x)\)is the hypergeometric function which can be represented by
6 Conclusions
In [15] and [23], the HA- and MT-convexity were defined and some Hadamard-type inequalities were obtained. As a generalization of these two convexity notions a new notion of “HT-convex functions” is introduced in this paper, some Hadamard-type inequalities for the new class of HT-convex functions and for the product of any two HT-convex functions are established, and, as applications, some inequalities for the arithmetic mean and the p-logarithmic mean are derived.
References
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Generalized convexity and inequalities. J. Math. Anal. Appl. 335, 1294–1308 (2007). https://doi.org/10.1016/j.jmaa.2007.02.016
Beckenbach, E.F.: Convex functions. Bull. Am. Math. Soc. 54, 439–460 (1948). https://doi.org/10.1090/S0002-9904-1948-08994-7
Chu, Y.-M., Khan, M.A., Khan, T.U., Ali, T.: Generalizations of Hermite–Hadamard type inequalities for MT-convex functions. J. Nonlinear Sci. Appl. 9, 4305–4316 (2016). https://doi.org/10.22436/jnsa.009.06.72
Dragomir, S.S.: Inequalities of Hermite–Hadamard type for HA-convex functions. Moroccan J. Pure Appl. Anal. 3, 83–101 (2017). https://doi.org/10.1515/mjpaa-2017-0008
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1952)
Hermite, C.: Sur deux limites d’une intégrale définie. Mathesis 3, 82 (1883)
Hölder, O.: Über einen Mittelwertsatz. Nachr. Ges. Wiss. Gött., 38–47 (1889)
İşcan, İ.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43, 935–942 (2014). https://doi.org/10.15672/HJMS.2014437519
Işcan, I., Wu, S.: Hermite–Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 238, 237–244 (2014). https://doi.org/10.1016/j.amc.2014.04.020
Jensen, J.L.W.V.: Om konvexe Funktioner og Uligheder mellem Middelvaerdier. Nyt Tidsskr. Math. 16B, 49–69 (1905)
Liu, W.: Ostrowski type fractional integral inequalities for MT-convex functions. Miskolc Math. Notes 16, 249–256 (2015). https://doi.org/10.18514/mmn.2015.1131
Liu, W., Wen, W., Park, J.: Hermite–Hadamard type inequalities for MT-convex functions via classical integrals and fractional integrals. J. Nonlinear Sci. Appl. 9, 766–777 (2016). https://doi.org/10.22436/jnsa.009.03.05
Niculescu, C.P., Persson, L.-E.: Convex Functions and Their Applications: A Contemporary Approach, 2nd edn. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-78337-6
Noor, M.A., Noor, K.I., Awan, M.U.: Some inequalities for geometrically–arithmetically h-convex functions. Creative Math. Inform. 23, 91–98 (2014)
Pachpatte, B.G.: On some inequalities for convex functions. RGMIA Res. Rep. Collect. 6(Suppl.), Article ID 1 (2003). http://rgmia.org/v6(E).php
Park, J.: Hermite–Hadamard-like type inequalities for twice differentiable MT-convex functions. Appl. Math. Sci. 9, 5235–5250 (2015)
Pečarić, J., Proschan, F., Tong, Y.L.: Convex Functions, Partial Orderings, and Statistical Applications. Mathematics in Science and Engineering, vol. 187. Academic Press, San Diego (1992)
Skala, H.J.: On the characterization of certain similarly ordered super-additive functionals. Proc. Am. Math. Soc. 126, 1349–1353 (1998). https://doi.org/10.1090/S0002-9939-98-04702-9
Stolz, O.: Grunzüge der Differential und Integralrechnung, vol. 1. Teubner, Leipzig (1893)
Tunç, M., Subas, Y., Karabayir, I.: On some Hadamard type inequalities for MT-convex functions. Int. J. Open Probl. Comput. Sci. Math. 6, 101–113 (2013)
Tunç, M., Yildirim, H.: On MT-convexity (2012). arXiv:1205.5453
Wang, J.-Q., Guo, B.-N., Qi, F.: Generalizations and applications of Young’s integral inequality by higher order derivatives. J. Inequal. Appl. 2019, Article ID 243 (2019). https://doi.org/10.1186/s13660-019-2196-2
Wang, S.-H.: Hermite–Hadamard type inequalities for operator convex functions on the co-ordinates. J. Nonlinear Sci. Appl. 10, 1116–1125 (2017). https://doi.org/10.22436/jnsa.010.03.22
Wang, S.-H., Qi, F.: Inequalities of Hermite–Hadamard type for convex functions which are n-times differentiable. Math. Inequal. Appl. 16, 1269–1278 (2013). https://doi.org/10.7153/mia-16-97
Wu, Y., Qi, F., Niu, D.-W.: Integral inequalities of Hermite–Hadamard type for the product of strongly logarithmically convex and other convex functions. Maejo Int. J. Sci. Technol. 9, 394–402 (2015)
Xi, B.-Y., Gao, D.-D., Zhang, T., Guo, B.-N., Qi, F.: Shannon type inequalities for Kapur’s entropy. Mathematics 7(1), Article ID 22 (2019). https://doi.org/10.3390/math7010022
Xi, B.-Y., Qi, F.: Hermite–Hadamard type inequalities for geometrically r-convex functions. Studia Sci. Math. Hung. 51, 530–546 (2014). https://doi.org/10.1556/SScMath.51.2014.4.1294
Xi, B.-Y., Qi, F.: Inequalities of Hermite–Hadamard type for extended s-convex functions and applications to means. J. Nonlinear Convex Anal. 16, 873–890 (2015)
Xi, B.-Y., Wu, Y., Shi, H.-N., Qi, F.: Generalizations of several inequalities related to multivariate geometric means. Mathematics 7(6), Article ID 552 (2019). https://doi.org/10.3390/math7060552
Yin, H.-P., Qi, F.: Hermite–Hadamard type inequalities for the product of \((\alpha ,m)\)-convex functions. J. Nonlinear Sci. Appl. 8, 231–236 (2015). https://doi.org/10.22436/jnsa.008.03.07
Yin, H.-P., Qi, F.: Hermite–Hadamard type inequalities for the product of \((\alpha ,m)\)-convex functions. Mo. J. Math. Sci. 27, 71–79 (2015). http://projecteuclid.org/euclid.mjms/1449161369
Zhao, T.-H., Chu, Y.-M., Jiang, Y.-P.: Monotonic and logarithmically convex properties of a function involving gamma functions. J. Inequal. Appl. 2009, Article ID 728612 (2009). https://doi.org/10.1155/2009/728612
Acknowledgements
The authors thank anonymous referees for their careful corrections to and valuable comments on the original version of this paper. The authors appreciate Professor Constantin P. Niculescu (University of Craiova, Romania) for his careful corrections to references related to the HA-convexity.
Availability of data and materials
Not applicable.
Funding
This work was supported in part by the PhD Research Foundation of Inner Mongolia University for Nationalities (Grant No. BS401 and No. BS402), the Science Research Foundation of Inner Mongolia University for Nationalities (Grant No. NMDYB1777), and the Natural Science Foundation of Inner Mongolia (Grant No. 2019MS01007), China.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bai, SP., Wang, SH. & Qi, F. On HT-convexity and Hadamard-type inequalities. J Inequal Appl 2020, 3 (2020). https://doi.org/10.1186/s13660-019-2276-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2276-3