- Research
- Open access
- Published:
Some fractional integral inequalities of type Hermite–Hadamard through convexity
Journal of Inequalities and Applications volume 2019, Article number: 111 (2019)
Abstract
In the present article, the authors have established some Hermite–Hadamard type integral inequalities via Riemann–Liouville fractional integrals that generalize Hermite–Hadamard type inequalities and a few other results (Dragomir and Agarwal in Appl. Math. Lett. 11(5):91–95, 1998; Dragomir, Chob and Kimc in J. Math. Anal. Appl. 245(2):489–501, 2000; Yang, Hwang and Tseng in Comput. Math. Appl. 47(2–3):207–216, 2004).
1 Introduction
A function \(g:I\subset \mathbb{R}\rightarrow \mathbb{R}\) is called convex in the classical sense, if the inequality
holds for all \(x,y\in I\) and \(\omega \in [ 0,1 ] \). In fact a large number of articles have been written on inequalities using classical convexity but one of the most important and well known is Hermite–Hadamard’s inequality, This double inequality is stated as follows [4]. Let \(g:I\subset \mathbb{R}\rightarrow \mathbb{R}\) be a convex function on the interval I of real numbers and \(x,y\in I\) with \(x< y\). Then
Both inequalities hold in the reversed direction for g to be concave. Several improvements and extensions of Hermite–Hadamard’s type inequality to different kinds of convexity were established by different researchers.
First we recall some important definitions and results which we have used in this paper.
Definition 1
For \(g\in L_{1}[a,b]\). The left-sided and right-sided Riemann–Liouville fractional integrals of order \(\alpha >0\) with \(a\geq 0\) are defined by
and
respectively, where \(\varGamma (\cdot)\) is Gamma function and its definition is \(\varGamma (\alpha )=\int _{0}^{\infty }e^{-u}u ^{\alpha -1}\,du\). It is to be noted that \(J_{a^{+}} ^{0}g(x)=J_{b^{-}}^{0}g(x)=g(x)\).
In the case of \(\alpha =1\), the fractional integral reduces to the classical integral.
Properties relating to this operator can be found in [5] and for useful details on Hermite-Hadamard type inequalities connected with fractional integral inequalities, we refer the reader to [5,6,7,8,9,10,11,12,13,14,15,16,17] and the references therein.
In [18] Dragomir and Agarwal, obtained inequalities for differentiable convex mappings which are connected with the right-hand side of Hermite-Hadamard’s (trapezoid) inequality and applied them to obtain some elementary inequalities for real numbers and in numerical integration as follows.
Theorem 1
Let \(g:I\subset R\rightarrow R\) be a differentiable mapping on \(I^{o}\) where \(x, y\in I\) with \(x< y\). If \(\vert g^{\prime } \vert ^{q}\) is convex on \([x,y]\), for some \(q\geq 1\) then the following inequality holds:
In [2] Dragomir, obtained inequalities for a Lipschitzian mapping which are in connection with the right-hand side of Hermite-Hadamard’s (trapezoid) inequality.
Theorem 2
Let \(g:I\subset R\rightarrow R\) be a M-Lipschitzian mapping on I where \(x,y\in I\) with \(x< y\), then we have the following inequality:
In [3] Yang, obtained Hermite–Hadamard’s (trapezoid) inequalities for differentiable mapping for concave function.
Theorem 3
Let \(I\subset \mathbb{R}\) be an open interval, \(l,m,n,P,Q \in I\) with \(l\leq P\leq n\leq Q\leq m\) (\(n\neq l,m\)) \(l,m,n\in \mathbb{R}\) and \(g:[x,y]\rightarrow \mathbb{R}\) be a differentiable function. If \(\vert g^{\prime } \vert ^{q}\) is concave on \([x,y]\) and \(1\leq \theta \leq q\), then
where
and
Corollary 1
Under the assumptions of Theorem 3 with \(P=Q=n= ( l+m ) /2\) and \(\theta =1\), we get the following inequality:
The goal of this article is to establish Hermite–Hadamard type inequalities for the Riemann–Liouville fractional integral using convexity as well as concavity, for functions whose absolute values of the first derivative are convex. Here we will derive a general integral inequality for the Riemann–Liouville fractional integral.
2 Main results
Before going on our main result first we prove the following integral inequality.
Lemma 1
Let \(I\subset \mathbb{R}\) be an open interval, \(a,b\in I\) with \(a< b\) and \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function such that \(f^{\prime }\) is integrable and \(0< \alpha \leq 1\) on \((a,b)\) with \(a< b\). If \(|f^{\prime }|\) is convex on \([a,b]\), then we have the following inequality:
where
Proof
Integrating by parts
Analogously
Adding the above equalities, we get
The proof is completed. □
Theorem 4
Let \(I\subset \mathbb{R}\) be an open interval, \(a,b\in I\) with \(a< b\) and \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function such that \(f^{\prime }\) is integrable and \(0<\alpha \leq 1\) on \((a,b)\) with \(a< b\). If \(|f^{\prime }|\) is convex on \([a,b]\), then the following inequality for Riemann–Liouville fractional integrals holds:
where
Proof
Here, utilizing the properties of the modulus in Lemma 1 and convexity of \(|f^{\prime }|\), we have
and analogously
using the convexity on \(|f^{\prime }|\) and the fact that, for \(\alpha \in (0,1]\) and \(\forall t\in {}[ 0,1]\),
and analogously
The proof is completed. □
Remark 1
On letting \(\alpha =1\), \(x=\frac{a+b}{2}\) in Theorem 4, inequality (5) reduces to inequality (1).
Theorem 5
Let \(I\subset \mathbb{R}\) be an open interval, \(a,b\in I\) with \(a< b\) and \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function such that \(f^{\prime }\) is integrable and \(0<\alpha \leq 1\) on \((a,b)\) with \(a< b\). If \(|f^{\prime }|^{q}\) is convex on \([a,b]\), \(q\geq 1\) then the following inequality holds:
where
Proof
By using the properties of the modulus in Lemma 1, we have
and using convexity of \(|f^{\prime }|\), we have
and analogously
using the convexity and the fact that, for \(\alpha \in (0,1]\) and \(\forall t\in {}[ 0,1]\),
and similarly
The proof is completed. □
Corollary 2
On letting \(\alpha =1\), \(x=\frac{a+b}{2}\) and \(\vert f ^{\prime }(a) \vert = \vert f^{\prime } ( b ) \vert \leq M\) in Theorem 5, inequality (6) reduces to the inequality
Remark 2
The obtained inequality (7) is an improvement of the inequality as in (2).
In the following, we obtain an estimate of the Hermite–Hadamard inequality for concave functions.
Theorem 6
Let \(f:[a,b]\rightarrow \mathbb{R}\) be a differentiable function on \((a,b)\) such that \(f^{\prime }\in L_{1}[a,b]\). If \(|f^{\prime }|^{q}\) is concave on \([a,b]\), for some fixed \(p>1\) with \(q=\frac{p}{p-1}\), the following inequality for fractional integrals holds:
Proof
Using the concavity of \(|f^{\prime }|^{q}\) and the power-mean inequality, we obtain
Hence
so \(|f^{\prime }|\) is also concave. By the Jensen integral inequality, we have
and similarly
and
The proof is completed. □
Remark 3
On letting \(\alpha =1\), \(x=\frac{a+b}{2}\) in Theorem 6, inequality (8) reduces to inequality (4).
3 Conclusion
In this article, based on a more general inequality, the authors have determined a few inequalities of Hermite–Hadamard type for functions that possess a first derivative on the interior of an interval of real numbers, by utilizing the Hölder inequality and the assumptions that the mappings \(\vert ( f^{\prime } ) \vert ^{q} \), \(q\geq 1\) are convex and concave. The outcomes exhibited here surely give refinements of those outcomes demonstrated in [1, 2] and [3], and we can get many intriguing results for \(\alpha = 1\) and \(x= \frac{a+b}{2}\).
References
Dragomir, S.-S., Agarwal, R.-P.: Two inequalities for differentiable mapping and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)
Dragomir, S.-S., Chob, Y.-J., Kimc, S.-S.: Inequalities of Hadamard type for Lipschitzian mapping and their applications. J. Math. Anal. Appl. 245(2), 489–501 (2000)
Yang, G.-S., Hwang, D.-Y., Tseng, K.-L.: Some inequalities for differentiable convex and concave mapping. Comput. Math. Appl. 47(2–3), 207–216 (2004)
Beckenbach, E.-F.: Convex functions. Bull. Am. Math. Soc. 54(5), 439–460 (1948)
Kilbas, A.-A., Srivastava, H.-M., Trujillo, J.-J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Mitrinović, D.-S., Lacković, I.-B.: Hermite and convexity. Aequ. Math. 28(1), 229–232 (1985)
Samet, B.: On an implicit convexity concept and some integral inequalities. J. Inequal. Appl. 2016, Article ID 308 (2016)
Almeida, R.-A.: Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Rajba, T.: On strong delta-convexity and Hermite–Hadamard type inequalities for delta-convex functions of higher order. Math. Inequal. Appl. 18(1), 267–293 (2015)
Dragomir, S.-S., Bhatti, M.-I., Iqbal, M., Muddassar, M.: Some new fractional integral Hermite–Hadamard type inequalities. J. Comput. Anal. Appl. 18(4), 655–661 (2015)
Iqbal, M., Qaisar, S., Muddassar, M.: A short note on integral inequality of type Hermite–Hadamard through convexity. J. Comput. Anal. Appl. 21(5), 946–953 (2016)
Bhatti, M.-I., Iqbal, M., Dragomir, S.-S.: Some new fractional integral inequalities Hermite–Hadamard type inequalities. J. Comput. Anal. Appl. 16(4), 643–653 (2015)
Iqbal, M., Qaisar, S., Hussain, S.: On Simpson’s type inequalities utilizing fractional integrals. J. Comput. Anal. Appl. 23(6), 1137–1145 (2016)
Qaisar, S., Iqbal, M., Muddassar, M.: New Hermite–Hadamard’s inequalities for preinvex function via fractional integrals. J. Comput. Anal. Appl. 20(7), 1318–1328 (2016)
Sarikaya, M.-Z., Budak, H.: Generalized Hermite–Hadamard type integral inequalities for fractional integrals. Filomat 30(5), 1315–1326 (2016)
Qaisar, S., Ahmad, F., Dragomir, S.-S., Iqbal, M.: New Hermite–Hadamard’s inequalities via fractional integrals whose absolute values of second derivatives is P-convex and related fractional inequalities. J. Math. Inequal. 12(3), 655–664 (2018)
Qaisar, S., Iqbal, M., Hussain, S., Butt, S.-I., Meraj, M.-A.: New inequalities on Hermite–Hadamard utilizing fractional integrals. Kragujev. J. Math. 42(1), 15–27 (2018)
Sarikaya, M.-Z., Aktan, N.: On the generalization of some integral inequalities and their applications. Math. Comput. Model. 54(9), 2175–2182 (2011)
Acknowledgements
The first author is grateful to Prof. Dr. S.M. Junaid Zaidi, Executive Director and Prof. Dr. Raheel Qamar Rector, COMSATS University Islamabad Sahiwal Campus, Pakistan, for providing excellent research facilities. Fifth and seventh authors are grateful to Prof. Dr. K.T. Ooi, HOD of MAE and Dr. K.C. Leong, Asso. Prof. MAE, Nanyang Technological University Singapore for providing excellent research facilities for this research work too.
Funding
This research [Grant No. 5325/Federal/NRPU/R&D/HEC/2016] was partially supported by the Higher Education Commission of Pakistan.
Author information
Authors and Affiliations
Contributions
Dr. SQ, JN and Prof. Dr. FA analyzed the problem and suggested mathematical modeling. Dr. SIB and Dr. AA generalized the results by proposing various lemmas. This manuscript has been written and revised by Prof. Dr. SH and Dr. MI, who also made some necessary corrections regarding mathematical formulations in the original. Dr. AA, Dr. MI and Prof. Dr. SH prepared a revised version of the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare to have no conflict of interest.
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
Qaisar, S., Nasir, J., Butt, S.I. et al. Some fractional integral inequalities of type Hermite–Hadamard through convexity. J Inequal Appl 2019, 111 (2019). https://doi.org/10.1186/s13660-019-2054-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2054-2