Abstract
In this paper, we establish a new Hermite–Hadamard inequality involving left-sided and right-sided ψ-Riemann–Liouville fractional integrals via convex functions. We also show two basic ψ-Riemann–Liouville fractional integral identities including the first order derivative of a given convex function, and these will be used to derive estimates for some fractional Hermite–Hadamard inequalities. Finally, we give some applications to special means of real numbers.
Similar content being viewed by others
1 Introduction and preliminaries
It is well known that Hermite established the following Hermite–Hadamard integral inequality:
where \(f:[a,b]\subset R\rightarrow R\) is a convex function (see [6]). This inequality provides a lower and an upper estimate for the integral average of any convex function defined on a compact interval. For generalizations of the classical Hermite–Hadamard inequality, see [1,2,3,4, 6,7,8, 10,11,12] and the references therein.
In the last decade, fractional calculus [5] has played an important role in various scientific fields since it is a good tool to describe long-memory processes. In [7], the authors established Hermite–Hadamard’s inequalities for Riemann–Liouville fractional integrals and some Hermite–Hadamard type integral inequalities for fractional integrals; in [8], the authors obtained some new inequalities of Ostrowski type involving fractional integrals; and in [9], the authors presented some properties and results on fractional calculus using the ψ-Hilfer fractional derivative. Fractional Hermite–Hadamard inequalities for Riemann–Liouville and Hadamard fractional integrals have been studied extensively in the literature, but there are only a few results concerning Hermite–Hadamard inequalities for ψ-Riemann–Liouville fractional integrals via convex functions. In [10,11,12], the authors extended the classical Hermite–Hadamard type inequalities to Riemann–Liouville and Hadamard fractional integral cases, which can be used to find lower and upper bounds for fractional integral for some given convex functions.
Definition 1.1
(see [5] or [9, Definition 4])
Let \((a,b)\) (\(-\infty \leq a< b\leq \infty \)) be a finite or infinite interval of the real line R and \(\alpha >0 \). Also let \(\psi (x)\) be an increasing and positive monotone function on \((a,b]\), having a continuous derivative \(\psi '(x)\) on \((a,b)\). The left- and right-sided ψ-Riemann–Liouville fractional integrals of a function f with respect to another function ψ on \([a,b]\) are defined by
respectively; here \(\varGamma (\cdot )\) is the gamma function.
The aim of this paper is to establish Hermite–Hadamard’s inequality for fractional integrals \(I^{{\alpha }:\psi }_{a^{+}} f(x)\) and \(I^{{\alpha }: \psi }_{b^{-}} f(x)\) and derive some related integral inequalities by using new identities for ψ-fractional integrals.
2 Hermite–Hadamard inequality for ψ-Riemann–Liouville fractional integrals
Theorem 2.1
Let \(0\leq c< d\), \(g:[c,d]\rightarrow R\) be a positive function and \(g\in L_{1}[c,d]\). Also suppose that g is a convex function on \([c,d]\), \(\psi (x)\) is an increasing and positive monotone function on \((c,d]\), having a continuous derivative \(\psi '(x)\) on \((a,b)\) and \(\alpha \in (0,1)\). Then the following fractional integral inequalities hold:
Proof
Let \(x,y\in [c,d]\). Since \(g:[c,d]\rightarrow R\) is a convex function, from (1) we have
Let \(x=tc+(1-t)d\), \(y=(1-t)c+td\), and put x, y into (3), so we have
Multiply both sides of (4) by \(t^{\alpha -1}\) and then integrate, so we have
Next,
where (5) is used, so the left-hand side inequality in (2) is proved.
To prove the right-hand side inequality in (2), since g is a convex function, then for \(t\in [0,1]\), we have
and
Now
i.e.,
Multiply both sides of (6) by \(t^{\alpha -1}\) and then integrate, so we obtain
i.e.,
The proof is complete. □
3 Hermite–Hadamard type inequalities for ψ-Riemann–Liouville fractional integrals
Lemma 3.1
Let \(c< d\) and \(g:[c,d]\rightarrow R\) be a differentiable mapping on \((c,d)\). Also suppose that \(g'\in L[c,d]\), \(\psi (x)\) is an increasing and positive monotone function on \((c,d]\), having a continuous derivative \(\psi '(x)\) on \((c,d)\) and \(\alpha \in (0,1)\). Then the following equality for fractional integrals holds:
Proof
Let \(I_{1}=\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}I^{{\alpha }: \psi }_{\psi ^{-1}(c)^{+}} (g\circ \psi )(\psi ^{-1}(d))\) and \(I_{2}=\frac{\varGamma (\alpha +1)}{2(d-c)^{\alpha }}I^{{\alpha }:\psi } _{\psi ^{-1}(d)^{-}} (g\circ \psi )(\psi ^{-1}(c))\). Then
and
It follows that
The proof is complete. □
Lemma 3.2
Let \(c< d\) and \(g:[c,d]\rightarrow R\) be a differentiable mapping on \((c,d)\). Also suppose that \(g'\in L[c,d]\), \(\psi (x)\) is a positive monotone function increasing on \((c,d]\), having a continuous derivative \(\psi '(x)\) on \((c,d)\) and \(\alpha \in (0,1)\). Then the following equality for fractional integrals holds:
where
Proof
Let
and
Note that
The proof is complete. □
Example 3.3
Let \(a=1\), \(b=2\), \(\alpha =\frac{1}{2}\), \(f(x)=x^{2}\), \(\psi (x)=x\). Then all the assumptions in Theorem 2.1 are satisfied. Clearly, \(f(\frac{a+b}{2})=\frac{9}{4}\) and
and then the left-hand side term of (7) \(\Longleftrightarrow \frac{71}{30}-\frac{9}{4}=\frac{7}{60}\).
On the other hand,
and k is defined in (8). Next,
and then the right-hand side term of (7) \(\Longleftrightarrow \frac{1}{4}-\frac{2}{15}=\frac{7}{60}\).
Theorem 3.4
Let \(c< d\) and \(g:[c,d]\rightarrow R\) be a differentiable mapping on \((c,d)\). Also suppose that \(\vert g' \vert \) is convex on \([c,d]\), \(\psi (x) \) is a positive monotone function increasing on \((c,d]\), having a continuous derivative \(\psi '(x)\) on \((c,d)\) and \(\alpha \in (0,1)\). Then the following inequality for fractional integrals holds:
Proof
For every \(v\in (\psi ^{-1}(c),\psi ^{-1}(d))\), we have \(c<\psi (v)<d\). Let \(t=\frac{d-\psi (v)}{d-c}\), and then \(\psi (v)=ct+(1-t)d\). Using Lemma 3.1 and the convexity of \(\vert g' \vert \), we obtain
where
Note
and
The proof is complete. □
Theorem 3.5
Let \(g:[c,d]\rightarrow R\) be a differentiable mapping on \((c,d)\) with \(c< d\). Also suppose that \(\vert g' \vert \) is convex on \([c,d]\), \(\psi (x)\) is an increasing and positive monotone function on \((c,d]\), having a continuous derivative \(\psi '(x)\) on \((c,d)\) and \(\alpha \in (0,1)\). Then the following inequality for fractional integrals holds:
Proof
Using Lemma 3.2 and the convexity of \(\vert g' \vert \), we obtain
where
and k is defined in (8).
From Theorem 3.4,
Also we easily obtain
Then put (11) and (12) in (10), and we obtain inequality (9). This completes the proof. □
4 Examples
We consider the following special means for arbitrary real numbers α, β, \(\alpha \neq \beta \):
Now, using the results in Sect. 3, we have some applications to the special means of real numbers.
Proposition 4.1
Let \(a,b\in R^{+}\), \(a< b\). Then
Proof
Apply Theorem 3.4 with \(f(x)=x^{2}\), \(\psi (x)=x\), \(\alpha =1\), and we obtain the result immediately. □
Let \(f(x)=x^{n}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we have the general result
Proposition 4.2
Proof
Apply Theorem 3.4 with \(f(x)=e^{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □
Proposition 4.3
Proof
Apply Theorem 3.4 with \(f(x)=\frac{1}{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □
Proposition 4.4
Proof
Apply Theorem 3.5 with \(f(x)=\frac{1}{x}\), \(\psi (x)=x\), \(\alpha =1\), \(a,b\in R^{+}\), \(a< b\). Then we obtain the result immediately. □
References
Avci, M., Kavurmaci, H., Ödemir, M.E.: New inequalities of Hermite–Hadamard type via s-convex functions in the second sense with applications. Appl. Math. Comput. 217, 5171–5176 (2011)
Bessenyei, M.: The Hermite–Hadamard inequality in Beckenbach’s setting. J. Math. Anal. Appl. 364, 366–383 (2010)
Cal, J., Carcamob, J., Escauriaza, L.: A general multidimensional Hermite–Hadamard type inequality. J. Math. Anal. Appl. 356, 659–663 (2009)
Dragomir, S.S., Fitzpatrick, S.: The Hadamard’s inequality for s-convex functions in the second sense. Demonstr. Math. 32, 687–696 (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Mitrinović, D.S., Lacković, I.B.: Hermite and convexity. Aequ. Math. 28, 229–232 (1985)
Sarikaya, M.Z., Set, E., Yaldiz, H., Başak, 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)
Sousa, J.V.C., Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Wang, J., Fečkan, M.: Fractional Hermite–Hadamard Inequalities. de Gruyter, Berlin (2018)
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, 2241–2253 (2013)
Wang, J., Li, X., Zhu, C.: Refinements of Hermite–Hadamard type inequalities involving fractional integrals. Bull. Belg. Math. Soc. Simon Stevin 20, 655–666 (2013)
Funding
This work is partially supported by Training Object of High Level and Innovative Talents of Guizhou Province ((2016)4006), Science and Technology Program of Guizhou Province ([2017]5788-10), and Major Research Project of Innovative Group in Guizhou Education Department ([2018]012).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
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
Liu, K., Wang, J. & O’Regan, D. On the Hermite–Hadamard type inequality for ψ-Riemann–Liouville fractional integrals via convex functions. J Inequal Appl 2019, 27 (2019). https://doi.org/10.1186/s13660-019-1982-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-1982-1