Let \(\mathbb{R}\) be the set of real numbers, \(I\subseteq \mathbb{R}\) be an interval, and \(\eta:I\subset \mathbb{R}\rightarrow \mathbb{R}\) be a convex in the classical sense function which satisfies the inequality
$$ \eta \bigl( \kappa s_{1}+ ( 1-\kappa ) s_{2} \bigr) \leq \kappa \eta ( s_{1} ) + ( 1-\kappa ) \eta ( s_{2} ) $$
whenever \(s_{1},s_{2}\in I\) and \(\kappa \in [ 0,1 ] \). Numerous authors have presented inequalities for convex functions, however, because of its wide applicability and importance, one of the most notable is Hermite–Hadamard inequality, which is expressed as follows [4]:
Let \(\eta:I\subset \mathbb{R}\rightarrow \mathbb{R}\) be a convex function on the interval I of real numbers and \(s_{1},s_{2}\in I\) with \(s_{1}< s_{2}\). Then
$$ \eta \biggl( \frac{s_{1}+s_{2}}{2} \biggr) \leq \frac{1}{s_{2}-s _{1}} \int _{s_{1}}^{s_{2}} g(t) \,dt\leq \frac{\eta (s_{1})+\eta (s _{2})}{2}. $$
Both inequalities hold reversed if η is concave. In the field of mathematical inequalities, Hermite–Hadamard inequalities have been considered by numerous mathematicians because of their pertinence and handiness. Various researchers have extended the Hermite–Hadamard inequality to different structures utilizing the classical convex functions. First we recall some important definitions and results which we have used in this paper.
M. Muddassar [5] presented the class of \(s- ( {\alpha,m} ) \)-convex functions as follows:
Definition 1
A function \(\eta: [ {0,\infty } ) \rightarrow [ {0,\infty } ) \) is said to be \(s- ( {\alpha,m} ) \)-convex in the first sense, or f belongs to the class \(K_{m,1}^{\alpha,s}\), if for every \(s_{1},s_{2}\in [ {0, \infty } ] \) and \(\kappa \in [ {0,1} ] \), the following inequality holds:
$$ \eta \bigl( \kappa {s_{1}+m ( {1-}\kappa ) }s_{2} \bigr) \leq \kappa ^{\alpha s}\eta ( s_{1} ) +m \bigl( {1- \kappa ^{\alpha s}} \bigr) \eta ( s_{2} ), $$
where \(( {\alpha,m} ) \in [ {0,1} ] ^{2}\), for some fixed \(s\in ( {0,1} ] \).
Definition 2
A function \(\eta: [ {0,\infty } ) \rightarrow [ {0,\infty } ) \) is said to be \(s- ( {\alpha,m} ) \)-convex function in the second sense, or f belongs to the class \(K _{m,2}^{\alpha,s}\), if for every \(s_{1},s_{2}\in [ {0, \infty } ] \) and \(\kappa \in [ {0,1} ] \), the following inequality holds:
$$ \eta \bigl( \kappa {s_{1}+m ( {1-}\kappa ) }s_{2} \bigr) \leq \bigl( \kappa ^{\alpha } \bigr) ^{s}\eta ( {s_{1}} ) +m \bigl( {1-}\kappa ^{\alpha } \bigr) ^{s}\eta ( s_{2} ) , $$
where \(( {\alpha,m} ) \in [ {0,1} ] ^{2}\), for some fixed \(s\in ( {0,1} ] \).
Definition 3
Let \(f\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
$$ J_{a^{+}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x}(x-t)^{ \alpha -1}f(t)\,dt, \quad a< x, $$
and
$$ J_{b^{-}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b}(t-x)^{ \alpha -1}f(t)\,dt, \quad x< b, $$
respectively, where \(\varGamma (\cdot )\) is the Gamma function defined by \(\varGamma (\alpha )=\int _{0}^{\infty }e^{-u}u^{\alpha -1}\,du\).
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. Properties relating to this operator can be found in [6], and for useful details on Hermite–Hadamard and Simpson’s type inequalities connected with fractional integral inequalities, the interested readers are directed to [7, 8].
In [1], Dragomir and Agarwal obtained inequalities for differentiable convex mappings which are connected with the right-hand side of Hermite–Hadamard (trapezoid) inequality and applied them to obtain some elementary inequalities for real numbers and in numerical integration.
Theorem 1
Let
\(\eta:I\subset R\rightarrow R\)
be a differentiable mapping on
I
where
\(s_{1},s_{2}\in I\)
with
\(s_{1}< s_{2}\). If
\(\vert \eta ^{\prime } \vert ^{q}\)
is convex on
\([s_{1},s_{2}]\), for some
\(q\geq 1\), then the following inequality holds:
$$ \biggl\vert \frac{\eta ({s_{1}})+\eta (s_{2})}{2}-\frac{1}{s_{2}- {s_{1}}} \int _{{s_{1}}}^{s_{2}}\eta (u)\,du \biggr\vert \leq \frac{s_{2}- {s_{1}}}{8} \bigl[ \bigl\vert \eta ^{\prime }({s_{1}}) \bigr\vert + \bigl\vert \eta ^{\prime }(s_{2}) \bigr\vert \bigr]. $$
(1)
In [9], a variant of Hermite–Hadamard-type inequalities was obtained as follows.
Theorem 2
Let
\(\eta:I\subseteq \mathbb{R}\rightarrow \mathbb{R}\)
be a differentiable function on
I
and let
\({s_{1}}\)\(,s_{2}\in I\)
with
\({s_{1}}< s_{2}\). If
\(|\eta ^{\prime }|\)
is a convex function on
\([{s_{1}} { ,s_{2}}]\), then the following inequality holds:
$$ \biggl\vert \frac{1}{s_{2}-{s_{1}}} \int _{{s_{1}}}^{s_{2}}\eta (u)\,du- \eta \biggl( \frac{{s_{1}}+s_{2}}{2} \biggr) \biggr\vert \leq \frac{s _{2}-{s_{1}}}{8} \bigl[ \bigl\vert \eta ^{\prime }({s_{1}}) \bigr\vert + \bigl\vert \eta ^{\prime }(s_{2}) \bigr\vert \bigr]. $$
(2)
In [2], Yang obtained Hermite–Hadamard (trapezoid) inequalities for differentiable mapping for concave functions.
Theorem 3
Let
\(I\subset 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 R\)
and
\(\eta:[s_{1},s_{2}]\rightarrow R\)
be a differentiable function. If
\(\vert \eta ^{\prime } \vert ^{q}\)
is concave on
\([s_{1},s_{2}]\), and
\(1\leq \theta \leq q\), then
$$ \biggl\vert ( P-l ) \eta ( l ) + ( m-Q ) \eta ( m ) + ( Q-P ) \eta ( n ) - \int _{{s_{1}}}^{s_{2}}\eta (u)\,du \biggr\vert \leq K ( P,Q,n,\theta ) J ( P,Q,n,\theta ), $$
(3)
where
$$ K ( P,Q,n,\theta ) = \biggl( \frac{1}{2} \bigl[ ( P-l ) ^{2}+ ( n-P ) ^{2}+ ( Q-n ) ^{2}+ ( m-Q ) ^{2} \bigr] \biggr) ^{\frac{ ( \theta -1 ) }{\theta }}, $$
and
$$\begin{aligned} &J ( P,Q,n,\theta ) \\ &\quad= \biggl( \frac{1}{2} \bigl[ ( P-l ) ^{2}+ ( n-P ) ^{2} \bigr] \biggl\vert \eta ^{\prime } \biggl( \frac{ ( P-l ) ^{2}+ ( n-P ) ^{2} ( 2n-3l+P ) }{3 [ ( P-l ) ^{2}+ ( n-P ) ^{2} ] }+l \biggr) \biggr\vert ^{\theta } \biggr) ^{\frac{ ( \theta -1 ) }{\theta }} \\ &\qquad{}+ \biggl( \frac{1}{2} \bigl[ ( Q-n ) ^{2}+ ( m-Q ) ^{2} \bigr] \biggl\vert \eta ^{\prime } \biggl( m- \frac{ ( Q-n ) ^{2} ( 3m-2n-Q ) + ( m-Q ) ^{3}}{3 [ ( Q-n ) ^{2}+ ( m-Q ) ^{2} ] } \biggr) \biggr\vert ^{\theta } \biggr) ^{\frac{ ( \theta -1 ) }{\theta }}. \end{aligned}$$
Proposition 1
Under the assumptions of Theorem
3
with
\(P=Q=n=\)
\(( l+m ) /2\)
and
\(\theta =1\), we get the following inequality:
$$ \biggl\vert \frac{\eta ({s_{1}})+\eta (s_{2})}{2}-\frac{1}{s_{2}- {s_{1}}} \int _{{s_{1}}}^{s_{2}}\eta (u)\,du \biggr\vert \leq \frac{s_{2}- {s_{1}}}{8} \biggl[ \biggl\vert \eta ^{\prime } \biggl( \frac{5{s_{1}}+s_{2}}{6} \biggr) \biggr\vert + \biggl\vert \eta ^{\prime } \biggl( \frac{{s_{1}}+5s_{2}}{6} \biggr) \biggr\vert \biggr]. $$
(4)
Proposition 2
Under the assumptions of Theorem
3
with
\(P=s_{1}\), \(Q=s_{2}\), \(n= ( l+m ) /2\)
and
\(\theta =1\), we get the following inequality:
$$ \biggl\vert \eta \biggl( \frac{{s_{1}}+s_{2}}{2} \biggr) -\frac{1}{s _{2}-{s_{1}}} \int _{{s_{1}}}^{s_{2}}\eta (u)\,du \biggr\vert \leq \frac{s _{2}-{s_{1}}}{8} \biggl[ \biggl\vert \eta ^{\prime } \biggl( \frac{2{s_{1}}+s _{2}}{3} \biggr) \biggr\vert + \biggl\vert \eta ^{\prime } \biggl( \frac{{s_{1}}+2s _{2}}{3} \biggr) \biggr\vert \biggr]. $$
(5)
The aim of this paper is to build up Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integral using the \(s- ( \alpha,m ) \) convexity, as well as concavity, for functions whose absolute values of the first derivative are convex. The results presented in this paper provide extension of those given in earlier works. The interested readers are referred to [3, 10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25].