- Research
- Open access
- Published:
Convergence of λ-Bernstein operators based on (p, q)-integers
Journal of Inequalities and Applications volume 2020, Article number: 35 (2020)
Abstract
In the present paper, we construct a new class of positive linear λ-Bernstein operators based on (p, q)-integers. We obtain a Korovkin type approximation theorem, study the rate of convergence of these operators by using the conception of K-functional and moduli of continuity, and also give a convergence theorem for the Lipschitz continuous functions.
1 Introduction
In 2018, Cai et al. [1] introduced the following new family of Bernstein operators with parameter \(\lambda \in [-1,1]\):
where \(\widetilde{b}_{n,k}(\lambda; x)\)\((k=0, 1,\ldots, n)\) are the λ-Bernstein basis functions defined as
and \((k=0, 1,\ldots, n)\) are the classical Bernstein basis functions. They call these operators (1) λ-Bernstein operators, they investigated some approximation theorems and also gave some numerical examples. In the same year, Acu et al. [2] studied some approximation properties of Kantorovich type of operators (1). Later, Özger [3] gave some statistical approximation results of (1). In 2019, Cai et al. [4] proposed new λ-Bernstein operators based on q-integers and established a statistical approximation theorem. Some other papers also mention λ-Bernstein operators, see [5, 6].
Recently, Mursaleen et al. [7] defined the following (p, q)-analogue of Bernstein operators:
where \(b_{n,k}(x; p, q)\)\((k=0,1,\ldots,n)\) are (p, q)-Bernstein basis functions defined as follows:
There are many papers about the research and application of (p, q) operators, we mention some of them [8–22].
Motivated by the above work, in this paper, we introduce positive linear λ-Bernstein operators based on (p, q)-integers as follows:
where \(b_{n,k}^{\lambda }(x; p, q)\)\((k=0, 1, \ldots, n)\) are called (p, q)-analogue of λ-Bernstein basis functions and defined as
\(b_{n,k}(x; p, q)\)\((k=0, 1,\ldots, n)\) are defined in (3), \(\lambda \in [-1,1]\), \(n\geq 2\), \(x\in [0,1]\), and \(0< q< p\leq 1\). Obviously, when \(p\rightarrow 1^{-}\), \(B_{n,p,q}^{\lambda }(f; x)\) reduces to q-analogue of λ-Bernstein operators in [4]; when \(p, q\rightarrow 1^{-}\), \(B_{n,p,q}^{\lambda }(f; x)\) reduces to (1).
Here we mention certain notations on (p, q)-calculus, details can be found in [23–27].
For any fixed real numbers \(p>0\) and \(q>0\), the (p, q)-integers \([n]_{p,q}\) are defined as follows:
(p, q)-factorial and (p, q)-binomial coefficients are defined as follows:
The aims of the present paper are to construct a new class of λ-Bernstein operators based on (p, q)-integers and give the rate of convergence of these operators.
The rest of this paper is mainly organized as follows. In Sect. 2, we compute some moments and central moments of \(B_{n,p,q} ^{\lambda }(f; x)\) which are needed to prove our main results. In Sect. 3, we obtain a Korovkin approximation theorem and rate of convergence of operators \(B_{n,p,q}^{\lambda }(f; x)\).
2 Some lemmas
In order to obtain the main results, we need the following lemmas.
Lemma 2.1
(see [7])
For\(x\in [0, 1]\), \(0< q< p\leq 1\), we have
Lemma 2.2
Let\(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(0< q< p\leq 1\), for the operators\(B_{n,p,q}^{\lambda }(f;x)\), we have
Proof
Actually, by (4) and the fact that \(q[n-1]_{p,q}=[n]_{p,q}-p ^{n-1}\), we have
Then we can obtain (5) since \(B_{n,p,q}(1;x)=\sum_{k=0}^{n}b _{n,k}(x; p, q)=1\). □
Lemma 2.3
Let\(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(0< q< p\leq 1\), for the operators\(B_{n,p,q}^{\lambda }(f; x)\), we have
Proof
From (4), we have
where
By Lemma 2.1, we get
Next, since \([k]_{p,q}^{2}=q[k]_{p,q}[k-1]_{p,q}+p^{k-1}[k]_{p,q}\), we have
Finally, using the following two identities:
and some computations, we have
Combining (7)–(10), we can obtain (6), Lemma 2.2 is proved. □
Lemma 2.4
Let\(\lambda \in [-1,1]\), \(x\in [0,1]\), \(n>1\), and\(0< q< p\leq 1\), for the operators\(B_{n,p,q}^{\lambda }(f; x)\), we have
Proof
From (4), we have
where
By Lemma 2.1, we have
Indeed, by using
\(\sum_{k=0}^{n}b_{n,k}(x; p, q)=1\), and some computations, we obtain
Finally, using the following identities:
\(\sum_{k=0}^{n}b_{n,k}(x; p, q)=1\), and some computations, we have
Combining (12)–(15) and some computations, we can get (11), Lemma 2.4 is proved. □
Corollary 2.5
Let\(\lambda \in [-1,1]\), \(x\in [0,1]\), \(n>1\), and\(0< q< p\leq 1\), we have
Proof
Since
we have
We also have
and
Then we obtain
Therefore, (16) and (17) are obtained. Similarly, by using Lemmas 2.2–2.4 and some computations, we can get (18). □
Lemma 2.6
Let\(\lambda \in [-1, 1]\), \(x\in [0, 1]\), \(n>1\), and\(0< q< p\leq 1\), then\(B_{n,p,q}^{\lambda }(f; x)\)are positive linear operators.
Proof
Apparently, \(B_{n,p,q}^{\lambda }(f; x)\) are linear operators, we only need to prove the positive property. Actually, we have
since \(b_{n,0}(x; p, q)\geq 0\) and \(1-\frac{\lambda [n+1]_{p,q}x}{p[n]_{p,q}+p ^{n}}\geq 0\) with the fact that \([n+1]_{p,q}=p[n]_{p,q}+q^{n}< p[n]_{p,q}+p ^{n}\), then we obtain \(b_{n,0}^{\lambda }(x; p, q)\geq 0\). Similarly, we can prove \(b_{n,n}^{\lambda }(x; p, q)\geq 0\). Finally, we will prove \(b_{n,k}^{\lambda }(x; p, q)\geq 0\)\((1\leq k\leq n-1)\). Indeed,
we need to prove
We can prove the above inequality in three cases:
We mainly prove case 1. In fact, under the condition of case 1, we have
then we get
with the help of \([n+1-k]_{p,q}\geq p^{n-k}\) and \([n+1]_{p,q}\leq p[n]_{p,q}+p ^{n}\). That is to say,
Also we have
On the other hand, since
we obtain
by the fact that \(x\in [0, 1]\), \([n+1]_{p,q}\leq p[n]_{p,q}+p^{n}\), and \([k+1]_{p,q}\geq p^{k}\). Hence, (19) is proved in case 1. Case 2 and case 3 are similar. Lemma 2.6 is proved. □
Lemma 2.7
(see [28])
Let the sequences\(q:=\{q_{n}\}=\{1-\alpha _{n} \}\), \(p:=\{p_{n}\}=\{1-\beta _{n}\}\)such that\(0\leq \beta _{n}<\alpha _{n}<1\), \(\alpha _{n}\rightarrow 0\), \(\beta _{n}\rightarrow 0\)as\(n\rightarrow \infty \). The following statements are true:
- (A)
If\(\lim_{n\rightarrow \infty }e^{n(\beta _{n}-\alpha _{n})}=1\)and\(e^{n\beta _{n}}/n\rightarrow 0\), then\([n]_{p_{n},q_{n}}\rightarrow \infty\).
- (B)
If\(\overline{\lim }_{n\rightarrow \infty }e^{n(\beta _{n}- \alpha _{n})}<1\)and\(e^{n\beta _{n}}(\alpha _{n}-\beta _{n})\rightarrow 0\), then\([n]_{p_{n}, q_{n}}\rightarrow \infty\).
- (C)
If\(\underline{\lim }_{n\rightarrow \infty }e^{n(\beta _{n}- \alpha _{n})}<1, \overline{\lim }_{n\rightarrow \infty }e^{n(\beta _{n}-\alpha _{n})}=1\), and\(\max \bigl\{e^{n\beta _{n}}/n, e^{n\beta _{n}}(\alpha _{n}- \beta _{n})\bigr\}\rightarrow 0\), then\([n]_{p_{n}, q_{n}}\rightarrow \infty\).
3 Main results
In the sequel, let the sequences \(q:=\{q_{n}\}\) and \(p:=\{p_{n}\}\) satisfy the conditions of Lemma 2.7 and \(p^{n}\rightarrow a \in (0, b]\), b is a finite positive real number.
Now we give a Korovkin type approximation theorem for \(B_{n,p,q}^{ \lambda }(f; x)\).
Theorem 3.1
For\(f\in C_{[0, 1]}\), \(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(n>1\), \(B_{n,p,q}^{\lambda }(f; x)\)converge uniformly tofon\([0, 1]\).
Proof
The well-known Korovkin theorem (see [29], pp. 8–9) implies that positive linear operators \(B_{n,p,q}^{\lambda }(f; x)\) converge to \(f(x)\) uniformly on \([0, 1]\) as \(n\rightarrow \infty \) for any \(f\in C_{[0,1]}\) if and only if
Obviously, (20) can be easily obtained by Lemmas 2.2–2.4 as \(n\rightarrow \infty \). Therefore, Theorem 3.1 is proved. □
Next, in order to get the rate of convergence of \(B_{n,p,q}^{\lambda }(f; x)\), we give the following definitions about Peetre’s K-functional and modulus of smoothness. Let \(f\in C_{[0, 1]}\), endowed with the norm \(\Vert f \Vert =\sup_{x\in [0,1]}|f(x)|\).
Peetre’s K-functional is defined by
where \(\delta >0\) and \(C^{2}= \{ g\in C_{[0,1]}: g',g''\in C _{[0,1]} \} \). It is known that
where C is a positive constant, and
is the second order modulus of smoothness. We also denote the usual of modulus of continuity by
Theorem 3.2
For\(f\in C_{[0, 1]}\), \(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(n>1\), we have
where\(\beta (n; p, q)\)is defined in (18).
Proof
Since \(|f(t)-f(x)|\leq \omega (f; |t-x|)\leq (1+\frac{|t-x|}{ \delta } )\omega (f; \delta ) \), applying \(B_{n,p,q}^{\lambda }(f; x)\) to both ends and using Lemma 2.2, we have
By the Cauchy–Schwarz inequality, we obtain
Then we have
by taking \(\delta = \sqrt{B_{n,p,q}^{\lambda } ((t-x)^{2}; x )}\), \(\beta (n; p, q)\) is defined in (18). Theorem 3.2 is proved. □
Theorem 3.3
For\(f\in C_{[0, 1]}\), \(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(n>1\), we have
whereCis a positive constant, \(\alpha (n; p, q)\)and\(\beta (n; p, q)\)are defined in (17) and (18).
Proof
Let us define the auxiliary operators \(\overline{B}_{n,p,q}^{\lambda }(f; x)\),
where \(\gamma _{n,p,q}^{\lambda }(x)\) is defined in (16). Obviously, operators \(\overline{B}_{n,p,q}^{\lambda }(f; x)\) preserve not only constant functions but also linear functions, say,
Letting \(g\in C^{2}\), \(x, t\in [0, 1]\), then by Taylor’s expansion
and (22), applying \(\overline{B}_{n,p,q}^{\lambda }(g; x)\) to (23), we have
Therefore, using (21), we get
where \(\alpha (n; p, q)\) and \(\beta (n; p, q)\) are defined in (17) and (18). We also have the following fact by Lemma 2.2 and (21):
Combining (21), (24), and (25), we have
Taking the infimum on the right-hand side over all \(g\in C^{2}\) and using the relationship between K-functional and the second order modulus of smoothness, we can obtain
This completes the proof of Theorem 3.3. □
Theorem 3.4
For\(f^{\prime }\in C_{[0, 1]}\), \(\lambda \in [-1,1]\), \(x\in [0,1]\), and\(n>1\), we have
where\(\alpha (n; p, q)\), \(\beta (n; p, q)\)are defined in (17) and (18), respectively.
Proof
Applying \(B_{n,p,q}^{\lambda }(f; x)\) to both sides of \(f(t)=f(x)+f ^{\prime }(x)(t-x)+f(t)-f(x)-f^{\prime }(x)(t-x) \), we have
with the help of mean value theorem and the Cauchy–Schwarz inequality. Taking \(\delta = \sqrt{B_{n,p,q}^{\lambda } ((t-x)^{2}; x )}\) and by Corollary 2.5, we can get the desired result. Theorem 3.4 is proved. □
For \(x, y\in [0, 1]\), a function belongs to Lipschitz class \(\operatorname{Lip}_{M}(\xi )\) if
where \(M>0\) and \(\xi \in (0, 1]\). We end up giving the rate of convergence of \(B_{n,p,q}^{\alpha }(f; x)\) on \(f\in \operatorname{Lip}_{M}(\xi )\).
Theorem 3.5
Let\(f\in \operatorname{Lip}_{M}(\xi )\), \(\xi \in (0,1]\), then for\(\lambda \in [-1,1]\), \(x\in [0,1]\)and\(n>1\), we have
where\(\beta (n; p, q)\)is defined in (18).
Proof
Since \(f\in \operatorname{Lip}_{M}(\xi )\), we have
Applying Hölder’s inequality for sums, we have
where \(\beta (n; p, q)\) is defined in (18). Theorem 3.5 is proved. □
Remark 3.6
Apparently, if the sequences \(q:=\{q_{n}\}\) and \(p:=\{p_{n}\}\) satisfy the conditions of Lemma 2.7 and \(p^{n}\rightarrow a\in (0,b]\), b is finite, then \(\alpha (n; p, q), \beta (n; p, q)\rightarrow 0\) as \(n\rightarrow \infty \). Therefore, by Theorems 3.2–3.5, the convergence rate of \(B_{n,p,q}^{\lambda }(f; x)\) to f is obtained.
4 Conclusion
In this paper, λ-Bernstein operators based on (p, q)-integers are constructed, a Korovkin type approximation theorem is established, and also the rate of convergence of \(B_{n,p,q}^{\lambda }(f; x)\) to \(f(x)\) is obtained.
References
Cai, Q.B., Lian, B.Y., Zhou, G.: Approximation properties of λ-Bernstein operators. J. Inequal. Appl. 2018, 61 (2018). https://doi.org/10.1186/s13660-018-1653-7
Acu, A.M., Manav, N., Sofonea, D.F.: Approximation properties of λ-Kantorovich operators. J. Inequal. Appl. 2018, 202 (2018). https://doi.org/10.1186/s13660-018-1795-7
Özger, F.: Some general statistical approximation results for λ-Bernstein operators (2018). arXiv:1901.01099
Cai, Q.B., Zhou, G., Li, J.: Statistical approximation properties of λ-Bernstein operators based on q-integers. Open Math. 17, 487–498 (2019)
Al-Abied, A.A.H., Salman, M.A., Mursaleen, M.: Chlodowsky type (λ, q)-Bernstein–Stancu operators. Azerb. J. Math. 10(1) (2020, in press)
Rahman, S., Mursaleen, M., Acu, A.M.: Approximation properties of λ-Bernstein–Kantorovich operators with shifted knots. Math. Methods Appl. Sci. 42(11), 4042–4053 (2019)
Mursaleen, M., Ansari, K.J., Khan, A.: On (p, q)-analogue of Bernstein operators. Appl. Math. Comput. 266, 874–882 (2015); Corrigendum in 278, 70–71 (2016)
Mursaleen, M., Ansari, K.J., Khan, A.: Some approximation results by (p, q)-analogue of Bernstein–Stancu operators. Appl. Math. Comput. 264, 392–402 (2015); Corrigendum in 269, 744–746 (2015)
Mursaleen, M., Alotaibi, A., Ansari, K.J.: On a Kantorovich variant of (p, q)-Szász–Mirakjan operators. J. Funct. Spaces 2016, 1035253 (2016). https://doi.org/10.1155/2016/1035253
Mursaleen, M., Nasiruzzaman, M., Khan, A., Ansari, K.J.: Some approximation results on Bleimann–Butzer–Hahn operators defined by (p, q)-integers. Filomat 30, 639–648 (2016)
Mursaleen, M., Nasiruzzaman, M.: Some approximation properties of bivariate Bleimann–Butzer–Hahn operators based on (p, q)-integers. Boll. Unione Mat. Ital. 10, 271–289 (2017)
Mursaleen, M., Nasiruzzaman, M., Ansari, K.J., Alotaibi, A.: Generalized (p, q)-Bleimann–Butzer–Hahn operators and some approximation results. J. Inequal. Appl. 2017, 310 (2017). https://doi.org/10.1186/s13660-017-1582-x
Mursaleen, M., Naaz, A., Khan, A.: Improved approximation and error estimations by King type (p, q)-Szász–Mirakjan Kantorovich operators. Appl. Math. Comput. 348, 175–185 (2019)
Ansari, K.J., Ahmad, I., Mursaleen, M., Hussain, I.: On some statistical approximation by (p, q)-Bleimann, Butzer and Hahn operators. Symmetry 10, 731 (2018) https://doi.org/10.3390/sym10120731
Cai, Q.B., Zhou, G.: On (p, q)-analogue of Kantorovich type Bernstein–Stancu–Schurer operators. Appl. Math. Comput. 276, 12–20 (2016)
Shu, L.T., Zhou, G., Cai, Q.B.: On the convergence of a family of Chlodowsky type Bernstein–Stancu–Schurer operators. J. Funct. Spaces 2018, 6385451 (2018). https://doi.org/10.1155/2018/6385451
Cheng, W.T., Zhang, W.H.: On (p, q)-analogue of gamma operators. J. Funct. Spaces 2019, 9607517 (2019). https://doi.org/10.1155/2019/9607517
Cheng, W.T., Zhang, W.H., Cai, Q.B.: (p, q)-gamma operators which preserve \(x^{2}\). J. Inequal. Appl. 2019, 108 (2019). https://doi.org/10.1186/s13660-019-2053-3
Acar, T.: (p, q)-generalization of Szász–Mirakyan operators. Math. Methods Appl. Sci. 39, 2685–2695 (2016). https://doi.org/10.1002/mma.3721
Acar, T., Agrawal, P.N., Kumar, A.S.: On a modification of (p, q)-Szász–Mirakyan operators. Complex Anal. Oper. Theory 12(1), 155–167 (2018)
Khan, A., Sharma, V.: Statistical approximation by (p, q)-analogue of Bernstein–Stancu operators. Azerb. J. Math. 8, 100–121 (2018)
Khan, K., Lobiyal, D.K.: Bézier curves based on Lupaş (p, q)-analogue of Bernstein functions in CAGD. J. Comput. Appl. Math. 317, 458–477 (2017)
Hounkonnou, M.N., Désiré, J., Kyemba, B.: r(p, q)-calculus: differentiation and integration. SUT J. Math. 49, 145–167 (2013)
Jagannathan, R., Rao, K.S.: Two-parameter quantum algebras, twin-basic numbers, and associated generalized hypergeometric series. In: Proceedings of the International Conference on Number Theory and Mathematical Physics, pp. 20–21 (2005)
Katriel, J., Kibler, M.: Normal ordering for deformed boson operators and operator-valued deformed Stirling numbers. J. Phys. A, Math. Gen. 24, 2683–2691 (1992)
Sadjang, P.N.: On the fundamental theorem of (p, q)-calculus and some (p, q)-Taylor formulas. Results Math. 73, 39 (2018). https://doi.org/10.1007/s00025-018-0783-z
Sahai, V., Yadav, S.: Representations of two parameter quantum algebras and p, q-special functions. J. Math. Anal. Appl. 335, 268–279 (2007)
Cai, Q.B., Xu, X.W.: A basic problem of (p, q)-Bernstein-type operators. J. Inequal. Appl. 2017, 140 (2017). https://doi.org/10.1186/s13660-017-1413-0
Lorentz, G.G.: Bernstein Polynomials. Mathematical Expositions, vol. 8. University of Toronto Press, Toronto (1953)
Acknowledgements
We thank Fujian Provincial Key Laboratory of Data-Intensive Computing, Fujian University Laboratory of Intelligent Computing and Information Processing and Fujian Provincial Big Data Research Institute of Intelligent Manufacturing of China.
Availability of data and materials
All data generated or analysed during this study are included in this published article.
Funding
This work is supported by the National Natural Science Foundation of China (Grant No. 11601266 and Grant No. 11626031), the Project for High-level Talent Innovation and Entrepreneurship of Quanzhou (Grant No. 2018C087R), the Program for New Century Excellent Talents in Fujian Province University and Sponsoring Agreement for Overseas Studies in Fujian Province, the Key Natural Science Research Project in Universities of Anhui Province (Grant No. KJ2019A0572), the Philosophy and Social Sciences General Planning Project of Anhui Province of China (Grant No. AHSKYG2017D153) and the Natural Science Foundation of Anhui Province of China (Grant No. 1908085QA29).
Author information
Authors and Affiliations
Contributions
The authors carried out the whole manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 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
Cai, QB., Cheng, WT. Convergence of λ-Bernstein operators based on (p, q)-integers. J Inequal Appl 2020, 35 (2020). https://doi.org/10.1186/s13660-020-2309-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-2309-y