Abstract
In this manuscript, we give and study the concept of exponential type convex functions and some of their algebraic properties. We prove two Hermite–Hadamard (H-H) type integral inequalities for the newly introduced class of functions. We also obtain some refinements of the H-H inequality for functions whose first derivative in absolute value at certain power is exponential type convex.
Similar content being viewed by others
1 Introduction
A function \(f:I\rightarrow\mathbb{R}\) is said to be convex function if the following inequality holds:
for all \(m,n\in I\) and \(k\in{}[0,1]\). If (1) reverses, then f is said to be concave on \(I\neq\emptyset\). Convexity theory provides powerful principles and techniques for studying a class of problems in mathematics. See articles [4, 5, 7, 9–13] and the references therein.
Let \(f:I\rightarrow\mathbb{R}\) be a convex function. Then the following inequalities hold:
for all \(m,n\in I\) with \(m< n\). Inequality (2) is well known as the Hermite–Hadamard (H-H) integral inequality [6]. Some refinements of the H-H inequality for convex functions have been obtained [3, 15].
The aim of this study is to submit the concept of exponential type convex functions and find some results connected with the right-hand side of new inequalities similar to the H-H inequality for this type of functions.
Definition 1.1
([14])
Let \(h:J\rightarrow \mathbb{R} \) be a nonnegative function and \(h\neq0\). We say that \(f:I\rightarrow \mathbb{R} \) is an h-convex function, or that f belongs to the class \(SX ( h,I ) \), if f is nonnegative and for all \(m,n\in I\), \(k\in [ 0,1 ] \) we have
If (3) is reversed, then f is said to be h-concave, i.e., \(f\in SV ( h,I ) \). It is clear that, if \(h(u)=u\), then the h-convexity reduces to convexity.
2 Main results
In this section, we give a new definition, which is called exponential type convexity, and we give it by setting some algebraic properties for the exponential type convex functions, as follows.
Definition 2.1
A nonnegative function \(f:I\rightarrow\mathbb{R}\) is called exponential type convex function if, for every \(m,n\in I\) and \(k\in [ 0,1 ] \),
The class of all exponential type convex functions on interval I is indicated by \(\mathit{EXPC} ( I ) \).
Remark 2.1
The range of the exponential type convex functions is \([ 0,\infty ) \).
Proof
Let \(m\in I\) be arbitrary. Using the definition of the exponential type convex function for \(k=1\), we have \(f ( m ) \leq ( e-1 ) f(m)\Longrightarrow0\leq(e-2)f(m)\Longrightarrow f(m)\geq0\). □
We discuss some connections between the class of exponential type convex functions and other classes of generalized convex functions.
Lemma 2.1
For all\(k\in [ 0,1 ] \), the inequalities\(e^{k}-1\geq k \)and\(e^{1-k}-1\geq1-k\)hold.
Proof
The proof is obvious. □
Proposition 2.1
Every nonnegative convex function is exponential type convex function.
Proof
According to Lemma 2.1, since \(k\leq e^{k}-1\) and \(1-k\leq e^{1-k}-1\) for all \(k\in [ 0,1 ] \), we obtain
□
Proposition 2.2
Every exponential type convex function is anh-convex function with\(h(k)=e^{k}-1\).
Proof
If we substitute \(e^{k}-1=h(k)\) and \(e^{1-k}-1=h(1-k)\) in inequality (3), an h-convex function is easily obtained. □
Theorem 2.1
Let\(f,g: [ a,b ] \rightarrow \mathbb{R} \). Iffandgare exponential type convex functions, then
- (i)
\(f+g\)is exponential type convex,
- (ii)
for\(c\geq0\), cfis exponential type convex.
Proof
(i) Let f, g be exponential type convex, then
(ii) Let f be exponential type convex and \(c\in \mathbb{R}\) (\(c\geq0\)), then
□
Remark 2.2
Theorem 2.1 follows from the known fact that the space of an h-convex function is a convex cone for each h (see [14], Proposition 9).
Theorem 2.2
If\(f:I\rightarrow J\)is convex and\(g:J\rightarrow \mathbb{R} \)is an exponential type convex function and nondecreasing, then\(g\circ f:I\rightarrow \mathbb{R} \)is an exponential type convex function.
Proof
For \(m,n\in I\) and \(k\in [ 0,1 ] \), we get
□
Remark 2.3
The above theorem can also be derived from Theorem 15 in [14].
Theorem 2.3
Let\(n>0\)and\(f_{\alpha}: [ m,n ] \rightarrow \mathbb{R} \)be an arbitrary family of exponential type convex functions, and let\(f(x)=\sup_{\alpha}f_{\alpha}(x)\). If\(J= \{ u\in [ m,n ] :f(u)<\infty \} \)is nonempty, thenJis an interval andfis an exponential type convex function onJ.
Proof
Let \(k\in [ 0,1 ] \) and \(m,n\in J\) be arbitrary. Then
This shows simultaneously that J is an interval, since it contains every point between any two of its points, and that f is an exponential type convex function on J. □
Theorem 2.4
If the function\(f: [ m,n ] \rightarrow \mathbb{R} \)is exponential type convex, thenfis bounded on\([ m,n ] \).
Proof
Let \(K=\max \{ f(m),f(n) \} \) and \(x\in [ m,n ] \) be an arbitrary point. Then there exists \(k\in [ 0,1 ] \) such that \(x=km+(1-k)n\). Thus, since \(e^{k}\leq e\) and \(e^{1-k}\leq e\), we have
Also, for every \(x\in [ m,n ] \), there exists \(\lambda\in [ 0,\frac{n-m}{2} ] \) such that \(x=\frac{m+n}{2}+\lambda\) or \(x=\frac{m+n}{2}-\lambda\). Without loss of generality, we suppose \(x=\frac{m+n}{2} +\lambda\). So, we have
By using M as the upper bound, we get
□
3 Hermite–Hadamard inequality for exponential type convex functions
The aim of this section is to find some inequalities of H-H type for exponential type convex functions. In the next sections, we denote by \(L [ m,n ] \) the space of (Lebesgue) integrable functions on the interval \([ m,n ] \).
Theorem 3.1
Let\(f: [ m,n ] \rightarrow \mathbb{R} \)be an exponential type convex function. If\(m< n\)and\(f\in L [ m,n ] \), then the following Hermite–Hadamard type inequalities hold:
Proof
Firstly, from the property of the exponential type convex function of f, we get
Now, if we take integral in the last inequality with respect to \(k\in [ 0,1 ] \), we deduce that
Secondly, by using the property of the exponential type convex function f, if the variable is changed as \(u=km+(1-k)n\), then
□
4 Some new inequalities for exponential type convex functions
The aim of this section is to find new estimates that refine H-H inequality for functions whose first derivative in absolute value at certain power is exponential type convex. Dragomir and Agarwal [2] used the following lemma.
Lemma 4.1
([2])
Let\(f:I^{\circ}\subseteq \mathbb{R} \rightarrow \mathbb{R} \)be a differentiable mapping on\(I^{\circ}\), \(m,n\in I^{\circ}\)with\(m< n\). If\(f^{\prime}\in L [ m,n ] \), then the following identity holds:
Theorem 4.1
Let\(f:I\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ}\), \(m,n\in I^{\circ}\)with\(m< n\), and assume that\(f^{\prime}\in L [ m,n ] \). If\(\vert f^{\prime} \vert \)is an exponential type convex function on\([ m,n ] \), then the inequality
holds for\(k\in [ 0,1 ] \), where\(A ( u,v ) \)is the arithmetic mean ofuandv.
Proof
From Lemma 4.1 and the inequality
we get
where
□
Theorem 4.2
Let\(f:I\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ}\), \(m,n\in I^{\circ}\)with\(m< n\), \(q>1\), and assume that\(f^{\prime}\in L [ m,n ] \). If\(\vert f^{\prime} \vert ^{q}\)is an exponential type convex function on\([ m,n ] \), then the inequality
holds for\(k\in [ 0,1 ] \), where\(\frac{1}{p}+\frac{1}{q}=1\)andAis the arithmetic mean.
Proof
From Lemma 4.1, Hölder’s integral inequality, and the following inequality:
which is the exponential type convex function of \(\vert f^{\prime } \vert ^{q}\), we get
□
Theorem 4.3
Let\(f:I\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ}\), \(m,n\in I^{\circ}\)with\(m< n\), \(q\geq1\), and assume that\(f^{\prime}\in L [ m,n ] \). If\(\vert f^{\prime} \vert ^{q}\)is an exponential type convex function on\([ m,n ] \), then the inequality
holds for\(k\in [ 0,1 ] \).
Proof
Assume first that \(q>1\). By using Lemma 4.1, Hölder’s inequality, and the property of the exponential type convex function of \(\vert f^{\prime} \vert ^{q}\), we obtain
For \(q=1\), we consider the estimates from the proof of Theorem 4.1, which also follows step by step the above estimates. □
Remark 4.1
Under the assumptions of Theorem 4.3 with \(q=1\), we get the conclusion of Theorem 4.1.
5 Applications for special means
Throughout this section, for the sake of simplicity, the following notations are used for special means of two nonnegative numbers m, n (\(n>m\)):
- 1.
The arithmetic mean
$$ A:=A(m,n)=\frac{m+n}{2},\quad m,n\geq0. $$ - 2.
The geometric mean
$$ G:=G(m,n)=\sqrt{mn},\quad m,n\geq0. $$ - 3.
The harmonic mean
$$ H:=H(m,n)=\frac{2mn}{m+n},\quad m,n>0. $$ - 4.
The logarithmic mean
$$ L:=L(m,n)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{n-m}{\ln n-\ln m}, & m\neq n, \\ m, & m=n;\end{array}\displaystyle \right . \quad m,n>0. $$ - 5.
The p-logarithmic mean
$$ L_{p}:=L_{p}(m,n)=\left \{ \textstyle\begin{array}{l@{\quad}l} ( \frac{n^{p+1}-m^{p+1}}{(p+1)(n-m)} ) ^{\frac{1}{p}}, & m\neq n,p\in \mathbb{R} \setminus \{ -1,0 \}, \\ m, & m=n;\end{array}\displaystyle \right . \quad m,n>0. $$ - 6.
The identric mean
$$ I:=I(m,n)=\frac{1}{e} \biggl( \frac{n^{n}}{m^{m}} \biggr) ^{\frac {1}{n-m}},\quad m,n>0. $$
It is well known that \(L_{p}\) is monotonically increasing over \(p\in \mathbb{R} \). Moreover, \(L_{0}=I\), \(L_{-1}=L\).
Proposition 5.1
Let\(m,n\in [ 0,\infty ) \)with\(m< n\)and\(r\in ( -\infty,0 ) \cup [ 1,\infty ) \setminus \{ -1 \} \). Then the inequalities
hold.
Proof
It is easily seen from inequalities (5) for the function
□
Proposition 5.2
Let\(m,n\in ( 0,\infty ) \)with\(m< n\). Then the inequalities
hold.
Proof
It is easily seen from inequalities (5) for the function
□
Proposition 5.3
Let\(m,n\in ( 0,1 ] \)with\(m< n\). Then the inequalities
hold.
Proof
It is easily seen from inequalities (5) for the function
□
6 Conclusion
In this paper, we studied the concept of exponential type convex functions, which is a new concept. We proved some new Hermite–Hadamard type integral inequalities for the newly introduced class of functions using an identity together with Hölder’s integral inequality. Especially, we would like to emphasize that different types of integral inequalities can be obtained using this new definition.
References
Bombardelli, M., Varošanec, S.: Properties of h-convex functions related to the Hermite–Hadamard–Fejér inequalities. Comput. Math. Appl. 58, 1869–1877 (2009)
Dragomir, S.S., Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11, 91–95 (1998)
Dragomir, S.S., Pearce, C.E.M.: Selected Topics on Hermite–Hadamard Inequalities and Its Applications. RGMIA Monograph (2002)
Dragomir, S.S., Pečarić, J., Persson, L.E.: Some inequalities of Hadamard type. Soochow J. Math. 21(3), 335–341 (2001)
Guessab, A., Schmeisser, G.: Sharp integral inequalities of the Hermite–Hadamard type. J. Approx. Theory 115(2), 260–288 (2002)
Hadamard, J.: Étude sur les propriétés des fonctions entières en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 58, 171–215 (1893)
İşcan, İ., Kunt, M.: Hermite–Hadamard–Fejer type inequalities for quasi-geometrically convex functions via fractional integrals. J. Math. 2016, Article ID 6523041 (2016)
Kadakal, H.: Hermite–Hadamard type inequalities for trigonometrically convex functions. Sci. Stud. Res. Ser. Math. Inform. 28(2), 19–28 (2018)
Kadakal, H.: New inequalities for strongly r-convex functions. J. Funct. Spaces 2019, Article ID 1219237 (2019)
Kadakal, H., Kadakal, M., İşcan, İ.: Some new integral inequalities for n-times differentiable s-convex functions in the first sense. Turk. J. Anal. Number Theory 5(2), 63–68 (2017)
Maden, S., Kadakal, H., Kadakal, M., İşcan, İ.: Some new integral inequalities for n-times differentiable convex and concave functions. J. Nonlinear Sci. Appl. 10(12), 6141–6148 (2017)
Özcan, S.: Some integral inequalities for harmonically \((\alpha ,s)\)-convex functions. J. Funct. Spaces 2019, Article ID 2394021 (2019)
Özcan, S., İşcan, İ.: Some new Hermite–Hadamard type inequalities for s-convex functions and their applications. J. Inequal. Appl. 2019, Article ID 201 (2019)
Varošanec, S.: On h-convexity. J. Math. Anal. Appl. 326, 303–311 (2007)
Zabandan, G.: A new refinement of the Hermite–Hadamard inequality for convex functions. J. Inequal. Pure Appl. Math. 10(2), Article ID 45 (2009)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
There is no funding for this work.
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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
Kadakal, M., İşcan, İ. Exponential type convexity and some related inequalities. J Inequal Appl 2020, 82 (2020). https://doi.org/10.1186/s13660-020-02349-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02349-1