# Study of fractional integral inequalities involving Mittag-Leffler functions via convexity

## Abstract

This paper studies fractional integral inequalities for fractional integral operators containing extended Mittag-Leffler (ML) functions. These inequalities provide upper bounds of left- and right-sided fractional integrals for $$(\alpha, h-m)$$ convex functions. A generalized fractional Hadamard inequality is established. All the results hold for h-convex, $$(h, m)$$-convex, $$(\alpha, m)$$-convex, $$(s, m)$$-convex, and associated functions.

## Introduction

Convexity was introduced at the beginning of the twentieth century. Due to having many fascinating and important properties, a convex function plays a vital role in almost all areas of mathematical analysis, probability theory, optimization theory, graph theory, etc. It has been defined in different convenient ways, for example, graph of a convex function always lies below the chord joining any two points lying on its graph, the derivative of a differentiable convex function is increasing and vice versa, a convex function has line of support at each point of the interior of its domain, and many others. In the theory of inequalities it is frequently defined in the form of an inequality which can be interpreted very nicely in the plane. A function $$f: I\subseteq \mathbb{R}\rightarrow \mathbb{R}$$ satisfying the inequality $$f(ta + (1-t)b) \leq tf(a)+ (1-t)f(b)$$, where I is an interval, $$t \in [0, 1]$$, and $$a, b \in I$$, is called convex.

This analytic form of presentation of a convex function motivated the authors to define other types of convex functions for example m-convex, s-convex, $$(s, m)$$-convex, h-convex, $$(h, m)$$-convex, $$(\alpha, m)$$-convex, exponentially convex, etc. In this age convex functions lead to the theory of convex analysis, theory of inequalities, a lot of research articles and books are dedicated to the literature which has been developed due to convex function, see [1, 3, 4, 20, 22, 25, 31].

The goal of this paper is to study the bounds of fractional integral operators involving Mittag-Leffler (ML) functions in their kernels by utilizing a generalized form of convex functions, namely $$(\alpha,h-m)$$-convex functions which unify h-convex, $$(h, m)$$-convex, $$(\alpha, m)$$-convex, and $$(s, m)$$-convex functions. Therefore the results of this paper will simultaneously hold for all these kinds of convex functions.

In 2007, Varošance introduced the h-convex function.

### Definition 1

()

A function $$f: I\rightarrow \mathbb{R}$$ is said to be h-convex if the following inequality holds:

$$f \bigl(ta+(1-t)b \bigr)\leq h(t)f(a)+h(1-t)f(b),$$

where h is a nonnegative function defined on J, $$a, b \in I$$, $$t \in [0,1]$$, I and J are real intervals such that $$(0,1)\subset J$$.

Özdemir introduced a generalization of h-convex function, namely $$(h-m)$$-convex function.

### Definition 2

()

Let $$J\subseteq \mathbb{R}$$ be an interval containing $$(0,1)$$, and let $$h:J\rightarrow \mathbb{R}$$ be a nonnegative function. We say that $$f:[0,b]\rightarrow \mathbb{R}$$ is an $$(h-m)$$-convex function if f is nonnegative, and for all $$u, v \in [0,b],m\in [0,1]$$, and $$t\in (0,1)$$, one has

\begin{aligned} f \bigl(tu+m(1-t)v \bigr)\leq h(t)f(u)+mh(1-t)f(v). \end{aligned}
(1.1)

Mihesan introduced the notion of $$(\alpha,m)$$-convex function as follows.

### Definition 3

()

A function $$f:[0,b] \subseteq \mathbb{R}\rightarrow \mathbb{R}$$ is said to be $$(\alpha,m)$$-convex function, where $$(\alpha,m)\in [0,1 ]^{2}$$ and $$b>0$$, if for every $$u, v\in [0,b]$$ and $$t\in [0,1]$$, we have

$$f \bigl(tu+m(1-t)v \bigr)\leq t^{\alpha }f(u)+m \bigl(1-t^{\alpha } \bigr) f(v).$$

### Definition 4

()

A function $$f:[0,b] \rightarrow \mathbb{R}$$ is said to be $$(s,m)$$-convex function, where $$(s,m)\in [0,1 ]^{2}$$ and $$b>0$$, if for every $$x,y\in [0,b]$$ and $$t\in [0,1]$$, we have

$$f \bigl(ta+m(1-t)b \bigr)\leq t^{s}f(a)+m(1-t)^{s}f(b).$$

Farid et al. unified the notions of h-convexity, $$(\alpha, m)$$-convexity, $$(h, m)$$-convexity, and $$(s, m)$$-convexity in a single definition called $$(\alpha, h-m)$$-convex function given as follows.

### Definition 5

()

Let $$J\subseteq \mathbb{R}$$ be an interval containing $$(0,1)$$, and let $$h:J\rightarrow \mathbb{R}$$ be a nonnegative function. We say that $$f:[0,b]\rightarrow \mathbb{R}$$ is an $$(\alpha,h-m)$$-convex function if f is nonnegative, and for all $$u, v \in [0,b],(\alpha,m)\in [0,1]^{2}$$, and $$t\in (0,1)$$, one has

\begin{aligned} f \bigl(tu+m(1-t)v \bigr)\leq h \bigl(t^{\alpha } \bigr)f(u)+mh \bigl(1-t^{\alpha } \bigr)f(v). \end{aligned}
(1.2)

### Remark 1

By selecting a suitable function h and particular values of m and α, the above definition produces the functions as follows:

1. (i)

By setting $$\alpha =1, h(t)=t^{s}$$, an $$(s, m)$$-convex function can be obtained.

2. (ii)

By setting $$h(t)=t$$, an $$(\alpha, m)$$-convex function can be obtained.

3. (iii)

By setting $$\alpha =1$$, an $$(h, m)$$-convex function can be obtained.

4. (iv)

By setting $$m=1, \alpha =1$$, an h-convex function can be obtained.

Next we give the definition of Mittag-Leffler functions and associated definitions of fractional integral operators.

Mittag-Leffler function $$E_{\xi }(\cdot)$$ for one parameter is defined as follows :

$$E_{\xi }(t)=\sum_{n=0}^{\infty } \frac{t^{n}}{\Gamma (\xi n + 1)},$$

where $$t,\xi \in \mathbb{C}, \Re {(\xi )}>0$$, and $$\Gamma (\cdot)$$ is the gamma function. It is a natural extension of exponential, hyperbolic, and trigonometric functions. This function and its extensions are useful in solving fractional integral/differential equations. It is also studied extensively in various fields of sciences; for details, see [2, 7, 10, 16, 17, 24, 26, 27].

Andrić et al. introduced the following extended Mittag-Leffler function.

### Definition 6

()

Let $$\mu,\xi,l,\gamma,c\in \mathbb{C}$$, $$\Re (\mu ),\Re (\xi ),\Re (l)>0$$, $$\Re (c)>\Re (\gamma )>0$$ with $$p\geq 0$$, $$\delta >0$$, and $$0< k\leq \delta +\Re (\mu )$$. Then the extended generalized Mittag-Leffler function $$E_{\mu,\xi,l}^{\gamma,\delta,k,c}(t;p)$$ is defined by

$$E_{\mu,\xi,l}^{\gamma,\delta,k,c}(t;p)= \sum _{n=0}^{\infty } \frac{\beta _{p}(\gamma +nk,c-\gamma )}{\beta (\gamma,c-\gamma )} \frac{(c)_{nk}}{\Gamma (\mu n +\alpha )} \frac{t^{n}}{(l)_{n \delta }},$$
(1.3)

where $$\beta _{p}$$ is defined by

$$\beta _{p}(x,y) = \int _{0}^{1}t^{x-1}(1-t)^{y-1}e^{-\frac{p}{t(1-t)}} \,dt$$

and $$(c)_{nk}=\frac{\Gamma (c+nk)}{\Gamma (c)}$$.

A derivative formula of the extended Mittag-Leffler function is given in the following lemma.

### Lemma 1

()

If $$m\in \mathbb{N},\omega,\mu,\xi,l,\gamma,c\in \mathbb{C},\Re ( \mu ),\Re (\xi ),\Re (l)>0,\Re (c)>\Re (\gamma )>0$$with $$p\geq 0,\delta >0$$, and $$0< k<\delta +\Re (\mu )$$, then

\begin{aligned} & \biggl(\frac{d}{dt} \biggr)^{m} \bigl[t^{\xi -1}E_{\mu,\xi,l}^{\gamma, \delta,k,c} \bigl(\omega t^{\mu };p \bigr) \bigr]=t^{\xi -m-1}E_{\mu,\xi -m,l}^{\gamma, \delta,k,c} \bigl(\omega t^{\mu };p \bigr) ,\quad \Re (\xi )>m. \end{aligned}
(1.4)

### Remark 2

The extended Mittag-Leffler function (1.3) produces the related functions defined in [23, 24, 2628], see [29, Remark 1.3].

Next, we give the definition of fractional integral operators containing the extended Mittag-Leffler function (1.3).

### Definition 7

()

Let $$\omega,\mu,\xi,l,\gamma,c\in \mathbb{C}$$, $$\Re (\mu ),\Re (\xi ),\Re (l)>0$$, $$\Re (c)>\Re (\gamma )>0$$ with $$p\geq 0$$, $$\delta >0$$, and $$0< k\leq \delta +\Re (\mu )$$. Let $$f\in L_{1}[a,b]$$ and $$x\in [a,b]$$. Then the generalized fractional integral operators containing Mittag-Leffler function are defined by

\begin{aligned} & \bigl( \epsilon _{\mu,\xi,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)= \int _{a}^{x}(x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma, \delta,k,c} \bigl(\omega (x-t)^{\mu };p \bigr)f(t)\,dt, \end{aligned}
(1.5)
\begin{aligned} &\bigl( \epsilon _{\mu,\xi,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (x;p)= \int _{x}^{b}(t-x)^{\xi -1}E_{\mu,\xi,l}^{\gamma, \delta,k,c} \bigl(\omega (t-x)^{\mu };p \bigr)f(t)\,dt. \end{aligned}
(1.6)

### Remark 3

Operators (1.5) and (1.6) produce in particular several kinds of known fractional integral operators, see [29, Remark 1.4].

The classical Riemann–Liouville fractional integral operator is defined as follows.

### Definition 8

()

Let $$f\in L _{1}[a,b]$$. Then Riemann–Liouville fractional integral operators of order $${\xi }>0$$ are defined by

\begin{aligned} & I_{a^{+}}^{\xi }f(x)=\frac{1}{\Gamma (\xi )} \int _{x}^{b}(x-t)^{\xi -1}f(t)\,dt,\quad x>a , \end{aligned}
(1.7)
\begin{aligned} & I_{b^{-}}^{\xi }f(x)=\frac{1}{\Gamma (\xi )} \int _{a}^{x}(t-x)^{\xi -1}f(t)\,dt,\quad x< b. \end{aligned}
(1.8)

It can be noted that $$(\epsilon _{\mu,\xi,l,0,a^{+}}^{\gamma,\delta,k,c}f )(x;0)=I_{a^{+}}^{ \xi }f(x)$$ and $$(\epsilon _{\mu,\xi,l,0,b^{-}}^{\gamma,\delta,k,c}f )(x;0)=I_{b^{-}}^{ \xi }f(x)$$. From fractional integral operators (1.5) and (1.6) we can write

\begin{aligned} & J_{\xi,a^{+}}(x;p):= \bigl(\epsilon _{\mu,\xi,l,\omega,a^{+}}^{ \gamma,\delta,k,c}1 \bigr) (x;p)=(x-a)^{\xi } E_{\mu,\xi +1,l}^{ \gamma,\delta,k,c} \bigl(w(x-a)^{\mu };p \bigr), \end{aligned}
(1.9)
\begin{aligned} &J_{\eta,b^{-}}(x;p):= \bigl(\epsilon _{\mu,\eta,l,\omega,b^{-}}^{ \gamma,\delta,k,c}1 \bigr) (x;p)=(b-x)^{\eta } E_{\mu,\eta +1,l}^{ \gamma,\delta,k,c} \bigl(w(b-x)^{\mu };p \bigr). \end{aligned}
(1.10)

In the upcoming section the extended Mittag-Leffler (ML) function (1.3) and the corresponding generalized fractional integral operators are used to evaluate the bounds of sum of left- and right-sided operators by using $$(\alpha, h-m)$$-convexity. Their particular cases are also discussed. Furthermore, the lower and upper bounds of sum of these operators are presented in the form of a Hadamard inequality for $$(\alpha, h-m)$$-convex functions. Also the presented results are connected with several already known results.

## Main results

### Theorem 1

Let $$\varphi:[x_{0},y_{0}]\longrightarrow \mathbb{R}$$be a real-valued function. If φ is positive and $$(\alpha, h-m)$$-convex, $$(\alpha,m)\in \mathbb{[}0,1]^{2}$$, $$m\neq 0$$, then for $$\xi,\eta \geq 1$$, the following fractional integral inequality for generalized fractional integral operators (1.5) and (1.6) holds:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\eta,l,\omega,y_{0}^{-}}^{ \gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\quad \leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \varphi (x_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr) \\ &\qquad{} +(y_{0}-x)J_{\eta -1,y_{0}^{-}}(x;p) \biggl( \varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.1)

### Proof

Let $$x\in [x_{0}, y_{0}]$$. Then, for $$t\in [x_{0},x)$$, $$\xi \geq 1$$, the following inequality holds:

$$(x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-t)^{\mu };p \bigr) \leq (x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr).$$
(2.2)

Using the definition of $$(\alpha,h-m)$$-convex function, we get

$$\varphi (t) \leq h \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \varphi (x_{0})+m h \biggl(1- \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \varphi \biggl(\frac{x}{m} \biggr).$$
(2.3)

After multiplying (2.2) and (2.3), we integrate over $$[x_{0},x]$$ to obtain the following inequality:

\begin{aligned} & \int _{x_{0}}^{x} (x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (x-t)^{\mu };p \bigr) \varphi (t) \,dt \\ &\quad\leq {(x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (x-x_{0})^{\mu };p \bigr)} \biggl(\varphi (x_{0}) \int _{x_{0}}^{x} h \biggl( \frac{x-t}{x-x_{0}} \biggr)^{\alpha }\,dt \\ &\qquad{}+m \varphi \biggl(\frac{x}{m} \biggr) \int _{x_{0}}^{x} h \biggl(1- \biggl( \frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr)\,dt \biggr). \end{aligned}

Therefore the left fractional integral operator (1.5) satisfies the following upper bound:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p) \\ &\quad\leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \varphi (x_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.4)

Similarly, for $$t\in (x,y_{0}]$$ and $$\eta \geq 1$$, the following inequality holds:

$$(t-x)^{\eta -1}E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl(\omega (t-x)^{ \mu };p \bigr) \leq (y_{0}-x)^{\eta -1}E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x)^{\mu };p \bigr),$$
(2.5)

again by using $$(\alpha,h-m)$$-convexity of φ, we have

$$\varphi (t) \leq h \biggl(\frac{t-x}{y_{0}-x} \biggr)^{\alpha }\varphi (y_{0})+m h \biggl(1- \biggl( \frac{t-x}{y_{0}-x} \biggr)^{\alpha } \biggr) \varphi \biggl(\frac{x}{m} \biggr).$$
(2.6)

By multiplying (2.5) and (2.6), and integrating over $$[x,y_{0}]$$, we have

\begin{aligned} & \int _{x}^{y_{0}} (t-x)^{\eta -1}E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl( \omega (t-x)^{\mu };p \bigr) \varphi (t) \,dt \\ &\quad\leq {(y_{0}-x)^{\eta -1}E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x)^{\mu };p \bigr)} \biggl(\varphi (y_{0}) \int _{x}^{y_{0}} h \biggl( \frac{t-x}{y_{0}-x} \biggr)^{\alpha }\,dt \\ &\qquad{}+m \varphi \biggl(\frac{x}{m} \biggr) \int _{x}^{y_{0}} h \biggl(1- \biggl( \frac{t-x}{y_{0}-x} \biggr)^{\alpha } \biggr)\,dt \biggr). \end{aligned}

Therefore the right fractional integral operator (1.6) satisfies the following upper bound:

\begin{aligned} & \bigl(\epsilon _{\mu,\eta,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p) \\ &\quad\leq (y_{0}-x)J_{\eta -1,y_{0}^{-}}(x;p) \biggl( \varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.7)

By adding (2.4) and (2.7), inequality (2.1) is obtained. □

Some particular results are stated in the following corollaries.

### Corollary 1

If we set $$\xi =\eta$$in (2.1), then the following inequality is obtained:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\xi,l,\omega,y_{0}^{-}}^{ \gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\quad \leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \varphi (x_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr) \\ &\qquad{} +(y_{0}-x)J_{\xi -1,y_{0}^{-}}(x;p) \biggl( \varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \varphi \biggl(\frac{x}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.8)

### Corollary 2

Along with assumptions of Theorem 1, if $$\varphi \in L_{\infty }[x_{0},y_{0}]$$, then the following inequality is obtained:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\eta,l,\omega,y_{0}^{-}}^{ \gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\quad \leq \Vert \varphi \Vert _{\infty } \bigl[ (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p)+(y_{0}-x)J_{ \eta -1,y_{0}^{-}}(x;p) \bigr] \\ &\qquad{} \times \biggl[ \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr]. \end{aligned}
(2.9)

### Corollary 3

By setting $$\xi =\eta$$in (2.9), we get the following inequality:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\xi,l,\omega,y_{0}^{-}}^{ \gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\quad \leq \Vert \varphi \Vert _{\infty } \bigl[ (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p)+(y_{0}-x)J_{ \xi -1,y_{0}^{-}}(x;p) \bigr] \\ &\qquad{} \times \biggl[ \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr]. \end{aligned}
(2.10)

### Remark 4

1. (i)

If we set $$h(t)=t$$ in (2.1), then we obtain [12, Theorem 2.1].

2. (ii)

If we set $$h(t)=t$$ in (2.8), then we obtain [12, Corollary 2.1].

3. (iii)

If we set $$\alpha =1$$ in (2.1), then we obtain [9, Theorem 1].

4. (iv)

If we set $$\alpha =m=1$$ and $$h(t)=t$$ in (2.1), then we obtain [9, Corollary 1].

5. (v)

If we set $$\alpha =1, \omega =p=0$$ in (2.1), then we obtain [13, Theorem 1].

6. (vi)

If we set $$\alpha =m=1, \omega =p=0$$, $$h(t)=t$$ in (2.1), then we obtain [11, Theorem 1].

### Theorem 2

Along with the assumptions of Theorem 1, if $$\varphi \in L_{\infty }[x_{0},y_{0}]$$, then the operators defined in (1.5) and (1.6) are bounded and continuous.

### Proof

If $$\varphi \in L_{\infty }[x_{0},y_{0}]$$, then from (2.4) we have

\begin{aligned} & \bigl\vert \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma, \delta,k,c} \varphi \bigr) (x;p) \bigr\vert \\ &\quad \leq \Vert \varphi \Vert _{\infty }(x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \int _{0}^{1} \bigl(h \bigl(z^{\alpha } \bigr)+mh \bigl(1-z^{\alpha } \bigr) \bigr)\,dz \\ &\quad \leq \Vert \varphi \Vert _{\infty }(y_{0}-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \int _{0}^{1} \bigl(h \bigl(z^{\alpha } \bigr)+mh \bigl(1-z^{\alpha } \bigr) \bigr)\,dz, \end{aligned}
(2.11)

that is,

$$\bigl\vert \bigl(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma, \delta,k,c}\varphi \bigr) (x;p) \bigr\vert \leq M \Vert \varphi \Vert _{\infty },$$
(2.12)

where $$M=(y_{0}-x_{0})J_{\xi -1,x_{0}^{+}}(x;p)\int _{0}^{1} (h(z^{\alpha })+mh(1-z^{\alpha }) )\,dz$$. On the other hand, from (2.7) we can obtain

$$\bigl\vert \bigl(\epsilon _{\mu,\eta,l,\omega,y_{0}^{-}}^{\gamma, \delta,k,c}\varphi \bigr) (x;p) \bigr\vert \leq K \Vert \varphi \Vert _{\infty },$$
(2.13)

where $$K=(y_{0}-x_{0})J_{\eta -1,y_{0}^{-}}(x;p)\int _{0}^{1} (h(z^{\alpha }) +mh(1-z^{\alpha }) )\,dz$$. Therefore the operators $$(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi )(x;p)$$ and $$(\epsilon _{\mu,\xi,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi )(x;p)$$ are bounded. Also they are linear, hence they are continuous. □

### Theorem 3

Let $$\varphi: [x_{0},y_{0}]\longrightarrow \mathbb{R}$$be a real-valued function. If φ is differentiable and $$|\varphi '|$$is $$(\alpha,h-m)$$-convex, $$(\alpha,m)\in \mathbb{[}0,1]^{2}$$, $$m\neq 0$$, then for $$\xi,\eta \geq 1$$, the following fractional integral inequality for generalized fractional integral operators (1.5) and (1.6) holds:

\begin{aligned} & \bigl\vert \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma, \delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\eta +1,l, \omega,y_{0}^{-}}^{\gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\qquad{} - \bigl(J_{\xi -1,x_{0}^{+}}(x;p)\varphi (x_{0})+J_{ \eta -1,y_{0}^{-}}(x;p) \varphi (y_{0}) \bigr) \bigr\vert \\ &\quad \leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr) \\ &\qquad{} +(y_{0}-x)J_{\eta -1,y_{0}^{-}}(x;p) \\ &\qquad{}\times \biggl( \bigl\vert \varphi '(y_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.14)

### Proof

Let $$x\in [x_{0},y_{0}]$$ and $$t\in [x_{0},x)$$. Then, by using the definition of $$(\alpha,h-m)$$-convexity of $$|\varphi '|$$, we have

$$\bigl\vert \varphi '(t) \bigr\vert \leq h \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \bigl\vert \varphi '(x_{0}) \bigr\vert +m h \biggl(1- \biggl( \frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert .$$
(2.15)

From (2.15), we can write

$$\varphi '(t) \leq h \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \bigl\vert \varphi '(x_{0}) \bigr\vert +m h \biggl(1- \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert .$$
(2.16)

Multiplication of (2.2) with (2.16) gives the following inequality:

\begin{aligned} &(x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-t)^{ \mu };p \bigr)\varphi '(t)\,dt \\ &\quad\leq (x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (x-x_{0})^{ \mu };p \bigr) \\ & \qquad{}\times\biggl(h \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \bigl\vert \varphi '(x_{0}) \bigr\vert +m h \biggl(1- \biggl( \frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr). \end{aligned}
(2.17)

Now, integrating over $$[x_{0},x]$$, we get

\begin{aligned} & \int _{x_{0}}^{x}(x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (x-t)^{\mu };p \bigr)\varphi '(t)\,dt \\ &\quad\leq (x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{x_{0}}^{x}h \biggl( \frac{x-t}{x-x_{0}} \biggr)^{\alpha }\,dt \\ &\qquad{}+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{x_{0}}^{x}h \biggl(1- \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \biggr) \\ &\quad=(x-x_{0})^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr) \\ &\qquad{}\times \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.18)

The left-hand side of (2.18) is computed as follows:

$$\int _{x_{0}}^{x}(x-t)^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (x-t)^{\mu };p \bigr)\varphi '(t)\,dt.$$
(2.19)

Substituting $$x-t=r$$, using the derivative property (1.4) of Mittag-Leffler function, we have

\begin{aligned} & \int _{0}^{x-x_{0}}r^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega r^{\mu };p \bigr)\varphi '(x-r)\,dr \\ &\quad=(x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr)\varphi (x_{0})- \int _{0}^{x-x_{0}}r^{\xi -2}E_{\mu,\xi,l}^{ \gamma,\delta,k,c} \bigl(\omega r^{\mu };p \bigr)\varphi (x-r)\,dr. \end{aligned}

Now, for $$x-r=t$$ in the second term of the right-hand side of the above equation and then using (1.5), we get

\begin{aligned} & \int _{0}^{x-x_{0}}r^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega r^{\mu };p \bigr)\varphi '(x-r)\,dr \\ &\quad=(x-x_{0})^{\xi -1}E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr)\varphi (x_{0})- \bigl( \epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{ \gamma,\delta,k,c}\varphi \bigr) (x;p). \end{aligned}

Therefore (2.18) becomes

\begin{aligned} & J_{\xi -1,x_{0}^{+}}(x;p) \varphi (x_{0})- \bigl( \epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p) \\ &\quad\leq (x-x_{0})J_{\alpha -1,x_{0}^{+}}(x;p) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.20)

Again from (2.15) we have

$$\varphi '(t)\geq - \biggl(h \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \bigl\vert \varphi '(x_{0}) \bigr\vert +m h \biggl(1- \biggl(\frac{x-t}{x-x_{0}} \biggr)^{\alpha } \biggr) \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr).$$
(2.21)

Similar as we did for (2.16), we can obtain

\begin{aligned} & \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (x;p)-J_{\xi -1,x_{0}^{+}}(x;p)\varphi (x_{0}) \\ &\quad\leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.22)

From (2.20) and (2.22), we get

\begin{aligned} & \bigl\vert \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma, \delta,k,c} \varphi \bigr) (x;p)-J_{\xi -1,x_{0}^{+}}(x;p)\varphi (x_{0}) \bigr\vert \\ &\quad\leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.23)

Now, for $$x\in [x_{0},y_{0}]$$ and $$t\in (x,y_{0}]$$, again by using the $$(\alpha,h-m)$$-convexity of $$|\varphi '|$$, we have

$$\bigl\vert \varphi '(t) \bigr\vert \leq h \biggl(\frac{t-x}{y_{0}-x} \biggr)^{\alpha } \bigl\vert \varphi '(y_{0}) \bigr\vert +mh \biggl(1- \biggl( \frac{t-x}{y_{0}-x} \biggr)^{\alpha } \biggr) \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert .$$
(2.24)

Proceeding along similar lines as we did to get (2.23), we can obtain the following inequality:

\begin{aligned} & \bigl\vert \bigl(\epsilon _{\mu,\eta +1,l,\omega,y_{0}^{-}}^{\gamma, \delta,k,c} \varphi \bigr) (x;p)-J_{\eta -1,y_{0}^{-}}(x;p)\varphi (y_{0}) \bigr\vert \\ &\quad\leq (y_{0}-x)J_{\eta -1,y_{0}^{-}}(x;p) \biggl( \bigl\vert \varphi '(y_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)+m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \biggr). \end{aligned}
(2.25)

From inequalities (2.23) and (2.25), triangular inequality (2.14) can be obtained. □

### Corollary 4

If we put $$\xi =\eta$$in (2.14), then the following inequality is obtained:

\begin{aligned} & \bigl\vert \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma, \delta,k,c} \varphi \bigr) (x;p)+ \bigl(\epsilon _{\mu,\xi +1,l, \omega,y_{0}^{-}}^{\gamma,\delta,k,c}\varphi \bigr) (x;p) \\ &\qquad{} - \bigl(J_{\xi -1,x_{0}^{+}}(x;p)\varphi (x_{0})+J_{ \xi -1,y_{0}^{-}}(x;p) \varphi (y_{0}) \bigr) \bigr\vert \\ &\quad \leq (x-x_{0})J_{\xi -1,x_{0}^{+}}(x;p) \biggl( \bigl\vert \varphi '(x_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr) \\ &\qquad{} +(y_{0}-x)J_{\xi -1,y_{0}^{-}}(x;p) \\ &\qquad{}\times \biggl( \bigl\vert \varphi '(y_{0}) \bigr\vert \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz +m \biggl\vert \varphi ' \biggl(\frac{x}{m} \biggr) \biggr\vert \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr)\,dz \biggr). \end{aligned}
(2.26)

### Remark 5

1. (i)

If we take $$h(t)=t$$ in (2.14), then we obtain [12, Theorem 2.2].

2. (ii)

If we take $$h(t)=t$$ in (2.26), then we obtain [12, Corollary 2.2].

3. (iii)

If we take $$\alpha =1$$ in (2.14), then we obtain [9, Theorem 2].

4. (iv)

If we take $$\alpha =m=1$$ and $$h(t)=t$$ in (2.14), then we obtain [9, Corollary 2].

5. (v)

If we take $$\alpha =1, \omega =p=0$$ in (2.14), then we obtain [13, Theorem 2].

6. (vi)

If we take $$\alpha =m=1, \omega =p=0$$, and $$h(t)=t$$ in (2.14), then we obtain [11, Theorem 2].

It is easy to prove the next lemma which will be helpful to establish estimations in the form of a Hadamard-type inequality.

### Lemma 2

Let $$\varphi: [x_{0},m y_{0}]\rightarrow \mathbb{R}$$be an $$(\alpha,h-m)$$-convex function. If $$\varphi (\frac{x_{0}+my_{0}-x}{m})=\varphi (x)$$and $$(\alpha,m)\in \mathbb{[}0,1]^{2}$$, $$m\neq 0$$, then the following inequality holds:

\begin{aligned} \varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr)\leq \varphi (x) \biggl(h \biggl(\frac{1}{2^{\alpha }} \biggr)+mh \biggl(1-\frac{1}{2^{\alpha }} \biggr) \biggr). \end{aligned}
(2.27)

### Proof

Since φ is an $$(\alpha,h-m)$$-convex function, for $$t\in [0,1]$$, we have

$$\varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \leq h \biggl( \frac{1}{2^{\alpha }} \biggr)\varphi \bigl((1-t)x_{0}+mty_{0} \bigr)+m h \biggl(1- \frac{1}{2^{\alpha }} \biggr) \varphi \biggl(\frac{ta+m(1-t)y_{0}}{m} \biggr).$$
(2.28)

Let $$x=x_{0}(1-t)+mty_{0}$$. Then we have $$x_{0}+my_{0}-x=ta+m(1-t)y_{0}$$.

$$\varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \leq h \biggl( \frac{1}{2^{\alpha }} \biggr)\varphi (x)+m h \biggl(1-\frac{1}{2^{\alpha }} \biggr) \varphi \biggl( \frac{x_{0}+my_{0}-x}{m} \biggr).$$
(2.29)

Hence, by using $$\varphi (\frac{x_{0}+my_{0}-x}{m} )=\varphi (x)$$, inequality (2.27) can be obtained. □

### Theorem 4

Let $$\varphi: [x_{0},y_{0}]\longrightarrow \mathbb{R}$$, $$0\leq x_{0}< my_{0}$$, be a real-valued function. If φ is positive $$(\alpha,h-m)$$-convex, $$(\alpha,m)\in \mathbb{[}0,1]^{2}$$, $$m\neq 0$$, and $$\varphi (\frac{x_{0}+my_{0}-x}{m} )=\varphi (x)$$, then for $$\xi,\eta >0$$, the following fractional integral inequality holds:

\begin{aligned} &\frac{1}{h (\frac{1}{2^{\alpha }} )+mh (1-\frac{1}{2^{\alpha }} )} \varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \bigl[J_{\eta +1,y_{0}^{-}}(x_{0};p)+J_{ \xi +1,x_{0}^{+}}(y_{0};p) \bigr] \\ &\quad\leq \bigl(\epsilon _{\mu,\eta +1,l,\omega,y_{0}^{-}}^{\gamma, \delta,k,c}\varphi \bigr) (x_{0};p)+ \bigl(\epsilon _{\mu,\xi +1,l, \omega,x_{0}^{+}}^{\gamma,\delta,k,c}\varphi \bigr) (y_{0};p) \\ &\quad\leq \bigl[J_{\eta -1,y_{0}^{-}}(x_{0};p)+J_{\xi -1,x_{0}^{+}}(y_{0};p) \bigr](y_{0}-x_{0})^{2} \\ &\qquad{}\times \biggl(\varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+mf \biggl( \frac{x_{0}}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \,dz \biggr) . \end{aligned}
(2.30)

### Proof

For $$x\in [x_{0},y_{0}], \eta >0$$, we have

$$(x-x_{0})^{\eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{ \mu };p \bigr)\leq (y_{0}-x_{0})^{\eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x_{0})^{\mu };p \bigr).$$
(2.31)

Since the function φ is $$(\alpha,h-m)$$-convex, for $$x\in [x_{0},y_{0}]$$, we have

$$\varphi (x) \leq h \biggl(\frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha } \varphi (y_{0})+mf \biggl(\frac{x_{0}}{m} \biggr) h \biggl(1- \biggl( \frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha } \biggr).$$
(2.32)

Multiplying (2.31) and (2.32) and then integrating over $$[x_{0},y_{0}]$$, we get

\begin{aligned} & \int _{x_{0}}^{y_{0}}(x-x_{0})^{\eta }E_{\mu,\eta,l}^{\gamma, \delta,k,c} \bigl(\omega (x-x_{0})^{\mu };p \bigr)\varphi (x)\,dx \\ &\quad\leq (y_{0}-x_{0})^{\eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x_{0})^{\mu };p \bigr) \biggl( \varphi (y_{0}) \int _{x_{0}}^{y_{0}}h \biggl(\frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha }\,dx \\ &\qquad{}+mf \biggl(\frac{x_{0}}{m} \biggr) \int _{x_{0}}^{y_{0}} h \biggl(1- \biggl(\frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha } \biggr) \,dx \biggr), \end{aligned}

from which we can get the following inequality:

\begin{aligned} & \bigl(\epsilon _{\mu,\eta +1,l,\omega,y_{0}^{-}}^{\gamma,\delta,k,c} \varphi \bigr) (x_{0};p) \\ &\quad\leq (y_{0}-x_{0})^{2}J_{\eta -1,y_{0}^{-}}(x_{0};p) \biggl(\varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+mf \biggl(\frac{x_{0}}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \,dz \biggr) . \end{aligned}
(2.33)

On the other hand, for $$x\in [x_{0},y_{0}], \xi >0$$, we have

$$(y_{0}-x)^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl(\omega (y_{0}-x)^{ \mu };p \bigr)\leq (y_{0}-x_{0})^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x_{0})^{\mu };p \bigr).$$
(2.34)

Multiplying (2.32) and (2.34), and then integrating over $$[x_{0},y_{0}]$$, we get

\begin{aligned} & \int _{x_{0}}^{y_{0}}(y_{0}-x)^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x)^{\mu };p \bigr)\varphi (x)\,dx \\ &\quad\leq (y_{0}-x_{0})^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c} \bigl( \omega (y_{0}-x_{0})^{\mu };p \bigr) \biggl( \varphi (y_{0}) \int _{x_{0}}^{y_{0}}h \biggl(\frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha }\,dx \\ &\qquad{}+mf \biggl(\frac{x_{0}}{m} \biggr) \int _{x_{0}}^{y_{0}} h \biggl(1- \biggl(\frac{x-x_{0}}{y_{0}-x_{0}} \biggr)^{\alpha } \biggr) \,dx \biggr), \end{aligned}

from which we can get the following inequality:

\begin{aligned} & \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (y_{0};p) \\ &\quad\leq (y_{0}-x_{0})^{2}J_{\xi -1,x_{0}^{+}}(y_{0};p) \biggl(\varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+mf \biggl(\frac{x_{0}}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \,dz \biggr). \end{aligned}
(2.35)

Adding (2.33) and (2.35), we get

\begin{aligned} & \bigl(\epsilon _{\mu,\eta +1,l,\omega,y_{0}^{-}}^{\gamma,\delta,k,c} \varphi \bigr) (x_{0};p)+ \bigl(\epsilon _{\mu,\xi +1,l,\omega,x_{0}^{+}}^{ \gamma,\delta,k,c}\varphi \bigr) (y_{0};p) \\ &\quad\leq \bigl[J_{\eta -1,y_{0}^{-}}(x_{0};p)+J_{\xi -1,x_{0}^{+}}(y_{0};p) \bigr](y_{0}-x_{0})^{2} \\ &\qquad{}\times \biggl(\varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+mf \biggl( \frac{x_{0}}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \,dz \biggr). \end{aligned}
(2.36)

Multiplying (2.27) with $$(x-x_{0})^{\eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c}(\omega (x-x_{0})^{ \mu };p)$$ and integrating over $$[x_{0},y_{0}]$$, we get

\begin{aligned} &\varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \int _{x_{0}}^{y_{0}}(x-x_{0})^{ \eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{\mu };p \bigr)\,dx \\ &\quad\leq \biggl(h \biggl(\frac{1}{2^{\alpha }} \biggr)+mh \biggl(1- \frac{1}{2^{\alpha }} \biggr) \biggr) \int _{x_{0}}^{y_{0}}(x-x_{0})^{ \eta }E_{\mu,\eta,l}^{\gamma,\delta,k,c} \bigl(\omega (x-x_{0})^{\mu };p \bigr) \varphi (x)\,dx. \end{aligned}
(2.37)

By using (1.6) and (1.9), we get

\begin{aligned} &\varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr)J_{\eta +1,y_{0}^{-}}(x_{0};p) \\ &\quad \leq \biggl(h \biggl(\frac{1}{2^{\alpha }} \biggr)+mh \biggl(1- \frac{1}{2^{\alpha }} \biggr) \biggr) \bigl(\epsilon _{\mu,\eta +1,l, \omega,y_{0}^{-}}^{\gamma,\delta,k,c} \varphi \bigr) (x_{0};p). \end{aligned}
(2.38)

Multiplying (2.27) with $$(y_{0}-x)^{\xi }E_{\mu,\xi,l}^{\gamma,\delta,k,c}(\omega (y_{0}-x)^{ \mu };p)$$ and integrating over $$[x_{0},y_{0}]$$, using (1.5) and (1.9), we get

\begin{aligned} &\varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr)J_{\xi +1,x_{0}^{+}}(y_{0};p) \\ &\quad \leq \biggl(h \biggl(\frac{1}{2^{\alpha }} \biggr)+mh \biggl(1- \frac{1}{2^{\alpha }} \biggr) \biggr) \bigl(\epsilon _{\mu,\xi +1,l, \omega,x_{0}^{+}}^{\gamma,\delta,k,c} \varphi \bigr) (y_{0};p). \end{aligned}
(2.39)

Adding (2.38) and (2.39), we get

\begin{aligned} &\frac{1}{h (\frac{1}{2^{\alpha }} )+mh (1-\frac{1}{2^{\alpha }} )} \varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \bigl[J_{\eta +1,y_{0}^{-}}(x_{0};p)+J_{ \xi +1,x_{0}^{+}}(y_{0};p) \bigr] \\ &\quad\leq \bigl(\epsilon _{\mu,\eta +1,l,\omega,y_{0}^{-}}^{\gamma, \delta,k,c}\varphi \bigr) (x_{0};p)+ \bigl(\epsilon _{\mu,\xi +1,l, \omega,x_{0}^{+}}^{\gamma,\delta,k,c}\varphi \bigr) (y_{0};p). \end{aligned}
(2.40)

Now, by combining (2.36) and (2.40), inequality (2.30) is established. □

### Corollary 5

If we put $$\xi =\eta$$in (2.30), then the following inequality is obtained:

\begin{aligned} &\frac{1}{h (\frac{1}{2^{\alpha }} )+mh (1-\frac{1}{2^{\alpha }} )} \varphi \biggl(\frac{x_{0}+my_{0}}{2} \biggr) \bigl[J_{\xi +1,y_{0}^{-}}(x_{0};p)+J_{ \xi +1,x_{0}^{+}}(y_{0};p) \bigr] \\ &\quad\leq \bigl(\epsilon _{\mu,\xi +1,l,\omega,y_{0}^{-}}^{\gamma, \delta,k,c}\varphi \bigr) (x_{0};p)+ \bigl(\epsilon _{\mu,\xi +1,l, \omega,x_{0}^{+}}^{\gamma,\delta,k,c}\varphi \bigr) (y_{0};p) \\ &\quad\leq \bigl[J_{\xi -1,y_{0}^{-}}(x_{0};p)+J_{\xi -1,x_{0}^{+}}(y_{0};p) \bigr](y_{0}-x_{0})^{2} \\ &\qquad{}\times \biggl(\varphi (y_{0}) \int _{0}^{1} h \bigl(z^{\alpha } \bigr)\,dz+mf \biggl( \frac{x_{0}}{m} \biggr) \int _{0}^{1} h \bigl(1-z^{\alpha } \bigr) \,dz \biggr). \end{aligned}
(2.41)

### Remark 6

1. (i)

If we take $$h(t)=t$$ in (2.30), then we get [12, Theorem 2.3].

2. (ii)

If we take $$h(t)=t$$ in (2.41), then we get [12, Corollary 2.3].

3. (iii)

If we take $$\alpha =1$$ in (2.30), then we get [9, Theorem 3].

4. (iv)

If we take $$\alpha =m=1$$ and $$h(t)=t$$ in (2.30), then we get [9, Corollary 3].

5. (v)

If we take $$\alpha =1, \omega =p=0$$ in (2.30), then we get [13, Theorem 3].

6. (vi)

If we take $$\alpha =m=1, \omega =p=0$$, and $$h(t)=t$$ in (2.30), then we obtain [11, Theorem 3].

## Concluding remarks

In this work, we have studied fractional integral inequalities for a generalized convexity called $$(\alpha,h-m)$$-convexity. The presented results provide bounds of fractional integral operators involving an extended Mittag-Leffler function and a new fractional Hadamard inequality for $$(\alpha,h-m)$$-convex functions. The results proved in [8, 9, 1114] are direct consequences of the theorems of this paper.

## References

1. Agarwal, P.: Some inequalities involving Hadamard-type k-fractional integral operators. Math. Methods Appl. Sci. 11, 3882–3891 (2017)

2. Agarwal, P., Al-Mdallal, Q., Cho, Y.J.: Fractional differential equations for the generalized Mittag-Leffler function. Adv. Differ. Equ. 2018, 58 (2018)

3. Agarwal, P., Dragomir, S.S., Jlelli, M., Samet, B.: Fractional Differential Equations for the Generalized Mittag-Leffler Function: Advances in Mathematical Inequalities and Applications. Springer, Berlin (2018)

4. Agarwal, P., Jlelli, M., Tomar, M.: Certain Hermite–Hadamard type inequalities via generalized k-fractional integrals. J. Inequal. Appl. 2017, 58 (2017)

5. Anastassiou, G.A.: Generalized fractional Hermite–Hadamard inequalities involving m-convexity and $$(s,m)$$-convexity. Ser. Math. Inform. 28, 107–126 (2013)

6. Andrić, M., Farid, G., Pečarić, J.: A further extension of Mittag-Leffler function. Fract. Calc. Appl. Anal. 21, 1377–1395 (2018)

7. Arshad, M., Choi, J., Mubeen, S., et al.: A new extension of Mittag-Leffler function. Commun. Korean Math. Soc. 33, 549–560 (2018)

8. Chen, L., Farid, G., Butt, S.I., Akbar, S.B.: Boundedness of fractional integral operators containing Mittag-Leffler functions. Turkish J. Ineq. 4(1), 14–24 (2020)

9. Chen, Z., Farid, G., Rehman, A.U., Latif, N.: Estimations of fractional integral operators for convex functions and related results. Adv. Differ. Equ. 2020, 163 (2020)

10. Choi, J., Agarwal, P.: A note on fractional integral operator associated with multiindex Mittag-Leffler functions. Filomat 7, 1931–1939 (2016)

11. Farid, G.: Some Riemann–Liouville fractional integral inequalities for convex functions. J. Anal. 27 1095–1102 (2019)

12. Farid, G.: Bounds of fractional integral operators containing Mittag-Leffler function. UPB Sci. Bull. 81, 133–142 (2019)

13. Farid, G.: Bounds of Riemann–Liouville fractional integral operators. Comput. Methods Differ. Equ. (to appear)

14. Farid, G., Akbar, S.B., Rehman, S.U., Pečarić, J.: Boundedness of fractional integral operators containing Mittag-Leffler functions via $$(s,m)$$-convexity. AIMS Math. 5, 966–978 (2020)

15. Farid, G., Rehman, A.U., Ain, Q.U.: k-fractional integral inequalities of Hadamard type for $$(h-m)$$-convex functions. Comput. Methods Differ. Equ. 8, 119–140 (2020)

16. Gorenflo, R., Kilbas, A.A., Mainardi, F., Rogosin, S.V.: Mittag-Leffler Function, Related Topics and Applications. Springer, Berlin (2014)

17. Haubold, H.J., Mathai, A.M., Saxena, R.K.: Mittag-Leffler functions and their applications. J. Appl. Math. 2011, Article ID 298628 (2011)

18. Mihesan, V.: A Generalization of the Convexity. Seminar on Functional Equations, Approx. Convex. Cluj-Napoca, Romania (1993)

19. Mittag-Leffler, G.: Sur la nouvelle fonction $$E_{\alpha }(x)$$. C. R. Acad. Sci. Paris 137, 554–558 (1903)

20. Niculescu, C.P., Persson, L.E.: Convex Functions and Their Applications: A Contemporary Approach. Springer, Berlin (2006)

21. Özdemir, M.E., Akdemri, A.O., Set, E.: On $$(h-m)$$-convexity and Hadamard-type inequalities. J. Math. Mech. 8, 51–58 (2016)

22. Pecarić, J., Proschan, F., Tong, Y.L.: Convex Functions, Partial Orderings, and Statistical Applications. Academics Press, New York (1992)

23. Prabhakar, T.R.: A singular integral equation with a generalized Mittag-Leffler function in the kernel. Yokohama Math. J. 19, 7–15 (1971)

24. Rahman, G., Baleanu, D., Qurashi, M.A., et al.: The extended Mittag-Leffler function via fractional calculus. J. Nonlinear Sci. Appl. 10, 4244–4253 (2017)

25. Roberts, A.W., Varberg, D.E.: Convex Functions. Academic Press, New York (1973)

26. Salim, T.O., Faraj, A.W.: A generalization of Mittag-Leffler function and integral operator associated with integral calculus. J. Fract. Calc. Appl. 3, 1–13 (2012)

27. Shukla, A.K., Prajapati, J.C.: On a generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 336, 797–811 (2007)

28. Srivastava, H.M., Tomovski, Z.: Fractional calculus with an integral operator containing generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 211, 198–210 (2009)

29. Ullah, S., Farid, G., Khan, K.A., et al.: Generalized fractional inequalities for quasi-convex functions. Adv. Differ. Equ. 2019, 15 (2019)

30. Varošanec, S.: On h-convexity. J. Math. Anal. Appl. 326, 303–311 (2007)

31. Wang, G., Agarwal, P., Chand, M.: Certain Grüss type inequalities involving the generalized fractional integral operator. J. Inequal. Appl. 2014, 147 (2014)

### Acknowledgements

We thank the editor and referees for their careful reading and valuable suggestions to make the article reader-friendly. This work was supported by the Chinese National Natural Science Foundation under Grant 61876047.

### Availability of data and materials

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

## Funding

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

Authors

## Ethics declarations

### Competing interests

It is declared that authors have no competing interests.

## Rights and permissions 