Skip to main content

Refinements of some integral inequalities for unified integral operators

Abstract

In this paper we are presenting the refinements of integral inequalities established for convex functions. Consequently, we get refinements of several fractional integral inequalities for different kinds of fractional integral operators.

Introduction

Integral operators are very useful in the theory of differential equations and boundary value problems. They are applied to formulate and solve mathematical models of real world problems; nowadays fractional integral operators are frequently studied to extend and generalize classical subjects. Fractional integral operators have converted the classical notions into modern concepts. In the recent past, fractional integral operators were utilized extensively to study the classical inequalities, see [2, 3, 6, 8, 9, 13, 14, 1618, 20, 22] and the references therein.

The aim of this paper is to give several integral inequalities for strongly convex functions, resulting in refinements of the integral inequalities presented in [16], also [8, 9, 12]. For this purpose, we will need the following integral operators:

Definition 1

([15])

Let \(\tau _{1}:[a,b]\rightarrow \mathbb{R}\) be an integrable function. Also let \(\tau _{2}\) be an increasing and positive function on \((a, b]\), having a continuous derivative \(\tau '_{2}\) on \((a,b)\). The left- and right-sided fractional integrals of a function \(\tau _{1}\) with respect to another function \(\tau _{2}\) on \([a, b]\) of order μ where \(\Re (\mu )>0\) are defined by:

$$ {}_{\tau _{2}}^{\mu }I_{a^{+}}\tau _{1}(x)=\frac{1}{\Gamma ({\mu })} \int _{a}^{x}\bigl( \tau _{2}(x)-\tau _{2}(t)\bigr)^{{\mu }-1}\tau '_{2}(t)\tau _{1}(t)\,dt,\quad x>a, $$
(1.1)

and

$$ {}_{\tau _{2}}^{\mu }I_{b^{-}}\tau _{1}(x)=\frac{1}{\Gamma ({\mu })} \int _{x}^{b}\bigl( \tau _{2}(t)-\tau _{2}(x)\bigr)^{{\mu }-1}\tau '_{2}(t)\tau _{1}(t)\,dt,\quad x< b, $$
(1.2)

where \(\Gamma (\cdot )\) is the gamma function.

A k-analogue of the above definition is defined as follows:

Definition 2

([1])

Let \(\tau _{1}:[a,b]\rightarrow \mathbb{R}\) be an integrable function. Also let \(\tau _{2}\) be an increasing and positive function on \((a, b]\), having a continuous derivative \(\tau '_{2}\) on \((a,b)\). The left- and right-sided fractional integrals of a function \(\tau _{1}\) with respect to another function \(\tau _{2}\) on \([a, b]\) of order \({\mu }; \Re (\mu ), k>0\) are defined by:

$$\begin{aligned}& {}_{\tau _{2}}^{\mu }I^{k}_{a^{+}}\tau _{1}(x)= \frac{1}{k\Gamma _{k}({\mu })} \int _{a}^{x}\bigl(\tau _{2}(x)-\tau _{2}(t)\bigr)^{ \frac{\mu }{k}-1}\tau '_{2}(t)\tau _{1}(t)\,dt,\quad x>a, \end{aligned}$$
(1.3)
$$\begin{aligned}& {}_{\tau _{2}}^{\mu }I^{k}_{b^{-}}\tau _{1}(x)= \frac{1}{k\Gamma _{k}({\mu })} \int _{x}^{b}\bigl(\tau _{2}(t)-\tau _{2}(x)\bigr)^{ \frac{\mu }{k}-1}\tau '_{2}(t)\tau _{1}(t)\,dt,\quad x< b, \end{aligned}$$
(1.4)

where \(\Gamma _{k}(\cdot )\) is defined by [5]

$$ \Gamma _{k}(x)= \int _{0}^{\infty }t^{x-1}e^{-\frac{t^{k}}{k}} \,dt,\quad \Re (x)>0. $$
(1.5)

The integral operators (1.3) and (1.4) produce several fractional integral operators, see [16, Remark 1]. A well-known Mittag-Leffler function is defined by [19]

$$ E_{\alpha }(z)=\sum_{n=0}^{\infty } \frac{z^{n}}{\Gamma (\alpha n+1)}, $$
(1.6)

where \(\alpha ,z\in \mathbb{C}\) and \(\Re {(\alpha )} > 0\).

This function has been extended and generalized in several different ways. In the following, we give a definition of an extended Mittag-Lefffler function with its corresponding fractional integral operator.

Definition 3

([2])

Let \(\omega , \mu , \alpha , l, \gamma , c\in \mathbb{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 \(\tau _{1}\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}\tau _{1} \) and \(\epsilon _{\mu ,\alpha ,l,\omega ,b^{-}}^{\gamma ,\delta ,k,c}\tau _{1}\) are defined by:

$$\begin{aligned}& \bigl( \epsilon _{\mu ,\alpha ,l,\omega ,a^{+}}^{\gamma ,\delta ,k,c} \tau _{1} \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)\tau _{1}(t)\,dt, \end{aligned}$$
(1.7)
$$\begin{aligned}& \bigl( \epsilon _{\mu ,\alpha ,l,\omega ,b^{-}}^{\gamma ,\delta ,k,c} \tau _{1} \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)\tau _{1}(t)\,dt, \end{aligned}$$
(1.8)

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

is the extended Mittag-Leffler function.

Recently, a unified integral operator was defined, which unifies several fractional integrals in a compact formula as follows:

Definition 4

([11])

Let \(\tau _{1}, \tau _{2}:[a,b]\longrightarrow \mathbb{R}\), \(0< a< b\), be functions such that \(\tau _{1}\) is positive and \(\tau _{1}\in L_{1}[a, b]\) and \(\tau _{2}\) is differentiable and strictly increasing. Also let \(\frac{\phi }{x}\) be an increasing function on \([a,\infty )\) and \(\alpha , l, \gamma , c \in \mathbb{C}\), \(\Re (\alpha ), \Re (l)>0\), \(\Re (c)>\Re (\gamma )>0\), \(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({}_{\tau _{2}}F_{\mu , \alpha , l, {a^{+}}}^{\phi , \gamma , \delta , k, c}\tau _{1}\bigr) (x,\omega ;p)= \int _{a}^{x}K_{x}^{y} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau _{1}(y)\,d\bigl(\tau _{2}(y)\bigr), \end{aligned}$$
(1.10)
$$\begin{aligned}& \bigl({}_{\tau _{2}}F_{\mu , \alpha , l, {b^{-}}}^{\phi , \gamma , \delta , k, c}\tau _{1}\bigr) (x,\omega ;p) = \int _{x}^{b}K_{y}^{x} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau _{1}(y)\,d\bigl(\tau _{2}(y)\bigr), \end{aligned}$$
(1.11)

where \(K_{x}^{y}(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2}; \phi )= \frac{\phi (\tau _{2}(x)-\tau _{2}(y))}{\tau _{2}(x)-\tau _{2}(y)}E^{ \gamma , \delta , k, c}_{\mu , \alpha , l}(\omega (\tau _{2}(x)-\tau _{2}(y))^{ \mu }; p)\).

For suitable settings of functions ϕ, \(\tau _{2}\) and certain values of parameters included in Mittag-Leffler function (1.9), very interesting consequences are obtained which are described in [16, Remarks 6 & 7].

The objective of this paper is to obtain some inequalities for unified integral operators via strongly convex functions.

Definition 5

A function \(\tau _{1}:I\rightarrow \mathbb{R}\), where I is an interval in \(\mathbb{R}\), is said to be convex if

$$ \tau _{1}\bigl(tx+(1-t)y\bigr)\leq t\tau _{1}(x)+(1-t)\tau _{1}(y) $$
(1.12)

holds for all \(x,y\in I\) and \(t\in [0,1]\).

The following well-known Hadamard inequality holds for convex functions:

Definition 6

([7])

Let \(\tau _{1}: I \to \mathbb{R}\) be a convex function on an interval \(I\subset \mathbb{R}\) and \(a,b \in I \) where \(a < b\). Then

$$ \tau _{1} \biggl(\frac{a+b}{2} \biggr)\leq \frac{1}{b-a} \int _{a}^{b} \tau _{1}(t)\,dt\leq \frac{\tau _{1}(a)+\tau _{1}(b)}{2} $$

holds.

Definition 7

([21])

Let I be a nonempty convex subset of the normed space X. A real valued function \(\tau _{1}\) is said to be strongly convex with modulus \(G>0\) on I if for each \(a,b \in I\) and \(t \in [0,1]\),

$$ \tau _{1}\bigl(tx+(1-t)y\bigr)\leq t\tau _{1}(x)+(1-t)\tau _{1}(y)-G t(1-t) \Vert b-a \Vert ^{2}. $$
(1.13)

In the following, we give some results which are directly linked with the main findings of this paper. The following bounds of unified integral operators for convex functions are established in [16]:

Theorem 1

Let \(\tau _{1}:[a,b]\longrightarrow \mathbb{R}\) be a positive integrable convex function with \(m\in (0,1]\). Let \(\tau _{2}:[a,b]\longrightarrow \mathbb{R}\) be differentiable and strictly increasing function, also let \(\frac{\phi }{x}\) be an increasing function on \([a,b]\). If \(\alpha , l, \gamma , c \in \mathbb{C}\), \(\Re (\alpha ), \Re (l)>0\), \(\Re (c)>\Re (\gamma )>0\), \(p, \mu , \delta \geq 0\), and \(0< k\leq \delta + \mu \), then for \(x\in (a,b)\) we have

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}\tau _{1} \bigr) (x,\omega ; p)+ \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} \tau _{1} \bigr) (x, \omega ; p) \\ & \quad \leq K_{x}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr) \bigl(\bigl(\tau _{2}(x)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(x)+\tau _{1}(a) \bigr)\bigr) \\ &\qquad{}+K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2}; \phi \bigr) \bigl(\bigl(\tau _{2}(b)-\tau _{2}(x)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(x) \bigr) \bigr). \end{aligned}$$
(1.14)

The following Hadamard inequality for unified fractional integrals is proved in [16]:

Theorem 2

Under the assumptions of Theorem 1, in addition if \(\tau _{1}(x)=\tau _{1} (a+b-x )\), then we have

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

The following modulus inequality is obtained for unified integrals in [16].

Theorem 3

Let \(\tau _{1}:[a,b]\longrightarrow \mathbb{R}\) be a differentiable function. Let \(|\tau '_{1}|\) be convex with \(m\in (0,1]\) and \(\tau _{2}:[a,b]\longrightarrow \mathbb{R}\) be differentiable and strictly increasing function, also let \(\frac{\phi }{x}\) be an increasing function on \([a,b]\). If \(\alpha , l, \gamma , c \in \mathbb{C}\), \(\Re (\alpha ), \Re (l)>0\), \(\Re (c)>\Re (\gamma )>0\), \(p, \mu , \delta \geq 0\), and \(0< k\leq \delta + \mu \), then for \(x\in (a,b)\) we have

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

where

$$\begin{aligned}& \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}\tau _{1}\ast \tau _{2} \bigr) (x,\omega ; p):= \int _{a}^{x}K_{x}^{t} \bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau '_{1}(t)\,d\bigl( \tau _{2}(t)\bigr), \\& \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}}\tau _{1}\ast \tau _{2} \bigr) (x,\omega ; p):= \int _{x}^{b}K_{t}^{x} \bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau '_{1}(t)\,d\bigl( \tau _{2}(t)\bigr). \end{aligned}$$

In the upcoming section, we establish the bounds of a unified integral operator using strongly convexity. An Hadamard inequality is obtained for these integral operators via strongly convex function. A modulus inequality is obtained for differentiable functions by utilizing strongly convexity of \(|\tau '_{1}|\) for unified integral operators. Furthermore, refinements of results given in [8, 16] are identified. In the whole paper we will use

$$ I(a,b,\tau _{2})=:\frac{1}{b-a} \int _{a}^{b}\tau _{2}(t)\,dt. $$

Main results

Bounds of unified integral operators (1.10) and (1.11) are studied in the following result:

Theorem 4

Let \(\tau _{1}:[a,b]\longrightarrow \mathbb{R}\) be a positive, integrable and strongly convex function with \(m\in (0,1]\). Let \(\tau _{2}:[a,b]\longrightarrow \mathbb{R}\) be differentiable and strictly increasing function, also let \(\frac{\phi }{x}\) be an increasing function on \([a,b]\). If \(\alpha ,\beta , l, \gamma , c \in \mathbb{C}\), \(\Re (\alpha ), \Re (l)>0\), \(\Re (c)>\Re (\gamma )>0\), \(p, \mu , \delta \geq 0\), and \(0< k\leq \delta + \mu \), then for \(x\in (a,b)\) we have

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}\tau _{1} \bigr) (x,\omega ; p)+ \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {b^{-}}} \tau _{1} \bigr) (x, \omega ; p) \\ & \quad \leq K_{x}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr) \bigl(\bigl(\tau _{2}(x)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(x)+\tau _{1}(a) \bigr) \\ &\qquad{}-G(x-a) \bigl(2I(a,x,I_{d}\tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr) \\ &\qquad{}+K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2}; \phi \bigr) \bigl(\bigl(\tau _{2}(b)-\tau _{2}(x)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(x) \bigr) \\ &\qquad{}-G(b-x) \bigl(2I(x,b,I_{d}\tau _{2})-(x+b)I(x,b,\tau _{2}) \bigr) \bigr), \end{aligned}$$
(2.1)

where \(I_{d}\) is the identity function.

Proof

Let \(t\in (a,x)\). Then the following inequality holds:

$$ K_{x}^{t}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr)\tau '_{2}(t)\leq K_{x}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau '_{2}(t),\quad x\in (a,b). $$
(2.2)

Since \(\tau _{1}\) is a strongly convex function, for \(\tau _{1}\) the following inequality holds true:

$$ \tau _{1}(t)\leq \biggl(\frac{x-t}{x-a} \biggr)\tau _{1}(a)+ \biggl( \frac{t-a}{x-a} \biggr)\tau _{1}(x)-G(x-t) (t-a). $$
(2.3)

Multiplying (2.2) with (2.3) and integrating over \([a, x]\), one can obtain

$$\begin{aligned} & \int _{a}^{x} K_{x}^{t} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr) \tau _{1}(t)\,d\bigl(\tau _{2}(t)\bigr)\\ &\quad \leq K_{x}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \biggl(\tau _{1}(a) \int _{a}^{x} \biggl(\frac{x-t}{x-a} \biggr) \, d\bigl(\tau _{2}(t)\bigr)+\tau _{1}(x) \int _{a}^{x} \biggl( \frac{t-a}{x-a} \biggr)\,d \bigl(\tau _{2}(t)\bigr)\\ &\qquad {}-G \int _{a}^{x}(x-t) (t-a)\,d\bigl( \tau _{2}(t)\bigr) \biggr). \end{aligned}$$

By using (1.10) of Definition 4 and integrating by parts, the following inequality is obtained:

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}\tau _{1} \bigr) (x,\omega ; p)\\ &\quad \leq K_{x}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \bigl( \bigl(\tau _{2}(x)- \tau _{2}(a)\bigr) \\ &\qquad{}\times \bigl(\tau _{1}(x)+\tau _{1}(a)\bigr)\bigr)-G(x-a) \bigl(2I(a,x,I_{d} \tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.4)

On the other hand, the following inequality holds true:

$$ K_{x}^{t}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr)\tau '_{2}(t)\leq K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr)\tau '_{2}(t),\quad x\in (a,b). $$
(2.5)

Using strongly convexity of \(\tau _{1}\), we have

$$ \tau _{1}(t)\leq \biggl(\frac{t-x}{b-x} \biggr)\tau _{1}(b)+ \biggl( \frac{b-t}{b-x} \biggr)\tau _{1}(x)-G(t-x) (b-t). $$
(2.6)

Adopting the same procedure as we did for (2.2) and (2.3), the following inequality from (2.5) and (2.6) can be obtained:

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {b^{-}}}\tau _{1} \bigr) (x,\omega ; p)\\ &\quad \leq K_{b}^{x} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr) \\ & \qquad {}\times\bigl(\bigl(\tau _{2}(b)-\tau _{2}(x)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(x)\bigr)-G(b-x) \bigl(2I(x,b,I_{d}\tau _{2})-(x+b)I(x,b,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.7)

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

Remark 1

(i) If we take \(G=0\) in (2.1), then (1.14) is obtained. In other words, (2.1) provides a refinement of (1.14).

(ii) If we take \(\phi (t)= \frac{\Gamma (\alpha ) t^{\frac{\alpha }{k}}}{k\Gamma _{k}(\alpha )}\), \(G=0\), \(\tau _{2}(x)=x\), and \(p=\omega =0\) in (1.14), then [9, Theorem 1] is obtained. For \(G\neq 0\), we get its refinement.

(iii) If we take \(\alpha =\beta \) in the result of (ii), then [9, Corollary 1] is obtained. For \(G\neq 0\), we get its refinement.

(iv) If we take \(\phi (t)= \frac{\Gamma (\alpha ) t^{\frac{\alpha }{k}}}{k\Gamma _{k}(\alpha )}\), \(G=0\), and \(p=\omega =0\) in (1.14), then [12, Theorem 6] is obtained. For \(G\neq 0\), we get its refinement.

(v) If we take \(\alpha =\beta \) in the result of (iv), then [12, Corollary 7] is obtained. For \(G\neq 0\), we get its refinement.

(vi) If we take \(\phi (t)=\Gamma (\alpha ) t^{\alpha }\), \(G=0\), and \(\tau _{2}(t)=t\) in (1.14), then [4, Corollary 1] is obtained. For \(G\neq 0\), we get its refinement.

Corollary 1

If we take \(\phi (t)=\Gamma (\alpha )t^{\alpha }\), \(p=\omega =0\) in (2.1), then the following inequality is obtained for fractional integral operators defined in [15]:

$$\begin{aligned} & \Gamma (\alpha ) I_{a^{+}}^{\alpha , \tau _{2}}\tau _{1}(x)+\Gamma ( \beta ) I_{b^{-}}^{\beta , \tau _{2}}\tau _{1}(x) \\ &\quad \leq \bigl(\tau _{2}(x)-\tau _{2}(a) \bigr)^{\alpha -1} \bigl(\bigl(\tau _{1}(x) \tau _{2}(x)- \tau _{1}(a)\tau _{2}(a)\bigr)-\bigl(\tau _{1}(x)-\tau _{1}(a)\bigr)I(a,x, \tau _{2}) \bigr) \\ &\qquad{}+\bigl(\tau _{2}(b)-\tau _{2}(x) \bigr)^{\beta -1} \bigl(\bigl(\tau _{1}(b)\tau _{2}(b)- \tau _{1}(x)\tau _{2}(x)\bigr)-\bigl(\tau _{1}(b)-\tau _{1}(x)\bigr)I(x,b,g) \bigr) \\ &\qquad{}-G(\bigl(\tau _{2}(b)-\tau _{2}(x) \bigr)^{\beta -1}(b-x) (2I(x,b,I_{d}\tau _{2})-(x+b)I(x,b, \tau _{2}) \\ &\qquad{}+\bigl(\tau _{2}(x)-\tau _{2}(a) \bigr)^{\alpha -1}(x-a) \bigl(2I(a,x,I_{d}\tau _{2})-(x+a)I(a,x, \tau _{2})\bigr). \end{aligned}$$
(2.8)

Remark 2

(i) If we take \(G=0\) and \(\alpha =\beta \) in (2.8), then [13, Theorem 1] is obtained. For \(G\neq 0\), we get its refinement.

(ii) If \(\alpha =\beta \) in the result of (i), then [13, Corollary 1] is obtained. For \(G\neq 0\), we get its refinement.

(iii) If we take \(\tau _{2}(x)=x\) and \(G=0\) in (2.8), then [8, Theorem 1] is obtained. For \(G\neq 0\), we get its refinement.

(iv) If we take \(\alpha =\beta \) in the result of (iii), then [8, Corollary 1] is obtained. For \(G\neq 0\), we get its refinement.

(v) If we take \(\alpha =\beta =1\) and \(x=a \) or \(x=b\) in the result of (iv), then [8, Corollary 2] is obtained. For \(G\neq 0\), we get its refinement.

(vi) If we take \(\alpha =\beta =1\) and \(x=\frac{a+b}{2}\) in the result of (iv), then [8, Corollary 3] is obtained. For \(G\neq 0\), we get its refinement.

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

Lemma 1

Let \(\tau _{1}:[a,b]\to \mathbb{R}\) be a strongly convex function. If \(\tau _{1}\) is symmetric about \(\frac{a+b}{2}\), then the following inequality holds true:

$$ \tau _{1} \biggl(\frac{a+b}{2} \biggr)\leq \tau _{1}(x)-\frac{G}{4}(a+b-2x)^{2}, $$
(2.9)

for all \(x\in [a,b]\).

Proof

Since \(\tau _{1}\) is strongly convex, we have

$$\begin{aligned} \tau _{1} \biggl(\frac{a+b}{2} \biggr)&\leq \frac{1}{2} \biggl[\tau _{1} \biggl(\frac{x-a}{b-a}b+\frac{b-x}{b-a}a \biggr)+\tau _{1} \biggl( \frac{x-a}{b-a}a+\frac{b-x}{b-a}b \biggr) \biggr]-\frac{G}{4}(a+b-2x)^{2} \\ & =\frac{1}{2}\bigl(\tau _{1}(x)+\tau _{1}(a+b-x)\bigr)-\frac{G}{4}(a+b-2x)^{2}. \end{aligned}$$

As \(\tau _{1}\) is symmetric about \(\frac{a+b}{2}\), we have \(\tau _{1}(x)=\tau _{1}(a+b-x)\) and (2.9) holds. □

Remark 3

Lemma 1 is a refinement of [8, Lemma 1].

The upcoming result gives the Hadamard inequality.

Theorem 5

Under the assumptions of Theorem 4, in addition if \(\tau _{1}(x)=\tau _{1} (a+b-x )\), then we have

$$\begin{aligned} &\tau _{1} \biggl(\frac{a+b}{2} \biggr) \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} 1 \bigr) (a, \omega ;p)+ \frac{G}{4} \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} (a+b-2x)^{2} \bigr) (a,\omega ;p) \\ &\qquad{}+\tau _{1} \biggl(\frac{a+b}{2} \biggr) \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} 1 \bigr) (b, \omega ;p)+ \frac{G}{4} \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} (a+b-2x)^{2} \bigr) (b,\omega ;p) \\ &\quad \leq \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} \tau _{1} \bigr) (a,\omega ;p)+ \bigl({}_{\tau _{2}}F^{ \phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} \tau _{1} \bigr) (b,\omega ;p) \\ &\quad \leq \bigl(K_{b}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr)+K_{b}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2}; \phi \bigr)\bigr) \\ &\qquad{}\times \bigl(\bigl(\tau _{2}(b)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(a) \bigr)-(b-a)G \bigl(2I(a,b,I_{d}\tau _{2})-(a+b)I(a,b,g) \bigr) \bigr). \end{aligned}$$
(2.10)

Proof

The following inequality holds true:

$$ K_{x}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr)\tau '_{2}(x)\leq K_{b}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr)\tau '_{2}(x), x\in (a,b). $$
(2.11)

Using strongly convexity of \(\tau _{1}\) for \(x \in (a, b)\), we have

$$ \tau _{1}(x)\leq \biggl(\frac{x-a}{b-a} \biggr)\tau _{1}(b)+ \biggl( \frac{b-x}{b-a} \biggr)\tau _{1}(a)-G(x-a) (b-x). $$
(2.12)

Multiplying (2.11) and (2.12) and integrating the resulting inequality over \([a, b]\), one can obtain

$$\begin{aligned} & \int _{a}^{b} K_{x}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr)\tau _{1}(x)\,d\bigl(\tau _{2}(x)\bigr) \\ &\quad \leq K_{b}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr) \biggl(\tau _{1}(a) \int _{a}^{b} \biggl(\frac{b-x}{b-a} \biggr)\,d \bigl( \tau _{2}(x)\bigr) \\ &\qquad{}+\tau _{1}(b) \int _{a}^{b} \biggl(\frac{x-a}{b-a} \biggr)\,d \bigl( \tau _{2}(x)\bigr)-G \int _{a}^{b}(b-x) (x-a)\,d\bigl(\tau _{2}(x)\bigr) \biggr). \end{aligned}$$

By using Definition 4 and integrating by parts, the following inequality is obtained:

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}}\tau _{1} \bigr) (a,\omega ; p) \\ &\quad \leq K_{b}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \\ &\qquad{}\times \bigl(\bigl(\tau _{2}(b)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(a) \bigr)-G(b-a) \bigl(2I(a,b,I_{d}\tau _{2})-(a+b)I(a,b,g) \bigr) \bigr). \end{aligned}$$
(2.13)

On the other hand, the following inequality holds true:

$$ K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2}; \phi \bigr)\tau '_{2}(x)\leq K_{b}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr)\tau '_{2}(x), x\in (a,b). $$
(2.14)

Adopting the same pattern of simplification as we did for (2.11) and (2.12), the following inequality can be observed from (2.12) and (2.14):

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}}\tau _{1} \bigr) (b,\omega ;p) \\ &\quad \leq K_{b}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr) \\ &\qquad{}\times \bigl(\bigl(\tau _{2}(b)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(a) \bigr)-G(b-a) \bigl(2I(a,b,I_{d}\tau _{2})-(a+b)I(a,b,g) \bigr) \bigr). \end{aligned}$$
(2.15)

By adding (2.13) and (2.15), the following inequality can be obtained:

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} \tau _{1} \bigr) (a,\omega ;p)+ \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} \tau _{1} \bigr) (b, \omega ;p) \\ &\quad \leq \bigl(K_{b}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2}; \phi \bigr)+K_{b}^{a} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2}; \phi \bigr)\bigr) \\ &\qquad{}\times \bigl(\bigl(\tau _{2}(b)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(a) \bigr)-G(b-a) \bigl(2I(a,b,I_{d}\tau _{2})-(a+b)I(a,b,g) \bigr) \bigr). \end{aligned}$$
(2.16)

Multiplying both sides of (2.9) by \(K_{b}^{x}(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2}; \phi )d(\tau _{2}(x))\) and integrating over \([a, b]\), we have

$$\begin{aligned} &\tau _{1} \biggl(\frac{a+b}{2} \biggr) \int _{a}^{b} K_{b}^{x} \bigl(E^{ \gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr)\,d\bigl(\tau _{2}(x)\bigr) \\ &\quad \leq \int _{a}^{b} K_{b}^{x} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l},\tau _{2};\phi \bigr)\tau _{1}(x)\,d\bigl(\tau _{2}(x)\bigr)\\ &\qquad {}-\frac{G}{4} \int _{a}^{b} K_{b}^{x} \bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2};\phi \bigr) (a+b-2x)^{2}\,d\bigl(\tau _{2}(x)\bigr). \end{aligned}$$

From Definition 4, the following inequality is obtained:

$$\begin{aligned} &\tau _{1} \biggl(\frac{a+b}{2} \biggr) \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} 1 \bigr) (b, \omega ;p)\\ &\quad \leq \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{ \mu , \beta , l, {a^{+}}} \tau _{1} \bigr) (b,\omega ;p) \\ &\qquad{}-\frac{G}{4} \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{ \mu , \beta , l, {a^{+}}} (a+b-2x)^{2} \bigr) (b,\omega ;p). \end{aligned}$$
(2.17)

Similarly, multiplying both sides of (2.9) by \(K_{x}^{a}(E^{\gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2}; \phi )\,d(\tau _{2}(x))\) and integrating over \([a, b]\), we have

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

By adding (2.17) and (2.18), following inequality is obtained:

$$\begin{aligned} &\tau _{1} \biggl(\frac{a+b}{2} \biggr) \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} 1 \bigr) (a, \omega ;p)+ \frac{G}{4} \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} (a+b-2x)^{2} \bigr) (a,\omega ;p) \\ &\qquad{}+\tau _{1} \biggl(\frac{a+b}{2} \biggr) \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} 1 \bigr) (b, \omega ;p)+ \frac{G}{4} \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} (a+b-2x)^{2} \bigr) (b,\omega ;p) \\ &\quad \leq \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {b^{-}}} \tau _{1} \bigr) (a,\omega ;p)+ \bigl({}_{\tau _{2}}F^{ \phi , \gamma , \delta , k, c}_{\mu , \beta , l, {a^{+}}} \tau _{1} \bigr) (b,\omega ;p). \end{aligned}$$
(2.19)

Using (2.16) and (2.19), inequality (2.10) can be established. □

Remark 4

(i) If we take \(G=0\) and \(\alpha =\beta \) in (2.10), then (1.15) is obtained, for \(G\neq 0\), we get its refinement.

(ii) If we take \(\phi (t)=\Gamma (\alpha )t^{\alpha +1}\), \(p=\omega =0\) and \(G=0\) in (2.10), then [13, Theorem 3] is obtained. For \(G\neq 0\), we get its refinement.

(iii) If \(\alpha =\beta \) in the result of (ii), then [13, Corollary 3] is obtained. For \(G\neq 0\), we get its refinement.

(iv) If we take \(\phi (t)=\Gamma (\alpha ) t^{\frac{\alpha }{k}+1}\), \(G=0\), \(\tau _{2}(x)=x\) and \(p=\omega =0\) in (2.10), then [9, Theorem 3] is obtained. For \(G\neq 0\), we get its refinement.

(v) If we take \(\alpha =\beta \) in the result of (iv), then [9, Corollary 6] is obtained. For \(G\neq 0\), we get its refinement.

(vi) If we take \(\phi (t)=\Gamma (\alpha ) t^{\frac{\alpha }{k}+1}\), \(G=0\) and \(p=\omega =0\) in (2.10), then [12, Theorem 11] is obtained. For \(G\neq 0\), we get its refinement.

(vii) If we take \(\alpha =\beta \) in the result of (vi), then [12, Corollary 12] is obtained. For \(G\neq 0\), we get its refinement.

(viii) If we take \(\phi (t)=t^{\alpha +1}\), \(\tau _{2}(t)=t\) and \(G=0\) in (2.10), then [4, Corollary 3] is obtained. For \(G\neq 0\), we get its refinement.

Corollary 2

If we take \(p=\omega =0\) in (2.10), then the following Hadamard inequality is obtained for fractional integral operators defined in [10]:

$$\begin{aligned} &\tau _{1} \biggl(\frac{a+b}{2} \biggr) \biggl( \frac{1}{\Gamma (\alpha )}F^{\phi ,\tau _{2}}_{{b^{-}}} 1 \biggr) (a)+ \frac{G}{4} \biggl(\frac{1}{\Gamma (\alpha )}F^{\phi , \tau _{2}}_{{b^{-}}} (a+b-2x)^{2} \biggr) (a) \\ &\qquad{}+\tau _{1} \biggl(\frac{a+b}{2} \biggr) \biggl( \frac{1}{\Gamma (\beta )}F^{\phi , \tau _{2}}_{ {a^{+}}} 1 \biggr) (b)+ \frac{G}{4} \biggl(\frac{1}{\Gamma (\beta )}F^{\phi , \tau _{2}}_{{a^{+}}} (a+b-2x)^{2} \biggr) (b) \\ &\quad \leq \biggl(\frac{1}{\Gamma (\alpha )}F^{\phi ,\tau _{2}}_{{b^{-}}} \tau _{1} \biggr) (a)+ \biggl(\frac{1}{\Gamma (\beta )}F^{\phi ,\tau _{2}}_{ {a^{+}}} \tau _{1} \biggr) (b)\\ &\quad \leq 2K_{\tau _{2}}(t,x;\phi ) \\ & \qquad {}\times\bigl(\bigl(\tau _{2}(b)-\tau _{2}(a)\bigr) \bigl(\tau _{1}(b)+\tau _{1}(a)\bigr)-G(b-x) \bigl(2I(x,b,I_{d}\tau _{2})-(x+b)I(x,b,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.20)

Remark 5

(i) If we take \(\phi (t)= \Gamma (\alpha )t^{\alpha +1}\), \(p=\omega =0\), \(G=0\), and \(\tau _{2}(t)=t\) in (2.20), [8, Theorem 3] is obtained. For \(G\neq 0\), we get its refinement.

(ii) If we take \(\alpha =\beta \) in the result of (i), then [8, Corollary 6] is obtained. For \(G\neq 0\), we get its refinement.

Theorem 6

Let \(\tau _{1}:[a,b]\longrightarrow \mathbb{R}\) be a differentiable function. Let \(|\tau '_{1}|\) be strongly convex with \(m\in (0,1]\) and \(\tau _{2}:[a,b]\longrightarrow \mathbb{R}\) be differentiable and strictly increasing function, also let \(\frac{\phi }{x}\) be an increasing function on \([a,b]\). If \(\alpha ,\beta , l, \gamma , c \in \mathbb{C}\), \(\Re (\alpha ), \Re (l)>0\), \(\Re (c)>\Re (\gamma )>0\), \(p, \mu , \delta \geq 0\), and \(0< k\leq \delta + \mu \), then for \(x\in (a,b)\) we have

$$\begin{aligned} & \bigl\vert \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}} \tau _{1}\ast \tau _{2} \bigr) (x,\omega ; p)+ \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {b^{-}}}\tau _{1}\ast \tau _{2} \bigr) (x,\omega ; p) \bigr\vert \\ &\quad \leq K_{x}^{a} \bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \\ &\qquad{}\times \bigl(\bigl(\tau _{2}(x)-\tau _{2}(a)\bigr) \bigl( \bigl\vert \tau '_{1}(x) \bigr\vert + \bigl\vert \tau '_{1}(a) \bigr\vert \bigr)-G(x-a) \bigl(2I(a,x,I_{d}\tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr) \\ &\qquad{}+K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2}; \phi \bigr) \bigl(\bigl(\tau _{2}(b)-\tau _{2}(x)\bigr) \bigl( \bigl\vert \tau '_{1}(b) \bigr\vert + \bigl\vert \tau '_{1}(x) \bigr\vert \bigr) \\ &\qquad{}-G(b-x) \bigl(2I(x,b,I_{d}\tau _{2})-(x+b)I(x,b,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.21)

Proof

Using strongly convexity of \(|\tau '_{1}|\), we have

$$ \bigl\vert \tau '_{1}(t) \bigr\vert \leq \biggl(\frac{x-t}{x-a} \biggr) \bigl\vert \tau '_{1}(a) \bigr\vert + \biggl(\frac{t-a}{x-a} \biggr) \bigl\vert \tau '_{1}(x) \bigr\vert -G(x-t) (t-a). $$
(2.22)

Inequality (2.22) can be written as follows:

$$\begin{aligned} &{-} \biggl( \biggl(\frac{x-t}{x-a} \biggr) \bigl\vert \tau '_{1}(a) \bigr\vert + \biggl( \frac{t-a}{x-a} \biggr) \bigl\vert \tau '_{1}(x) \bigr\vert -G(x-t) (t-a) \biggr)\\ &\quad \leq \tau '_{1}(t) \\ &\quad \leq \biggl( \biggl(\frac{x-t}{x-a} \biggr) \bigl\vert \tau '_{1}(a) \bigr\vert + \biggl( \frac{t-a}{x-a} \biggr) \bigl\vert \tau '_{1}(x) \bigr\vert -G(x-t) (t-a) \biggr). \end{aligned}$$
(2.23)

Let us consider the second inequality of (2.23), namely

$$ \tau '_{1}(t)\leq \biggl( \frac{x-t}{x-a} \biggr) \bigl\vert \tau '_{1}(a) \bigr\vert + \biggl( \frac{t-a}{x-a} \biggr) \bigl\vert \tau '_{1}(x) \bigr\vert -G(x-t) (t-a). $$
(2.24)

Multiplying (2.2) and (2.24) and integrating over \([a, x]\), we can obtain

$$\begin{aligned} & \int _{a}^{x} K_{x}^{t} \bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr) \tau '_{1}(t)\,d\bigl(\tau _{2}(t)\bigr)\\ &\quad \leq K_{x}^{a}\bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \biggl( \bigl\vert \tau '_{1}(a) \bigr\vert \int _{a}^{x} \biggl(\frac{x-t}{x-a} \biggr)\,d\bigl(\tau _{2}(t)\bigr) \\ &\qquad{} + \bigl\vert \tau '_{1}(x) \bigr\vert \int _{a}^{x} \biggl( \frac{t-a}{x-a} \biggr)\,d \bigl(\tau _{2}(t)\bigr)-G \int _{a}^{x}(x-t) (t-a)\,d\bigl( \tau _{2}(t)\bigr) \biggr). \end{aligned}$$

By using (1.10) of Definition 4 and integrating by parts, the following inequality is obtained:

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}\tau _{1}\ast \tau _{2} \bigr) (x,\omega ; p) \\ &\quad \leq K_{x}^{a}\bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \bigl(\bigl( \tau _{2}(x)-\tau _{2}(a)\bigr) \\ &\qquad{}\times \bigl( \bigl\vert \tau '_{1}(x) \bigr\vert + \bigl\vert \tau '_{1}(a) \bigr\vert \bigr)-G(x-a) \bigl(2I(a,x,I_{d} \tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.25)

If we consider the left-hand side of inequality (2.23) and adopt the same argument as for the right-hand side inequality, then we get

$$\begin{aligned} & \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}(\tau _{1}\ast \tau _{2}) \bigr) (x,\omega ; p) \\ &\quad \geq - K_{x}^{a}\bigl(E^{ \gamma , \delta , k, c}_{\mu , \alpha , l},\tau _{2};\phi \bigr) \bigl(\bigl( \tau _{2}(x)-\tau _{2}(a)\bigr) \\ &\qquad{}\times \bigl( \bigl\vert \tau '_{1}(x) \bigr\vert + \bigl\vert \tau '_{1}(a) \bigr\vert \bigr)-G(x-a) \bigl(2I(a,x,I_{d} \tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.26)

From (2.25) and (2.26), the following inequality is obtained:

$$\begin{aligned} & \bigl\vert \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \alpha , l, {a^{+}}}( \tau _{1}\ast \tau _{2}) \bigr) (x,\omega ; p) \bigr\vert \\ &\quad \leq K_{x}^{a}\bigl(E^{\gamma , \delta , k, c}_{\mu , \alpha , l}, \tau _{2};\phi \bigr) \bigl(\bigl(\tau _{2}(x)-\tau _{2}(a)\bigr) \\ &\qquad{}\times \bigl( \bigl\vert \tau '_{1}(x) \bigr\vert + \bigl\vert \tau '_{1}(a) \bigr\vert \bigr)-G(x-a) \bigl(2I(a,x,I_{d} \tau _{2})-(a+x)I(a,x,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.27)

Now using the strongly convexity of \(|\tau '_{1}|\), we have

$$ \bigl\vert \tau '_{1}(t) \bigr\vert \leq \biggl(\frac{t-x}{b-x} \biggr) \bigl\vert \tau '_{1}(b) \bigr\vert + \biggl(\frac{b-t}{b-x} \biggr) \bigl\vert \tau '_{1}(x) \bigr\vert -G(t-x) (b-t). $$
(2.28)

With the same procedure as that used for (2.2) and (2.22), one can obtain the following inequality from (2.5) and (2.28):

$$\begin{aligned} & \bigl\vert \bigl({}_{\tau _{2}}F^{\phi , \gamma , \delta , k, c}_{\mu , \beta , l, {b^{-}}}( \tau _{1}\ast \tau _{2}) \bigr) (x,\omega ; p) \bigr\vert \\ &\quad \leq K_{b}^{x}\bigl(E^{\gamma , \delta , k, c}_{\mu , \beta , l}, \tau _{2};\phi \bigr) \bigl(\bigl(\tau _{2}(b)-\tau _{2}(x)\bigr) \\ &\qquad{}\times \bigl( \bigl\vert \tau '_{1}(b) \bigr\vert + \bigl\vert \tau '_{1}(x) \bigr\vert \bigr)-G(b-x) \bigl(2I(x,b,I_{d} \tau _{2})-(x+b)I(x,b,\tau _{2}) \bigr) \bigr). \end{aligned}$$
(2.29)

By adding (2.27) and (2.29), inequality (2.21) can be achieved. □

Remark 6

(i) If we take \(G=0\) and \(\alpha =\beta \) in (2.21), then (1.16) is obtained. For \(G\neq 0\), we get its refinement.

(ii) If we take \(\phi (t)=\Gamma (\alpha ) t^{\frac{\alpha }{k}+1}\), \(G=0\), \(\tau _{2}(x)=x\) and \(p=\omega =0\) in (2.21), then [9, Theorem 2] is obtained. For \(G\neq 0\), we get its refinement.

(iii) If we take \(\alpha =\beta \) in the result of (ii), then [9, Corollary 4] is obtained. For \(G\neq 0\), we get its refinement.

(iv) If we take \(\alpha =\beta =k=1\) and \(x=\frac{a+b}{2}\), in the result of (iii), then [9, Corollary 5] is obtained. For \(G\neq 0\), we get its refinement.

(v) If we take \(\phi (t)=t^{\alpha +1}\), \(\tau _{2}(x)=x\), \(p=\omega =0\) and \(G=0\) in (2.21), then [8, Theorem 2] is obtained. For \(G\neq 0\), we get its refinement.

(vi) If we take \(\alpha =\beta \) in the result of (v), then [8, Corollary 5] is obtained. For \(G\neq 0\), we get its refinement.

(vii) If we take \(\phi (t)=\Gamma (\alpha )t^{\frac{\alpha }{k}+1}\), \(\tau _{2}(x)=x\), \(p=\omega =0\) and \(G=0\) in (2.21), then [12, Theorem 8] is obtained. For \(G\neq 0\), we get its refinement.

(viii) If we take \(\alpha =\beta \) in the result of (vii), then [12, Corollary 9] is obtained. For \(G\neq 0\), we get its refinement.

(ix) If we take \(\phi (t)=t^{\alpha }\), \(\tau _{2}(x)=x\) and \(G=0\) in (2.21), then [4, Corollary 2] is obtained. For \(G\neq 0\), we get its refinement.

Concluding remarks

This research provides inequalities for unified integral operators for strongly convex functions, refined form of convex functions. These inequalities provide refinements of the results proved in already published works. The special cases also provide results for fractional integral operators and their refinements.

Availability of data and materials

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

References

  1. 1.

    Akkurt, A., Yildirim, M.E., Yildirim, H.: On some integral inequalities for \((k,h)\)-Riemann-Liouville fractional integral. New Trends Math. Sci. 4(2), 138–146 (2016)

    MathSciNet  Article  Google Scholar 

  2. 2.

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

    MathSciNet  Article  Google Scholar 

  3. 3.

    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  Article  Google Scholar 

  4. 4.

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

    MathSciNet  Article  Google Scholar 

  5. 5.

    Diaz, A.R., Parigunan, E.: On hypergeometric functions and k-Pochhammar symbol. Divulg. Mat. 15(2), 179–192 (2007)

    MathSciNet  Google Scholar 

  6. 6.

    Dragomir, S.S.: Inequalities of Jensens type for generalized kg-fractional integrals of functions for which the composite \(\tau _{1} \circ g^{-1}\) is convex. RGMIA Res. Rep. Collect. 20, Art. 133, 24 pp. (2017)

    Google Scholar 

  7. 7.

    Dragomir, S.S., Pearce, C.E.M.: Selected topics on Hermite–Hadamard inequalities and applications, Mathematics Preprint Archive, (1), 463817 (2003)

  8. 8.

    Farid, G.: Some Riemann–Liouville fractional integral for inequalities for convex functions. J. Anal. (2018). https://doi.org/10.1007/s41478-0079-4

    Article  Google Scholar 

  9. 9.

    Farid, G.: Estimation of Riemann–Liouville k-fractional integrals via convex functions. Acta Comment. Univ. Tartu Math. 23(1), 71–78 (2019)

    MathSciNet  Google Scholar 

  10. 10.

    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 

  11. 11.

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

    Article  Google Scholar 

  12. 12.

    Farid, G.: Study of generalized Riemann–Liouville fractional integral via convex functions. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 69(1), 37–48 (2020)

    MathSciNet  Google Scholar 

  13. 13.

    Farid, G., Nazeer, W., Saleem, M.S., Mehmood, S., Kang, S.M.: Bounds of Riemann–Liouville fractional integrals in general form via convex functions and their applications. Mathematics 6, 248 (2018)

    Article  Google Scholar 

  14. 14.

    Huang, C.J., Rahman, G., Nisar, K.S., Ghafar, A., Qi, F.: Some inequalities of the Hermite–Hadamard type for k-fractional conformable integrals. Aust. J. Math. Anal. Appl. 16(1), Article 7, 9 pages (2019)

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

    Book  Google Scholar 

  16. 16.

    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 

  17. 17.

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

    Google Scholar 

  18. 18.

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

    Article  Google Scholar 

  19. 19.

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

    Google Scholar 

  20. 20.

    Nisar, K.S., Tassaddiq, S., Rehman, G., Khan, A.: Some inequalities via fractional conformable integral operators. J. Inequal. Appl. 2019, 217 (2019)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Polyak, B.T.: Existence theorems and convergence of minimizing sequences in extremum problems with restrictions. Sov. Math. Dokl. 7, 72–75 (1966)

    Google Scholar 

  22. 22.

    Rahman, G., Khan, A., Abdeljwad, T., Nisar, K.S.: The Minkowski inequalities via generalized proportional fractional integral operators. Adv. Differ. Equ. 2019, 287 (2019)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The research work of Josip Pečarić is supported by the Ministry of Education and Science of the Russian Federation (Agreement No. 02.a03.21.0008). The research work of Yu-Ming Chu is supported by Chongqing University of Arts and Sciences (Z2018SC09) and the National Natural Science Foundation of China (Grant Nos. 11971142, 11871202, 61673169, 11701176, 11626101, and 11601485).

Funding

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

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Yu-Ming Chu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jung, C.Y., Farid, G., Andrić, M. et al. Refinements of some integral inequalities for unified integral operators. J Inequal Appl 2021, 7 (2021). https://doi.org/10.1186/s13660-020-02540-4

Download citation

MSC

  • 26D10
  • 31A10
  • 26A33

Keywords

  • Integral operators
  • Fractional integrals
  • Convex functions
  • Bounds
\