Abstract
We construct and study sequences of linear operators of Bernstein-type acting on bivariate functions defined on the unit disk. To this end, we study Bernstein-type operators under a domain transformation, we analyze the bivariate Bernstein–Stancu operators, and we introduce Bernstein-type operators on disk quadrants by means of continuously differentiable transformations of the function. We state convergence results for continuous functions and we estimate the rate of convergence. Finally some interesting numerical examples are given, comparing approximations using the shifted Bernstein–Stancu and the Bernstein-type operator on disk quadrants.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries
In 1912, S. Bernstein ([2]) published a constructive proof of the Weierstrass approximation theorem that affirms that every continuous function f(x) defined on a closed interval can be uniformly approximated by polynomials. For a given function \(f\in C[0,1]\), Bernstein constructed a sequence of polynomials (lately called Bernstein polynomials) in the form
for \(0\leqslant x \leqslant 1\), and \(n\geqslant 0\).
Clearly, \(B_n \,f\) is a polynomial in the variable x of degree less than or equal to n, and (1.1) can be seen as a linear operator that transforms functions defined on [0, 1] to polynomials of degree at most n.
Hence, in the sequel, we will refer to \(B_n\) as the nth classical univariate Bernstein operator.
If we define
then the set \(\{p_{n,k}(x): 0 \leqslant k \leqslant n\}\) is a basis of the linear space of polynomials with real coefficients of degree at most n, that we will denote \(\Pi _n\), called Bernstein basis. Then, the nth Bernstein polynomial associated with f(x) is usually written as
Among others, classical Bernstein operators satisfy the following properties ([13]):
-
They are linear and positive operators acting on the function f and preserve the constant functions as well as polynomials of degree 1, that is,
$$\begin{aligned} B_n \,1 = 1, \quad B_n \, x = x, \quad n\geqslant 0. \end{aligned}$$ -
If f is continuous at a point x, then \(B_n\,f(x)\) converges to f(x), and \(B_n\,f\) converges uniformly if f is continuous on the whole interval [0, 1]. Moreover, the order of approximation is \(\omega _f(n^{-1/2})\), where \(\omega _f\) denotes the modulus of continuity of f. Because of this property, Bernstein operators are called Bernstein Approximants.
-
Bernstein operators satisfy a Voronowskaya-type theorem, that is, if f is twice differentiable at x, then \(B_n\,f(x) - f(x) = \mathcal {O}(1/n)\).
The Bernstein operators admit a complete system of polynomial eigenfunctions. However, each eigenfunction depends on n and, thus, is associated with the nth Bernstein operator \(B_n\). Another inconvenience of Bernstein operators associated with an adequate function f is its slow rate of convergence toward f.
For years, several modifications and extensions of Bernstein operators have been studied. The modifications have been introduced in several directions, and we only recall a few interesting cases and cite some papers. For instance, it is possible to substitute the values of the function on equally spaced points by other mean values such as integrals, as was stated in the pioneering papers of Durrmeyer ([9]) and Derriennic ([6, 7]). In [4], the operator is modified in order to preserve some properties of the original function. Another group of modifications given by the transformation of the function by means a convenient continuous and differentiable functions is analyzed in [5]; and, of course, the extension of the Bernstein operators to the multivariate case. The most common extension of the Bernstein operator is defined on the unit simplex in higher dimensions ([1, 13, 16, 17], among others), since the basic polynomials (1.2) can be easily extended to the simplex.
In this paper, we are interested in finding an extension of the Bernstein operator to approximate functions defined on the unit disk. In this way, we will consider two kinds of modifications: by transformation of the argument of the function to be approximated, and by definition of an adequate basis of functions as (1.2). We present and study two Bernstein-type approximants, and we compare them by means of several examples.
The structure of the paper is as follows. Section 2 is devoted to collecting the properties of univariate Bernstein-type operators that we will need along the paper. In Sect. 3, we recall the method introduced by Stancu ([17]) for obtaining Bernstein-type operators in two variables by the successive application of Bernstein operators in one variable. In Sect. 5 and Sect. 6, we define the shifted nth Bernstein–Stancu operator and the shifted nth Bernstein-type operator and study their respective approximation properties. Section 7 is devoted to describing an extension of certain linear combinations of univariate Bernstein operators that give a better order of approximation. The last section is devoted to analyzing several examples, comparing the approximation results for both Bernstein-type operators on the disk, and the linear combinations introduced in Sect. 7.
2 Univariate Bernstein-Type Operators
In this section, we recall the modified univariate Bernstein-type operators that we will need later. We start by shifting the univariate Bernstein operator.
Using the change of variable
the univariate Bernstein basis can be defined on the interval \([\alpha ,\beta ]\). Indeed, if we let
then the set \(\{\widetilde{p}_{n,k}(x;[\alpha ,\beta ]):\,n\geqslant 0, \, 0\leqslant k \leqslant n,\,\alpha \leqslant x \leqslant \beta \}\) is a basis of \(\Pi _n\) on the interval \([\alpha ,\beta ]\) satisfying
Moreover, since
we have that Bernstein basis on \([\alpha ,\beta ]\) (see Fig. 1) satisfies the following properties:
-
\(\widetilde{p}_{n,k}(x;[\alpha ,\beta ])\geqslant 0\) for \(\alpha \leqslant x \leqslant \beta \),
-
\(\widetilde{p}_{n,k}(\alpha )=\delta _{0,k}\) and \(\widetilde{p}_{n,k}(\beta )=\delta _{k,n}\), where, as usual, \(\delta _{\nu ,\eta }\) denotes the Kronecker delta,
-
\((\beta -\alpha )\,\widetilde{p}^{\,\prime }_{n,k}(x;[\alpha ,\beta ])\,=\,n\left( \widetilde{p}_{n-1,k-1}(x;[\alpha ,\beta ])-p_{n-1,k}(x;[\alpha ,\beta ]) \right) \),
-
If \(n\ne 0\), then \(\widetilde{p}_{n,k}(x;[\alpha ,\beta ])\) has a unique local maximum on \([\alpha ,\beta ]\) at \(x=(\beta -\alpha )\,\frac{k}{n}+\alpha \). This maximum takes the value
$$\begin{aligned} \widetilde{p}_{n,k}\left( (\beta -\alpha )\,\frac{k}{n}+\alpha ;[\alpha ,\beta ]\right) \,=\,p_{n,k}\left( \frac{k}{n} \right) = \left( {\begin{array}{c}n\\ k\end{array}}\right) \frac{k^k}{n^n}(n-k)^{n-k}. \end{aligned}$$
For every function f defined on \(I=[\alpha ,\beta ]\), we can define the shifted univariate nth Bernstein operator as
Note that \(\widetilde{B}_n\,[f(x),I]\) is a polynomial of degree at most n. In this way,
where \(F(s)=f((\beta -\alpha )\,s+\alpha )\) is a function defined on [0, 1] associated with f. From this, and since the change of variable (2.1) is linear, it is clear that \(\widetilde{B}_n\) has analogous properties to those satisfied by the classical Bernstein operator.
In the sequel, we will use the following Bernstein-type operator studied in [5] and [10]:
where \(\tau \) is any function continuously differentiable as many times as necessary, such that \(\tau (0) = 0, \, \tau (1) = 1\), and \(\tau '(x) > 0\) for \(x \in [0, 1]\). Throughout this work, it will be sufficient for \(\tau \) to be continuously differentiable.
In [5], the following identities were given:
We have the following result.
Proposition 2.1
Let f be a continuous function on [0, 1] and \(\tau \) is any function that is continuously differentiable, such that \(\tau (0) = 0, \, \tau (1) = 1\), and \(\tau '(x) > 0\) for \(x \in [0, 1]\). Then,
That is, \(C_n^{\tau }f(x)\) converges uniformly to f on [0, 1].
Proof
Set \(u = \tau (x)\). We compute
Since \(B_nf\left( \tau ^{-1}\left( u\right) \right) \rightarrow f\left( \tau ^{-1}\left( u\right) \right) =f(x)\) as \(n\rightarrow +\infty \), the result follows from taking the limit on both sides of \(C_n^{\tau }f(x)= B_nf\left( x\right) \). \(\square \)
We also introduce the following shifted Bernstein-type operator:
where \(\tau (x)\) is any function that is continuously differentiable, such that \(\tau (\alpha ) = \alpha , \, \tau (\beta ) = \beta \), and \(\tau '(x) > 0\) for \(x \in [\alpha , \beta ]\).
Proposition 2.2
Let f be a continuous function on \([\alpha ,\beta ]\) and \(\tau (x)\) is any function that is continuously differentiable, such that \(\tau (\alpha ) = \alpha , \, \tau (\beta ) = \beta \), and \(\tau '(x) > 0\) for \(x \in [\alpha , \beta ]\). Then,
Proof
Set \(u = \tau (x)\). We compute
Since \(\widetilde{B}_n[f\left( \tau ^{-1}\left( u\right) \right) ,[\alpha ,\beta ]]\rightarrow f\left( \tau ^{-1}\left( u\right) \right) =f(x)\) as \(n\rightarrow +\infty \), the result follows from taking the limit on both sides of \(\widetilde{C}_n^{\tau }[f(x),[\alpha ,\beta ]]= \widetilde{B}_n[f\left( x\right) ,[\alpha ,\beta ]]\). \(\square \)
3 Bivariate Bernstein–Stancu operators
In 1963, Stancu [17] studied a method for deducing polynomials of Bernstein type of two variables. This method is based on obtaining an operator in two variables from the successive application of Bernstein operators of one variable.
Let \(\phi _1\equiv \phi _1(x)\) and \(\phi _2\equiv \phi _2(x)\) be two continuous functions such that \(\phi _1 < \phi _2\) on [0, 1]. Let \(\Omega \subseteq \mathbb {R}^2\) be the domain bounded by the curves \(y=\phi _1(x)\), \(y=\phi _2(x)\), and the straight lines \(x=0\), \(x=1\). For every function f(x, y) defined on \(\Omega \), taking into view
let us define the function
where \(0\leqslant t \leqslant 1\).
The nth Bernstein–Stancu operator is defined as
where each \(n_k\) is a nonnegative integer associated with the kth node \(x_k=k/n\), and t is given by (3.1). Writing (3.3) explicitly, we have
If we denote by \(B_{n}^{(t)}\) the univariate Bernstein operator acting on the variable t, then the Bernstein–Stancu operator can be written as
We have the following representation of \(\mathscr {B}_n\) in terms of a matrix determinant.
Proposition 3.1
Let f(x, y) be a function defined on the domain \(\Omega \), and let F be a function defined on (3.2). Denote by \(B_{n}^{(t)}\) the univariate Bernstein operator acting on the variable t. Then, the nth Bernstein–Stancu operator is given by the determinant
Remark 3.2
Observe that the step size of the partition of the x-axis is 1/n and, for a fixed node \(x_k=k/n\), the step size of the partition of the t-axis is \(1/n_k\). Therefore, the step size of the partition of the y-axis is \(1/m_k\), where
and, thus,
We point out that, in general, \(\mathscr {B}_n[f(x,y), \Omega ]\) is not a polynomial. However, it is possible to obtain polynomials by an appropriate choice of \(\phi _1\), \(\phi _2\), and \(n_k\). For instance:
-
(1)
The Bernstein–Stancu operator on the unit square \(\textbf{Q}=[0,1]\times [0,1]\) (see for instance [13, 17]) is obtained by letting \(\phi _1(x)=0\) and \(\phi _2(x)=1\). Hence, for a function f defined on \(\textbf{Q}\), we get
$$\begin{aligned} F\left( \frac{k}{n},\frac{j}{n_k}\right) =f\left( \frac{k}{n},\frac{j}{n_k}\right) , \end{aligned}$$and
$$\begin{aligned} \mathscr {B}_n[f(x,y),\textbf{Q}]=\sum _{k=0}^n\sum _{j=0}^{n_k}f\left( \frac{k}{n},\frac{j}{n_k}\right) \,p_{n,k}(x)p_{n_k,j}(y). \end{aligned}$$Note that when \(n_k\) is independent of k (e.g., \(n_k=m\) for some positive integer m), \(\mathscr {B}_n\) is the tensor product of univariate Bernstein operators on \(\textbf{Q}\).
-
(2)
The Bernstein–Stancu operators can be defined on the simplex \(\textbf{T}^2 = \{(x,y)\in \mathbb {R}^2: x, y \geqslant 0, 1-x-y \geqslant 0\}\) (see for instance [1] and [17]). In this case, we set \(\phi _1(x)=0\), \(\phi _2(x)=1-x\), and \(n_k=n-k\), \(0\leqslant k \leqslant n\). In this way, \(m_k=n\) and, since
$$\begin{aligned} F\left( \frac{k}{n},\frac{j}{n-k}\right) =f\left( \frac{k}{n},\frac{j}{n}\right) , \end{aligned}$$we have
$$\begin{aligned} \mathscr {B}_n[f(x,y),\textbf{T}^2]&= \sum _{k=0}^n\sum _{j=0}^{n-k}f\left( \frac{k}{n},\frac{j}{n}\right) \, p_{n,k}(x)\,p_{n-k,j}\left( \frac{y}{1-x}\right) \\&=\sum _{k=0}^n\sum _{j=0}^{n-k}f\left( \frac{k}{n},\frac{j}{n}\right) \,\left( {\begin{array}{c}n\\ k\ \ j\end{array}}\right) \,x^k\,y^j\,(1-x-y)^{n-k-j} , \quad \\&\quad (x,y)\in \textbf{T}^2, \end{aligned}$$where
$$\begin{aligned} \left( {\begin{array}{c}n\\ k\ \ j\end{array}}\right) = \frac{n!}{k!\,j!\,(n-k-j)!},\quad 0\leqslant k+j\leqslant n. \end{aligned}$$
In [17], Stancu proved the following convergence result on \(\textbf{T}^2\).
Theorem 3.3
([17]) Let f be a continuous function on \(\textbf{T}^2\). Then, \(\mathscr {B}_n[f(x,y),\textbf{T}^2]\) converges uniformly to f(x, y) as \(n\rightarrow +\infty \).
Stancu only gave a detailed proof of the approximation properties of \(\mathscr {B}_n\) on triangles. In Sect. 5, we consider a slightly general operator and prove the uniform convergence on any bounded domain \(\Omega \), and we recover Stancu’s result when \(\Omega = \textbf{T}^2\).
4 Bernstein-Type Operator Under a Domain Transformation
One way to extend the Bernstein operator on the unit square \(\textbf{Q}\) to another bounded domain \(\Omega \in \mathbb {R}^2\) is through an appropriate transformation or change of variables. In this section, we study several cases.
(1) Let \(\widehat{\textbf{Q}}=[-1,1]\times [-1,1]\). The operator defined as
is a Bernstein operator on \(\widehat{\textbf{Q}}\). Indeed, for every function f defined on \(\widehat{\textbf{Q}}\), we define the function \(F: \textbf{Q}\rightarrow \mathbb {R}\) as
Then, using the transformation \(x=2u-1\) and \(y=2v-1\) which maps \(\textbf{Q}\) into \(\widehat{\textbf{Q}}\), we get
(2) An alternative way to obtain the Bernstein–Stancu operator on the simplex \(\textbf{T}^2\) is by considering the Duffy transformation
which maps \(\textbf{Q}\) into \(\textbf{T}^2\). Let f be a function defined on \(\textbf{T}^2\). We can define the function \(F:\textbf{Q}\rightarrow \mathbb {R}\) as
Then, the operator
is a Bernstein-type operator on the simplex since, using the Duffy transformation, we get
Observe that \(\widehat{\mathscr {B}}_n[f(x,y),\textbf{T}^2]\) is not a polynomial unless \(n-k-n_k\geqslant 0\). We recover the usual Bernstein–Stancu operator on the simplex by setting \(n_k=n-k\).
(3) Consider the unit ball in \(\mathbb {R}^2\):
and the transformation \(x=2u-1\), \(y=(2v-1)\,\sqrt{1-(2u-1)^2}\) which maps the square \(\textbf{Q}\) into \(\textbf{B}^2\). For every function f defined on \(\textbf{B}^2\), we can define the function \(F:\textbf{Q}\rightarrow \mathbb {R}^2\) as
The operator
is a Bernstein operator on the unit ball since
Observe that, in this case,
In contrast with the previous two cases, there is no obvious choice of \(n_k\) such that \(\widehat{\mathscr {B}}_{n}[f(x,y),\textbf{B}^2]\) is a polynomial. Nevertheless, notice that for \(y=0\), we have
and for \(x=0\) we have
Therefore, \(\widehat{\mathscr {B}}_{n}[f(x,y),\textbf{B}^2]\) is a polynomial on the x- and y-axes for any choice of \(n_k\).
In Fig. 2, the representation of the mesh in this case for \(n=n_k=20\) is given.
(4) Let
denote the four quadrants of \(\textbf{B}^2\), and consider the transformation
which maps each quadrant to \(\textbf{Q}\). The corresponding Bernstein operators on the quadrants are:
Indeed, for every function f defined on \(\textbf{B}^2\), we can define the functions on \(\textbf{Q}\):
Then,
If we choose \(n_k=n-k\), we have that \(\widehat{\mathscr {B}}_{n}[f(x,y),B_i]\), \(i=1,2,3,4\), are polynomials of degree 2n since
In this case, observe that for \(k=0\), the mesh corresponding to \(B_1\) and \(B_2\), and similarly to \(B_3\) and \(B_4\), coincides on the y-axis (see Fig. 3). Moreover, for \(j=0\), the mesh corresponding to adjacent quadrants coincides on the x-axis. Therefore, we can define a piecewise Bernstein operator on \(\textbf{B}^2\) as follows:
Proposition 4.1
For any function f on \(\textbf{B}^2\), \(\overline{\mathscr {B}}_n[f(x,y), \textbf{B}^2]\) is a continuous function on \(\textbf{B}^2\).
Proof
Clearly, \(\overline{\mathscr {B}}_n[f(x,y), \textbf{B}^2]\) is continuous on the interior of each quadrant.
For \(x=0\),
and
Similarly, for \(y=0\)
and
Therefore, \(\overline{\mathscr {B}}_n[f(x,y), \textbf{B}^2]\) is continuous on the x- and y-axes. \(\square \)
5 Shifted Bernstein–Stancu Operators
Motivated by the examples of Bernstein operators on different domains introduced in the previous section, now we define the shifted nth Bernstein–Stancu operator and study its approximation properties.
Let \(\phi _1\) and \(\phi _2\) be two continuous functions, and let \(I=[a,b]\) be an interval such that \(\phi _1 < \phi _2\) on I. Let \(\Omega \subset \mathbb {R}^2\) be the domain bounded by the curves \(y=\phi _1(x)\), \(y=\phi _2(x)\), and the straight lines \(x=a\), \(x=b\). Observe that for a fixed \(x\in I\), the polynomials \(\widetilde{p}_{n,k}(y;[\phi _1(x),\phi _2(x)])\), \(n\geqslant 0\), \(0\leqslant k \leqslant n\), constitute a univariate shifted Bernstein basis on the interval \([\phi _1(x),\phi _2(x)]\).
For every function f(x, y) defined on \(\Omega \), define the function
where
\(0\leqslant u \leqslant 1\), and \(0\leqslant v \leqslant 1\).
The shifted nth Bernstein–Stancu operator is defined as
where \(n_k=n-k\) or \(n_k=k\) for all \(0\leqslant k \leqslant n\). Written in terms of the univariate Bernstein basis, we get
The following result plays an important role when studying the convergence of the shifted Bernstein–Stancu operator.
Lemma 5.1
Let \(\phi _1\) and \(\phi _2\) be two continuous functions, and let \(I=[a,b]\) be an interval such that \(\phi _1 < \phi _2\) on I. Let \(\Omega \subset \mathbb {R}^2\) be the domain bounded by the curves \(y=\phi _1(x)\), \(y=\phi _2(x)\), and the straight lines \(x=a\), \(x=b\). Then:
-
(i)
\(\widetilde{\mathscr {B}}_n[1,\Omega ]=1\),
-
(ii)
\(\widetilde{\mathscr {B}}_n[x,\Omega ]=x\),
-
(iii)
\(\widetilde{\mathscr {B}}_n[y,\Omega ]\rightarrow y\) as \(n\rightarrow +\infty \) uniformly on [a, b],
-
(iv)
\(\widetilde{\mathscr {B}}_n[x^2,\Omega ]=x^2+(x-a)\,(b-x)/n\),
-
(v)
\(\widetilde{\mathscr {B}}_n[y^2,\Omega ]\rightarrow y^2\) as \(n\rightarrow +\infty \) uniformly on [a, b].
Proof
-
(i)
Obviously \(\widetilde{\mathscr {B}}_n[1,\Omega ] = 1\).
-
(ii)
We computerr
$$\begin{aligned} \widetilde{\mathscr {B}}_n[x,\Omega ]&= \sum _{k=0}^n \sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\,\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\,\left( (b-a)\frac{k}{n}+a\right) \\&= (b-a)\sum _{k=0}^n\widetilde{p}_{n,k}(x;I)\frac{k}{n}\left( \sum _{j=0}^{n_k}\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2]) \right) +a\,\widetilde{\mathscr {B}}_n[1,\Omega ]\\&=(b-a)\sum _{k=0}^n\widetilde{p}_{n,k}(x;I)\frac{k}{n}+a\\&=(b-a)\frac{x-a}{b-a}\sum _{k=0}^{n-1}\widetilde{p}_{n-1,k}(x;I)+a\\&= x. \end{aligned}$$ -
(iii)
Observe that
$$\begin{aligned} \begin{aligned} \sum _{j=0}^{n_k}\widetilde{p}_{n_k,j}&(y;[\phi _1,\phi _2])\,\frac{j}{n_k} = \sum _{j=1}^{n_k}\left( {\begin{array}{c}n_k\\ j\end{array}}\right) \, \frac{(y-\phi _1(x))^j\,(\phi _2(x)-y)^{n_k-j}}{(\phi _2(x)-\phi _1(x))^{n_k}}\,\frac{j}{n_k}\\ =&\sum _{j=0}^{n_k-1}\left( {\begin{array}{c}n_k-1\\ j\end{array}}\right) \,\frac{(y-\phi _1(x))^{j+1}\,(\phi _2(x)-y)^{n_k-1-j}}{(\phi _2(x)-\phi _1(x))^{n_k}}\\ =&\frac{y - \phi _1(x)}{\phi _2(x)-\phi _1(x)}. \end{aligned} \end{aligned}$$(5.2)Therefore, applying the linearity, we get
$$\begin{aligned} \widetilde{\mathscr {B}}_n[y,\Omega ]&= \sum _{k=0}^n \sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\, \widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\,\\&\quad \left[ \left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) \frac{j}{n_k} + \widetilde{\phi }_1\left( \frac{k}{n}\right) \right] \\&= \left[ \sum _{k=0}^n \left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) \widetilde{p}_{n,k}(x;I)\right] \frac{y - \phi _1(x)}{\phi _2(x)-\phi _1(x)} \\&\quad + \sum _{k=0}^n \widetilde{\phi }_1\left( \frac{k}{n}\right) \widetilde{p}_{n,k}(x;I)\\&= \widetilde{B}_n[\phi _2 - \phi _1,I] \,\frac{y - \phi _1(x)}{\phi _2(x)-\phi _1(x)} + \widetilde{B}_n [\phi _1,I], \end{aligned}$$where \(\widetilde{B}_n\) denotes the univariate shifted Bernstein operator acting on the variable x. Since \(\widetilde{B}_n\) converges uniformly for a continuous function, we have
$$\begin{aligned} \lim _{n\rightarrow +\infty } \widetilde{\mathscr {B}}_n[y,\Omega ]&= \,\lim _{n\rightarrow +\infty }\widetilde{B}_n[\phi _2 - \phi _1,I] \,\frac{y - \phi _1(x)}{\phi _2(x)-\phi _1(x)}+\lim _{n\rightarrow +\infty } \widetilde{B}_n [\phi _1,I]\\&=\,[\phi _2(x) - \phi _1(x)]\,\frac{y - \phi _1(x)}{\phi _2(x)-\phi _1(x)} + \phi _1(x)\\&=\,y. \end{aligned}$$ -
(iv)
We compute
$$\begin{aligned} \widetilde{\mathscr {B}}_n[x^2,\Omega ]&= \sum _{k=0}^n\sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\,\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\,\left( (b-a)\frac{k}{n}+a \right) ^2\\&= (b-a)^2\sum _{k=0}^{n}\widetilde{p}_{n,k}(x;I)\frac{k^2}{n^2}+2\,a\,(b-a)\frac{x-a}{b-a}\sum _{k=0}^{n-1}\widetilde{p}_{n-1,k}(x;I)+a^2\\&= (b-a)^2\left( \frac{n-1}{n}\left( \frac{x-a}{b-a} \right) ^{\!2}\,\sum _{k=0}^{n-2}\widetilde{p}_{n-2,k}(x;I)\right. \\&\quad \left. +\frac{1}{n}\frac{x-a}{b-a}\sum _{k=0}^{n-1}\widetilde{p}_{n-1,k}(x;I) \right) \\&\quad +2\,a\,(x-a)+a^2\\&=x^2+\frac{(x-a)(b-x)}{n}. \end{aligned}$$ -
(v)
Finally, if \(f(x,y)=y^2\) in (5.1), then we get
$$\begin{aligned} \begin{aligned} \widetilde{F}\left( \frac{k}{n},\frac{j}{n_k};\Omega \right) =&\left[ \left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) \frac{j}{n_k} + \widetilde{\phi }_1\left( \frac{k}{n}\right) \right] ^2\\&=\left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) ^2 \frac{j^2}{n_k^2}\\&\quad +2\left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) \,\widetilde{\phi }_1\left( \frac{k}{n}\right) \, \frac{j}{n_k}+\widetilde{\phi }_1\left( \frac{k}{n}\right) ^2. \end{aligned} \end{aligned}$$Then,
$$\begin{aligned} \widetilde{\mathscr {B}}_n[y^2,\Omega ]&= \sum _{k=0}^n\sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\,\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\,\left( \widetilde{\phi }_2\left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) ^2 \frac{j^2}{n_k^2}\\&\quad +2\sum _{k=0}^n\sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\left( \widetilde{\phi }_2\right. \\&\quad \left. \left( \frac{k}{n}\right) - \widetilde{\phi }_1\left( \frac{k}{n}\right) \right) \widetilde{\phi }_1\left( \frac{k}{n}\right) \frac{j}{n_k}\\&\quad + \sum _{k=0}^n\sum _{j=0}^{n_k}\widetilde{p}_{n,k}(x;I)\,\widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\,\widetilde{\phi }_1\left( \frac{k}{n}\right) ^2. \end{aligned}$$
Observe that
Together with (5.2), we get
If \(n_k=n-k\), then
and if \(n_k=k\), then
In either case, \(\widetilde{\mathscr {B}}_n[y^2,\Omega ]\rightarrow y^2\) as \(n\rightarrow +\infty \). \(\square \)
The convergence of the operator is clear from Lemma 5.1 and Volkov’s theorem ([18]).
Now, we study the approximation properties of the shifted Bernstein–Stancu operators.
Definition 5.2
([16]) Let f be a function defined on \(\Omega \). The modulus of continuity of f is defined by
where \(\delta _1,\delta _2>0\) are real numbers, whereas \((x',y')\) and \((x'',y'')\) are points of \(\Omega \) such that \(|x''-x'|\leqslant \delta _1\) and \(|y''-y'|\leqslant \delta _2\).
Theorem 5.3
Let f be a continuous function on \(\Omega \). Then,
uniformly on \(\Omega \).
Proof
Let \(\delta _1,\delta _2>0\) be real numbers.
Note that on \(\Omega \) we have \(\widetilde{\mathscr {B}}_n[1,\Omega ]=1\),
and
Taking into account the inequality (see, for instance, [16, 17])
we compute
where
and
Therefore,
We will deal with each term in the last inequality separately.
Since \(\mathscr {B}[1,\Omega ]=1\), \(0\leqslant \widetilde{p}_{n,k}(x;I)\leqslant 1\), \(0\leqslant \widetilde{p}_{n_k,j}(y;[\phi _1,\phi _2])\leqslant 1\), and \(x\mapsto x^{1/2}\) is a concave function, by Jensen’s inequality, we have
Using (i), (ii), and (iv) in Lemma 5.1, we get
uniformly since \(\widetilde{\mathscr {B}}_n[1,\Omega ]=1\), \(\widetilde{\mathscr {B}}_n[x,\Omega ]=x\), and \(\lim _{n\rightarrow +\infty }\widetilde{\mathscr {B}}_n[x^2,\Omega ]=x^2\).
Similarly, from Jensen’s inequality, and using (i), (iii), and (vi) in Lemma 5.1, we get
uniformly since \(\widetilde{\mathscr {B}}_n[1,\Omega ]=1\), \(\lim _{n\rightarrow +\infty }\widetilde{\mathscr {B}}_n[y,\Omega ]= y\), and \(\lim _{n\rightarrow +\infty }\widetilde{\mathscr {B}}_n[y^2,\Omega ]=y^2\).
Finally, choosing \(\delta _1=\delta _2=1/\sqrt{n}\), then \(\omega (1/\sqrt{n},1/\sqrt{n})\rightarrow 0\) as \(n\rightarrow +\infty \), and, thus, \(\widetilde{\mathscr {B}}_n[f(x,y),\Omega ]\) converges uniformly to f(x, y) on \(\Omega \). \(\square \)
Recall that the univariate shifted Bernstein satisfies the following Voronowskaya type asymptotic formula: Let f(x) be bounded on the interval I, and let \(x_0\in I\) at which \(f''(x_0)\) exists. Then,
Now, we give an analogous result for the Bernstein–Stancu operator.
Theorem 5.4
Let f(x, y) be a bounded function on \(\Omega =\{(x,y)\in \mathbb {R}^2:\ a\leqslant x \leqslant b,\ \phi _1(x)\leqslant y \leqslant \phi _2(x)\}\), and let \((x_0,y_0)\in \Omega \) be a point at which f(x, y) admits second-order partial derivatives, and \(\phi _i''(x_0)\), \(i=1,2\), exist. Then,
Proof
Let us write the Taylor expansion of f(u, v) at the point \((x_0,y_0)\):
where h(u, v) is a bounded function such that \(h(u,v)\rightarrow 0\) as \((u,v)\rightarrow (x_0,y_0)\). Applying \(\widetilde{\mathscr {B}}_n\) to both sides, we get:
where we have omitted \(\Omega \) for brevity. We deal with each term separately.
From Lemma 5.1 (ii), we get \(\left. \widetilde{\mathscr {B}}_n[u-x_0]\right| _{u=x_0}=0\). Next, from the proof of Lemma 5.1 (iii), we have
But using (5.3), we get
Similarly,
Now we deal with the last term
where
and
Fix a real number \(\varepsilon >0\). Then, there is a real number \(\delta >0\) such that if \(||(u,v)-(x_0,y_0)||<\delta \), then \(|h(u,v)|<\varepsilon \). Let \(S_{\delta }\) be the set of k and j such that \(\frac{1}{\delta ^2}\widetilde{F}\left( \frac{k}{n},\frac{j}{n_k}\right) >1\). Then,
Moreover, we have
Thus,
where
Putting all the above together, we get
and the result follows. \(\square \)
6 Shifted Bernstein-Type Operators
We define the shifted bivariate Bernstein-type operator. Let \(\phi _1\) and \(\phi _2\) be two continuous functions, and let \(I=[a,b]\) be an interval such that \(\phi _1 < \phi _2\) on I. Let \(\Omega \subset \mathbb {R}^2\) be the domain bounded by the curves \(y=\phi _1(x)\), \(y=\phi _2(x)\), and the straight lines \(x=a\), \(x=b\). Let
where \(\tau \) is any continuously differentiable function on I, such that \(\tau (a) = a, \, \tau (b) = b\), and \(\tau '(x) > 0\) for \(x \in I\), and for each fixed \(x\in I\), \(\sigma _x\) is any continuously differentiable function on \([\phi _1(x),\phi _2(x)]\), such that \(\sigma _x ( \phi _1(x)) = \phi _1(x), \, \sigma _x(\phi _2(x)) = \phi _2(x)\), and \(\sigma _x'(y) > 0\) for \(y \in [\phi _1(x), \phi _2(x)]\).
For every function f(x, y) defined on \(\Omega \), define the function
for \(0\leqslant u \leqslant 1\), and \(0\leqslant v \leqslant 1\), where \(\widetilde{\phi }_i\), \(i=1,2\), are defined in (5.1).
The shifted bivariate Bernstein-type operator is defined as
for \((x,y)\in \Omega \), where \(n_k=n-k\) or \(n_k=k\) for \(0\leqslant k \leqslant n\).
Written in terms of the univariate classical Bernstein basis, we get
Proposition 6.1
For every function f(x, y) defined on \(\Omega \),
Proof
Let \(u=\tau (x)\) and, for each \(x\in I\), \(v=\sigma _x(y)\). Then,
From Theorem 5.3, we have \(\widetilde{\mathscr {B}}_n[(f\circ T)(u,v),\Omega ]=\widetilde{\mathscr {B}}_n[f(x,y),\Omega ]\) converges uniformly to f(x, y). Hence, \(\widetilde{\mathscr {C}}_{n}^{T}[f(x,y),\Omega ]\) converges uniformly to f(x, y). \(\square \)
Now, we study shifted Bernstein-type operators defined on each quadrant of \(\textbf{B}^2\), denoted by \(B_i\) for \(i=1,2,3,4\). We will choose T and \(n_k\) such that, for any function, the approximation given by Bernstein-type operators on each quadrant is a polynomial.
(i) For \(x\in [0,1]\), let \(\tau (x)=x^2\) and, for each fixed value of x, let \(\sigma _x(y)=y^2/\sqrt{1-x^2}\). Let \(n_k=n-k\), \(\phi _1(x)=0\), and \(\phi _2(x)=\sqrt{1-x^2}\). Then,
where \(B_1=\{(x,y)\in \mathbb {R}^2:\, x^2+y^2\leqslant 1,\, x,y\geqslant 0 \}\). Then,
(ii) For \(x\in [-1,0]\), let \(\tau (x) = -x^2\) and, for each fixed value of x, let \(\sigma _x(y)=y^2/\sqrt{1-x^2}\). Let \(n_k=k\), \(\phi _1(x)=0\), and \(\phi _2(x)=\sqrt{1-x^2}\). Then,
where \(B_2=\{(x,y)\in \mathbb {R}^2:\, x^2+y^2\leqslant 1,\, x\leqslant 0, \ y\geqslant 0 \}\). Then,
(iii) For \(x\in [-1,0]\), let \(\tau (x) = -x^2\) and, for each fixed value of x, let \(\sigma _x(y)=-y^2/\sqrt{1-x^2}\). Let \(n_k=k\), \(\phi _1(x)=-\sqrt{1-x^2}\), and \(\phi _2(x)=0\). Then,
where \(B_3=\{(x,y)\in \mathbb {R}^2:\, x^2+y^2\leqslant 1,\, x,y\leqslant 0\}\). Then,
(iv) For \(x\in [0,1]\), let \(\tau (x) = x^2\) and, for each fixed value of x, let \(\sigma _x(y)=-y^2/\sqrt{1-x^2}\). Let \(n_k=n-k\), \(\phi _1(x)=-\sqrt{1-x^2}\), and \(\phi _2(x)=0\). Then,
where \(B_4=\{(x,y)\in \mathbb {R}^2:\, x^2+y^2\leqslant 1,\, x\geqslant 0, \ y\leqslant 0 \}\). Then,
Similar to (4.1), we can define a piecewise Bernstein-type operator on \(\textbf{B}^2\) as follows:
The proof of the following proposition is similar to that of Proposition 4.1.
Proposition 6.2
For any function f on \(\textbf{B}^2\), \(\overline{\mathscr {C}}_n[f(x,y), \textbf{B}^2]\) is a continuous function on \(\textbf{B}^2\).
7 Better Order of Approximation
In [3], Butzer studied a certain linear combination of univariate Bernstein operators that, under certain conditions, give a better order of approximation compared with the classical operators. For a bounded function f(x) defined on [0, 1], Butzer considers the linear combination of Bernstein polynomials
where the constants \(\alpha _j=\alpha _j(k)\) satisfy
The polynomials \(\mathfrak {L}_n^{[2k]}f(x)\) satisfy the recurrence relation
and, if \(f^{(2k)}\) exists at a point \(x\in [0, 1]\), then
Using (7.1), we can obtain the following explicit expressions for the constants \(\alpha _j\)’s,
In [14], May considers a slightly more general operator \(\mathcal {S}_n^{[k]}[f(x);d_0,d_1,\ldots ,d_k]\equiv \mathcal {S}_n^{[k]}[f(x);d_j]\) given by
where \(d_0,\, d_1, \dots , d_k\) are positive integers. Notice that if \(d_j=2^j\), then \(\mathcal {S}_n^{[k]}[f(x);d_j]= \mathfrak {L}_n^{[2k]}f(x)\). Moreover, if \(d_j = j + 1\), then \(\mathcal {S}_n^{[2^k-1]}[f(x);j+1]\) is a polynomial of degree \(2^kn\). However, May proved that if \(f^{(2^{k+1})}\) exists, then \(\mathcal {S}_n^{[2^k-1]}[f(x),j+1]\) converges to f(x) at a rate of \(n^{-2^k}\) and, hence, \(\mathcal {S}_n^{[2^k-1]}[f(x),j+1]\) and \(\mathfrak {L}_n^{[2k]}f(x)\) are polynomials of the same degree, but \(\mathcal {S}_n^{[2^k-1]}[f(x),j+1]\) has a faster rate of convergence than \(\mathfrak {L}_n^{[2k]}f(x)\). Observe that for \(k=1\), we have \(\mathcal {S}_n^{[2^k-1]}[f(x);j+1]=\mathcal {S}_n^{[k]}[f(x);2^j]\).
Motivated by the construction in (7.3), we define the following bivariate operators
and
Although we do not study the approximation behavior of these operators here, the numerical experiments in the following section suggest a better rate of convergence than \(\widetilde{\mathscr {B}}_n\) and \(\overline{\mathscr {C}}_n\).
8 Numerical Experiments
In this section, we present numerical experiments where we compare the shifted Bernstein–Stancu operator \(\widetilde{\mathscr {B}}_n\) on \(\textbf{B}^2\), and the shifted Bernstein-type operator \(\overline{\mathscr {C}}_{n}\) in (6.1). To do this, we consider different functions defined on \(\textbf{B}^2\). For each function f(x, y), we compute \(\widetilde{\mathscr {B}}_n[f(x,y),\textbf{B}^2]\) and \(\overline{\mathscr {C}}_{n}[f(x,y),\textbf{B}^2]\). We use a set of points randomly distributed on the unit disk (generated by mesh function in Mathematica) to compare the function to its approximations. For \(\widetilde{\mathscr {B}}_n[f(x,y),\textbf{B}^2]\), we use 630 points \((x_i,y_i)\). We set \(z_i=f(x_i,y_i)\), \(1\leqslant i\leqslant 630\), and \(\hat{z}_i\) equal to the value of \(\widetilde{\mathscr {B}}_n[f(x,y),\textbf{B}^2]\) at the respective point \((x_i,y_i)\), and compute the root-mean-square error (RMSE) as follows:
Similarly, for \(\overline{\mathscr {C}}_n[f(x,y),\textbf{B}^2]\), we use randomly distributed 1082 points \((\bar{x}_j,\bar{y}_j)\). We set \(w_j=f(\bar{x}_j,\bar{y}_j)\), \(1\leqslant j\leqslant 1082\), and \(\bar{w}_j\) equal to the value of \(\overline{\mathscr {C}}_n[f(x,y),\textbf{B}^2]\) at the respective point \((\bar{x}_j,\bar{y}_j)\), and compute the RMSE as follows:
In each case, we plot the RMSE for increasing values of n using Mathematica.
For each operator, the set of points used to compute the RMSE consists of a fixed number of points. On the other hand, the number of mesh points used to represent each operator depends on n.
We represent \(\overline{\mathscr {C}}_n[f(x,y), \textbf{B}^2]\) on each quadrant using different colors as shown in Fig. 4. We take \(n = 100\), then the mesh required to obtain the operator for each quadrant consists of 20200 points.
For \(\widetilde{\mathscr {B}}_n[f(x,y),\textbf{B}^2]\), we take \(n=200\). Then, the mesh required to obtain the operator for all the unit disk consists of 40401 points.
We note that the operator \(\overline{\mathscr {C}}_n\) requires two evaluations at the mesh points on the common boundaries of two adjacent quadrants. Therefore, the operator \(\widetilde{\mathscr {B}}_n\) needs a smaller number of evaluations than the operator \(\overline{\mathscr {C}}_n\) since, for a fixed n, \(\widetilde{\mathscr {B}}_n\) and \(\overline{\mathscr {C}}_n\) are composed of \((n+1)^2\) and \(2\,(n+1)\,(n+2)\) evaluations, respectively.
Additionally, we compute the RMSE for \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\) using the same set of randomly distributed points as before.
We note that, from the definition, we have
For a fixed n, the mesh required to obtain \(\widetilde{\mathscr {B}}_{2\,n}\) (respectively, \(\overline{\mathscr {C}}_{2\,n}\)) is a refinement of the mesh required for \(\widetilde{\mathscr {B}}_{n}\) (respectively, \(\overline{\mathscr {C}}_{n}\)). Therefore, \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\) require \((2n+1)^2\) and \(2\,(2n+1)\,(2n+2)\) evaluations, respectively.
8.1 Example 1
First, we consider the continuous function
The graph of f(x, y) is shown in Fig. 5, and the approximations \(\overline{\mathscr {C}}_{n}[f(x,y),\textbf{B}^2]\) and \(\widetilde{\mathscr {B}}_n[f(x,y),\textbf{B}^2]\) are shown in Fig. 6. We list the RMSE of both approximations for different values of n in Table 1 and plot them together in Fig. 7, where the characteristic slow convergence inherited from the univariate Bernstein operators is observed. Moreover, the corresponding RMSEs are shown in Table 2 and Fig. 8 for \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\), where a seemingly better approximation behavior can be observed.
8.2 Example 2
Now, we consider the continuous periodic function
Its graph is shown in Fig. 9. It can be observed in Fig. 10 that the approximation error for both operators is larger at the maximum and minimum values of the function. Table 3 and Fig. 11 contain further evidence of this larger error. Moreover, in comparison with the previous example, it seems that the rate convergence of \(\overline{\mathscr {C}}_n[g(x,y),\textbf{B}^2]\) is significantly faster than the rate of convergence of \(\widetilde{\mathscr {B}}_n[g(x,y),\textbf{B}^2]\). Table 4 and Fig. 12 show the errors corresponding to \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\). In comparison with \(\widetilde{\mathscr {B}}_n\) and \(\overline{\mathscr {C}}_n\), \(\widetilde{\mathcal {R}}_n^{[1]}\), and \(\widetilde{\mathcal {S}}_n^{[1]}\) appear to have a better approximation behavior.
8.3 Example 3
Here, we consider the continuous function
(see Fig. 13). Both approximations are shown in Fig. 14, and their respective RMSEs are listed in Table 5 and plotted in Fig. 15. Observe that, in this case, the RMSEs for both approximations are significantly smaller than in the previous examples. Moreover, based on Fig. 15, it seems that for sufficiently large values of n, the rate of convergence of both approximations is considerably similar to each other. Table 6 and Fig. 16 also show similar approximation behavior between \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\).
8.4 Example 4
In this numerical example, we are interested in observing the behavior of shifted Bernstein-type and shifted Bernstein–Stancu operators at jump discontinuities.
Let us consider the following discontinuous function:
The graph of \(\eta (x,y)\) is shown in Fig. 17 and the approximations are shown in Fig. 14. It is interesting to observe the behavior of the approximations at the points of jump discontinuities and, thus, we have included Fig. 19, where we show a cross-sectional view of the approximations with increasing values of n. As in the univariate case, it seems that the Gibbs phenomenon does not occur. Finally, Table 7 and Fig. 20 expose a significantly slow convergence rate for this discontinuous function in comparison with the previous continuous examples. As can be seen in Table 8 and Fig. 21, it seems that a better approximation can be obtained with the operators \(\widetilde{\mathcal {S}}_n^{[1]}[f(x,y),2^j]\) and \(\widetilde{\mathcal {R}}_n^{[1]}[f(x,y),2^j]\).
References
Berens, H., Schmid, H.J., Xu, Y.: Bernstein–Durrmeyer polynomials on a simplex. J. Approx. Theory 68(3), 247–261 (1992)
Bernstein, S.: Demonstration di Théorème de Weierstrass fondée sur le calcul des probabilités. Commun. Soc. Math. Kharkov (2), 13 (1912-1913), 1,2
Butzer, P.: Linear combinations of Bernstein polynomials. Can. J. Math. 5, 559–567 (1953)
Cárdenas-Morales, D., Garrancho, P., Muñoz-Delgado, F.J.: Shape preserving approximation by Bernstein-type operators which fix polynomials. Appl. Math. Comput. 182, 1615–1622 (2006)
Cárdenas-Morales, D., Garrancho, P., Raşa, I.: Bernstein-type operators that preserve polynomials. Comput. Math. with Appl. 62, 158–163 (2011)
Derriennic, M.M.: Sur l’approximation de fonctions intégrables sur \([0,1]\) par des polynômes de Bernstein modifiés. J. Approx. Theory 31(4), 325–343 (1981)
Derriennic, M.M.: On multivariate approximation by Bernstein-type polynomials. J. Approx. Theory 45(2), 155–166 (1985)
Dunkl, C.F., Xu, Y.: Orthogonal Polynomials of Several Variables. Encyclopedia of Mathematics and its Applications, vol. 155, 2nd edn. Cambridge University Press, Cambridge (2014)
Durrmeyer, J. L.: Une formule d’inversion de la transformée de Laplace. Applications à la théorie des moments, Thèse 3e cycle, Fac. des Sciences de l’Université de Paris (1967)
Gonska, H., Piţul, P., Raşa, I.: General King-type operators. Results Math. 53(3–4), 279–286 (2009)
Kantorovitch, L. V.: Sur certains dévelopements suivants les polynômes de la forme de S. Bernstein, I, II, C. R. Acad. Sci. USSR, 563-568, 595-600 (1930)
King, J.P.: Positive linear operators which preserve \(x^2\). Acta Math. Hungar. 99(3), 203–208 (2003)
Lorentz, G.G.: Bernstein Polynomials. Chelsea Publishing Company, New York (1997)
May, C.: Saturation and inverse theorems for combinations of a class of exponential-type operators. Can. J. Math. 28(6), 1224–1250 (1976)
Sablonnière, P.: Opérateurs de Bernstein–Jacobi et polynômes orthogonaux, Publ. ANO 37, Laboratoire de Calcul, Université de Lille (1981)
Schurer, F.: On the approximation of functions of many variables with linear positive operators. Nederl. Akad. Wetensch. Proc. Ser. A 66 = Indag. Math. 25, 313–327 (1963)
Stancu, D.D.: A method for obtaining polynomials of Bernstein type of two variables. Am. Math. Mon. 70(3), 260–264 (1963)
Volkov, V.I.: On the convergence of sequences of linear positive operators in the space of continuous functions of two variables. Dokl. Akad. Nauk. SSSR (NS) 115, 17–19 (1957)
Acknowledgements
The authors are grateful to the reviewer for their valuable comments and suggestions which led us to improve this work.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interests.
Additional information
Communicated by See Keong Lee.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
MEM has been supported by the Comunidad de Madrid multiannual agreement with the Universidad Rey Juan Carlos under the Grant Proyectos I+D para Jóvenes Doctores, Ref. M2731, project NETA-MM, and by Ministerio de Ciencia, Innovación y Universidades (MICINN) Grant PGC2018-096504-B-C33 and PID2021-122154NB-I00. TEP and MJR thanks FEDER/Junta de Andalucía under Grant A-FQM-246-UGR20. TEP also thanks MCIN/AEI 10.13039/501100011033 and FEDER funds under Grant PGC2018-094932-B-I00; and IMAG-María de Maeztu Grant CEX2020-001105-M.
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
Recarte, M.J., Marriaga, M.E. & Pérez, T.E. Bernstein-Type Operators on the Unit Disk. Bull. Malays. Math. Sci. Soc. 46, 127 (2023). https://doi.org/10.1007/s40840-023-01520-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-023-01520-3