Study on Hermite-Hadamard-type inequalities using a new generalized fractional integral operator

Abstract

In this study, a new definition of the fractional integral operator is first proposed, which generalizes some well-known fractional integral operators. Then, by using this newly generalized fractional integral operator, we proved several new Hermite-Hadamard-type inequalities for convex functions. Finally, we provided some corollaries to show that the current results extend and enrich the previous results in the literature.

1 Introduction

Convexity plays a very important role in physics, statistics and engineering. In terms of inequality, convexity theory is also a powerful tool to prove many classical inequalities, which is closely related to the generation of new and useful inequalities.

Definition 1.1

([1])

The function $f:[u,v]\rightarrow \mathbb{R}$ is said to be convex, if we have

$$\begin{aligned} f\bigl(\lambda t_{1} + (1 - \lambda )t_{2}\bigr) \le \lambda f(t_{1}) + (1 - \lambda )f(t_{2}), \end{aligned}$$

for all $t_{1},t_{2} \in [u,v]$ and $\lambda \in [0,1]$.

The study of one of the celebrated inequalities for convex functions can be traced back to 1893. Hermite and Hadamard [2] proved the following result, which states that if $f:I\subset \mathbb{R}\rightarrow \mathbb{R}$ is a convex function in I and $u,v \in I$, where $u < v$, then

$$\begin{aligned} f \biggl(\frac{{u + v}}{2} \biggr) \le \frac{1}{{v-u}} \int _{u}^{v} {f( \delta )}\,d\delta \le \frac{{f(u) + f(v)}}{2}. \end{aligned}$$

(1.1)

The inequality is known as Hermite-Hadamard inequality. Since then, the inequality (1.1) has attracted many mathematicians’ attention. In particular, in recent decades, numerous generalizations, variants, and extensions of this inequality have been published based on the definition of convexity ([3–9]).

In the past decades, fractional calculus has gained remarkable popularity and importance due mainly to its application in diverse and widespread fields. As of late, it can be seen that popularize well-known integral inequalities using fractional integral operators has become an interesting topic.

First, let us recall the Riemann-Liouville fractional integral defined by [10], which will be further used in this paper.

Definition 1.2

Let $f\in L_{1}[u,v]$, the Riemann-Liouville integrals $I_{{u^{+} }}^{\alpha }f$ and $I_{{v^{-} }}^{\alpha }f$ of order α with $u\geq 0$ are defined by

$$\begin{aligned} I_{{u^{+} }}^{\alpha }f(x) = \frac{1}{{\Gamma (\alpha )}} \int _{u}^{x} {{{(x - \delta )}^{\alpha - 1}}f(\delta )\,d\delta ,\quad x > u,} \end{aligned}$$

(1.2)

$$\begin{aligned} I_{{v^{-} }}^{\alpha }f(x) = \frac{1}{{\Gamma (\alpha )}} \int _{x}^{v} {{{(\delta - x)}^{\alpha - 1}}f( \delta )\,d\delta ,\quad x < v.} \end{aligned}$$

(1.3)

Here, $\Gamma (\alpha )$ is the familiar Gamma function and $I_{{u^{+} }}^{0} f(x)=I_{{v^{-} }}^{0} f(x)=f(x)$.

In [11], Sarikaya first used the definitions of Riemann-Liouville integrals, and developed a new generalization of the inequality (1.1) as follows.

Theorem 1.1

Let $f:[u,v] \to \mathbb{R}$ be a positive function with $u< v$ and $f\in{L_{1}}[u,v]$. If f is a convex function on $[u,v]$, then the following inequalities for fractional integrals with $\alpha >0$ hold:

$$\begin{aligned} f \biggl(\frac{u+v}{2} \biggr) \le \frac{\Gamma (\alpha +1)}{2(v-u)^{\alpha}} \bigl[I_{{u^{+} }}^{\alpha }f(v) + I_{{v^{-} }}^{\alpha }f(u) \bigr] \le \frac{{f(u)+f(v)}}{2}. \end{aligned}$$

(1.4)

One year later, in [12], the same author obtained the analogous fractional Hermite-Hadamard-type inequality involving Riemann-Liouville integral.

Theorem 1.2

Let $f:[u,v]\rightarrow \mathbb{R}$ be a positive function with $u< v$ and $f\in L_{1}[u,v]$. If f is a convex function on $[u,v]$, then the following inequalities for fractional integrals hold:

$$\begin{aligned} f\biggl(\frac{{u + v}}{2}\biggr) \le \frac{{{2^{\alpha - 1}}\Gamma (\alpha + 1)}}{{{{(v - u)}^{\alpha }}}} \bigl[ {I_{{{(\frac{{u + v}}{2})}^{+} }}^{\alpha }f(v) + I_{{{( \frac{{u + v}}{2})}^{-} }}^{\alpha }f(u)} \bigr] \le \frac{{f(u) + f(v)}}{2}, \end{aligned}$$

(1.5)

where $\alpha >0$.

Based on the above-mentioned two studies, the subject of fractional Hermite-Hadamard-type inequalities has received considerable attention in recent years. In fact, there are multiple definitions of fractional operators; Caputo, Caputo-Fabrizio, k-Riemann-Liouville, Katugampola, Conformable, Hadamard are just a few examples of fractional integral operators. The concept of each integral operator has its own conditions and rules. Therefore, it is of great significance to develop and explore Hermite-Hadamard inequality for several different types of convex functions via various fractional operators. In 2017, Agarwal [13] obtained some Hermite-Hadamard type inequalities via generalized k-fractional integrals. Awan et al. [14] in (2018) by using harmonic convex functions derived some conformable fractional estimates for Hermite-Hadamard-type inequalities. Zhao [15] in (2020) employed s-convex functions to present Hermite-Hadamard-type inequalities using ψ-Riemann-Liouville fractional integrals. Later, Set [16] proved a new Hermite-Hadamard type inequalities for Atangana-Baleanu fractional integral operators based on a non-singular and non-local derivative operator. For more details, we refer the readers to [17–21].

Due to the diversity of fractional integral operators, it is unknown which integral operator is most suitable for studying Hermite-Hadamard type inequalities. The various classical fractional integral operators are also difficult to generalize and extend Hermite-Hadamard type inequalities. Therefore, the concept of using general fractional integral operators has been proposed by some researchers to meet the needs of modern mathematics. In [22], the author obtained the Hermite-Hadamard type inequalities for functions with certain conditions associated with the generalized fractional integral operators. Also, Ahmad et al. [23] in (2019), employing the fractional integral operators with exponential kernel, obtained some Hermite–Hadamard-type inequalities for convex functions. Recently, based on the generalized proportional fractional integral operators, Aljaaidi [24] in (2021) studied some new fractional integral Hermite-Hadamard inequalities. For more details, we refer the readers to [25–29].

We need to recall definitions of two generalized Riemann-Liouville fractional integrals and known results, which states that:

Definition 1.3

([10])

Let $h:[u,v]\to \mathbb{R}$ be a positive monotone and increasing function on $[u,v]$, and $h'(\delta )$ is continuously differentiable on $[u,v]$. Then $I_{{u^{+} }}^{\alpha }{}_{h}w(x)$ and $I_{{v^{-} }}^{\alpha }{}_{h}w(x)$ fractional integrals of w with respect to the function h on $[u,v]$ of the order $\alpha >0$ are defined by

$$\begin{aligned} I_{{u^{+} }}^{\alpha }{}_{h}w(x) = \frac{1}{{\Gamma (\alpha )}} \int _{u}^{x} { \frac{{h'(\delta )w(\delta )}}{{{{[h(x) - h(\delta )]}^{1 - \alpha }}}}}\,d\delta ,\quad x > u, \end{aligned}$$

(1.6)

$$\begin{aligned} I_{{v^{-} }}^{\alpha }{}_{h}w(x) = \frac{1}{{\Gamma (\alpha )}} \int _{x}^{v} { \frac{{h'(\delta )w(\delta )}}{{{{[h(\delta ) - h(x)]}^{1 - \alpha }}}}}\,d\delta , \quad x < v. \end{aligned}$$

(1.7)

Observe that for $h(x)=x$, the fractional integrals (1.6) and (1.7) are reduced to Riemann-Liouville fractional integrals (1.2) and (1.3). On the other hand, for $h(x)=\ln x$, the fractional integrals (1.6) and (1.7) are reduced to Hadamard fractional integral.

In 2016, Jleli and Samet [25] proved that Hermite-Hamard type inequalities under the framework of integral operators (1.6) and (1.7). Besides, Budak [26] obtained the following integral inequalities of the Hermite-Hadamard type involving fractional integral operators (1.6) and (1.7).

Theorem 1.3

Let $h:[u,v]\to \mathbb{R}$ be an increasing and positive monotone function on $[u,v]$ with $u< v$, $h'(\delta )$ being continuously differentiable on $[u,v]$ and $w:[u,v]\rightarrow \mathbb{R}$ is a positive and integrable function. If f is a convex function on $[u,v]$, then the following inequalities hold:

$$\begin{aligned} \bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)\bigr]f \biggl( \frac{{u + v}}{2} \biggr) &\le \frac{1}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}wF(v) + I_{{v^{-} }}^{\alpha }{}_{h}wF(u)\bigr] \\ &\le \frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)\bigr], \end{aligned}$$

(1.8)

where $F(\delta )=f(\delta )+\tilde{f}(\delta )$, $\tilde{f}(\delta )=f(u+v-\delta )$, for all $\delta \in [u,v]$ with $\alpha >0$.

Later, Sarikaya et al. [27] defined a new fractional integral operator that can be degenerated to the fractional integral of Riemann, Riemann-Liuville, k-Riemann-Liouville, Katugampola and Hadamard, etc.

Definition 1.4

Let $f\in L[u,v]$, the generalized fractional integral operators ${I_{{u^{+} }}}{}_{\phi }f$ and ${I_{{v^{-} }}}{}_{\phi }f$ are defined by

$$\begin{aligned} {I_{{u^{+} }}} {}_{\phi }f(x) = \int _{u}^{x} { \frac{{\phi (x - \delta )}}{{x - \delta}}} f(\delta )\,d\delta ,\quad x > u, \end{aligned}$$

(1.9)

$$\begin{aligned} {I_{{v^{-} }}} {}_{\phi }f(x) = \int _{x}^{v} { \frac{{\phi (\delta - x)}}{{\delta - x}}} f(\delta ) \,d\delta ,\quad x < v, \end{aligned}$$

(1.10)

where a function $\phi :[0,\infty )\rightarrow [0,\infty )$ satisfies the following conditions:

$$\begin{aligned}& \int _{0}^{1} {\frac{{\phi (\delta )}}{\delta}\,d\delta < \infty }, \end{aligned}$$

(1.11)

$$\begin{aligned}& \frac{1}{{{T_{1}}}} \le \frac{{\phi (\theta )}}{{\phi (\xi )}} \le {T_{1}}, \quad \text{for } \frac{1}{2} \le \frac{\theta}{\xi} \le 2, \end{aligned}$$

(1.12)

$$\begin{aligned}& \frac{{\phi (\xi )}}{{{\xi ^{2}}}} \le {T_{2}} \frac{{\phi (\theta )}}{{{\theta ^{2}}}},\quad \text{for }\theta \leq \xi , \end{aligned}$$

(1.13)

$$\begin{aligned}& \biggl\vert \frac{{\phi (\xi )}}{{{\xi ^{2}}}} - \frac{{\phi (\theta )}}{{{\theta ^{2}}}} \biggr\vert \le {T_{3}} \vert \xi - \theta \vert \frac{{\phi (\xi )}}{{{\xi ^{2}}}}, \quad \text{for } \frac{1}{2} \le \frac{\theta}{\xi} \le 2, \end{aligned}$$

(1.14)

where $T_{1}, T_{2},T_{3} >0$ are independent of $\theta ,\xi >0$. If $\phi (\xi )\xi ^{\alpha}$ ($\alpha >0$) is increasing and $\frac{\phi (\xi )}{\xi ^{\beta}}$ ($\beta >0$) is decreasing, then ϕ satisfies (1.11) to (1.14).

Later, some Hermite-Hadamard type inequalities were established under the framework of this fractional integral operator, as follows:

Theorem 1.4

([27])

Let $f:[u,v]\rightarrow \mathbb{R}$ be a convex function on $[u,v]$ with $u< v$, then the following inequalities for fractional integrals hold:

$$\begin{aligned} f \biggl(\frac{u+v}{2} \biggr)\leq \frac{1}{2\Delta (1)} \bigl[I_{u^{+}}{}_{ \phi }f(v)+I_{v^{-}}{}_{\phi }f(u) \bigr]\leq \frac{f(u)+f(v)}{2}, \end{aligned}$$

(1.15)

where $\Delta (1)=\int _{0}^{1}\frac{\varphi ((v-u)\theta )}{\theta}\,d \theta$.

Theorem 1.5

([28])

Let $g:[u,v]\to \mathbb{R}$ be a positive and integrable function. If $f:[u,v] \to \mathbb{R}$ is a convex function on $[u,v]$ with $u< v$. Then the following inequalities for fractional integrals hold:

$$\begin{aligned} f \biggl(\frac{{u+v }}{2} \biggr) \le \frac{1}{2} \frac{{[{I_{{u^{+} }}}{}_{\phi }gF(v) + {I_{{v^{-} }}}{}_{\phi }gF(u)]}}{{[{I_{{u^{+} }}}{}_{\phi }g(v) + {I_{{v^{-} }}}{}_{\phi }g(u)]}} \le \frac{{f(u) + f(v)}}{2}, \end{aligned}$$

(1.16)

where F is defined as in Theorem 1.3, for all $\delta \in [u,v]$.

It is known that the extension of the fractional Hermite-Hamard type inequalities can come from the new integral operator, and the obtained extension results can establish a new boundary for the fractional Hermite-Hamard type inequalities. Therefore, in this paper, the idea is to provide a more general integral operator and obtain some new fractional Hermite-Hadamard type inequalities.

This paper is motivated by the above argument and inspired by the combination of fractional integral operator in Sarikaya [28] and the fractional integral operator with respect to another function in Definition 1.3. In this paper, a more general definition of new generalized fractional integrals is first proposed (see Sect. 2) that can degenerate into the above two generalized fractional integrals. In addition, this new generalized fractional integral can be reduced to some well-known fractional integral operators. In terms of inequality, the new integral operator can be used to establish Hermite-Hamard type inequalities for various functions. The main aim is to establish some Hermite-Hadamard type inequalities for convex functions in the setting of new generalized integral operators. During the research, it was found that the obtained results can be regarded as an important extension and generalization of the previous works, which can be observed in the literature [11, 23, 25–29].

The remainder of the paper is organized as follows. In Sect. 2, a new definition of integral operator is introduced, and some classical special cases of this operator are obtained. The main results and some corollaries are given in Sect. 3. The two illustrative examples are discussed in Sect. 4. Finally, the results are summarized and new directions for future works are specified.

2 Generalized fractional integral operators

In this part, a new definition of the fractional integral is stated, which is extremely helpful for the following work. Let $h:[u,v]\to \mathbb{R}$ be an increasing and non-negative monotone function on $[u,v]$, where $h'(\delta )$ is continuously differentiable on $[u,v]$. The function g satisfies (1.11) to (1.14) and let $w:[u,v]\rightarrow \mathbb{R}$ be a positive and integrable function. Then ${}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(x)$ and ${}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(x)$ fractional integrals of w with respect to the function h on $[u,v]$ of order $\alpha >0$ are given by

$$\begin{aligned} {}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(x) = \frac{1}{{k{\Gamma _{k}}(\alpha )}} \int _{u}^{x} { \frac{{g(h(x) -h(\delta ))}}{{h(x)-h(\delta )}}{h'( \delta )} {{\bigl(h(x) -h (\delta )\bigr)}^{\frac{\alpha }{k} - 1}}w(\delta )\,d\delta}, \quad x>u, \end{aligned}$$

(2.1)

and

$$\begin{aligned} {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(x) = \frac{1}{{k{\Gamma _{k}}(\alpha )}} \int _{x}^{v} { \frac{{g(h(\delta )-h(x))}}{{h(\delta ) - h (x)}}{h'( \delta )}} {\bigl(h ( \delta ) - h (x)\bigr)^{\frac{\alpha }{k} - 1}}w(\delta )\,d\delta , \quad x< v. \end{aligned}$$

(2.2)

The most outstanding feature of the generalized fractional integral is that it can be reduced to some types of fractional integrals, such as the Riemann-Liouville fractional integral, Hadamard fractional integral, k-Riemann-Liouville fractional integral, Katugampola fractional integral, conformable fractional integral, and fractional integral with the exponential kernel, fractional integral with respect to another function, etc. It can be clearly seen that some special cases of integral operators (2.1) and (2.2) are as follows:

(1) If $h(\delta )=g(\delta )=\delta$ and $\alpha =k=1$, then (2.1) and (2.2) are reduced to the usual Riemann integral, as shown below:

$$\begin{aligned} {I_{{u^{+} }}}f(x) = \int _{u}^{x} {f(\delta )}\,d\delta ,\quad x > u, \\ {I_{{v^{-} }}}f(x) = \int _{x}^{v} {f(\delta )}\,d\delta ,\quad x < v. \end{aligned}$$

(2) If $g(\delta )=h(\delta )=\delta$ and $k=1$, then (2.1) and (2.2) are reduced to the Definition 1.2.

(3) If $g(\delta )=h(\delta )=\delta$, then (2.1) and (2.2) are reduced to the k-Riemann-Liouville fractional integral, as shown below:

$$\begin{aligned} I_{{u^{+} }}^{\alpha }{}_{k}f(x) = \frac{1}{{k{\Gamma _{k}}(\alpha )}} \int _{u}^{x} {{{(x -\delta )}^{ \frac{\alpha }{k}{{ - }}1}}f( \delta )}\,d\delta ,\quad x > u, \\ I_{{v^{-} }}^{\alpha }{}_{k}f(x) = \frac{1}{{k{\Gamma _{k}}(\alpha )}} \int _{x}^{v} {{{(\delta - x)}^{ \frac{\alpha }{k} - 1}}f( \delta )}\,d\delta ,\quad x < v, \end{aligned}$$

which is demonstrated by Mubeen in [30].

(4) If $h(\delta )=\delta$ and $\alpha =k=1$, then (2.1) and (2.2) are reduced to the Definition 1.4.

(5) If $h(\delta )=\delta$, $\alpha =k=1$, and $g(\delta )=\frac{\delta}{\alpha }{e^{( - \frac{{1 - \alpha }}{\alpha }\delta )}}$, then (2.1) and (2.2) are reduced to the fractional integral with the exponential kernel, as shown below:

$$\begin{aligned} I_{{u}}^{\alpha }f(x) = \frac{1}{\alpha } \int _{u}^{x} {e^{( - \frac{{1 - \alpha }}{\alpha }(x - \delta ))}}f(\delta )\,d \delta ,\quad x > u, \\ I_{{v }}^{\alpha }f(x) = \frac{1}{\alpha } \int _{x}^{v} {e^{( - \frac{{1 - \alpha }}{\alpha }(\delta - x))}}f(\delta )\,d \delta ,\quad x < v, \end{aligned}$$

here, $\alpha \in (0,1)$.

(6) If take $k=1$, and $g(\delta )=\delta$, then (2.1) and (2.2) are reduced to the Definition 1.3.

(7) If take $k=1$, $g(\delta )=\delta$, and $h(\delta )=\ln \delta$, then (2.1) and (2.2) are reduced to the Hadamard fractional integral, as shown below:

$$\begin{aligned} {}_{H}I_{{u^{+} }}^{\alpha }f(x)= \frac{1}{{\Gamma (\alpha )}} \int _{u}^{x} {{{(\ln x - \ln \delta )}^{\alpha - 1}}} \frac{{f(\delta )}}{\delta}\,d \delta ,\quad x > u, \\ {}_{H}I_{{u^{+} }}^{\alpha }f(x)= \frac{1}{{\Gamma (\alpha )}} \int _{x}^{v} {{{(\ln \delta - \ln x)}^{\alpha - 1}}} \frac{{f(\delta )}}{\delta}\,d \delta ,\quad x < v. \end{aligned}$$

3 The new Hermite-Hadamard-type inequalities

In this section we provide some new Hermite-Hadamard-type inequalities by using generalized fractional integral operators. For simplicity, the following operator is denoted:

$$\begin{aligned} \digamma _{g,w,h}^{\alpha }(m,n) = {}& \int _{u}^{\frac{{u + v}}{2}} { \biggl( { \int _{\delta}^{u + v - \delta} { \frac{{h'(\tau )w(\tau )g[h(n) - h(\tau )]}}{{{{ \vert {h(n) - h(\tau )} \vert }^{2 - \frac{\alpha }{k}}}}}}\,d \tau } \biggr)} \vert {m - \delta} \vert \,d\delta \\ &{}+ \int _{\frac{{u + v}}{2}}^{v} { \biggl( { \int _{u + v- \delta}^{ \delta }{ \frac{{h'(\tau )w(\tau )g[h(n) - h(\tau )]}}{{{{ \vert {h(n) - h(\tau )} \vert }^{2 - \frac{\alpha }{k}}}}}}\,d \tau } \biggr)} \vert {m - \delta} \vert \,d\delta , \end{aligned}$$

(3.1)

for all $m,n\in [u,v]$ and

$$\begin{aligned} \digamma _{g,w,h}^{\alpha }(v,u)=\digamma _{g,w,h}^{\alpha}(u,u), \qquad \digamma _{g,w,h}^{\alpha }(v,v) = \digamma _{g,w,h}^{\alpha }(u,v). \end{aligned}$$

(3.2)

Moreover, let $h(\delta )=\ln\delta$, $g(\delta )=\delta$ and $k=1$, then

$$\begin{aligned} \digamma _{g,w,\ln}^{\alpha }(m,n) ={} & \int _{u}^{ \frac{{u + v}}{2}} { \biggl( { \int _{\delta}^{u + v - \delta} {|\ln \frac{n}{\tau}{|^{\alpha - 1}}} w(\tau )\frac{{d\tau}}{\tau}} \biggr)} \vert {m -\delta} \vert \,d\delta \\ &{}+ \int _{\frac{{u + v}}{2}}^{v} { \biggl( { \int _{u +v - \delta}^{ \delta }{|\ln\frac{n}{\tau}{|^{\alpha - 1}}} w(\tau ) \frac{{d\tau}}{\tau}} \biggr)} \vert {m - \delta} \vert \,d\delta . \end{aligned}$$

(3.3)

Theorem 3.1

Let $\alpha >0$. Let $h:[u,v]\to \mathbb{R}$ be an increasing and non-negative monotone function on $[u,v]$, where $h'(\delta )$ is continuously differentiable on $[u,v]$. The function g satisfies (1.11) to (1.14) and let $w:[u,v]\rightarrow \mathbb{R}$ be positive and integrable function. If f is a convex function on $[u,v]$, then the following inequalities hold:

$$\begin{aligned} f \biggl(\frac{{u + v}}{2} \biggr)\bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v) + {}_{{v ^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\bigr] &\le \frac{1}{2} \bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v)F(v) + {}_{{v ^{-} }}^{k}I_{h} ^{ \alpha }{}_{g}w(u)F(u) \bigr] \\ &\le \frac{{f(u) + f(v)}}{2}\bigl[{}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v) + {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u) \bigr], \end{aligned}$$

(3.4)

where the mapping F is given as in (1.8).

Proof

According to Definition 1.1,

$$\begin{aligned} f \biggl(\frac{{a + b}}{2} \biggr) \le \frac{{f(a) +f(b)}}{2}, \end{aligned}$$

for $a,b\in [u,v]$. Now, let $a=su+(1-s)v$ and $b=(1-s)u+sv$, for $s\in [0,1]$. Then

$$\begin{aligned} f \biggl(\frac{{u+ v}}{2} \biggr) \le \frac{1}{2}f\bigl(su + (1 - s)v\bigr) + \frac{1}{2}f\bigl((1 - s)u + sv\bigr). \end{aligned}$$

(3.5)

Multiplying both sides of the (3.5) by

$$ \frac{{h'((1 - s)u + sv)w((1 - s)u + sv)g[h (v) - h((1 - s)u + sv)]}}{{{{[h (v) - h ((1 - s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}, $$

and then integrating the resulting inequality with respect to s over [0,1] yields

$$\begin{aligned} &f \biggl(\frac{{u+v}}{2} \biggr) \int _{0}^{1} { \frac{{h'((1 - s)u + sv)w((1-s)u + sv)g[h(v)-h((1-s)u+sv)]}}{{{{[h(v)-h((1-s)u+sv)]}^{2- \frac{\alpha }{k}}}}}}\,ds \\ &\quad \le \frac{1}{2} \int _{0}^{1} { \frac{{h'((1 - s)u + sv)g[h (v) - h ((1 - s)u + sv)]}}{{{{[h (v) - h((1 -s)u+sv)]}^{2-\frac{\alpha }{k}}}}}} w \bigl((1- s)u + sv\bigr)f\bigl((1 - s)u + sv\bigr)\,ds \\ &\qquad {} + \frac{1}{2} \int _{0}^{1} { \frac{{h'((1 - s)u + sv)g[h (v) -h ((1 - s)u + sv)]}}{{{{[h (v) - h ((1 -s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}} \\ &\qquad {} \times w\bigl((1 - s)u + sv\bigr)f\bigl(su + (1 - s)v\bigr)\,ds, \end{aligned}$$

(3.6)

if a variable $r=(1-s)u+sv$ in (3.6) is changed, the following inequality holds

$$\begin{aligned} {}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v)f \biggl(\frac{{u + v}}{2} \biggr) \le \frac{1}{2}{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v)F(v). \end{aligned}$$

(3.7)

Multiplying both sides of the (3.5) by

$$ \frac{{h'((1 -s)u + sv)w((1 - s)u + sv)g[h ((1 - s)u + sv)) - h (u)]}}{{{{[h ((1 - s)u + sv)-h (u)]}^{2 - \frac{\alpha }{k}}}}}, $$

and then integrating the resulting inequality with respect to s over [0,1] yields

$$\begin{aligned} {}_{{v ^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)f \biggl(\frac{{u + v}}{2} \biggr) \le \frac{1}{2}{}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)F(u). \end{aligned}$$

(3.8)

Adding the inequalities (3.7) and (3.8) results in the following

$$ f \biggl(\frac{{u + v}}{2} \biggr)\bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v) + {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\bigr] \le \frac{1}{2} \bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v)F(v) + {}_{{v^{-} }}^{k}I_{h} ^{ \alpha }{}_{g}w(u)F(u) \bigr], $$

proving the first inequality asserted by Theorem 3.1.

To prove the second inequality of (3.4), the following is true according to the convexity of f.

$$\begin{aligned} f\bigl(su + (1 - s)v\bigr) + f\bigl((1 - s)u + sv\bigr) \le f(u) + f(v), \end{aligned}$$

(3.9)

multiplying both sides of (3.9) by

$$ \frac{{h'((1 - s)u + sv)w((1 - s)u + sv)g[h (v) - h ((1 - s)u + sv)]}}{{{{[h (v) - h((1 - s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}, $$

and then by using integration with respect to s over $[0,1]$ result in

$$\begin{aligned} & \int _{0}^{1}{ \frac{{h'((1 - s)u + sv)g[h (v) - h ((1 -s)u + sv)]}}{{{{[h(v) - h((1 - s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}} w\bigl((1 - s)u + sv\bigr)f\bigl(su + (1 - s)v\bigr)\,ds \\ &\qquad {} + \int _{0}^{1} { \frac{{h'((1 - s)u + sv))g[h (v) - h((1 - s)u + sv)]}}{{{{[h(v) - h ((1 - s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}}w\bigl((1 - s)u + sv\bigr)f\bigl((1 - s)u+ sv\bigr)\,ds \\ &\quad \le \bigl[f(u) + f(v)\bigr] \int _{0}^{1} { \frac{{h'((1 - s)u + sv)g(h (v) -h((1 - s)u + sv))}}{{{{[h (v) - h((1 - s)u + sv)]}^{2 - \frac{\alpha }{k}}}}}} w\bigl((1 - s)u + sv\bigr)\,ds, \end{aligned}$$

the above expression is simplified as follows,

$$\begin{aligned} {}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v)F(v) \le \bigl[f(u)+f(v)\bigr]{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v). \end{aligned}$$

(3.10)

Multiplying both sides of (3.9) by

$$ \frac{{h'((1 - s)u + sv)w((1 - s)u + sv)g[h ((1 - s)u + sv)) - h (u)]}}{{{{[ h ((1 - s)u + sv)-h (u)]}^{2 - \frac{\alpha }{k}}}}}, $$

and then by utilizing integration with respect to s over [0,1], we have

$$\begin{aligned} {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)F(u) \leq \bigl[f(u)+f(v)\bigr]{}_{{v^{-} }}^{k}I_{h}^{\alpha }{}_{g}w(u). \end{aligned}$$

(3.11)

According to (3.10) and (3.11),

$$ \frac{1}{2}\bigl[{}_{{u ^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v)F(v)+{}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)F(u)\bigr]\leq \frac{f(u)+f(v)}{2} \bigl[{}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v)+{}_{{v^{-} }}^{k}I_{h}^{\alpha }{}_{g}w(u) \bigr], $$

proving the second inequality is proved. □

Corollary 3.1

Under the assumption of Theorem 3.1, if $k=1$ and $h(\delta )=g(\delta )=\delta$, $w:[u,v]\rightarrow \mathbb{R}$ is positive, integrable, and symmetric to $\frac{u+v}{2}$. Then the inequality (3.4) is reduced to:

$$\begin{aligned} f \biggl(\frac{{u + v}}{2} \biggr)\bigl[I_{{u^{+} }}^{\alpha }w(v) + I_{{v^{-} }}^{\alpha }w(u)\bigr] &\leq \bigl[I_{{u^{+} }}^{\alpha }wf(v) + L_{{v^{-} }}^{ \alpha }wf(u)\bigr] \\ &\leq \frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }w(v) + I_{{v^{-} }}^{\alpha }w(u)\bigr], \end{aligned}$$

where $I_{{u^{+} }}^{\alpha }w(v)=I_{{v^{-} }}^{\alpha }w(u)=\frac{1}{2}[I_{{u^{+} }}^{\alpha }w(v)+I_{{v^{-} }}^{\alpha }w(u)]$, Iscan proved the inequality in [29].

Corollary 3.2

Under the assumption of Theorem 3.1, if $k=\alpha =1$ and $h(\delta )=\delta$, then the inequality (3.4) becomes the inequality(1.15) of Theorem 1.4, according to Sarikaya in [27].

Corollary 3.3

Under the assumption of Theorem 3.1, if $k=1$ and $g(\delta )=\delta$, then the inequality (3.4) is reduced to:

$$\begin{aligned} f \biggl(\frac{{u + v}}{2} \biggr) \leq \frac{{\Gamma (\alpha + 1)}}{{4{{[h(v) - h(u)]}^{\alpha }}}} \bigl[I_{{u^{+} }}^{\alpha }{}_{h}F(v) + I_{{v^{-} }}^{\alpha }{}_{h}F(u)\bigr] \leq \frac{{f(u) + f(v)}}{2}, \end{aligned}$$

where, the mapping F is given as in (1.8) and Jleli proved the inequalities in [25].

Corollary 3.4

Under the assumption of Theorem 3.1, if $k=1$ and $g(\delta )=\delta$, then the inequality (3.4) becomes inequality (1.8) of Theorem 1.3, according to Budak in [26].

Corollary 3.5

Under the assumption of Theorem 3.1, if $k=1$, $g(\delta )=\delta$, and $h(\delta )=\ln\delta$, then the inequality (3.4) is reduced to:

$$\begin{aligned} f \biggl(\frac{{u + v}}{2} \biggr)\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{v^{-} }}^{\alpha }w(u)\bigr] &\le \frac{1}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }wF(v) + {}_{H}I_{{v^{-} }}^{\alpha }wF(u)\bigr] \\ &\le \frac{{f(u) + f(v)}}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{v^{-} }}^{\alpha }w(u)\bigr], \end{aligned}$$

where, ${}_{H}I_{{u^{+} }}^{\alpha }$ and ${}_{H}I_{{v^{-} }}^{\alpha }$ are given as in Sect. 2.

Theorem 3.2

Let all conditions in the hypothesis of Theorem 3.1hold true, then

$$\begin{aligned} &\frac{{f(u) + f(v)}}{2}\bigl[{}_{{u ^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v) + {}_{{v ^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\bigr] - \frac{1}{2} \bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v)F(v) + {}_{{v ^{-} }}^{k}I_{h} ^{ \alpha }{}_{g}w(u)F(u) \bigr] \\ &\quad =\frac{1}{{2k{\Gamma _{k}}(\alpha )}} \int _{u}^{v} {{\Omega _{g,w,h}}}( \delta )f'(\delta )\,d\delta , \end{aligned}$$

(3.12)

where,

$$\begin{aligned} {\Omega _{g,w,h}}(\delta ) = & \int _{u + v - \delta}^{\delta }{ \frac{{h'(\tau )w(\tau )g(h (\tau ) -h (u))}}{{h (\tau ) -h (u)}}} {\bigl[h( \tau ) - h(u)\bigr]^{\frac{\alpha }{k} - 1}}\,d\tau \\ &+ \int _{u + v - \delta}^{\delta }{ \frac{{h'(\tau )w(\tau )g(h (v) -h (\tau ))}}{{h (v) - h(\tau )}}} {\bigl[h (v) - h (\tau )\bigr]^{\frac{\alpha }{k} - 1}}\,d\tau . \end{aligned}$$

Proof

With the analysis of integration by part, the following expression is obtained:

$$\begin{aligned} I&= \int _{u}^{v} {\Omega _{g,w,h}}(\delta )f'(\delta )\,d\delta = { \Omega _{g,w,h}}(\delta )f( \delta )|_{u}^{v} - \int _{u}^{v} {{ \Omega '}_{g,w,h}}( \delta )f(\delta )\,d\delta \\ &= {I_{1}}-{I_{2}}. \end{aligned}$$

(3.13)

Moreover, it can be concluded that:

$$ {\Omega _{g,w,h}}(v)= - {\Omega _{g,w,h}}(u) = k{\Gamma _{k}}(\alpha )\bigl[{}_{{u^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v) + {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\bigr], $$

and

$$\begin{aligned} {{\Omega '}_{g,w,h}}(\delta )= {}& \frac{{h'(\delta )w(\delta )g[h (\delta ) - h(u)]}}{{h (\delta ) -h (u)}}{ \bigl[h (\delta ) - h (u)\bigr]^{\frac{\alpha }{k} - 1}} \\ &{}+ \frac{{h'(u+v-\delta )f(u + v - \delta )g[h (u + v - \delta ) - h(u)]}}{{h (u + v - \delta ) - h (u)}}{\bigl[h (u+ v - \delta ) - h(u)\bigr]^{\frac{\alpha }{k} - 1}} \\ &{}+ \frac{{h'(\delta )w(\delta )g[h (v) -h (\delta )]}}{{h (v) - h (\delta )}}{\bigl[h (v) - h (\delta )\bigr]^{\frac{\alpha }{k} - 1}} \\ &{}+ \frac{{h'(u+v-\delta )w(u + v -\delta )g[h(v) -h (u + v - \delta )]}}{{h (v) -h(u+ v -\delta )}} \\ &{}\times {\bigl[h (v) - h (u + v - \delta ) \bigr]^{\frac{\alpha }{k} - 1}}. \end{aligned}$$

(3.14)

On the other hand, we have

$$\begin{aligned} {I_{1}} = k{\Gamma _{k}}(\alpha ) \bigl(f(u) + f(v) \bigr)\bigl[{}_{{u ^{+} }}^{k}I_{h} ^{\alpha }{}_{g}w(v) + {}_{{v ^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\bigr], \end{aligned}$$

(3.15)

and

$$\begin{aligned} I_{2}={}& \int _{u}^{u} { \frac{{h'(\delta )w(\delta )g[h (\delta ) - h (u)]}}{{h (\delta ) - h(u)}}{{\bigl[h (\delta ) - h (u)\bigr]}^{\frac{\alpha }{k} - 1}}}f(\delta )\,d\delta \\ &{}+ \int _{u}^{v} { \frac{{h'(u+v-\delta )f(u + v - \delta )g[h (u + v -\delta ) - h(h)]}}{{h (u + v -\delta ) - h (u)}}{{\bigl[h (u + v - \delta ) - h(u)\bigr]}^{\frac{\alpha }{k} - 1}}f(\delta )\,d \delta} \\ &{}+ \int _{u}^{v} { \frac{{h'(\delta )w(\delta )g[h (v) -h (\delta )]}}{{h (v) - h (\delta )}}{{\bigl[h (v) -h(\delta )\bigr]}^{\frac{\alpha }{k} - 1}}f(\delta )\,d\delta} \\ &{}+ \int _{u}^{v} { \frac{{h'(u+v-\delta )w(u + v - \delta )g[h (v) -h (u +v -\delta )]}}{{h (v) -h (u + v - \delta )}}{{ \bigl[h(v) -h (u + v - \delta )\bigr]}^{\frac{\alpha }{k} - 1}}f(\delta )\,d \delta} \\ ={}&k{\Gamma _{k}}(\alpha )\bigl[{}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)f(u) + {}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)\tilde{f}(u) + {}_{{u^{+} }}^{k}I_{h} ^{\alpha }w(v)f(v) + {}_{{u^{+} }}^{k}I_{h}^{ \alpha }w(v) \tilde{f}(v)\bigr] \\ ={}&k{\Gamma _{k}}(\alpha )\bigl[{}_{{v^{-} }}^{k}I_{h} ^{\alpha }{}_{g}w(u)F(u) + {}_{{u^{+} }}^{k}I_{h} ^{\alpha }w(v)F(v)\bigr]. \end{aligned}$$

(3.16)

If we plug (3.15) and (3.16) back into (3.13), the expected result is immediately obtained. □

Corollary 3.6

Under the assumption of Theorem 3.2with ${\Omega _{g,w,h}}(\delta )$, if $k=1$ and $g(\delta )=\delta$, then

$$\begin{aligned} &\frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)\bigr] - \frac{1}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v)F(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)F(u)\bigr] \\ &\quad = \frac{1}{{2\Gamma (\alpha )}} \int _{u}^{v} {{\Omega _{g,w,h}}} ( \delta )f'(\delta )\,d\delta , \end{aligned}$$

(3.17)

where,

$$\begin{aligned} {\Omega _{g,w,h}}(\delta ) = \int _{u + v - \delta}^{\delta } {\frac{{h'(\tau )w(\tau )}}{{{{[h(\tau ) - h(u)]}^{1 - \alpha }}}}}\,d\tau + \int _{u + v -\delta}^{\delta }{ \frac{{h'(\tau )w(\tau )}}{{{{[h(v) - h(\tau )]}^{1 - \alpha }}}}}\,d\tau , \end{aligned}$$

which is provided by Budak in [26].

Corollary 3.7

Under the assumption of Theorem 3.2with ${\Omega _{g,k,h}}(\delta )$, if $k=1$ and $h(\delta )=g(\delta )=\delta$, then

$$\begin{aligned} &\frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }w(v) + I_{{v^{-} }}^{ \alpha }w(u)\bigr]-\frac{1}{2} \bigl[I_{{u^{+} }}^{\alpha }w(v)F(v) + I_{{v^{-} }}^{\alpha }w(u)F(v) \bigr] \\ &\quad =\frac{1}{{2\Gamma (\alpha )}} \int _{u}^{v} {{\Omega _{g,w,h}}} ( \delta )f'(\delta )\,d\delta , \end{aligned}$$

where,

$$\begin{aligned} {\Omega _{g,w,h}}(\delta )= \int _{u+v-\delta}^{\delta}{(\tau - u)}^{ \alpha -1}w( \tau )\,d\tau + \int _{u+v-\delta}^{\delta}{(v - \tau )}^{ \alpha - 1}w( \tau )\,d\tau . \end{aligned}$$

Proof

With the analysis of integration by part, we have

$$\begin{aligned} I&= \int _{u}^{v} {\Omega _{g,w,h}}(\delta )f'(\delta )\,d\delta = { \Omega _{g,w,h}}(\delta )f( \delta )|_{u}^{v} - \int _{u}^{v} {{ \Omega '}_{g,w,h}}( \delta )f(\delta )\,d\delta \\ &= {I_{1}}-{I_{2}}. \end{aligned}$$

(3.18)

Hence,

$$ {\Omega _{g,w,h}}(v) = - {\Omega _{g,w,h}}(u) = \Gamma (\alpha )\bigl[I_{{u^{+} }}^{\alpha }w(v) + I_{v - }^{\alpha }w(v) \bigr], $$

and

$$\begin{aligned} {{\Omega '}_{g,w,h}}(\delta ) = {}&w(\delta ){(\delta - u)^{\alpha - 1}} + w(u + v - \delta ){(v - \delta )^{\alpha - 1}} \\ &{}+w(\delta ){(v - \delta )^{\alpha - 1}} + w(u+v-\delta ){(\delta - u)^{ \alpha - 1}}. \end{aligned}$$

It can be concluded that,

$$\begin{aligned} {I_{1}} = \Gamma (\alpha ) \bigl(f(u) + f(v)\bigr) \bigl[I_{{u^{+} }}^{\alpha }w(v) + I_{v - }^{\alpha }w(u) \bigr], \end{aligned}$$

(3.19)

and

$$\begin{aligned} I_{2}={}& \int _{u}^{v}{(\delta -u)}^{\alpha -1}w( \delta )f(\delta )\,d \delta + \int _{u}^{v}{(v-\delta )}^{\alpha -1}w(u+v- \delta )f(\delta )\,d \delta \\ &{}+ \int _{u}^{v}{(v-\delta )}^{\alpha -1}w( \delta )f(\delta )\,d\delta + \int _{u}^{v}{(\delta -u)}^{\alpha -1}w(u+v- \delta )f(\delta )\,d \delta \\ ={}&\Gamma (\alpha )\bigl[I_{{v^{-} }}^{\alpha }w(u)F(u) + I_{{u^{+} }}^{ \alpha }w(v)F(v)\bigr]. \end{aligned}$$

(3.20)

The proof is completed by substituting (3.19) and (3.20) into (3.18). □

Corollary 3.8

Under the assumption of Theorem 3.2with ${\Omega _{g,w,h}}(\delta )$, if $k=1$, $g(\delta )=\delta$, and $h(\delta )=\ln\delta$, then

$$\begin{aligned} &\frac{{f(u) + f(v)}}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{v^{-} }}^{\alpha }w(u)\bigr] - \frac{1}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v)F(v) + {}_{H}I_{{v^{-} }}^{\alpha }w(u)F(u)\bigr] \\ &\quad = \frac{1}{{2\Gamma (\alpha )}} \int _{u}^{v} {\Omega _{g,w,h}}( \delta )f'(\delta )\,d\delta , \end{aligned}$$

(3.21)

where,

$$\begin{aligned} {\Omega _{g,w,h}}(\delta ) = \int _{u + v -\delta}^{\delta }{{{(\ln \tau - \ln u)}^{\alpha - 1}}w(\tau )\frac{{d\tau}}{\tau}} + \int _{u + v -\delta}^{\delta }{{{(\ln v - \ln \tau )}^{\alpha - 1}}w(\tau ) \frac{{d\tau}}{\tau}}. \end{aligned}$$

Proof

With the analysis of integration by part, we have

$$\begin{aligned} I&= \int _{u}^{v} {\Omega _{g,w,h}}(\delta )f'(\delta )\,d\delta = { \Omega _{g,w,h}}(\delta )f( \delta )|_{u}^{v} - \int _{u}^{v} {{ \Omega '}_{g,w,h}}( \delta )f(\delta )\,d\delta \\ &= {I_{1}}-{I_{2}}. \end{aligned}$$

(3.22)

Thus,

$$ {\Omega _{g,w,h}}(v) = - {\Omega _{g,w,h}}(u) = \Gamma (\alpha )\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{ v^{-} }}^{\alpha }w(v)\bigr], $$

and

$$\begin{aligned} {{\Omega '}_{g,w,h}}(\delta ) ={}& {(\ln \delta - \ln u)^{\alpha - 1}} \frac{{w(\delta )}}{\delta } + { \bigl(\ln (u + v - \delta ) - \ln u \bigr)^{\alpha - 1}}\frac{{w(u + v - \delta )}}{{u + v - \delta }} \\ &{}+{(\ln v - \ln \delta )^{\alpha - 1}}\frac{{w(\delta )}}{\delta } + { \bigl(\ln (u + v - \delta ) - \ln \delta \bigr)^{\alpha - 1}} \frac{{w(u + v - \delta )}}{{u + v - \delta }}. \end{aligned}$$

Owing to

$$\begin{aligned} {I_{1}} = \Gamma (\alpha ) \bigl(f(u) + f(v)\bigr) \bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{ v^{-} }}^{\alpha }w(v)\bigr], \end{aligned}$$

(3.23)

and

$$\begin{aligned} I_{2}={}& \int _{u}^{v}{(\ln \delta - \ln u)^{\alpha - 1}} \frac{{w(\delta )}}{\delta }f(\delta )\,d\delta \\ &{}+ \int _{u}^{v}{ \bigl( \ln (u + v - \delta ) - \ln u \bigr)^{\alpha - 1}} \frac{{w(u + v - \delta )}}{{u + v - \delta }}f(\delta )\,d\delta \\ &{}+ \int _{u}^{v}{(\ln v - \ln \delta )^{\alpha - 1}} \frac{{w(\delta )}}{\delta } f(\delta )\,d\delta \\ &{} + \int _{u}^{v}{ \bigl( \ln (u + v - \delta ) - \ln \delta \bigr)^{\alpha - 1}} \frac{{w(u + v - \delta )}}{{u + v - \delta }}f(\delta )\,d\delta \\ ={}&\Gamma (\alpha )\bigl[{}_{H}I_{{ v^{-} }}^{\alpha }w(u)F(u) + {}_{H}I_{{u^{+} }}^{\alpha }w(v)F(v)\bigr]. \end{aligned}$$

(3.24)

By adding (3.23) and (3.24) into (3.22), which is completed the proof. □

Theorem 3.3

Let all conditions in the hypothesis of Theorem 3.1hold true. If $|f'|$ is a convex mapping on $[u,v]$ with $\alpha >0$, then the following inequality hold:

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2}\bigl[{}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v) + {}_{{v^{-} }}^{k}I_{h}^{\alpha }{}_{g}w(u) \bigr] - \frac{1}{2}\bigl[{}_{{u^{+} }}^{k}I_{h}^{\alpha }{}_{g}w(v)F(v) + {}_{{v^{-} }}^{k}I_{h}^{ \alpha }{}_{g}w(u)F(u) \bigr]} \biggr\vert \\ &\quad \le \frac{{\digamma _{g,w,h}^{\alpha }(u,u) + \digamma _{g,w,h}^{\alpha }(v,v)}}{{2k{\Gamma _{k}}(\alpha )(v - u)}}\bigl[ \bigl\vert f'(u) \bigr\vert + \bigl\vert f'(v) \bigr\vert \bigr], \end{aligned}$$

(3.25)

where the mapping $\digamma _{g,w,h}^{\alpha}$ is defined as in (3.1).

Proof

Using the use of Theorem 3.2 and the convexity of $|f'|$, we acquire

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2}\bigl[{}_{{u^{+} }}^{k}I{{_{h}^{\alpha }}_{g}}w(v) + {}_{{v^{-} }}^{k}I{{_{h}^{\alpha }}_{g}}w(u) \bigr] - \frac{1}{2}\bigl[{}_{{u^{+} }}^{k}I{{_{h}^{\alpha }}_{g}}w(v)F(v) + {}_{{v^{-} }}^{k}I{{_{h}^{ \alpha }}_{g}}w(u)F(u) \bigr]} \biggr\vert \\ &\quad \le \frac{1}{{2k{\Gamma _{k}}(\alpha )}} \int _{u}^{v} { \bigl\vert {{ \Omega _{g,w,h}}(\delta )} \bigr\vert } \bigl\vert {f'( \delta )} \bigr\vert \,d\delta , \end{aligned}$$

and

$$ \bigl\vert f'(\delta ) \bigr\vert = \biggl\vert f' \biggl(\frac{{v - \delta}}{{v - u}}u + \frac{{\delta - u}}{{v - u}}v \biggr) \biggr\vert \le \frac{{v - \delta}}{{v - u}} \bigl\vert f'(u) \bigr\vert + \frac{{\delta - u}}{{v - u}} \bigl\vert f'(v) \bigr\vert . $$

Thus,

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2}\bigl[{}_{{u^{+} }}^{k}I{{_{h}^{\alpha }}_{g}}w(v) + {}_{{v^{-} }}^{k}I{{_{h}^{\alpha }}_{g}}w(u) \bigr] - \frac{1}{2}\bigl[{}_{{u^{+} }}^{k}I{{_{h}^{\alpha }}_{g}}w(v)F(v) + {}_{{v^{-} }}^{k}I{{_{h}^{ \alpha }}_{g}}w(u)F(u) \bigr]} \biggr\vert \\ &\quad \le \frac{{ \vert f'(u) \vert }}{{2k{\Gamma _{k}}(\alpha )(v - u)}} \int _{u}^{v} { \bigl\vert {{\Omega _{g,w,h}}(\delta )} \bigr\vert } (v - \delta )\,d\delta \\ &\qquad{}+ \frac{{ \vert f'(v) \vert }}{{2k{\Gamma _{k}}(\alpha )(v - u)}} \int _{u}^{v} { \bigl\vert {{\Omega _{g,w,h}}(\delta )} \bigr\vert } (\delta - u)\,d\delta . \end{aligned}$$

(3.26)

Since h is an monotonically increasing function and w is non-negative, the definition of g satisfies (1.11) to (1.14). Hence, ${\Omega _{g,w,h}}$ is a increasing function on $[u,v]$, we get

$$\begin{aligned} {\Omega _{g,w,h}}(u) = - & \int _{u}^{v} { \frac{{h'(\tau )w(\tau )g[h(\tau ) - h(u)]}}{{h(\tau ) - h(u)}}} {\bigl[h( \tau ) - h(u)\bigr]^{\frac{\alpha }{k} - 1}}\,d\tau \\ & - \int _{u}^{v} { \frac{{h'(\tau )w(\tau )g[h(v) - h(\tau )]}}{{h(v) - h(\tau )}}} { \bigl[h(v) -h(\tau )\bigr]^{\frac{\alpha }{k} - 1}}\,d\tau < 0, \end{aligned}$$

and

$$ {\Omega _{g,w,h}} \biggl(\frac{{u + v}}{2} \biggr)= 0. $$

As a result, we get

$$\begin{aligned} \textstyle\begin{cases} {\Omega _{g,w,h}}(\delta ) \le 0,&u \le \delta \le \frac{{u + v}}{2}, \\ {\Omega _{g,w,h}}(\delta ) > 0,&\frac{{u + v}}{2} \le \delta \le v. \end{cases}\displaystyle \end{aligned}$$

Therefore, it follows that

$$\begin{aligned} &\int _{u}^{v}{ \bigl\vert {\Omega _{g,w,h}}(\delta ) \bigr\vert (v - u)\,d\delta} \\ &\quad= \int _{u}^{\frac{{u + v}}{2}} { \biggl( { \int _{\delta}^{u + v - \delta} { \frac{{h'(\tau )w(\tau )g[h(\tau ) - h(u)]}}{{[h(\tau ) - h(u)]}}} {{ \bigl[h( \tau ) - h(u)\bigr]}^{\frac{\alpha }{k} - 1}}}\,d\tau \biggr)} (v - \delta )\,d \delta \\ &\qquad{}+ \int _{\frac{{u + v}}{2}}^{v} { \biggl( { \int _{u + v - \delta}^{ \delta }{ \frac{{h'(\tau )w(\tau )g[h(\tau ) - h(u)]}}{{[h(\tau ) - h(u)]}}} {{ \bigl[h( \tau ) - h(u)\bigr]}^{\frac{\alpha }{k} - 1}}}\,d\tau \biggr) (v - \delta )\,d \delta} \\ &\qquad{}+ \int _{u}^{\frac{{u + v}}{2}} { \biggl( { \int _{\delta}^{u + v - \delta} { \frac{{h'(\tau )w(\tau )g[h(v) - h(\tau )]}}{{[h(v) - h(\tau )]}}} {{ \bigl[h(v) - h(\tau )\bigr]}^{\frac{\alpha }{k} - 1}}}\,d\tau \biggr)} (v - \delta )\,d \delta \\ &\qquad{}+ \int _{\frac{{u + v}}{2}}^{v} { \biggl( { \int _{u + v - \delta}^{ \delta }{ \frac{{h'(\tau )w(\tau )g[h(v) - h(\tau )]}}{{[h(v) - h(\tau )]}}} {{ \bigl[h(v) - h(\tau )\bigr]}^{\frac{\alpha }{k} - 1}}}\,d\tau \biggr)} (v -\delta )\,d \delta \\ &\quad=\digamma _{g,w,h}^{\alpha }(v,u) + \digamma _{g,w,h}^{\alpha }(v,v). \end{aligned}$$

From (3.26), we acquire

$$\begin{aligned} \int _{u}^{v} { \bigl\vert {\Omega _{g,w,h}}(\delta ) \bigr\vert (v - \delta )\,d\delta = } \digamma _{g,w,h}^{\alpha }(u,u) + \digamma _{g,w,h}^{\alpha }(v,v). \end{aligned}$$

(3.27)

And similarly, it is clear that

$$\begin{aligned} \int _{u}^{v} { \bigl\vert {\Omega _{g,w,h}}(\delta ) \bigr\vert (\delta - u)\,d\delta = } \digamma _{g,w,h}^{\alpha }(u,u) + \digamma _{g,w,h}^{\alpha }(v,v). \end{aligned}$$

(3.28)

If we plug (3.27) and (3.28) back into (3.26), the proof is complete. □

Corollary 3.9

Under the assumption of Theorem 3.3, if $k=1$ and $h(\delta )=g(\delta )=\delta$, w is a symmetric to $\frac{(u+v)}{2}$, then

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }w(v) +I_{{v^{-} }}^{\alpha }w(u)\bigr] - \bigl[I_{{u^{+} }}^{\alpha }w(v)F(v) + I_{{v^{-} }}^{ \alpha }w(u)F(u)\bigr]} \biggr\vert \\ &\quad \le \frac{{{{(v - u)}^{\alpha + 1}}{{ \Vert w \Vert }_{\infty }}}}{{\Gamma (\alpha + 2)}} \biggl(1 - \frac{1}{{{2^{\alpha }}}} \biggr)\bigl[ \bigl\vert f'(u) \bigr\vert + \bigl\vert f'(v) \bigr\vert \bigr], \end{aligned}$$

which is proved by Iscan in [29].

Corollary 3.10

Under the assumption of Theorem 3.3, if $k=1$, and $g(\delta )=\delta$, then

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)\bigr] - \frac{1}{2}\bigl[I_{{u^{+} }}^{\alpha }{}_{h}w(v)F(v) + I_{{v^{-} }}^{\alpha }{}_{h}w(u)F(u)\bigr]} \biggr\vert \\ &\quad \le \frac{{\digamma _{w,h}^{\alpha }(u,u) + \digamma _{w,h}^{\alpha }(v,v)}}{{2\Gamma (\alpha )(v - u)}}\bigl[ \bigl\vert f'(u) \bigr\vert + \bigl\vert f'(v) \bigr\vert \bigr], \end{aligned}$$

Budak proved this inequality in [26].

Corollary 3.11

Under the assumption of Theorem 3.3, if $k=1$, $g(\delta )=\delta$, and $h(\delta )=\ln\delta$, then the following fractional Hadamard inequality holds:

$$\begin{aligned} &\frac{{f(u) + f(v)}}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v) + {}_{H}I_{{v^{-}}}^{\alpha }w(u)\bigr] - \frac{1}{2}\bigl[{}_{H}I_{{u^{+} }}^{\alpha }w(v)F(v) + {}_{H}I_{{v^{-}}}^{\alpha }w(u)F(u)\bigr] \\ &\quad \le \frac{{\digamma _{w,\ln}^{\alpha }(u,u) + \digamma _{w,\ln}^{\alpha }(v,v)}}{{2\Gamma (\alpha )(v - u)}}\bigl[ \bigl\vert f'(u) \bigr\vert + \bigl\vert f'(v) \bigr\vert \bigr]. \end{aligned}$$

Proof

The proof of this result is quiet similar to that given earlier for the Theorem 3.3 and so is omitted. □

Corollary 3.12

Under the assumption of Theorem 3.3, if $k=1$ and $g(\delta )=\delta$, then the following inequality holds:

$$\begin{aligned} & \biggl\vert {\frac{{f(u) + f(v)}}{2} - \frac{{\Gamma (\alpha + 1)}}{{4{{[h(b) - h(a)]}^{\alpha }}}} \bigl( {I{{_{{u^{+} }}^{\alpha }}_{h}}F(v) + I{{_{{v^{-} }}^{\alpha }}_{h}}F(u)} \bigr)} \biggr\vert \\ &\quad \le \frac{{L_{h}^{\alpha }(b,b) + L_{h}^{\alpha }(b,b) - L_{h}^{\alpha }(b,a) - L_{h}^{\alpha }(a,a)}}{{4{{[h(b) - h(a)]}^{\alpha }}(v - u)}} \bigl( { \bigl\vert {f'(u)} \bigr\vert + \bigl\vert {f'(v)} \bigr\vert } \bigr), \end{aligned}$$

where the mapping ${L_{h}^{\alpha }}$ is defined by

$$\begin{aligned} L_{h}^{\alpha }(m,n) = \int _{u}^{\frac{{u + v}}{2}} {{{ \bigl\vert {h(n) - h(\delta )} \bigr\vert }^{\alpha }} \vert {x - m} \vert }\,d\delta + \int _{\frac{{u + v}}{2}}^{v} {{{ \bigl\vert {h(n) - h(\delta )} \bigr\vert }^{ \alpha }} \vert {x - m} \vert }\,d\delta . \end{aligned}$$

Jleli and Samet proved this inequality in [25].

Corollary 3.13

Under the assumption of Theorem 3.3, if $k=1$, $w(\delta )=1$, and $g(\delta )=h(\delta )=\delta$, then the following inequality holds:

$$\begin{aligned} \biggl\vert {\frac{{f(u) + f(v)}}{2} - \frac{{\Gamma (\alpha + 1)}}{{2{{(b - a)}^{\alpha }}}} \bigl( {I_{{u^{+} }}^{\alpha }f(v) + I_{{v^{-} }}^{\alpha }f(u)} \bigr)} \biggr\vert \le \frac{{(v - u)}}{{2(\alpha + 1)}} \biggl( {1 - \frac{1}{{{2^{\alpha }}}}} \biggr) \bigl( {f'(u) + f'(v)} \bigr) \end{aligned}$$

which is proved by Sarikaya in [11].

4 Application examples

In this section, we provide two examples to illustrate the applications of results obtained in the previous section.

Example 1

Let $0< u< v$, we can get the following special inequalities

$$\begin{aligned} \frac{{{{(u + v)}^{2}}}}{4}\le \frac{{({u^{2}} + uv + {v^{2}})}}{3} \le \frac{{{u^{2}} + {v^{2}}}}{2}. \end{aligned}$$

(4.1)

Proof

Taking $\phi (x)=x^{2}$, $x\in (0,\infty )$ and $f=x^{2}$. So, according to the result in Corollary 3.2, we have

$$\begin{aligned} \frac{{{{(u + v)}^{2}}}}{4} \le \frac{1}{{{{(v - u)}^{2}}}} \biggl( { \int _{u}^{v} {(v - \delta ){\delta ^{2}}\,d\delta + \int _{u}^{v} {( \delta - u){\delta ^{2}}\,d\delta } } } \biggr) \le \frac{{{u^{2}} + {v^{2}}}}{2}. \end{aligned}$$

Simplifying the above inequalities, we can obtain (4.1). □

Example 2

Let $0< u< v$, we can get the following special inequalities

$$\begin{aligned} \biggl\vert {\frac{{{u^{2}} + {v^{2}}}}{2} - \frac{{3\pi }}{{16}} \biggl( { \frac{{2({u^{2}} + {v^{2}})}}{3} - \frac{{24{{(v - u)}^{2}}}}{{105}}} \biggr)} \biggr\vert \le \frac{{(4 - \sqrt {2} )({v^{2}} - {u^{2}})}}{{10}}. \end{aligned}$$

(4.2)

Proof

Taking $\alpha =\frac{3}{2}$ and $f=x^{2}$. So, according to the result in Corollary 3.13, we have

$$\begin{aligned} \biggl\vert {\frac{{{u^{2}} + {v^{2}}}}{2} - \frac{{\Gamma ({5 / 2})\Gamma ({3 / 2})}}{{2{{(v - u)}^{{3 / 2}}}}} \biggl( { \int _{u}^{v} { \bigl[ {{{(v - \delta )}^{{1 / 2}}} + {{(\delta - u)}^{{1 / 2}}}} \bigr]} {\delta ^{2}}\,d \delta } \biggr)} \biggr\vert \le \frac{{(4 - \sqrt {2} )({v^{2}} - {u^{2}})}}{{10}}. \end{aligned}$$

By computation, we can obtain (4.2). □

5 Conclusions

Convexity and fractional integral operators are the most important tools to deal with Hermite-Hadamard inequality problems. In the present paper, a more general fractional operator was proposed (see Sect. 2), which generalizes some well-known fractional integral operators, such as Riemann-Liouville fractional integral, Katugampola fractional integral, k-Riemann-Liouville fractional integral, Hadamard fractional integral, conformable fractional integral, fractional integral with the exponential kernel, and fractional integral with respect to another function. New inequalities of the Hermite-Hadamard type for convex function were established under the framework of this integral operator. Noteworthy, the obtained results can be reduced to some known results in the literature, see for instance [11, 23, 25–29].

In recent years, the fractional Hermite-Hadamard-type inequalities have been one of the hot research topics in fractional calculus theory. Therefore, this research is valuable and meaningful. Finally, it was pointed out that there is still some work to be done in the future, such as: discussing the Hermite-Hadamard-type inequalities for s-convex functions involving fractional integral (2.1)–(2.2), studying Hermite-Jensen-Mercer type inequalities via integral (2.1)–(2.2), and considering Hermite-Hadamard-type inequalities for MT-convex functions using integral (2.1)–(2.2).