Fractional integral inequalities for generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mappings via an extended generalized Mittag–Leffler function

Abstract

The authors discover a new identity concerning differentiable mappings defined on \(\mathbf{m }\)-invex set via general fractional integrals. Using the obtained identity as an auxiliary result, some fractional integral inequalities for generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mappings by involving an extended generalized Mittag–Leffler function are presented. It is pointed out that some new special cases can be deduced from main results. Also these inequalities have some connections with known integral inequalities. At the end, some applications to special means for different positive real numbers are provided as well.

Introduction

The following notations are used throughout this paper. We use I to denote an interval on the real line \({\mathbb {R}}=(-\infty , +\infty ).\) For any subset \(K\subseteq {\mathbb {R}}^{n},\, K^{\circ }\) is the interior of K. The set of integrable functions on the interval [ab] is denoted by L[ab].

The following inequality, named Hermite–Hadamard inequality, is one of the most famous inequalities in the literature for convex functions.

Theorem 1.1

Let \(f:I\subseteq {\mathbb {R}}\longrightarrow {\mathbb {R}}\) be a convex function on I and \(a,b\in I\) with \(a<b.\) Then the following inequality holds:

$$\begin{aligned} f\left( \frac{a+b}{2}\right) \le \frac{1}{b-a}\int _{a}^{b}f(x)dx\le \frac{f(a)+f(b)}{2}. \end{aligned}$$
(1.1)

This inequality (1.1) is also known as trapezium inequality.

The trapezium type inequality has remained an area of great interest due to its wide applications in the field of mathematical analysis. For other recent results which generalize, improve and extend the inequality (1.1) through various classes of convex functions interested readers are referred to [2, 4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23, 25,26,27,28,29,30,31, 33,34,36, 41, 44, 45].

Recently in [1], Andriĉ et al. defined an extended generalized Mittag–Leffler function \(E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(\cdot \,;p)\) as follows.

Definition 1.2

Let \(\mu ,\alpha ,l,\gamma ,c\in {\mathbb {C}},\, {\mathfrak {R}}(\mu ), {\mathfrak {R}}(\alpha ), {\mathfrak {R}}(l)>0,\, {\mathfrak {R}}(c)>{\mathfrak {R}}(\gamma )>0\) with \(p\ge 0, \delta >0\) and \(0<k\le \delta +{\mathfrak {R}}(\mu ).\) Then the extended generalized Mittag-Leffler function \(E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(t;p)\) is defined by

$$\begin{aligned} E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(t;p)=\sum _{n=0}^{+\infty } \frac{\beta _{p}(\gamma +nk,c-\gamma )}{\beta (\gamma ,c-\gamma )}\frac{(c)_{nk}}{\Gamma (\mu n+\alpha )}\frac{t^{n}}{(l)_{n\delta }}, \end{aligned}$$
(1.2)

where \(\beta _{p}\) is the generalized beta function defined by

$$\begin{aligned} \beta _{p}(x,y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}e^{-\frac{p}{t(1-t)}}\mathrm{d}t \end{aligned}$$
(1.3)

and \((c)_{nk}\) is the Pochhammer symbol defined as \(\displaystyle {\frac{\Gamma (c+nk)}{\Gamma (c)}}.\)

In [1], properties of the extended generalized Mittag–Leffler function are studied in details, and it is given that \(E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(t;p)\) is absolutely convergent for \(k<\delta +{\mathfrak {R}}(\mu ).\) For other recent results see [15, 37, 38, 46]. Let S be the sum of series of absolute terms of \(E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(t;p),\) then we have \(\Big |E_{\mu ,\alpha ,l}^{\gamma ,\delta ,k,c}(t;p)\Big |\le S.\) We will use this property of extended generalized Mittag–Leffler function in sequel.

Let us recall some special functions and evoke some basic definitions as follows.

Definition 1.3

[43]   A set \(S\subseteq {\mathbb {R}}^{n}\) is said to be invex set with respect to the mapping \(\eta :S\times S\longrightarrow {\mathbb {R}}^{n},\) if \(x+t\eta (y,x)\in S\) for every \(x,y\in S\) and \(t\in [0,1].\)

The invex set S is also termed an \(\eta \)-connected set.

Definition 1.4

[27] Let \(h: [0,1] \longrightarrow {\mathbb {R}}\) be a non–negative function and \(h \ne 0\). The function f on the invex set K is said to be h-preinvex with respect to \(\eta \), if

$$\begin{aligned} \begin{aligned} f\big (x+t\eta {(y,x)}\big )\le h(1-t)f(x)+h(t)f(y) \end{aligned} \end{aligned}$$
(1.4)

for each \(x, y \in K \) and \(t\in [0,1]\) where \(f(\cdot )>0\).

Clearly, when putting \(h(t)=t\) in Definition 1.4, f becomes a preinvex function [32]. If the mapping \(\eta (y,x)=y-x\) in Definition 1.4, then the non–negative function f reduces to h-convex mappings [40].

Definition 1.5

[42] Let \(S\subseteq {\mathbb {R}}^{n}\) be an invex set with respect to \(\eta :S\times S\longrightarrow {\mathbb {R}}^{n}.\) A function \(f: S\longrightarrow [0,+\infty )\) is said to be s-preinvex (or s-Breckner-preinvex) with respect to \(\eta \) and \(s\in (0,1],\) if for every \(x,y\in S\) and \(t\in [0,1],\)

$$\begin{aligned} \begin{aligned} f\big (x+t\eta {(y,x)}\big )\le (1-t)^{s}f(x)+t^{s}f(y). \end{aligned} \end{aligned}$$
(1.5)

Definition 1.6

[30] A function \(f: K\longrightarrow {\mathbb {R}}\) is said to be s-Godunova-Levin-Dragomir-preinvex of second kind, if

$$\begin{aligned} \begin{aligned} f\big (x+t\eta {(y,x)}\big )\le (1-t)^{-s}f(x)+t^{-s}f(y), \end{aligned} \end{aligned}$$
(1.6)

for each \(x,y\in K, t\in (0,1)\) and \(s\in (0,1].\)

Definition 1.7

[39] A non–negative function \(f:K\subseteq {\mathbb {R}}\longrightarrow {\mathbb {R}}\) is said to be tgs-convex on K if the inequality

$$\begin{aligned} \begin{aligned} f\big ((1-t)x+ty\big )\le t(1-t)[f(x)+f(y)] \end{aligned} \end{aligned}$$
(1.7)

grips for all \(x, y \in K \) and \(t\in (0,1)\).

Definition 1.8

[24] A function \(f:I\subseteq {\mathbb {R}}\longrightarrow {\mathbb {R}}\) is said to MT-convex, if it is non–negative and \(\forall \,x,y\in I\) and \(t\in (0,1)\) satisfies the subsequent inequality

$$\begin{aligned} f(tx+(1-t)y)\le \frac{\sqrt{t}}{2\sqrt{1-t}}f(x)+\frac{\sqrt{1-t}}{2\sqrt{t}}f(y). \end{aligned}$$
(1.8)

The concept of \(\eta \)-convex functions (at the beginning was named by \(\varphi \)-convex functions), considered in [14], has been introduced as the following.

Definition 1.9

Consider a convex set \(I\subseteq {\mathbb {R}}\) and a bifunction \(\eta : f(I)\times f(I) \longrightarrow {\mathbb {R}}.\) A function \(f: I\longrightarrow {\mathbb {R}}\) is called convex with respect to \(\eta \) (briefly \(\eta \)-convex), if

$$\begin{aligned} f\big (\lambda x+ (1-\lambda )y\big )\le f(y)+ \lambda \eta (f(x),f(y)), \end{aligned}$$
(1.9)

is valid for all \(x, y \in I\) and \(\lambda \in [0, 1].\)

Geometrically it says that if a function is \(\eta \)-convex on I,  then for any \(x, y \in I,\) its graph is on or under the path starting from (yf(y)) and ending at \((x,f(y)+\eta (f(x),f(y))).\) If f(x) should be the end point of the path for every \(x, y \in I,\) then we have \(\eta (x,y)=x-y\) and the function reduces to a convex one. For more results about \(\eta \)-convex functions, see [8, 9, 13, 14].

Definition 1.10

[2] Let \(I \subseteq {\mathbb {R}}\) be an invex set with respect to \(\eta _{1}: I \times I \longrightarrow {\mathbb {R}}.\) Consider \(f:I\longrightarrow {\mathbb {R}}\) and \(\eta _{2}: f(I) \times f(I) \longrightarrow {\mathbb {R}}.\) The function f is said to be \((\eta _{1},\eta _{2})\)-convex if

$$\begin{aligned} f\big (x+ \lambda \eta _{1}(y,x)\big )\le f(x)+ \lambda \eta _{2}(f(y),f(x)), \end{aligned}$$
(1.10)

is valid for all \(x, y \in I\) and \(\lambda \in [0, 1].\)

Motivated by the above literatures, the main objective of this paper is to establish in Sect. 2, some new fractional integral inequalities for generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mappings by involving an extended generalized Mittag–Leffler function. It is pointed out that some new special cases will be deduced from main results. Also we will see that these inequalities have some connections with known integral inequalities. In Sect. 3, some applications to special means for different positive real numbers will be given.

Main results

The following definitions will be used in this section.

Definition 2.1

Let \(\mathbf{m }:[0,1]\longrightarrow (0,1]\) be a function. A set \(K\subseteq {\mathbb {R}}^{n}\) is named as \(\mathbf{m }\)-invex with respect to the mapping \(\eta :K\times K\longrightarrow {\mathbb {R}}^{n},\) if \(\mathbf{m }(t)x+\xi \eta (y,\mathbf{m }(t)x)\in K\) holds for each \(x,y\in K\) and any \(t, \xi \in [0,1].\)

Remark 2.2

In Definition 2.1, under certain conditions, the mapping \(\eta (y,\mathbf{m }(t)x)\) for any \(t, \xi \in [0,1]\) could reduce to \(\eta (y,mx).\) For example when \(\mathbf{m }(t)=m\) for all \(t\in [0,1],\) then the \(\mathbf{m }\)-invex set degenerates an m-invex set on K. In addition, taking \(\mathbf{m }(t)\equiv 1,\, \forall \, t\in [0,1]\) in Definition 2.1, then we get Definition 1.3.

We next introduce the concept of generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mappings.

Definition 2.3

Let \(K \subseteq {\mathbb {R}}\) be an closed \(\mathbf{m }\)-invex set with respect to the mapping \(\eta _{1}: K \times K\longrightarrow {\mathbb {R}}\) and \(\mathbf{m }:[0,1]\longrightarrow (0,1].\) Suppose \(h_{1},h_{2} :[0,1]\longrightarrow [0,+\infty )\) and \(\theta : I \longrightarrow {\mathbb {R}} \) are continuous. Consider \(f:K\longrightarrow (0,+\infty )\) and \(\eta _{2}: f(K) \times f(K) \longrightarrow {\mathbb {R}}.\) The mapping f is said to be generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex if

$$\begin{aligned}&f\big (\mathbf{m }(t) \theta (x)+ \xi \eta _{1}(\theta (y),\mathbf{m }(t)\theta (x))\big )\nonumber \\&\quad \le \big [\mathbf{m }(\xi )h_{1}^{p}(\xi ) f^{r}(x)+ h_{2}^{q}(\xi ) \eta _{2}(f^{r}(y),f^{r}(x))\big ]^{\frac{1}{r}}, \end{aligned}$$
(2.1)

holds for all \( x, y \in I,\, r\ne 0,\, t, \xi \in [0,1]\) and any fixed \(p, q>-1.\)

Remark 2.4

In Definition 2.3, if we choose \(\mathbf{m }(t)=m,\, \forall \, t\in [0,1]\) and \(p=q=1,\) then we get Definition 2.3 in [19]. In addition, in Definition 2.3, if we choose \(\mathbf{m }=p=q=r=1\) and \(\theta (x)=x,\, \forall \, x\in I\) then we get Definition 1.10.

Remark 2.5

In Definition 2.3, if we choose \(\mathbf{m }=p=q=r=1,\, h_{1}(t)=1,\, h_{2}(t)=t,\, \eta _{1}(\theta (y), \mathbf{m }(t)\theta (x))=\theta (y)-\mathbf{m }(t)\theta (x),\, \eta _{2}(f^{r}(y),f^{r}(x))=\eta (f^{r}(y),f^{r}(x))\) and \(\theta (x)=x,\, \forall \, x\in I,\) then we get Definition 1.9. Also, in Definition 2.3, if we choose \(\mathbf{m }=p=q=r=1,\, h_{1}(t)=1,\, h_{2}(t)=t\) and \(\theta (x)=x,\, \forall x\in I,\) then we get Definition 1.10. Under some suitable choices as we done above, we can get also the Definitions 1.5 and 1.6.

Remark 2.6

Let us discuss some special cases in Definition 2.3 as follows.

  1. (I)

    Taking \(h_{1}(t)=h(1-t)\) and \(h_{2}(t)=h(t)\), then we get generalized-\(\mathbf{m }\)-\(((h^{p}(1-t),h^{q}(t));(\eta _{1},\eta _{2}))\)-convex mappings.

  2. (II)

    Taking \(h_{1}(t)=(1-t)^{s}\) and \(h_{2}(t)=t^{s}\) for \(s\in (0,1],\) then we get generalized-\(\mathbf{m }\)-\((((1-t)^{sp},t^{sq});(\eta _{1},\eta _{2}))\)-Breckner-convex mappings.

  3. (III)

    Taking \(h_{1}(t)=(1-t)^{-s}\) and \(h_{2}(t)=t^{-s}\) for \(s\in (0,1],\) then we get generalized-\(\mathbf{m }\)-\((((1-t)^{-sp},t^{-sq});(\eta _{1},\eta _{2}))\)-Godunova–Levin–Dragomir-convex mappings.

  4. (IV)

    Taking \(h_{1}(t)=h_{2}(t)=t(1-t)\), then we get generalized-\(\mathbf{m }\)-\(((t(1-t))^{sp},(t(1-t))^{sq});(\eta _{1},\eta _{2}))\)-convex mappings.

  5. (V)

    Taking \(h_{1}(t)=\displaystyle {\frac{\sqrt{1-t}}{2\sqrt{t}}}\) and \( h_{2}(t)=\displaystyle {\frac{\sqrt{t}}{2\sqrt{1-t}}}\), then we get generalized-\(\mathbf{m }\left( \left( \left( \frac{\sqrt{1-t}}{2\sqrt{t}} \right) ^{p},\left( \frac{\sqrt{t}}{2\sqrt{1-t}}\right) ^{q}\right) ;\right. \left. (\eta _{1},\eta _{2})\right) \)-convex mappings.

It is worth to mention here that to the best of our knowledge all the special cases discussed above are new in the literature.

Let see the following example of a generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mapping which is not convex.

Example 2.7

Let take \(\mathbf{m }=r=\frac{1}{2},\, h_{1}(t)=t^{l},\, h_{2}(t)=t^{s}\) for all \(l, s\in [0,1],\) any fixed \(p, q\ge 1\) and \(\theta \) an identity function. Consider the function \(f:[0,+\infty )\longrightarrow [0,+\infty )\) by

$$\begin{aligned} f(x)=\left\{ \begin{array}{ll} x, &{}\quad 0\le x\le 1; \\ 2, &{}\quad x>1. \end{array} \right. \end{aligned}$$

Define two bifunctions \(\eta _{1}:[0,+\infty )\times [0,+\infty )\longrightarrow {\mathbb {R}}\) and \(\eta _{2}:[0,+\infty )\times [0,+\infty )\longrightarrow [0,+\infty )\) by

$$\begin{aligned} \eta _{1}(x,y)=\left\{ \begin{array}{ll} -y, &{}\quad 0\le y\le 1; \\ x+y, &{}\quad y>1, \end{array} \right. \end{aligned}$$

and

$$\begin{aligned} \eta _{2}(x,y)=\left\{ \begin{array}{ll} x+y, &{}\quad x\le y; \\ 2(x+y), &{}\quad x>y. \end{array} \right. \end{aligned}$$

Then f is generalized \(\frac{1}{2}\)-\(((t^{lp},t^{sq});(\eta _{1},\eta _{2}))\)-convex mapping. But f is not preinvex with respect to \(\eta _{1}\) and also it is not convex (consider \(x=0, y=2\) and \(t\in (0,1]\)).

For establishing our main results we need to prove the following lemma.

Lemma 2.8

Let \(\theta :I\longrightarrow \mathbb {R}\) and \(g: K\longrightarrow {\mathbb {R}}\) are continuous functions and \(\mathbf{m }:[0,1]\longrightarrow (0,1].\) Suppose \(K=[\mathbf{m }(t)\theta (a),\mathbf{m }(t)\theta (a)+\Xi ]\subseteq {\mathbb {R}}\) be an closed \(\mathbf{m }\)-invex subset with respect to \(\Psi : K\times K\longrightarrow {\mathbb {R}}\) for \(\Xi =\Psi (\theta (b),\mathbf{m }(t)\theta (a))>0\) and \(\forall \, t\in [0,1].\) Assume that \(f:K\longrightarrow {\mathbb {R}}\) be a differentiable mapping on \(K^{\circ }.\) If \(f'\in L(K),\) then the following equality for extended generalized fractional integral operators holds:

$$\begin{aligned}&\left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }\times \Big [f(\mathbf{m }(t)\theta (a)) +f(\mathbf{m }(t)\theta (a)+\Xi )\Big ] \nonumber \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1}g(\xi )E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi \nonumber \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c} (\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1}g(\xi )E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c} (\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi \nonumber \\&\quad =\int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }f'(\xi )\mathrm{d}\xi \nonumber \\&\qquad -\int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }f'(\xi )\mathrm{d}\xi . \end{aligned}$$
(2.2)

We denote

$$\begin{aligned} T_{f,g}(\Psi ,\theta ,\mathbf{m };a,b)= & {} \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }f'(\xi )\mathrm{d}\xi \nonumber \\&-\int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }f'(\xi )\mathrm{d}\xi . \end{aligned}$$
(2.3)

Proof

Integrating by parts Eq. (2.3), we get

$$\begin{aligned}&T_{f,g}(\Psi ,\theta ,\mathbf{m };a,b)\\&\quad =\left( \int _{\mathbf{m }(t) \theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }f(\xi )\Bigg |_{\mathbf{m }(t) \theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi }\left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1}g(\xi )E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi \\&\qquad \left. -\left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu } f(\xi )\right| _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1} g(\xi )E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi \\&\quad =\left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu }\times \Big [f(\mathbf{m }(t)\theta (a))+f(\mathbf{m }(t)\theta (a)+\Xi )\Big ] \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi }\left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c} (\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1}g(\xi ) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi \\&\qquad -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi } \left( \int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\right) ^{\nu -1} g(\xi )E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };p)f(\xi )\mathrm{d}\xi . \end{aligned}$$

The proof of Lemma 2.8 is completed. \(\square \)

Remark 2.9

Using Lemma 2.8, for different values of parameters in extended Mittag–Leffler function where \(g(s)\equiv 1,\, \forall s\in K,\) we get several integral identities of Hermite–Hadamard type.

Using Lemma 2.8, we now state the following theorems for the corresponding version for power of first derivative.

Theorem 2.10

Let \(h_{1},h_{2} :[0,1]\longrightarrow [0,+\infty ),\;\theta :I\longrightarrow \mathbb {R}\) and \(g: K\longrightarrow {\mathbb {R}}\) are continuous functions and \(\mathbf{m }:[0,1]\longrightarrow (0,1].\) Suppose \(K=[\mathbf{m }(t)\theta (a),\mathbf{m }(t)\theta (a)+\Xi _{1}]\subseteq {\mathbb {R}}\) be an closed \(\mathbf{m }\)-invex subset with respect to \(\Psi _{1}: K\times K\longrightarrow {\mathbb {R}}\) for \(\Xi _{1}=\Psi _{1}(\theta (b),\mathbf{m }(t)\theta (a))>0,\, \forall \, t\in [0,1]\) and \(\Psi _{2}: f(K) \times f(K) \longrightarrow {\mathbb {R}}.\) Assume that \(f:K\longrightarrow (0,+\infty )\) be a differentiable mapping on \(K^{\circ }\) such that \(f'\in L(K).\) If \((f'(x))^{q}\) is positive generalized-\(\mathbf{m }\)-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\Psi _{1},\Psi _{2}))\)-convex mapping, \(0<r\le 1,\, p_{1}, p_{2}>-1,\, k<\delta +{\mathfrak {R}}(\mu ),\, q>1,\, p^{-1}+q^{-1}=1\) and \(\Vert g\Vert _{\infty }=\sup _{s\in K}|g(s)|,\) the following inequality for extended generalized fractional integral operators holds:

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}}\nonumber \\&\times \root rq \of {(f'(a))^{rq}I^{r}(h_{1}(\xi ))+ \Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) I^{r}(h_{2}(\xi ))}, \end{aligned}$$
(2.4)

where

$$\begin{aligned} I(h_{1}(\xi ))=\int _{0}^{1}\mathbf{m }^{\frac{1}{r}}(\xi )h_{1}^{\frac{p_{1}}{r}} (\xi )\mathrm{d}\xi ,\;\;\;\;I(h_{2}(\xi ))=\int _{0}^{1}h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi . \end{aligned}$$

Proof

From Lemma 2.8, positive generalized-\(\mathbf{m }\)-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\Psi _{1},\Psi _{2}))\)-convexity of \((f'(x))^{q},\) Hölder inequality, Minkowski inequality, absolute convergence of extended Mittag–Leffler function, properties of the modulus, the fact \(g(s)\le \Vert g\Vert _{\infty },\, \forall \, s\in K\) and changing the variable \(u=\mathbf{m }(t)\theta (a)+\xi \Xi _{1},\, \forall \, t\in [0,1],\) we have

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+ \Xi _{1}}\Bigg |\int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };{\overline{p}})\mathrm{d}s\Bigg |^{\nu }|f'(\xi )|\mathrm{d}\xi \\&+\int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}\Bigg |\int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi _{1}}g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };{\overline{p}}) \mathrm{d}s\Bigg |^{\nu }|f'(\xi )|\mathrm{d}\xi \\\le & {} \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}\Bigg |\int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };{\overline{p}}) \mathrm{d}s\Bigg |^{p\nu }\mathrm{d}\xi \right) ^{\frac{1}{p}} \\&\times \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}(f'(\xi ))^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\&+\left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}\Bigg |\int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi _{1}}g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu }; {\overline{p}})\mathrm{d}s\Bigg |^{p\nu }\mathrm{d}\xi \right) ^{\frac{1}{p}} \\&\times \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}(f'(\xi ))^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\\le & {} \Vert g\Vert _{\infty }^{\nu } S^{\nu }\times \left( \int _{\mathbf{m } (t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi _{1}}(f'(\xi ))^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\&\times \left\{ \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}(\xi -\mathbf{m }(t)\theta (a))^{p\nu }\mathrm{d}\xi \right) ^{\frac{1}{p}} +\left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}(\mathbf{m }(t)\theta (a)+\Xi _{1}-\xi )^{p\nu }\mathrm{d}\xi \right) ^{\frac{1}{p}}\right\} \\= & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}} \times \left( \int _{0}^{1} \left( f'(\mathbf{m }(t)\theta (a)+\xi \Xi _{1})\right) ^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}} \\&\times \left( \int _{0}^{1}\Big [\mathbf{m }(\xi )h_{1}^{p_{1}}(\xi ) (f'(a))^{rq}+h_{2}^{p_{2}}(\xi )\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq} \right) \Big ]^{\frac{1}{r}}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1} (\theta (b),\mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}} \\\times & {} \left[ \left( \int _{0}^{1}\mathbf{m }^{\frac{1}{r}} (\xi )(f'(a))^{q}h_{1}^{\frac{p_{1}}{r}}(\xi )\mathrm{d}\xi \right) ^{r} +\left( \int _{0}^{1}\Psi _{2}^{\frac{1}{r}}\left( (f'(b))^{rq}, (f'(a))^{rq}\right) h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi \right) ^{r}\right] ^{\frac{1}{rq}} \\= & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1} (\theta (b),\mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}} \\&\times \root rq \of {(f'(a))^{rq}I^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) I^{r}(h_{2}(\xi ))}. \end{aligned}$$

The proof of Theorem 2.10 is completed. \(\square \)

Remark 2.11

In Theorem 2.10, for \(h_{1}(t)=t,\, h_{2}(t)=1-t,\, r=1,\) if we choose \(\Xi _{1}=\theta (b)-\mathbf{m }(t)\theta (a),\) where \(\mathbf{m }(t)\equiv 1,\, \forall \, t\in [0,1],\, \Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) =(f'(b))^{rq}\) and \(\theta (x)=x,\,\forall \, x\in I,\) then

1.:

If we put \(\omega ={\overline{p}}=0\), we get [34, Theorem 7].

2.:

If we put \(\omega ={\overline{p}}=0\) along with \(\nu =\frac{\alpha }{k}\), we get [12, Theorem 2.5].

3.:

If we put \(g(s)=1\) and \(\omega ={\overline{p}}=0\), we get [10, Theorem 2.3].

4.:

If we put \(\omega ={\overline{p}}=0\) and \(\nu =1\), we get [10, Corollary 3].

Remark 2.12

In Theorem 2.10, for \(h_{1}(t)=t,\, h_{2}(t)=1-t,\, r=1,\, {\overline{p}}=0,\) if we choose \(\Xi _{1}=\theta (b)-\mathbf{m }(t)\theta (a),\) where \(\mathbf{m }(t)\equiv 1,\, \forall \, t\in [0,1],\, \Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) =(f'(b))^{rq}\) and \(\theta (x)=x,\,\forall \, x\in I,\) we get [11, Corollary 3.8].

We point out some special cases of Theorem 2.10.

Corollary 2.13

In Theorem 2.10 for \(p=q=2,\) we get

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\sqrt{2\nu +1}}\nonumber \\&\times \root 2r \of {(f'(a))^{2r}I^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{2r},(f'(a))^{2r}\right) I^{r}(h_{2}(\xi ))}. \end{aligned}$$
(2.5)

Corollary 2.14

In Theorem 2.10 for \(g(s)\equiv 1,\) we have

$$\begin{aligned} \Big |T_{f}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |= & {} \Bigg | \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };{\overline{p}})\mathrm{d}s\right) ^{\nu } \nonumber \\&\times \Big [f(\mathbf{m }(t)\theta (a)) +f(\mathbf{m }(t)\theta (a)+\Xi _{1})\Big ]\nonumber \\&-\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}\left( \int _{\mathbf{m }(t)\theta (a)}^{\xi }E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c} (\omega s^{\mu };{\overline{p}})\mathrm{d}s\right) ^{\nu -1} E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega \xi ^{\mu };{\overline{p}})f(\xi )\mathrm{d}\xi \nonumber \\&\left. -\nu \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t) \theta (a)+\Xi _{1}}\left( \int _{\xi }^{\mathbf{m }(t)\theta (a) +\Xi _{1}}E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu }; {\overline{p}})\mathrm{d}s\right) ^{\nu -1}E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c} (\omega \xi ^{\mu };{\overline{p}})f(\xi )\mathrm{d}\xi \right| \nonumber \\\le & {} \frac{2S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\root p \of {p\nu +1}}\nonumber \\&\times \root rq \of {(f'(a))^{rq}I^{r}(h_{1}(\xi ))+ \Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) I^{r}(h_{2}(\xi ))}. \end{aligned}$$
(2.6)

Corollary 2.15

In Theorem 2.10 for \(h_{1}(t)=h(1-t),\,h_{2}(t)=h(t)\) and \(\mathbf{m }(t)=m\in (0,1]\) for all \(t\in [0,1],\) we obtain

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\root p \of {p\nu +1}}\nonumber \\&\times \root rq \of {m(f'(a))^{rq}I^{r}(h(1-\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) I^{r}(h(\xi ))}. \end{aligned}$$
(2.7)

Corollary 2.16

In Corollary 2.15 for \(h_{1}(t)=(1-t)^{s}\) and \(h_{2}(t)=t^{s},\) we get

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu } S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\root p \of {p\nu +1}} \nonumber \\&\times \root rq \of {m(f'(a))^{rq}\left( \frac{r}{r+sp_{1}}\right) ^{r} +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{r}{r+sp_{2}}\right) ^{r}}. \end{aligned}$$
(2.8)

Corollary 2.17

In Corollary 2.15 for \(h_{1}(t)=(1-t)^{-s},\,h_{2}(t)=t^{-s}\) and \(r>s\cdot \max \{p_{1}, p_{2}\},\) we have

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu } S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\root p \of {p\nu +1}}\nonumber \\&\times \root rq \of {m(f'(a))^{rq}\left( \frac{r}{r-sp_{1}}\right) ^{r} +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{r}{r-sp_{2}}\right) ^{r}}. \end{aligned}$$
(2.9)

Corollary 2.18

In Theorem 2.10 for \(h_{1}(t)=h_{2}(t)=t(1-t)\) and \(\mathbf{m }(t)=m\in (0,1]\) for all \(t\in [0,1],\) we obtain

$$\begin{aligned}&\Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1} (\theta (b),m\theta (a))}{\root p \of {p\nu +1}}\nonumber \\&\quad \times \root rq \of {m(f'(a))^{rq}\beta ^{r}\left( 1+\frac{p_{1}}{r}, 1+\frac{p_{1}}{r}\right) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \beta ^{r}\left( 1+\frac{p_{2}}{r},1+\frac{p_{2}}{r}\right) }. \end{aligned}$$
(2.10)

Corollary 2.19

In Corollary 2.15 for \(h_{1}(t)=\displaystyle {\frac{\sqrt{1-t}}{2\sqrt{t}}},\, h_{2}(t)=\displaystyle {\frac{\sqrt{t}}{2\sqrt{1-t}}}\) and \(r>\frac{1}{2}\cdot \max \{p_{1}, p_{2}\},\) we get

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1} (\theta (b),m\theta (a))}{\root p \of {p\nu +1}} \nonumber \\&\times \Bigg [m(f'(a))^{rq}\left( \frac{1}{2}\right) ^{\frac{p_{1}}{r}} \beta ^{r}\left( 1-\frac{p_{1}}{2r},1+\frac{p_{1}}{2r}\right) \nonumber \\&+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{1}{2}\right) ^{\frac{p_{2}}{r}}\beta ^{r} \left( 1-\frac{p_{2}}{2r},1+\frac{p_{2}}{2r}\right) \Bigg ]^{\frac{1}{rq}}. \end{aligned}$$
(2.11)

Theorem 2.20

Let \(h_{1},h_{2} :[0,1]\longrightarrow [0,+\infty ),\;\theta :I\longrightarrow \mathbb {R}\) and \(g: K\longrightarrow {\mathbb {R}}\) are continuous functions and \(\mathbf{m }:[0,1]\longrightarrow (0,1].\) Suppose \(K=[\mathbf{m }(t)\theta (a),\mathbf{m }(t)\theta (a)+\Xi _{1}]\subseteq {\mathbb {R}}\) be an closed \(\mathbf{m }\)-invex subset with respect to \(\Psi _{1}: K\times K\longrightarrow {\mathbb {R}}\) for \(\Xi _{1}=\Psi _{1}(\theta (b),\mathbf{m }(t)\theta (a))>0,\, \forall \, t\in [0,1]\) and \(\Psi _{2}: f(K) \times f(K) \longrightarrow {\mathbb {R}}.\) Assume that \(f:K\longrightarrow (0,+\infty )\) be a differentiable mapping on \(K^{\circ }\) such that \(f'\in L(K).\) If \((f'(x))^{q}\) is positive generalized-\(\mathbf{m }\)-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\Psi _{1},\Psi _{2}))\)-convex mapping, \(0<r\le 1,\, p_{1}, p_{2}>-1,\, k<\delta +{\mathfrak {R}}(\mu ),\, q\ge 1\) and \(\Vert g\Vert _{\infty }=\sup _{s\in K}|g(s)|,\) the following inequality for extended generalized fractional integral operators holds:

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), \mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\times \Bigg \{\root rq \of {(f'(a))^{rq}F^{r}(h_{1}(\xi ))+ \Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) F^{r}(h_{2}(\xi ))} \nonumber \\&+\root rq \of {(f'(a))^{rq}G^{r}(h_{1}(\xi ))+\Psi _{2} \left( (f'(b))^{rq},(f'(a))^{rq}\right) G^{r}(h_{2}(\xi ))}\Bigg \}, \end{aligned}$$
(2.12)

where

$$\begin{aligned} F(h_{1}(\xi ))=\int _{0}^{1}\mathbf{m }^{\frac{1}{r}}(\xi ) \xi ^{\nu }h_{1}^{\frac{p_{1}}{r}}(\xi )\mathrm{d}\xi ;\;\;\;F(h_{2}(\xi )) =\int _{0}^{1}\xi ^{\nu }h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi \end{aligned}$$

and

$$\begin{aligned} G(h_{1}(\xi ))=\int _{0}^{1}\mathbf{m }^{\frac{1}{r}}(\xi ) (1-\xi )^{\nu }h_{1}^{\frac{p_{1}}{r}}(\xi )\mathrm{d}\xi ;\;\;G(h_{2}(\xi )) =\int _{0}^{1}(1-\xi )^{\nu }h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi . \end{aligned}$$

Proof

From Lemma 2.8, positive generalized-\(\mathbf{m }\)-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\Psi _{1},\Psi _{2}))\)-convexity of \((f'(x))^{q},\) the well-known power mean inequality, Minkowski inequality, absolute convergence of extended Mittag–Leffler function, properties of the modulus, the fact \(g(s)\le \Vert g\Vert _{\infty },\, \forall \, s\in K\) and changing the variable \(u=\mathbf{m }(t)\theta (a)+\xi \Xi _{1},\, \forall \, t\in [0,1],\) we have

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}\Bigg |\int _{\mathbf{m }(t)\theta (a)}^{\xi } g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\Bigg |^{\nu }|f'(\xi )|\mathrm{d}\xi \\&+\int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}\Bigg |\int _{\xi }^{\mathbf{m }(t)\theta (a) +\Xi _{1}}g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\Bigg |^{\nu }|f'(\xi )|\mathrm{d}\xi \\\le & {} \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a) +\Xi _{1}}\Bigg |\int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s) E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p) \mathrm{d}s\Bigg |^{\nu }\mathrm{d}\xi \right) ^{1-\frac{1}{q}} \\&\times \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi _{1}}\Bigg |\int _{\mathbf{m }(t)\theta (a)}^{\xi }g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\Bigg |^{\nu }(f'(\xi ))^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\&+\left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi _{1}}\Bigg |\int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi _{1}}g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\Bigg |^{\nu }\mathrm{d}\xi \right) ^{1-\frac{1}{q}} \\&\times \left( \int _{\mathbf{m }(t)\theta (a)}^{\mathbf{m }(t)\theta (a)+\Xi _{1}}\Bigg |\int _{\xi }^{\mathbf{m }(t)\theta (a)+\Xi _{1}}g(s)E_{\mu ,\nu ,l}^{\gamma ,\delta ,k,c}(\omega s^{\mu };p)\mathrm{d}s\Bigg |^{\nu }(f'(\xi ))^{q}\mathrm{d}\xi \right) ^{\frac{1}{q}} \\\le & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \\&\times \left\{ \left[ \int _{0}^{1}\xi ^{\nu }\left( f'(\mathbf{m }(t)\theta (a)+\xi \Xi _{1})\right) ^{q}\mathrm{d}\xi \right] ^{\frac{1}{q}}+\left[ \int _{0}^{1}(1-\xi )^{\nu }\left( f'(\mathbf{m }(t)\theta (a)+\xi \Xi _{1})\right) ^{q}\mathrm{d}\xi \right] ^{\frac{1}{q}}\right\} \\\le & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \\&\times \left\{ \left[ \int _{0}^{1}\xi ^{\nu }\left[ \mathbf{m }(\xi )h_{1}^{p_{1}}(\xi )(f'(a))^{rq}+h_{2}^{p_{2}}(\xi )\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \right] ^{\frac{1}{r}}\mathrm{d}\xi \right] ^{\frac{1}{q}} \right. \\&\left. +\left[ \int _{0}^{1}(1-\xi )^{\nu }\left[ \mathbf{m }(\xi )h_{1}^{p_{1}}(\xi )(f'(a))^{rq}+h_{2}^{p_{2}}(\xi )\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \right] ^{\frac{1}{r}}\mathrm{d}\xi \right] ^{\frac{1}{q}}\right\} \\\le & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \\&\times \left\{ \left[ \left( \int _{0}^{1}\mathbf{m }^{\frac{1}{r}}(\xi )(f'(a))^{q}\xi ^{\nu }h_{1}^{\frac{p_{1}}{r}}(\xi )\mathrm{d}\xi \right) ^{r}+\left( \int _{0}^{1}\Psi _{2}^{\frac{1}{r}}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \xi ^{\nu }h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi \right) ^{r}\right] ^{\frac{1}{rq}} \right. \\&+\left[ \left( \int _{0}^{1}\mathbf{m }^{\frac{1}{r}}(\xi )(f'(a))^{q}(1-\xi )^{\nu }h_{1}^{\frac{p_{1}}{r}}(\xi )\mathrm{d}\xi \right) ^{r} \right. \\&\left. \left. +\left( \int _{0}^{1}\Psi _{2}^{\frac{1}{r}}\left( (f'(b))^{rq},(f'(a))^{rq}\right) (1-\xi )^{\nu }h_{2}^{\frac{p_{2}}{r}}(\xi )\mathrm{d}\xi \right) ^{r}\right] ^{\frac{1}{rq}}\right\} \\= & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \\&\times \left\{ \root rq \of {(f'(a))^{rq}F^{r}(h_{1}(\xi ))+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) F^{r}(h_{2}(\xi ))}\right. \\&\left. +\root rq \of {(f'(a))^{rq}G^{r}(h_{1}(\xi ))+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) G^{r}(h_{2}(\xi ))}\right\} . \end{aligned}$$

The proof of Theorem 2.20 is completed. \(\square \)

We point out some special cases of Theorem 2.20.

Corollary 2.21

In Theorem 2.20 for \(q=1,\) we get

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a)) \nonumber \\&\times \Bigg \{\root r \of {(f'(a))^{r}F^{r}(h_{1}(\xi ))+ \Psi _{2}\left( (f'(b))^{r},(f'(a))^{r}\right) F^{r}(h_{2}(\xi ))} \nonumber \\&+\root r \of {(f'(a))^{r}G^{r}(h_{1}(\xi ))+\Psi _{2}\left( (f'(b))^{r}, (f'(a))^{r}\right) G^{r}(h_{2}(\xi ))}\Bigg \}. \end{aligned}$$
(2.13)

Corollary 2.22

In Theorem 2.20 for \(g(s)\equiv 1,\) we have

$$\begin{aligned} \Big |T_{f}(\Psi _{1},\theta ,\mathbf{m };a,b)\Big |\le & {} \frac{S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),\mathbf{m }(t)\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\times \Bigg \{\root rq \of {(f'(a))^{rq}F^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) F^{r}(h_{2}(\xi ))} \nonumber \\&+\root rq \of {(f'(a))^{rq}G^{r}(h_{1}(\xi ))+\Psi _{2} \left( (f'(b))^{rq},(f'(a))^{rq}\right) G^{r}(h_{2}(\xi ))}\Bigg \}. \end{aligned}$$
(2.14)

Corollary 2.23

In Theorem 2.20 for \(h_{1}(t)=h(1-t),\,h_{2}(t)=h(t)\) and \(\mathbf{m }(t)=m\in (0,1]\) for all \(t\in [0,1],\) we obtain

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{\Vert g\Vert _{\infty }^{\nu } S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\times \Bigg \{\root rq \of {m(f'(a))^{rq}F^{r}(h(1-\xi ))+\Psi _{2} \left( (f'(b))^{rq},(f'(a))^{rq}\right) F^{r}(h(\xi ))} \nonumber \\&+\root rq \of {m(f'(a))^{rq}G^{r}(h(1-\xi ))+\Psi _{2}\left( (f'(b))^{rq}, (f'(a))^{rq}\right) G^{r}(h(\xi ))}\Bigg \}.\nonumber \\ \end{aligned}$$
(2.15)

Corollary 2.24

In Corollary 2.23 for \(h_{1}(t)=(1-t)^{s}\) and \(h_{2}(t)=t^{s},\) we get

$$\begin{aligned}&\Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le \frac{\Vert g\Vert _{\infty }^{\nu } S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\quad \times \left\{ \root rq \of {m(f'(a))^{rq}\beta ^{r}\left( \frac{sp_{1}}{r}+1, \nu +1\right) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{1}{\frac{sp_{2}}{r}+\nu +1}\right) ^{r}}\right. \nonumber \\&\left. +\root rq \of {m(f'(a))^{rq}\left( \frac{1}{\frac{sp_{1}}{r}+\nu +1} \right) ^{r}+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \beta ^{r}\left( \frac{sp_{2}}{r}+1, \nu +1\right) }\right\} . \end{aligned}$$
(2.16)

Corollary 2.25

In Corollary 2.23 for \(h_{1}(t)=(1-t)^{-s},\,h_{2}(t)=t^{-s}\) and \(r>s\cdot \max \{p_{1}, p_{2}\},\) we have

$$\begin{aligned}&\Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}}\nonumber \\&\quad \times \left\{ \root rq \of {m(f'(a))^{rq}\beta ^{r}\left( 1-\frac{sp_{1}}{r}, \nu +1\right) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{1}{1+\nu -\frac{sp_{2}}{r}}\right) ^{r}} \nonumber \right. \\&\quad \left. +\root rq \of {m(f'(a))^{rq}\left( \frac{1}{1+\nu -\frac{sp_{1}}{r}}\right) ^{r}+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \beta ^{r}\left( 1-\frac{sp_{2}}{r}, \nu +1\right) }\right\} . \end{aligned}$$
(2.17)

Corollary 2.26

In Theorem 2.20 for \(h_{1}(t)=h_{2}(t)=t(1-t)\) and \(\mathbf{m }(t)=m\in (0,1]\) for all \(t\in [0,1],\) we obtain

$$\begin{aligned}&\Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }\Psi _{1}^{\nu +1}(\theta (b), m\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\times \root rq \of {m(f'(a))^{rq}\beta ^{r}\left( \frac{p_{1}}{r} +\nu +1, \frac{p_{1}}{r}+1\right) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq} \right) \beta ^{r}\left( \frac{p_{2}}{r}+\nu +1, \frac{p_{2}}{r}+1\right) }.\nonumber \\ \end{aligned}$$
(2.18)

Corollary 2.27

In Corollary 2.23 for \(h_{1}(t)=\displaystyle {\frac{\sqrt{1-t}}{2\sqrt{t}}},\, h_{2}(t)=\displaystyle {\frac{\sqrt{t}}{2\sqrt{1-t}}}\) and \(r>\frac{1}{2}\cdot \max \{p_{1}, p_{2}\},\) we get

$$\begin{aligned} \Big |T_{f,g}(\Psi _{1},\theta ,m;a,b)\Big |\le & {} \frac{\Vert g\Vert _{\infty }^{\nu } S^{\nu }\Psi _{1}^{\nu +1}(\theta (b),m\theta (a))}{\left( \nu +1\right) ^{1-\frac{1}{q}}} \nonumber \\&\times \Bigg [m(f'(a))^{rq}\left( \frac{1}{2}\right) ^{\frac{p_{1}}{r}} \beta ^{r}\left( \nu -\frac{p_{1}}{2r}+1, 1+\frac{p_{1}}{2r}\right) \nonumber \\&+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) \left( \frac{1}{2}\right) ^{\frac{p_{2}}{r}}\beta ^{r} \left( \nu +\frac{p_{2}}{2r}+1, 1-\frac{p_{2}}{2r}\right) \Bigg ]^{\frac{1}{rq}} \nonumber \\&+\Bigg [m(f'(a))^{rq}\left( \frac{1}{2}\right) ^{\frac{p_{1}}{r}} \beta ^{r}\left( \nu +\frac{p_{1}}{2r}+1, 1-\frac{p_{1}}{2r}\right) \nonumber \\&+\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq} \right) \left( \frac{1}{2}\right) ^{\frac{p_{2}}{r}}\beta ^{r} \left( \nu -\frac{p_{2}}{2r}+1, 1+\frac{p_{2}}{2r}\right) \Bigg ]^{\frac{1}{rq}}. \end{aligned}$$
(2.19)

Remark 2.28

By taking particular values of parameters used in extended Mittag–Leffler function in above Theorems 2.10 and 2.20, several fractional integral inequalities can be obtained.

Remark 2.29

In addition, applying our Theorems 2.10 and 2.20, for \(0<f'(x)\le L,\) for all \(x\in I,\) we can get some new general fractional integral inequalities.

Applications to special means

Definition 3.1

[3] A function \(M:{\mathbb {R}}_{+}^{2}\longrightarrow {\mathbb {R}}_{+},\) is called a Mean function if it has the following properties:

  1. 1.

    Homogeneity: \(M(ax,ay)=aM(x,y),\) for all \(a>0,\)

  2. 2.

    Symmetry: \(M(x,y)=M(y,x),\)

  3. 3.

    Reflexivity: \(M(x,x)=x,\)

  4. 4.

    Monotonicity: If \(x\le x'\) and \( y\le y',\) then \(M(x,y)\le M(x',y'),\)

  5. 5.

    Internality: \(\min \{x,y\}\le M(x,y)\le \max \{x,y\}\).

Let consider some special means for arbitrary different positive real numbers \(a<b\) as follows: The arithmetic mean \(A=A(a,b);\) The geometric mean \(G=G(a,b);\) The harmonic mean \(H=H(a,b);\) The power mean \(P_{r}=P_{r}(a,b);\) The identric mean \(I=I(a,b);\) The logarithmic mean \(L=L(a,b);\) The generalized log–mean \(L_{p}=L_{p}(a,b);\) The weighted p-power mean \(M=M_{p}\). Let consider continuous functions \(\theta :I\longrightarrow K,\, g: K\longrightarrow {\mathbb {R}},\, \Psi _{1}: K\times K\longrightarrow {\mathbb {R}},\, \Psi _{2}: f(K) \times f(K) \longrightarrow {\mathbb {R}}\) and \({\overline{M}}=M(\theta (a),\theta (b)):[\theta (a),\theta (a)+\Psi _{1}(\theta (b),\theta (a))]\times [\theta (a),\theta (a)+\Psi _{1}(\theta (b),\theta (a))]\longrightarrow {\mathbb {R}}_{+},\) which is one of the above mentioned means. Therefore, one can obtain various inequalities using the results of Section 2 for these means as follows. Replace \(\Psi _{1}(\theta (y),\mathbf{m }(t)\theta (x))\) with \(\Psi _{1}(\theta (y),\theta (x))\) where \(\mathbf{m }(t)\equiv 1,\) for all \(t\in [0,1]\) and setting \(\Psi _{1}(\theta (y),\theta (x))=M(\theta (x),\theta (y))\) for all \(x,y\in I,\) in (2.4) and (2.12), one can obtain the following interesting inequalities involving means:

$$\begin{aligned} \Big |T_{f,g}(M(\cdot \,,\cdot ),\theta ,1;a,b)\Big |\le & {} \frac{2\Vert g\Vert _{\infty }^{\nu }S^{\nu }{\overline{M}}^{\nu +1}}{\root p \of {p\nu +1}} \nonumber \\&\times \root rq \of {(f'(a))^{rq}I^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) I^{r}(h_{2}(\xi ))}, \end{aligned}$$
(3.1)
$$\begin{aligned} \Big |T_{f,g}(M(\cdot \,,\cdot ),\theta ,1;a,b)\Big |\le & {} \frac{\Vert g\Vert _{\infty }^{\nu }S^{\nu }{\overline{M}}^{\nu +1}}{\left( \nu +1\right) ^{1-\frac{1}{q}}}\nonumber \\&\times \Bigg \{\root rq \of {(f'(a))^{rq}F^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) F^{r}(h_{2}(\xi ))} \nonumber \\&+\root rq \of {(f'(a))^{rq}G^{r}(h_{1}(\xi )) +\Psi _{2}\left( (f'(b))^{rq},(f'(a))^{rq}\right) G^{r}(h_{2}(\xi ))}\Bigg \}. \end{aligned}$$
(3.2)

Letting \({\overline{M}}=A, G, H, P_{r}, I, L, L_{p}, M_{p}\) in (3.1) and (3.2), we get the inequalities involving means for a particular choices of \((f'(x))^{q}\) that are positive generalized-1-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\eta _{1},\eta _{2}))\)-convex mappings.

Remark 3.2

In addition, applying our Theorems 2.10 and 2.20 for appropriate choices of functions \(h_{1}\) and \(h_{2}\) (see remark 2.6) such that \((f'(x))^{q}\) to be positive generalized-1-\(((h_{1}^{p_{1}},h_{2}^{p_{2}});(\eta _{1},\eta _{2}))\)-convex mappings (see examples: \(f(x)=x^{\alpha }\), where \(\alpha>1, \forall \,x>0\); \(f(x)=\displaystyle {-\frac{1}{x}},\,\forall \,x\ne 0\); \(f(x)=e^{x},\, \forall \, x\in {\mathbb {R}}\); \(f(x)=\ln x,\,\forall \, x>0\); etc.), we can deduce some new inequalities using above special means. We omit their proof and the details are left to the interested reader.

References

  1. 1.

    Andrić, M., Farid, G., Pečarić, J.: A generalization of Mittag–Leffler function associated with Opial type inequalities due to Mitrinović and Pečarić (2019). https://www.researchgate.net/publication/323628045

  2. 2.

    Aslani, S.M.; Delavar, M.R.; Vaezpour, S.M.: Inequalities of Fejér type related to generalized convex functions with applications. Int. J. Anal. Appl. 16(1), 38–49 (2018)

    MATH  Google Scholar 

  3. 3.

    Bullen, P.S.: Handbook of Means and their inequalities. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

  4. 4.

    Chen, F.X.; Wu, S.H.: Several complementary inequalities to inequalities of Hermite-Hadamard type for \(s\)-convex functions. J. Nonlinear Sci. Appl. 9(2), 705–716 (2016)

    MATH  Article  MathSciNet  Google Scholar 

  5. 5.

    Chu, Y.-M.; Khan, M.A.; Khan, T.U.; Ali, T.: Generalizations of Hermite–Hadamard type inequalities for \(MT\)-convex functions. J. Nonlinear Sci. Appl. 9(5), 4305–4316 (2016)

    MATH  Article  MathSciNet  Google Scholar 

  6. 6.

    Du, T.S.; Liao, J.G.; Li, Y.J.: Properties and integral inequalities of Hadamard–Simpson type for the generalized \((s, m)\)-preinvex functions. J. Nonlinear Sci. Appl. 9, 3112–3126 (2016)

    MATH  Article  MathSciNet  Google Scholar 

  7. 7.

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

    MATH  Article  MathSciNet  Google Scholar 

  8. 8.

    Delavar, M.R.; Dragomir, S.S.: On \(\eta \)-convexity. Math. Inequal. Appl. 20, 203–216 (2017)

    MATH  MathSciNet  Google Scholar 

  9. 9.

    Delavar, M.R.; De La Sen, M.: Some Generalizations of Hermite-Hadamard Type Inequalities, vol. 5. SpringerPlus, New York (2016)

    Google Scholar 

  10. 10.

    Dragomir, S.S.; Agarwal, R.P.: Two inequalities for differentiable mappings and applications to special means of real numbers and trapezoidal formula. Appl. Math. Lett. 11(5), 91–95 (1998)

    MATH  Article  MathSciNet  Google Scholar 

  11. 11.

    Farid, G.; Abbas, G.: Generalizations of some fractional integral inequalities for \(m\)-convex functions via generalized Mittag–Leffler function. Stud. Univ. Babeş Bolyai Math. 63(1), 23–35 (2018)

    MATH  Article  MathSciNet  Google Scholar 

  12. 12.

    Farid, G.; Rehman, A.U.: Generalizations of some integral inequalities for fractional integrals. Ann. Math. Silesianae 31, 14 (2017)

    Google Scholar 

  13. 13.

    Gordji, M.E.; Dragomir, S.S.; Delavar, M.R.: An inequality related to \(\eta \)-convex functions (II). Int. J. Nonlinear Anal. Appl. 6(2), 26–32 (2016)

    Google Scholar 

  14. 14.

    Gordji, M.E.; Delavar, M.R.; De La Sen, M.: On \(\varphi \)-convex functions. J. Math. Inequal. Wiss 10(1), 173–183 (2016)

    MATH  Article  Google Scholar 

  15. 15.

    Kamiya, T.; Takeuchi, S.: Complete \((p, q)\)-elliptic integrals with application to a family of means. J. Class. Anal. 10(1), 15–25 (2017)

    MATH  Article  MathSciNet  Google Scholar 

  16. 16.

    Kashuri, A.; Liko, R.: Hermite–Hadamard type fractional integral inequalities for generalized \((r, s, m,\varphi )\)-preinvex functions. Eur. J. Pure Appl. Math. 10(3), 495–505 (2017)

    MATH  MathSciNet  Google Scholar 

  17. 17.

    Kashuri, A.; Liko, R.: Hermite–Hadamard type inequalities for generalized \((s, m,\varphi )\)-preinvex functions via \(k\)-fractional integrals. Tbil. Math. J. 10(4), 73–82 (2017)

    MATH  Article  MathSciNet  Google Scholar 

  18. 18.

    Kashuri, A.; Liko, R.: Hermite–Hadamard type fractional integral inequalities for \(MT_{(m,\varphi )}\)-preinvex functions. Stud. Univ. Babeş Bolyai Math. 62(4), 439–450 (2017)

    MATH  Article  MathSciNet  Google Scholar 

  19. 19.

    Kashuri, A.; Liko, R.; Dragomir, S.S.: Some new Gauss–Jacobi and Hermite–Hadamard type inequalities concerning \((n+1)\)-differentiable generalized \(((h_{1}, h_{2}),(\eta _{1},\eta _{2}))\)-convex mappings. Tamkang J. Math. 49(4), 317–337 (2018)

    MATH  Article  MathSciNet  Google Scholar 

  20. 20.

    Khan, M.A.; Chu, Y.-M.; Kashuri, A.; Liko, R.: Hermite–Hadamard type fractional integral inequalities for \(MT_{(r, g, m,\varphi )}\)-preinvex functions. J. Comput. Anal. Appl. 26(8), 1487–1503 (2019)

    Google Scholar 

  21. 21.

    Khan, M.A.; Khurshid, Y.; Ali, T.: Hermite–Hadamard inequality for fractional integrals via \(\eta \)-convex functions. Acta Math. Univ. Comen. 79(1), 153–164 (2017)

    MATH  MathSciNet  Google Scholar 

  22. 22.

    Khan, M.A., Chu, Y.-M., Kashuri, A., Liko, R., Ali, G.: Conformable fractional integrals versions of Hermite–Hadamard inequalities and their generalizations. J. Funct. Spaces, 9 (2018) (Article ID 6928130)

  23. 23.

    Liu, W.J.: Some Simpson type inequalities for \(h\)-convex and \((\alpha, m)\)-convex functions. J. Comput. Anal. Appl. 16(5), 1005–1012 (2014)

    MATH  MathSciNet  Google Scholar 

  24. 24.

    Liu, W.; Wen, W.; Park, J.: Ostrowski type fractional integral inequalities for \(MT\)-convex functions. Miskolc Math. Notes 16(1), 249–256 (2015)

    MATH  Article  MathSciNet  Google Scholar 

  25. 25.

    Liu, W.; Wen, W.; Park, J.: Hermite–Hadamard type inequalities for \(MT\)-convex functions via classical integrals and fractional integrals. J. Nonlinear Sci. Appl. 9, 766–777 (2016)

    MATH  Article  MathSciNet  Google Scholar 

  26. 26.

    Luo, C.; Du, T.S.; Khan, M.A.; Kashuri, A.; Shen, Y.: Some \(k\)-fractional integrals inequalities through generalized \(\lambda _{\phi m}\)-\(MT\)-preinvexity. J. Comput. Anal. Appl. 27(4), 690–705 (2019)

    Google Scholar 

  27. 27.

    Matloka, M.: Inequalities for \(h\)-preinvex functions. Appl. Math. Comput. 234, 52–57 (2014)

    MATH  MathSciNet  Google Scholar 

  28. 28.

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

    MATH  MathSciNet  Google Scholar 

  29. 29.

    Noor, M.A.; Noor, K.I.; Awan, M.U.; Khan, S.: Hermite–Hadamard type inequalities for differentiable \(h_{\varphi }\)-preinvex functions. Arab. J. Math. 4(1), 63–76 (2015)

    MATH  Article  MathSciNet  Google Scholar 

  30. 30.

    Noor, M.A.; Noor, K.I.; Awan, M.U.; Khan, S.: Hermite–Hadamard inequalities for \(s\)-Godunova-Levin preinvex functions. J. Adv. Math. Stud. 7(2), 12–19 (2014)

    MATH  MathSciNet  Google Scholar 

  31. 31.

    Omotoyinbo, O.; Mogbodemu, A.: Some new Hermite–Hadamard integral inequalities for convex functions. Int. J. Sci. Innov. Tech. 1(1), 1–12 (2014)

    Google Scholar 

  32. 32.

    Pini, R.: Invexity and generalized convexity. Optimization 22, 513–525 (1991)

    MATH  Article  MathSciNet  Google Scholar 

  33. 33.

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

    Google Scholar 

  34. 34.

    Sarikaya, M.Z.; Erden, S.: On the Hermite-Hadamard-Fejér type integral inequality for convex functions. Turk. J. Anal. Number Theory 2(3), 85–89 (2014)

    Article  Google Scholar 

  35. 35.

    Set, E.; Noor, M.A.; Awan, M.U.; Gözpinar, A.: Generalized Hermite–Hadamard type inequalities involving fractional integral operators. J. Inequal. Appl. 169, 1–10 (2017)

    MATH  MathSciNet  Google Scholar 

  36. 36.

    Shi, H.N.: Two Schur-convex functions related to Hadamard-type integral inequalities. Publ. Math. Debrecen 78(2), 393–403 (2011)

    MATH  Article  MathSciNet  Google Scholar 

  37. 37.

    Takeuchi, S.: A new form of the generalized complete elliptic integrals. Kodai Math. J. 39(1), 202–226 (2016)

    MATH  Article  MathSciNet  Google Scholar 

  38. 38.

    Takeuchi, S.: Complete \(p\)-elliptic integrals and a computation formula of \(\pi _{p}\) for \(p=4\). Ramanujan J. 46(2), 309–321 (2018)

    MATH  Article  MathSciNet  Google Scholar 

  39. 39.

    Tunç, M.; Gov, E.; Şanal, Ü.: On \(tgs\)-convex function and their inequalities. Facta Univ. Ser. Math. Inf. 30(5), 679–691 (2015)

    MATH  MathSciNet  Google Scholar 

  40. 40.

    Varošanec, S.: On \(h\)-convexity. J. Math. Anal. Appl. 326(1), 303–311 (2007)

    MATH  Article  MathSciNet  Google Scholar 

  41. 41.

    Wang, H.; Du, T.S.; Zhang, Y.: \(k\)-fractional integral trapezium-like inequalities through \((h, m)\)-convex and \((\alpha, m)\)-convex mappings. J. Inequal. Appl. 2017(311), 20 (2017)

    MATH  MathSciNet  Google Scholar 

  42. 42.

    Wang, Y.; Wang, S.H.; Qi, F.: Simpson type integral inequalities in which the power of the absolute value of the first derivative of the integrand is \(s\)-preinvex. Facta Univ. Ser. Math. Inf. 28(2), 151–159 (2013)

    MATH  MathSciNet  Google Scholar 

  43. 43.

    Weir, T.; Mond, B.: Preinvex functions in multiple objective optimization. J. Math. Anal. Appl. 136, 29–38 (1988)

    MATH  Article  MathSciNet  Google Scholar 

  44. 44.

    Zhang, X.M.; Chu, Y.-M.; Zhang, X.H.: The Hermite-Hadamard type inequality of \(GA\)-convex functions and its applications. J. Inequal. Appl., 11 (2010) (Article ID: 507560)

  45. 45.

    Zhang, Y.; Du, T.S.; Wang, H.; Shen, Y.J.; Kashuri, A.: Extensions of different type parameterized inequalities for generalized \((m, h)\)-preinvex mappings via \(k\)-fractional integrals. J. Inequal. Appl. 2018(49), 30 (2018)

    MATH  MathSciNet  Google Scholar 

  46. 46.

    Huang, T.-R.; Tan, S.-Y.; Zhang, X.-H.: Monotonicity, convexity, and inequalities for the generalized elliptic integrals. J. Inequal. Appl. 2017, 278 (2017)

    MATH  Article  MathSciNet  Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to George Anastassiou.

Additional information

Publisher's Note

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

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Anastassiou, G., Kashuri, A. & Liko, R. Fractional integral inequalities for generalized-\(\mathbf{m }\)-\(((h_{1}^{p},h_{2}^{q});(\eta _{1},\eta _{2}))\)-convex mappings via an extended generalized Mittag–Leffler function. Arab. J. Math. 9, 231–243 (2020). https://doi.org/10.1007/s40065-019-00275-9

Download citation

Mathematics Subject Classification

  • 26A51
  • 26A33
  • 26D07
  • 26D10
  • 26D15
  • 33E12