Theory and Modern Applications

# Estimations of fractional integral operators for convex functions and related results

## Abstract

This research investigates the bounds of fractional integral operators containing an extended generalized Mittag-Leffler function as a kernel via several kinds of convexity. In particular, the established bounds are studied for convex functions and further connected with known results. Furthermore, these results applied to the parabolic function and consequently recurrence relations for Mittag-Leffler functions are obtained. Moreover, some fractional differential equations containing Mittag-Leffler functions are constructed and their solutions are provided by Laplace transform technique.

## Introduction

Fractional calculus is the generalization of classical calculus. Fractional integral/derivative operators play a key role in the development of fractional calculus. They have been used to formulate various physical and dynamic problems in fractional models. The complex behavior of physical systems can be represented in terms of fractional models. For applications of fractional calculus operators in sciences and engineering we refer to reader to [57, 19, 26, 51]. Physical properties of viscoelastic material can be interpreted by a model of fractional derivatives . Furthermore, fractional calculus is applied to physics , bioengineering  optics [9, 18, 25], fluid flow , energy systems [11, 28] and biology .

On the other hand fractional integral/derivative operators have been used to construct and formulate new results in the theory of inequalities. Many of the well-known inequalities and related results are generalized and extended via fractional integral/derivative operators; see [2, 1417, 3032, 44, 52] and the references therein. At the same time convexity plays a vital role in enhancing the theory of inequalities, and facilitates optimization theory, mathematical analysis, mathematical statistics, graph theory with many other subjects. Fractional integral inequalities being suitable constraints provide existence and uniqueness of solutions for several mathematical problems in the form of fractional models.

The goal of this paper is the study of fractional integral operators containing Mittag-Leffler functions in their kernels. These operators are comprised in a single definition (Eq. (2.4) and Remark 1). We will analyze them for a generalized notion of convexity called $$(h-m)$$-convexity. The method of proving the results of this paper can be utilized to get the results for other kinds of fractional and conformable integrals/derivatives already exist in the literature which authors will may consider for their future work; for instance for convenience Caputo–Fabrizio derivatives [3, 10] can be used.

## Preliminary results

In this section we give definitions and notions which will be useful to establish the results of this paper.

### Definition 1

Let I be an interval in $$\mathbb{R}$$. A function $$f: I\rightarrow\mathbb{R}$$ is said to be convex if, for all $$a,b \in I$$ and $$0\leq t \leq1$$, the following inequality holds:

$$f\bigl(ta+(1-t)b\bigr)\leq tf(a)+(1-t)f(b).$$

Convex functions are further generalized in different ways. One of the generalizations of convex functions is called $$(h-m)$$-convexity that contains several kinds of convexity for example h-convexity, m-convexity, s-convexity defined on the right half of real line including zero (see [35, 45]).

### Definition 2

Let $$J\subseteq\mathbb{R}$$ be an interval containing $$(0,1)$$ and let $$h : J\rightarrow\mathbb{R}$$ be a non-negative function. A function $$f :[0,b]\rightarrow\mathbb{R}$$ is called $$(h-m)$$-convex function, if f is non-negative and for all $$x,y\in[0,b], m\in[0,1]$$ and $$\alpha\in (0,1)$$, one has

$$f\bigl(\alpha x+m(1-\alpha)y\bigr)\leq h(\alpha)f(x)+mh(1-\alpha)f(y).$$

In the solution of integral and differential equations, the exponential function arises while in the solutions of fractional integral and differential equations, Mittag-Leffler function appears naturally. The Mittag-Leffler function is defined as follows :

$$E_{\alpha}(z)=\sum_{n=0}^{\infty} \frac{z^{n}}{\varGamma(\alpha n+1)};\quad z\in\mathbb{C}, \alpha\in\mathbb{C}; \Re({\alpha})>0.$$
(2.1)

The Mittag-Leffler functions are used in many areas of science and engineering, especially in the theory of fractional differential equations, in solutions of generalized fractional kinetic equations (see ). The Mittag-Leffler function was generalized by many mathematicians: for example Wiman , Agarwal , Prabhakar , Shukla and Prajapati , Salim , Salim and Faraj , Rahman et al. . For a detailed study of this function see [20, 27, 36, 37, 39, 4143].

Recently in , Andrić et al. defined the extended generalized Mittag-Leffler function $$E_{\mu,\sigma,l}^{\gamma,\delta ,k,c}(\cdot;p)$$ as follows.

### Definition 3

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

$$E_{\mu,\alpha,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}}{\varGamma(\mu n +\alpha)} \frac{t^{n}}{(l)_{n \delta}},$$
(2.2)

where $$\beta_{p}$$ is the generalized beta function defined by

\begin{aligned} \beta_{p}(x,y) = \int_{0}^{1}t^{x-1}(1-t)^{y-1}e^{-\frac{p}{t(1-t)}} \, dt \end{aligned}

and $$(c)_{nk}$$ is the Pochhammer symbol, $$(c)_{nk}=\frac{\varGamma (c+nk)}{\varGamma(c)}$$.

### Lemma 1

()

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

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

The left and right sided fractional integral operators corresponding to the Mittag-Leffler function (2.2) are defined as follows.

### Definition 4

()

Let $$\omega,\mu,\alpha,l,\gamma ,c\in\mathbb{C}$$, $$\Re(\mu),\Re(\alpha),\Re(l)>0$$, $$\Re(c)>\Re(\gamma )>0$$ with $$p\geq0$$, $$\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 $$\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f$$ and $$\epsilon_{\mu,\alpha,l,\omega,b^{-}}^{\gamma,\delta,k,c}f$$ are defined by

\begin{aligned}& \bigl( \epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)= \int_{a}^{x}(x-t)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(x-t)^{\mu};p\bigr)f(t)\,dt, \end{aligned}
(2.4)
\begin{aligned}& \bigl( \epsilon_{\mu,\alpha,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (x;p)= \int_{x}^{b}(t-x)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(t-x)^{\mu};p\bigr)f(t)\,dt. \end{aligned}
(2.5)

The following remark provides the connection of integral operators with already known fractional integral operators.

### Remark 1

The operator in (2.4) contains various fractional operators:

1. (i)

Setting $$p=0$$, it reduces to the fractional integral operator defined by Salim–Faraj in .

2. (ii)

Setting $$l=\delta=1$$, it reduces to the fractional integral operator defined by Rahman et al. in .

3. (iii)

Setting $$p=0$$ and $$l=\delta=1$$, it reduces to the fractional integral operator defined by Srivastava and Tomovski in .

4. (iv)

Setting $$p=0$$ and $$l=\delta=k=1$$, it reduces to the fractional integral operator defined by Prabhakar in .

5. (v)

Setting $$p=\omega=0$$, it reduces to the Riemann–Liouville fractional integral.

Fractional integral/derivative operators containing Mittag-Leffler functions are studied extensively with the prospect of their utilization in different fields; see [8, 27, 3638, 41, 42].

The following formulas are frequently used  in this paper:

\begin{aligned}& \bigl(\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}1 \bigr) (x;p)= (x-a )^{\alpha} E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c}\bigl( \omega(x-a)^{\mu};p\bigr):=C_{\alpha,a^{+}}(x;p), \end{aligned}
(2.6)
\begin{aligned}& \bigl(\epsilon_{\mu,\beta,l,\omega,b^{-}}^{\gamma,\delta,k,c}1 \bigr) (x;p)= (b-x )^{\beta} E_{\mu,\beta+1,l}^{\gamma,\delta ,k,c}\bigl( \omega(b-x)^{\mu};p\bigr):=C_{\beta,b^{-}}(x;p). \end{aligned}
(2.7)

The following lemmas are useful in establishing Hadamard type estimations.

### Lemma 2

()

Let$$f: [a,b] \longrightarrow\mathbb{R}$$be a convex function. Iffis symmetric about$$\frac{a+b}{2}$$, then the following inequality holds:

$$f \biggl(\frac{a+b}{2} \biggr)\leq f(x),\quad x\in[a,b].$$
(2.8)

### Lemma 3

()

Let$$f:[0,\infty)\rightarrow\mathbb{R}$$be a$$(h-m)$$-convex function. If$$0\leq a< b$$and$$f(x)=f (\frac{a+b-x}{m} )$$, then the following inequality holds:

$$f \biggl(\frac{a+b}{2} \biggr)\leq(m+1)h \biggl( \frac{1}{2} \biggr)f(x),\quad x\in[a,b].$$
(2.9)

The rest of the paper is organized as follows: In Sect. 2 the bounds of sum of the left and right sided generalized fractional integral operators (2.4) and (2.5) via $$(h-m)$$-convex functions are established. These bounds hold for several kinds of convexity as well as for several fractional integral operators. Further in Sect. 3 they are computed for the parabolic function $$y=x^{2}$$, and as a result recurrence relations for Mittag-Leffler functions are obtained. Section 4 consists of generalized fractional differential equations and their solutions are computed in terms of the Mittag-Leffler function.

## Bounds of generalized fractional integral operators

### Theorem 1

Let$$f:[a,b]\rightarrow\mathbb{R}$$, $$0\leq a< b$$, be a real valued function. Iffis positive and$$(h-m)$$-convex, then, for$$\alpha,\beta \geq1$$, we have

\begin{aligned} & \bigl(\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)+ \bigl(\epsilon_{\mu,\beta,l,\omega,b^{-}}^{\gamma,\delta ,k,c}f \bigr) (x;p) \\ &\quad\leq \biggl((x-a)f(a)C_{\alpha -1,a^{+}}(x;p)+(b-x)f(b)C_{\beta-1,b^{-}}(x;p) \\ &\qquad{}+mf \biggl(\frac {x}{m} \biggr) \bigl((x-a)C_{\alpha-1,a^{+}}(x;p)+(b-x)C_{\beta -1,b^{-}}(x;p) \bigr) \biggr) \int_{0}^{1}h(z)\,dz. \end{aligned}
(3.1)

### Proof

Let $$x \in[a,b]$$. Then first we observe the function f on the interval $$[a,x]$$; for $$t \in[a,x]$$ and $$\alpha\geq1$$, one has the following inequality:

$$(x-t)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(x-t)^{\mu };p\bigr) \leq(x-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega (x-a)^{\mu};p\bigr).$$
(3.2)

As f is $$(h-m)$$-convex, so for $$t\in[a,x]$$, we have

$$f(t)\leq h \biggl(\frac{x-t}{x-a} \biggr)f(a)+mh \biggl( \frac {t-a}{x-a} \biggr)f \biggl(\frac{x}{m} \biggr).$$
(3.3)

Multiplying (3.2) and (3.3), then integrating over $$[a,x]$$, we get

\begin{aligned} & \int_{a}^{x}(x-t)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(x-t)^{\mu};p\bigr)f(t)\,dt \\ &\quad\leq f(a) (x-a)^{\alpha-1}E_{\mu ,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr) \int_{a}^{x}h \biggl(\frac{x-t}{x-a} \biggr)\,dt \\ &\qquad{}+mf \biggl(\frac{x}{m} \biggr) (x-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu };p\bigr) \int_{a}^{x}h \biggl(\frac{t-a}{x-a} \biggr)\,dt. \end{aligned}
(3.4)

By using (2.4) on left hand side and (2.6) on right hand side, we have

$$\bigl(\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p) \leq(x-a)C_{\alpha-1,a^{+}}(x;p) \biggl(f(a)+mf \biggl(\frac{x}{m} \biggr) \biggr) \int_{0}^{1}h(z)\,dz.$$
(3.5)

Now on the other hand we address the function f on the interval $$[x,b]$$; for $$t\in[x,b]$$ and $$\beta\geq1$$, one has the following inequality:

$$(t-x)^{\beta-1}E_{\mu,\beta,l}^{\gamma,\delta,k,c}\bigl( \omega(t-x)^{\mu };p\bigr) \leq(b-x)^{\beta-1}E_{\mu,\beta,l}^{\gamma,\delta,k,c} \bigl(\omega (b-x)^{\mu};p\bigr).$$
(3.6)

Again from $$(h-m)$$-convexity of f for $$t\in[x,b]$$, we have

$$f(t)\leq h \biggl(\frac{t-x}{b-x} \biggr)f(b)+mh \biggl( \frac {b-t}{b-x} \biggr)f \biggl(\frac{x}{m} \biggr).$$
(3.7)

Similarly multiplying (3.6) and (3.7), then integrating over $$[x,b]$$, we get

$$\bigl(\epsilon_{\mu,\beta,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (x;p) \leq(b-x)C_{\beta-1,b^{-}}(x;p) \biggl(f(b)+mf \biggl(\frac{x}{m} \biggr) \biggr) \int_{0}^{1}h(z)\,dz.$$
(3.8)

Adding (3.5) and (3.8), inequality (3.1) is obtained. □

If $$m=1$$ and $$h(z)=z$$ in (3.1), then the following result holds for a convex function.

### Corollary 1

Let$$f:[a,b]\to\mathbb{R}$$, $$a< b$$, be a real valued function. Iffis positive and convex, then, for$$\alpha,\beta\geq1$$, we have

\begin{aligned} & \bigl(\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)+ \bigl(\epsilon_{\mu,\beta,l,\omega,b^{-}}^{\gamma,\delta ,k,c}f \bigr) (x;p) \\ &\quad\leq\frac{(x-a)f(a)C_{\alpha -1,a^{+}}(x;p)+(b-x)f(b)C_{\beta-1,b^{-}}(x;p)}{2} \\ &\qquad{} +f(x) \biggl[\frac{(x-a)C_{\alpha-1,a^{+}}(x;p)+(b-x)C_{\beta-1,b^{-}}(x;p)}{2} \biggr]. \end{aligned}
(3.9)

### Remark 2

If $$\omega=p=0$$ in (3.9), then [14, Theorem 1] is obtained.

### Theorem 2

Let$$f:[a,b]\rightarrow\mathbb{R}$$, $$0\leq a< b$$, be a real valued function. Iffis differentiable and$$|f'|$$is$$(h-m)$$-convex, then, for$$\alpha,\beta\geq1$$, we have

\begin{aligned} &\bigl\vert \bigl(\epsilon_{\mu,\alpha-1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (x;p)+ \bigl(\epsilon_{\mu,\beta-1,l,\omega,b^{-}}^{\gamma ,\delta,k,c}f \bigr) (x;p) \\ &\qquad{} - \bigl(f(a)C_{\alpha -1,a^{+}}(x;p) +f(b)C_{\beta-1,b^{-}}(x;p) \bigr)\bigr\vert \\ &\quad\leq \biggl((x-a) \bigl\vert f'(a) \bigr\vert C_{\alpha-1,a^{+}}(x;p)+(b-x) \bigl\vert f'(b) \bigr\vert C_{\beta -1,b^{-}}(x;p) \\ & \qquad{}+m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \bigl((x-a)C_{\alpha-1,a^{+}}(x;p)+(b-x)C_{\beta-1,b^{-}}(x;p) \bigr) \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.10)

### Proof

Let $$x\in[a,b]$$ and $$t\in[a,x]$$. Then using $$(h-m)$$-convexity of $$|f'|$$, we have

$$\bigl\vert f'(t) \bigr\vert \leq h \biggl( \frac{x-t}{x-a} \biggr) \bigl\vert f'(a) \bigr\vert +mh \biggl(\frac {t-a}{x-a} \biggr) \biggl\vert f' \biggl( \frac{x}{m} \biggr) \biggr\vert .$$
(3.11)

From (3.11), one has

$$f'(t) \leq h \biggl(\frac{x-t}{x-a} \biggr) \bigl\vert f'(a) \bigr\vert +mh \biggl( \frac {t-a}{x-a} \biggr) \biggl\vert f' \biggl( \frac{x}{m} \biggr) \biggr\vert .$$
(3.12)

Multiplying (3.2) and (3.12), then integrating over $$[a,x]$$, we get

\begin{aligned} & \int_{a}^{x}(x-t)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(x-t)^{\mu};p\bigr)f'(t)\,dt \\ &\quad\leq(x-a)^{\alpha-1}E_{\mu,\alpha ,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr) \\ &\qquad{}\times \biggl[ \bigl\vert f'(a) \bigr\vert \int_{a}^{x}h \biggl(\frac{x-t}{x-a} \biggr)\,dt+m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \int_{a}^{x}h \biggl(\frac{t-a}{x-a} \biggr)\, dt \biggr]. \end{aligned}
(3.13)

The left hand side is calculated thus: Put $$x-t=z$$, that is, $$t=x-z$$, also using the derivative property (2.3) of the Mittag-Leffler function, we have

\begin{aligned} & \int_{0}^{x-a}z^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c}1 \bigl(\omega z^{\mu};p\bigr)f'(x-z)\,dz \\ &\quad=-(x-a)^{\alpha-1}E_{\mu ,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr)f(a)+ \int _{0}^{x-a}z^{\alpha-2}E_{\mu,\alpha-1,l}^{\gamma,\delta,k,c} \bigl(\omega z^{\mu};p\bigr)f(x-z)\,dz, \end{aligned}

now by putting $$x-z=t$$, in second term of the right hand side of the above equation and by using (2.4) and (2.6), we get

\begin{aligned} & \int_{0}^{x-a}z^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega z^{\mu};p\bigr)f'(x-z)\,dz =-f(a)C_{\alpha -1,a^{+}}(x;p)+ \bigl(\epsilon_{\mu,\alpha-1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (x;p). \end{aligned}

Therefore, (3.13) takes the form

\begin{aligned} & \bigl(\epsilon_{\mu,\alpha-1,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)-f(a)C_{\alpha-1,a^{+}}(x;p) \\ &\quad\leq(x-a)C_{\alpha-1,a^{+}}(x;p) \biggl( \bigl\vert f'(a) \bigr\vert +m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.14)

Also from (3.11), one has

$$f'(t)\geq- \biggl(h \biggl(\frac{x-t}{x-a} \biggr) \bigl\vert f'(a) \bigr\vert +mh \biggl( \frac {t-a}{x-a} \biggr) \biggl\vert f' \biggl( \frac{x}{m} \biggr) \biggr\vert \biggr).$$
(3.15)

Following the same procedure as one did for (3.12), we also have

\begin{aligned} &f(a)C_{\alpha-1,a^{+}}(x;p)- \bigl(\epsilon_{\mu,\alpha-1,l,\omega ,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p) \\ &\quad\leq(x-a)C_{\alpha -1,a^{+}}(x;p) \biggl( \bigl\vert f'(a) \bigr\vert +m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.16)

From (3.14) and (3.16), we get

\begin{aligned} & \bigl\vert \bigl(\epsilon_{\mu,\alpha-1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (x;p)-f(a)C_{\alpha-1,a^{+}}(x;p) \bigr\vert \\ &\quad\leq (x-a)C_{\alpha-1,a^{+}}(x;p) \biggl( \bigl\vert f'(a) \bigr\vert +m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.17)

Now let $$t\in[x,b]$$. Then using $$(h-m)$$-convexity of $$|f'|$$, we have

$$\bigl\vert f'(t) \bigr\vert \leq h \biggl( \frac{t-x}{b-x} \biggr) \bigl\vert f'(b) \bigr\vert +mh \biggl(\frac {b-t}{b-x} \biggr) \biggl\vert f' \biggl( \frac{x}{m} \biggr) \biggr\vert .$$
(3.18)

Along the same lines as for (3.2), (3.12) and (3.15), one can get from (3.6) and (3.18) the following inequality:

\begin{aligned} & \bigl\vert \bigl(\epsilon_{\mu,\beta-1,l,\omega,b^{-}}^{\gamma,\delta ,k,c}f \bigr) (x;p)-f(b)C_{\beta-1,b^{-}}(x;p) \bigr\vert \\ &\quad\leq(b-x)C_{\beta -1,b^{-}}(x;p) \biggl( \bigl\vert f'(b) \bigr\vert +m \biggl\vert f' \biggl(\frac{x}{m} \biggr) \biggr\vert \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.19)

From (3.17) and (3.19) via the triangular inequality, inequality (3.10) is obtained. □

If $$m=1$$ and $$h(z)=z$$ in (3.10), then the following result holds for a convex function.

### Corollary 2

Let$$f: [a,b]\longrightarrow\mathbb{R}$$, $$a< b$$, be a real valued function. Iffis differentiable and$$|f'|$$is convex, then, for$$\alpha,\beta\geq1$$, we have

\begin{aligned} &\bigl\vert \bigl(\epsilon_{\mu,\alpha-1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (x;p)+ \bigl(\epsilon_{\mu,\beta-1,l,\omega,b^{-}}^{\gamma ,\delta,k,c}f \bigr) (x;p) \\ &\qquad{}- \bigl(f(a)C_{\alpha -1,a^{+}}(x;p) +f(b)C_{\beta-1,b^{-}}(x;p) \bigr)\bigr\vert \\ &\quad\leq \frac{(x-a) \vert f'(a) \vert C_{\alpha-1,a^{+}}(x;p)+(b-x) \vert f'(b) \vert C_{\beta -1,b^{-}}(x;p)}{2} \\ &\qquad{}+ \bigl\vert f'(x) \bigr\vert \biggl(\frac{(x-a)C_{\alpha -1,a^{+}}(x;p)+(b-x)C_{\beta-1,b^{-}}(x;p)}{2} \biggr). \end{aligned}
(3.20)

### Remark 3

1. (i)

If $$\omega=p=0$$ and replace α by $$\alpha+1$$ in (3.20), then [14, Theorem 2] is obtained.

2. (ii)

If $$\omega=p=0$$, $$\alpha=\beta=1$$ and $$f'$$ passes through $$x=\frac {a+b}{2}$$, then from (3.20) [13, Theorem 2.2] is obtained.

### Theorem 3

Let$$f:[a,b]\rightarrow\mathbb{R}$$, $$0\leq a< b$$, be a real valued function. Iffis positive, $$(h-m)$$-convex and$$f(x)=f (\frac {a+b-x}{m} )$$, then, for$$\alpha,\beta>0$$, we have

\begin{aligned} &\frac{f (\frac{a+b}{2} )}{(m+1)h (\frac{1}{2} )} \bigl[C_{\beta+1,b^{-}}(a;p)+C_{\alpha+1,a^{+}}(b;p) \bigr] \\ &\quad\leq \bigl(\epsilon_{\mu,\beta+1,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p)+ \bigl( \epsilon_{\mu,\alpha+1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (b;p) \\ &\quad\leq(b-a)^{2} \bigl[C_{\beta -1,b^{-}}(a;p)+C_{\alpha-1,a^{+}}(b;p) \bigr] \biggl(f(a)+mf \biggl(\frac {b}{m} \biggr) \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.21)

### Proof

For $$x\in[a,b]$$, we have

$$(x-a)^{\beta}E_{\mu,\beta,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu };p\bigr)\leq(b-a)^{\beta}E_{\mu,\beta,l}^{\gamma,\delta,k,c} \bigl(\omega (b-a)^{\mu};p\bigr), \quad\beta>0.$$
(3.22)

As f is $$(h-m)$$-convex, for $$x\in[a,b]$$ we have

$$f(x)\leq mh \biggl(\frac{x-a}{b-a} \biggr)f \biggl( \frac{b}{m} \biggr)+h \biggl(\frac{b-x}{b-a} \biggr)f(a).$$
(3.23)

Multiplying (3.22) and (3.23), then integrating over $$[a,b]$$, we get

\begin{aligned} & \int_{a}^{b}(x-a)^{\beta}E_{\mu,\beta,l}^{\gamma,\delta,k,c} \bigl(\omega (x-a)^{\mu};p\bigr)f(x)\,dx \\ &\quad\leq m(b-a)^{\beta}E_{\mu,\beta ,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu};p\bigr)f \biggl(\frac{b}{m} \biggr) \int_{a}^{b}h \biggl(\frac{x-a}{b-a} \biggr)\,dx \\ &\qquad{}+(b-a)^{\beta }E_{\mu,\beta,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu};p\bigr)f(a) \int _{a}^{b}h \biggl(\frac{b-x}{b-a} \biggr)\,dx. \end{aligned}

From this we have

\begin{aligned} \bigl(\epsilon_{\mu,\beta+1,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p) \leq(b-a)^{2}C_{\beta-1,b^{-}}(a;p) \biggl(f(a)+mf \biggl( \frac {b}{m} \biggr) \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.24)

On the other hand for $$x\in[a,b]$$, we have

$$(b-x)^{\alpha}E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(b-x)^{\mu };p\bigr)\leq(b-a)^{\alpha}E_{\mu,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega (b-a)^{\mu};p\bigr),\quad \alpha>0.$$
(3.25)

Similarly multiplying (3.23) and (3.25), then integrating over $$[a,b]$$, we get

$$\bigl(\epsilon_{\mu,\alpha+1,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (b;p) \leq(b-a)^{2}C_{\alpha-1,a^{+}}(b;p) \biggl(f(a)+mf \biggl( \frac {b}{m} \biggr) \biggr) \int^{1}_{0} h(z)\,dz.$$
(3.26)

Adding (3.24) and (3.26), we get

\begin{aligned} & \bigl(\epsilon_{\mu,\beta+1,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p)+ \bigl(\epsilon_{\mu,\alpha+1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (b;p) \\ &\quad\leq(b-a)^{2} \bigl(C_{\beta -1,b^{-}}(a;p)+C_{\alpha-1,a^{+}}(b;p) \bigr) \biggl(f(a)+mf \biggl(\frac {b}{m} \biggr) \biggr) \int^{1}_{0} h(z)\,dz. \end{aligned}
(3.27)

Multiplying (2.9) with $$(x-a)^{\beta}E_{\mu,\beta,l}^{\gamma ,\delta,k,c}(\omega(x-a)^{\mu};p)$$, then integrating over $$[a,b]$$, we get

\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \int_{a}^{b}(x-a)^{\beta}E_{\mu,\beta ,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr)\,dx \\ &\quad\leq (m+1)h \biggl(\frac{1}{2} \biggr) \int_{a}^{b}(x-a)^{\beta}E_{\mu,\beta ,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr)f(x)\,dx, \end{aligned}

by using (2.5) and (2.7), we get

$$\frac{f (\frac{a+b}{2} )}{(m+1)h (\frac{1}{2} )}C_{\beta+1,b^{-}}(a;p)\leq \bigl( \epsilon_{\mu,\beta+1,l,\omega ,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p).$$
(3.28)

Similarly multiplying (2.9) with $$(b-x)^{\alpha}E_{\mu,\alpha ,l}^{\gamma,\delta,k,c}(\omega(b-x)^{\mu};p)$$, then integrating over $$[a,b]$$ and using (2.4) and (2.6), one can get

$$\frac{f (\frac{a+b}{2} )}{(m+1)h (\frac{1}{2} )}C_{\alpha+1,a^{+}}(b;p)\leq \bigl( \epsilon_{\mu,\alpha+1,l,\omega ,a^{+}}^{\gamma,\delta,k,c}f \bigr) (b;p).$$
(3.29)

Adding (3.28) and (3.29), we get

\begin{aligned} &\frac{f (\frac{a+b}{2} )}{(m+1)h (\frac{1}{2} )} \bigl[C_{\beta+1,b^{-}}(a;p)+C_{\alpha+1,a^{+}}(b;p) \bigr] \\ &\quad\leq \bigl(\epsilon_{\mu,\beta+1,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p)+ \bigl( \epsilon_{\mu,\alpha+1,l,\omega,a^{+}}^{\gamma,\delta ,k,c}f \bigr) (b;p). \end{aligned}
(3.30)

From inequalities (3.27) and (3.30), inequality (3.21) is obtained. □

If $$m=1$$ and $$h(z)=z$$ in (3.21), then the following result holds for a convex function.

### Corollary 3

Let$$f: [a,b]\longrightarrow\mathbb{R}$$, $$a< b$$, be a real valued function. Iffis positive, convex and symmetric about$$\frac {a+b}{2}$$, then, for$$\alpha,\beta>0$$, we have

\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \bigl[C_{\beta+1,b^{-}}(a;p)+C_{\alpha +1,a^{+}}(b;p) \bigr] \\ &\quad\leq \bigl(\epsilon_{\mu,\beta+1,l,\omega ,b^{-}}^{\gamma,\delta,k,c}f \bigr) (a;p)+ \bigl( \epsilon_{\mu,\alpha +1,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (b;p) \\ &\quad\leq (b-a)^{2} \bigl[C_{\beta-1,b^{-}}(a;p)+C_{\alpha-1,a^{+}}(b;p) \bigr] \biggl[\frac{f(a)+f(b)}{2} \biggr] . \end{aligned}
(3.31)

### Remark 4

1. (i)

If $$\omega=p=0$$ in (3.31), then [14, Theorem 3] is obtained.

2. (ii)

If $$\alpha=\beta\rightarrow0$$ and $$\omega=p=0$$, then from the above inequality, we get the Hadamard inequality.

## Inequalities for the extended generalized Mittag-Leffler functions

In this section, results of previous section are applied for the function $$f(x)=x^{2}$$. The function f is convex and $$|f'(x)|=2|x|$$ is also convex. By virtue of this function we succeeded to establish recurrence relations among Mittag-Leffler functions which may be useful in the solutions of fractional boundary value problems and fractional differential equations. Ullah et al. computed generalized fractional integral operators for the function $$f(x)=x^{2}$$, in , as follows:

\begin{aligned}& \begin{aligned}[b] \bigl(\epsilon_{\mu,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}f \bigr) (x;p)&=(x-a)^{\alpha}\bigl[a^{2}E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c} \bigl(\omega(x-a)^{\mu};p\bigr) \\ &\quad+2a(x-a)E_{\mu,\alpha +2,l}^{\gamma,\delta,k,c}\bigl(\omega(x-a)^{\mu};p \bigr)\\&\quad+2(x-a)^{2}E_{\mu,\alpha +3,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr)\bigr]\end{aligned} , \end{aligned}
(4.1)
\begin{aligned}& \begin{aligned}[b] \bigl(\epsilon_{\mu,\alpha,l,\omega,b^{-}}^{\gamma,\delta,k,c}f \bigr) (x;p)&=(b-x)^{\alpha}\bigl[b^{2}E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c} \bigl(\omega(b-x)^{\mu};p\bigr) \\ &\quad-2b(b-x)E_{\mu,\alpha +2,l}^{\gamma,\delta,k,c}\bigl(\omega(b-x)^{\mu};p \bigr)\\&\quad+2(b-x)^{2}E_{\mu,\alpha +3,l}^{\gamma,\delta,k,c}\bigl( \omega(b-x)^{\mu};p\bigr)\bigr].\end{aligned} \end{aligned}
(4.2)

Below, the results of Sect. 2 are applied to obtain recurrence inequalities for Mittag-Leffler functions.

### Theorem 4

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned}[b]&\frac{(a^{2}+b^{2})}{(b-a)^{2}}E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c}\bigl( \omega'(b-a)^{\mu};p\bigr)+E_{\mu,\alpha+3,l}^{\gamma,\delta ,k,c} \bigl(\omega'(b-a)^{\mu};p\bigr) \\ &\quad\leq\frac {((2m+1)(a^{2}+b^{2})+2ab)}{2m(b-a)^{2}}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c}\bigl( \omega'(b-a)^{\mu};p\bigr) \int_{0}^{1}h(z)\,dz \\ &\quad\quad+E_{\mu,\alpha +2,l}^{\gamma,\delta,k,c}\bigl(\omega'(b-a)^{\mu};p \bigr),\end{aligned}
(4.3)

where$$\omega'=\frac{\omega}{2^{\mu}}$$.

### Proof

By using (4.1), (4.2) and $$f(x)=x^{2}$$ in (3.1) of Theorem 1, we have

\begin{aligned} &(x-a)^{\alpha}\bigl[a^{2}E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c} \bigl(\omega (x-a)^{\mu};p\bigr)+2a(x-a)E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c} \bigl(\omega (x-a)^{\mu};p\bigr) \\ &\qquad{}+2(x-a)^{2}E_{\mu,\alpha+3,l}^{\gamma ,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr)\bigr]+(b-x)^{\beta} \bigl[b^{2}E_{\mu ,\beta+1,l}^{\gamma,\delta,k,c}\bigl( \omega(b-x)^{\mu};p\bigr) \\ &\qquad{}-2b(b-x)E_{\mu,\beta+2,l}^{\gamma,\delta,k,c}\bigl(\omega(b-x)^{\mu };p \bigr)+2(b-x)^{2}E_{\mu,\beta+3,l}^{\gamma,\delta,k,c}\bigl( \omega(b-x)^{\mu };p\bigr)\bigr] \\ &\quad\leq\biggl( \biggl(a^{2}+\frac{x^{2}}{m} \biggr) (x-a)^{\alpha}E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu };p\bigr) \\ &\qquad{}+ \biggl(b^{2}+\frac{x^{2}}{m} \biggr) (b-x)^{\beta}E_{\mu,\beta,l}^{\gamma,\delta,k,c} \bigl(\omega(b-x)^{\mu };p\bigr)\biggr) \int_{0}^{1}h(z)\,dz. \end{aligned}
(4.4)

Now by putting $$x=\frac{a+b}{2}$$ and $$\alpha=\beta$$ in (4.4), then after simplification, inequality (4.3) is obtained. □

### Corollary 4

If$$m=1$$and$$h(z)=z$$in (4.3), then we have

\begin{aligned} &\frac{(a^{2}+b^{2})}{(b-a)^{2}}E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c}\bigl( \omega'(b-a)^{\mu};p\bigr)+E_{\mu,\alpha+3,l}^{\gamma,\delta ,k,c} \bigl(\omega'(b-a)^{\mu};p\bigr) \\ &\quad\leq\frac {(3a^{2}+3b^{2}+2ab)}{4(b-a)^{2}}E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl(\omega '(b-a)^{\mu};p\bigr)+E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c} \bigl(\omega'(b-a)^{\mu };p\bigr). \end{aligned}
(4.5)

### Theorem 5

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned} & \bigl\vert E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}\bigl( \omega'(b-a)^{\mu };p\bigr)-E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c} \bigl(\omega'(b-a)^{\mu};p\bigr) \bigr\vert \\ &\quad\leq\frac{1}{m(b-a)} \bigl(ma+mb+{(a+b)} \bigr)E_{\mu,\alpha ,l}^{\gamma,\delta,k,c} \bigl(\omega'(b-a)^{\mu};p\bigr) \int_{0}^{1}h(z)\,dz, \end{aligned}
(4.6)

where$$\omega'=\frac{\omega}{2^{\mu}}$$.

### Proof

By using (4.1), (4.2) and $$|f'(x)|=2|x|$$ in (3.10) of Theorem 2, we have

\begin{aligned} &\bigl\vert (x-a)^{\alpha}\bigl[{a^{2}} {(x-a)^{-1}}E_{\mu,\alpha,l}^{\gamma ,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr)+2aE_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c} \bigl(\omega(x-a)^{\mu};p\bigr) \\ &\qquad{}+2(x-a)E_{\mu ,\alpha+2,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr)\bigr] + (b-x)^{\beta} \bigl[{b^{2}} {(b-x)^{-1}}E_{\mu,\beta,l}^{\gamma,\delta ,k,c} \bigl(\omega(b-x)^{\mu};p\bigr) \\ &\qquad{}-2bE_{\mu,\beta+1,l}^{\gamma,\delta,k,c}\bigl(\omega(b-x)^{\mu };p \bigr)+2(b-x)E_{\mu,\beta+2,l}^{\gamma,\delta,k,c}\bigl(\omega(b-x)^{\mu };p \bigr)\bigr] \\ &\qquad{}- \bigl(a^{2}(x-a)^{\alpha-1}E_{\mu ,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr) + b^{2}(b-x)^{\beta -1}E_{\mu,\beta,l}^{\gamma,\delta,k,c} \bigl(\omega(b-x)^{\mu};p\bigr) \bigr)\bigr\vert \\ &\quad\leq\biggl(2 \biggl( \vert a \vert +\frac{ \vert x \vert }{m} \biggr) (x-a)^{\alpha }E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu};p\bigr) \\ &\qquad{}+2 \biggl( \vert b \vert +\frac{ \vert x \vert }{m} \biggr) (b-x)^{\beta}E_{\mu ,\beta,l}^{\gamma,\delta,k,c}\bigl( \omega(b-x)^{\mu};p\bigr)\biggr) \int ^{1}_{0} h(z)\,dz. \end{aligned}
(4.7)

Now by putting $$x=\frac{a+b}{2}$$ and $$\alpha=\beta$$ in (4.7), then after simplification, inequality (4.6) is obtained. □

### Corollary 5

If$$m=1$$and$$h(z)=z$$in (4.6), then we have

\begin{aligned} & \bigl\vert E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}\bigl( \omega'(b-a)^{\mu };p\bigr)-E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c} \bigl(\omega'(b-a)^{\mu};p\bigr) \bigr\vert \\ &\quad\leq\frac{1}{b-a}(a+b)E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl(\omega '(b-a)^{\mu};p\bigr) . \end{aligned}
(4.8)

### Theorem 6

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned} &E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c}\bigl(\omega(b-a)^{\mu};p \bigr)-\biggl(1+\frac {1}{m}\biggr)E_{\mu,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega(b-a)^{\mu};p\bigr) \int _{0}^{1}h(z)\,dz \\ &\quad\leq\frac{2(b-a)^{2}}{(a^{2}+b^{2})} \bigl(E_{\mu,\alpha +2,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu};p\bigr)-2E_{\mu,\alpha +3,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu};p\bigr) \bigr). \end{aligned}
(4.9)

### Proof

In (4.4), putting $$x=a$$ and $$x=b$$, then adding for $$\alpha=\beta$$, inequality (4.9) is obtained. □

### Corollary 6

If$$m=1$$and$$h(z)=z$$in (4.9), then we have

\begin{aligned} &E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c}\bigl(\omega(b-a)^{\mu};p \bigr)-E_{\mu ,\alpha,l}^{\gamma,\delta,k,c}\bigl(\omega(b-a)^{\mu};p \bigr) \\ &\quad\leq\frac {2(b-a)^{2}}{(a^{2}+b^{2})} \bigl(E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}\bigl(\omega (b-a)^{\mu};p\bigr)-2E_{\mu,\alpha+3,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu };p\bigr) \bigr). \end{aligned}
(4.10)

### Theorem 7

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned} & \biggl\vert E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu };p\bigr)-\frac{1}{2}E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c} \bigl(\omega(b-a)^{\mu };p\bigr) \biggr\vert \\ &\quad\leq\frac{(1+\frac{1}{m})}{2(b-a)}(a+b)E_{\mu,\alpha,l}^{\gamma ,\delta,k,c}\bigl( \omega(b-a)^{\mu};p\bigr) \int_{0}^{1}h(z)\,dz. \end{aligned}
(4.11)

### Proof

In (4.7), putting $$x=a$$ and $$x=b$$, then adding for $$\alpha=\beta$$, inequality (4.11) is obtained. □

### Corollary 7

If$$m=1$$and$$h(z)=z$$in (4.11), then we have

\begin{aligned} & \biggl\vert E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}\bigl( \omega(b-a)^{\mu };p\bigr)-\frac{1}{2}E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c} \bigl(\omega(b-a)^{\mu };p\bigr) \biggr\vert \\ &\quad\leq\frac{1}{2(b-a)}(a+b)E_{\mu,\alpha,l}^{\gamma,\delta ,k,c}\bigl( \omega(b-a)^{\mu};p\bigr). \end{aligned}
(4.12)

### Theorem 8

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned}[b]&E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c}(\omega;p)-\biggl(1+ \frac {1}{m}\biggr)E_{\mu,\alpha,l}^{\gamma,\delta,k,c}(\omega;p) \int _{0}^{1}h(z)\,dz \\ &\quad\leq2 \bigl(E_{\mu,\alpha+2,l}^{\gamma,\delta ,k,c}(\omega;p)-2E_{\mu,\alpha+3,l}^{\gamma,\delta,k,c}( \omega;p) \bigr).\end{aligned}
(4.13)

### Proof

In (4.9), putting $$a=0$$ and $$b=1$$, then inequality (4.13) is obtained. □

### Corollary 8

If$$m=1$$and$$h(z)=z$$in (4.13), then we have

\begin{aligned} &E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c}(\omega;p)-E_{\mu,\alpha ,l}^{\gamma,\delta,k,c}( \omega;p) \\ &\quad\leq2 \bigl(E_{\mu,\alpha +2,l}^{\gamma,\delta,k,c}(\omega;p)-2E_{\mu,\alpha+3,l}^{\gamma,\delta ,k,c}( \omega;p) \bigr). \end{aligned}
(4.14)

### Theorem 9

Mittag-Leffler functions satisfy the following recurrence relation:

\begin{aligned} & \bigl\vert 2E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}( \omega;p)-E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c}(\omega;p) \bigr\vert \\ &\quad\leq\biggl(1+\frac{1}{m}\biggr)E_{\mu,\alpha,l}^{\gamma,\delta,k,c}( \omega ;p) \int_{0}^{1}h(z)\,dz. \end{aligned}
(4.15)

### Proof

In (4.11), putting $$a=0$$ and $$b=1$$, then inequality (4.15) is obtained. □

### Corollary 9

If$$m=1$$and$$h(z)=z$$in (4.15), then we have

\begin{aligned} \bigl\vert 2E_{\mu,\alpha+2,l}^{\gamma,\delta,k,c}( \omega;p)-E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c}(\omega;p) \bigr\vert \leq E_{\mu,\alpha,l}^{\gamma,\delta,k,c}(\omega;p). \end{aligned}
(4.16)

By applying Theorem 3 similar relations can be established; we leave these for the reader.

## Fractional differential equations involving extended generalized Mittag-Leffler function

In this section, generalized fractional differential equations are solved. The Riemann–Liouville fractional derivative operator $$D_{a^{+}}^{\nu}$$ is defined as follows:

\begin{aligned} \bigl(D_{a^{+}}^{\nu}f\bigr) (x)= \biggl( \frac{d}{dx} \biggr)^{n}\bigl(I_{a^{+}}^{n-\nu} f\bigr) (x),\quad \nu \in{C};\Re(\nu)>0\ \bigl(n=\bigl[\Re(\nu)\bigr]+1\bigr), \end{aligned}
(5.1)

where $$(I_{a^{+}}^{\nu}f)(x)$$ is the Riemann–Liouville fractional integral operator defined as follows:

\begin{aligned} \bigl(I_{a^{+}}^{\nu}f\bigr) (x)=\frac{1}{\varGamma(\nu)} \int_{a}^{x}(x-t)^{\nu -1}f(t)\,dt,\quad x>a. \end{aligned}
(5.2)

For $$a=0$$ the operator $$(D_{a^{+}}^{\nu}f)(x)$$ is represented by $$(D_{0^{+}}^{\nu}f)(x)$$ and $$(I_{a^{+}}^{\nu}f)(x)$$ is represented by $$(I_{0^{+}}^{\nu}f)(x)$$.

The Laplace transform of a function $$f(x)$$ is defined as follows:

\begin{aligned} L\bigl[f(x);s\bigr]= \int_{0}^{\infty}e^{-sx}f(x)\,dx=F(s). \end{aligned}
(5.3)

In , the Laplace transform of fractional derivative $$(D_{0^{+}}^{\nu}f)(x)$$ is found to be

$$L\bigl[D_{0^{+}}^{\nu}f;s \bigr]=s^{\nu}F(s)-\sum_{k=1}^{n}s^{k-1}D_{0^{+}}^{\nu-k}f(0+) \quad(n-1< \nu< n)\ \Re(s)>0.$$
(5.4)

For more information related to differential equations see Refs. .

### Theorem 10

Let$$a\in\mathbb{R}_{+}$$; $$\mu,\alpha,l,\gamma,\nu,c\in{C}$$, $$\Re(\mu ),\Re(\alpha),\Re(l)>0$$, $$\Re(c)>\Re(\gamma)>0$$with$$p\geq0$$, $$\delta >0$$and$$0< k\leq\delta+\Re(\mu)$$. Then, for$$x>a$$, we have

\begin{aligned}& D_{a^{+}}^{\nu}\bigl[(t-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(t-a)^{\mu};p\bigr) \bigr](x)=(x-a)^{\alpha-\nu-1}E_{\mu,\alpha -\nu,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr), \end{aligned}
(5.5)
\begin{aligned}& I_{a^{+}}^{\nu}\bigl[(t-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(t-a)^{\mu};p\bigr) \bigr](x)=(x-a)^{\alpha+\nu-1}E_{\mu,\alpha +\nu,l}^{\gamma,\delta,k,c} \bigl(\omega(x-a)^{\mu};p\bigr). \end{aligned}
(5.6)

### Proof

By using the definition of $$E_{\mu,\alpha,l}^{\gamma,\delta,k,c}$$ defined in (2.2), we have

\begin{aligned} &D_{a^{+}}^{\nu}\bigl[(t-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(t-a)^{\mu};p\bigr) \bigr](x) \\ &\quad=D_{a^{+}}^{\nu}\Biggl[(t-a)^{\alpha -1}\sum _{n=0}^{\infty}\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{\varGamma(\mu n +\alpha)} \frac{(\omega (t-a)^{\mu})^{n}}{(l)_{n \delta}} \Biggr](x) \\ &\quad=\sum_{n=0}^{\infty}\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{\varGamma(\mu n +\alpha)} \frac{\omega ^{n}}{(l)_{n \delta}}D_{a^{+}}^{\nu}\bigl[(t-a)^{\mu n+\alpha-1} \bigr](x) . \end{aligned}
(5.7)

By using the formula $$D_{a^{+}}^{\nu}[(t-a)^{\eta} ](x)=\frac {\varGamma(\eta+1)}{\varGamma(\eta-\nu+1)}(x-a)^{\eta-\nu}$$, we have

\begin{aligned} &D_{a^{+}}^{\nu}\bigl[(t-a)^{\alpha-1}E_{\mu,\alpha,l}^{\gamma,\delta ,k,c} \bigl(\omega(t-a)^{\mu};p\bigr) \bigr](x) \\ &\quad=\sum_{n=0}^{\infty}\frac{\beta _{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{\varGamma(\mu n +\alpha-\nu)} \frac{(\omega(x-a)^{\mu })^{n}}{(l)_{n \delta}}(x-a)^{\alpha-\nu-1} \\ &\quad=(x-a)^{\alpha-\nu -1}E_{\mu,\alpha-\nu,l}^{\gamma,\delta,k,c}\bigl( \omega(x-a)^{\mu };p\bigr). \end{aligned}
(5.8)

Proof of (5.6) is similar to the proof of (5.5) just using the definition of fractional integral operator $$I_{a^{+}}^{\nu}$$ therein. □

### Theorem 11

Let$$\mu,\alpha,l,\gamma,\nu,c\in\mathbb{C}$$, $$\Re(\mu),\Re(\alpha ),\Re(l)>0$$, $$\Re(c)>\Re(\gamma)>0$$with$$p\geq0$$, $$\delta>0$$and$$0< k\leq\delta+\Re(\mu)$$. Then the differential equation

\begin{aligned} \bigl(D_{0^{+}}^{\nu}y\bigr) (x)= \lambda_{1} \bigl(\epsilon_{\mu,\alpha,l,\omega ,a^{+}}^{\gamma,\delta,k,c}1 \bigr) (x;p)+f(x) \end{aligned}
(5.9)

with the initial condition$$(I_{0^{+}}^{1-\nu})(0+)=C$$, has its solution in the space$$L(0,\infty)$$

\begin{aligned} y(x)&=C\frac{x^{\nu-1}}{\varGamma(\nu)}+\lambda_{1}\sum _{n=0}^{\infty }\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{\varGamma(\mu n +\alpha+\nu+1)} \frac{\omega^{n}}{(l)_{n \delta}}x^{\mu n +\alpha+\nu} \\ &\quad+\frac{1}{\varGamma(\nu)} \int _{0}^{x}(x-t)^{\nu-1}f(t)\,dt, \end{aligned}
(5.10)

whereCis an arbitrary constant.

### Proof

Using the generalized fractional integral operator $$(\epsilon_{\mu ,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}1 )(x;p)$$ given in (2.6) with $$a=0$$ in (5.9), we have

$$\bigl(D_{0^{+}}^{\nu}y\bigr) (x)= \lambda_{1} x^{\alpha} E_{\mu,\alpha+1,l}^{\gamma ,\delta,k,c} \bigl(\omega x^{\mu};p\bigr)+f(x).$$
(5.11)

Applying the Laplace transform on both sides of (5.11), we have

$$L\bigl[\bigl(D_{0^{+}}^{\nu}y\bigr) (x);s \bigr]=\lambda_{1} L\bigl[x^{\alpha} E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c} \bigl(\omega x^{\mu};p\bigr);s\bigr]+L\bigl[f(x);s\bigr].$$
(5.12)

First we calculate the Laplace transform of Mittag-Leffler function as follows:

\begin{aligned} &L\bigl[x^{\alpha-1} E_{\mu,\alpha,l}^{\gamma,\delta,k,c}\bigl(\omega x^{\mu };p\bigr);s\bigr] \\ &\quad= \int_{0}^{\infty}x^{\alpha}e^{-sx} E_{\mu,\alpha,l}^{\gamma ,\delta,k,c}\bigl(\omega x^{\mu};p\bigr)\,dx \\ & \quad=\sum_{n=0}^{\infty}\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{\varGamma(\mu n +\alpha)} \frac{\omega ^{n}}{(l)_{n \delta}} \int_{0}^{\infty}x^{\alpha+\mu n-1}e^{-sx} \, dx \\ &\quad =\sum_{n=0}^{\infty}\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{\varGamma(\mu n +\alpha)} \frac{\omega ^{n}}{(l)_{n \delta}}\varGamma(\mu n +\alpha)L \biggl[ \frac{x^{\alpha+\mu n-1}}{\varGamma(\mu n +\alpha)};s \biggr]. \end{aligned}
(5.13)

Since $$L [\frac{t^{n-1}}{\varGamma(n)} ]=\frac{1}{s^{n}}$$ ($$n>0$$), using it in the above, we have

$$L\bigl[x^{\alpha-1} E_{\mu,\alpha,l}^{\gamma,\delta,k,c} \bigl(\omega x^{\mu };p\bigr);s\bigr]=\frac{1}{s^{\alpha}}\sum _{n=0}^{\infty}\frac{\beta_{p}(\gamma +nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac{(c)_{nk}}{(l)_{n \delta }} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n}.$$
(5.14)

By using (5.3), (5.4) (for $$n=1$$) and (5.14) in (5.12), we have

\begin{aligned} s^{\nu}y(s)=C+\lambda_{1} s^{-(\alpha+1)}\sum _{n=0}^{\infty}\frac{\beta _{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n}+F(s), \end{aligned}

which implies that

$$y(s)=Cs^{-\nu}+\lambda_{1} s^{-(\alpha+\nu+1)}\sum_{n=0}^{\infty} \frac {\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n}+F(s)s^{-\nu}.$$
(5.15)

Now taking the inverse Laplace transformation on both sides of (5.15), we have

\begin{aligned} y(x)&=C\frac{x^{\nu-1}}{\varGamma(\nu)}+\lambda_{1}\sum _{n=0}^{\infty }\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}}\omega^{n}L^{-1} \bigl[s^{-(\mu n+\alpha+\nu +1)} \bigr] \\ &\quad+L^{-1} \bigl[F(s)s^{-\nu} \bigr]. \end{aligned}

After simplification one can get (5.10). □

### Theorem 12

Let$$\mu,\alpha,l,\gamma,\nu,c\in\mathbb{C}$$, $$\Re(\mu),\Re(\alpha ),\Re(l)>0$$, $$\Re(c)>\Re(\gamma)>0$$with$$p\geq0$$, $$\delta>0$$and$$0< k\leq\delta+\Re(\mu)$$. Then the differential equation

\begin{aligned} \bigl(D_{0^{+}}^{\nu}y\bigr) (x)= \lambda_{1} \bigl(\epsilon_{\mu,\alpha,l,\omega ,a^{+}}^{\gamma,\delta,k,c} \bigr) (x;p)+\lambda_{2}x^{\alpha} E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c} \bigl(\omega x^{\mu};p\bigr) , \end{aligned}
(5.16)

with the initial condition$$(I_{0^{+}}^{1-\nu})(0+)=C$$, has a solution in the space$$L(0,\infty)$$,

$$y(x) = C\frac{x^{\nu-1}}{\varGamma(\nu)} + (\lambda_{1}+ \lambda_{2})\sum_{n=0}^{\infty} \frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{\varGamma(\mu n +\alpha+\nu+1)} \frac{\omega ^{n}}{(l)_{n \delta}}x^{\mu n +\alpha+\nu},$$
(5.17)

whereCis an arbitrary constant.

### Proof

Using the generalized fractional integral operator $$(\epsilon_{\mu ,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}1 )(x;p)$$ given in (2.6) with $$a=0$$ in (5.16), we have

\begin{aligned} \bigl(D_{0^{+}}^{\nu}y\bigr) (x)&= \lambda_{1} x^{\alpha} E_{\mu,\alpha+1,l}^{\gamma ,\delta,k,c} \bigl(\omega x^{\mu};p\bigr)+\lambda_{2}x^{\alpha} E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c}\bigl(\omega x^{\mu};p\bigr) \\ &=(\lambda _{1}+\lambda_{2})x^{\alpha} E_{\mu,\alpha+1,l}^{\gamma,\delta,k,c}\bigl(\omega x^{\mu};p\bigr). \end{aligned}
(5.18)

Applying the Laplace transform on both sides of (5.18), we have

\begin{aligned} L\bigl[\bigl(D_{0^{+}}^{\nu}y\bigr) (x);s \bigr]=(\lambda_{1}+\lambda_{2}) L\bigl[x^{\alpha} E_{\mu ,\alpha+1,l}^{\gamma,\delta,k,c}\bigl(\omega x^{\mu};p\bigr);s \bigr]. \end{aligned}
(5.19)

By using (5.3), ((5.4) for $$n=1$$) and (5.14) in (5.19), we have

\begin{aligned} s^{\nu}y(s)=C+(\lambda_{1}+\lambda_{2}) s^{-(\alpha+1)}\sum_{n=0}^{\infty } \frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n}, \end{aligned}

which implies that

$$y(s)=Cs^{-\nu}+(\lambda_{1}+ \lambda_{2}) s^{-(\alpha+\nu+1)}\sum_{n=0}^{\infty} \frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n}.$$
(5.20)

Now taking the inverse Laplace transformation on both sides of (5.20), we have

\begin{aligned} y(x)=C\frac{x^{\nu-1}}{\varGamma(\nu)}+(\lambda_{1}+\lambda_{2}) \sum_{n=0}^{\infty}\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma ,c-\gamma)} \frac{(c)_{nk}}{(l)_{n \delta}}\omega^{n}L^{-1} \bigl[s^{-(\mu n+\alpha+\nu+1)} \bigr] . \end{aligned}

After simplification one can get (5.17). □

### Theorem 13

Let$$\mu,\alpha,l,\gamma,\nu,c\in\mathbb{C}$$, $$\Re(\mu),\Re(\alpha ),\Re(l)>0$$, $$\Re(c)>\Re(\gamma)>0$$with$$p\geq0$$, $$\delta>0$$and$$0< k\leq\delta+\Re(\mu)$$. Then the differential equation

$$\bigl(D_{0^{+}}^{\nu}y\bigr) (x)=\lambda \bigl(\epsilon_{\mu,\alpha,l,\omega ,a^{+}}^{\gamma,\delta,k,c} \bigr) (x;p)+\sum _{j=1}^{n} \bigl[\lambda _{j}x^{\alpha_{j}} E_{\mu_{j},\alpha_{j}+1,l_{j}}^{\gamma_{j},\delta _{j},k_{j},c_{j}}\bigl(w_{j}x^{\mu_{j}};p \bigr) \bigr] ,$$
(5.21)

with the initial condition$$(I_{0^{+}}^{1-\nu})(0+)=C$$, has a solution in the space$$L(0,\infty)$$,

\begin{aligned} y(x)& = C\frac{x^{\nu-1}}{\varGamma(\nu)} + \lambda\sum _{n=0}^{\infty }\frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{\varGamma(\mu n +\alpha+\nu+1)} \frac{\omega^{n}}{(l)_{n \delta}}x^{\mu n +\alpha+\nu} \\ &\quad+\sum_{j=1}^{n} \Biggl[ \lambda_{j}\sum_{n=0}^{\infty} \frac{\beta_{p}(\gamma_{j}+nk_{j},c_{j}-\gamma_{j})}{\beta(\gamma _{j},c_{j}-\gamma_{j})} \frac{(c_{j})_{nk_{j}}}{\varGamma(\mu_{j} n +\alpha_{j}+\nu +1)} \frac{{\omega_{j}}^{n}}{(l_{j})_{n \delta_{j}}}x^{\mu_{j} n +\alpha_{j}+\nu } \Biggr], \end{aligned}
(5.22)

whereCis an arbitrary constant.

### Proof

Using the generalized fractional integral operator $$(\epsilon_{\mu ,\alpha,l,\omega,a^{+}}^{\gamma,\delta,k,c}1 )(x;p)$$ given in (2.6) with $$a=0$$ in (5.21), we have

$$\bigl(D_{0^{+}}^{\nu}y\bigr) (x)=\lambda x^{\alpha} E_{\mu,\alpha+1,l}^{\gamma,\delta ,k,c}\bigl(\omega x^{\mu};p\bigr)+\sum_{j=1}^{n} \bigl[\lambda_{j}x^{\alpha_{j}} E_{\mu _{j},\alpha_{j}+1,l_{j}}^{\gamma_{j},\delta_{j},k_{j},c_{j}} \bigl(w_{j}x^{\mu_{j}};p\bigr) \bigr].$$
(5.23)

Applying Laplace transform on both sides of (5.18), we have

\begin{aligned} L\bigl[\bigl(D_{0^{+}}^{\nu}y\bigr) (x);s\bigr]&=\lambda L\bigl[x^{\alpha} E_{\mu,\alpha +1,l}^{\gamma,\delta,k,c} \bigl(\omega x^{\mu};p\bigr);s\bigr] \\ &\quad+L \Biggl[\sum_{j=1}^{n} \bigl[ \lambda_{j}x^{\alpha_{j}} E_{\mu_{j},\alpha _{j}+1,l_{j}}^{\gamma_{j},\delta_{j},k_{j},c_{j}} \bigl(w_{j}x^{\mu_{j}};p\bigr) \bigr];s \Biggr]. \end{aligned}
(5.24)

By using (5.3), ((5.4) for $$n=1$$) and (5.14) in (5.24), we have

\begin{aligned} s^{\nu}y(s) =&C+\lambda s^{-(\alpha+1)}\sum _{n=0}^{\infty}\frac{\beta _{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n} \\ &{}+\sum_{j=1}^{n} \Biggl[ \lambda_{j}s^{-(\alpha_{j}+1)}\sum_{n=0}^{\infty } \frac{\beta_{p}(\gamma_{j}+nk_{j},c_{j}-\gamma_{j})}{\beta(\gamma_{j},c_{j}-\gamma _{j})} \frac{(c_{j})_{nk_{j}}}{(l_{j})_{n \delta_{j}}} \biggl(\frac{\omega_{j}}{s^{\mu _{j}}} \biggr)^{n} \Biggr], \end{aligned}

which implies that

\begin{aligned} y(s) =&Cs^{-\nu}+\lambda s^{-(\alpha+\nu+1)}\sum _{n=0}^{\infty}\frac {\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}} \biggl(\frac{\omega}{s^{\mu}} \biggr)^{n} \\ &{}+s^{-\nu}\sum_{j=1}^{n} \Biggl[\lambda_{j}s^{-(\alpha_{j}+1)}\sum _{n=0}^{\infty}\frac{\beta_{p}(\gamma_{j}+nk_{j},c_{j}-\gamma_{j})}{\beta(\gamma _{j},c_{j}-\gamma_{j})} \frac{(c_{j})_{nk_{j}}}{(l_{j})_{n \delta_{j}}} \biggl(\frac {\omega_{j}}{s^{\mu_{j}}} \biggr)^{n} \Biggr]. \end{aligned}
(5.25)

Now taking the inverse Laplace transformation on both sides of (5.25), we have

\begin{aligned} y(x) =&C\frac{x^{\nu-1}}{\varGamma(\nu)}+\lambda\sum_{n=0}^{\infty } \frac{\beta_{p}(\gamma+nk,c-\gamma)}{\beta(\gamma,c-\gamma)} \frac {(c)_{nk}}{(l)_{n \delta}}\omega^{n}L^{-1} \bigl[s^{-(\mu n+\alpha+\nu +1)} \bigr] \\ &{}+\sum_{j=1}^{n} \Biggl[ \lambda_{j}\sum_{n=0}^{\infty } \frac{\beta_{p}(\gamma_{j}+nk_{j},c_{j}-\gamma_{j})}{\beta(\gamma_{j},c_{j}-\gamma _{j})} \frac{(c_{j})_{nk_{j}}}{(l_{j})_{n \delta_{j}}}{\omega_{j}}^{n}L^{-1} \bigl[s^{-(\mu_{j} n+\alpha_{j}+\nu+1)} \bigr] \Biggr]. \end{aligned}

After simplification one can get (5.22). □

## Concluding remarks

This research computes the bounds of fractional integral operators containing an extended generalized Mittag-Leffler function in their kernel. These results provide compact formulas for bounds of several kinds of fractional integral operators via several kinds of convexity. By setting specific values to parameters involved in the Mittag-Lefller function some interesting results can be obtained. For example estimations of the fractional integral operators: by Salim and Faraj defined in  setting $$p=0$$, by Rahman et al. defined in  by setting $$l=\delta=1$$, by Shukla and Prajapati defined in  by setting $$p=0$$ and $$l=\delta=1$$ (see also ), by Prabhakar defined in  by setting $$p=0$$ and $$l=\delta=k=1$$. Also inequalities for recurrence relations of Mittag-Leffler functions are obtained via a particular convex function $$x^{2}$$. At the end some generalized fractional differential equations are solved.

## References

1. Agarwal, R.P.: A propos d’une note de m. Pierre Humbert. C. R. Math. Acad. Sci. 236, 2031–2032 (1953)

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

3. Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, Article ID 90 (2018)

4. Bagley, R.L., Torvik, P.: A theoretical basis for the application of fractional calculus to viscoelasticity. J. Rheol. 27, 201–210 (1983)

5. Baleanu, D., Asad, J.H., Jajarmi, A.: New aspects of the motion of a particle in a circular cavity. Proc. Rom. Acad., Ser. A: Math. Phys. Tech. Sci. Inf. Sci. 19(2), 361–367 (2018)

6. Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, Article ID 473 (2019)

7. Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, Article ID 135 (2018)

8. Baleanu, D., Jajarmi, A., Hajipour, M.: A new formulation of the fractional optimal control problems involving Mittag-Leffler nonsingular kernel. J. Optim. Theory Appl. 175, 718–737 (2017)

9. Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumor-immune surveillance with non-singular derivative operator. Chaos 29, Article ID 083127 (2019)

10. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, Article ID 79 (2019)

11. Baleanu, D., Sajjadi, S.S., Jajarmi, A., Asad, J.H.: New features of the fractional Euler–Lagrange equations for a physical system within non-singular derivative operator. Eur. Phys. J. Plus 134, Article ID 181 (2019)

12. Doungmo Goufo, E.F., Mugisha, S.: On analysis of fractional Navier–Stokes equations via nonsingular solutions and approximation. Math. Probl. Eng. 2015, Article ID 212760 (2015)

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

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

15. Farid, G.: Bounds of Riemann–Liouville fractional integral operators. Comput. Methods Differ. Equ. (in press)

16. Farid, G., Khan, K.A., Latif, N., Rehman, A.U., Mehmood, S.: General fractional integral inequalities for convex and m-convex functions via an extended generalized Mittag-Leffler function. J. Inequal. Appl. 2018, Article ID 243 (2018)

17. Farid, G., Rehman, A.U., Ullah, S., Nosheen, A., Waseem, M., Mehboob, Y.: Opial-type inequalities for convex function and associated results in fractional calculus. Adv. Differ. Equ. 2019, Article ID 152 (2019)

18. Fujioka, J., Espinosa, A., Rodríguez, R.F., Malomed, B.A.: Radiating subdispersive fractional optical solitons. Chaos 24, Article ID 033121 (2014)

19. Hajipour, M., Jajarmi, A., Baleanu, D., Sun, H.G.: On an accurate discretization of a variable-order fractional reaction–diffusion equation. Commun. Nonlinear Sci. Numer. Simul. 69, 119–133 (2019)

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

21. Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

22. Ionescu, C., Desager, K., Keyser, R.D.: Fractional order model parameters for the respiratory input impedance in healthy and in asthmatic children. Comput. Methods Programs Biomed. 101, 315–323 (2011)

23. Ionescu, C.M., Keyser, R.D.: Relations between fractional-order model parameters and lung pathology in chronic obstructive pulmonary disease. IEEE Trans. Biomed. Eng. 56, 978–987 (2009)

24. Jajarmi, A., Arshad, S., Baleanu, D.: A new fractional modelling and control strategy for the outbreak of dengue fever. Phys. A, Stat. Mech. Appl. 535, Article ID 122524 (2019)

25. Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modeling and optimal control of diabetes and tuberculosis co-existence. Chaos 29, Article ID 093111 (2019)

26. Jajarmi, A., Hajipour, M., Mohammadzadeh, E., Baleanu, D.: A new approach for the nonlinear fractional optimal control problems with external persistent disturbances. J. Franklin Inst. 335, 3938–3967 (2018)

27. Kilbas, A.A., Saigo, M., Saxena, R.K.: Generalized Mittag-Leffler function and generalized fractional calculus operators. Integral Transforms Spec. Funct. 15, 31–49 (2004)

28. Kwuimy, C.K., Litak, G., Nataraj, C.: Nonlinear analysis of energy harvesting systems with fractional order physical properties. Nonlinear Dyn. 80, 491–501 (2015)

29. Magin, R.L.: Fractional Calculus in Bioengineering. Begell House, Redding (2006)

30. Mehmood, S., Farid, G.: Fractional integrals inequalities for exponentially m-convex functions. Open J. Math. Sci. 4, 78–85 (2020)

31. Mehmood, S., Farid, G., Khan, K.A., Yussouf, M.: New fractional Hadamard and Fejér–Hadamard inequalities associated with exponentially $$(h,m)$$-convex functions. Eng. Appl. Sci. Lett. 3, 9–18 (2020)

32. Mehmood, S., Farid, G., Khan, K.A., Yussouf, M.: New Hadamard and Fejér–Hadamard fractional inequalities for exponentially m-convex function. Eng. Appl. Sci. Lett. 3, 45–55 (2020)

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

34. Oldham, K.B., Spanier, J.: The Fractional Calculus: Theory and Applications of Differentiation and Integration to Arbitrary Order. Academic Press, New York (1974)

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

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

37. Rahman, G., Baleanu, D., Qurashi, M.A., Purohit, S.D., Mubeen, S., Arshad, M.: The extended Mittag-Leffler function via fractional calculus. J. Nonlinear Sci. Appl. 10, 4244–4253 (2017)

38. Salim, T.O.: Some properties relating to the generalized Mittag-Leffler function. Adv. Appl. Math. Anal. 4, 21–30 (2009)

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

40. Saxena, R.K., Mathai, A.M., Haubold, H.J.: On fractional kinetic equations. Astrophys. Space Sci. 282, 281–287 (2002)

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

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

43. Tomovski, Z., Hiller, R., Srivastava, H.M.: Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler function. Integral Transforms Spec. Funct. 21, 797–814 (2011)

44. Ullah, S., Farid, G., Khan, K.A., Waheed, A., Mehmood, S.: Generalized fractional inequalities for quasi-convex functions. Adv. Differ. Equ. 2019, Article ID 15 (2019)

45. Varosanec, S.: On h-convexity. J. Math. Anal. Appl. 326, 303–311 (2007)

46. Wiman, A.: Uber den fundamental satz in der theori der functionen. Acta Math. 29, 191–201 (1905)

47. Yang, A.M., Han, Y., Li, J., Liu, W.X.: On steady heat flow problem involving Yang–Srivastava–Machado fractional derivative without singular kernel. Therm. Sci. 20, 717–721 (2016)

48. Yang, X.J., Gao, F., Ju, Y., Zhou, H.W.: Fundamental solutions of the general fractional-order diffusion equations. Math. Methods Appl. Sci. 41, 9312–9320 (2018)

49. Yang, X.J., Machado, J.A.T., Baleanu, D.: Anomalous diffusion models with general fractional derivatives within the kernels of the extended Mittag-Leffler type functions. Rom. Rep. Phys. 69, Article ID 20 (2017)

50. Yang, X.J., Srivastava, H.M., Machado, J.A.T.: A new fractional derivative without singular kernel application to the modeling of the steady heat flow. Therm. Sci. 20, 753–756 (2016)

51. Yusuf, A., Inc, M., Aliyu, A., Baleanu, D.: Optical solitons possessing beta derivative of the Chen–Lee–Liu equation in optical fiber. Front. Phys. 7, Article ID 34 (2019)

52. Zhao, D., Farid, G., Zeb, M., Ahmad, S., Mahreen, K.: On boundedness of unified integral for quasiconvex functions. Adv. Differ. Equ. 2020, Article ID 38 (2020)

### Acknowledgements

We thank the editor and referees for their careful reading and valuable suggestions to make the article friendly readable. The research work of Zhihua Chen is supported by the Chinese National Natural Science Foundation under Grant 61876047. The research work of Ghulam Farid is supported by the Higher Education Commission of Pakistan under NRPU 2016, Project No. 5421.

### Availability of data and materials

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

Not applicable.

## Author information

Authors

### Contributions

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

### Corresponding author

Correspondence to Ghulam Farid.

## Ethics declarations

### Competing interests

It is declared that the authors 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 