1 Introduction
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
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]:
$$ \eta \bigl( \kappa s_{1}+ ( 1-\kappa ) s_{2} \bigr) \leq \kappa \eta ( s_{1} ) + ( 1-\kappa ) \eta ( s_{2} ) $$
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
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.
$$ \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}. $$
Anzeige
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:
where \(( {\alpha,m} ) \in [ {0,1} ] ^{2}\), for some fixed \(s\in ( {0,1} ] \).
$$ \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} ), $$
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:
where \(( {\alpha,m} ) \in [ {0,1} ] ^{2}\), for some fixed \(s\in ( {0,1} ] \).
$$ \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} ) , $$
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
and
respectively, where \(\varGamma (\cdot )\) is the Gamma function defined by \(\varGamma (\alpha )=\int _{0}^{\infty }e^{-u}u^{\alpha -1}\,du\).
$$ J_{a^{+}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x}(x-t)^{ \alpha -1}f(t)\,dt, \quad a< x, $$
$$ J_{b^{-}}^{\alpha }f(x)=\frac{1}{\varGamma (\alpha )} \int _{x}^{b}(t-x)^{ \alpha -1}f(t)\,dt, \quad x< b, $$
Anzeige
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
where
and
$$ \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)
$$ 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 }}, $$
$$\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‐25].
2 Main results
In order to prove our main results, we need the following integral inequality
Lemma 1
Let
\(f:[a,b]\rightarrow \mathbb{R}\)
be a differentiable function on
\((a,b)\)
with
\(a< b\), such that
\(f^{\prime }\)
is integrable. Then the following inequality for Riemann–Liouville fractional integrals holds with
\(0<\alpha \leq 1\):
where
\(L_{1}=\int _{0}^{1} [ ( 1-t ) ^{\alpha }-\lambda ] f^{\prime } ( ta+(1-t)\frac{a+b}{2} ) \,dt \), \(L_{2}=\int _{0}^{1} [ \lambda - ( 1-t ) ^{\alpha } ] f^{\prime } ( tb+(1-t) \frac{a+b}{2} ) \,dt\), \(L_{3}=\int _{0}^{1} [ 2^{ \alpha }-\lambda - ( 2-t ) ^{\alpha } ] f^{\prime } ( t\frac{a+b}{2}+(1-t)a ) \,dt\), \(L_{4}=\int _{0}^{1} [ \lambda -2^{\alpha }+ ( 2-t ) ^{\alpha } ] f^{\prime } ( t\frac{a+b}{2}+(1-t)b ) \,dt\).
$$\begin{aligned} & \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \\ &\quad\leq \frac{b-a}{2^{\alpha +1}} \bigl[ L_{1}+L_{2}+ ( L_{3}+L _{4} ) \bigr], \end{aligned}$$
Proof
A simple proof of this inequality can be obtained by integrating by parts. The details are left to the interested readers. □
Using Lemma 1 the following results can be obtained.
Theorem 4
Let
\(f:[a,b]\rightarrow \mathbb{R}\)
be a differentiable function on
\((a,b)\)
with
\(a< b\)
such that
\(f^{\prime }\)
is integrable. If
\(|f^{\prime }|\)
is
\(s- ( \alpha,m ) \)
convex on
\([a,b]\), then the following inequality for Riemann–Liouville fractional integrals holds with
\(0<\alpha \leq 1\):
where
$$\begin{aligned} & \biggl\vert \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+f(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \biggr\vert \\ &\quad \leq \biggl[ \biggl\{ M_{1} \bigl\vert f^{\prime }(a) \bigr\vert +2m ( M_{2}-M_{1} ) \biggl\vert f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert +M _{1} \bigl\vert f^{\prime }(b) \bigr\vert \biggr\} \\ &\qquad{} + \biggl\{ M_{3} \bigl\vert f^{\prime }(a) \bigr\vert +m ( M_{4}-M_{3} ) \biggl\vert f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert +M _{3} \bigl\vert f^{\prime }(b) \bigr\vert \biggr\} \biggr], \\ &M_{1}= \int _{0}^{1} \bigl\vert (1-t)^{\alpha }- \lambda \bigr\vert t ^{\alpha s}\,dt=\frac{(\alpha s)!}{ ( \alpha s+s+1 ) !}- \frac{ \lambda }{ ( s+1 ) }, \\ &M_{2} = \int _{0}^{1} \bigl\vert (1-t)^{\alpha }- \lambda \bigr\vert \,dt \\ &\phantom{M_{2} }=\frac{1-2(1-\zeta )^{\alpha +1}}{\alpha +1}+(1-2\zeta )\lambda, \\ &M_{3} = \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert t^{\alpha s} \,dt \\ &\phantom{M_{3}}=\frac{2^{\alpha s}}{s+1}-2^{\alpha s} \biggl[ \frac{1}{ ( s+1 ) }- \frac{\alpha s}{2 ( s+1 ) } \biggr] -\frac{ \lambda }{ ( s+1 ) }, \\ &M_{4} = \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \,dt \\ &\phantom{M_{4} }=\frac{1+2^{\alpha +1}-2(2-\xi )^{\alpha +1}}{\alpha +1}+ \bigl(2^{\alpha }-\lambda \bigr) (1-2\xi ), \end{aligned}$$
(6)
$$ \zeta =1-\lambda ^{\frac{1}{\alpha }}\quad\textit{and}\quad\xi =2- \bigl(2^{\alpha }-\lambda \bigr)^{\frac{1}{\alpha }}. $$
Proof
Using \(s- ( \alpha,m ) \) convexity of \(|f^{\prime }|\), for all \(t\in [ 0,1 ] \), we obtain:
□
$$\begin{aligned} \vert L_{1} \vert &\leq \int _{0}^{1} \bigl((1-t)^{\alpha }- \lambda \bigr) \biggl\vert f^{\prime } \biggl(ta+(1-t) \frac{a+b}{2} \biggr) \biggr\vert \,dt \\ &= \int _{0}^{1} \bigl( (1-t)^{\alpha }- \lambda \bigr) \biggl\vert t^{\alpha s}f^{\prime }(a)+m \bigl(1-t^{\alpha s} \bigr)f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert \,dt \\ &\leq \int _{0}^{1} \bigl( (1-t)^{\alpha }- \lambda \bigr) \biggl\{ t^{\alpha s} \bigl\vert f^{\prime }(a) \bigr\vert +m \bigl(1-t^{\alpha s} \bigr) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert \biggr\} \,dt \\ &=M_{1} \bigl\vert f^{\prime }(a) \bigr\vert +m ( M_{2}-M_{1} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert , \\ \vert L_{2} \vert &\leq \int _{0}^{1} \bigl( (1-t)^{\alpha }- \lambda \bigr) \biggl\vert f^{\prime } \biggl(tb+(1-t) \frac{a+b}{2} \biggr) \biggr\vert \,dt \\ &= \int _{0}^{1} \bigl( (1-t)^{\alpha }- \lambda \bigr) \biggl\vert t^{\alpha s}f^{\prime }(b)+m \bigl(1-t^{\alpha s} \bigr)f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert \,dt \\ &\leq \int _{0}^{1} \bigl( (1-t)^{\alpha }- \lambda \bigr) \biggl\{ t^{\alpha s} \bigl\vert f^{\prime }(b) \bigr\vert +m \bigl(1-t^{\alpha s} \bigr) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert \biggr\} \,dt \\ &=M_{1} \bigl\vert f^{\prime }(b) \bigr\vert +m ( M_{2}-M_{1} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert , \\ \vert L_{3} \vert &= \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ \biggl\vert f^{\prime } \biggl(t \frac{a+b}{2}+(1-t)a \biggr) \biggr\vert \biggr\} \,dt \\ &= \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ \biggl\vert t^{\alpha s}f^{\prime } \biggl( \frac{a+b}{2} \biggr)+m \bigl(1-t^{\alpha s} \bigr)f ^{\prime }(a) \biggr\vert \biggr\} \,dt \\ &\leq \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ t^{\alpha s} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert +m \bigl(1-t^{\alpha s} \bigr) \bigl\vert f^{\prime }(a) \bigr\vert \biggr\} \,dt \\ &=M_{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert +m ( M _{4}-M_{3} ) \bigl\vert f^{\prime }(a) \bigr\vert , \\ \vert L_{4} \vert &\leq \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ \biggl\vert f^{\prime } \biggl(t \frac{a+b}{2}+(1-t)b \biggr) \biggr\vert \biggr\} \,dt \\ &= \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ \biggl\vert t^{\alpha s}f^{\prime } \biggl( \frac{a+b}{2} \biggr)+m \bigl(1-t^{\alpha s} \bigr)f ^{\prime }(b) \biggr\vert \biggr\} \,dt \\ &\leq \int _{0}^{1} \bigl( 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr) \biggl\{ t^{\alpha s} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert +m \bigl(1-t^{\alpha s} \bigr) \bigl\vert f^{\prime }(b) \bigr\vert \biggr\} \,dt \\ &=M_{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert +m ( M _{4}-M_{3} ) \bigl\vert f^{\prime }(b) \bigr\vert . \end{aligned}$$
Corollary 1
Under the assumptions Theorem
4, with
\(\alpha =s=m=1\),
$$\begin{aligned} &\biggl\vert ( 1-\lambda ) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+f(b)}{2}-\frac{1}{b-a} \int _{a}^{b}f(x)\,dx \biggr\vert \\ &\quad\leq \frac{b-a}{8} \bigl[ 2\lambda ^{2}-2 \lambda +1 \bigr] \bigl( { \bigl\vert f^{\prime }(a) \bigr\vert + \bigl\vert f^{\prime }(b) \bigr\vert } \bigr). \end{aligned}$$
(7)
The corresponding version for powers of the absolute value of the derivative is incorporated in the following theorem.
Theorem 5
Let
f
be defined as in Theorem
4
and suppose
\(|f^{\prime }|^{q}\)
is a convex on
\([a,b]\), with
\(q\geq 1\). Then the following inequality holds:
$$\begin{aligned} & \biggl\vert \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+f(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \biggr\vert \\ &\quad \leq \frac{ ( b-a ) }{2^{\alpha }} \\ &\qquad{}\times \biggl[ ( M_{2} ) ^{1-1/q} \biggl\{ \biggl( M_{1} \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q}+m ( M _{2}-M_{1} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q} \\ &\qquad{} + \biggl( M_{1} \bigl\vert f^{\prime } ( a ) \bigr\vert ^{q}+m ( M_{2}-M_{1} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q} \biggr\} \\ & \qquad{}+ ( M_{4} ) ^{1-1/q} \biggl\{ \biggl( M _{3} \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q}+m ( M_{4}-M_{3} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q} \\ &\qquad{} + \biggl( M _{3} \bigl\vert f^{\prime } ( b ) \bigr\vert ^{q}+m ( M_{4}-M_{3} ) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q} \biggr\} \biggr]. \end{aligned}$$
(8)
Proof
Using the well-known power-mean integral inequality for \(q>1 \) and convexity of \(|f^{\prime }|^{q}\), we have
This completes the proof. □
$$\begin{aligned} \vert L_{1} \vert \leq{}& \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) ^{1-1/q} \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{ \alpha }-\lambda \bigr) \bigr\vert \biggl\vert f^{\prime } \biggl( ta+(1-t) \frac{a+b}{2} \biggr) \biggr\vert ^{q}\,dt \biggr) ^{1/q} \\ \leq{}& \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \biggl\{ t^{\alpha s} \bigl\vert f^{\prime }(a) \bigr\vert ^{q}+m \bigl(1-t ^{\alpha s} \bigr) \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr\} \,dt \biggr) ^{1/q} \\ \leq{}& ( M_{2} ) ^{1-1/q} \biggl( M_{1} \bigl\vert f ^{\prime }(a) \bigr\vert ^{q}+m ( M_{2}-M_{1} ) \biggl\vert f ^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q}, \\ \vert L_{2} \vert \leq{}& \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }- \lambda \bigr) \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{ \alpha }-\lambda \bigr) \bigr\vert \,dt \biggl\vert f^{\prime } \biggl( tb+(1-t) \frac{a+b}{2} \biggr) \biggr\vert ^{q}\,dt \biggr) ^{1/q} \\ \leq {}& \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggl\{ t^{\alpha s} \bigl\vert f^{\prime }(b) \bigr\vert ^{q}+m \bigl(1-t ^{\alpha s} \bigr) \biggl\vert f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr\} \,dt \biggr) ^{1/q} \\ \leq{} & ( M_{2} ) ^{1-1/q} \biggl( M_{1} \bigl\vert f ^{\prime }(b) \bigr\vert ^{q}+m ( M_{2}-M_{1} ) \biggl\vert f ^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{1/q}, \\ \vert L_{3} \vert \leq{} & \biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{ \alpha }- \lambda \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times \biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \biggl\vert f ^{\prime } \biggl( t \frac{a+b}{2}+(1-t)a \biggr) \biggr\vert ^{q}\,dt \biggr) ^{1/q} \\ \leq {}& \biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert 2^{ \alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \biggl\{ t^{\alpha s} \biggl\vert f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert ^{q}+m \bigl(1-t^{\alpha s} \bigr) \bigl\vert f^{\prime }(a) \bigr\vert ^{q} \biggr\} \,dt \biggr) ^{1/q} \\ \leq {}& ( M_{4} ) ^{1-1/q} \biggl( M_{3} \biggl\vert f ^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q}+m ( M _{4}-M_{3} ) \bigl\vert f^{\prime } ( a ) \bigr\vert ^{q} \biggr) ^{1/q}, \\ \vert L_{4} \vert \leq{}& \biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{ \alpha }- \lambda \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \biggl\vert f ^{\prime } \biggl( t \frac{a+b}{2}+(1-t)b \biggr) \biggr\vert ^{q}\,dt \biggr) ^{1/q} \\ \leq{}& \biggl( \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \,dt \biggr) ^{1-1/q} \\ &{}\times\biggl( \int _{0}^{1} \bigl\vert 2^{ \alpha }-(2-t)^{\alpha }- \lambda \bigr\vert \biggl\{ t^{\alpha s} \biggl\vert f^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert ^{q}+m \bigl(1-t^{\alpha s} \bigr) \bigl\vert f^{\prime }(b) \bigr\vert ^{q} \biggr\} \,dt \biggr) ^{1/q} \\ \leq{}& ( M_{4} ) ^{1-1/q} \biggl( M_{3} \biggl\vert f ^{\prime } \biggl(\frac{a+b}{2} \biggr) \biggr\vert ^{q}+m ( M_{4}-M_{3} ) \bigl\vert f^{\prime }(b) \bigr\vert ^{q} \biggr) ^{1/q}. \end{aligned}$$
Corollary 2
Under the assumptions Theorem
5, with
\(\alpha =s=m=1\), \(\lambda =0\)
in inequality (8), the following inequality holds:
$$\begin{aligned} &\biggl\vert f \biggl( \frac{a+b}{2} \biggr) -\frac{1}{b-a} \int _{a}^{b}f(x)\,dx \biggr\vert \\ &\quad\leq \frac{b-a}{8}\biggl[ \biggl( \frac{1}{3} \bigl\vert f^{\prime }(a) \bigr\vert + \frac{2}{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{1}{3} \bigl\vert f ^{\prime }(b) \bigr\vert + \frac{2}{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}}\biggr]. \end{aligned}$$
Corollary 3
Under the assumptions Theorem
5, with
\(\alpha =s=m=1\), \(\lambda =1\)
in inequality (8), the following inequality holds:
$$\begin{aligned} &\biggl\vert \frac{f(a)+f(b)}{2}-\frac{1}{b-a} \int _{a}^{b}f(x)\,dx \biggr\vert \\ &\quad\leq \frac{b-a}{8}\biggl[ \biggl( \frac{2}{3} \bigl\vert f^{\prime }(a) \bigr\vert + \frac{1}{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}} + \biggl( \frac{2}{3} \bigl\vert f ^{\prime }(b) \bigr\vert + \frac{1}{3} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}}\biggr]. \end{aligned}$$
Corollary 4
Under the assumptions Theorem
5, with
\(\alpha =s=m=1\), \(\lambda =\frac{1}{3}\)
in inequality (8), the following inequality holds:
$$\begin{aligned} &\biggl\vert \frac{1}{3} \biggl\{ 2f \biggl( \frac{a+b}{2} \biggr) + \frac{f(a)+f(b)}{2} \biggr\} -\frac{1}{b-a} \int _{a}^{b}f(x)\,dx \biggr\vert \\ &\quad \leq \frac{5(b-a)}{72}\times \biggl[ \biggl( \frac{16}{45} \bigl\vert f^{\prime }(a) \bigr\vert ^{q}+\frac{29}{45} \biggl\vert f ^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}}\\ &\qquad{}+ \biggl( \frac{16}{45} \bigl\vert f^{\prime }(b) \bigr\vert ^{q}+ \frac{29}{45} \biggl\vert f^{\prime } \biggl( \frac{a+b}{2} \biggr) \biggr\vert ^{q} \biggr) ^{\frac{1}{q}} \biggr]. \end{aligned}$$
Theorem 6
Let
\(f:[a,b]\rightarrow \mathbb{R}\)
be a differentiable function on
\((a,b)\)
with
\(a< b\)
such that
\(f^{\prime }\)
is integrable. If
\(|f^{\prime }|^{q}\)
is concave on
\([a,b]\), then the following inequality for Riemann–Liouville fractional integrals holds with
\(0<\alpha \leq 1\):
$$\begin{aligned} & \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+f(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \\ & \quad\leq \frac{ ( b-a ) }{2^{\alpha +1}}\times \biggl[ M _{2} \biggl\{ \biggl\vert f^{\prime } \biggl( \frac{M_{5}a+ ( M _{2}-M_{5} ) ( \frac{a+b}{2} ) }{M_{2}} \biggr) \biggr\vert + \biggl\vert f^{\prime } \biggl( \frac{M_{5}b+ ( M_{2}-M_{5} ) ( \frac{a+b}{2} ) }{M_{2}} \biggr) \biggr\vert \biggr\} \\ &\qquad{} +M_{4} \biggl\vert f ^{\prime } \biggl( \frac{M_{6} ( \frac{a+b}{2} ) + ( M _{4}-M_{6} ) a}{M_{4}} \biggr) \biggr\vert + \biggl\vert f^{ \prime } \biggl( \frac{M_{6} ( \frac{a+b}{2} ) + ( M _{4}-M_{6} ) b}{M_{4}} \biggr) \biggr\vert \biggr], \\ &M_{5} = \int _{0}^{1} \bigl\vert (1-t)^{\alpha }- \lambda \bigr\vert t\, dt \\ &\phantom{M_{5} }=\frac{1-2(1-\zeta )^{\alpha +2}}{(\alpha +1)(\alpha +2)}-\frac{2 \zeta (1-\zeta )^{\alpha +1}}{\alpha +1}+\frac{\lambda }{2} \bigl(1-2 \zeta ^{2} \bigr), \\ &M_{6} = \int _{0}^{1} \bigl\vert 2^{\alpha }-(2-t)^{\alpha }- \lambda \bigr\vert t \,dt \\ &\phantom{M_{6}}= \frac{1+2^{\alpha +2}-2(2-\xi )^{\alpha +2}}{(\alpha +1)(\alpha +2)}+\frac{1-2 \xi (2-\xi )^{\alpha +1}}{\alpha +1}+ \bigl(2^{\alpha }-\lambda \bigr) \biggl( \frac{1}{2}-\xi ^{2} \biggr). \end{aligned}$$
(9)
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
□
$$\begin{aligned} \bigl\vert f^{\prime } \bigl(\lambda a+(1-\lambda )b \bigr) \bigr\vert ^{q} & >\lambda \bigl\vert f^{\prime }(a) \bigr\vert ^{q}+(1- \lambda ) \bigl\vert f^{\prime }(b) \bigr\vert ^{q} \\ & \geq \bigl( \lambda \bigl\vert f^{\prime }(a) \bigr\vert +(1- \lambda )f^{\prime }(b) \vert \bigr) ^{q}. \end{aligned}$$
$$ \bigl\vert f^{\prime } \bigl(\lambda a+(1-\lambda )b \bigr) \bigr\vert \geq \lambda \bigl\vert f^{\prime }(a) \bigr\vert +(1- \lambda ) \bigl\vert f^{\prime }(b) \bigr\vert , $$
$$\begin{aligned} & \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+f(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \\ &\quad \leq \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) \biggl\vert f^{\prime } \biggl( \frac{\int _{0}^{1} \vert ((1-t)^{ \alpha }-\lambda ) \vert (ta+ ( 1-t ) \frac{a+b}{2})\,dt}{ \int _{0}^{1} \vert ((1-t)^{\alpha }-\lambda ) \vert \,dt} \biggr) \biggr\vert \\ &\qquad{} + \biggl( \int _{0}^{1} \bigl\vert \bigl((1-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) \biggl\vert f^{\prime } \biggl( \frac{\int _{0}^{1} \vert ((1-t)^{ \alpha }-\lambda ) \vert (tb+ ( 1-t ) \frac{a+b}{2})\,dt}{ \int _{0}^{1} \vert ((1-t)^{\alpha }-\lambda ) \vert \,dt} \biggr) \biggr\vert \\ &\qquad{} + \biggl( \int _{0}^{1} \bigl\vert \bigl( 2^{\alpha }-(2-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) \biggl\vert f^{\prime } \biggl( \frac{\int _{0}^{1} \vert ( 2^{\alpha }-(2-t)^{ \alpha }-\lambda ) \vert (t\frac{a+b}{2}+ ( 1-t ) a\,dt}{\int _{0}^{1} \vert ( 2^{\alpha }-(2-t)^{ \alpha }-\lambda ) \vert \,dt} \biggr) \biggr\vert \\ &\qquad{} + \biggl( \int _{0}^{1} \bigl\vert \bigl( 2^{\alpha }-(2-t)^{\alpha }-\lambda \bigr) \bigr\vert \,dt \biggr) \biggl\vert f^{\prime } \biggl( \frac{\int _{0}^{1} \vert ( 2^{\alpha }-(2-t)^{ \alpha }-\lambda ) \vert (t\frac{a+b}{2}+ ( 1-t ) b\,dt}{\int _{0}^{1} \vert ( 2^{\alpha }-(2-t)^{ \alpha }-\lambda ) \vert \,dt} \biggr) \biggr\vert , \\ & \biggl( 1-\frac{2}{2^{\alpha }}\lambda \biggr) f \biggl( \frac{a+b}{2} \biggr) +\lambda \frac{f(a)+{f}(b)}{2^{\alpha }}-\frac{ \varGamma (\alpha +1)}{2(b-a)^{\alpha }} \bigl[ J_{a^{+}}^{\alpha }f(b)+J _{b^{-}}^{\alpha }f(a) \bigr] \\ &\quad =M_{2} \biggl\vert f^{\prime } \biggl( \frac{M_{5}a+ ( M_{2}-M _{5} ) ( \frac{a+b}{2} ) }{M_{2}} \biggr) \biggr\vert +M _{2} \biggl\vert f^{\prime } \biggl( \frac{M_{5}b+ ( M_{2}-M_{5} ) ( \frac{a+b}{2} ) }{M_{2}} \biggr) \biggr\vert \\ &\qquad{} +M_{4} \biggl\vert f^{\prime } \biggl( \frac{M_{6} ( \frac{a+b}{2} ) + ( M_{4}-M_{6} ) a}{M_{4}} \biggr) \biggr\vert +M _{4} \biggl\vert f^{\prime } \biggl( \frac{M_{6} ( \frac{a+b}{2} ) + ( M_{4}-M_{6} ) b}{M_{4}} \biggr) \biggr\vert . \end{aligned}$$
Remark 3
Remark 4
Corollary 5
Under the assumptions Theorem
6, with
\(\alpha =s=1\), \(\lambda =\frac{1}{3}\)
in inequality (9), the following inequality holds:
$$\begin{aligned} &\biggl\vert \biggl[ \frac{1}{6}f ( a ) +\frac{2}{3}f \biggl( \frac{a+b}{2} \biggr) +\frac{1}{6}f ( b ) \biggr] - \frac{1}{b-a} \int _{a}^{b}f(x)\,dx \biggr\vert \\ &\quad \leq \frac{5 ( b-a ) }{72} \biggl[ \biggl\vert f^{\prime } \biggl( \frac{29a+61b}{90} \biggr) \biggr\vert + \biggl\vert f^{ \prime } \biggl( \frac{61a+29b}{90} \biggr) \biggr\vert \biggr]. \end{aligned}$$
(10)
3 Applications to special means
We consider some means for arbitrary positive real numbers a and b (see, for instance, [4]):
-
The arithmetic mean$$ A=A(a,b)=\frac{a+b}{2},\quad a,b\in \mathbb{R}\text{ with } a,b>0; $$
-
The geometric mean$$ G=G(a,b)=\sqrt{ab},\quad a,b\in \mathbb{R}\text{ with } a,b>0; $$
-
The harmonic mean$$ H=H(a,b)=\frac{2ab}{a+b},\quad a,b\in \mathbb{R}\backslash \{0\}; $$
-
The identric mean$$ I=I(a,b)=\textstyle\begin{cases} a & \text{if $a=b$,} \\ \frac{1}{e} ( \frac{b^{b}}{a^{a}} ) ^{\frac{1}{b-a}} & \text{if $a\neq b, a,b>0$;} \end{cases} $$
-
The logarithmic mean$$ L=L(a,b)=\textstyle\begin{cases} a & \text{if $a=b$,} \\ {\frac{b-a}{\ln b-\ln a}} & \text{if $a\neq b$;} \end{cases} $$
-
Generalized logarithmic mean$$ L_{n}(a,b)=\textstyle\begin{cases} a & \text{if $a=b$,} \\ { [\frac{b^{n+1}-a^{n+1}}{(n+1)(b-a)} ]^{\frac{1}{n}}} & \text{if $a\neq b, n\in \mathbb{Z}\backslash {\{-1,0\}}, a,b>0$.} \end{cases} $$
Proposition 3
Let
\(n\in \mathbb{Z}\backslash {\{-1,0\}}\)
and
\(a,b>0\). Then we have the following inequality:
$$ \bigl\vert ( 1-\lambda ) A^{n}(a,b)+\lambda A \bigl(a^{n},b ^{n} \bigr)-L_{n}^{n}(a,b) \bigr\vert \leq \frac{n ( b-a ) }{4} \bigl(2 \lambda ^{2}-2\lambda +1 \bigr)A \bigl( \bigl\vert a^{n-1} \bigr\vert , \bigl\vert b ^{n-1} \bigr\vert \bigr). $$
For
\(\lambda =1\), we have
$$ \bigl\vert \lambda A \bigl(a^{n},b^{n} \bigr)-L_{n}^{n}(a,b) \bigr\vert \leq \frac{n ( b-a ) }{4} \bigl(2\lambda ^{2}-2\lambda +1 \bigr)A \bigl( \bigl\vert a^{n-1} \bigr\vert , \bigl\vert b^{n-1} \bigr\vert \bigr). $$
For
\(\lambda =0\), we have
$$ \bigl\vert \lambda A^{n} \bigl(a^{n},b^{n} \bigr)-L_{n}^{n}(a,b) \bigr\vert \leq \frac{n ( b-a ) }{4} \bigl(2\lambda ^{2}-2\lambda +1 \bigr)A \bigl( \bigl\vert a ^{n-1} \bigr\vert , \bigl\vert b^{n-1} \bigr\vert \bigr). $$
Proof
Proposition 4
For all
\(0< a\leq b\), we have the following inequality:
$$ \bigl\vert \ln \bigl[A(1+a,1+b) \bigr]I(1+b,1+a) \bigr\vert \leq \frac{2 ( b-a ) }{3^{1+\frac{1}{q}}} \biggl(\frac{1}{1+a}+ \frac{2}{A^{q}(1+b,1+a)} \biggr)^{\frac{1}{q}}. $$
Proof
The first assertion follows from Corollary 2 for \(f(x)=-\ln (1+x)x ^{n}\).
$$ \bigl\vert \ln \bigl[G(1+a,1+b) \bigr]I(1+b,1+a) \bigr\vert \leq \frac{2 ( b-a ) }{3^{1+\frac{1}{q}}} \biggl(\frac{1}{1+a}+ \frac{2}{A^{q}(1+b,1+a)} \biggr)^{\frac{1}{q}}. $$
The second assertion follows from Corollary 3 for \(f(x)=-\ln (1+x)\).
Let \(n\in \mathbb{Z}\backslash {\{-1,0\}}; a,b>0\) then we have the following inequality
$$ \bigl\vert 2A^{n}(a,b)+A \bigl(a^{n},b^{n} \bigr)-3L(a,b) \bigr\vert \leq \frac{5n ( b-a ) }{12}\frac{ [ 29A^{q(n-1)}(a,b)+16b^{q(n-1)} ] }{45^{\frac{1}{q}}}. $$
Acknowledgements
The second 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. The fifth author is grateful to Punjab HEC, Lahore, Pakistan, also of Prof. Dr. Ooi and Prof. Dr. Leong, MAE, NTU, Singapore for providing excellent research facilities.
Competing interests
Authors have declared no conflict of interest.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.