Skip to main content

Some results on integral inequalities via Riemann–Liouville fractional integrals

Abstract

In current continuation, we have incorporated the notion of \(s- ( {\alpha,m} ) \)-convex functions and have established new integral inequalities. In order to generalize Hermite–Hadamard-type inequalities, some new integral inequalities of Hermite–Hadamard and Simpson type using \(s- ( {\alpha,m} ) \)-convex function via Riemann–Liouville fractional integrals are obtained that reproduce the results presented by (Appl. Math. Lett. 11(5):91–95, 1998; Comput. Math. Appl. 47(2–3): 207–216, 2004; J. Inequal. Appl. 2013:158, 2013). Applications to special means are also provided.

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

$$ \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].

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\):

$$\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}$$

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\).

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\):

$$\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)

where

$$ \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)

Remark 1

Taking \(\lambda =1\), inequality (7) reduces to inequality (1).

Remark 2

Taking \(\lambda =0\), inequality (7) reduces to inequality (2).

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

$$\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}$$

This completes the proof. □

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

$$\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}$$

Hence

$$ \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 , $$

so \(|f^{\prime }|\) is also concave. By the Jensen integral inequality, we have

$$\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

Under the assumptions Theorem 6, with \(\alpha =s=1\), \(\lambda =0\) in inequality (9), we obtain inequality (4).

Remark 4

Under the assumptions Theorem 6, with \(\alpha =s=1\), \(\lambda =1\) in inequality (9), we obtain inequality (5).

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)

Remark 5

Inequality (10) is a generalization of the inequality obtained in [3, Theorem 8].

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

The assertion follows from Corollary 1 for \(f(x)=x^{n}\) and with n as specified above. □

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}}}. $$

The third assertion follows from Corollary 4 for \(f(x)=x^{n}\) and as n as specified above. □

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. 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)

    Article  MathSciNet  MATH  Google Scholar 

  3. Qaisar, S., He, C., Hussain, S.: A generalizations of Simpson’s type inequality for differentiable functions using \(( {\alpha,m} ) \)-convex functions and applications. J. Inequal. Appl. 2013, Article ID 158 (2013)

    MathSciNet  MATH  Google Scholar 

  4. Dragomir, S.S., Pearce, C.-E.-M.: Selected topics on Hermite–Hadamard inequalities and applications, RGMIA Monographs, Victoria University (2000)

  5. Muddassar, M., Bhatti, M.-I., Irshad, W.: Generalisation of integral inequalities of Hermite–Hadamard type through convexity. Bull. Aust. Math. Soc. 88(2), 320–330 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gorenflo, R., Mainard, F.: Fractional calculus: integral and differential equations of fractional order. In: Fractals and Fractional Calculus in Continuum Mechanics, pp. 223–276. Springer, Wien (1997)

    Chapter  Google Scholar 

  7. Belarbi, S., Dahmani, Z.: On some new fractional integral inequalities. J. Inequal. Pure Appl. Math. 10(3), 86 (2009)

    MathSciNet  MATH  Google Scholar 

  8. Dahmani, Z.: New inequalities in fractional integrals. Int. J. Nonlinear Sci. 9(4), 493–497 (2010)

    MathSciNet  MATH  Google Scholar 

  9. Kırmaci, U.-S.: Inequalities for differentiable mappings and applications to special means of real numbers and to midpoint formula. Appl. Math. Comput. 147, 137–146 (2004)

    MathSciNet  MATH  Google Scholar 

  10. Hwang, S.R., Tseng, K.-L., Hsu, K.-C.: New inequalities for fractional integrals and their applications. Turk. J. Math. 40, 471–486 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  11. Iqbal, M., Qaisar, S., Muddassar, M.: A short note on integral inequality of Hermite–Hadamard type through convexity. J. Comput. Anal. Appl. 21(5), 946–953 (2016)

    MathSciNet  MATH  Google Scholar 

  12. Iqbal, M., Qaisar, S., Hussain, S.: On Simpson’s type inequalities utilizing fractional integrals. J. Comput. Anal. Appl. 23(6), 1137–1145 (2016)

    MathSciNet  Google Scholar 

  13. 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)

    MathSciNet  MATH  Google Scholar 

  14. Sarikaya, M.-Z., Budak, H.: Generalized Hermite–Hadamard type integral inequalities for fractional integrals. Filomat 30(5), 1315–1326 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  15. Qaisar, S., Gujjar, M.-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)

    Article  MathSciNet  MATH  Google Scholar 

  16. Hussain, S., Qaisar, S.: More results on Simpsons type inequality through convexity for twice differentiable continuous mappings. SpringerPlus 5, 77 (2016)

    Article  Google Scholar 

  17. Iqbal, M., Qaisar, S., Hussain, S.: On Simpson’s type inequalities utilizing fractional integral. J. Comput. Anal. Appl. 23(6), 1137–1145 (2017)

    MathSciNet  Google Scholar 

  18. 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)

    Article  MathSciNet  Google Scholar 

  19. Set, E., Ozdemir, M.-E., Uygun, N.: On new Simpson’s type inequalities for quasi-convex functions via Riemann–Liouville integrals. AIP Conf. Proc. 1726, 020068 (2016)

    Article  Google Scholar 

  20. Agarwal, P., Jleli, M., Tomar, M.: Certain Hermite–Hadamard type inequalities via generalized k-fractional integrals. J. Inequal. Appl. 2017, Article ID 55 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  21. Kirane, M., Samet, B.: Discussion of some inequalities via fractional integrals. J. Inequal. Appl. 2018, Article ID 19 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  22. Chu, Y.-M., Khan, M.-A., Ali, T., Dragomir, S.-S.: Inequalities for α-fractional differentiable functions. J. Inequal. Appl. 2017, Article ID 93 (2017)

    Article  MathSciNet  Google Scholar 

  23. Wang, H., Du, T., Zhang, Y.: k-fractional integral trapezium-like inequalities through (h, m)-convex and (α, m)-convex mapping. J. Inequal. Appl. 2017, Article ID 311 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  24. Ssooppy, N.-S.-K., Huang, C.-J., Rahman, G., Ghaffar, A., Qi, F.: Some inequalities of the Hermite–Hadamard type for k-fractional conformable integrals A. Aust. J. Math. Anal. Appl. 16(1), 1–9 (2019)

    MathSciNet  Google Scholar 

  25. Qi, F., Habib, S., Mubeen, S., Naeem, N.-M.: Generalized k-fractional conformable integrals and related inequalities. AIMS Math. 4(3), 343–358 (2019)

    Article  Google Scholar 

Download references

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.

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

Authors

Contributions

Dr. SQ and Dr. JN analyzed the problem and suggested mathematical modeling. Dr. SIB and Dr. MB generalized the results by proposing various lemmas. This manuscript has been written by SEF, Prof. Dr. FA and Prof. Dr. XL. Both the mentioned professors also made some necessary corrections regarding mathematical formulations and response to the reviewer. All authors had read and approved the final manuscript.

Corresponding author

Correspondence to Farooq Ahmad.

Ethics declarations

Competing interests

Authors have declared 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Li, X., Qaisar, S., Nasir, J. et al. Some results on integral inequalities via Riemann–Liouville fractional integrals. J Inequal Appl 2019, 214 (2019). https://doi.org/10.1186/s13660-019-2160-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-019-2160-1

MSC

  • 26A15
  • 26A51
  • 26D10

Keywords

  • Simpson’s inequality
  • Convex functions
  • Power-mean inequality
  • Riemann–Liouville fractional integral