- Research
- Open Access
- Published:
New parameterized quantum integral inequalities via η-quasiconvexity
Advances in Difference Equations volume 2019, Article number: 425 (2019)
Abstract
We establish new quantum Hermite–Hadamard and midpoint types inequalities via a parameter \(\mu \in [0,1]\) for a function F whose \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) with \(u\geq 1\). Results obtained in this paper generalize, sharpen, and extend some results in the literature. For example, see (Noor et al. in Appl. Math. Comput. 251:675–679, 2015; Alp et al. in J. King Saud Univ., Sci. 30:193–203, 2018) and (Kunt et al. in Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112:969–992, 2018). By choosing different values of μ, loads of novel estimates can be deduced. We also present some illustrative examples to show how some consequences of our results may be applied to derive more quantum inequalities.
1 Introduction
Quantum calculus is generally described as the ordinary calculus without limits. The q-calculus and h-calculus are the main branches of the quantum calculus. In this article, we shall discuss within the framework of the q-calculus. Quantum calculus has been found to be useful in many areas of mathematics such as orthogonal polynomials, basic hypergeometric functions, combinatorics, the calculus of variations, mechanics, and the theory of relativity. Analogues of many results in the classical calculus have been established in the q-calculus sense. We start by presenting some of the recently published results in this direction. But before that, the following definitions are needed in the sequel:
A function \(F:[\alpha ,\beta ]\subset \mathbb{R}\to \mathbb {R}\) is termed quasiconvex if, for all \(x,y\in [\alpha ,\beta ]\) and \(\tau \in [0,1]\), we have
All convex functions are also quasiconvex, but not all quasiconvex functions are convex, so quasiconvexity is a generalization of convexity. Quasiconvex functions have applications in mathematical analysis, in mathematical optimization, in game theory, and economics. In 2016, the concept of quasiconvexity was generalized in the following way.
Definition 1
([6])
A function \(F:[\alpha ,\beta ]\to \mathbb{R}\) is called η-quasiconvex on \([\alpha ,\beta ]\) with respect to \(\eta :\mathbb{R}\times \mathbb{R}\to \mathbb{R}\) if
for all \(x,y\in [\alpha ,\beta ]\) and \(\tau \in [0,1]\).
In the field of mathematical analysis, many estimates have been established via this generalized convexity and quasiconvexity. For instance, estimates of the Hermite–Hadamard, trapezoid, midpoint, Simpson types have all been obtained for this class of functions. We invite the interested reader to see [3, 5, 7, 11, 18].
Embedded in the proof of their main results, Noor et al. [14], Latif et al. [13], and Alp et al. [2] recently established the following quantum inequalities for the class of quasiconvex functions.
Theorem 2
([14])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is quasiconvex on \([\alpha ,\beta ]\) for \(u\geq 1\), then the following inequality holds:
Theorem 3
([13])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is quasiconvex on \([\alpha ,\beta ]\) for \(u> 1\) with \(\frac{1}{u}+\frac{1}{v}=1\), then the following inequality holds:
Theorem 4
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is quasiconvex on \([\alpha ,\beta ]\) for \(u\geq 1\), then the following q-midpoint type inequality holds:
Theorem 5
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is quasiconvex on \([\alpha ,\beta ]\) for \(u> 1\) with \(\frac{1}{u}+\frac{1}{v}=1\), then the following q-midpoint type inequality holds:
The goal of this article is to extend Theorems 2–5 to a more general class of functions. We do this by means of a parameter \(\mu \in [0,1]\) and obtain results for a function F whose \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) for \(u\geq 1\). Our first result sharpens Theorem 2 (see Remark 17); whereas Theorems 3–5 are special cases of our theorems (see Remarks 19, 21, and 23). In addition, we apply our results to some special means to get more results in this direction.
This paper is structured as follows: Sect. 2 contains a quick overview of the quantum calculus. The main results are then framed and justified in Sect. 3. Some illustrative examples are then presented in Sect. 4.
2 Preliminaries
In this section, we present some quick overview of the theory of quantum calculus. For an in-depth study of this subject, we invite the interested reader to the book [8]. We start with the following basic definitions.
Definition 6
([21])
Suppose that \(F:[\alpha ,\beta ]\subset \mathbb {R}\to \mathbb {R}\) is a continuous function and \(z\in [\alpha ,\beta ]\). Then the expression
is called the q-derivative on \([\alpha ,\beta ]\) of the function at z.
We say that F is q-differentiable on \([\alpha ,\beta ]\) provided \({{}_{\alpha }}D_{q}F(z)\) exists for all \(z\in [\alpha ,\beta ]\).
Definition 7
([21])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a continuous function. Then the q-integral on \([\alpha ,\beta ]\) is defined as
for \(z\in [\alpha ,\beta ]\). Moreover, if \(c\in (\alpha ,z)\), then the q-integral on \([\alpha ,\beta ]\) is defined as
Remark 8
In view of Definitions 6 and 7, we make the following observations:
-
1.
By taking \(\alpha =0\), the expression in (2) reduces to the well-known q-derivative, \(D_{q}F(z)\), of the function \(F(z)\) defined by
$$ D_{q}F(z)=\frac{F(z)-F(qz)}{(1-q)z}. $$ -
2.
Also, if \(\alpha =0\), then (3) amounts to the classical q-integral of a function \(F:[0,\infty )\to \mathbb {R}\) defined by
$$ \int _{0}^{z}F(r) \, {}_{0} d_{q}r=(1-q)z\sum_{k=0}^{\infty }q^{k}F \bigl(q^{k}z\bigr). $$
Analogues of some known results in the continuous calculus sense are also given in what follows.
Theorem 9
([4])
Let \(F,G:[\alpha ,\beta ]\to \mathbb {R}\) be two continuous functions and suppose \(F(r)\leq G(r)\) for all \(r\in [\alpha ,\beta ]\). Then
Theorem 10
([21])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a continuous function. Then
Theorem 11
([21])
Let \(F,G:[\alpha ,\beta ]\to \mathbb {R}\) be continuous functions and \(\gamma \in \mathbb {R}\). Then, for \(z\in [\alpha ,\beta ]\) and \(c\in (\alpha ,z)\), we have
3 Main results
The succeeding lemmas will be needed in the proof of our theorems.
Lemma 12
([22])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a continuous and q-differentiable function on \((\alpha ,\beta )\) with \(0< q<1\). If \({}_{\alpha } D_{q}F\) is integrable on \([\alpha ,\beta ]\), then for all \(\mu \in [0, 1]\) the following identity holds:
Lemma 13
([22])
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a continuous and q-differentiable function on \((\alpha ,\beta )\) with \(0< q<1\). If \({}_{\alpha } D_{q}F\) is integrable on \([\alpha ,\beta ]\), then for all \(\mu \in [0, 1]\) the following identity holds:
Lemma 14
([22])
Let \(\lambda ,\mu \in [0,1]\), \(k\in [0,\infty )\), and \(0< q<1\). Then
Lemma 15
([22])
Let \(\lambda ,\mu \in [0,1]\), \(\theta \in [1,\infty )\), and \(0< q<1\). Then
Let f be an η-quasiconvex function on \([\alpha ,\beta ]\). We shall use the following notation:
Theorem 16
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) for \(u\geq 1\), then, for all \(\mu \in [0, 1]\), the following inequality holds:
Proof
The η-quasiconvexity of \(|{}_{\alpha }D_{q}F|^{u}\) on \([\alpha ,\beta ]\) implies that, for all \(\tau \in [0,1]\), one has:
Taking the absolute values of both sides of Lemma 12 and then using (6) together with Hölder’s inequality gives
Now, putting \(k=0\) and \(\lambda =1\) in Lemma 14, we get
Hence, that completes the proof. □
Remark 17
Let \(\eta (x,y)=x-y\) and \(\mu =\frac{1}{1+q}\). Then \(\frac{1}{1+q}>1-q\) and (5) boils down to
Clearly, \(2q^{2}<2q\). Therefore, the new inequality (7) sharpens (1) and thus, provides a better estimate. If, in addition, we let \(q\to 1^{-}\), we get from (7)
Inequality (8) is already known in the literature. See [1, Theorem 6].
Theorem 18
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) for \(u> 1\) with \(\frac{1}{u}+\frac{1}{v}=1\), then for all \(\mu \in [0, 1]\) the following inequality holds:
where \(\varOmega _{q} (1;\mu ;v )\) is defined in Lemma 15.
Proof
Using Lemma 12, (6), an Hölder’s inequality with the conjugate pair \((u,v)\), we get
This completes the proof. □
Remark 19
If we take \(\eta (x,y)=x-y\) and \(\mu =\frac{1}{1+q}\) in Theorem 18, then we regain Theorem 3.
By taking \(\mu =\frac{1}{2}\) and \(\eta (x,y)=x-y\) in (9), we deduce the following:
Next, we present a generalization of Theorems 4 and 5 involving a parameter.
Theorem 20
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) for \(u\geq 1\), then for all \(\mu \in [0, 1]\) the following inequality holds:
Proof
We get, by taking the absolute values of both sides of Lemma 13 and then using Hölder’s inequality and the η-quasiconvexity of \(|{}_{\alpha }D_{q}F|^{u}\) on \([\alpha ,\beta ]\), the following estimates:
Now, using Definition 3, we get that
for any \(p\geq 0\). So, for \(p=1\),
Also, using (4) and the fact that \(q\tau <1\), we obtain that
We get the intended result by combining (11), (13), and (14). □
Remark 21
If we take \(\eta (x,y)=x-y\) and \(\mu =\frac{1}{1+q}\) in Theorem 20, then we recover Theorem 4.
Substituting \(\mu =0\), \(\mu =1\), and \(\mu =\frac{1}{2}\) with \(\eta (x,y)=x-y\) in (10), we get, respectively, the following:
and
Theorem 22
Let \(F:[\alpha ,\beta ]\to \mathbb {R}\) be a q-differentiable function on \((\alpha ,\beta )\) with \({}_{\alpha }D_{q}F\) continuous on \([\alpha ,\beta ]\) where \(0< q<1\). If \(|{}_{\alpha }D_{q}F|^{u}\) is η-quasiconvex on \([\alpha ,\beta ]\) for \(u> 1\) with \(\frac{1}{u}+\frac{1}{v}=1\), then for all \(\mu \in [0, 1]\) the following inequality holds:
where \(\varTheta _{q}(v;\mu )=\int _{\mu }^{1} \vert q\tau -1 \vert ^{v}\, {}_{0}d_{q}\tau \).
Proof
Applying, again, Lemma 13 and Hölder’s inequality, we obtain
From relation (4), we deduce that
The desired result is obtained by substituting (12) and (17) into (16). □
Remark 23
Theorem 5 is recaptured by putting \(\eta (x,y)=x-y\) and \(\mu =\frac{1}{1+q}\) in Theorem 22.
If \(\mu =0\) and \(\mu =1\) with \(\eta (x,y)=x-y\) in Theorem 22, then we get, respectively, the following inequalities:
and
4 Application
The following special means of real numbers will be used here.
-
1.
Arithmetic mean:
$$ \mathcal {A}(u,v)=\frac{u+v}{2}. $$ -
2.
Generalized logarithmic mean:
$$ \mathcal{L}_{m}(u,v)= \biggl[\frac{v^{m+1}-u^{m+1}}{(m+1)(v-u)} \biggr] ^{\frac{1}{m}},\quad m\in \mathbb{N}, u\neq v. $$
Example 24
Let \(0<\alpha <\beta \) and \(0< q<1\). Then
Proof
Let \(F(x)=x^{2}\). Then, by the properties of the q-integral, we have
Also, for \(x\neq \alpha \),
For \(x=\alpha \), we have \({}_{\alpha }D_{q}F(\alpha )=\lim_{x\to \alpha } ({}_{\alpha }D _{q}F(x) )=2\alpha \). The function \(|{}_{\alpha }D_{q}F(x)|\) is convex and hence quasiconvex on \([\alpha ,\beta ]\). The desired inequality is obtained by using (7) with \(u=1\). □
If we let \(q\to 1^{-}\) in (18), we obtain
Example 25
Let \(0<\alpha <\beta \) and \(0< q<1\). Then
Proof
In this case, we apply (15) to the function \(F(x)=x^{2}\) and proceed as in Example 24. □
If we let \(q\to 1^{-}\), then (19) boils down to
5 Conclusion
By introducing a parameter \(\mu \in [0, 1]\), we established some quantum inequalities by means of the η-quasiconvexity. Our results sharpen, generalize, and extend some known results as can be seen in Remarks 17, 19, 21, and 23. Some examples are also given to show how new estimates can be obtained from our main results. We anticipate that these novel estimates will stimulate further investigation in this regard. Some recent results concerning quasiconvexity and its generalization can be found in [9, 10, 15,16,17,18,19,20].
References
Alomari, M., Darius, M., Dragomir, S.S.: Inequalities of Hermite–Hadamard’ type for functions whose derivatives absolute values are quasi-convex. RGMIA Res. Rep. Collect. 12(suppl.), Article ID 14
Alp, N., Sarikaya, M.Z., Kunt, M., Işcan, I.: q-Hermite–Hadamard inequalities and quantum estimates for midpoint type inequalities via convex and quasi-convex functions. J. King Saud Univ., Sci. 30, 193–203 (2018)
Awan, M.U., Noorb, M.A., Noorb, K.I., Safdarb, F.: On strongly generalized convex functions. Filomat 31(18), 5783–5790 (2017)
Chen, F., Yang, W.: Some new Chebyshev type quantum integral inequalities on finite intervals. J. Comput. Anal. Appl. 21, 417–426 (2016)
Delavar, M.R., Dragomir, S.S.: On η-convexity. Math. Inequal. Appl. 20(1), 203–216 (2017)
Gordji, M.E., Delavar, M.R., Sen, M.D.L.: On φ-convex functions. J. Math. Inequal. 10(1), 173–183 (2016)
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)
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
Kermausuor, S., Nwaeze, E.R.: Some new inequalities involving the Katugampola fractional integrals for strongly η-convex functions. Tbil. 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)
Khan, M.A., Khurshid, Y., Ali, T.: Hermite–Hadamard inequality for fractional integrals via η-convex functions. Acta Math. Univ. Comen. LXXXVI(1), 153–164 (2017)
Kunt, M., Işcan, I., Alp, N., Sarikaya, M.Z.: \((p, q)\)-Hermite–Hadamard inequalities and \(( p, q)\)-estimates for midpoint type inequalities via convex and quasi-convex functions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112, 969–992 (2018)
Latif, M.A., Kunt, M., Dragomir, S.S., Işcan, I.: Some \((p,q)\)-estimates for Hermite–Hadamard inequalities via convex and quasi-convex functions. https://doi.org/10.13140/RG.2.1.1280.280
Noor, M.A., Noor, K.I., Awan, M.U.: Some quantum estimates for Hermite–Hadamard inequalities. Appl. Math. Comput. 251, 675–679 (2015)
Nwaeze, E.R.: Inequalities of the Hermite–Hadamard type for quasi-convex functions via the \((k,s)\)-Riemann–Liouville fractional integrals. Fract. Differ. Calc. 8(2), 327–336 (2018)
Nwaeze, E.R.: Generalized fractional integral inequalities by means of quasiconvexity. Adv. Differ. Equ. 2019, 262 (2019)
Nwaeze, E.R.: Integral inequalities via generalized quasiconvexity with applications. J. Inequal. Appl. 2019, 236 (2019)
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)
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., 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
Tariboon, J., Ntouyas, S.K.: Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 282 (2013)
Zhang, Y., Du, T.-S., Wang, H., Shen, Y.-J.: Different types of quantum integral inequalities via \((\alpha ,m)\)-convexity. J. Inequal. Appl. 2018, 264 (2018)
Acknowledgements
Many thanks to the three anonymous referees for their valuable suggestions and remarks.
Availability of data and materials
Not applicable.
Funding
There is no funding to report for this research.
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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., Tameru, A.M. New parameterized quantum integral inequalities via η-quasiconvexity. Adv Differ Equ 2019, 425 (2019). https://doi.org/10.1186/s13662-019-2358-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2358-z
MSC
- 26A51
- 26D15
- 26E60
- 41A55
Keywords
- Hermite–Hadamard inequality
- Convex functions
- Quasiconvex functions
- Quantum calculus
- Midpoint inequality