Abstract
In this paper, we establish inequalities of Hermite–Hadamard type for harmonically convex functions using a generalized fractional integral. The results of our paper are an extension of previously obtained results (İşcan in Hacet. J. Math. Stat. 43(6):935–942, 2014 and İşcan and Wu in Appl. Math. Comput. 238:237–244, 2014). We also discuss some special cases for our main results and obtain new inequalities of Hermite–Hadamard type.
Similar content being viewed by others
1 Introduction
The Hermite–Hadamard inequality introduced by Hermite and Hadamard, see [4], and [17, p. 137], is one of the best-established inequalities in the theory of convex analysis with a nice geometrical interpretation and several applications. These inequalities state the following.
If \(f:I\rightarrow \mathbb{R}\) is a convex function on the interval I of real numbers and \(a,b\in I\) with \(a< b\), then
Both inequalities hold in reverse order if the function f is concave. It is worth mentioning that the Hermite–Hadamard inequality may be regarded as a refinement of the concept of convexity and it follows easily from Jensen’s inequality. For more results which generalize, unify and extend the inequalities (1.1), see [5–11, 20–24]) and the references therein.
İşcan [8] gave the following definition of harmonically convex functions.
Definition 1
([8])
A function \(f:I\subseteq \mathbb{R} \backslash \{0\} \rightarrow \mathbb{R} \) is said to be a harmonically convex function if the following inequality holds:
for all a, b in I and t in \([0,1]\). If the inequality (1.2) holds in the reversed direction then f is called harmonically concave function.
İşcan [8] established the following identity and integral inequalities of Hermite–Hadamard type for harmonically convex functions.
Theorem 1
([8])
Let\(f:I\subseteq \mathbb{R} \backslash \{0\} \rightarrow \mathbb{R} \)be harmonically convex function and\(a,b\in I\)with\(a< b\). If\(f\in L([a,b])\), then the following double inequality holds:
Lemma 1
([8])
Let\(f:I\subseteq \mathbb{R} \backslash \{0\} \rightarrow \mathbb{R} \)be differentiable on\(I^{\circ }\) (interior ofI) and\(a,b\in I\)with\(a< b\). If\(f^{{\prime }}\in L([a,b])\), then the following identity holds:
Theorem 2
([8])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be differentiable on\(I^{\circ }\), \(a,b\in I\)with\(a< b\), and\(f^{{\prime }}\in L([a,b])\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for\(q\geq 1\), then the following inequality holds:
where
Theorem 3
([8])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be differentiable on\(I^{\circ }\), \(a,b\in I\)with\(a< b\), and\(f^{{\prime }}\in L([a,b])\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for\(q>1\), \(\frac{1}{p}+\frac{1}{q}=1\), then the following inequality holds:
where
Now we recall some special functions and an inequality that will be needed in the sequel to establish our main results in this paper.
- (a)
The Beta function is defined as follows:
$$ \beta (x,y)=\frac{\varGamma (x)\varGamma (y)}{\varGamma (x+y)}= \int _{0}^{1}t^{x-1}(1-t)^{y-1}\,dt, \quad x,y>0. $$ - (b)
The hypergeometric function is given as
$$ {}_{2}F_{1}(a,b;c;z)=\frac{1}{\beta (b, c-b)} \int _{0}^{1}t^{b-1}(1-t)^{c-b-1}(1-zt)^{-\alpha }\,dt, \quad c>b>0, \vert z \vert < 1. $$
Lemma 2
For\(0<\alpha \leq 1\)and\(0\leq a< b\), we have the following inequality:
İşcan [10] also established the following identity and inequalities of Hermite–Hadamard type for harmonically convex functions via Riemann–Liouville fractional integrals.
Theorem 4
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be function such that\(f\in L([a,b])\), where\(a,b\in I\)with\(a< b\). Iffis harmonically convex function on\([a,b]\), the following double inequality holds for the fractional integrals:
where\(g(x)=\frac{1}{x}\).
Lemma 3
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). Then the following identity holds for the fractional integrals:
where
andgis as given in Theorem 4.
Theorem 5
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for some fixed\(q\geq 1\), then we have the following inequality for the fractional integrals:
where
Theorem 6
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for some fixed\(q\geq 1\), then we have the following inequality for the fractional integrals:
where
and\(0<\alpha \leq 1\).
Theorem 7
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for some fixed\(q>1\), then we have the following inequality for the fractional integrals:
where\(\frac{1}{p}+\frac{1}{q}=1\).
Theorem 8
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex function on\([a,b]\)for some fixed\(q>1\), then we have the following inequality for the fractional integrals:
where\(\frac{1}{p}+\frac{1}{q}=1\)and\(L_{2p-2}(a,b)= ( \frac{b^{2p-1}-a^{2p-1}}{(2p-1)(b-a)} ) ^{\frac{1}{(2p-2)}}\)is the\(2p-2\)-Logarithmic mean.
Theorem 9
([10])
Let\(f:I\subseteq (0,\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), wherea, \(b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is a harmonically convex function on\([a,b]\)for some fixed\(q>1\), then we have the following inequality for the fractional integrals:
where\(\frac{1}{p}+\frac{1}{q}=1\).
For some similar studies with this work of harmonically convex functions, see ([2, 3, 13–15, 18]).
Now we recall the definition of left- and right-sided generalized fractional integrals given by Sarikaya and Ertuğral in [19] as follows:
respectively, where the function \(\varphi :[0,\infty )\rightarrow {}[ 0,\infty )\) satisfies \(\int _{0}^{1}\frac{\varphi (t)}{t}\,dt<\infty \). For details of the generalized fractional integrals see [19].
Some of the special cases of these generalized fractional operators are given as follows.
Remark 1
If we choose \(\varphi ( t ) =t\), \(\varphi ( t ) = \frac{1}{\varGamma ( \alpha ) }t^{\alpha }\), \(\varphi ( t ) =\frac{1}{k\varGamma _{k} ( \alpha ) }t^{\frac{\alpha }{k}}\), \(k>0\), \(\varphi ( t ) =t ( x-t ) ^{\alpha -1}\) and \(\varphi ( t ) =\frac{t}{\alpha }\exp ( - \frac{1-\alpha }{\alpha }t ) \), \(\alpha \in ( 0,1 ) \), then we obtain the classical Riemann integral, the Riemann–Liouville fractional integral, the k-Riemann–Liouville fractional [16], conformable fractional integrals [12] and fractional integral operators with exponential kernel [1], respectively.
The main aim of this paper is to establish inequalities of Hermite–Hadamard type for harmonically convex functions using generalized fractional integrals. Some applications of the results presented in this paper are also obtained.
2 Main results
For brevity, throughout in this paper the following notations are used:
where
We start with the following result.
Theorem 10
Let\(f:I\subseteq (0,+\infty )\rightarrow \mathbb{R} \)be a function such that\(f\in L([a,b])\). Iffis harmonically convex function on\([a,b]\), then the following inequalities hold for the generalized fractional integrals:
Proof
Since f is harmonically convex function on \([a,b]\), we have the following inequality:
By changing the variables \(x=\frac{ab}{tb+(1-t)a}\) and \(y=\frac{ab}{ta+(1-t)b}\), the inequality (2.4) becomes
Multiplying (2.5) with \({\frac{\varphi ( \frac{(b-a)}{ab}t ) }{t}}\) on both sides and integrating the resulting inequality with respect to t over \([0,1]\), we have
which is first inequality of our desired result (2.3).
To prove the second inequality of (2.3), note that f is harmonically convex function and hence the following inequalities hold for \(t\in {}[ 0,1]\):
By adding (2.6) and (2.7), we have
On multiplying the both sides of (2.8) by \({\frac{\varphi ( \frac{(b-a)}{ab}t ) }{t}}\) and integrating the result with respect to t on \([0,1]\), we obtain
by changing the variables \(x=\frac{ab}{tb+(1-t)a}\) and \(y=\frac{ab}{ta+(1-t)b}\), the inequality (2.9) becomes
Hence we have the proof of Theorem 10. □
Remark 2
Under the assumptions of Theorem 10, if we take \(\varphi (t)=t\), then inequalities (2.3) reduce to inequalities (1.3).
Remark 3
Under the assumptions of Theorem 10, if we define \(\varphi (t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\), then inequalities (2.3) reduce to inequalities (1.7).
Corollary 1
Under the assumptions of Theorem 10, if we take\(\varphi (t)=\frac{t^{\frac{\alpha }{k}}}{k\varGamma _{k}(\alpha )}\), then we have
Corollary 2
Under the assumptions of Theorem 10, if we take\(\varphi (t)=t(b-t)^{\alpha -1}\), then we obtain the following inequalities:
where
Corollary 3
Under the assumptions of Theorem 10, taking\(\varphi (t)=\frac{t}{\alpha }\exp ( -\frac{1-\alpha }{\alpha }t ) \), \(\alpha \in ( 0,1 ) \), we obtain
where
The next lemma is very crucial in the proof of our next results.
Lemma 4
Let\(f:I\subseteq (0,+\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L ( [a,b] ) \), where\(a,b\in I\)with\(a< b\). Then the following identity holds for the generalized fractional integrals:
Proof
Denote
where
and
Integrating (2.15) by parts, we have
Similarly, using (2.16), we get
Substituting (2.17) and (2.18) in (2.14), we obtain (2.13) which completes the proof of Lemma 4. □
Remark 4
Under the assumptions of Lemma 4, if we take \(\varphi (t)=t\), the identity (2.13) reduces to (1.4).
Remark 5
Under the assumptions of Lemma 4, taking \(\varphi (t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\), the identity (2.13) reduces to identity (1.8).
Theorem 11
Let\(f:I\subseteq (0,+\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L ( [a,b] ) \), where\(a,b\in I\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex on\([a,b]\)for some\(q\geq 1\), then the following inequality holds for the generalized fractional integrals:
where
Proof
From Lemma 4 and the well-known power mean inequality, we have
which is our required inequality (2.19). □
Remark 6
Under the assumptions of Theorem 11, if we define \(\varphi (t)=t\), and \(\varphi (t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\), then inequality (2.19) reduces to the inequalities (1.5), (1.9), respectively.
Remark 7
Under the assumptions of Theorem 11, taking \(\varphi(t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\) and using Lemma 2, the inequality (2.19) reduces to the inequality (1.10).
Corollary 4
Under the assumptions of Theorem 11, taking\(\varphi (t)=\frac{t^{\frac{\alpha }{k}}}{k\varGamma _{k}(\alpha )}\), the inequality
is obtained, where
Corollary 5
Under the assumptions of Theorem 11, if we take\(\varphi (t)=t(b-t)^{\alpha -1}\), then we have
where
Corollary 6
Under the assumptions of Theorem 11, if we choose\(\varphi (t)=\frac{t}{\alpha }\exp ( - \frac{1-\alpha }{\alpha }t ) \), \(\alpha \in ( 0,1 ) \), then we have
where
Theorem 12
Let\(f:I\subseteq (0,+\infty )\rightarrow \mathbb{R} \)be a differentiable function on\(I^{\circ }\)such that\(f^{{\prime }}\in L([a,b])\), where\(a,b\in I^{\circ }\)with\(a< b\). If\(\vert f^{{\prime }} \vert ^{q}\)is harmonically convex on\([a,b]\)for some fixed\(q>1\), then the following inequality for generalized fractional integrals holds:
where
and\(\frac{1}{p}+\frac{1}{q}=1\).
Proof
It follows from Lemma 4 and the Hölder inequality that
This completes the proof of Theorem 12. □
Remark 8
Under the assumptions of Theorem 12, taking \(\varphi (t)=t\) and \(\varphi (t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\), the inequality (2.23) reduces to the inequalities (1.6) and (1.11), respectively.
Remark 9
Under the assumptions of Theorem 12, if we take \(\varphi (t)=\frac{t^{\alpha }}{\varGamma (\alpha )}\) and use the Lemma 2, then the inequality (2.23) reduces to the inequalities (1.12) and (1.13).
Corollary 7
Under the assumptions of Theorem 12, \(\varphi (t)=\frac{t^{\frac{\alpha }{k}}}{k\varGamma _{k}(\alpha )}\)gives
where\(\varLambda (t)\)is defined in Corollary 4.
Corollary 8
Under the assumptions of Theorem 12, if we take\(\varphi (t)=t(b-t)^{\alpha -1}\), then we obtain
where\(\varLambda ^{\ast }(t)\)is defined as in Corollary 5.
Corollary 9
Under the assumptions of Theorem 12, if we set\(\varphi (t)=\frac{t}{\alpha }\exp ( -\frac{1-\alpha }{\alpha }t ) \), \(\alpha \in ( 0,1 ) \), then we have the following inequality:
where\(\varLambda ^{\ast \ast }(t)\)is defined in Corollary 6.
3 Applications to special means
Let us consider some means for positive real numbers \(\ell _{1}\) and \(\ell _{2}\), where \(\ell _{1}<\ell _{2}\), as follows:
- (1)
The arithmetic mean:
$$ A(\ell _{1},\ell _{2})=\frac{\ell _{1}+\ell _{2}}{2}. $$ - (2)
The geometric mean:
$$ G(\ell _{1},\ell _{2})=\sqrt{\ell _{1}\ell _{2}}. $$ - (3)
The generalized log-mean:
$$ L_{p}(\ell _{1},\ell _{2})= \biggl[ \frac{\ell _{2}^{p+1}-\ell _{1}^{p+1}}{(p+1)(\ell _{2}-\ell _{1})} \biggr]^{\frac{1}{p}};\quad p\in \mathbb{R} \setminus \{-1,0\}. $$
Proposition 1
Under the assumptions of Theorem 11, take\(\varphi (t)=t \)to obtain
where\(\lambda _{1}\), \(\lambda _{2}\)and\(\lambda _{3}\)are given in Theorem 2.
Proof
Taking \(f(x)=x^{p+2}\), where \(x>0\) and \(p\in (-1,+\infty )\backslash \{0\}\) in Theorem 11, (3.1) is obtained. □
Proposition 2
Under the assumptions of Theorem 12, \(\varphi (t)=t\)gives
where\(\mu _{1}\)and\(\mu _{2}\)are the same as in Theorem 3.
Proof
Taking \(f(x)=x^{s+2}\), where \(x>0\) and \(s\in (-1,+\infty )\backslash \{0\}\) in Theorem 12, (3.2) is obtained. □
Remark 10
Under the assumptions of Theorems 11 and 12, for appropriate choices of the functions such as
and for harmonically convex function \(f(x)=x^{p+2}\), where \(x>0\) and \(p\in (-1,+\infty )\backslash \{0\}\); \(x^{2}\ln x\), where \(x>0\), we obtain some new interesting inequalities using the special means. The details are left to the reader.
4 Conclusion
In this paper, we established inequalities of Hermite–Hadamard type for harmonically convex functions using generalized fractional integrals. Some special cases are provided as well. Finally, some application to special means are given. The results of the present paper can be applied in convex analysis, optimization and also different areas of pure and applied sciences.
References
Ahmad, B., Alsaedi, A., Kirane, M., Torebek, B.T.: Hermite–Hadamard, Hermite–Hadamard–Fejer, Dragomir–Agarwal and Pachpatte type inequalities for convex functions via fractional integrals. J. Comput. Appl. Math. 353, 120–129 (2019)
Awan, M.U., Noor, M.A., Minhai, M.V., Noor, K.I.: Inequalities via harmonic functions: conformable fractional calculus approach. J. Math. Inequal. 12(1), 143–153 (2018)
Dragomir, S.S.: Inequalities of Hermite–Hadamard type for HA-convex functions. Moroccan J. Pure Appl. Anal. 3(1), 83–101 (2017)
Dragomir, S.S., Pearce, C.E.M.: Selected Topics on Hermite–Hadamard Inequalities and Applications. RGMIA Monographs, Victoria University (2000)
İşcan, I.: New estimates on generalization of some integral inequalities for (α, m)-convex functions. Contemp. Anal. Appl. Math. 1(2), 253–264 (2013)
İşcan, I.: New estimates on generalization of some integral inequalities for s-convex functions and their applications. Int. J. Pure Appl. Math. 86(4), 727–746 (2013)
İşcan, I.: New general integral inequalities for quasi-geometrically convex functions via fractional integrals. J. Inequal. Appl. 2013(491), 15 (2013)
İşcan, I.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43(6), 935–942 (2014)
İşcan, I.: Generalization of different type integral inequalities for s-convex functions via fractional integrals. Appl. Anal. 93(9), 1846–1862 (2014)
İşcan, I., Wu, S.: Hermite–Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 238, 237–244 (2014)
Kavurmac, H., Özdemir, M.E., Avc, M.: New Ostrowski type inequalities for m-convex functions and applications. Hacet. J. Math. Stat. 40(2), 135–145 (2011)
Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Kunt, M., Iscan, I.: Hermite–Hadamard type inequalities for harmonically (α, m)-convex functions by using fractional integrals. Konuralp J. Math. 5(1), 201–213 (2017)
Kunt, M., Iscan, I., Yazici, N.: Hermite–Hadamard type inequalities for product of harmonically convex functions via Riemann–Liouvile fractional integrals. J. Math. Anal. 7(4), 74–82 (2016)
Minhai, M.V., Awan, M.U., Noor, M.A., Noor, K.I.: Fractional Hermite–Hadamard inequalities containing generalized Mittag-Leffler functions. J. Inequal. Appl. 2017, 265, 1–13 (2017)
Mubeen, S., Habibullah, G.M.: k-Fractional integrals and application. Int. J. Contemp. Math. Sci. 7(2), 89–94 (2012)
Pečarić, J.E., Proschan, F., Tong, Y.L.: Convex Functions, Partial Orderings and Statistical Applications. Academic Press, Boston (1992)
Şanli, Z.: Some mid point type inequalities for Riemann–Liouville fractional integrals. Appl. Appl. Math. 3, 58–73 (2019)
Sarikaya, M.Z., Ertuğral, F.: On the generalized Hermite–Hadamard inequalities, submitted, December 2017, https://www.researchgate.net/publication/321760443
Sarikaya, M.Z., Set, E., Yaldiz, H., Basak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)
Set, E.: New inequalities of Ostrowski type for mappings whose derivatives are s-convex in the second sense via fractional integrals. Comput. Math. Appl. 63, 1147–1154 (2012)
Set, E., Ozdemir, M.E., Dragomir, S.S.: On Hadamard-type inequalities involving several kinds of convexity. J. Inequal. Appl. 2010, Article ID 286845, 12 (2010). https://doi.org/10.1155/2010/286845
Wang, J., Li, X., Feĉkan, M., Zhou, Y.: Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integrals via two kinds of convexity. Appl. Anal. 92(11), 2241–2253 (2012). https://doi.org/10.1080/00036811.2012.727986
Wang, J., Zhu, C., Zhou, Y.: New generalized Hermite–Hadamard type inequalities and applications to special means. J. Inequal. Appl. 2013, 325, 15 pp. (2013)
Acknowledgements
We thankful to editor and referees for their careful reading and valuable suggestions to make the article better readable.
Availability of data and materials
Data sharing not applicable to this paper as no data sets were generated or analyzed during the current study.
Funding
This work was supported in part by Special Soft Science Research Projects of Technological Innovation in Hubei Province (2019ADC46), the Fundamental Research Funds for Central Universities (2019B44914), Key Projects of Education Commission of Hubie Province of China (D20192501), the Natural Science Foundation of Jiangsu Province (BK20180500), the National Key Research and Development Program of China (2018YFC1508100) and partially supported by the National Natural Science Foundation of China (11971241).
Author information
Authors and Affiliations
Contributions
The study was carried out in collaboration of all authors. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
It is declared that the authors have no competing interests.
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
Zhao, D., Ali, M.A., Kashuri, A. et al. Generalized fractional integral inequalities of Hermite–Hadamard type for harmonically convex functions. Adv Differ Equ 2020, 137 (2020). https://doi.org/10.1186/s13662-020-02589-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02589-x