Abstract
In this article, a new general integral identity involving generalized fractional integral operators is established. With the help of this identity new Hermite-Hadamard type inequalities are obtained for functions whose absolute values of derivatives are convex. As a consequence, the main results of this paper generalize the existing Hermite-Hadamard type inequalities involving the Riemann-Liouville fractional integral.
Similar content being viewed by others
1 Introduction and preliminaries
During the last century the theory of convexity has emerged as an interesting and fascinating field of mathematics. It plays a pivotal role in optimization theory, functional analysis, control theory and economics etc.
A function \(f:I\subseteq\mathbb{R}\rightarrow\mathbb{R}\) is said to be convex if the inequality
holds for all \(x,y\in I \) and \(t\in [ 0,1 ] \).
The following inequality is a so-called classical Hermite-Hadamard type inequality for convex functions. Let \(f:I=[a,b]\subseteq\mathbb{R} \rightarrow\mathbb{R}\) be a convex function and \(a,b\in I\) with \(a< b\), then
This inequality is one of the most useful inequalities in mathematical analysis. For new proofs, noteworthy extension, generalizations and numerous applications on this inequality, see, e.g., [1–3] where further references are given.
The relationship between theory of convexity and theory of inequalities has motivated many researchers to study these theories in depth. As a consequence of this fact several inequalities have been obtained via convex functions; see [1].
The history of fractional calculus can be traced back to the letter of L’Hospital to Leibniz in which he inquired him about the notation he was using for the nth derivative of the linear function \(f(x)=x\), \(\frac{\mathrm{D}^{n}x}{\mathrm{D}x^{n}}\). L’Hospital asked the question: what would the result be if \(n=\frac{1}{2}\). Leibniz replied: An apparent paradox, from which one day useful consequences will be drawn. Nowadays fractional calculus has become a powerful tool in many branches of mathematics. Sarikaya et al. [4] used the definitions of Riemannn-Liouville integrals and developed a new generalization of Hermite-Hadamard inequality. This result inspired many researchers to study this area. For more details, and for recent results and recently found properties concerning this operator one can consult [4–12].
We need some definition and mathematical preliminaries of fractional calculus theory for using in this study as follows.
Definition 1.1
Let \(f\in L[a,b]\). The Riemann-Liouville integrals \(J_{a+}^{\alpha}f\) and \(J_{b-}^{\alpha}f\) of order \(\alpha> 0\) with \(a\geq0\) are defined by
and
respectively. Here \(\Gamma(t)\) is the Gamma function and its definition is \(\Gamma(t)=\int_{0}^{\infty}e^{-x}x^{t-1}\,dx\). It is to be noted that \(J_{a+}^{0}f(x)=J_{b-}^{0}f(x)=f(x)\); in the case of \(\alpha=1\), the fractional integral reduces to the classical integral.
In [13], Zhu et al. established a new identity for differentiable convex mappings via the Riemann-Liouville fractional integral.
Lemma 1.1
[13]
Let \(f:[a,b]\rightarrow\mathbb{R}\) be a differentiable mapping on \((a,b)\) with \(a< b\). If \(f^{\prime}\in L[a,b]\), then the following equality for fractional integrals hold:
where
Using the above identity, they gave the following result for the Riemann-Liouville fractional integral.
Theorem 1.1
[13]
Let \(f:[a,b]\rightarrow\mathbb{R}\) be a differentiable mapping on \((a,b)\) with \(a< b\). If \(\vert f^{\prime} \vert \) is convex on \([a,b]\), then the following fractional inequality for fractional integrals holds:
In [14], Raina introduced a class of functions defined formally by
where the coefficients \(\sigma(k)\) (\(k\in\mathbb{N}=\mathbb{N} \cup\{0\}\)) are a bounded sequence of positive real numbers and R is the set of real numbers. With the help of (1.4), Raina [14] and Agarwal et al. [15] defined the following left-sided and right-sided fractional integral operators, respectively:
where \(\lambda,\rho>0\), \(w\in\mathbb{R}\) and \(\varphi(t)\) is such that the integral on the right side exists. Recently some new integral inequalities involving this operator have appeared in the literature (see, e.g., [15–22]).
It is easy to verify that \(\mathcal{J}_{\rho,\lambda,a+;w}^{\sigma }\varphi(x)\) and \(\mathcal{J}_{\rho,\lambda,b-;w}^{\sigma}\varphi (x)\) are bounded integral operators on \(L(a,b)\), if
In fact, for \(\varphi\in L(a,b)\), we have
and
where
Here, many useful fractional integral operators can be obtained by specializing the coefficient \(\sigma(k)\). For instance the classical Riemann-Liouville fractional integrals \(J_{a+}^{\alpha}\) and \(J_{b-}^{\alpha}\) of order α follow easily by setting \(\lambda=\alpha\), \(\sigma(0)=1\) and \(w=0\) in (1.5) and (1.6).
Motivated by the work in [13–15], firstly, we will prove a generalization of the identity given by Zhu et al. using generalized fractional integral operators. Then we will give some new Hermite-Hadamard type inequalities, which are generalizations of the results in [13] to the case \(\lambda=\alpha\), \(\sigma(0)=1\) and \(w=0\). Our results can be viewed as a significant extension and generalization of the previously known results.
2 Results and discussions
In this section, we derive our main results. For the sake of simplicity, we denote
Lemma 2.1
Let \(f :[a,b]\to\mathbb{R}\) be a differentiable mapping on \((a,b)\) with \(a< b\). If \(f^{\prime} \in L[a,b] \), then the following equality for generalized fractional integral operators holds:
where
\(\rho,\lambda>0\), \(w\in\mathbb{R}\).
Proof
It suffices to note that
Changing variables with \(x=ta+(1-t)b\), we get
Integrating by parts, we have
Analogously
□
Substituting the resulting equalities into equality (2.1), we have
Thus, multiplying both sides by \(\frac{(b-a)}{2}\), the result is obtained.
Remark 2.1
Choosing \(\lambda=\alpha\), \(\sigma(0)=1\) and \(w=0\) in Lemma 2.1, equality (2.1) reduces to equality (1.2).
Theorem 2.1
Let \(f :[a,b]\to\mathbb{R}\) be a differentiable function on \([a,b]\) with \(a< b\). If \(\vert f^{\prime} \vert \) is convex on \((a,b)\), then the following inequality for generalized fractional integral operators holds:
where
\(\rho,\lambda>0\), \(w\in\mathbb{R}\), \(s\in(0,1]\).
Proof
Using Lemma 2.1 and convexity of \(\vert f^{\prime} \vert \), we have
using the facts that
and
Thus the proof is completed. □
Remark 2.2
Choosing \(\lambda=\alpha\), \(\sigma(0)=1\) and \(w=0\) in Theorem 2.1, inequality (2.5) reduces to inequality (1.3).
Theorem 2.2
Let \(f :[a,b]\to\mathbb{R}\) be a differentiable function on \((a,b)\) with \(a< b\). If \(\vert f^{\prime} \vert ^{q}\) is convex and \(q>1\) with \(\frac{1}{p}+\frac{1}{q}=1\), then the following inequality for generalized fractional integral operators holds:
where
\(\rho,\lambda>0\) and \(w\in\mathbb{R}\).
Proof
By using Lemma 2.1, we have
Using the well-known Hölder inequality and convexity of \(\vert f^{\prime} \vert ^{q}\) we get
Thus
and
where we used that \((A-B)^{p}\leq A^{p}-B^{p}\) for any \(A\geq B \geq0\) and \(p \geq1\) in (2.10) and (2.11).
Let \(a_{1}=3 \vert f^{\prime}(a) \vert ^{q}\), \(b_{1}= \vert f^{\prime}(b) \vert ^{q}\), \(a_{2}= \vert f^{\prime }(a) \vert ^{q}\), \(b_{2}=3 \vert f^{\prime}(b) \vert ^{q} \). Here \(0 < \frac{1}{q}< 1\) for \(q>1\). We use the fact that
For \(0\leq s<1\), \(a_{1},a_{2},a_{3},\ldots,a_{n}\geq0\), \(b_{1},b_{2},b_{3},\ldots,b _{n}\geq0\). Combining the inequalities (2.10) with (2.11) we obtain
and
Thus putting the inequalities (2.9), (2.12) and (2.13) in (2.8), the proof is completed. □
Corollary 2.1
Choosing \(\lambda=\alpha\), \(\sigma(0)=1\) and \(w=0\) in Theorem 2.2, inequality (2.7) becomes the following inequality:
3 Conclusion
In this paper, we have obtained a new fractional integral identity. Utilizing this new identity as an auxiliary result, we have obtained some new variants of Hermite-Hadamard type inequalities. The results derived in this paper become natural generalizations of classical results. It is expected that the interested reader may find useful applications of these results and consequently this paper may stimulate further research in this area.
References
Dragomir, SS, Pearce, CEM: Selected Topics on Hermite-Hadamard Inequalities and Applications. RGMIA Monographs. Victoria University (2000)
Mitrinović, DS, Lacković, IB: Hermite and convexity. Aequ. Math. 28, 229-232 (1985)
Set, E, Özdemir, ME, Sarıkaya, MZ: Inequalities of Hermite-Hadamard’s type for functions whose derivatives absolute values are m-convex. AIP Conf. Proc. 1309(1), 861-873 (2010)
Sarıkaya, MZ, Set, E, Yaldız, H, Başak, N: Hermite-Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403-2407 (2013)
Dahmani, Z: New inequalities in fractional integrals. Int. J. Nonlinear Sci. 9(4), 493-497 (2010)
Dahmani, Z, Tabharit, L, Taf, S: New generalizations of Grüss inequality using Riemann-Liouville fractional integrals. Bull. Math. Anal. Appl. 2(3), 93-99 (2010)
Gorenflo, R, Mainardi, F: Fractional calculus: integral and differential equations of fractional order. In: Fractals and Fractional Calculus in Continuum Mechanics, pp. 223-276. Springer, Wien (1997)
Noor, MA, Cristescu, G, Awan, MU: Generalized fractional Hermite-Hadamard inequalities for twice differentiable s-convex functions. Filomat 29(4), 807-815 (2015)
Sarıkaya, MZ, Yıldı rım, H: On Hermite-Hadamard type inequalities for Riemannn-Liouville fractional integrals. Miskolc Math. Notes 17(2), 1049-1059 (2016)
Set, E, Sarıkaya, MZ, Özdemir, ME, Yıldı rım, H: The Hermite-Hadamard’s inequality for some convex functions via fractional integrals and related results. J. Appl. Math. Stat. Inform. 10(2), 69-83 (2014)
Set, E: New inequalities of Ostrowski type for mapping whose derivatives are s-convex in the second sense via fractional integrals. Comput. Math. Appl. 63, 1147-1154 (2012)
Set, E, İşcan, İ, Sarıkaya, MZ, Özdemir, ME: On new inequalities of Hermite-Hadamard-Fejer type for convex functions via fractional integrals. Appl. Math. Comput. 259, 875-881 (2015)
Zhu, C, Feckan, M, Wang, J: Fractional integral inequalities for differentiable convex mappings and applications to special means and a midpoint formula. J. Appl. Math. Stat. Inform. 8(2), 21-28 (2012)
Raina, RK: On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 21(2), 191-203 (2005)
Agarwal, RP, Luo, M-J, Raina, RK: On Ostrowski type inequalities. Fasc. Math. 204, 5-27 (2016)
Set, E, Gözpınar, A: Some new inequalities involving generalized fractional integral operators for several class of functions. AIP Conf. Proc. 1833, 020038 (2017). doi:10.1063/1.4981686
Set, E, Gözpınar, A: Hermite-Hadamard type inequalities for convex functions via generalized fractional integral operators. ResearchGate. https://www.researchgate.net/publication/312378686
Set, E, Akdemir, AO, Çelik, B: On generalization of Fejér type inequalities via fractional integral operator. ResearchGate. https://www.researchgate.net/publication/311452467
Set, E, Çelik, B: On generalization related to the left side of Fejér’s inequalites via fractional integral operator. ResearchGate. https://www.researchgate.net/publication/311651826
Set, E, Choi, J, Çelik, B: A new approach to generalized of Hermite-Hadamard inequality using fractional integral operator. ResearchGate. https://www.researchgate.net/publication/313437121
Usta, F, Budak, H, Sarıkaya, MZ, Set, E: On generalization of trapezoid type inequalities for s-convex functions with generalized fractional integral operators. Filomat (accepted)
Yaldız, H, Sarıkaya, MZ: On the Hermite-Hadamard type inequalities for fractional integral operator. ResearchGate. https://www.researchgate.net/publication/309824275
Acknowledgements
The authors are thankful to the anonymous referee for his/her valuable comments and suggestions. The authors are pleased to acknowledge the support of Distinguished Scientist Fellowship Program (DSFP), King Saud University, Riyadh, Saudi Arabia. Third author is thankful to HEC, Pakistan for SRGP project 21-985/SRGP/R&D/HEC/2016.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
ES, MAN, MUA and AG worked jointly. All the authors read and approved the final manuscript.
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
Set, E., Noor, M.A., Awan, M.U. et al. Generalized Hermite-Hadamard type inequalities involving fractional integral operators. J Inequal Appl 2017, 169 (2017). https://doi.org/10.1186/s13660-017-1444-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1444-6