Abstract
Two classes of functions are hereby considered; namely, η-quasiconvex, and strongly η-quasiconvex functions. For the former, we establish some novel integral inequalities of the trapezoid kind for functions with second derivatives, while, for the latter, we obtain some new estimates of the integral \(\int _{\mathfrak {\alpha }}^{\beta }(\mathfrak {r}-\mathfrak {\alpha })^{p}(\beta -\mathfrak {r})^{q}\mathcal {K}(\mathfrak {r}) \,d\mathfrak {r}\) when \(|\mathcal {K}(\mathfrak {r})|\), to some powers, is strongly η-quasiconvex. Results obtained herein contribute to the development of these new classes of functions by providing broader generalizations to some well-known results in the literature. Furthermore, we employ our results to deduce some estimates for the perturbed version of the trapezoidal formula. Finally, applications to some special means are also presented.
Similar content being viewed by others
1 Introduction
Nearly no mathematician can ignore the significant role of convex sets and convex functions in applied mathematics, especially in nonlinear programming and optimization theory. In addition, the elegance of convex sets and functions in shape and property makes studying this branch of mathematical analysis attractive. On the other hand, it should be observed that in new problems related to convexity, generalized notions for convex sets and functions are required to reach favorite and applicable results. In the past six decades, many determined attempts have gone in universalizing the concept of convexity. One of such generalizations is the concept of quasiconvex functions given in the definition below.
Unless otherwise stated, we shall assume throughout this paper that \(\mathfrak {D}\subseteq \mathbb {R}\) is an interval, and \(\mathfrak {D}^{\circ }\) represents the interior of \(\mathfrak {D}\).
Definition 1
([6])
A function \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) is called quasiconvex on \(\mathfrak {D}\) if
for all \(\mathfrak {u},\mathfrak {v}\in \mathfrak {D}\) and \(\tau \in [0,1]\).
For this class of quasiconvex functions, Ion established the following results.
Theorem 2
([11])
Let \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\), \(\mathfrak {\alpha },\beta \in \mathfrak {D}^{\circ }\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}'|\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then
Theorem 3
([11])
Let \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\), \(\mathfrak {\alpha },\beta \in \mathfrak {D}^{\circ }\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}'|^{p/(p-1)}\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\) for \(p>1\), then
Following the same line of thought, Alomari et al. proved the following.
Theorem 4
([1])
Let \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\), \(\mathfrak {\alpha },\beta \in \mathfrak {D}^{\circ }\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}'|^{q}\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\) for \(q\geq 1\), then
In another direction, Özdemir et al. obtained an estimate for the integral \(\int _{\mathfrak {\alpha }}^{\beta }(\mathfrak {r}-\mathfrak {\alpha })^{p}(\beta -\mathfrak {r})^{q}\mathcal {K}(\mathfrak {r})\,d\mathfrak {r}\) in the following theorem.
Theorem 5
([22])
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \). If \(\mathcal {K}\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
where \(\mathcal{B}(\cdot ,\cdot )\) is the Beta function defined for any \(m, n>0\) as thus:
Motivated by the above results, Liu proved the following results in same direction.
Theorem 6
([16])
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \), and let \(x>1\) with \(1/x+1/y=1\). If \(|\mathcal {K}|^{y}\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
Theorem 7
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \), and let \(s\geq 1\). If \(|\mathcal {K}|^{s}\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
Recently, Gordji et al. introduced a new class of convexity—called η-quasiconvex functions.
Definition 8
([6])
A function \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) is called η-quasiconvex on \(\mathfrak {D}\) with respect to \(\eta :\mathbb {R}\times \mathbb {R}\to \mathbb {R}\) if
for all \(\mathfrak {u},\mathfrak {v}\in \mathfrak {D}\) and \(\tau \in [0,1]\).
A generalization of the above definition was recently proposed by Awan et al. as follows.
Definition 9
([2])
A function \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) is called strongly η-quasiconvex on \(\mathfrak {D}\) with respect to \(\eta :\mathbb {R}\times \mathbb {R}\to \mathbb {R}\) and nonnegative modulus μ if
for all \(\mathfrak {u},\mathfrak {v}\in \mathfrak {D}\) and \(\tau \in [0,1]\).
Some papers concerning functions that are η-quasiconvex and strongly η-quasiconvex have been published. We refer the interested reader to [4, 5, 7, 8, 13, 17,18,19, 21] and the references cited therein.
Inspired by the above results, it is our goal, in this present article, to:
-
1.
Establish some perturbed inequalities akin to (1)–(3) for functions that are η-quasiconvex in absolute value. Three theorems are obtained in this direction and they extend Theorems 2–4 to this new class of functions. Applications of these results are also presented.
-
2.
Extend Theorems 5–7 to the class of strongly η-quasiconvex functions. As a special case, our results boil down to already established theorems stated in this article. See Remark 19.
We arrange this article in the following manner: in Sect. 2, we state and prove our main results. Sections 3 and 4 present applications to the trapezoidal formula and special means, respectively.
2 Main results
For the proof of our main results, the following lemmas will be useful.
Lemma 10
([23])
Let \(\mathcal {K}:\mathfrak {D}\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\), \(\mathfrak {\alpha }, \beta \in \mathfrak {D}^{\circ }\) with \(\mathfrak {\alpha }\leq \beta \). If \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), then the following equality holds:
Lemma 11
([22])
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \). Then for some fixed \(p,q>0\) the following equality holds:
2.1 Perturbed trapezoid inequalities via η-quasiconvexity
We now frame and justify our results for the class of η-quasiconvex functions.
Theorem 12
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}''|\) is an η-quasiconvex function on \([\mathfrak {\alpha },\beta ]\), then
where \(\mathbf{M}^{\beta }_{\mathfrak {\alpha }}(|\mathcal {K}''|,\eta )\) and \(\mathbf{N}^{\beta } _{\mathfrak {\alpha }}(|\mathcal {K}''|,\eta )\) are defined by (10) and (11), respectively.
Proof
By using the definition of η-quasiconvexity of \(|\mathcal {K}''|\) on \([\mathfrak {\alpha },\beta ]\), one obtains the following inequalities:
and
for \(\tau \in [0, 1]\). Now, applying Lemma 10, and inequalities (10) and (11), we get
That completes the proof of Theorem 12. □
Theorem 13
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \), and let \(p>1\) with \(1/p+1/q=1\). If \(|\mathcal {K}''|^{q}\) is an η-quasiconvex function on \([\mathfrak {\alpha },\beta ]\), then
where \(\mathbf{M}^{\beta }_{\mathfrak {\alpha }}(|\mathcal {K}''|^{q},\eta )\) and \(\mathbf{N}^{\beta } _{\mathfrak {\alpha }}(|\mathcal {K}''|^{q},\eta )\) are defined by (12) and (13), respectively.
Proof
The η-quasiconvexity of the function \(|\mathcal {K}''|^{q}\) implies that, for \(\tau \in [0, 1]\),
and
Also, it is easy to see that
Using Lemma 10, Hölder’s inequality, and thereafter Eqs. (12)–(14), one obtains
That establishes the desired inequality. □
Theorem 14
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}''|^{q}\) is an η-quasiconvex function on \([\mathfrak {\alpha },\beta ]\) for \(q\geq 1\), then
where \(\mathbf{M}^{\beta }_{\mathfrak {\alpha }}(|\mathcal {K}''|^{q},\eta )\) and \(\mathbf{N}^{\beta } _{\mathfrak {\alpha }}(|\mathcal {K}''|^{q},\eta )\) are defined as in Theorem 13.
Proof
Applying Lemma 10 and the power integral inequality, one gets
Hence, the intended result is obtained. □
2.2 More inequalities via strong η-quasiconvexity
We now present some new estimates for \(\int _{\mathfrak {\alpha }}^{\beta }(\mathfrak {r}-\mathfrak {\alpha })^{p}(\beta -\mathfrak {r})^{q}\mathcal {K}(\mathfrak {r}) \,d\mathfrak {r}\) by means of the strong η-quasiconvexity.
Theorem 15
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \). If \(\mathcal {K}\) is strongly η-quasiconvex with nonnegative modulus μ on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
Proof
The strong η-quasiconvexity of \(\mathcal {K}\) on \([\mathfrak {\alpha },\beta ]\) implies that, for \(\tau \in [\mathfrak {\alpha },\beta ]\), one obtains
for \(\tau \in [0,1]\). From Lemma 11 and (16), we get
which gives the intended inequality. □
Remark 16
Let \(\eta (x,y)=x-y\). If, in addition, we assume that \(\mathcal {K}\) in Theorem 15 is
-
1.
increasing, then (15) boils down to
$$ \begin{aligned}& \int _{\mathfrak {\alpha }}^{\beta }(\mathfrak {r}-\mathfrak {\alpha })^{p}( \beta -\mathfrak {r})^{q}\mathcal {K}(\mathfrak {r})\,d\mathfrak {r}\\ &\quad \leq (\beta -\mathfrak {\alpha })^{p+q+1} \bigl[\mathcal{B}(p+1,q+1)\mathcal {K}(\beta )- \mu (\beta -\mathfrak {\alpha })^{2}\mathcal{B}(p+2,q+2) \bigr]; \end{aligned} $$ -
2.
decreasing, then (15) becomes
$$ \begin{aligned}& \int _{\mathfrak {\alpha }}^{\beta }(\mathfrak {r}-\mathfrak {\alpha })^{p}( \beta -\mathfrak {r})^{q}\mathcal {K}(\mathfrak {r})\,d\mathfrak {r}\\ &\quad \leq (\beta -\mathfrak {\alpha })^{p+q+1} \bigl[\mathcal{B}(p+1,q+1)\mathcal {K}(\mathfrak {\alpha })- \mu (\beta -\mathfrak {\alpha })^{2}\mathcal{B}(p+2,q+2) \bigr]. \end{aligned} $$
Theorem 17
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \), and let \(x>1\) with \(1/x+1/y=1\). If \(|\mathcal {K}|^{y}\) is strongly η-quasiconvex with nonnegative modulus μ on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
Proof
The strong η-quasiconvexity of the function \(|\mathcal {K}|^{y}\) on \([\mathfrak {\alpha },\beta ]\) implies that, for \(\tau \in [0, 1]\),
Applying (18) to Lemma 11, Hölder’s inequality and the definition of the Beta function given above, one obtains
That completes the proof. □
We end this section with our last result.
Theorem 18
Let \(\mathcal {K}:[\mathfrak {\alpha },\beta ]\subset [0,\infty )\to \mathbb {R}\) be continuous on \([\mathfrak {\alpha },\beta ]\) such that \(\mathcal {K}\in L([\mathfrak {\alpha },\beta ])\) with \(\mathfrak {\alpha }<\beta \), and let \(s\geq 1\). If \(|\mathcal {K}|^{s}\) is strongly η-quasiconvex with nonnegative modulus μ on \([\mathfrak {\alpha },\beta ]\), then, for some fixed \(p,q>0\), we obtain
Proof
We proceed as in the proof of Theorem 17, but this time we use the mean power inequality. We have
which gives the desired result. □
Remark 19
Similar corollaries, as stated in Remark 16, can be deduced from Theorems 17 and 18. Moreover, by taking \(\eta (x,y)=x-y\) and \(\mu =0\), our Theorem 15 becomes Theorem 5 of Özdemir et al., and Theorems 17 and 18 reduce to Theorems 6 and 7 (due to Liu), respectively.
3 Applications to trapezoidal formula
We start by recalling the following well-known result: let \(\mathcal {K}:[\mathfrak {\alpha },\beta ] \to \mathbb {R}\) be a function whose second derivative exists in \((\mathfrak {\alpha },\beta )\) and let P be a partition of the interval \([\mathfrak {\alpha },\beta ]\), that is, \(\mathbf{P}: \mathfrak {\alpha }=\mathfrak {r}_{1}<\mathfrak {r}_{2}<\cdots <\mathfrak {r}_{m-1}<\mathfrak {r}_{m}=\beta \), then
where the trapezoidal formula \(\mathbb {F}(\mathcal {K},\mathbf{P})\) is defined by
and the approximation error \(\mathbb {E}(\mathcal {K},\mathbf{P})\) of the integral \(\mathfrak {J}\) by the trapezoidal formula \(\mathbb {F}(\mathcal {K},\mathbf{P})\) and satisfies the inequality
with \(Q=\max_{\mathfrak {r}\in (\mathfrak {\alpha },\beta )}|\mathcal {K}''(\mathfrak {r})|<\infty \). In this section, we establish some perturbed new inequalities analogous to the estimate in (20) for twice differentiable functions.
Proposition 20
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}''|\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then for every partition P of \([\mathfrak {\alpha },\beta ]\)
where \(\mathbb {G}(\mathcal {K},\mathbf{P})=\sum_{k=0}^{m-1}(\mathfrak {r}_{k+1}-\mathfrak {r}_{k})^{2}\frac{\mathcal {K}'(\mathfrak {r}_{k+1})-\mathcal {K}'(\mathfrak {r}_{k})}{4}\).
Proof
By using the function \(\eta (x,y)=x-y\) in (9) of Theorem 12, one gets
Now employing (21) for the subintervals \([\mathfrak {r}_{k},\mathfrak {r}_{k+1}]\) for \(k=\overline{0, m-1}\) of P, we obtain
Summing both sides of the above inequality over k from 0 to \(m-1\) amounts to
from which the desired inequality is obtained. □
By applying Proposition 20, the following consequence is obtained.
Corollary 21
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}''|\) is quasiconvex on \([\mathfrak {\alpha },\beta ]\), then, for every partition P of \([\mathfrak {\alpha },\beta ]\), we have:
-
I.
If \(|\mathcal {K}''|\) is increasing, then
$$ \bigl\vert \mathbb {E}(\mathcal {K},\mathbf{P})+5\mathbb {G}(\mathcal {K},\mathbf{P}) \bigr\vert \leq \frac{7}{6} \sum_{k=0}^{m-1}( \mathfrak {r}_{k+1}-\mathfrak {r}_{k})^{3} \bigl\vert \mathcal {K}''(\mathfrak {r}_{k+1}) \bigr\vert . $$ -
II.
If \(|\mathcal {K}''|\) is decreasing, then
$$ \bigl\vert \mathbb {E}(\mathcal {K},\mathbf{P})+5\mathbb {G}(\mathcal {K},\mathbf{P}) \bigr\vert \leq \frac{7}{6} \sum_{k=0}^{m-1}( \mathfrak {r}_{k+1}-\mathfrak {r}_{k})^{3} \bigl\vert \mathcal {K}''(\mathfrak {r}_{k}) \bigr\vert . $$
Proposition 22
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \), and let \(p>1\) with \(1/p+1/q=1\). If \(|\mathcal {K}''|^{q}\) is a quasiconvex function on \([\mathfrak {\alpha },\beta ]\), then for every partition P of \([\mathfrak {\alpha },\beta ]\)
Proof
We apply Theorem 13 to the bifunction \(\eta (x,y)=x-y\), and we proceed as in the proof of Proposition 20. □
Now applying Proposition 22, one obtains the following corollary.
Corollary 23
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \), and let \(p>1\) with \(1/p+1/q=1\). If \(|\mathcal {K}''|^{q}\) is a quasiconvex function on \([\mathfrak {\alpha },\beta ]\), then, for every partition P of \([\mathfrak {\alpha },\beta ]\), we get:
-
I.
If \(|\mathcal {K}''|^{q}\) is increasing, then
$$ \bigl\vert \mathbb {E}(\mathcal {K},\mathbf{P})+5\mathbb {G}(\mathcal {K},\mathbf{P}) \bigr\vert \leq \frac{1}{2} \biggl(\frac{2^{2p+1}-1}{2p+1} \biggr)^{\frac{1}{p}} \sum_{k=0}^{m-1}(\mathfrak {r}_{k+1}- \mathfrak {r}_{k})^{3} \bigl\vert \mathcal {K}''( \mathfrak {r}_{k+1}) \bigr\vert . $$ -
II.
If \(|\mathcal {K}''|^{q}\) is decreasing, then
$$ \bigl\vert \mathbb {E}(\mathcal {K},\mathbf{P})+5\mathbb {G}(\mathcal {K},\mathbf{P}) \bigr\vert \leq \frac{1}{2} \biggl(\frac{2^{2p+1}-1}{2p+1} \biggr)^{\frac{1}{p}} \sum_{k=0}^{m-1}(\mathfrak {r}_{k+1}- \mathfrak {r}_{k})^{3} \bigl\vert \mathcal {K}''( \mathfrak {r}_{k}) \bigr\vert . $$
Employing Theorem 14, we conclude this section by presenting a generalization of Proposition 20.
Proposition 24
Let \(\mathcal {K}:\mathfrak {D}\subset [0,\infty )\to \mathbb {R}\) be a differentiable function on \(\mathfrak {D}^{\circ }\) such that \(\mathcal {K}''\in L([\mathfrak {\alpha },\beta ])\), where \(\mathfrak {\alpha },\beta \in \mathfrak {D}\) with \(\mathfrak {\alpha }<\beta \). If \(|\mathcal {K}''|^{q}\) is a quasiconvex function on \([\mathfrak {\alpha },\beta ]\) for \(q\geq 1\), then for every partition P of \([\mathfrak {\alpha },\beta ]\)
4 Applications to special means
In this section, we apply some of our theorems to the following special means for distinct real numbers x and y.
-
1.
Arithmetic mean:
$$ \mathcal {A}(x,y)=\frac{x+y}{2}. $$ -
2.
Geometric mean:
$$ \mathcal{G}(x,y)=\sqrt{xy}, \quad x,y>0. $$ -
3.
Harmonic mean:
$$ \mathcal{H}(x,y)=\frac{2xy}{x+y}. $$ -
4.
Logarithmic mean:
$$ \mathcal{L}(x,y)=\frac{x-y}{\ln \vert x \vert -\ln \vert y \vert }, \quad \vert x \vert \neq \vert y \vert , \text{ and } x, y\neq 0. $$ -
5.
Generalized logarithmic mean:
$$ \mathcal{L}_{m}(x,y)= \biggl[\frac{y^{m+1}-x^{m+1}}{(m+1)(y-x)} \biggr] ^{\frac{1}{m}}, \quad m\in \mathbb{N}. $$
Proposition 25
Suppose \(\mathfrak {\alpha },\beta \in \mathbb {R}\) with \(\mathfrak {\alpha }<\beta \) and \(m\in \mathbb{N}\), \(m\geq 2\). Then we get
Proof
Let \(\eta (s,t)=s-t\) and \(\mathcal {K}(s)=s^{m}\), \(s\in \mathbb {R}\). The absolute value of the function \(\mathcal {K}''(s)=m(m-1)s^{m-2}\), \(s\in \mathbb {R}\) is η-quasiconvex with respect to the bifunction η. Now, applying Theorem 12 to \(\mathcal {K}\) and η, one obtains (22). □
Proposition 26
Suppose \(\mathfrak {\alpha },\beta \in \mathbb {R}\) with \(\mathfrak {\alpha }<\beta \) and \(m\in \mathbb{N}\), \(m\geq 2\). Then, for \(p,q>1\) with \(1/p+1/q=1\), we get
Proof
We use Theorem 13 and proceed as in the proof of Proposition 25. □
Proposition 27
Suppose \(\mathfrak {\alpha },\beta \in \mathbb {R}\) with \(0<\mathfrak {\alpha }<\beta \). Then, for \(q\geq 1\), we have
Proof
Here, we consider the function \(\mathcal {K}(s)=1/s\), \(s\in [\mathfrak {\alpha },\beta ]\). The function \(|\mathcal {K}''(s)|^{q}= (\frac{2}{s^{3}} )^{q}\) is η-quasiconvex with respect to \(\eta (s,t)=s-t\). Employing Theorem 14 to \(\mathcal {K}\) and η, we get the desired result. □
5 Conclusion
Many integral inequalities associated with the η-quasiconvex and strongly η-quasiconvex functions have been established. Results obtained herein generalize, extend and refine some published theorems in the literature. Applications to the trapezoidal formula and some special means are also considered. We anticipate that this work will trigger further investigation in this direction. Some new inequalities can also be found in [3, 9, 10, 12, 14, 15, 20].
References
Alomari, M., Darus, M., Dragomir, S.S.: Inequalities of Hermite–Hadamard’s type for functions whose derivatives absolute values are quasi-convex. RGMIA Res. Rep. Coll. 12(14), (2009)
Awan, M.U., Noorb, M.A., Noorb, K.I., Safdarb, F.: On strongly generalized convex functions. FILOMAT 31(18), 5783–5790 (2017)
Chu, Y.-M., Adil Khan, M., Ali, T., Dragomir, S.S.: Inequalities for α-fractional differentiable functions. J. Inequal. Appl. 2017, 93 (2017)
Delavar, M.R., Dragomir, S.S.: On η-convexity. Math. Inequal. Appl. 20(1), 203–216 (2017)
Gordji, M.E., Dragomir, S.S., Delavar, M.R.: An inequality related to η-convex functions (II). Int. J Nonlinear Anal. Appl. 6(2), 26–32 (2015)
Gordji, M.E., Delavar, M.R., Sen, M.D.L.: On φ-convex functions. J. Math. Inequal. 10(1), 173–183 (2016)
Kermausuor, S., Nwaeze, E.R.: Some new inequalities involving the Katugampola fractional integrals for strongly η-convex functions. Tbilisi Math. J. 12(1), 117–130 (2019)
Kermausuor, S., Nwaeze, E.R., Tameru, A.M.: New integral inequalities via the Katugampola fractional integrals for functions whose second derivatives are strongly η-convex. Mathematics 7(2), Article ID 183 (2019)
Adil Khan, M., Begum, S., Khurshid, Y., Chu, Y.M.: Ostrowski type inequalities involving conformable fractional integrals. J. Inequal. Appl. 2018, 70 (2018)
Adil Khan, M., Khurshid, Y., Du, T., Chu, Y.-M.: Generalization of Hermite–Hadamard type inequalities via conformable fractional integrals. Journal of Function Spaces 2018, Article ID 5357463 (2018)
Ion, D.A.: Some estimates on the Hermite–Hadamard inequality through quasi-convex functions. Annals of University of Craiova, Math. Comp. Sci. Ser. 34, 82–87 (2007)
Iqbal, A., Adil Khan, M., Ullah, S., Kashuri, A., Chu, Y.-M.: Hermite–Hadamard type inequalities pertaining conformable fractional integrals and their applications. AIP advances 8(075101), 1–18 (2018)
Khan, M.A., Khurshid, Y., Ali, T.: Hermite–Hadamard inequality for fractional integrals via η-convex functions. Acta Math. Univ. Comenianae. LXXXVI(1), 153–164 (2017)
Adil Khan, M., Iqbal, A., Suleman, M., Chu, Y.-M.: Hermite–Hadamard type inequalities for fractional integrals via green function. J. Inequal. Appl. 2018, 161 (2018)
Khurshid, Y., Adil Khan, M., Chu, Y.-M.: Hermite–Hadamard–Fejer inequalities for conformable fractional integrals via preinvex functions. Journal of Function Spaces 2019, Article ID 3146210 (2019)
Liu, W.J.: New integral inequalities via \((\mathfrak {\alpha }, m)\)-convexity and quasi-convexity. Hacet. J. Math. Stat. 42, 289–297 (2013)
Nwaeze, E.R., Torres, D.F.M.: New inequalities for η-quasiconvex functions. In: Anastassiou, G., Rassias, J. (eds.) Frontiers in Functional Equations and Analytic Inequalities (FEAI). Springer, New York. Accepted
Nwaeze, E.R., Torres, D.F.M.: Novel results on the Hermite–Hadamard kind inequality for η-convex functions by means of the \((k,r)\)-fractional integral operators. In: Dragomir, S.S., Agarwal, P., Jleli, M., Samet, B. (eds.) Advances in Mathematical Inequalities and Applications (AMIA). Trends in Mathematics, pp. 311–321. Birkhäuser, Singapore (2018)
Nwaeze, E.R.: Generalized fractional integral inequalities by means of quasiconvexity. Adv. Diff. Equ. 2019, 262 (2019)
Nwaeze, E.R.: Inequalities of the Hermite–Hadamard type for quasi-convex functions via the \((k,s)\)-Riemann–Liouville fractional integrals. Fractional Differ. Calc. 8(2), 327–336 (2018)
Nwaeze, E.R., Kermausuor, S., Tameru, A.M.: Some new k-Riemann–Liouville fractional integral inequalities associated with the strongly η-quasiconvex functions with modulus \(\mu \geq 0\). J. Inequal. Appl. 2018, 139 (2018)
Ozdemir, M.E., Set, E., Alomari, M.: Integral inequalities via several kinds of convexity. Creat. Math. Inform. 20(1), 62–73 (2011)
Tunç, M., Şanal, Ü.: Some perturbed trapezoid inequalities for convex, s-convex and tgs-convex functions and applications. Tbil. Math. J. 8(2), 87–102 (2015)
Acknowledgements
Many thanks go to the referees for their valuable comments and suggestions.
Availability of data and materials
Not applicable in this work.
Funding
There is no funding to report at this point in time.
Author information
Authors and Affiliations
Contributions
The sole author contributed 100% to this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there are no competing interests.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Nwaeze, E.R. Integral inequalities via generalized quasiconvexity with applications. J Inequal Appl 2019, 236 (2019). https://doi.org/10.1186/s13660-019-2185-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2185-5