Abstract
In this paper, we proved two new Riemann–Liouville fractional Hermite–Hadamard type inequalities for harmonically convex functions using the left and right fractional integrals independently. Also, we have two new Riemann–Liouville fractional trapezoidal type identities for differentiable functions. Using these identities, we obtained some new trapezoidal type inequalities for harmonically convex functions. Our results generalize the results given by İşcan (Hacet J Math Stat 46(6):935–942, 2014).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(f:I\subseteq \mathbb {R\rightarrow R}\) be a convex function defined on the interval I of real numbers and \(a,b\in I\) with \(a<b\). The inequality
is well known in the literature as Hermite–Hadamard’s inequality. There are so many generalizations and extensions of inequalities (1.1) for various classes of functions. One of these classes of functions is harmonically convex functions defined by İşcan.
In [4], İşcan gave the definition of harmonically convex functions as follows.
Definition 1.1
[4] Let \(I\subset {\mathbb {R}} \backslash \{ 0\} \) be a real interval. A function \( f:I\rightarrow {\mathbb {R}} \) is said to be harmonically convex, if
for all \(x,y\in I\) and \(t\in [ 0,1] \). If the inequality in (1.2) is reversed, then f is said to be harmonically concave.
Remark 1.2
Let \([ a,b] \subset I\subseteq ( 0,\infty ) \), if the function \(g:[ \frac{1}{b},\frac{1}{a}] \rightarrow {\mathbb {R}}\) defined \(g( x) =f( \frac{1}{x}) \), then f is harmonically convex on [a, b] if and only if g is convex on \( [ \frac{1}{b},\frac{1}{a}] \) (see [3]).
In [4], İşcan gave Hermite–Hadamard type inequalities for harmonically convex functions as follows.
Theorem 1.3
[4] Let \(f:I\subset {\mathbb {R}} \backslash \left\{ 0\right\} \rightarrow {\mathbb {R}} \) be a harmonically convex function and \(a,b\in I\) with \(a<b\). If \(f\in L \left[ a,b\right] \), then the following inequalities hold:
For some similar studies with this work about harmonically convex functions, readers can see [1,2,3,4,5,6, 8,9,10, 13, 14] and references therein.
The following definitions of the left- and right-side Riemann–Liouville fractional integrals are well known in the literature.
Definition 1.4
Let \(a,b\in {\mathbb {R}} \) with \(a<b\) and \(f\in L[ a,b] \). The left and right Riemann–Liouville fractional integrals \(J_{a+}^{\alpha }f\) and \( J_{b-}^{\alpha }f\) of order \(\alpha >0\) are defined by
and
respectively, here \(\Gamma (\alpha )\) is the Gamma function defined by \( \Gamma (\alpha )=\,\int _{0}^{\infty }e^{-t}t^{\alpha -1}\mathrm{d}t\) (see [7, page 69]).
Because of the wide application of Hermite–Hadamard type inequalities and fractional integrals, researchers extend their studies to Hermite–Hadamard type inequalities involving fractional integrals. The papers [1, 5, 6, 8,9,10, 14] are based on Hermite–Hadamard type inequalities involving fractional integrals for harmonically convex functions.
In [6], İşcan and Wu presented Hermite–Hadamard type inequalities for harmonically convex functions in fractional integral form as follows.
Theorem 1.5
Let \(f:I\subset ( 0,\infty ) \rightarrow {\mathbb {R}} \) be a function such that \(f\in L[ a,b] \), where \(a,b\in I\) with \( a<b\). If f is a harmonically convex function on [a, b] , then the following inequalities for fractional integrals hold:
with \(\alpha >0\) and \(h(x)=1/x\).
We recall the following inequality and special function which are known as hypergeometric function:
where \(\beta ( x,y) \) is the beta function defined by \(\beta ( x,y) =\frac{\Gamma ( x) \Gamma ( y) }{ \Gamma ( x+y) }=\int _{0}^{1}t^{x-1}( 1-t) ^{y-1}\mathrm{d}t\), for \(x,y>0\).
The following properties of convex functions are used in the forward results.
Definition 1.6
[15, page 12] A function f defined on I has a support at \( x_{0}\in I\) if there exists an affine functions \(A( x) =f( x_{0}) +m( x-x_{0}) \) such that \(A( x) \le f( x) \) for all \(x\in I\). The graph of the support function A is called a line of support for f at \(x_{0}\).
Theorem 1.7
[15, page 12] \(f:( a,b) \rightarrow {\mathbb {R}} \) is a convex function if and only if there is at least one line of support for f at each \(x_{0}\in ( a,b) \).
As much as we know, there are so many studies in the literature for Hermite–Hadamard type inequalities using the left and right fractional integrals together (such as Riemann–Liouville fractional integrals, Hadamard fractional integrals and conformable fractional integrals). In all of them, the left and right fractional integrals are used together. As much as we know, the studies [11, 12] are the first two works using only the right fractional integrals or the left fractional integrals.
In this paper, our aim is to obtain new Riemann–Liouville fractional Hermite–Hadamard type inequalities using only the right or the left fractional integrals separately for harmonically convex functions. Also, we improve the fractional Hermite–Hadamard type inequalities for harmonically convex functions (1.4).
2 Fractional Hermite–Hadamard type inequalities for harmonically convex functions
Theorem 2.1
Let \(f:I\subseteq ( 0,\infty ) \rightarrow {\mathbb {R}} \) be a harmonically convex function and \(a,b\in I\) with \(a<b\). If \(f\in L [ a,b] \), then the following inequality for the right Riemann–Liouville fractional integral holds:
where \(h\left( x\right) =\frac{1}{x}\) and \(\alpha >0\).
Proof
Let \(\alpha >0\). Since f is harmonically convex on [a, b] using Remark 1.2, \(g( x) =f( \frac{1}{x}) \) is convex on \( [ \frac{1}{b},\frac{1}{a}] \). Hence, using Theorem 1.7, there is at least one line of support
for all \(x\in [ \frac{1}{b},\frac{1}{a}] \) and \(m\in [ g_{-}^{\prime }( \frac{a+\alpha b}{( \alpha +1) ab}) ,g_{+}^{\prime }( \frac{a+\alpha b}{( \alpha +1) ab}) ] \). From (2.2) and harmonically convexity of f, we have
for all \(t\in [ 0,1] \). Multiplying all sides of (2.3) with \(\alpha t^{\alpha -1}\) and integrating over [0, 1] respect to t, we have
With a combination of (2.3), (2.4), (2.5) and (2.6), we have (2.2). This completes the proof. \(\square \)
Remark 2.2
In Theorem 2.1, if one takes \(\alpha =1\), one has the inequality (1.3).
Theorem 2.3
Let \(f:I\subseteq ( 0,\infty ) \rightarrow {\mathbb {R}} \) be a harmonically convex function and \(a,b\in I\) with \(a<b\). If \(f\in L [ a,b] \), then the following inequality for the left Riemann–Liouville fractional integral holds:
where \(h\left( x\right) =\frac{1}{x}\) and \(\alpha >0\).
Proof
Similar to the proof of Theorem 2.1, there is at least one line of support
for all \(x\in [ \frac{1}{b},\frac{1}{a}] \) and \(m\in [ g_{-}^{\prime }( \frac{\alpha a+b}{( \alpha +1) ab}) ,g_{+}^{\prime }( \frac{\alpha a+b}{( \alpha +1) ab}) ] \). From (2.8) and harmonically convexity of f , we have
for all \(t\in [ 0,1] \). Multiplying all sides of (2.9) with \(\alpha t^{\alpha -1}\) and integrating over [0, 1] respect to t, similarly we have (2.7) and we omit the details. \(\square \)
Remark 2.4
In Theorem 2.3, if one takes \(\alpha =1\), one has the inequality (1.3).
Theorem 2.5
Let \(f:I\subseteq \left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a harmonically convex function and \(a,b\in I\) with \(a<b\). If \(f\in L \left[ a,b\right] \), then the following inequality for the Riemann–Liouville fractional integrals holds:
where \(h\left( x\right) =\frac{1}{x}\) and \(\alpha >0\).
Proof
Adding the inequalities (2.1) and (2.7) side by side, then multiplying the resulting inequalities by \( \frac{1}{2}\), we have the inequalities (2.10). \(\square \)
Remark 2.6
In Theorem 2.5, if one takes \(\alpha =1\), one has the inequality (1.3).
Corollary 2.7
The left-hand side of (2.10) is better than the left-hand side of (1.4).
Proof
Since f is harmonically convex on [a, b], it is clear from
\(\square \)
3 Lemmas
In this section, we will prove two new identities used in the forward results.
Lemma 3.1
Let \(f:I\subseteq \left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\) (the interior of the interval I) such that \(f^{\prime }\in L[a,b]\), where \(a,b\in I^{\circ }\) with \(a<b\) . Then the following equality for the right Riemann–Liouville fractional integral holds:
where \(h\left( x\right) =\frac{1}{x}\) and \(\alpha >0\).
Proof
It can be proved directly by applying the partial integration to the right-hand side of Eq. (3.1) as follows:
This completes the proof. \(\square \)
Remark 3.2
In Lemma 3.1, if one takes \(\alpha =1\), one has [4, Lemma 2.5].
Lemma 3.3
Let \(f:I\subseteq \left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\) (the interior of the interval I) such that \(f^{\prime }\in L[a,b]\), where \(a,b\in I^{\circ }\) with \(a<b\). Then the following equality for the left Riemann–Liouville fractional integral holds:
where \(h\left( x\right) =\frac{1}{x}\) and \(\alpha >0\).
Proof
Similar to the proof of Lemma 3.1, it can be proved directly by applying the partial integration to the right-hand side of Eq. (3.3) and we omit the details. \(\square \)
Remark 3.4
In Lemma 3.3, if one takes \(\alpha =1\), one has [4, Lemma 2.5].
4 Some new trapezoid type inequalities for harmonically convex functions
Theorem 4.1
Let \(f:I\subseteq \,( 0,\infty ) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) and \(a<b\). If \(f^{\prime }\in L[ a,b] \) and \(\vert f^{^{\prime }}\vert ^{q}\) harmonically convex on [a, b] for \(q\ge 1\) , then we have the following inequalities:
where
and \(\alpha >0\).
Proof
Using Lemma 3.1, power mean inequality and harmonically convexity of \(\vert f^{^{\prime }}\vert ^{q}\), we have
Calculating the appearing integrals in (4.2), we have
and
and
If we use (4.3)–(4.5) in (4.2), we have (4.1). This completes the proof. \(\square \)
Remark 4.2
In Theorem 4.1, if one takes \(\alpha =1\), one has [4, Theorem 2.6].
Theorem 4.3
Let \(f:I\subseteq \,\left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) and \(a<b\) . If \(f^{\prime }\in L\left[ a,b\right] \) and \(\vert f^{^{\prime }}\vert ^{q}\) harmonically convex on [a, b] for \(q>1\) and \(\frac{1}{q}+\frac{1}{p}=1\), then we have the following inequalities:
where
and \(0<\alpha \le 1\).
Proof
Using Lemma 3.1, Hölder inequality and harmonically convexity of \(\left| f^{^{\prime }}\right| ^{q}\), we have
Calculating the appearing integrals in (4.7) , we have
and
For the following integral, if we use the fact that \(\left| x^{\alpha }-y^{\alpha }\right| \le \left( x-y\right) ^{\alpha }\) for \(0<\alpha \le 1\) and \(0\le x<y\), we have
If we use (4.8)–(4.10) in (4.7), we have (4.6). This completes the proof. \(\square \)
Remark 4.4
In Theorem 4.3, if one takes \(\alpha =1\), one has [4, Theorem 2.7].
Theorem 4.5
Let \(f:I\subseteq \,\left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) and \(a<b\). If \(f^{\prime }\in L\left[ a,b\right] \) and \(\vert f^{^{\prime }}\vert ^{q}\) harmonically convex on [a, b] for \(q\ge 1\), then we have the following inequalities:
where
and \(\alpha >0\).
Proof
Similar to the proof of Theorem 4.1, using Lemma 3.3, power mean inequality and harmonically convexity of \(\vert f^{^{\prime }}\vert ^{q}\), we have (4.11). \(\square \)
Remark 4.6
In Theorem 4.5, if one takes \(\alpha =1\), one has [4, Theorem 2.6].
Theorem 4.7
Let \(f:I\subseteq \,\left( 0,\infty \right) \rightarrow {\mathbb {R}} \) be a differentiable function on \(I^{\circ }\), \(a,b\in I^{\circ }\) and \(a<b\). If \(f^{\prime }\in L\left[ a,b\right] \) and \(\vert f^{^{\prime }}\vert ^{q}\) harmonically convex on \(\left[ a,b\right] \) for \(q>1\) and \(\frac{1}{q}+\frac{1}{p}=1\), then we have the following inequalities:
where \(Z_{4}\left( a,b,\alpha \right) \), \(Z_{5}\left( a,b\right) \) and \( Z_{6}\left( a,b\right) \) are same as in Theorem 4.3 and \(0<\alpha \le 1\).
Proof
Similar to the proof of Theorem 4.3, using Lemma 3.3, H ölder inequality and harmonically convexity of \(\vert f^{^{\prime }}\vert ^{q}\), we have (4.12). \(\square \)
Remark 4.8
In Theorem 4.3, if one takes \(\alpha =1\), one has [4, Theorem 2.7].
References
Awan, M.U.; Noor, M.A.; Mihai, M.V.; Noor, K.I.: Inequalities via harmonic convex functions: conformable fractional calculus approach. J. Math. Inequal. 12(1), 143–153 (2018)
Chen, F.; Wu, S.: Fejer and Hermite–Hadamard type inequalities for harmonically convex functions. J. Appl. Math., Article ID: 386806, 1–6 (2014)
Dragomir, S.S.: Inequalities of Hermite–Hadamard type for \(HA\)-convex functions. Moroc. J. Pure Appl. Anal. 3(1), 83–101 (2017)
İşcan, İ.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 46(6), 935–942 (2014)
İşcan, İ.; Kunt, M.; Yazıcı, N.: Hermite–Hadamard–Fejer type inequalities for harmonically convex functions via fractional integrals. New Trends Math. Sci. 4(3), 239–253 (2016)
İşcan, İ.; Wu, S.: Hermite–Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 238, 237–244 (2014)
Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Kunt, M.; İşcan, I.: Hermite–Hadamard type inequalities for harmonically \((\alpha, m) \)-convex functions by using fractional integrals. Konuralp J. Math. 5(1), 201–213 (2017)
Kunt, M.; İşcan, İ.; Yazıcı, N.: Hermite–Hadamard type inequalities for product of harmonically convex functions via Riemann–Liouville fractional integrals. J. Math. Anal. 7(4), 74–82 (2016)
Kunt, M.; İşcan, İ.; Yazıcı, N.; Göz ütok, U.: On new inequalities of Hermite–Hadamard–Fejer type for harmonically convex functions via fractional integrals. SpringerPlus 5(635), 1–19 (2016)
Kunt, M.; Karapınar, D.; Turhan, S.; İşcan, İ.: The right Rieaman–Liouville fractional Hermite–Hadamard type inequalities for convex functions. J. Inequal. Spec. Funct. 9(1), 45–57 (2018)
Kunt, M.; Karapınar, D.; Turhan, S.; İşcan, İ.: The left Rieaman–Liouville fractional Hermite–Hadamard type inequalities for convex functions. Math. Slovaca (2019) (in press)
Mihai, M.V.; Awan, M.U.; Noor, M.A.; Noor, K.I.: Fractional Hermite–Hadamard inequalities containing generalized Mittag–Leffler function. J. Inequal. Appl. 265, 1–13 (2017)
Mumcu, İ.; Set, E.; Akdemir, A.O.: Hermite–Hadamard type inequalities for harmonically convex functions via Katuganpola fractional integrals, Researchgate Preprint (2017). https://www.researchgate.net/publication/319649734
Roberts, A.W.; Varberg, D.E.: Convex Functions. Academic Press, New York (1973)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Şanlı, Z., Kunt, M. & Köroğlu, T. New Riemann–Liouville fractional Hermite–Hadamard type inequalities for harmonically convex functions. Arab. J. Math. 9, 431–441 (2020). https://doi.org/10.1007/s40065-019-0255-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-019-0255-7