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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 [a, b] is denoted by L[a, b].
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:
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
where \(\beta _{p}\) is the generalized beta function defined by
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
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],\)
Definition 1.6
[30] A function \(f: K\longrightarrow {\mathbb {R}}\) is said to be s-Godunova-Levin-Dragomir-preinvex of second kind, if
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
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
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
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 (y, f(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
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.
2 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
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.
-
(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.
-
(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.
-
(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.
-
(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.
-
(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
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
and
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:
We denote
Proof
Integrating by parts Eq. (2.3), we get
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:
where
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
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
Corollary 2.14
In Theorem 2.10 for \(g(s)\equiv 1,\) we have
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
Corollary 2.16
In Corollary 2.15 for \(h_{1}(t)=(1-t)^{s}\) and \(h_{2}(t)=t^{s},\) we get
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
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
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
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:
where
and
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
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
Corollary 2.22
In Theorem 2.20 for \(g(s)\equiv 1,\) we have
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
Corollary 2.24
In Corollary 2.23 for \(h_{1}(t)=(1-t)^{s}\) and \(h_{2}(t)=t^{s},\) we get
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
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
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
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.
3 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.
Homogeneity: \(M(ax,ay)=aM(x,y),\) for all \(a>0,\)
-
2.
Symmetry: \(M(x,y)=M(y,x),\)
-
3.
Reflexivity: \(M(x,x)=x,\)
-
4.
Monotonicity: If \(x\le x'\) and \( y\le y',\) then \(M(x,y)\le M(x',y'),\)
-
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:
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
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
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)
Bullen, P.S.: Handbook of Means and their inequalities. Kluwer Academic Publishers, Dordrecht (2003)
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)
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)
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)
Dahmani, Z.: On Minkowski and Hermite–Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 1(1), 51–58 (2010)
Delavar, M.R.; Dragomir, S.S.: On \(\eta \)-convexity. Math. Inequal. Appl. 20, 203–216 (2017)
Delavar, M.R.; De La Sen, M.: Some Generalizations of Hermite-Hadamard Type Inequalities, vol. 5. SpringerPlus, New York (2016)
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)
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)
Farid, G.; Rehman, A.U.: Generalizations of some integral inequalities for fractional integrals. Ann. Math. Silesianae 31, 14 (2017)
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)
Gordji, M.E.; Delavar, M.R.; De La Sen, M.: On \(\varphi \)-convex functions. J. Math. Inequal. Wiss 10(1), 173–183 (2016)
Kamiya, T.; Takeuchi, S.: Complete \((p, q)\)-elliptic integrals with application to a family of means. J. Class. Anal. 10(1), 15–25 (2017)
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)
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)
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)
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)
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)
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)
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)
Liu, W.J.: Some Simpson type inequalities for \(h\)-convex and \((\alpha, m)\)-convex functions. J. Comput. Anal. Appl. 16(5), 1005–1012 (2014)
Liu, W.; Wen, W.; Park, J.: Ostrowski type fractional integral inequalities for \(MT\)-convex functions. Miskolc Math. Notes 16(1), 249–256 (2015)
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)
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)
Matloka, M.: Inequalities for \(h\)-preinvex functions. Appl. Math. Comput. 234, 52–57 (2014)
Mubeen, S.; Habibullah, G.M.: \(k\)-Fractional integrals and applications. Int. J. Contemp. Math. Sci. 7, 89–94 (2012)
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)
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)
Omotoyinbo, O.; Mogbodemu, A.: Some new Hermite–Hadamard integral inequalities for convex functions. Int. J. Sci. Innov. Tech. 1(1), 1–12 (2014)
Pini, R.: Invexity and generalized convexity. Optimization 22, 513–525 (1991)
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)
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)
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)
Shi, H.N.: Two Schur-convex functions related to Hadamard-type integral inequalities. Publ. Math. Debrecen 78(2), 393–403 (2011)
Takeuchi, S.: A new form of the generalized complete elliptic integrals. Kodai Math. J. 39(1), 202–226 (2016)
Takeuchi, S.: Complete \(p\)-elliptic integrals and a computation formula of \(\pi _{p}\) for \(p=4\). Ramanujan J. 46(2), 309–321 (2018)
Tunç, M.; Gov, E.; Şanal, Ü.: On \(tgs\)-convex function and their inequalities. Facta Univ. Ser. Math. Inf. 30(5), 679–691 (2015)
Varošanec, S.: On \(h\)-convexity. J. Math. Anal. Appl. 326(1), 303–311 (2007)
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)
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)
Weir, T.; Mond, B.: Preinvex functions in multiple objective optimization. J. Math. Anal. Appl. 136, 29–38 (1988)
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)
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)
Huang, T.-R.; Tan, S.-Y.; Zhang, X.-H.: Monotonicity, convexity, and inequalities for the generalized elliptic integrals. J. Inequal. Appl. 2017, 278 (2017)
Author information
Authors and Affiliations
Corresponding author
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/.
About this article
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-019-00275-9