On boundedness of unified integral operators for quasiconvex functions

Abstract

This work deals with the bounds of a unified integral operator with which several fractional and conformable integral operators are directly associated. By using quasiconvex and monotone functions we establish bounds of these integral operators. We prove their boundedness and continuity. The results of this paper generalize already published results and have direct consequences for fractional and conformable integrals

1 Introduction

We start from the definition of Riemann–Liouville fractional integral operators.

Definition 1

([15])

Let $f\in L_{1} [a,b ]$. Then the Riemann–Liouville fractional integrals of order μ with $\Re (\mu )>0$ are defined by

$$\begin{aligned}& {}^{\mu }I_{a^{+}}f (x )=\frac{1}{\varGamma (\mu )} \int _{a}^{x} (x-t )^{\mu -1}f (t )\,dt, \quad x>a, \end{aligned}$$

(1.1)

$$\begin{aligned}& {}^{\mu }I_{b^{-}}f (x )=\frac{1}{\varGamma (\mu )} \int _{x}^{b} (t-x )^{\mu -1}f (t )\,dt, \quad x< b, \end{aligned}$$

(1.2)

where Γ is the gamma function.

An k-fractional analogues of the Riemann–Liouville integral operators are given in the next definition.

Definition 2

([18])

Let $f\in L_{1} [a,b ]$. Then the k-fractional Riemann–Liouville integrals of order μ with $\Re (\mu )>0$, $k>0$, are defined by

$$\begin{aligned}& {}^{\mu }I_{a^{+}}^{k}f (x )= \frac{1}{k\varGamma _{\kappa } (\mu )} \int _{a}^{x} (x-t ) ^{\frac{\mu }{k}-1}f (t )\,dt, \quad x>a, \end{aligned}$$

(1.3)

$$\begin{aligned}& {}^{\mu }I_{b^{-}}^{k}f (x )= \frac{1}{k\varGamma _{k} (\mu )} \int _{x}^{b} (t-x ) ^{\frac{\mu }{k}-1}f (t )\,dt, \quad x< b, \end{aligned}$$

(1.4)

where $\varGamma _{k}$ is defined in [19].

We go ahead by defining the following generalized fractional integral operators:

Definition 3

([15])

Let $f:[a,b]\rightarrow \mathbb{R}$ be an integrable function. Let g be an increasing positive function on $(a, b]$ having a continuous derivative $g^{\prime }$ on $(a,b)$. The left-sided and right-sided fractional integrals of a function f with respect to a function g on $[a, b]$ of order μ with $\Re(\mu )>0$ are defined by

$$\begin{aligned}& {}_{g}^{\mu }I_{a^{+}}f(x)= \frac{1}{\varGamma ({\mu })} \int _{a}^{x}\bigl(g(x)-g(t)\bigr)^{ {\mu }-1}g'(t)f(t)\,dt, \quad x>a, \end{aligned}$$

(1.5)

$$\begin{aligned}& {}_{g}^{\mu }I_{b^{-}}f(x)= \frac{1}{\varGamma ({\mu })} \int _{x}^{b}\bigl(g(t)-g(x)\bigr)^{ {\mu }-1}g'(t)f(t)\,dt, \quad x< b. \end{aligned}$$

(1.6)

Definition 4

([16])

Let $f:[a,b]\rightarrow \mathbb{R}$ be an integrable function. Let g be an increasing positive function on $(a, b]$ having a continuous derivative $g^{\prime }$ on $(a,b)$. The left-sided and right-sided fractional integrals of a function f with respect to a function g on $[a, b]$ of order μ with $\Re (\mu )>0$, $k>0$, are defined by

$$\begin{aligned}& {}^{\mu }_{g}I^{k}_{a^{+}}f(x)= \frac{1}{k\varGamma _{k}({\mu })} \int _{a} ^{x}\bigl(g(x)-g(t)\bigr)^{\frac{\mu }{k}-1}g'(t)f(t)\,dt, \quad x>a, \end{aligned}$$

(1.7)

$$\begin{aligned}& {}^{\mu }_{g}I^{k}_{b^{-}}f(x)= \frac{1}{k\varGamma _{k}({\mu })} \int _{x} ^{b}\bigl(g(t)-g(x)\bigr)^{\frac{\mu }{k}-1}g'(t)f(t)\,dt, \quad x< b. \end{aligned}$$

(1.8)

A generalized fractional integral operator containing an extended Mittag-Leffler function is defined as follows.

Definition 5

([1])

Let $\omega ,\mu ,\alpha ,l,\gamma ,c\in {C}$, $\Re (\mu ),\Re (\alpha ),\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 $\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}$$

(1.9)

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

(1.10)

where

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

(1.11)

is the extended generalized Mittag-Leffler function.

Recently, Farid in [7] studied the unified integral operator stated as follows (see also, [17]):

Definition 6

Let $f, g:[a,b]\longrightarrow \mathbb{R}$, $0< a< b$, be functions such that f is positive, $f\in L_{1}[a, b]$, and g is differentiable and strictly increasing. Also, let $\frac{ \phi }{x}$ be an increasing function on $[a,\infty )$, and let $\alpha , l, \gamma , c \in \mathbb{C}$, $p, \mu ,\delta \geq 0$, and $0< k\leq \delta + \mu$. Then for $x\in [a, b]$, the left and right integral operators are defined by

$$\begin{aligned}& \bigl({}_{g}F_{\mu , \alpha , l, {a^{+}}}^{\phi , \gamma , \delta , k, c}f\bigr) (x, \omega ;p)= \int _{a}^{x}\frac{\phi (g(x)-g(t))}{g(x)-g(t)}E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\mu }; p\bigr)g'(t)f(t)\,dt, \\ \end{aligned}$$

(1.12)

$$\begin{aligned}& \bigl({}_{g}F_{\mu , \alpha , l, {b^{-}}}^{\phi , \gamma , \delta , k, c}f\bigr) (x, \omega ;p) = \int _{x}^{b}\frac{\phi (g(t)-g(x))}{g(t)-g(x)}E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\mu }; p\bigr)g'(t)f(t)\,dt. \end{aligned}$$

(1.13)

For suitable settings of functions ϕ, g and certain values of parameters included in the Mittage-Leffler function (1.11), many of the fractional integral operators defined in recent decades can be obtained simultaneously; see [17, Remarks 1 and 2].

The aim of this paper is the study of bounds of a unified integral operator by using quasiconvex functions. The results we intend to establish are directly related with fractional and conformable integral operators. All the fractional and conformable integral operators defined in [2, 3, 6, 10, 13–15, 18, 20, 21, 23–26] satisfy the results of this paper for quasiconvex functions in particular cases.

Definition 7

([22])

A function f satisfying the inequality

$$ f \bigl(\lambda x+(1-\lambda )y \bigr) \leq \lambda f(x)+(1- \lambda )f(y) $$

(1.14)

for $\lambda \in [0, 1]$ and $x, y \in C$, where C is a convex set, is called a convex function on C.

A geometric interpretation of a convex function $f:[a,b]\to \mathbb{R}$ is visualized by the well-known Hadamard inequality

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

(1.15)

Finite convex functions defined on a finite closed interval are quasiconvex functions, whereas quasiconvex functions are defined as follows.

Definition 8

([12])

A function f satisfying the inequality

$$ f\bigl(\lambda a+(1-\lambda )b\bigr) \leq \max \bigl\lbrace {f(a),f(b)} \bigr\rbrace $$

(1.16)

for $\lambda \in [0, 1]$ and $x, y \in C$, where C is a convex set, is called a quasiconvex function on C.

The following example distinguishes the above two definitions.

Example 1

([12])

The function $f:[-2,2]\to \mathbb{R}$ given by

$$ f(x) = \textstyle\begin{cases} 1, & x\in [-2,-1], \\ x^{2}, & x\in (-1,2], \end{cases} $$

is not a convex function on $[-2,2]$, but it is a quasiconvex function on $[-2,2]$.

Thus the class of quasiconvex functions contains the class of finite convex functions defined on finite closed intervals. The investigation of Hadamard inequality for quasiconvex functions is an implicit topic, and related results have been obtained independently by various authors; see, for example, [5, 11, 12] and references therein.

To get results for unified integral operators of quasiconvex functions, we follow the method from [17]. The paper is organized as: First, we obtain upper bounds of unified integral operators defined in (1.12) and (1.13), which lead to the boundedness and continuity of these operators. Then we obtain bounds in the form of a Hadamard-type inequality by imposing the symmetric property on quasiconvex functions. Finally, by defining the convolution of two functions we obtain a modulus inequality. All these results hold for almost all kinds of associated fractional and conformable integral operators. Also, some very particular cases of the proved results are already published in [4, 9, 27], and connection with them is stated in remarks.

2 Main results

Theorem 1

Let $f:[a,b]\longrightarrow \mathbb{R}$be a positive integrable quasiconvex function. Let $g:[a,b]\longrightarrow \mathbb{R}$be a differentiable and strictly increasing function, let $\frac{\phi }{x}$be an increasing function on $[a,b]$, and let $g' \in L [a, b]$. If $\alpha , l, \gamma ,c \in \mathbb{C}$, $p, \mu ,\nu \geq 0$, $\delta \geq 0$, $0< k\leq \delta + \mu$, and $0< k\leq \delta + \nu$, then for $x\in (a,b)$, we have

$$\begin{aligned}& \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}}f \bigr) (x,\omega ; p) \leq M_{a}^{x}(f)\phi \bigl(g(x)-g(a)\bigr) E^{ \gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr), \end{aligned}$$

(2.1)

$$\begin{aligned}& \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b ^{-}}}f \bigr) (x,\omega ; p) \leq M_{x}^{b}(f) \phi \bigl(g(b)-g(x) \bigr)E^{ \gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(x) \bigr)^{\nu }; p\bigr), \end{aligned}$$

(2.2)

and hence

$$\begin{aligned} & \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}f \bigr) (x, \omega ; p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}f \bigr) (x, \omega ; p) \\ &\quad \leq M_{a}^{x}(f)\phi \bigl(g(x)-g(a) \bigr)E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a) \bigr)^{\mu }; p\bigr) \\ &\qquad {}+M_{x}^{b}(f)\phi \bigl(g(b)-g(x) \bigr)E^{\gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(x) \bigr)^{\nu }; p\bigr), \end{aligned}$$

(2.3)

where $M_{a}^{b}(f):=\max \lbrace {f(a),f(b)} \rbrace$.

Proof

Under the assumptions of the theorem, we can obtain the inequality

$$\begin{aligned} &\frac{\phi (g(x)-g(t))}{g(x)-g(t)}g'(t)E^{\gamma , \delta , k, c} _{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(t)E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\mu }; p\bigr);\quad t\in [a, x], x \in (a, b). \end{aligned}$$

(2.4)

By using $E^{\gamma , \delta , k, c}_{\mu , \alpha , l}(\omega (g(x)-g(t))^{ \mu }; p) \leq E^{\gamma , \delta , k, c}_{\mu , \alpha , l}( \omega (g(x)-g(a))^{\mu }; p)$ we get the following inequality:

$$\begin{aligned} &\frac{\phi (g(x)-g(t))}{g(x)-g(t)}g'(t)E^{\gamma , \delta , k, c} _{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(t)E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr). \end{aligned}$$

(2.5)

Using the quasiconvexity of f, for $t \in [a,x]$, we have $f(t)\leq M_{a}^{x}(f)$. Therefore we get the inequality

$$\begin{aligned} & \int _{a}^{x} \frac{\phi (g(x)-g(t))}{g(x)-g(t)}g'(t) f(t)E^{\gamma , \delta , k, c}_{\mu , \alpha , l, \omega ; g}\bigl(\omega \bigl(g(x)-g(t) \bigr)^{ \mu }; p\bigr)\,dt \\ &\quad \leq \frac{\phi (g(x)-g(a))}{g(x)-g(a)}E^{\gamma , \delta , k, c} _{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr)M_{a}^{x}(f) \int _{a} ^{x}g'(t)\,dt. \end{aligned}$$

By using (1.12) of Definition 6 on the left-hand side and integrating the right-hand side we obtain the inequality

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}}f \bigr) (x,\omega ; p) \leq M_{a}^{x}(f)\phi \bigl(g(x)-g(a)\bigr) E^{ \gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr). $$

(2.6)

Now, on the other hand, for $t \in (x, b]$, we have the following inequality:

$$\begin{aligned} &\frac{\phi (g(t)-g(x))}{g(t)-g(x)}g'(t)E^{\gamma , \delta , k, c} _{\mu , \alpha , l} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(x))}{g(b)-g(x)}g'(t)E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\mu }; p\bigr). \end{aligned}$$

(2.7)

By using $E^{\gamma , \delta , k, c}_{\mu , \alpha , l}(\omega (g(t)-g(x))^{ \mu }; p) \leq E^{\gamma , \delta , k, c}_{\nu , \alpha , l}( \omega (g(b)-g(x))^{\nu }; p)$ we get the inequality

$$\begin{aligned} &\frac{\phi (g(t)-g(x))}{g(t)-g(x)}g'(t)E^{\gamma , \delta , k, c} _{\mu , \alpha , l} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(x))}{g(b)-g(x)}g'(t)E^{\gamma , \delta , k, c}_{\nu , \alpha , l} \bigl(\omega \bigl(g(b)-g(x)\bigr)^{\nu }; p\bigr). \end{aligned}$$

(2.8)

Using the quasiconvexity of f, for $t\in [x, b]$, we also have $f(t)\leq M_{x}^{b}(f)$. From (2.8), using (1.13) of Definition 6, we obtain

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b ^{-}}}f \bigr) (x,\omega ; p) \leq M_{x}^{b}(f) \phi \bigl(g(b)-g(x) \bigr)E^{ \gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(x) \bigr)^{\nu }; p\bigr). $$

(2.9)

By adding (2.6) and (2.9) we can achieve (2.3). □

The following remark establishes connections with already known results.

Remark 1

• (i) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ in (2.3), then the result coincides with [9, Theorem 2.1].

• (ii) Under the same assumptions as we considered in (i), taking in addition $\mu =\nu$ in (2.3), the result coincides with [9, Corollary 2.2].

• (iii) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ in (2.3), then the result coincides with [9, Corollary 2.3].

• (iv) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.3), then the result coincides with [9, Corollary 2.4].

• (v) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.3), then the result coincides with [9, Corollary 2.5].

• (vi) Under the assumptions of (i), if f is increasing on $[a, b]$, then the result coincides with [9, Corollary 2.6].

• (vii) Under the assumptions of (i), if f is decreasing on $[a, b]$, then the result coincides with [9, Corollary 2.7].

• (viii) Further, if we take $\mu =\nu$ in the resulting inequality of (viii), then the result coincides with [27, Corollary 2.2].

Further consequences of Theorem 1 are studied in the following results.

Theorem 2

Under the assumption of Theorem 1, we have

$$\begin{aligned} & \bigl( {}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} \bigr) (b, \omega ;p)+ \bigl( {}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} \bigr) (a, \omega ;p) \\ &\quad \leq M_{a}^{b}(f) (\phi \bigl(g(b)-g(a)\bigr) \bigl(E^{\gamma , \delta , k, c}_{ \mu , \alpha , l}\bigl(\omega (b-a)^{\mu }; p \bigr)+E^{\gamma , \delta , k, c} _{\nu , \alpha , l}\bigl(\omega (b-a)^{\nu }; p\bigr) \bigr). \end{aligned}$$

(2.10)

Proof

By putting $x=b$ in (2.6) we obtain

$$ \bigl( {}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} \bigr) (b,\omega ;p)\leq M_{a}^{b}(f)\phi \bigl(g(b)-g(a) \bigr)E^{ \gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega (b-a)^{\mu }; p\bigr). $$

(2.11)

Similarly, by putting $x=a$ in (2.9) we obtain

$$ \bigl( {}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} \bigr) (a,\omega ;p)\leq M_{a}^{b}(f) \phi \bigl(g(b)-g(a) \bigr)E^{ \gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega (b-a)^{\nu }; p\bigr). $$

(2.12)

By adding (2.11) and (2.12) we obtain (2.10). □

Remark 2

• (i) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ in (2.10), then the result coincides with [9, Theorem 3.1].

• (ii) If we replace ω by $\omega '=\frac{\omega }{(b-a)^{ \mu }}$ and put $\phi (x)=x^{\mu }$ for the left-hand inequality, $\phi (x)=x^{\mu }$ for the right-hand one, and $g(x)=x$ in (2.10), then the result coincides with [27, Theorem 2.1].

• (iii) Under the same assumptions as in (i), if in addition we take $\mu =\nu$ in (2.10), then the result coincides with [9, Corollary 3.2].

• (iv) Further, if we put $\mu =k=1$ in (ii), then the result coincides with [4, Theorem 3.3].

Theorem 3

Under the assumptions of Theorem 1, if $f\in L_{\infty }[a, b]$, then the operators $({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} . )(x,\omega ;p), ({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} . )(x, \omega ;p): L_{\infty }[a, b] \to L_{\infty }[a, b]$defined in (1.12) and (1.13) are continuous. Also, we have

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}f \bigr) (x,\omega ; p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}f \bigr) (x,\omega ; p) \bigr\vert \leq 2K \Vert f \Vert _{\infty }, $$

(2.13)

where $K=\phi (g(b)-g(a)) E^{\gamma , \delta , k, c}_{\mu , \alpha , l}( \omega (g(b)-g(a))^{\mu }; p)$.

Proof

It is clear that $({}_{g}F^{\phi , \gamma , \delta , k, c}_{ \mu , \alpha , l, {a^{+}}} f )(x,\omega ;p)$ and $({}_{g}F ^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} f )(x, \omega ;p)$ are linear operators. Further, from (2.1) we have

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}f \bigr) (x,\omega ; p) \bigr\vert \leq \Vert f \Vert _{\infty }\phi \bigl(g(b)-g(a)\bigr) E^{\gamma , \delta , k, c}_{ \mu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a) \bigr)^{\mu }; p\bigr), $$

(2.14)

that is,

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}f \bigr) (x,\omega ; p) \bigr\vert \leq K \Vert f \Vert _{\infty }, $$

(2.15)

where $K=\phi (g(b)-g(a)) E^{\gamma , \delta , k, c}_{\mu , \alpha , l}( \omega (g(b)-g(a))^{\mu }; p)$. Therefore $({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} . )(x, \omega ;p)$ is bounded and hence continuous. Similarly, (2.2) gives

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}f \bigr) (x,\omega ; p) \bigr\vert \leq K \Vert f \Vert _{\infty }. $$

(2.16)

Therefore $({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}f )(x,\omega ; p)$ is bounded and hence continuous. From (2.15) and (2.16) we obtain (2.13). □

Remark 3

Theorem 2 provides the boundedness of all known operators defined in [2, 3, 6, 10, 13, 14, 18, 20, 21, 23, 25, 26]. Especially, the boundedness of the integral operator given in Definition 4, which is studied in [27].

To prove the next result, we need the following lemma.

Lemma 1

([8])

Let $f:[0, \infty )\rightarrow \mathbb{R}$be a quasiconvex function. If $f(x)=f(a+b-x)$, then for $x \in [a,b]$, we the inequality

$$ f \biggl(\frac{a+b}{2} \biggr)\leq f(x). $$

(2.17)

The following result provides upper and lower bounds of operators (1.12) and (1.13) in the form of Hadamard inequality.

Theorem 4

Under the assumptions of Theorem 1, if in addition $f(x)=f(a+b-x)$, $x\in [a,b]$, then we have

$$\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \bigl( \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} 1 \bigr) (a,\omega ;p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}} 1 \bigr) (b,\omega ;p) \bigr) \\ &\quad \leq \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} f \bigr) (a,\omega ;p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} f \bigr) (b,\omega ;p) \\ &\quad \leq M_{a}^{b}(f)\phi \bigl(g(b)-g(a) \bigr) \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a) \bigr)^{\mu }; p\bigr) \\ &\qquad {}+E^{\gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a) \bigr)^{ \nu }; p\bigr)\bigr), \end{aligned}$$

(2.18)

where $M_{a}^{b}(f):=\max \lbrace {f(a), f(b)} \rbrace$.

Proof

Under the assumptions of the theorem, we can obtain the inequality

$$\begin{aligned} &\frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x)E^{\gamma , \delta , k, c} _{\mu , \alpha , l}\bigl( \omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(a))}{g(x)-g(a)}g'(x)E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(b)-g(a)\bigr)^{\mu }; p\bigr). \end{aligned}$$

(2.19)

By using $E^{\gamma , \delta , k, c}_{\mu , \alpha , l}(\omega (g(x)-g(a))^{ \mu }; p)\leq E^{\gamma , \delta , k, c}_{\mu , \alpha , l}(\omega (g(b)-g(a))^{ \mu }; p)$ we get the inequality

$$\begin{aligned} &\frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x)E^{\gamma , \delta , k, c} _{\mu , \alpha , l} \bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(a))}{g(b)-g(a)}g'(x)E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega \bigl(g(b)-g(a)\bigr)^{\mu }; p\bigr). \end{aligned}$$

(2.20)

Using the quasiconvexity of f, for $x \in [a, b]$, we have $f(x)\leq M_{a}^{b}(f)$. Therefore we obtain the inequality

$$\begin{aligned} & \int _{a}^{b} \frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x) f(x)E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a) \bigr)^{\mu }; p\bigr)\,dx \\ &\quad \leq \frac{\phi (g(b)-g(a))}{g(b)-g(a)}E^{\gamma , \delta , k, c} _{\mu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a)\bigr)^{\mu }; p\bigr)M_{a}^{x}(f) \int _{a} ^{b}g'(x)\,dx. \end{aligned}$$

By using Definition 6 on the left-hand side and integrating the right-hand side we obtain the inequality

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}}f \bigr) (b,\omega ; p) \leq M_{a}^{b}\phi \bigl(g(b)-g(a)\bigr) E^{ \gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a)\bigr)^{\mu }; p\bigr). $$

(2.21)

On the other hand, for $x\in (a,b)$, we have the inequality

$$\begin{aligned} &\frac{\phi (g(b)-g(x))}{g(b)-g(x)}g'(x)E^{\gamma , \delta , k, c} _{\nu , \alpha , l} \bigl(\omega \bigl(g(b)-g(x)\bigr)^{\nu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(a))}{g(b)-g(a)}g'(x)E^{\gamma , \delta , k, c}_{\nu , \alpha , l} \bigl(\omega \bigl(g(b)-g(x)\bigr)^{\nu }; p\bigr). \end{aligned}$$

(2.22)

By using $E^{\gamma , \delta , k, c}_{\nu , \alpha , l}(\omega (g(b)-g(x))^{ \nu }; p)\leq E^{\gamma , \delta , k, c}_{\nu , \alpha , l}(\omega (g(b)-g(a))^{ \nu }; p)$ we get the inequality

$$\begin{aligned} &\frac{\phi (g(b)-g(x))}{g(b)-g(x)}g'(x)E^{\gamma , \delta , k, c} _{\nu , \alpha , l}\bigl( \omega \bigl(g(b)-g(x)\bigr)^{\nu }; p\bigr) \\ &\quad \leq \frac{\phi (g(b)-g(a))}{g(b)-g(a)}g'(x)E^{\gamma , \delta , k, c}_{\nu , \alpha , l} \bigl(\omega \bigl(g(b)-g(a)\bigr)^{\nu }; p\bigr). \end{aligned}$$

(2.23)

Adopting the same pattern of simplification as we did for (2.20), we can observe the following inequality for (2.23):

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b ^{-}}}f \bigr) (a,\omega ; p) \leq M_{a}^{b}(f)\phi \bigl(g(b)-g(a)\bigr) E^{ \gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a)\bigr)^{\nu }; p\bigr). $$

(2.24)

By adding (2.21) and (2.24) we arrive at the inequality

$$\begin{aligned} &\bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}f \bigr) (b, \omega ; p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}f \bigr) (a, \omega ; p) \\ &\quad \leq M_{a} ^{b}(f)\phi \bigl(g(b)-g(a)\bigr) \\ &\qquad {}\times \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(b)-g(a)\bigr)^{ \mu }; p\bigr)+ E^{\gamma , \delta , k, c}_{\nu , \alpha , l} \bigl(\omega \bigl(g(b)-g(a)\bigr)^{ \nu }; p\bigr)\bigr). \end{aligned}$$

(2.25)

Multiplying both sides of (2.17) by $\frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x) E^{\gamma , \delta , k, c} _{\mu , \alpha , l}(\omega (g(x)-g(a))^{\mu }; p)$ and integrating over $[a, b]$, we have

$$\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \int _{a}^{b} \frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x)E^{\gamma , \delta , k, c} _{\nu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr)\,dx \\ &\quad \leq \int _{a}^{b} \frac{\phi (g(x)-g(a))}{g(x)-g(a)}g'(x) f(x)E^{ \gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a) \bigr)^{\nu }; p\bigr)\,dx. \end{aligned}$$

From Definition 6 we obtain the inequality

$$ f \biggl(\frac{a+b}{2} \biggr) \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} 1 \bigr) (a,\omega ;p)\leq \bigl({}_{g}F ^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} f \bigr) (a, \omega ;p). $$

(2.26)

Similarly, multiplying both sides of (2.17) by $\frac{\phi (g(b)-g(x))}{g(b)-g(x)}g'(x) E^{\gamma , \delta , k, c} _{\mu , \alpha , l}(\omega (g(b)-g(x))^{\mu }; p)$ and integrating over $[a, b]$, we have

$$ f \biggl(\frac{a+b}{2} \biggr) \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} 1 \bigr) (b,\omega ;p)\leq \bigl({}_{g}F ^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} f \bigr) (b, \omega ;p). $$

(2.27)

By adding (2.26) and (2.27) we obtain the inequality

$$\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \bigl( \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} 1 \bigr) (a,\omega ;p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}} 1 \bigr) (b,\omega ;p) \bigr) \\ &\quad \leq \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}} f \bigr) (a, \omega ;p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} f \bigr) (b, \omega ;p). \end{aligned}$$

(2.28)

Using (2.25) and (2.28), we arrive at (2.18). □

The following remark establishes connections with already known results.

Remark 4

• (i) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ in (2.18), then the result coincides with [9, Theorem 2.16].

• (ii) Under the same assumptions as in (i), if in addition we take $\mu =\nu$ in (2.18), then the result coincides with [9, Corollary 2.17].

• (iii) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ in (2.18), then the result coincides with [9, Corollary 2.18].

• (iv) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.18), then the result coincides with [9, Corollary 2.19].

• (v) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.18), then the result coincides with [9, Corollary 2.20].

• (vi) Under the assumptions of (i), if f is increasing on $[a, b]$, then the result coincides with [9, Corollary 2.21].

• (vii) Under the assumptions of (i), if f is decreasing on $[a, b]$, then the result coincides with [9, Corollary 2.22].

Theorem 5

Let $f:[a,b]\longrightarrow \mathbb{R}$be a differentiable function such that $|f'|$is quasiconvex. Let $g:[a,b]\longrightarrow \mathbb{R}$be q differentiable strictly increasing function, and let $\frac{\phi }{x}$be an increasing function on $[a,b]$. If $\alpha , l, \gamma ,c \in \mathbb{C}$, $p, \mu , \nu \geq 0$, $\delta \geq 0$, $0< k\leq \delta + \mu$, and $0< k\leq \delta + \nu$, then for $x\in (a,b)$, we have

$$\begin{aligned} & \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}(f \ast g) \bigr) (x,\omega ; p)+ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}(f \ast g) \bigr) (x,\omega ; p) \bigr\vert \\ &\quad \leq \bigl(M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\phi \bigl(g(x)-g(a)\bigr)E^{\gamma , \delta , k, c} _{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr) \\ &\qquad {}+ M_{x}^{b}\bigl( \bigl\vert f' \bigr\vert \bigr)\phi \bigl(g(b)-g(x)\bigr)E^{\gamma , \delta , k, c} _{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(x)\bigr)^{\nu }; p\bigr) \bigr), \end{aligned}$$

(2.29)

where

$$\begin{aligned} & \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}(f\ast g) \bigr) (x, \omega ; p) \\ &\quad := \int _{a}^{x} \frac{\phi (g(x)-g(t))}{g(x)-g(t)} E^{\gamma , \delta , k, c}_{\mu , \alpha , l, \omega ; g}\bigl(\omega \bigl(g(x)-g(t)\bigr)^{ \mu }; p\bigr)f'(t)g'(t)\,dt, \\ & \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}(f\ast g) \bigr) (x, \omega ; p) \\ &\quad := \int _{x}^{a} \frac{\phi (g(t)-g(x))}{g(t)-g(x)} E^{\gamma , \delta , k, c}_{\mu , \alpha , l, \omega ; g}\bigl(\omega \bigl(g(t)-g(x)\bigr)^{ \mu }; p\bigr)f'(t)g'(t)\,dt, \end{aligned}$$

and $M_{a}^{b}(|f'|):=\max \lbrace {|f'(a)|, |f'(b)|} \rbrace$.

Proof

Let $x \in (a, b)$ and $t \in [a, x]$. Then using the quasiconvexity of $|f'|$, we have

$$ \bigl\vert f'(t) \bigr\vert \leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr). $$

(2.30)

Inequality (2.30) can be written as follows:

$$ -M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\leq f'(t)\leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr). $$

(2.31)

Let us consider the left-hand side inequality of (2.31),

$$ f'(t)\leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr). $$

(2.32)

Using (2.5) and (2.32), we obtain

$$\begin{aligned} & \int _{a}^{x} \frac{\phi (g(x)-g(t))}{g(x)-g(t)}g'(t) f'(t)E^{\gamma , \delta , k, c}_{\mu , \alpha , l, \omega ; g}\bigl(\omega \bigl(g(x)-g(t) \bigr)^{ \mu }; p\bigr)\,dt \\ &\quad \leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\frac{\phi (g(x)-g(a))}{g(x)-g(a)}E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{\mu }; p\bigr) \int _{a}^{x}g'(t)\,dt. \end{aligned}$$

By using (1.12) of Definition 6 on the left-hand side and integrating on the right-hand one, we obtain the inequality

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}}(f\ast g) \bigr) (x,\omega ; p) \leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\phi \bigl(g(x)-g(a)\bigr)E ^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{ \mu }; p\bigr). $$

(2.33)

Considering the left-hand side of inequality (2.31) and adopting the same pattern as we did for the right-hand side inequality, we have

$$ \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a ^{+}}}(f\ast g) \bigr) (x,\omega ; p) \geq -M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\phi \bigl(g(x)-g(a)\bigr)E ^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{ \mu }; p\bigr). $$

(2.34)

From (2.33) and (2.34) we get the inequality

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}(f \ast g) \bigr) (x; p) \bigr\vert \leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr)\phi \bigl(g(x)-g(a)\bigr)E ^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega \bigl(g(x)-g(a)\bigr)^{ \mu }; p\bigr). $$

(2.35)

Now using the quasiconvexity of $|f'|$ on $[x, b]$, for $x\in (a, b)$, we have

$$ \bigl\vert f'(t) \bigr\vert \leq M_{x}^{b}\bigl( \bigl\vert f' \bigr\vert \bigr). $$

(2.36)

Similarly to (2.5) and (2.30), we can get following inequality from (2.8) and (2.36):

$$ \bigl\vert \bigl({}_{g}F^{\phi , \gamma , \delta , k, c}_{\nu , \alpha , l, {b^{-}}}(f \ast g) \bigr) (x,\omega ; p) \bigr\vert \leq M_{x}^{b} \bigl( \bigl\vert f' \bigr\vert \bigr) \phi \bigl(g(b)-g(x) \bigr)E^{\gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega \bigl(g(b)-g(x) \bigr)^{\nu }; p\bigr). $$

(2.37)

By adding (2.35) and (2.37) we arrive at (2.29). □

The following remark establishes connections with already known results.

Remark 5

• (i) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ in (2.29), then the result coincides with [9, Theorem 2.8].

• (ii) Under the same assumptions as in (i), if in addition we take $\mu =\nu$ in (2.29), then the result coincides with [9, Corollary 2.9].

• (iii) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ in (2.29), then the result coincides with [9, Corollary 2.10].

• (iv) If we put $\phi (x)=x^{\frac{\mu }{k}}$ for the left-hand integral and $\phi (x)=x^{\frac{\nu }{k}}$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.29), then the result coincides with [9, Corollary 2.11].

• (v) If we put $\phi (x)=x^{\mu }$ for the left-hand integral and $\phi (x)=x^{\nu }$ for the right-hand one and $\omega =p=0$ and $g(x)=x$ in (2.29), then the result coincides with [9, Corollary 2.12].

• (vi) Under the assumptions of (i), if f is increasing on $[a, b]$, then the result coincides with [9, Corollary 2.13].

• (vii) Under the assumptions of (i), if f is decreasing on $[a, b]$, then the result coincides with [9, Corollary 2.14].

• (viii) Under the same assumptions as in (i), if in addition we put $x=a$ in the left-hand integral and $x=b$ in the right-hand one, then the result coincides with [9, Theorem 3.2].

• (ix) Further, if we put $\mu =\nu$ in the resulting inequality obtained from (viii), then the result coincides with [9, Corollary 3.5].

• (x) If we put $\mu =k=1$ in the resulting inequality of (ix), then the result coincides with [9, Corollary 3.5].

3 Results for fractional integral operators containing Mittag-Leffler functions

In this section, by applying main theorems we compute results for the generalized fractional integral operators containing Mittag-Leffler functions.

Theorem 6

Under the assumptions of Theorem 1, we have the following inequality for the generalized integral operator containing a Mittag-Leffler function:

$$\begin{aligned} & \bigl( \epsilon _{\mu ,\alpha ,l,\omega ,a^{+}}^{\gamma ,\delta ,k,c}f \bigr) (x,\omega ;p)+ \bigl( \epsilon _{\nu ,\alpha ,l,\omega ,b^{-}} ^{\gamma ,\delta ,k,c}f \bigr) (x,\omega ;p) \\ &\quad \leq M_{a}^{x}(f) (x-a)^{\mu }E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega (x-a)^{ \mu }; p\bigr)+ M_{x}^{b}(f) (b-x)^{\nu }E^{\gamma , \delta , k, c}_{\nu , \alpha , l}\bigl(\omega (b-x)^{\nu }; p\bigr). \end{aligned}$$

(3.1)

Proof

By putting $\phi (x)=x^{\mu }$ and $g(x)=x$ in (2.1) we get the following upper bound for the left-sided generalized fractional integral operator containing a Mittag-Leffler function:

$$\begin{aligned} & \bigl( \epsilon _{\mu ,\alpha ,l,\omega ,a^{+}}^{\gamma ,\delta ,k,c}f \bigr) (x, \omega ;p)\leq M_{a}^{x}(f) (x-a)^{\mu }E^{\gamma , \delta , k, c}_{\mu , \alpha , l} \bigl(\omega (x-a)^{\mu }; p\bigr). \end{aligned}$$

(3.2)

Similarly, from (2.2) we get the following upper bound for the right-sided generalized fractional integral operator containing a Mittag-Leffler function:

$$\begin{aligned} & \bigl( \epsilon _{\nu ,\alpha ,l,\omega ,b^{-}}^{\gamma ,\delta ,k,c}f \bigr) (x, \omega ;p)\leq M_{x}^{b}(f) (b-x)^{\nu }E^{\gamma , \delta , k, c}_{\nu , \alpha , l} \bigl(\omega (b-x)^{\nu }; p\bigr). \end{aligned}$$

(3.3)

By adding (3.1) and (3.2) we arrive at (3.3). □

Theorem 7

Under the assumptions of Theorem 4, we have the following Hadamard inequality for the generalized integral operator containing a Mittag-Leffler function:

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

(3.4)

Proof

By putting $\phi (x)=x^{\mu }$ for the left-hand integral, $\phi (x)=x ^{\nu }$ for the right-hand one, and $g(x)=x$ in (2.18), we get the inequality for the left-sided generalized fractional integral operator containing a Mittag-Leffler function. □

Theorem 8

Under the assumptions of Theorem 5, we have the following modulus inequality for the generalized integral operator containing a Mittag-Leffler function:

$$\begin{aligned} & \bigl\vert \bigl( \epsilon _{\mu ,\alpha ,l,\omega ,a^{+}}^{\gamma , \delta ,k,c}f \bigr) (x,\omega ;p)+ \bigl( \epsilon _{\nu ,\alpha ,l,\omega ,b^{-}}^{\gamma ,\delta ,k,c}f \bigr) (x, \omega ;p) \bigr\vert \\ &\quad \leq M_{a}^{x}\bigl( \bigl\vert f' \bigr\vert \bigr) (x-a)^{\mu }E^{\gamma , \delta , k, c}_{\mu , \alpha , l}\bigl(\omega (x-a)^{ \mu }; p\bigr)+ M_{x}^{b}\bigl( \bigl\vert f' \bigr\vert \bigr) (b-x)^{\nu }E^{\gamma , \delta , k, c}_{ \mu , \alpha , l} \bigl(\omega (b-x)^{\mu }; p\bigr). \end{aligned}$$

(3.5)

Proof

By putting $\phi (x)=x^{\mu }$ for the left-hand integral, $\phi (x)=x ^{\nu }$ for the right-hand one, and $g(x)=x$ in (2.29) we get the above-mentioned inequality for the left-sided generalized fractional integral operator containing a Mittag-Leffler function. □

4 Concluding remarks

In this paper, we identify upper and lower bounds of various kinds of fractional and conformable integral operators of quasiconvex functions in compact and unified forms. They also ensure the boundedness and continuity of these operators. Some of the results are identified in remarks of Sect. 2 and theorems of Sect. 3 to establish the connection with already published results. The reader can deduce the results for other known fractional and conformable integral operators associated with unified integral operators (1.12) and (1.13).