Abstract
In this paper, we introduce the Bézier variant of Kantorovich type λ-Bernstein operators with parameter \(\lambda\in[-1,1]\). We establish a global approximation theorem in terms of second order modulus of continuity and a direct approximation theorem by means of the Ditzian–Totik modulus of smoothness. Finally, we combine the Bojanic–Cheng decomposition method with some analysis techniques to derive an asymptotic estimate on the rate of convergence for some absolutely continuous functions.
Similar content being viewed by others
1 Introduction
In 1912, Bernstein [1] proposed the famous polynomials, nowadays called Bernstein polynomials, to prove the Weierstrass approximation theorem as follows:
where \(x\in[0,1]\), \(n=1,2,\ldots \) , and Bernstein basis functions \(b_{n,k}(x)\) are defined as follows:
Based on this, there are many papers that mention Bernstein type operators, we illustrate some of them [2–13]. In 2010, Ye et al. [14] defined the following new Bernstein bases with shape parameter λ:
where \(b_{n,i}(x)\) (\(i=0,1,\ldots,n\)) are defined in (2), \(x\in [0,1]\), \(\lambda\in[-1,1]\). They discussed some important properties of the basis functions and the corresponding curves and tensor product surfaces. It must be pointed out that we have more modeling flexibility when adding the shape parameter λ.
Recently, Cai et al. [15] introduced the λ-Bernstein operators as follows:
where \(\widetilde{b}_{n,k}(\lambda;x)\) (\(k=0,1,\ldots,n\)) are defined in (3) and \(\lambda\in[-1,1]\).
In this paper, we propose the Kantorovich type λ-Bernstein operators
and the Bézier variant of Kantorovich type λ-Bernstein operators
where
\(\widetilde{b}_{n,k}(\lambda;x)\) (\(k=0,1,\ldots,n\)) are defined in (3), \(\alpha\geq1\), \(x\in[0,1]\), and \(\lambda\in[-1,1]\).
Obviously, when \(\alpha=1\), \(L_{n,\lambda,1}(f;x)\) reduce to Kantorovich type λ-Bernstein operators (5); when \(\lambda=0\), \(L_{n,0,\alpha}(f;x)\) reduce to Bernstein–Kantorovich–Bézier operators defined in [13]; when \(\lambda=0\), \(\alpha=1\), \(L_{n,0,1}(f;x)\) reduce to Bernstein–Kantorovich operators defined in [13].
Let
and
where \(\chi_{k}(t)\) is the characteristic function on the interval \([\frac{k}{n+1},\frac{k+1}{n+1} ]\) with respect to \([0,1]\). By the Lebesgue–Stieltjes integral representations, we have
The aims of this paper are to study the rate of convergence of operators \(L_{n,\lambda,\alpha}\) for \(f\in C_{[0,1]}\) and the asymptotic behavior of \(L_{n,\lambda,\alpha}\) for some absolutely continuous functions \(f\in\Phi_{\mathrm{DB}}\), where the class of functions of \(\Phi_{\mathrm{DB}}\) is defined by
For a bounded function f on \([0,1]\), the following metric forms were first introduced in [12]:
where \(x\in[0,1]\) is fixed, \(0\leq\delta_{1}\leq x\), \(0\leq\delta_{2}\leq 1-x\), and \(\mu\geq1\). For the basic properties of \(\Omega_{x-}(f;\delta _{1})\), \(\Omega_{x+}(f;\delta_{2})\), and \(\Omega_{x}(f;\mu)\), refer to [12].
2 Some lemmas
For proving the main results, we need the following lemmas.
Lemma 2.1
([15])
Let \(e_{i}=t^{i}\), \(i=0,1,2\), and \(n>1\). For the λ-Bernstein operators \(B_{n,\lambda}(f;x)\), we have
Lemma 2.2
Let \(e_{i}=t^{i}\), \(i=0,1,2\), and \(n>1\), for the Kantorovich type λ-Bernstein operators \(K_{n,\lambda}(f;x)\), we have the following equalities:
Proof
We can obtain (9) easily by the fact that \(\sum_{k=0}^{n}\widetilde{b}_{n,k}(\lambda;x)=1\). Next, by (5) and using Lemma 2.1, we have
Finally,
Lemma 2.2 is proved. □
Lemma 2.3
For the Kantorovich type λ-Bernstein operators \(K_{n,\lambda}(f;x)\) and \(n>1\), using Lemma 2.2, we have
Lemma 2.4
For the Bézier variant of Kantorovich type λ-Bernstein operators \(L_{n,\lambda,\alpha}(f;x)\) and \(f\in C_{[0,1]}\) with the sup-norm \(\Vert f \Vert:=\sup_{x\in[0,1]}|f(x)|\), we have
Proof
Since, for \(\alpha\geq1\), we have
Then, from (9) and the definition of \(L_{n,\lambda,\alpha }(f;x)\), we have
□
Lemma 2.5
-
(i)
For \(0\leq y\leq x<1\), we have
$$\begin{aligned} R_{n,\lambda,\alpha}(x,y)= \int_{0}^{y}P_{n,\lambda,\alpha}(x,t)\,dt\leq \frac{4\alpha}{(n+1)(x-y)^{2}}. \end{aligned}$$(13) -
(ii)
For \(0< x< z\leq1\), we have
$$\begin{aligned} 1-R_{n,\lambda,\alpha}(x,z)= \int_{z}^{1}P_{n,\lambda,\alpha}(x,t)\,dt\leq \frac{4\alpha}{(n+1)(z-x)^{2}}. \end{aligned}$$(14)
Proof
(i) Using (7) and (12), we have
Similarly, (ii) is proved. □
3 Main results
As we know, the space \(C_{[0,1]}\) of all continuous functions on \([0,1]\) is a Banach space with sup-norm \(\Vert f \Vert:=\sup_{x\in [0,1]}|f(x)|\). Let \(f\in C[0,1]\), the Peetre’s K-functional is defined by \(K_{2}(f;t):=\inf_{g\in C_{[0,1]}^{2}}\{ \Vert f-g \Vert+t \Vert g' \Vert+{t}^{2} \Vert g'' \Vert\}\), where \(t>0\) and \(C_{[0,1]}^{2}:=\{g\in C_{[0,1]}: g', g''\in C_{[0,1]}\}\). By [16], there exists an absolute constant \(C>0\) such that
where \(\omega_{2}(f;t):=\sup_{0< h\leq t}\sup_{x,x+h,x+2h\in [0,1]}|f(x+2h)-2f(x+h)+f(x)|\) is the second order modulus of smoothness of \(f\in C_{[0,1]}\). We also denote the usual modulus of continuity of \(f\in C_{[0,1]}\) by \(\omega(f;t):=\sup_{0< h\leq t}\sup_{x,x+h\in [0,1]}|f(x+h)-f(x)|\).
Theorem 3.1
For \(f\in C_{[0,1]}\), \(\lambda\in[-1,1]\), we have
where C is a positive constant.
Proof
Let \(g\in C_{[0,1]}^{2}\), by Taylor’s expansion
As we know, \(L_{n,\lambda,\alpha}(1;x)=1\). Applying \(L_{n,\lambda,\alpha }(\cdot;x)\) to both sides of the above equation, we get
By the Cauchy–Schwarz inequality, (12) and Lemma 2.4, we have
Then, using the above inequality, we have
Hence, taking infimum on the right-hand side over all \(g\in C_{[0,1]}^{2}\), we get
By (15), we obtain
This completes the proof of Theorem 3.1. □
Next, we recall some definitions of the Ditzian–Totik first order modulus of smoothness and K-functional, which can be found in [17]. Let \(f\in C_{[0,1]}\), and \(\varphi(x):=\sqrt{x(1-x)}\), the first order modulus of smoothness is given by
The K-functional \(K_{\varphi}(f;t)\) is defined by \(K_{\varphi}(f;t):=\inf_{g\in C^{\varphi}_{[0,1]}} \{ \Vert f-g \Vert+t \Vert\varphi g' \Vert \}\), where \(t>0\), \(C^{\varphi}_{[0,1]}:= \{g:g\in AC_{[0,1]}, \Vert \varphi g' \Vert<\infty \}\), \(AC_{[0,1]}\) is the class of all absolutely continuous functions on \([0,1]\). Besides, from [17], there exists a constant \(C>0\) such that
Theorem 3.2
For \(f\in C_{[0,1]}\), \(\lambda\in[-1,1]\), and \(\varphi (x)=\sqrt{x(1-x)}\), we have
where C is a positive constant.
Proof
Since
applying \(L_{n,\lambda,\alpha}(f;x)\) to the above equality, we have
We will estimate \(\int_{x}^{t}g'(u)\,du\): For any \(x,t\in(0,1)\), we have
From (18), using the Cauchy–Schwarz inequality, we obtain
Hence, using the above inequality, we have
Taking infimum on the right-hand side over all \(g\in C_{[0,1]}^{\varphi }\), we get
By (17), we obtain
Theorem 3.2 is proved. □
Finally, we study the approximation properties of \(L_{n,\lambda,\alpha }(f;x)\) for some absolutely continuous functions \(f\in\Phi_{\mathrm{DB}}\).
Theorem 3.3
Let f be a function in \(\Phi_{\mathrm{DB}}\). If \(\phi(x+)\) and \(\phi (x-)\) exist at a fixed point \(x\in(0,1)\), then we have
where \([n]\) denotes the greatest integer not exceeding n, and
Proof
By the fact that \(L_{n,\lambda,\alpha}(1;x)=1\), using (7) and (8), we have
By the Bojanic–Cheng decomposition [18], we have
where \(\phi_{x}(u)\) is defined in (19), \(\operatorname{sgn}(u)\) is a sign function and \(\delta_{x}(u)= \bigl\{ \scriptsize{ \begin{array}{l@{\quad}l} 1,&u=x;\\ 0,&u\neq x. \end{array} } \) By direct integrations, we find that
where
Integration by parts derives
Note that \(R_{n,\lambda,\alpha}(x,t)\leq1\) and \(\phi_{x}(x)=0\), it follows that
From Lemma 2.5 (i) and change of variable \(t=x-x/u\), we have
Thus, it follows that
From Lemma 2.5(ii), using a similar method, we also obtain
By the Cauchy–Schwarz inequality, (12), and Lemma 2.4, we have
Hence, by (22), (23), (24), and (21), we have
Theorem 3.3 is proved. □
4 Conclusion
In this paper, we have presented a Bézier variant of Kantorovich type λ-Bernstein operators \(L_{n,\lambda,\alpha}(f;x)\), and established approximation theorems by using the usual second order modulus of smoothness and the Ditzian–Totik modulus of smoothness. From Theorem 3.3 of Sect. 3, we know that the rate of convergence of operators \(L_{n,\lambda,\alpha}(f;x)\) for \(f\in\Phi_{\mathrm{DB}}\) is \(\frac {1}{\sqrt{n+1}}\). Furthermore, we might consider the approximation of these operators \(L_{n,\lambda,\alpha}(f;x)\) for locally bounded functions.
References
Bernstein, S.N.: Démonstration du théorème de Weierstrass fondée sur la calcul des probabilités. Comm. Soc. Math. Charkow Sér. 2 t. 13, 1–2 (1912)
Agrawal, P.N., Gupta, V., Kumar, A.S.: On q-analogue of Bernstein–Schurer–Stancu operators. Appl. Math. Comput. 219(14), 7754–7764 (2013)
Ditzian, Z., Ivanov, K.: Bernstein-type operators and their derivatives. J. Approx. Theory 56(1), 72–90 (1989)
Guo, S., Li, C., Liu, X., Song, Z.: Pointwise approximation for linear combinations of Bernstein operators. J. Approx. Theory 107(1), 109–120 (2000)
Gupta, V.: Some approximation properties of q-Durrmeyer operators. Appl. Math. Comput. 197, 172–178 (2008)
Mursaleen, M., Ansari, K.J., Khan, A.: On \((p, q)\)-analogue of Bernstein operators. Appl. Math. Comput. 266, 874–882 (2015) (Erratum: Appl. Math. Comput. 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: Appl. Math. Comput. 269, 744–746 (2015))
Mursaleen, M., Ansari, K.J., Khan, A.: Approximation by Kantorovich type q-Bernstein–Stancu operators. Complex Anal. Oper. Theory 11, 85–107 (2017). https://doi.org/10.1007/s11785-016-0572-1
Mursaleen, M., Ansari, K.J., Khan, A.: Some approximation results for Bernstein–Kantorovich operators based on \((p, q)\)-calculus. UPB Sci. Bull., Ser. A 78(4), 129–142 (2016)
Nowak, G.: Approximation properties for generalized q-Bernstein polynomials. J. Math. Anal. Appl. 350, 50–55 (2009)
Phillips, G.M.: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511–518 (1997)
Zeng, X.M., Cheng, F.: On the rates of approximation of Bernstein type operators. J. Approx. Theory 109(2), 242–256 (2001)
Zeng, X.M., Piriou, A.: On the rate of convergence of two Bernstein–Bézier type operators for bounded variation functions. J. Approx. Theory 95, 369–387 (1998)
Ye, Z., Long, X., Zeng, X.M.: Adjustment algorithms for Bézier curve and surface. In: International Conference on Computer Science and Education, pp. 1712–1716 (2010)
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
DeVore, R.A., Lorentz, G.G.: Constructive Approximation. Springer, Berlin (1993)
Ditzian, Z., Totik, V.: Moduli of Smoothness. Springer, New York (1987)
Bojanic, R., Cheng, F.: Rate of convergence of Bernstein polynomials for functions with derivatives of bounded variation. J. Math. Anal. Appl. 141, 136–151 (1989)
Acknowledgements
This work is supported by the National Natural Science Foundation of China (Grant No. 11601266), the Natural Science Foundation of Fujian Province of China (Grant No. 2016J05017), and the Program for New Century Excellent Talents in Fujian Province University. We also thank Fujian Provincial Key Laboratory of Data Intensive Computing and Key Laboratory of Intelligent Computing and Information Processing of Fujian Province University.
Author information
Authors and Affiliations
Contributions
The author carried out the work and wrote the whole manuscript. 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
Cai, QB. The Bézier variant of Kantorovich type λ-Bernstein operators. J Inequal Appl 2018, 90 (2018). https://doi.org/10.1186/s13660-018-1688-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1688-9