# New generalized fractional versions of Hadamard and Fejér inequalities for harmonically convex functions

## Abstract

The aim of this paper is to establish new generalized fractional versions of the Hadamard and the Fejér–Hadamard integral inequalities for harmonically convex functions. Fractional integral operators involving an extended generalized Mittag-Leffler function which are further generalized via a monotone increasing function are utilized to get these generalized fractional versions. The results of this paper give several consequent fractional inequalities for harmonically convex functions for known fractional integral operators deducible from utilized generalized fractional integral operators.

## Introduction

Fractional integral inequalities are generalizations of classical integral inequalities. Hadamard and Fejér–Hadamard inequalities are the inequalities which have been studied extensively for different fractional integral/derivative operators, see [1, 46, 810, 14, 16, 17, 23, 25, 27, 30, 33, 34, 3638, 42, 44]. The main objective of this paper is to prove some new fractional generalizations of Hadamard and the Fejér–Hadamard inequalities for harmonically convex functions. We begin with fractional integral operators defined by Salim and Faraj in [35] containing generalized Mittag-Leffler function in their kernels as follows:

### Definition 1

([35])

Let σ, τ, k, r, ρ be positive real numbers and $$\omega \in \mathbb{R}$$. Then the generalized fractional integral operators containing Mittag-Leffler function for a real-valued continuous function f are defined by

\begin{aligned}& \bigl( \epsilon _{\sigma ,\tau ,\delta ,\omega ,a^{+}}^{\rho ,r,k}f \bigr) (x)= \int _{a}^{x}(x-t)^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k} \bigl(\omega (x-t)^{\sigma }\bigr)f(t)\,dt, \end{aligned}
(1.1)
\begin{aligned}& \bigl( \epsilon _{\sigma ,\tau ,\delta ,\omega ,b_{-}}^{\rho ,r,k}f \bigr) (x)= \int _{x}^{b}(t-x)^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k} \bigl(\omega (t-x)^{\sigma }\bigr)f(t)\,dt, \end{aligned}
(1.2)

where $$E_{\sigma ,\tau ,\delta }^{\rho ,r,k}(t)$$ is the generalized Mittag-Leffler function defined as

$$E_{\sigma ,\tau ,\delta }^{\rho ,r,k}(t)= \sum _{n=0}^{\infty } \frac{(\rho )_{kn} t^{n}}{\varGamma (\sigma n+\tau ) (r)_{\delta n}}.$$
(1.3)

The connection of Mittag-Leffler function with fractional calculus is very useful and well-established. Its alliance with fractional integral operators as a kernel plays a vital role in the development of the theory and applications of fractional calculus in various subjects of science and engineering [12, 13, 1822, 24, 28, 29, 31, 35, 39, 43]. In [2] Andrić et al. defined the following fractional integral operators containing an extended generalized Mittag-Leffler function in their kernels:

### Definition 2

([2])

Let $$\omega ,\tau , \delta , \rho , c\in \mathbb{C}$$, $$\Re (\tau ), \Re (\delta )>0$$, $$\Re (c)>\Re (\rho )>0$$, with $$p\geq 0$$, $$\sigma , r>0$$ and $$0< k\leq r+\sigma$$. Let $$f\in L_{1}[a,b]$$ and $$x\in [a,b]$$. Then the generalized fractional integral operators $$\epsilon _{\sigma ,\tau ,\delta ,\omega ,a^{+}}^{\rho ,r,k,c}f$$ and $$\epsilon _{\sigma ,\tau ,\delta ,\omega ,b^{-}}^{\rho ,r,k,c}f$$ are defined by

\begin{aligned}& \bigl(\epsilon _{\sigma ,\tau ,\delta ,\omega ,a^{+}}^{\rho ,r,k,c}f \bigr) (x;p)= \int _{a}^{x}(x-t)^{\tau -1} E_{\sigma ,\tau ,\delta }^{ \rho ,r,k,c} \bigl(\omega (x-t)^{\sigma };p\bigr)f(t)\,dt, \end{aligned}
(1.4)
\begin{aligned}& \bigl(\epsilon _{\sigma ,\tau ,\delta ,\omega ,b^{-}}^{\rho ,r,k,c}f \bigr) (x;p)= \int _{x}^{b}(t-x)^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k,c} \bigl(\omega (t-x)^{\sigma };p\bigr)f(t)\,dt, \end{aligned}
(1.5)

where

$$E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(t;p)= \sum _{n=0}^{\infty } \frac{\beta _{p}(\rho +nk, c-\rho ) (c)_{nk} t^{n}}{\beta (\rho , c-\rho ){\varGamma (\sigma n+\tau )} (\delta )_{nr}}$$
(1.6)

is the extended generalized Mittag-Leffler function.

In [7] (see, also [26]) Farid elegantly defined a unified integral operator as follows:

### Definition 3

Let $$f, g: [a,b]\rightarrow \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 $$\omega ,\tau , \delta , \rho , c\in \mathbb{C}$$, $$\Re (\tau ), \Re (\delta )>0$$, $$\Re (c)>\Re (\rho )>0$$, with $$p\geq 0$$, $$\sigma , r>0$$ and $$0< k\leq r+\sigma$$. Then for $$x\in [a,b]$$ the integral operators $$({}_{g}F_{\sigma , \tau , \delta ,\omega , a^{+}}^{\phi , \rho , r, k, c}f)$$ and $$({}_{g}F_{\sigma , \tau , \delta ,\omega , b^{-}}^{\phi , \rho , r, k, c}f)$$ are defined by

\begin{aligned} \bigl({}_{g}F_{\sigma , \tau , \delta ,\omega , a^{+}}^{\phi , \rho , r, k, c}f\bigr) (x;p)&= \int _{a}^{x}\frac{\phi (g(x)-g(t))}{g(x)-g(t)} E_{\sigma , \tau , \delta }^{\rho , r, k, c} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\sigma };p\bigr)f(t)\,d\bigl(g(t)\bigr), \end{aligned}
(1.7)
\begin{aligned} \bigl({}_{g}F_{\sigma , \tau , \delta ,\omega , b^{-}}^{\phi , \rho , r, k, c}f\bigr) (x;p)&= \int _{x}^{b}\frac{\phi (g(t)-g(x))}{g(t)-g(x)} E_{\sigma , \tau , \delta }^{\rho , r, k, c} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\sigma };p\bigr)f(t)\,d\bigl(g(t)\bigr). \end{aligned}
(1.8)

A generalization of integral operators defined in (1.4), (1.5) can be deduced from the above definition by taking $$\phi (t)=t^{\tau }$$ as follows:

### Definition 4

Let $$f, g: [a,b]\rightarrow \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 $$\omega ,\tau , \delta , \rho , c\in \mathbb{C}$$, $$\Re (\tau ), \Re (\delta )>0$$, $$\Re (c)>\Re (\rho )>0$$, with $$p\geq 0$$, $$\sigma , r>0$$, and $$0< k\leq r+\sigma$$. Then for $$x\in [a,b]$$ the integral operators are defined by

\begin{aligned} \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , a^{+}}^{\rho , r, k, c} f \bigr) (x;p)&= \int _{a}^{x}\bigl(g(x)-g(t)\bigr)^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho , r, k, c} \bigl(\omega \bigl(g(x)-g(t)\bigr)^{\sigma };p\bigr)f(t)\,d\bigl(g(t)\bigr), \\ \end{aligned}
(1.9)
\begin{aligned} \bigl({}_{g}\varUpsilon _{\sigma ,\tau ,\delta , \omega , b^{-}}^{\rho , r, k, c} f \bigr) (x;p)&= \int _{x}^{b}\bigl(g(t)-g(x)\bigr)^{\tau -1}E_{\sigma , \tau ,\delta }^{\rho , r, k, c} \bigl(\omega \bigl(g(t)-g(x)\bigr)^{\sigma };p\bigr)f(t)\,d\bigl(g(t)\bigr). \end{aligned}
(1.10)

Fractional integral operators (1.9), (1.10) produce some already known integral operators, see [33, Remark 1].

We are interested in utilizing fractional integral operators (1.9), (1.10) for the establishment of Hadamard and Fejér–Hadamard inequalities for harmonically convex functions. The classical Hadamard inequality is an elegant geometric interpretation of convex functions.

### Definition 5

([41])

A function $$f: [a,b]\rightarrow \mathbb{R}$$ is said to be convex if

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

holds for all $$x,y \in [a,b]$$ and $$t \in [0,1]$$.

Hadamard inequality is stated in the following theorem:

### Theorem 1.1

Let$$f:[a,b]\rightarrow \mathbb{R}$$, $$a< b$$, be a convex function. Then the following inequality holds:

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

Fejér–Hadamard inequality is a weighted version of Hadamard inequality proved by Fejér in [11] which is stated in the following theorem:

### Theorem 1.2

Let$$f:[a, b]\rightarrow \mathbb{R}$$be a convex function and$$g:[a, b]\rightarrow \mathbb{R}$$be a nonnegative, integrable, and symmetric about$$\frac{a+b}{2}$$. Then the following inequality holds:

\begin{aligned} &f \biggl(\frac{a+b}{2} \biggr) \int _{a}^{b}g(x)\,dx\leq \int _{a}^{b}f(x)g(x)\,dx \leq \frac{f(a)+f(b)}{2} \int _{a}^{b}g(x)\,dx. \end{aligned}
(1.12)

Next we give the definition of harmonically convex functions [14].

### Definition 6

Let I be an interval of nonzero real numbers. Then a function $$f: I\rightarrow \mathbb{R}$$ is said to be harmonically convex if

$$f \biggl(\frac{ab}{ta+(1-t)b} \biggr)\leq tf(b)+(1-t)f(a)$$
(1.13)

holds for all $$a,b\in I$$ and $$t\in [0,1]$$. If the reversed inequality holds in (1.13), then f is called a harmonically concave function.

### Example 1.3

([14])

Let $$f:(0,\infty )\rightarrow \mathbb{R}$$, $$f(x) = x$$, and $$g : (-\infty , 0) \to \mathbb{R}$$, $$g(x) = x$$. Then f is a harmonically convex function and g is a harmonically concave function.

The above example gives following result.

### Proposition 1.4

([14])

Let$$I\subset \mathbb{R}\setminus \{0\}$$be a real interval and$$f: I\to \mathbb{R}$$is a function.

1. (i)

If$$I\subset (0,\infty )$$andfis convex and nondecreasing function, then is harmonically convex.

2. (ii)

If$$I\subset (0,\infty )$$andfis harmonically convex and nonincreasing function, thenfis convex.

3. (iii)

If$$I\subset (-\infty ,0)$$andfis harmonically convex and nondecreasing function, thenfis convex.

4. (iv)

If$$I\subset (-\infty ,0)$$andfis convex and nonincreasing function, thenfis a harmonically convex.

### Definition 7

([25])

A function $$\varphi :[a,b]\subset \mathbb{R}\setminus \{0\}\rightarrow \mathbb{R}$$ is said to be harmonically symmetric about $$\frac{a+b}{2ab}$$ if

\begin{aligned} \varphi \biggl(\frac{1}{x} \biggr)=\varphi \biggl( \frac{1}{\frac{1}{a}+\frac{1}{b}-x} \biggr),\quad x\in [a,b]. \end{aligned}

For some recent work on harmonically convex functions, we refer readers to [1, 3, 9, 14, 25, 30] and references therein. In this paper, we extend the work of Abbas et al. [1] and Farid et al. [9] for Hadamard and Fejér–Hadamard-type inequalities by using (1.9) and (1.10).

In Sect. 3, we prove two fractional versions of Hadamard and two fractional versions of Fejér–Hadamard-type inequalities for harmonically convex functions by using fractional integral operators (1.9) and (1.10). Furthermore, the associated published results are obtained which are identified in remarks, some corollaries are also given.

## Main results

### Theorem 2.1

Let$$f, g: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range} (g)\subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, andgis differentiable and strictly increasing. Iffis a harmonically convex function on$$[a,b]$$, then for fractional integral operators (1.9) and (1.10) we have

\begin{aligned} &f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{1}{g(a)}) )}^{-}}^{\rho , r, k, c}1 \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \frac{1}{2} \biggl( \bigl({}_{g} \varUpsilon _{\sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{1}{g(a)}) )}^{-}}^{ \rho , r, k, c} f\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \\ &\qquad {} + \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{1}{g(b)}) )}^{+}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr) \biggr) \\ &\quad \leq \frac{f(g(a))+f(g(b))}{2} \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{1}{g(b)}) )}^{+}}^{\rho , r, k, c}1 \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr), \end{aligned}
(2.1)

where$$\psi (t)=\frac{1}{g(t)}$$for all$$t\in [\frac{1}{b},\frac{1}{a}]$$and$$\omega '=\omega (\frac{g(a)(b)}{g(b)-g(a)} )^{\sigma }$$.

### Proof

Since f is harmonically convex on $$[a,b]$$, for $$x,y\in [a,b]$$, the following inequality holds:

$$f \biggl(\frac{2g(x)g(y)}{g(x)+g(y)} \biggr)\leq \frac{f(g(x))+f(g(y))}{2}.$$
(2.2)

By taking $$g(x)=\frac{g(a)g(b)}{tg(b)+(1-t)g(a)}$$ and $$g(y)=\frac{g(a)g(b)}{tg(a)+(1-t)g(b)}$$ in (2.2), we have

$$2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr)\leq f \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)+f \biggl( \frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr).$$
(2.3)

Multiplying (2.3) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega (t^{\sigma });p)$$ and integrating over $$[0,1]$$, we get

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \int _{0}^{1}t^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)\,dt \\ &\quad \leq \int _{0}^{1}t^{ \tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr) f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr) f \biggl(\frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)\,dt. \end{aligned}
(2.4)

By setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ and $$g(y)=\frac{tg(a)+(1-t)g(b)}{g(a)g(b)}$$ in (2.4) and using (1.9), (1.10), the first inequality of (2.1) can be obtained. On the other hand, using harmonic convexity of f, we have

$$f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)+f \biggl( \frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)\leq f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr).$$
(2.5)

Multiplying (2.5) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega (t^{\sigma });p)$$ and then integrating over $$[0,1]$$, we get

\begin{aligned} & \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr) f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{1}t^{\tau -1} E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr) f \biggl(\frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)\,dt \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \int _{0}^{1}t^{\tau -1} E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)\,dt. \end{aligned}
(2.6)

By setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ and $$g(y)=\frac{tg(a)+(1-t)g(b)}{g(a)g(b)}$$ in (2.6), and using (1.9), (1.10), the second inequality of (2.1) can be obtained. □

### Remark 2.2

1. (i)

By setting $$p=0$$ and $$g=I$$, [1, Theorem 3.1] is obtained.

2. (ii)

By setting $$g=I$$, [9, Theorem 2.1] is obtained.

3. (iii)

By setting $$\omega =p=0$$, $$g=I$$, [15, Theorem 4] is obtained.

### Corollary 2.3

If we take$$\psi (x)=x$$in Theorem 2.1, then we get the following inequalities:

\begin{aligned} &f \biggl(\frac{2}{a+b} \biggr) \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', { (\frac{1}{a} )}^{-}}^{\rho , r, k, c}1 \bigr) \biggl(\frac{1}{b};p \biggr) \\ &\quad \leq \frac{1}{2} \biggl( \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', { (\frac{1}{a} )}^{-}}^{\rho , r, k, c}f \bigr) \biggl(\frac{1}{b};p \biggr)+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', { (\frac{1}{b} )}^{+}}^{\rho , r, k, c}f \bigr) \biggl( \frac{1}{a};p \biggr) \biggr) \\ &\quad \leq \frac{f(\frac{1}{a})+f(\frac{1}{b})}{2} \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', { (\frac{1}{b} )}^{+}}^{ \rho , r, k, c}1 \bigr) \biggl(\frac{1}{a};p \biggr), \end{aligned}

wheregis the reciprocal function.

The following lemma is useful to give the next result.

### Lemma 2.4

Let$$f, g: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range}(g)\subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, andgis differentiable and strictly increasing. If$$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, then for operators (1.9) and (1.10) we have:

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl(_{g} \varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad =\frac{1}{2} \biggl( \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {} + \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , ( g^{-1}(\frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr) , \end{aligned}
(2.7)

where$$\psi (t)=\frac{1}{g(t)}$$for all$$t\in [\frac{1}{b},\frac{1}{a}]$$.

### Proof

For operators (1.9) and (1.10), we can write

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \int _{g^{-1}(\frac{1}{g(b)})}^{g^{-1}(\frac{1}{g(a)})} \biggl( \frac{1}{g(a)}-g(t) \biggr)^{\tau -1} E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \biggl(\omega \biggl( \frac{1}{g(a)}-g(t) \biggr)^{\sigma };p \biggr)f \biggl(\frac{1}{g(t)} \biggr)\,d\bigl(g(t)\bigr). \end{aligned}
(2.8)

Replacing $$g(t)$$ by $$\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)$$ in equation (2.8) and then using $$f (\frac{1}{g(x)} ) =f (\frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, we have

\begin{aligned} &\bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl(_{g} \varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr). \end{aligned}
(2.9)

By adding $$({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi ) (g^{-1} (\frac{1}{g(a)} );p )$$ on both sides of (2.9), we have

\begin{aligned} &2 \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \end{aligned}
(2.10)
\begin{aligned} &\qquad {} + \bigl(_{g} \varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr). \end{aligned}
(2.11)

Equations (2.9) and (2.11) give required result. □

### Theorem 2.5

Let$$f, g, h: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range}(g)$$, $$\operatorname{Range} (h) \subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, gis differentiable, strictly increasing, andhis nonnegative and integrable. Iffis harmonically convex and$$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, then for fractional integral operators (1.9) and (1.10) we have:

\begin{aligned} &f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \biggl( \bigl(_{g} \varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}h \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr) \\ &\quad \leq \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {} + \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}fh\circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \frac{f(g(a))+f(g(b))}{2} \biggl( \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{1}{g(b)}) )^{+}}^{ \rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}h \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr), \end{aligned}
(2.12)

where$$\psi (t)=\frac{1}{g(t)}$$for all$$t\in [\frac{1}{b},\frac{1}{a}]$$, $$fh\circ \psi =(f\circ \psi )(h\circ \psi )$$and$$\omega '=\omega (\frac{g(a)g(b)}{g(b)-g(a)} )^{\sigma }$$.

### Proof

Multiplying (2.3) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)h (\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} )$$, then integrating over $$[0,1]$$ we get

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \int _{0}^{1}t^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\quad \leq \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr) h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr) h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt. \end{aligned}
(2.13)

By setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ in (2.13) and using (1.9), (1.10), as well as the condition $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, we have

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', (g^{-1}(\frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad{}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr). \end{aligned}
(2.14)

By using Lemma 2.4 in the above inequality, one can get the first inequality of (2.12). For the second inequality of (2.12), multiplying (2.5) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)h (\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} )$$, then integrating over $$[0,1]$$, we get

\begin{aligned} & \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{1}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \int _{0}^{1}t^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt. \end{aligned}
(2.15)

Setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ in (2.15) and using (1.9), (1.10), as well as the condition $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, we have

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(b)}) )^{+}}^{\rho , r, k, c}fh\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {} + \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{1}{g(a)}) )^{-}}^{\rho , r, k, c}fh\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{1}{g(b)}) )^{+}}^{ \rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr). \end{aligned}
(2.16)

Again using Lemma 2.4 in (2.16), one can get the second inequality of (2.12). □

### Remark 2.6

1. (i)

By setting $$p=0$$, $$h(x)=1$$ and $$g=I$$, [1, Theorem 3.1] is obtained.

2. (ii)

By setting $$g=I$$ and $$h(x)=1$$, [9, Theorem 2.1] is obtained.

3. (iii)

By setting $$\omega =p=0$$, $$h(x)=1$$ and $$g=I$$, [15, Theorem 4] is obtained.

4. (iv)

By setting $$\omega =p=0$$, $$\tau =1$$ and $$g=I$$, [3, Theorem 8] is obtained.

5. (v)

By setting $$\omega =p=0$$, $$\tau =1$$, $$h(x)=1$$ and $$g=I$$, [25, Theorem 2.4] is obtained.

### Theorem 2.7

Let$$f, g: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range}(g) \subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, andgis differentiable and strictly increasing. Iffis harmonically convex on$$[a,b]$$and$$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, then for operators (1.9) and (1.10) we have:

\begin{aligned} &f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', { (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )}^{-}}^{\rho , r, k, c}1 \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \frac{1}{2} \biggl( \bigl({}_{g} \varUpsilon _{\sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )}^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {} + \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', { (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )}^{-}}^{ \rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \biggr) \\ &\quad \leq \frac{f(g(a))+f(g(b))}{2} \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', { (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )}^{+}}^{\rho , r, k, c}1 \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr), \end{aligned}
(2.17)

where$$\psi (t)=\frac{1}{g(t)}$$for$$t\in [\frac{1}{b},\frac{1}{a}]$$and$$\omega '=\omega (\frac{g(a)g(b)}{g(b)-g(a)} )^{\sigma }$$.

### Proof

Multiplying (2.3) by $$2t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)$$ then integrating over $$[0,\frac{1}{2}]$$, we have

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \int _{0}^{\frac{1}{2}}t^{ \tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)\,dt \\ &\quad \leq \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)f \biggl( \frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt. \end{aligned}
(2.18)

Setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ in (2.18) and using $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, as well as (1.9) and (1.10), the first inequality of (2.17) can be obtained.

For the second inequality, multiplying (2.5) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)$$ then integrating over $$[0,\frac{1}{2}]$$, we get

\begin{aligned} & \int _{0}^{\frac{1}{2}} t^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)f \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad {}+ \int _{0}^{ \frac{1}{2}} t^{\tau -1} E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{t g(a)+(1-t)g(b)} \biggr)\,dt \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)\,dt. \end{aligned}
(2.19)

Setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ in (2.19) and using $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, as well as (1.9) and (1.10), the second inequality of (2.17) can be obtained. □

### Remark 2.8

1. (i)

By setting $$p=0$$ and $$g=I$$, [1, Theorem 3.3] is obtained.

2. (ii)

By setting $$g=I$$, [9, Theorem 2.3] is obtained.

3. (iii)

By setting $$\omega =p=0$$ and $$g=I$$, [25, Theorem 4] is obtained.

To prove the next result, we will use the following lemma:

### Lemma 2.9

Let$$f, g: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range}(g) \subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, andgis differentiable and strictly increasing. Iffis harmonically convex and$$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, then for fractional integral operators (1.9) and (1.10) we have:

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad =\frac{1}{2} \biggl( \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{ \rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr), \\ &\quad \psi (t)=\frac{1}{g(t)}, t\in \biggl[ \frac{1}{b},\frac{1}{a} \biggr]. \end{aligned}
(2.20)

### Proof

By using Definition 4, we can write

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \int _{g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)})}^{g^{-1}(\frac{1}{g(a)})}\biggl( \frac{1}{g(a)}-g(t) \biggr)^{\tau -1} E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}\biggl( \omega \biggl( \frac{1}{g(a)}-g(t)\biggr)^{\sigma };p\biggr)f\biggl(\frac{1}{g(t)} \biggr)\,d\bigl(g(t)\bigr). \end{aligned}
(2.21)

By replacing $$g(t)$$ with $$\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)$$ in equation (2.21) and using the condition $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, we have

\begin{aligned} & \bigl( {}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl( {}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{ \rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr). \end{aligned}
(2.22)

By adding $$({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi ) (g^{-1} (\frac{1}{g(a)} );p )$$ on both sides of (2.22), we have

\begin{aligned} &2 \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\quad = \bigl( {}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}f \circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {} + \bigl( {}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega , (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}f\circ \psi \bigr) \biggl( g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \end{aligned}
(2.23)

Equations (2.22) and (2.23) give the required result. □

### Theorem 2.10

Let$$f, g, h: [a,b]\rightarrow \mathbb{R}$$, $$0< a< b$$, $$\operatorname{Range}(g), \operatorname{Range}(h) \subset [a,b]$$, be functions such thatfis positive, $$f\in L_{1}[a,b]$$, gis differentiable, strictly increasing, andhis nonnegative and integrable. Iffis harmonically convex and$$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, then for fractional integral operators (1.9) and (1.10) we have

\begin{aligned} &f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \biggl( \bigl(_{g} \varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}h \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr) \\ &\quad \leq \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad{}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \frac{f(g(a))+f(g(b))}{2} \biggl( \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad {}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}h \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \biggr), \end{aligned}
(2.24)

where$$\psi (t)=\frac{1}{g(t)}$$for$$t\in [\frac{1}{b},\frac{1}{a}]$$, $$fh\circ \psi =(f\circ \psi )(h\circ \psi )$$and$$\omega '=\omega (\frac{g(a)g(b)}{g(b)-g(a)} )^{\sigma }$$.

### Proof

Multiplying (2.3) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)h (\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} )$$ then integrating over $$[0,\frac{1}{2}]$$, we have

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \int _{0}^{\frac{1}{2}}t^{ \tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)h \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\quad \leq \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{ \rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)f \biggl( \frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr) h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr) h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt. \end{aligned}
(2.25)

By choosing $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ and using the condition $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$ in (2.25), we have

\begin{aligned} &2f \biggl(\frac{2g(a)g(b)}{g(a)+g(b)} \biggr) \bigl({}_{g}\varUpsilon _{ \sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad{}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr). \end{aligned}
(2.26)

Using Lemma 2.9 in the above inequality, one can get the first inequality of (2.24). For the second part of inequality of (2.24), multiplying (2.5) by $$t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c}(\omega t^{\sigma };p)h (\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} )$$ then integrating over $$[0,\frac{1}{2}]$$, we have

\begin{aligned} & \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\qquad{}+ \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{\sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl( \omega t^{\sigma };p\bigr)f \biggl(\frac{g(a)g(b)}{tg(a)+(1-t)g(b)} \biggr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \int _{0}^{\frac{1}{2}}t^{\tau -1}E_{ \sigma ,\tau ,\delta }^{\rho ,r,k,c} \bigl(\omega t^{\sigma };p\bigr)h \biggl( \frac{g(a)g(b)}{tg(b)+(1-t)g(a)} \biggr)\,dt. \end{aligned}
(2.27)

Setting $$g(x)=\frac{tg(b)+(1-t)g(a)}{g(a)g(b)}$$ in (2.27) and using (1.9), (1.10), as well as the condition $$f (\frac{1}{g(x)} )=f ( \frac{1}{\frac{1}{g(a)}+\frac{1}{g(b)}-g(x)} )$$, we have

\begin{aligned} & \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}fh\circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(a)} \biggr);p \biggr) \\ &\qquad{}+ \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}( \frac{g(a)+g(b)}{2g(a)g(b)}) )^{-}}^{\rho , r, k, c}fh \circ \psi \bigr) \biggl(g^{-1} \biggl(\frac{1}{g(b)} \biggr);p \biggr) \\ &\quad \leq \bigl(f\bigl(g(a)\bigr)+f\bigl(g(b)\bigr) \bigr) \bigl({}_{g}\varUpsilon _{\sigma , \tau , \delta , \omega ', (g^{-1}(\frac{g(a)+g(b)}{2g(a)g(b)}) )^{+}}^{\rho , r, k, c}h\circ \psi \bigr) \biggl(g^{-1} \biggl( \frac{1}{g(a)} \biggr);p \biggr). \end{aligned}
(2.28)

Again using Lemma 2.9 in (2.28), the second inequality of (2.24) can be obtained. □

### Remark 2.11

1. (i)

By setting $$p=0$$ and $$g=I$$, [1, Theorem 3.6] is obtained.

2. (ii)

By setting $$g=I$$, [9, Theorem 2.6] is obtained.

3. (iii)

By setting $$\omega =p=0$$, $$g=I$$ and $$\tau =1$$, [3, Theorem 8], is obtained.

### Corollary 2.12

Setting$$\omega =p=0$$and$$g=I$$in Theorem 2.10, we get the following inequalities via Riemann–Liouville fractional integrals:

\begin{aligned} &f \biggl(\frac{2ab}{a+b} \biggr) \biggl( \bigl( I_{\frac{a+b}{2ab}^{+}}^{ \tau }h \circ \psi \bigr) \biggl(\frac{1}{a} \biggr)+ \bigl( I_{ \frac{a+b}{2ab}^{-}}^{\tau }h \circ \psi \bigr) \biggl(\frac{1}{b} \biggr) \biggr) \\ &\quad \leq \bigl(I_{\frac{a+b}{2ab}^{+}}^{\tau }fh\circ \psi \bigr) \biggl( \frac{1}{a} \biggr) + \bigl(I_{\frac{a+b}{2ab}^{-}}^{\tau }fh \circ \psi \bigr) \biggl(\frac{1}{b} \biggr) \\ &\quad \leq \frac{f(a)+f(b)}{2} \biggl( \bigl(I_{\frac{a+b}{2ab}^{+}}^{\tau }h \circ \psi \bigr) \biggl(\frac{1}{a} \biggr)+ \bigl(I_{ \frac{a+b}{2ab}^{-}}^{\tau }h \circ \psi \bigr) \biggl(\frac{1}{b} \biggr) \biggr). \end{aligned}

## Concluding remarks

This paper investigates generalized fractional integral inequalities of Hadamard and Fejér–Hadamard-type for harmonically convex functions. Presented results are generalizations of several inequalities given in [1, 3, 9, 15, 25]. The results of this paper also hold for fractional integral operators defined in [2, 31, 32, 35, 40] and are deducible from the generalized fractional integral operators given in (1.9) and (1.10), see [33, Remark 1].

## References

1. Abbas, G., Farid, G.: Hadamard and Fejér–Hadamard type inequalities for harmonically convex functions via generalized fractional integrals. J. Anal. 25(1), 107–119 (2017)

2. Andrić, M., Farid, G., Pečarić, J.: A generalization of Mittag-Leffler function associated with Opial type inequalities due to Mitrinović and Pečarić. Fract. Calc. Appl. Anal. 21(5), 1377–1395 (2018)

3. Chen, F., Wu, S.: Fejér and Hermite–Hadamard type inequalities for harmonically convex functions. J. Appl. Math. 2014, Article ID 386806 (2014)

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

5. Dahmani, Z.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1(1), 51–58 (2010)

6. Ekinci, A., Ozdemir, M.E.: Some new integral inequalities via Riemann–Liouville integral operators. Appl. Comput. Math. 18(3), 288–295 (2019)

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

8. Farid, G., Mishra, V.N., Mehmood, S.: Hadamard and the Fejér–Hadamard type inequalities for convex and relative convex function via an extended generalized Mittag-Leffler function. Int. J. Anal. Appl. 17(5), 892–903 (2019)

9. Farid, G., Rehman, A.U., Mehmood, S.: Hadamard and Fejér–Hadamard type integral inequalities for harmonically convex functions via an extended generalized Mittag-Leffler function. J. Math. Comput. Sci. 8(5), 630–643 (2018)

10. Farid, G., Rehman, A.U., Zahra, M.: On Hadamard inequalities for relative convex functions via fractional integrals. Nonlinear Anal. Forum 21(1), 77–86 (2016)

11. Fejér, L.: Über die Fourierreihen II. Math. Naturwiss., Anz. Ungar. Akad. Wiss. 24, 369–390 (1906)

12. Giusti, A., Colombaro, I.: Probhakar-like fractional viscoelasticity. Commun. Nonlinear Sci. Numer. Simul. 56, 138–143 (2018)

13. Gorenflo, R., Kilbas, A.A., Mainardi, F., Rogosin, S.V.: Mittag-Leffler Functions, Related Topics and Applications. Springer, Berlin (2016)

14. Iscan, I.: Hermite–Hadamard type inequalities for harmonically convex functions. Hacet. J. Math. Stat. 43(6), 935–942 (2014)

15. Iscan, I., Wu, S.: Hermite–Hadamard type inequalities for harmonically convex functions via fractional integrals. Appl. Math. Comput. 238, 237–244 (2014)

16. Kang, S.M., Abbas, G., Farid, G., Nazeer, W.: A generalized Fejér–Hadamard inequality for harmonically convex functions via generalized fractional integral operator involving special functions and related results. Mathematics 6(7), 122 (2018)

17. Kang, S.M., Farid, G., Nazeer, W., Mehmood, S.: $$(h,m)$$-Convex functions and associated fractional Hadamard and Fejer–Hadamard inequalities via an extended generalized Mittag-Leffler function. J. Inequal. Appl. 2019, 78 (2019)

18. Khan, A., Gomez-Aguilar, J.F., Khan, T.S., Khan, H.: Stability analysis and numerical solutions of fractional order HIV/AIDS model. Chaos Solitons Fractals 122, 119–128 (2019)

19. Khan, A., Khan, H., Gomez-Aguilar, J., Abdeljawad, T.: Existence and Hyers–Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals 1(127), 422–427 (2019)

20. Khan, H., Jarad, F., Abdeljawad, T., Khan, A.: A singular ABC-fractional differential equation with p-Laplacian operator. Chaos Solitons Fractals 1(129), 56–61 (2019)

21. Khan, H., Khan, A., Jarad, F., Shahd, A.: Existence and data dependence theorems for solutions of an ABC-fractional order impulsive system. Chaos Solitons Fractals 131, 109477 (2020). https://doi.org/10.1016/j.chaos.2019.109477

22. Khan, H., Li, Y., Khan, A., Khan, A.: Existence of solution for a fractional-order Lotka–Volterra reaction–diffusion model with Mittag-Leffler kernel. Math. Methods Appl. Sci. 42(9), 3377–3387 (2019). https://doi.org/10.1002/mma.5590

23. Khan, H., Tunc, C., Baleanu, D., Khan, A., Alkhazzan, A.: Inequalities for n-class of functions using the Saigo fractional integral operator. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(3), 2407–2420 (2019)

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

25. Kunt, M., Iscan, I., Yazi, N., Gozutok, U.: On new inequalities of Hermite–Hadamard–Fejér type inequalities for harmonically convex functions via fractional integrals. SpringerPlus 5(1), 1–19 (2016)

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

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

28. Mittag-Leffler, G.M.: Sur la nouvelle fonction. C. R. Acad. Sci. Paris 137, 544–558 (1903)

29. Mubeen, S., Ali, R.S.: Fractional operators with generalized Mittag-Leffler k-function. Adv. Differ. Equ. 2019, 520 (2019)

30. Mumcu, I., Set, E., Akdemir, A.O.: Hermite–Hadamard type inequalities for harmonically convex functions via Katugampola fractional integrals. Miskolc Math. Notes 20(1), 409–424 (2019)

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

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

33. Rao, Y., Yussouf, M., Farid, G., Pečarić, J., Tlili, I.: Further generalizations of Hadamard and Fejér–Hadamard inequalities and error estimations. Adv. Differ. Equ. (in press)

34. Rashid, S., Safdar, F., Akdemir, A.O., Noor, M.A., Noor, K.I.: Some new fractional integral inequalities for exponentially m-convex functions via extended generalized Mittag-Leffler function. J. Inequal. Appl. 2019, 299 (2019)

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

36. Sarikaya, M.Z., Alp, N.: On Hermite–Hadamard–Fejer type integral inequalities for generalized convex functions via local fractional integrals. Open J. Math. Sci. 3(1), 273–284 (2019)

37. Sarikaya, M.Z., Set, E., Yaldiz, H., Basak, N.: Hermite–Hadamard inequalities for fractional integrals and related fractional inequalities. Math. Comput. Model. 57, 2403–2407 (2013)

38. Sarikaya, M.Z., Yildirim, H.: On Hermite–Hadamard type inequalities for Riemann–Liouville fractional integrals. Miskolc Math. Notes 17(2), 1049–1059 (2017)

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

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

41. Toader, G.H.: Some generalization of convexity. In: Proc. Colloq. Approx. Optim, Cluj Napoca (Romania), pp. 329–338 (1984)

42. Waheed, A., Farid, G., Rehman, A.U., Ayub, W.: k-Fractional integral inequalities for harmonically convex functions via Caputo k-fractional derivatives. Bull. Math. Anal. Appl. 10(1), 55–67 (2018)

43. Wiman, A.: Über den Fundamentalsatz in der Teorie der Funktionen $$E_{a}(x)$$. Acta Math. 29, 191–201 (1905)

44. Yaldiz, H., Akdemir, A.O.: Katugampola fractional integrals within the class of convex functions. Turk. J. Sci. III(I), 40–50 (2018)

### Acknowledgements

We thank to the editor and referees for their careful reading and valuable suggestions to make the article reader-friendly. The research work of the second and fifth authors is supported by the Higher Education Commission of Pakistan with Project No. 5421 and Project No. 7962, respectively.

### Availability of data and materials

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

## Funding

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

## Author information

Authors

### Corresponding author

Correspondence to Ghulam Farid.

## Ethics declarations

### Competing interests

It is declared that authors have no competing interests.

Ghulam Farid, Muhammad Yussouf, Khuram Ali Khan and Atiq Ur Rahman contributed equally to this work.

## Rights and permissions

Reprints and Permissions

Qiang, X., Farid, G., Yussouf, M. et al. New generalized fractional versions of Hadamard and Fejér inequalities for harmonically convex functions. J Inequal Appl 2020, 191 (2020). https://doi.org/10.1186/s13660-020-02457-y

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13660-020-02457-y

### Keywords

• Harmonically convex function