In this paper, we introduce a family of \(GBS\) operators of bivariate tensor product of λ-Bernstein–Kantorovich type. We estimate the rate of convergence of such operators for B-continuous and B-differentiable functions by using the mixed modulus of smoothness, establish the Voronovskaja type asymptotic formula for the bivariate λ-Bernstein–Kantorovich operators, as well as give some examples and their graphs to show the effect of convergence.
Notes
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction
In 1912, Bernstein [1] constructed a sequence of polynomials to prove the Weierstrass approximation theorem as follows:
for any continuous function \(f\in C[0,1]\), where \(x\in [0,1]\), \(n=1,2,\dots \), and Bernstein basis functions \(b_{n,k}(x)\) are defined by
(2)
The polynomials in (1), called Bernstein polynomials, possess many remarkable properties.
Recently, Cai et al. [2] proposed a new type λ-Bernstein operators with parameter \(\lambda \in [-1,1]\), they obtained some approximation properties and gave some graphs and numerical examples to show that these operators converge to continuous functions f. These operators, which they called λ-Bernstein operators, are defined as follows:
where \(\widetilde{b}_{n,k}(\lambda,x)\) (\(k=0,1,\dots,n\)) are defined in (2) and \(\lambda \in [-1,1]\). He established a global approximation theorem in terms of second order modulus of continuity, obtained a direct approximation theorem by means of the Ditzian–Totik modulus of smoothness and derived an asymptotically estimate on the rate of convergence for certain absolutely continuous functions. Very recently, Acu et al. provided a quantitative Voronovskaja type theorem, a Grüss–Voronovskaja type theorem, and also gave some numerical examples of the operators defined in (5) in [4].
As we know, the generalized Boolean sum operators (abbreviated by \(GBS\) operators) were first studied by Dobrescu and Matei in [5]. The Korovkin theorem for B-continuous functions was established by Badea et al. in [6, 7]. In 2013, Miclăuş [8] studied the approximation by the \(GBS\) operators of Bernstein–Stancu type. In 2016, Agrawal et al. [9] considered the bivariate generalization of Lupaş–Durrmeyer type operators based on Pólya distribution and studied the degree of approximation for the associated \(GBS\) operators. In 2017, Bărbosu et al. [10] introduced the \(GBS\) operators of Durrmeyer type based on q-integers, studied the uniform convergence theorem and the degree of approximation of these operators. Very recently, Kajla and Miclăuş [11] introduced the \(GBS\) operators of generalized Bernstein–Durrmeyer type and estimated the degree of approximation in terms of the mixed modulus of smoothness.
Motivated by the above research, the aims of this paper are to propose the bivariate tensor product of λ-Bernstein–Kantorovich operators and the \(GBS\) operators of bivariate tensor product of λ-Bernstein–Kantorovich type. We use the mixed modulus of smoothness to estimate the rate of convergence of GBS operators of bivariate tensor product of λ-Bernstein–Kantorovich type for B-continuous and B-differentiable functions, and establish a Voronovskaja type asymptotic formula for the bivariate λ-Bernstein–Kantorovich operators. In order to show the effect of convergence, we also give some examples and graphs.
This paper is mainly organized as follows: In Sect. 2, we introduce the bivariate tensor product of λ-Bernstein–Kantorovich operators \(K_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\) and the \(GBS\) operators \(UK_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\). In Sect. 3, some lemmas are given to prove the main results. In Sect. 4, the rate of convergence for B-continuous and B-differentiable functions of \(GBS\) operators \(UK_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\) is proved. In Sect. 5, we investigate the Voronovskaja type asymptotic formula for bivariate operators \(K_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\).
Advertisement
2 Construction of operators
For \(f\in C(I^{2})\), \(I^{2}=[0,1]\times [0,1]\), \(\lambda_{1}, \lambda _{2}\in [-1,1]\), we introduce the bivariate tensor product of λ-Bernstein–Kantorovich operators as
where \(\widetilde{b}_{m,i}(\lambda_{1};x)\) (\(i=0,1,\dots,n\)) and \(\widetilde{b}_{n,j}(\lambda_{2};y)\) (\(j=0,1,\dots,n\)) are defined in (4), \(\lambda_{1}, \lambda_{2}\in [-1,1]\). Obviously, when \(\lambda_{1}=\lambda_{2}=0\), \(B_{m,n}^{0,0}(f;x,y)\) reduce to the bivariate tensor product of classical Bernstein–Kantorovich operators.
The \(GBS\) operators of the bivariate tensor product of λ-Bernstein–Kantorovich type are defined as
We first introduce the definitions of B-continuity and B-differentiability, details can be found in [12] and [13]. Let X and Y be compact real intervals. A function f: \(X\times Y\rightarrow \mathbb{R}\) is called a B-continuous function at \((x_{0}, y_{0})\in X\times Y\) if
where \(\triangle f((x,y),(x_{0},y_{0}))=f(x,y)-f(x_{0},y)-f(x,y_{0})+f(x _{0},y_{0})\) denotes the mixed difference of f. A function \(f: X\times Y\rightarrow \mathbb{R}\) is a B-differentiable function at \((x_{0},y_{0})\in X\times Y\) if the following limit exists and is finite:
The limit is named the B-differential of f at the point \((x_{0},y_{0})\) and denoted by \(D_{B}f(x_{0},y_{0})\).
The function \(f: X\times Y\rightarrow \mathbb{R}\) is B-bounded on \(X\times Y\) if there exists a \(k>0\) such that \(|\triangle f((x,y),(t,s))| \leq K\) for any \((x,y), (t,s)\in X\times Y\).
Let \(B(X\times Y)\), \(C(X\times Y)\) denote the spaces of all bounded functions and of all continuous functions on \(X\times Y\) endowed with the sup-norm \(\|\cdot \|_{\infty }\), respectively. We also define the following function sets:
$$ B_{b}(X\times Y)=\{f: X\times Y\rightarrow \mathbb{R}|f \text{ is } B \text{-bounded on } X \times Y\} $$
with the norm \(\|f\|_{B}=\sup_{(x,y),(t,s)\in X\times Y}|\triangle f((x,y),(t,s))|\),
$$ C_{b}(X\times Y)=\{f: X\times Y\rightarrow \mathbb{R}|f \text{ is } B \text{-continuous on } X\times Y\}, $$
and \(D_{b}(X\times Y)=\{f: X\times Y\rightarrow \mathbb{R}|f \text{ is } B\text{-differentiable on } X\times Y\}\). It is known that \(C(X\times Y)\subset C_{b}(X\times Y)\).
Let \(f\in B_{b}(X\times Y)\). Then the mixed modulus of smoothness \(\omega_{\mathrm{mixed}}(f;\cdot,\cdot)\) is defined by
Let \(L: C_{b}(X\times Y)\rightarrow B(X\times Y)\) be a linear positive operator. The operator \(UL: C_{b}(X\times Y)\rightarrow B(X\times Y)\) defined for any function \(f\in C_{b}(X\times Y)\) and any \((x,y)\in X \times Y\) by \(UL ( f(t,s);x,y ) =L ( f(t,y)+f(x,s)-f(t,s);x,y ) \) is called the \(GBS\) operator associated to the operator L.
In the sequel, we will consider functions \(e_{ij}: X\times Y\rightarrow \mathbb{R}\), \(e_{ij}(x,y)=x^{i}y^{j}\) for any \((x,y)\in X\times Y\), and \(i,j\in \mathbb{N}\). In order to estimate the rate of convergence of \(UK_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\), we need the following two theorems.
Let\(L: C_{b}(X\times Y)\rightarrow B(X\times Y)\)be a linear positive operator and\(UL: C_{b}(X\times Y)\rightarrow B(X\times Y)\)the associated GBS operator. Then for any\(f\in C_{b}(X\times Y)\), any\((x,y)\in (X\times Y)\)and\(\delta_{1},\delta_{2}>0\), we have
Let\(L: C_{b}(X\times Y)\rightarrow B(X\times Y)\)be a linear positive operator and\(UL: C_{b}(X\times Y)\rightarrow B(X\times Y)\)the associated GBS operator. Then for any\(f\in D_{b}(X\times Y)\)with\(D_{B}f\in B(X\times Y)\), any\((x,y)\in (X\times Y)\)and\(\delta_{1}, \delta_{2}>0\), we have
First, we will use B-continuous functions to estimate the rate of convergence of \(UK_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\) to \(f\in C_{b}(I^{2})\) by using the mixed modulus of smoothness. We have
Theorem 4.3
For\(f\in C_{b}(I^{2})\), \((x,y)\in I^{2}\)and\(m,n>1\), we have the following inequality:
Hence, taking \(\delta_{1}=\frac{1}{\sqrt{m+1}}\), \(\delta_{2}=\frac{1}{ \sqrt{n+1}}\) and using the above inequality, we get the desired result (9). □
Example 4.5
Let \(f(x,y) = xy+x^{2}\), \(x,y\in [0,1]\), the graphs of \(f(x,y)\) and \(UK_{10,10}^{1,1}(f(s,t);x,y)\) are shown in Fig. 1. Figure 2 shows the partially enlarged graphs of \(f(x,y)\) and \(UK_{10,10}^{1,1}(f(s,t);x,y)\).
Figure 1
Graphs of \(UK_{10,10}^{1,1}(f(s,t);x,y)\) and \(f(x,y)\)
Figure 2
Partially enlarged graphs of \(UK_{10,10}^{1,1}(f(s,t);x,y)\) and \(f(x,y)\)
×
×
5 Voronovskaja type asymptotic formulas for \(K_{m,n}^{\lambda _{1},\lambda _{2}}(f;x,y)\)
In this section, we will give a Voronovskaja type asymptotic formula for \(K_{m,n}^{\lambda_{1},\lambda_{2}}(f;x,y)\).
Theorem 5.1
Consider an\(f\in C(I^{2})\). Then for any\(x,y\in (0,1)\)and\(\lambda_{1},\lambda_{2}\in [-1,1]\), we have
Consider the function \(f(x,y) = xy+x^{2}\), \(x,y\in [0,1]\). The graphs of \(f(x,y)\) and \(K_{20,20}^{1,1}(f;x,y)\) are shown in Fig. 3. We also give the graphs of \(K_{10,10}^{1,1}(f;x,y)\) and \(UK_{10,10}^{1,1}(f(s,t);x,y)\) in Fig. 4 to compare the bivariate λ-Bernstein–Kantorovich operators with GBS operators.
Figure 3
Graphs of \(K_{20,20}^{1,1}(f;x,y)\) and \(f(x,y)\)
Figure 4
Graphs of \(K_{10,10}^{1,1}(f;x,y)\) and \(UK_{10,10}^{1,1}(f(s,t);x,y)\)
×
×
6 Conclusion
In this paper, we deduce the rate of convergence of GBS operators of bivariate tensor product of λ-Bernstein–Kantorovich type for B-continuous and B-differentiable functions by using the mixed modulus of smoothness, as well as obtain the Voronovskaja type asymptotic formula for bivariate λ-Bernstein–Kantorovich operators.
Acknowledgements
We thank Fujian Provincial Key Laboratory of Data Intensive Computing and Key Laboratory of Intelligent Computing and Information Processing of Fujian Province University.
Availability of data and materials
All data generated or analyzed during this study are included in this published article.
Competing interests
The authors declare that they have no competing interests.
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.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
