Skip to main content

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

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, 1315, 18, 20, 21, 2326] 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.

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

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

  2. (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].

  3. (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].

  4. (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].

  5. (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].

  6. (vi)

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

  7. (vii)

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

  8. (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

  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.10), then the result coincides with [9, Theorem 3.1].

  2. (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].

  3. (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].

  4. (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

  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.18), then the result coincides with [9, Theorem 2.16].

  2. (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].

  3. (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].

  4. (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].

  5. (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].

  6. (vi)

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

  7. (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

  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.29), then the result coincides with [9, Theorem 2.8].

  2. (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].

  3. (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].

  4. (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].

  5. (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].

  6. (vi)

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

  7. (vii)

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

  8. (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].

  9. (ix)

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

  10. (x)

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

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. □

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

References

  1. 1.

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

    MathSciNet  MATH  Article  Google Scholar 

  2. 2.

    Chen, H., Katugampola, U.N.: Hermite–Hadamard and Hermite–Hadamard–Fejér type inequalities for generalized fractional integrals. J. Math. Anal. Appl. 446, 1274–1291 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  3. 3.

    Dragomir, S.S.: Inequalities of Jensen’s type for generalized kg-fractional integrals of functions for which the composite \(f \circ g^{-1}\) is convex. Fract. Differ. Calc. 8(1), 127–150 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  4. 4.

    Dragomir, S.S., Pearce, C.E.M.: Quasi-convex functions and Hadamard’s inequality. Bull. Aust. Math. Soc. 57, 377–385 (1998)

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

    Dragomir, S.S., Pečarić, J.E., Persson, L.E.: Some inequalities of Hadamard type. Soochow J. Math. 21, 335–341 (1995)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Farid, G.: Existence of an integral operator and its consequences in fractional and conformable integrals. Open J. Math. Sci. 3(3), 210–216 (2019)

    Article  Google Scholar 

  7. 7.

    Farid, G.: A unified integral operator and further its consequences. Open J. Math. Anal. 4(1), 1–7 (2020)

    Google Scholar 

  8. 8.

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

    MathSciNet  MATH  Article  Google Scholar 

  9. 9.

    Farid, G., Jung, C.Y., Ullah, S., Nazeer, W., Waseem, M., Kang, S.M.: Some generalized k-fractional integral inequalities for quasi-convex functions. J. Comput. Anal. Appl. (in press)

  10. 10.

    Habib, S., Mubeen, S., Naeem, M.N.: Chebyshev type integral inequalities for generalized k-fractional conformable integrals. J. Inequal. Spec. Funct. 9(4), 53–65 (2018)

    MathSciNet  Google Scholar 

  11. 11.

    Hussain, R., Ali, A., Latif, A., Gulshan, G.: Some k-fractional associates of Hermite–Hadamard’s inequality for quasi-convex functions and applications to special means. Fract. Differ. Calc. 7(2), 301–309 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Ion, D.A.: Some estimates on the Hermite–Hadamard inequality through quasi-convex functions. An. Univ. Craiova, Ser. Mat. Inform. 34, 82–87 (2007)

    MathSciNet  Google Scholar 

  13. 13.

    Jarad, F., Ugurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017)

    MathSciNet  MATH  Article  Google Scholar 

  14. 14.

    Khan, T.U., Khan, M.A.: Generalized conformable fractional operators. J. Comput. Appl. Math. 346, 378–389 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  15. 15.

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

    Google Scholar 

  16. 16.

    Kwun, Y.C., Farid, G., Nazeer, W., Ullah, S., Kang, S.M.: Generalized Riemann–Liouville k-fractional integrals associated with Ostrowski type inequalities and error bounds of Hadamard inequalities. IEEE Access 6, 64946–64953 (2018)

    Article  Google Scholar 

  17. 17.

    Kwun, Y.C., Farid, G., Ullah, S., Nazeer, W., Mahreen, K., Kang, S.M.: Inequalities for a unified integral operator and associated results in fractional calculus. IEEE Access 7, 126283–126292 (2019)

    Article  Google Scholar 

  18. 18.

    Mubeen, S., Habibullah, G.M.: k-Fractional integrals and applications. Int. J. Contemp. Math. Sci. 7(2), 89–94 (2012)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Mubeen, S., Rehman, A.: A note on k-gamma function and Pochhammer k-symbol. J. Math. Sci. 6(2), 93–107 (2014)

    Google Scholar 

  20. 20.

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

    MathSciNet  Google Scholar 

  21. 21.

    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 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  22. 22.

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

    Google Scholar 

  23. 23.

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

    Google Scholar 

  24. 24.

    Sarikaya, M.Z., Dahmani, M., Kiris, M.E., Ahmad, F.: \((k, s)\)-Riemann–Liouville fractional integral and applications. Hacet. J. Math. Stat. 45(1), 77–89 (2016). https://doi.org/10.15672/HJMS.20164512484

    MathSciNet  MATH  Article  Google Scholar 

  25. 25.

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

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Tunc, T., Budak, H., Usta, F., Sarikaya, M.Z.: On new generalized fractional integral operators and related fractional inequalities. https://www.researchgate.net/publication/313650587

  27. 27.

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

    MathSciNet  MATH  Article  Google Scholar 

Download references

Acknowledgements

We thank to the editor and referees for their careful reading and valuable suggestions to make the paper friendly readable. 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 are no additional data required for finding the results of this paper.

Funding

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

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Ghulam Farid.

Ethics declarations

Competing interests

We declared that we have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhao, D., Farid, G., Zeb, M. et al. On boundedness of unified integral operators for quasiconvex functions. Adv Differ Equ 2020, 38 (2020). https://doi.org/10.1186/s13662-020-2511-8

Download citation

Keywords

  • Quasiconvex function
  • Integral operators
  • Fractional integral operators
  • Conformable integral operators
  • Boundedness