Skip to main content

Inequalities for fractional Riemann–Liouville integrals of certain class of convex functions

Abstract

Fractional calculus operators play a very important role in generalizing concepts of calculus used in diverse fields of science. In this paper, we use Riemann–Liouville fractional integrals to establish generalized identities, which are further applied to obtain midpoint and trapezoidal inequalities for convex function with respect to a strictly monotone function. These inequalities reproduce midpoint and trapezoidal inequalities for convex, harmonic convex, p-convex, and geometrically convex functions. Also, some new inequalities can be generated via specific strictly monotone functions.

Introduction

A convex function \(\psi : [a,b]\rightarrow \mathbb{R}\) satisfies the inequality

$$ \psi \bigl(t x+(1-t)y \bigr)\leq t \psi (x)+(1-t)\psi (y), $$

for \(t \in [0,1]\), and \(x,y \in [a,b]\).

If an additive inverse of ψ is convex, then ψ would be a concave function. Recently, several integral inequalities relating to many well-known classes of convex functions have been proven using different concepts and techniques. Generalizations of convex functions have played an important role in the development of several fields of pure and applied sciences. Convexity theory has been further extended in different directions with innovative techniques. The Hermite–Hadamard inequality given below is a tangible geometric visualization of a convex function.

Theorem 1

([7])

Let \(\psi : [a,b]\rightarrow \mathbb{R}\) be a convex function. Then we have the following inequality:

$$ \psi \biggl(\frac{a+b}{2} \biggr)\leq \frac{1}{b-a} \int _{a}^{b}\psi (x)\,dx \leq \frac{\psi (a)+\psi (b)}{2}. $$
(1.1)

If function ψ is concave, then inequality (1.1) will hold in the reverse direction.

Error estimations of the Hermite–Hadamard inequality give the error bounds of the midpoint and trapezoidal quadrature rules. The inequality stated in (1.1) has been studied for different kinds of convex functions, also by establishing some identities their error estimates are obtained. For a detailed study we refer the readers to [15, 8, 9, 12, 13, 15, 16]. The aim of this paper is to present error estimates of Hermite–Hadamard-type inequalities for Riemann–Liouville fractional integrals of different kinds of convex functions in generalized form by applying convexity of a function with respect to a strictly monotone function.

Definition 1

([18])

If ϕ is a strictly monotone function, then a function ψ is said to be convex with respect to ϕ if \(\psi \circ \phi ^{-1}\) is a convex function.

The above definition generates convex, harmonic convex, p-convex, and geometrically convex functions corresponding to the identity, reciprocal, power, and logarithm functions, respectively, see [25]. Next, we define Riemann–Liouville fractional integrals.

Definition 2

([11])

Let \(f\in L_{1}[a,b]\). Then left- and right-sided Riemann–Liouville fractional integrals of a function f of order μ, where \(\Re (\mu )>0\), are defined as follows:

$$ I_{a^{+}}^{\mu }f(x) =\frac{1}{\Gamma ({\mu })} \int _{a}^{x}(x-t)^{\mu -1}f(t)\,dt, \quad x>a, $$
(1.2)

and

$$ I_{b^{-}}^{\mu }f(x) =\frac{1}{\Gamma ({\mu })} \int _{x}^{b}(t-x)^{\mu -1}f(t)\,dt,\quad x< b. $$
(1.3)

Many inequalities have been analyzed for different types of convex functions using Riemann–Liouville fractional integrals [14, 20, 21, 23]. Our aim in this paper is to utilize Riemann–Liouville fractional integrals to investigate the Hermite–Hadamard inequality for a convex function with respect to a strictly monotone function. The error estimation of this inequality provides midpoint- and trapezoidal-type inequalities for convex, geometrically convex, harmonically convex, and p-convex functions. Next, we give the Hermite–Hadamard inequality for a convex function with respect to strictly monotone function.

Theorem 2

([24])

Let I, J be intervals in \(\mathbb{R}\) and \(\psi :[a,b]\subset I\rightarrow \mathbb{R}\) a convex function, also let \(\phi :J\supset [a,b]\rightarrow \mathbb{R}\) be a strictly monotone function. If ψ is convex with respect to ϕ, then the following inequality holds:

$$\begin{aligned} \psi \biggl(\phi ^{-1} \biggl(\frac{\phi (a)+\phi (b)}{2} \biggr) \biggr)\leq \frac{1}{\phi (b)-\phi (a)} \int _{\phi (a)}^{\phi (b)} \psi \bigl(\phi ^{-1}(t) \bigr)\,dt\leq \frac{\psi (a)+\psi (b)}{2}. \end{aligned}$$
(1.4)

In the upcoming section, we establish a trapezoidal type identity for a function via another strictly monotone function. By applying the established identity, the trapezoidal-type inequalities are studied using convexity. Moreover, a midpoint-type identity for a function via another strictly monotone function is established, and corresponding inequalities are studied. The findings of this article are connected with the inequalities proved in [6, 8, 10, 12, 17, 2022].

Error estimation of Hermite–Hadamard inequality for a convex function with respect to a strictly monotone function

First, we establish the following integral identity to study the error estimates of the Hermite–Hadamard inequality (1.4).

Lemma 1

Let \(a,b \in \mathbb{R}\) with \(a< b\) and \(\psi :[a,b]\rightarrow \mathbb{R}\) be a function, also let \(\phi :[a,b]\rightarrow \mathbb{R}\) be a strictly monotone function such that \(\psi \circ \phi ^{-1}\) is differentiable and \((\psi \circ \phi ^{-1} )'\in L[a,b]\). Then the following identity holds:

$$\begin{aligned} &\frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2 (\phi (b)-\phi (a) )^{\mu }} \bigl(J^{ \mu }_{\phi (a)^{+}} \psi (b)+J^{\mu }_{\phi (b)^{-}}\psi (a) \bigr) \\ &\quad =\frac{\phi (b)-\phi (a)}{2} \int _{0}^{1} \bigl((1-t)^{\mu }-t^{\mu } \bigr) \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t)\phi (b)\bigr)\,dt. \end{aligned}$$
(2.1)

Proof

First, we evaluate the following integral:

$$ \begin{aligned} & \int _{0}^{1} (1-t)^{\mu } \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t) \phi (b)\bigr)\,dt \\ &\quad = \frac{(1-t)^{\mu } (\psi \circ \phi ^{-1} )(t\phi (a)+(1-t)\phi (b))}{\phi (a)-\phi (b)} |_{0}^{1} \\ & \qquad {}+\mu \int _{0}^{1} \frac{(1-t)^{\mu -1} (\psi \circ \phi ^{-1} )(t\phi (a)+(1-t)\phi (b))\,dt}{\phi (a)-\phi (b)} \\ &\quad =\frac{\psi (b)}{\phi (b)-\phi (a)}-\frac{\mu }{\phi (b)-\phi (a)} \int _{0}^{1} (1-t)^{\mu -1} \bigl(\psi \circ \phi ^{-1} \bigr) \bigl(t \phi (a)+(1-t)\phi (b)\bigr)\,dt \\ &\quad =\frac{\psi (b)}{\phi (b)-\phi (a)}- \frac{\mu }{ (\phi (b)-\phi (a) )^{\mu +1}} \int _{\phi (a)}^{ \phi (b)} \bigl(u-\phi (a) \bigr)^{\mu -1} \bigl(\psi \circ \phi ^{-1} \bigr) (u)\,du \\ &\quad =\frac{\psi (b)}{\phi (b)-\phi (a)}- \frac{\Gamma (\mu +1)}{ (\phi (b)-\phi (a) )^{\mu +1}}J^{ \mu }_{\phi (b)^{-}}\psi (a). \end{aligned} $$
(2.2)

Similarly, from integration by parts one can have the following equation:

$$ \begin{aligned} & \int _{0}^{1} t^{\mu } \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t) \phi (b)\bigr)\,dt \\ &\quad =\frac{-\psi (a)}{\phi (b)-\phi (a)}+ \frac{\Gamma (\mu +1)}{ (\phi (b)-\phi (a) )^{\mu +1}}J^{ \mu }_{\phi (a)^{+}}\psi (b). \end{aligned} $$
(2.3)

By using (2.2) and (2.3) in the right-hand side of (2.1), the left-hand side can be obtained. □

Remark 1

By setting \(\phi (x)=x\), identity (2.1) reduces to Lemma 2 of [20]; for \(\phi (x)=x\), \(\mu =1\), identity (2.1) provides Lemma 2.1 of [6]. By setting \(\phi (x)=\frac{1}{x}\), identity (2.1) reduces to Lemma 3 of [10]; for \(\phi (x)=\frac{1}{x}\), \(\mu =1\), identity (2.1) provides Lemma 2.5 of [8]. By setting \(\phi (x)=x^{r}\), identity (2.1) reduces to Lemma 2.1 for Riemann–Liouville fractional integrals of [22]; for \(\phi (x)=x^{r}\), \(\mu =1\), identity (2.1) provides Lemma 2.4 of [17]. By considering other strictly monotone functions in place of ϕ, many other corresponding identities can be formulated.

By using Lemma 1, we prove the following error estimate of Theorem 2.

Theorem 3

Let \(a,b \in \mathbb{R}\) with \(a< b\) and \(\psi :[a,b]\rightarrow \mathbb{R}\) be a function, also let \(\phi : [a,b]\rightarrow \mathbb{R}\) be a strictly monotone function such that \(\psi \circ \phi ^{-1}\) is differentiable and \((\psi \circ \phi ^{-1} )'\in L[a,b]\). If \(\vert (\psi \circ \phi ^{-1} )' \vert \) is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2 (\phi (b)-\phi (a) )^{\mu }} \bigl(J^{ \mu }_{\phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2(\mu +1)} \biggl(1- \frac{1}{2^{\mu }} \biggr) \bigl\{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a) \bigr) \bigr\vert + \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert \bigr\} . \end{aligned} $$
(2.4)

Proof

By using the property of the absolute value function in Lemma 1, one can get the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2} \int _{0}^{1} \bigl\vert (1-t)^{ \mu }-t^{\mu } \bigr\vert \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t \phi (a)+(1-t)\phi (b)\bigr) \bigr\vert \,dt. \end{aligned} $$
(2.5)

Now, by using convexity of \(\vert (\psi \circ \phi ^{-1} )' \vert \) on the right-hand side of the above inequality (2.5), we get the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}}\psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2} \\ & \qquad {}\times \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert +(1-t) \bigl\vert \bigl( \psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert \bigr)\,dt \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2} \\ &\qquad {}\times \int _{0}^{ \frac{1}{2}} \bigl((1-t)^{\mu }-t^{\mu } \bigr) \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert +(1-t) \bigl\vert \bigl( \psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert \bigr)\,dt \\ &\qquad {} + \int _{\frac{1}{2}}^{1} \bigl(t^{\mu }-(1-t)^{\mu } \bigr) \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert +(1-t) \bigl\vert \bigl( \psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert \bigr)\,dt \\ &\quad =\frac{ \vert \phi (b)-\phi (a) \vert }{2} ( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert \int _{0}^{\frac{1}{2}}\bigl(t (1-t )^{\mu }-t^{\mu +1} \bigr)\,dt+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)' \bigl(\phi (b)\bigr) \bigr\vert \\ &\qquad {} \times \int _{0}^{\frac{1}{2}}( (1-t )^{\mu +1}-t^{ \mu }(1-t)\,dt+ \int _{\frac{1}{2}}^{1}\bigl(t^{\mu +1}-t (1-t )^{ \mu }\bigr)\,dt+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert \\ & \qquad {}\times \int _{\frac{1}{2}}^{1}\bigl(t^{\mu }(1-t)- (1-t )^{ \mu +1}\,dt \bigr), \end{aligned} $$

from which, after a little computation, one can get (2.4). □

Corollary 1

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.4) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1) }{2} \biggl(\frac{ab}{b-a} \biggr)^{\mu } \biggl(J^{ \mu }_{ (\frac{1}{a} )^{-}} \psi \circ g \biggl(\frac{1}{b} \biggr)+J^{\mu }_{ (\frac{1}{b} )^{+}}\psi \circ g \biggl( \frac{1}{a} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2ab(\mu +1)} \bigl\{ a^{2} \bigl\vert \psi '(a) \bigr\vert +b^{2} \bigl\vert \psi '(b) \bigr\vert \bigr\} , \end{aligned} $$

where \(g(t)=\frac{1}{t}\).

Corollary 2

By setting \(\phi (x)=\frac{1}{x}\) and \(\mu =1\), inequality (2.4) reduces to the following inequality:

$$ \biggl\vert \frac{\psi (a)+\psi (b)}{2}-\frac{ab}{(b-a)} \int _{\frac{1}{b}}^{ \frac{1}{a}}(\psi \circ g) (t)\,dt \biggr\vert \leq \frac{b-a}{8ab} \bigl\{ a^{2} \bigl\vert \psi '(a) \bigr\vert +b^{2} \bigl\vert \psi '(b) \bigr\vert \bigr\} , $$

where \(g(t)=\frac{1}{t}\).

Corollary 3

By setting \(\phi (x)=x^{r}\), \(r\neq 0\), inequality (2.4) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{r^{\mu }\Gamma (\mu +1)}{b^{r}-a^{r}} \bigl({}^{r}J^{\mu }_{a^{+}} \psi (z)+{}^{r}J^{\mu }_{b^{-}} \psi (z) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{2 \vert r \vert (\mu +1)} \biggl(1-\frac{1}{2^{\mu }} \biggr) \bigl\{ a^{1-p} \bigl\vert \psi '(a) \bigr\vert +\psi ^{1-p} \bigl\vert f'(b) \bigr\vert \bigr\} . \end{aligned} $$

Corollary 4

By setting \(\phi (x)=x^{r}\), \(r\neq 0\) and \(\mu =1\), inequality (2.4) reduces to the following inequality:

$$ \biggl\vert \frac{\psi (a)+\psi (b)}{2}-\frac{r^{2}}{b^{r}-a^{r}} \int _{a}^{b}t^{r-1}f(t)\,dt \biggr\vert \leq \frac{ \vert b^{r}-a^{r} \vert }{8 \vert p \vert } \bigl\{ a^{1-r} \bigl\vert \psi '(a) \bigr\vert +\psi ^{1-r} \bigl\vert \psi '(b) \bigr\vert \bigr\} . $$

Corollary 5

By setting \(\phi (x)=\ln x\), inequality (2.4) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\ln b-\ln a)^{\mu }} \bigl(J^{\mu }_{(\ln a)^{+}} \psi (b)+J^{\mu }_{(\ln b)^{-}}\psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{\ln b-\ln a}{2(\mu +1)} \biggl(1-\frac{1}{2^{\mu }} \biggr) \bigl\{ a \bigl\vert \psi '(a) \bigr\vert +b \bigl\vert \psi '(b) \bigr\vert \bigr\} . \end{aligned} $$

Corollary 6

By setting \(\phi (x)=\ln x\) and \(\mu =1\), inequality (2.4) reduces to the following inequality:

$$ \biggl\vert \frac{\psi (a)+\psi (b)}{2}-\frac{1}{(\ln b-\ln a)} \int _{a}^{b} \frac{\psi (u)}{u}\,du \biggr\vert \leq \frac{\ln b-\ln a}{8} \bigl\{ a \bigl\vert \psi '(a) \bigr\vert +b \bigl\vert \psi '(b) \bigr\vert \bigr\} . $$

Remark 2

By setting \(\phi (x)=x\), inequality (2.4) reduces to the inequality proved in Theorem 3 of [20]. By setting \(\phi (x)=x\) and \(\mu =1\), inequality (2.4) reduces to the inequality proved in Theorem 2.2 of [6].

Remark 3

By considering other strictly monotone functions in place of ϕ in Theorem 3, the corresponding inequalities can be formulated.

Theorem 4

Let \(a,b \in \mathbb{R}\) with \(a< b\) and \(\psi :[a,b]\rightarrow \mathbb{R}\) be a function, also let \(\phi :[a,b]\rightarrow \mathbb{R}\) be a strictly monotone function such that \(\psi \circ \phi ^{-1}\) is differentiable and \((\psi \circ \phi ^{-1} )'\in L[a,b]\). If \(\vert (\psi \circ \phi ^{-1} )' \vert ^{q}\), \(q\geq 1\) is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{{ \vert \phi (b)-\phi (a) \vert }}{2^{\frac{1}{q}}(\mu +1)} \biggl(1-\frac{1}{2^{\mu }} \biggr) \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a) \bigr) \bigr\vert ^{q}+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q}} \bigr)^{\frac{1}{q}}. \end{aligned} $$
(2.6)

Proof

We divide the proof into two cases.

Case 1: \(q=1\). By using the property of the absolute value function and convexity of \(|(\psi \circ \phi ^{-1})^{\prime }|\) in Lemma 1, inequality (2.4) is obtained.

Case 2: \(q>1\). By using the property of the absolute value function and power mean inequality on the right-hand side of identity (2.1), the following inequality is established:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2} \biggl( \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert \biggr)^{1-\frac{1}{q}} \\ &\qquad {} \times \biggl( \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t)\phi (b)\bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac{1}{q}}. \end{aligned} $$
(2.7)

We have that

$$\begin{aligned} \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert \,dt&= \int _{0}^{ \frac{1}{2}}\bigl((1-t)^{\mu }-t^{\mu } \bigr)\,dt+ \int _{\frac{1}{2}}^{1}\bigl(t^{\mu }-(1-t)^{ \mu } \bigr)\,dt \\ &=\frac{2}{(\mu +1)} \biggl(1-\frac{1}{2^{\mu }} \biggr). \end{aligned}$$

Also, by convexity of \(\vert (\psi \circ \phi ^{-1} )' \vert ^{q}\), we get the following inequality:

$$ \begin{aligned} & \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t)\phi (b)\bigr) \bigr\vert ^{q}\,dt \\ &\quad \leq \int _{0}^{\frac{1}{2}} \bigl((1-t)^{\mu }-t^{\mu } \bigr) \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert ^{q} \bigr)\,dt \\ &\qquad {} + \int _{\frac{1}{2}}^{1}\bigl(t^{\mu }-(1-t)^{\mu } \bigr) \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert ^{q} \bigr)\,dt \\ &\quad = \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (a)\bigr) \bigr\vert ^{q} \biggl( \int _{0}^{\frac{1}{2}}t\bigl((1-t)^{\mu }-t^{\mu } \bigr)\,dt+ \int _{0}^{ \frac{1}{2}}t\bigl(t^{\mu }-(1-t)^{\mu } \bigr)\,dt \biggr) \\ & \qquad {}+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (b)\bigr) \bigr\vert ^{q} \\ &\qquad {}\times \biggl( \int _{\frac{1}{2}}^{{1}}(1-t) \bigl((1-t)^{\mu }-t^{\mu } \bigr)\,dt+ \int _{ \frac{1}{2}}^{1}(1-t) \bigl(t^{\mu }-(1-t)^{\mu } \bigr)\,dt \biggr). \end{aligned} $$
(2.8)

We now compute the integrals appearing on the right-hand side of the above inequality:

$$\begin{aligned} &\int _{0}^{\frac{1}{2}}t\bigl((1-t)^{\mu }-t^{\mu } \bigr)\,dt+ \int _{0}^{ \frac{1}{2}}t\bigl(t^{\mu }-(1-t)^{\mu } \bigr)\,dt=\frac{1}{\mu +1} \biggl(1{- \frac{1}{2^{\mu }}} \biggr), \end{aligned}$$
(2.9)
$$\begin{aligned} &\int _{\frac{1}{2}}^{1}(1-t) \bigl((1-t)^{\mu }-t^{\mu } \bigr)\,dt+ \int _{ \frac{1}{2}}^{1}(1-t) \bigl(t^{\mu }-(1-t)^{\mu } \bigr)\,dt=\frac{1}{\mu +1} \biggl(1{- \frac{1}{2^{\mu }}} {} \biggr). \end{aligned}$$
(2.10)

Using (2.9) and (2.10) in (2.8), the required inequality can be obtained. □

Corollary 7

By setting \(\phi (x)=x\), inequality (2.6) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(b-a)^{\mu }} \bigl(J^{\mu }_{(a)^{+}}\psi (b)+J^{ \mu }_{(b)^{-}}\psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{\frac{1}{q}}(\mu +1)} \biggl(1-\frac{1}{2^{\mu }} \biggr) \bigl({ \bigl\vert \psi '(a) \bigr\vert ^{q}+ \bigl\vert \psi '(b) \bigr\vert ^{q}} {} \bigr)^{\frac{1}{q}}. \end{aligned} $$

Corollary 8

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.6) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2} \biggl(\frac{ab}{b-a} \biggr)^{\mu } \biggl(J^{ \mu }_{ (\frac{1}{a} )^{-}} \psi \circ g \biggl(\frac{1}{b} \biggr)+J^{\mu }_{ (\frac{1}{b} )^{+}}\psi \circ g \biggl( \frac{1}{a} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{\frac{1}{q}}ab(\mu +1)} \biggl(1- \frac{1}{2^{\mu }} \biggr) \bigl({a^{2q} \bigl\vert \psi '\phi (a) \bigr\vert ^{q}+b^{2q} \bigl\vert \psi '(b) \bigr\vert ^{q}} {} \bigr)^{\frac{1}{q}}. \end{aligned} $$

Corollary 9

By setting \(\phi (x)=\ln x\), inequality (2.6) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\ln b-\ln a)^{\mu }} \bigl(J^{\mu }_{ ({}{ \ln a} )^{+}}\psi (u)+J^{\mu }_{ ({}{\ln b} )^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{\ln b-\ln a}{2^{\frac{1}{q}}(\mu +1)} \biggl(1- \frac{1}{2^{\mu }} \biggr) ( \bigl({a^{q} \bigl\vert \psi '\phi (a) \bigr\vert ^{q}+b^{q} \bigl\vert \psi '(b) \bigr\vert ^{q}} \bigr)^{\frac{1}{q}}. \end{aligned} $$

Corollary 10

By setting \(\phi (x)=x^{r}\), \(r\neq 0\), inequality (2.6) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{r^{\mu }\Gamma (\mu +1)}{2(b^{r}-a^{r})^{\mu }} \bigl(^{r}J^{ \mu }_{ ({}{a} )^{+}}\psi (u)+^{r}J^{\mu }_{ ({}{b} )^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{2^{\frac{1}{q}}(\mu +1)} \biggl(1- \frac{1}{2^{\mu }} \biggr) \bigl({a^{(1-r)q} \bigl\vert \psi '\phi (a) \bigr\vert ^{q}+b^{(1-r)q} \bigl\vert \psi '(b) \bigr\vert ^{q}} {} \bigr)^{ \frac{1}{q}}. \end{aligned} $$

The following lemma is useful to prove the next theorem.

Lemma 2

([19])

For \(0<\alpha <1\) and \(0\leq a< b\), we have

$$ \bigl\vert a^{\alpha }-b^{\alpha } \bigr\vert \leq (b-a)^{\alpha }. $$
(2.11)

Theorem 5

Let \(a,b \in \mathbb{R}\) with \(a< b\) and \(\psi :[a,b]\rightarrow \mathbb{R}\) be a function, also let \(\phi :[a,b]\rightarrow \mathbb{R}\) be a strictly monotone function such that \(\psi \circ \phi ^{-1}\) is differentiable and \((\psi \circ \phi ^{-1} )'\in L[a,b]\). If \(\vert (\psi \circ \phi ^{-1} )' \vert ^{q}\), \(q>1\) is convex, then the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2^{1+\frac{1}{q}} (\mu p+1 )^{\frac{1}{p}}} \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q}} {} \bigr)^{\frac{1}{q}}, \end{aligned} $$
(2.12)

where \(\frac{1}{p}+{\frac{1}{q}}=1\).

Proof

By using the property of the absolute value function and then Hölder’s inequality on the right-hand side of (2.1), the following inequality is obtained:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\phi (b)-\phi (a))^{\mu }} \bigl(J^{\mu }_{ \phi (a)^{+}}\psi (b)+J^{\mu }_{\phi (b)^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2} \biggl( \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert ^{p} \biggr)^{\frac{1}{p}} \\ &\qquad {}\times \biggl( \int _{0}^{1} \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t\phi (a)+(1-t) \phi (b)\bigr) \bigr\vert ^{q}\,dt \biggr)^{\frac{1}{q}}. \end{aligned} $$
(2.13)

Using Lemma 2, we have

$$ \begin{aligned} \int _{0}^{1} \bigl\vert (1-t)^{\mu }-t^{\mu } \bigr\vert ^{p}\,dt& \leq \int _{0}^{1} \vert 1-2t \vert ^{\mu p}\,dt \\ &= \int _{0}^{\frac{1}{2}} (1-2t )^{\mu p}\,dt+ \int _{ \frac{1}{2}}^{1} (2t-1 )^{\mu p}\,dt= \frac{1}{\mu p+1}. \end{aligned} $$

Also, by convexity of \(\vert (\psi \circ \phi ^{-1} )' \vert ^{q}\), we get the following inequality:

$$ \begin{aligned} & \int _{0}^{1} \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(t \phi (a)+(1-t)\phi (b)\bigr) \bigr\vert ^{q}\,dt \\ &\quad \leq \int _{0}^{1} \bigl(t \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (a)\bigr) \bigr\vert ^{q}+(1-t) \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (b)\bigr) \bigr\vert ^{q} \bigr)\,dt \\ &\quad = \frac{ \vert (\psi \circ \phi ^{-1} )'(\phi (a)) \vert ^{q}+ \vert (\psi \circ \phi ^{-1} )'(\phi (b)) \vert ^{q}}{2}. \end{aligned} $$

Hence, by using above calculations of integrals, one can obtain inequality (2.12). □

Corollary 11

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.12) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)(ab)^{\mu }}{2(b-a)^{\mu }} \biggl(J^{\mu }_{( \frac{1}{a})^{-}}\psi \circ g \biggl(\frac{1}{b} \biggr)+J^{\mu }_{( \frac{1}{b})^{+}}\psi \circ g \biggl(\frac{1}{a} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{4 (\mu p+1 )^{\frac{1}{p}}ab} \bigl\{ a^{2q} \bigl\vert \psi '(a) \bigr\vert ^{q}+b^{2q} \bigl\vert \psi '(b) \bigr\vert ^{q} \bigr\} ^{ \frac{1}{q}}, \end{aligned} $$

where \(g(t)=\frac{1}{t}\).

Corollary 12

By setting \(\phi (x)=x^{r}\), \(r\neq 0\), inequality (2.12) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{r^{\mu }\Gamma (\mu +1)}{2(b^{r}-a^{r})} \bigl({}^{r}J^{\mu }_{{a}^{+}} \psi (b)+{}^{r}J^{\mu }_{{b}^{-}} \psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{4 \vert r \vert (p+1 )^{\frac{1}{p}}} \bigl\{ a^{q(1-r)} \bigl\vert \psi '(a) \bigr\vert ^{q}+b^{q(1-r)} \bigl\vert \psi '(b) \bigr\vert ^{q} \bigr\} ^{\frac{1}{q}}. \end{aligned} $$

Corollary 13

By setting \(\phi (x)=\ln x\), inequality (2.12) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{\psi (a)+\psi (b)}{2}- \frac{\Gamma (\mu +1)}{2(\ln b-\ln a)^{\mu }} \bigl(J^{\mu }_{(\ln a)^{+}} \psi (b)+J^{\mu }_{(\ln b)^{-}}\psi (a) \bigr) \biggr\vert \\ &\quad \leq \frac{\ln b-\ln a}{2 (\mu p+1 )^{\frac{1}{p}}} \bigl\{ a^{q} \bigl\vert \psi '(a) \bigr\vert ^{q}+b^{q} \bigl\vert \psi '(b) \bigr\vert ^{q} \bigr\} ^{ \frac{1}{q}}. \end{aligned} $$

Remark 4

By setting \(\phi (x)=x\) and \(\mu =1\), inequality (2.12) reduces to the inequality proved in Theorem 2.3 of [6].

Remark 5

By considering other strictly monotone functions in place of ϕ in Theorem 4, the corresponding inequalities can be formulated.

In the following we establish another identity to further study the error estimates of inequality (1.4).

Lemma 3

Under the assumptions of Lemma 1, the following identity holds:

$$ \begin{aligned} &\frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu }\psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu }\psi ({a} ) \bigr] \\ &\qquad {} -\psi \biggl(\phi ^{-1} \biggl(\frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \\ &\quad =\frac{\phi (b)-\phi (a)}{4} \biggl[ \int _{0}^{1}t^{\mu }\bigl(\psi \circ \phi ^{-1}\bigr)' \biggl(\frac{\phi (a)t}{2}+ \biggl( \frac{2-t}{2} \biggr) \phi (b) \biggr)\,dt \\ &\qquad {} - \int _{0}^{1}t^{\mu }\bigl(\psi \circ \phi ^{-1}\bigr)' \biggl(\phi (a) \biggl(\frac{2-t}{2} \biggr)+\frac{\phi (b)t}{2} \biggr)\,dt \biggr]. \end{aligned} $$
(2.14)

Proof

Integrating by parts, we have

$$\begin{aligned}& \int _{0}^{\frac{1}{2}} t^{\mu } \bigl(\psi \circ \phi ^{-1} \bigr)' \biggl(\frac{t}{2}\phi (a)+ \frac{(2-t)}{2}\phi (b) \biggr)\,dt \\& \quad = \frac{t^{\mu } (\psi \circ \phi ^{-1} ) (\frac{t}{2}\phi (a)+ (\frac{2-t}{2} )\phi (b) )}{\frac{\phi (a)-\phi (b)}{2}} |_{0}^{{1}{}} \\& \begin{aligned} &\qquad {} - \int _{0}^{1}\mu t^{\mu -1} \frac{ (\psi \circ \phi ^{-1} ) (\frac{t}{2}\phi (a)+ (\frac{2-t}{2} )\phi (b) )\,dt}{\phi (a)-\phi (b)} \\ &\quad =- \frac{2\psi (\phi ^{-1} (\frac{\phi (a)+\phi (b)}{2} ) )}{(\phi (b)-\phi (a))} \end{aligned} \\& \qquad {} +\frac{2\mu }{\phi (b)-\phi (a)} \int _{0}^{{1}}t^{\mu -1} \bigl(\psi \circ \phi ^{-1} \bigr) \biggl(\frac{t\phi (a)}{2}+ \biggl( \frac{2-t}{2} \biggr)\phi (b) \biggr)\,dt \\& \quad =- \frac{2\psi (\phi ^{-1} (\frac{\phi (a)+\phi (b)}{2} ) )}{(\phi (b)-\phi (a))}+ \frac{2^{\mu +1}\Gamma (\mu +1)}{(\phi (b)-\phi (a))^{\mu +1}}I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu }\psi (b). \end{aligned}$$
(2.15)

Above we have used a change of variables. Also

$$ \begin{aligned} & \int _{0}^{1} t^{\mu } \bigl(\psi \circ \phi ^{-1} \bigr)' \biggl( \frac{t}{2}\phi (b)+ \frac{(2-t)}{2}\phi (a) \biggr)\,dt \\ &\quad = \frac{2\psi (\phi ^{-1} (\frac{\phi (a)+\phi (b)}{2} ) )}{2(\phi (b)-\phi (a))} \\ &\qquad {} -\frac{2\mu }{\phi (b)-\phi (a)} \int _{0}^{{1}}t^{\mu -1} \bigl(\psi \circ \phi ^{-1} \bigr) \biggl(\frac{t\phi (a)}{2}+ \biggl(\frac{2-t}{2} \biggr) \phi (b) \biggr)\,dt \\ &\quad = \frac{2\psi (\phi ^{-1} (\frac{\phi (a)+\phi (b)}{2} ) )}{(\phi (b)-\phi (a))}+ \frac{2^{\mu +1}\Gamma (\mu +1)}{(\phi (b)-\phi (a))^{\mu +1}}I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}}^{\mu }\psi (a). \end{aligned} $$
(2.16)

From equations (2.15) and (2.16), identity (2.14) is established. □

Remark 6

By setting \(\phi (x)=x\), identity (2.14) reduces to Lemma 3 of [21]. By setting \(\phi (x)=x\) and \(\mu =1\), identity (2.14) reduces to Corollary 1 of [20]. By setting \(\phi (x)=x\), identity (2.14) reduces to Lemma 2.1 of [12]. By considering other strictly monotone functions in place of ϕ, the corresponding identities can be formulated.

By using Lemma 3, we prove the following error estimate of the Hermite–Hadamard inequality (1.4).

Theorem 6

Under the assumption of Theorem 3, the following fractional integral inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu } \psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu } \psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4(\mu +1)} \bigl\{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert + \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert \bigr\} . \end{aligned} $$
(2.17)

Proof

By using the property of the absolute value function and the convexity of \(|(\psi \circ \phi ^{-1})^{\prime }|\) in Lemma 3, we get

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu }\psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu }\psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4} \biggl[ \int _{0}^{1} \biggl\vert t^{\mu }\bigl( \psi \circ \phi ^{-1}\bigr)' \biggl(\frac{\phi (a)t}{2}+ \biggl(\frac{2-t}{2} \biggr)\phi (b) \biggr) \biggr\vert \,dt \\ &\qquad {} + \int _{0}^{1} \biggl\vert t^{\mu }\bigl( \psi \circ \phi ^{-1}\bigr)' \biggl( \phi (a) \biggl( \frac{2-t}{2} \biggr)+\frac{\phi (b)t}{2} \biggr) \biggr\vert \,dt \biggr] \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4} \biggl( \bigl( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert + \bigl\vert \bigl( \psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert \bigr) \int _{0}^{1}t^{ \mu }\,dt \biggr), \end{aligned} $$

from which we get inequality (2.17). □

Corollary 14

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.17) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)(ab)^{\mu }}{(b-a)^{\mu }} \biggl[I_{{ (\frac{a+b}{2ab} )^{-}}}^{\mu }\psi \circ g \biggl( \frac{1}{b} \biggr) +I_{ (\frac{a+b)}{2ab} )^{+}}^{\mu } \psi \circ g \biggl(\frac{1}{a} \biggr) \biggr]-\psi \biggl( \frac{2ab}{a+b} \biggr) \biggr\vert \\ &\quad \leq \frac{(b-a)(\mu +2)}{4(\mu +1)^{2}ab} \bigl\{ a^{2} \bigl\vert \psi '(a) \bigr\vert +b^{2} \bigl\vert \psi '(b) \bigr\vert \bigr\} , \end{aligned} $$

where \(g(t)=\frac{1}{t}\).

Corollary 15

By setting \(\phi (x)=x^{r}\), \(r\neq 0\), inequality (2.17) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma (\mu +1)r^{\mu }}{(b^{r}-a^{r})^{\mu }} \bigl({}^{r}I_{{ ( (\frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{+}}}^{ \mu }\psi ({} {b} )+{}^{r}I_{{ ( ( \frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{-}}}^{\mu }\psi ({} {a} ) \bigr)-\psi \biggl( \biggl( \frac{a^{r}+b^{r}}{2} \biggr)^{\frac{1}{r}} \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert (\mu +2)}{{4}(\mu +1) \vert r \vert } \bigl\{ a^{(1-r)} \bigl\vert \psi '(a) \bigr\vert +b^{(1-r)} \bigl\vert \psi '(b) \bigr\vert \bigr\} . \end{aligned} $$

Corollary 16

By setting \(\phi (x)=\ln x\), inequality (2.17) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma (\mu +1)}{\ln b-\ln a} \bigl(I_{{ (\frac{\ln (a)+\ln (b)}{2} )^{+}}}^{\mu }\psi ({} {b} )+I_{{ (\frac{\ln (a)+\ln (b)}{2} )^{-}}}^{ \mu } \psi ({} {a} ) \bigr)-\psi \biggl(\exp { \biggl( \frac{\ln a+\ln b}{2} \biggr)} \biggr) \biggr\vert \\ &\quad \leq \frac{\ln b-\ln a}{4(\mu +1)} \bigl\{ a \bigl\vert \psi '(a) \bigr\vert +b \bigl\vert \psi '(b) \bigr\vert \bigr\} . \end{aligned} $$

Remark 7

By setting \(\phi (x)=x\), inequality (2.17) reduces to an inequality of [21]. By setting \(\phi (x)=x\), \(\mu =1\), inequality (2.18) reduces to the inequality proved in Theorem 2.2 of [12].

Theorem 7

Under the assumptions of Theorem 4, the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu } \psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu } \psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{2^{2+\frac{1}{q}}(\mu +1)(\mu +2)^{\frac{1}{q}}} \\ &\qquad {} \times \bigl[ \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}}(\mu +1)+{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q}}(\mu +3) \bigr)^{ \frac{1}{q}} \\ &\qquad {} + { \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}}(\mu +3)+ \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)' \bigl(\phi (b)\bigr) \bigr\vert ^{q}}(\mu +1) \bigr)^{\frac{1}{q}} \bigr]. \end{aligned} $$
(2.18)

Proof

We divide the proof into two cases.

Case 1: \(q=1\). By using the property of the absolute value function and the convexity of \(|(\psi \circ \phi ^{-1})^{\prime }|\) in Lemma 3, inequality (2.17) is obtained.

Case 2: \(q>1\). By using the property of the absolute value function in Lemma 3 and the power mean inequality, the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu }\psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu }\psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4} \biggl( \int _{o}^{1}t^{ \mu }\,dt \biggr)^{1-\frac{1}{q}} \biggl[ \biggl( \int _{0}^{1} \biggl\vert t^{ \mu }\bigl( \psi \circ \phi ^{-1}\bigr)' \biggl(\frac{\phi (a)t}{2}+ \biggl( \frac{2-t}{2} \biggr)\phi (b) \biggr) \biggr\vert ^{q}\,dt \\ &\qquad {} + \int _{0}^{1} \biggl\vert t^{\mu }\bigl( \psi \circ \phi ^{-1}\bigr)' \biggl(\phi (a) \biggl( \frac{2-t}{2} \biggr)+\frac{\phi (b)t}{2} \biggr) \biggr\vert ^{q}\,dt \biggr)^{\frac{1}{q}} \biggr] \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4(\mu +1)^{1-\frac{1}{q}}} \\ &\qquad {} \times \biggl[ \biggl( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q} \int _{0}^{1}\frac{t^{\mu +1}}{2}\,dt+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q} \int _{0}^{1} \biggl(\frac{2-t}{2} \biggr)t^{\mu }\,dt \biggr)^{ \frac{1}{q}} \\ &\qquad {} + \biggl( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (a)\bigr) \bigr\vert ^{q} \int _{0}^{1} \biggl(\frac{2-t}{2} \biggr)t^{\mu }\,dt+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q} \int _{0}^{1}\frac{t^{\mu +1}}{2}\,dt \biggr)^{\frac{1}{q}} \biggr] \\ &\quad = \frac{ \vert \phi (b)-\phi (a) \vert }{2^{2+\frac{1}{q}}(\mu +1)(\mu +2)^{\frac{1}{q}}} \\ & \qquad {}\times \bigl[ \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}}(\mu +1)+{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q}}(\mu +3) \bigr)^{ \frac{1}{q}} \\ &\qquad {} + { \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q}}(\mu +3)+ \bigl({ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)' \bigl(\phi (b)\bigr) \bigr\vert ^{q}}(\mu +1) \bigr)^{\frac{1}{q}} \bigr]. \end{aligned} $$

Hence, inequality (2.18) is proved. □

Corollary 17

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.18) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)(ab)^{\mu }}{(b-a)^{\mu }} \biggl[I_{{ (\frac{a+b}{2ab} )^{-}}}^{\mu }\psi \circ g \biggl( \frac{1}{b} \biggr) +I_{ (\frac{a+b)}{2ab} )^{+}}^{\mu } \psi \circ g \biggl(\frac{1}{a} \biggr) \biggr]-\psi \biggl( \frac{2ab}{a+b} \biggr) \biggr\vert \\ &\quad \leq \frac{b-a}{2^{2+\frac{1}{q}}(\mu +1)(\mu +2)^{\frac{1}{q}}ab} \bigl[ \bigl\{ a^{2q} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +1)+b^{2q} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +3) \bigr\} ^{\frac{1}{q}} \\ & \qquad {}+ \bigl\{ a^{2q} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +3)+b^{2q} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +1) \bigr\} ^{\frac{1}{q}} \bigr], \end{aligned} $$

where \(g(t)=\frac{1}{t}\).

Corollary 18

By setting \(\phi (x)=x^{r}\), \(r\neq 0\), inequality (2.18) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma (\mu +1)r^{\mu }}{(b^{r}-a^{r})^{\mu }} \bigl({}^{r}I_{{ ( (\frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{+}}}^{ \mu }\psi ({} {b} )+{}^{r}I_{{ ( ( \frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{-}}}^{\mu }\psi ({} {a} ) \bigr)-\psi \biggl( \biggl( \frac{a^{r}+b^{r}}{2} \biggr)^{\frac{1}{r}} \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{2^{2+\frac{1}{q}}(\mu +1)(\mu +2)^{\frac{1}{q}} \vert r \vert } \bigl[ \bigl\{ a^{q(1-r)} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +1)+b^{q(1-r)} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +3) \bigr\} ^{\frac{1}{q}} \\ &\qquad {} + \bigl\{ a^{q(1-r)} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +3)+a^{q(1-r)} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +1) \bigr\} ^{\frac{1}{q}} \bigr]. \end{aligned} $$

Corollary 19

By setting \(\phi (x)=\ln x\), inequality (2.18) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma (\mu +1)}{\ln b-\ln a} \bigl(I_{{ (\frac{\ln (a)+\ln (b)}{2} )^{+}}}^{\mu }\psi ({} {b} )+I_{{ (\frac{\ln (a)+\ln (b)}{2} )^{-}}}^{ \mu } \psi ({} {a} ) \bigr)-\psi \biggl(\exp { \biggl( \frac{\ln a+\ln b}{2} \biggr)} \biggr) \biggr\vert \\ &\quad \leq \frac{(\ln b-\ln a)}{2^{2+\frac{1}{q}}(\mu +1)(\mu +2)^{\frac{1}{q}}} \bigl[ \bigl\{ a^{q} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +1)+b^{q} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +3) \bigr\} ^{\frac{1}{q}} \\ &\qquad {} + \bigl\{ a^{q} \bigl\vert \psi '(a) \bigr\vert ^{q}(\mu +3)+b^{q} \bigl\vert \psi '(b) \bigr\vert ^{q}(\mu +1) \bigr\} ^{\frac{1}{q}} \bigr]^{ \frac{1}{q}}. \end{aligned} $$

Remark 8

By setting \(\phi (x)=x\), inequality (2.18) reduces to the inequality proved in Theorem 5 of [21]. By setting \(\phi (x)=x\), \(\mu =1=q\), inequality (2.18) reduces to the inequality proved in Theorem 2.2 of [12].

Remark 9

By considering other strictly monotone functions in place of ϕ in Theorem 8, the corresponding inequalities can be formulated.

Theorem 8

Under the assumptions of Theorem 5, the following inequality holds:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu } \psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu } \psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4^{1-\frac{1}{p}}{({\mu p+1)}}^{\frac{1}{p}}} \bigl[{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert }+{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert } \bigr]. \end{aligned} $$
(2.19)

Proof

By using the property of the absolute value function in Lemma 3 and Hölder’s inequality, the following inequality is established:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu } \psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu } \psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4} \biggl( \int _{0}^{1}t^{ \mu p}\,dt \biggr)^{\frac{1}{p}} \biggl[ \int _{0}^{1} \biggl\vert \bigl(\psi \circ \phi ^{-1}\bigr)' \biggl(\frac{\phi (a)t}{2}+ \biggl( \frac{2-t}{2} \biggr) \phi (b) \biggr) \biggr\vert \,dt \\ &\qquad {} + \int _{0}^{1} \biggl\vert \bigl(\psi \circ \phi ^{-1}\bigr)' \biggl( \phi (a) \biggl(\frac{2-t}{2} \biggr)+\frac{\phi (b)t}{2} \biggr) \biggr\vert \,dt \biggr]. \end{aligned} $$
(2.20)

Now, by using the convexity of \(\vert (\psi \circ \phi ^{-1} )' \vert \) on the right-hand side of the above inequality (2.20), we get the following inequality:

$$\begin{aligned}& \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\phi (b)-\phi (a))^{\mu }} \bigl[I_{{ (\frac{\phi (a)+\phi (b)}{2} )^{+}}}^{\mu }\psi (b) +I_{ (\frac{\phi (a)+\phi (b)}{2} )^{-}}^{\mu }\psi ({a} ) \bigr]-\psi \biggl(\phi ^{-1} \biggl( \frac{\phi (a)+\phi (b)}{2} \biggr) \biggr) \biggr\vert \\& \quad \le \frac{ \vert \phi (b)-\phi (a) \vert }{4} \biggl( \int _{o}^{1}t^{ \mu p}\,dt \biggr)^{\frac{1}{p}} \biggl[ \int _{0}^{1} \biggl\vert \bigl(\psi \circ \phi ^{-1}\bigr)' \biggl(\frac{\phi (a)t}{2}+ \biggl( \frac{2-t}{2} \biggr) \phi (b) \biggr) \biggr\vert \,dt \\& \qquad {} + \int _{0}^{1} \biggl\vert \bigl(\psi \circ \phi ^{-1}\bigr)' \biggl( \phi (a) \biggl(\frac{2-t}{2} \biggr)+\frac{\phi (b)t}{2} \biggr) \biggr\vert \,dt \biggr] \\& \quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4(\mu p+1)^{\frac{1}{p}}} \\& \qquad {} \times \biggl( \biggl( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert ^{q} \int _{0}^{1}\frac{t}{2}\,dt+ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b)\bigr) \bigr\vert ^{q} \int _{0}^{1} \biggl(\frac{2-t}{2} \biggr)\,dt \biggr) ^{\frac{1}{q}} \\& \qquad {} + \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl( \phi (a)\bigr) \bigr\vert ^{q} \int _{0}^{1} \biggl(\frac{2-t}{2} \biggr)\,dt+ ( \biggl( \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)' \bigl(\phi (b)\bigr) \bigr\vert ^{q} \int _{0}^{1} \frac{t}{2}\,dt \biggr) ^{\frac{1}{q}} \\& \quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4{({\mu p+1)}}^{\frac{1}{p}}} \biggl[ \biggl( \frac{{ \vert (\psi \circ \phi ^{-1} )'(\phi (a)) \vert ^{q}}+3{ \vert (\psi \circ \phi ^{-1} )'(\phi (b)) \vert ^{q}}}{4} \biggr)^{\frac{1}{q}} \\& \qquad {} \times \biggl( \frac{3{ \vert (\psi \circ \phi ^{-1} )'(\phi (a)) \vert ^{q}}+{ \vert (\psi \circ \phi ^{-1} )'(\phi (b)) \vert ^{q}}}{4} \biggr)^{\frac{1}{q}} \biggr] \\& \quad \leq \frac{ \vert \phi (b)-\phi (a) \vert }{4^{1-\frac{1}{p}}{({\mu p+1)}}^{\frac{1}{p}}} \bigl[{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (a)\bigr) \bigr\vert }+{ \bigl\vert \bigl(\psi \circ \phi ^{-1} \bigr)'\bigl(\phi (b) \bigr) \bigr\vert } \bigr]. \end{aligned}$$

Here we have used the fact \(a^{q}+b^{q}\leq (a+b)^{q}\), for \(q>1\), \(a, b\geq 0\). This completes the proof. □

Corollary 20

By setting \(\phi (x)=\frac{1}{x}\), inequality (2.19) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)(ab)^{\mu }}{(b-a)^{\mu }} \biggl[I_{{ (\frac{a+b}{2ab} )^{-}}}^{\mu }\psi \circ g \biggl( \frac{1}{b} \biggr) +I_{ (\frac{a+b)}{2ab} )^{+}}^{\mu } \psi \circ g \biggl(\frac{1}{a} \biggr) \biggr]-\psi \biggl( \frac{2ab}{a+b} \biggr) \biggr\vert \\ &\quad \leq \frac{(b-a)}{4^{1-\frac{1}{p}}{({\mu p+1)}}^{\frac{1}{p}}ab} \bigl[{a^{2} \bigl\vert \psi '(a) \bigr\vert }+{b^{2} \bigl\vert \psi '(b) \bigr\vert } \bigr], \end{aligned} $$

where \(g(t)=\frac{1}{t}\).

Corollary 21

By setting \(\phi (x)=x^{r}\), inequality (2.19) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma (\mu +1)r^{\mu }}{(b^{r}-a^{r})^{\mu }} \bigl({}^{r}I_{{ ( (\frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{+}}}^{ \mu }\psi ({} {b} )+{}^{r}I_{{ ( ( \frac{a^{r}+b^{r}}{2} )^{\frac{1}{r}} )^{-}}}^{\mu }\psi ({} {a} ) \bigr)-\psi \biggl( \biggl( \frac{a^{r}+b^{r}}{2} \biggr)^{\frac{1}{r}} \biggr) \biggr\vert \\ &\quad \leq \frac{ \vert b^{r}-a^{r} \vert }{4^{1-\frac{1}{p}}{({\mu p+1)}}^{\frac{1}{p}}} \bigl[{a^{1-r} \bigl\vert \psi '(a) \bigr\vert }+{b^{1-r} \bigl\vert \psi '(b) \bigr\vert } \bigr]. \end{aligned} $$

Corollary 22

By setting \(\phi (x)=\ln x\), inequality (2.19) reduces to the following inequality:

$$ \begin{aligned} & \biggl\vert \frac{2^{\mu -1}\Gamma ({\mu }+1)}{(\ln b-\ln a)^{\mu }} \bigl[I_{{ (\frac{\ln a+\ln b}{2} )^{+}}}^{\mu }\psi ({} {b} ) +I_{ (\frac{\ln a+\ln b)}{2} )^{-}}^{\mu } \psi ({} {a} ) \bigr]-\psi \biggl(\exp \biggl( \frac{\ln a+\ln b}{2} \biggr) \biggr) \biggr\vert \\ &\quad \leq \frac{\ln b-\ln a}{4^{1-\frac{1}{p}}{({\mu p+1)}}^{\frac{1}{p}}} \bigl[{a \bigl\vert \psi '(a) \bigr\vert }+{b \bigl\vert \psi '(b) \bigr\vert } \bigr]. \end{aligned} $$

Remark 10

By setting \(\phi (x)=x\), inequality (2.19) reduces to the inequality proved in Theorem 6 of [21]. By setting \(\phi (x)=x\), \(\mu =1\), inequality (2.19) reduces to the inequality proved in Theorem 2.3 of [12].

Conclusions

The inequalities presented in this paper provide general formulas for fractional versions of trapezoidal and midpoint inequalities for strictly monotone functions. It is noted that the results presented in the published articles [6, 8, 10, 12, 17, 2022] can be generated by considering the strictly monotone functions x, \(\frac{1}{x}\), \(x^{r}\), \(r\neq 0\), and lnx. The readers can produce corresponding inequalities by taking other strictly monotone functions of their choice.

Availability of data and materials

There is no additional data required for the finding of the results of this paper.

References

  1. Ali, M.A., Alp, N., Budak, H., Chu, Y., Zhang, Z.: On some new quantum midpoint-type inequalities for twice quantum differentiable convex functions. Open Math. 19(1), 427–439 (2021)

    MathSciNet  Article  Google Scholar 

  2. Budak, H., Khan, S., Ali, M.A., Chu, Y.: Refinements of quantum Hermite–Hadamard-type inequalities. Open Math. 19(1), 724–734 (2021)

    MathSciNet  Article  Google Scholar 

  3. Cerone, P., Dragomir, S.S.: Trapezoidal type rules from an inequalities point of view. In: Anastassiou, G. (ed.) Handbook of Analytic-Computational Methods in Applied Mathematics, pp. 65–134. CRC Press, New York (2000)

    Google Scholar 

  4. Chen, F., Wu, S.: Fejér and Hermite–Hadamard type inequalities for harmonically convex functions. J. Appl. Math. 2014, Article ID 386806 (2014)

    MATH  Google Scholar 

  5. Dragomir, S.S.: Hermite–Hadamard type inequalities for MN-convex functions. Aust. J. Math. Anal. Appl. 18(1), 1 (2021)

    MathSciNet  MATH  Google Scholar 

  6. Dragomir, S.S., Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and to trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)

    MathSciNet  Article  Google Scholar 

  7. Hadamard, J.: Etude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 58, 171–215 (1893)

    MATH  Google Scholar 

  8. Iscan, I.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43(6), 935–942 (2014)

    MathSciNet  MATH  Google Scholar 

  9. Iscan, I.: Hermite–Hadamard type inequalities for p-convex functions. Int. J. Anal. Appl. 11(2), 137–145 (2016)

    MathSciNet  MATH  Google Scholar 

  10. Iscan, I., Wu, S.: Hermite–Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 238, 237–244 (2014)

    MathSciNet  MATH  Google Scholar 

  11. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland, New York (2006)

    MATH  Google Scholar 

  12. Kirmaci, 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 

  13. Kunt, M., Iscan, I.: Hermite–Hadamard–Fejér type inequalities for p-convex functions. Arab J. Math. Sci. 23, 215–230 (2017)

    MathSciNet  MATH  Google Scholar 

  14. Kunt, M., Iscan, I., Yazici, N., Gozutok, U.: On new inequalities of Hermite–Hadamard–Fejér type for harmonically convex functions via fractional integrals. SpringerPlus 5, 635 (2016)

    Article  Google Scholar 

  15. Latif, M.A., Dragomir, S.S., Momoniat, E.: Some Fejér type integral inequalities for geometrically-arithmetically-convex functions with applications. Filomat 32(6), 2193–2206 (2018)

    MathSciNet  Article  Google Scholar 

  16. Latif, M.A., Hussain, S., Chu, Y.: Generalized Hermite–Hadamard type inequalities for differentiable harmonically-convex and harmonically quasi-convex functions. J. Math. Inequal. 15(2), 755–766 (2021)

    MathSciNet  Article  Google Scholar 

  17. Noor, M.A., Noor, K.I., Mihai, M.V., Awan, M.U.: Hermite–Hadamard inequalities for differentiable p-convex functions using hypergeometric functions (2015) https://www.researchgate.net/publication/282912282. https://doi.org/10.13140/RG.2.1.2485.0648

  18. Pečarić, J., Proschan, F., Tong, Y.L.: Convex Functions, Partial Orderings and Statistical Applications. Academic Press, New York (1992)

    MATH  Google Scholar 

  19. Prudnikov, A.P., Brychkov, I.A., Marichev, O.I.: Integrals and Series: Special Functions, vol. 2. CRC Press, Boca Raton (1986)

    MATH  Google Scholar 

  20. Sarikaya, M.Z., Set, E., Yaldiz, H., Basak, N.: Hermite–Hadamard’s inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)

    Article  Google Scholar 

  21. Sarikaya, M.Z., Yildirim, H.: On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 17(2), 1049–1059 (2017)

    MathSciNet  Article  Google Scholar 

  22. Toplu, T., Set, E., Iscan, I., Maden, S.: Hermite–Hadamard-type inequalities for p-convex functions via Katugampola fractional integrals. Facta Univ., Ser. Math. Inform. 34(1), 149–164 (2019)

    MathSciNet  MATH  Google Scholar 

  23. Tunc, T., Budak, H., Usta, F., Sarikaya, M.Z.: On new generalized fractional integral operators and related fractional inequalities. Konuralp J. Math. 8(2), 268–278 (2020)

    MathSciNet  Google Scholar 

  24. Turhan, S., Kunt, M., Iscan, I.: Hermite–Hadamard type inequalities for \(M_{\varphi }A\)-convex functions. Int. J. Math. Model. Comp. 10(1), 57–75 (2020)

    Google Scholar 

  25. Zhou, S.S., Farid, G., Jung, C.Y.: Convexity with respect to strictly monotone function and Riemann–Liouville fractional Fejér–Hadamard inequalities. AIMS Math. 6(7), 6975–6985 (2021)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

This research is partially supported through project KK .01.1.1.02.0027 , a project co-financed by the Croatian Government and the European Union through the European Regional Development Fund – the Competitiveness and Cohesion Operational Programme, and by the RUDN University Strategic Academic Leadership Program. And this research is partially supported by the National Science, Research and Innovation Fund (NSRF), Thailand.

Funding

There is no funding available for the publication of this paper.

Author information

Affiliations

Authors

Contributions

All authors have equal contribution in this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Kamsing Nonlaopon.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Farid, G., Pec̆arić, J. & Nonlaopon, K. Inequalities for fractional Riemann–Liouville integrals of certain class of convex functions. Adv Cont Discr Mod 2022, 8 (2022). https://doi.org/10.1186/s13662-022-03682-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-022-03682-z

MSC

  • 26A51
  • 26D15

Keywords

  • Convex function
  • Hadamard inequality
  • Riemann–Liouville fractional integrals
  • Error bounds