Skip to main content

Approximation by bivariate generalized Bernstein–Schurer operators and associated GBS operators


We construct the bivariate form of Bernstein–Schurer operators based on parameter α. We establish the Voronovskaja-type theorem and give an estimate of the order of approximation with the help of Peetre’s K-functional of our newly defined operators. Moreover, we define the associated generalized Boolean sum (shortly, GBS) operators and estimate the rate of convergence by means of mixed modulus of smoothness. Finally, the order of approximation for Bögel differentiable function of our GBS operators is presented.


Schurer [41] presented the modification of the classical Bernstein operators with the help of nonnegative parameter and nowadays called Bernstein–Schurer operators, which are linear and positive. Suppose that \(\mathbb{Z}_{0}^{+}\) and \(C[a,b]\) are used to denote the space of nonnegative integers and continuous functions on \([a,b]\), respectively. Let us take \(\eta \in \mathbb{Z}_{0}^{+}\). The well-known Bernstein–Schurer operators

$$ M_{j,\eta }:C[0,1+\eta ]\longrightarrow C[0,1] $$

are defined as

$$ M_{j,\eta }(g;y)=\sum_{k=0}^{j+\eta }g \biggl(\frac{k}{j} \biggr)M_{j, \eta ,k}(y) $$

for any \(g\in [0,1+\eta ]\), \(j\in \mathbb{N}\), and \(y\in [0,1]\), where

$$ M_{j,\eta ,k}(y)=\binom{j+\eta }{k}y^{k}(1-y)^{j+\eta -k}. $$

When \(\eta =0\) in (1.1), we obtain

$$ M_{j,0}(g;y)=\sum_{k=0}^{j}g \biggl(\frac{k}{j} \biggr)M_{j,0,k}(y)=M_{j}(g;y),\quad \text{say}. $$

In this case, the operators \(M_{j}(g;y)\) and \(M_{j,0,k}(y)\), respectively, are called Bernstein operators and polynomials [11].

Most recently, the generalization of Bernstein operators was demonstrated by the authors Chen et al. [17] by taking the parameter \(\alpha \in \mathbb{R}\). However, they showed that their operators are positive and linear for the choice of \(0\leq \alpha \leq 1\), so they considered this assumption in their work and then studied several approximation properties for their α-Bernstein operators. Thereafter, many researchers, keeping the idea of this meaningful parameter α into account, constructed several operators. For example, Mohiuddine et al. [26] introduced the family of α-Bernstein–Kantorovich operators and associated bivariate form and demonstrated the results regarding the rate of convergence via Peetre’s K-functional together with modulus of continuity. In addition to this, the Stancu type α-Bernstein–Kantorovich, α-Baskakov and their Kantorovich form, and α-Baskakov–Durrmeyer operators were analyzed by Mohiuddine and Özger [32], Aral et al. [6, 20], and Mohiuddine et al. [31], respectively, and for other blending type operators, see [23, 27, 36]. Some other modifications of Bernstein operators have been studied in [2, 15, 16, 25, 33, 34, 37, 42]. Furthermore, Acar and Kajla [3] gave the bivariate α-Bernstein operators and associated generalized Boolean sum operators and then studied the degree of approximation of their operators. For more details on approximation by related operators and statistical approximation, we refer to [1, 4, 10, 14, 21, 2830, 35, 40, 44, 45].

Motivated by the operators defined in (1.1) and α-Bernstein operators, very recently, Ozger et al. [38] defined the α-Bernstein–Schurer operators \(M_{j,\eta }^{\alpha }:C[0,1+\eta ]\longrightarrow C[0,1]\) by

$$ M_{j,\eta }^{\alpha } (g;y )=\sum _{k=0}^{j+\eta }g_{k}M_{j, \eta ,k}^{(\alpha )} (y ) $$


$$ g_{k}=g \biggl(\frac{k}{j} \biggr) $$

for any \(g\in C[0,1+\eta ]\), \(y\in [0,1]\), \(j\in \mathbb{N}\), and \(0\leq \alpha \leq 1\), where

$$ M_{1,\eta ,0}^{(\alpha )} (y )=1-y,\qquad M_{1,\eta ,1}^{( \alpha )} (y )=y $$


$$\begin{aligned} M_{j,\eta ,k}^{(\alpha )} (y )={}& \biggl[y(1-\alpha ) \binom{j+\eta -2}{k}+ (1-y ) (1-\alpha ) \binom{j+\eta -2}{k-2} \\ &{}+y\alpha (1-y )\binom{j+\eta }{k} \biggr]y^{k-1} (1-y )^{j+\eta -k-1} \end{aligned}$$

for \(j\geq 2\). Note that \(M_{j,\eta }^{\alpha } (t-y;y )=\eta y/j\). When \(\eta =0\), the operators \(M_{j,\eta }^{\alpha } (g;y )\) coincide with α-Bernstein operators. In addition to \(\eta =0\), take \(\alpha =1\), then \(M_{j,\eta }^{\alpha } (g;y )\) reduces to \(M_{j}(g;y)\). When only \(\alpha =1\), the operators \(M_{j,\eta }^{\alpha } (g;y )\) reduce to the operators \(M_{j,\eta }(g;y)\). In the same paper, authors investigated global approximation, local approximation, and Voronovskaja-type approximation results of the operators \(M_{j,\eta }^{\alpha } (g;y )\). They also established shape preserving properties such as monotonicity and convexity.

Bivariate generalized Bernstein–Schurer operators

Here, we construct the bivariate form of α-Bernstein–Schurer operators and demonstrate their basic properties.

Throughout the manuscript, we suppose that \(C(I^{2})\) is the space of continuous function on \(I^{2}(=I\times I)=[0,1+\eta ]\times [0,1+\eta ]\), where η in \(\mathbb{Z}_{0}^{+}\). For any \(h\in C(I^{2})\), \((y_{1},y_{2})\in [0,1]\times [0,1]\), \(s_{1},s_{2}\in \mathbb{N}\), and \(\alpha _{1},\alpha _{2}\) in \([0,1]\), we define

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )=\sum_{\ell _{1}=0}^{s_{1}+\eta } \sum _{ \ell _{2}=0}^{s_{2}+\eta }h \biggl(\frac{\ell _{1}}{s_{1}}, \frac{\ell _{2}}{s_{2}} \biggr)M_{s_{1}+\eta ,s_{2}+\eta ,\ell _{1}, \ell _{2}}^{(\alpha _{1},\alpha _{2})} (y_{1},y_{2} ), \end{aligned}$$

where the polynomials \(M_{s_{1}+\eta ,s_{2}+\eta ,\ell _{1},\ell _{2}}^{(\alpha _{1}, \alpha _{2})} (y_{1},y_{2} )=M_{s_{1}+\eta ,\ell _{1}}^{( \alpha _{1})} (y_{1} )M_{s_{2}+\eta ,\ell _{2}}^{(\alpha _{2})} (y_{2} )\) are considered by

$$\begin{aligned} M_{s_{1}+\eta ,s_{2}+\eta ,\ell _{1},\ell _{2}}^{(\alpha _{1},\alpha _{2})} (y_{1},y_{2} )={}& \biggl[ (1-\alpha _{1} )y_{1} \binom{s_{1}+\eta -2}{\ell _{1}}+ (1-\alpha _{1} ) (1-y_{1} )\binom{s_{1}+\eta -2}{\ell _{1}-2} \\ &{}+\alpha _{1}y_{1} (1-y_{1} ) \binom{s_{1}+\eta }{\ell _{1}} \biggr]y_{1}^{\ell _{1}-1} (1-y_{1} )^{s_{1}+\eta -(\ell _{1}+1)} \\ &{}\times \biggl[ (1-\alpha _{2} )y_{2} \binom{s_{2}+\eta -2}{\ell _{2}}+ (1-\alpha _{2} ) (1-y_{2} )\binom{s_{2}+\eta -2}{\ell _{2}-2} \\ &{}+\alpha _{2}y_{2} (1-y_{2} )\binom{s_{2}+\eta }{\ell _{2}} \biggr]y_{2}^{\ell _{2}-1} (1-y_{2} )^{s_{2}+\eta -(\ell _{2}+1)}. \end{aligned}$$

Lemma 2.1

Suppose that \(e_{jk}(y_{1},y_{2})=y_{1}^{j}y_{2}^{k}\) for \((j,k)=\mathbb{N}_{0}\times \mathbb{N}_{0}\) \((\mathbb{N}_{0}=\mathbb{N}\cup \{0\})\) with \(j+k\leq 4\). Then

$$\begin{aligned} &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{00};y_{1},y_{2})=1, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{10};y_{1},y_{2})= \biggl(1+\frac{\eta }{s_{1}} \biggr)y_{1}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{01};y_{1},y_{2})= \biggl(1+\frac{\eta }{s_{2}} \biggr)y_{2}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{20};y_{1},y_{2})=y_{1}^{2}+ \frac{(s_{1} +\eta +2(1-\alpha _{1}))(y_{1}-y_{1}^{2})}{s_{1}^{2}}+ \frac{\eta (\eta +2s_{1})y_{1}^{2}}{s_{1}^{2}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{02};y_{1},y_{2})=y_{2}^{2}+ \frac{(s_{2} +\eta +2(1-\alpha _{2}))(y_{2}-y_{2}^{2})}{s_{2}^{2}}+ \frac{\eta (\eta +2s_{2})y_{2}^{2}}{s_{2}^{2}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{30};y_{1},y_{2})\\ &\quad =y_{1}^{3}+ \frac{s_{1}+\eta +6(1-\alpha _{1})}{s_{1}^{3}}y_{1}+ \bigl(-6\alpha _{1} \eta -6\alpha _{1}s_{1}+3\eta ^{2}+6\eta s_{1}+3s_{1}^{2} \\ &\qquad{}+18\alpha _{1}+3\eta +3s_{1}-18 \bigr) \frac{y_{1}^{2}}{s_{1}^{3}}+ \bigl( \eta ^{3}+3\eta ^{2}s_{1}+3 \eta s_{1}^{2}+6\alpha _{1}\eta +6 \alpha _{1}s_{1} \\ &\qquad{}-3\eta ^{2}-6\eta s_{1}-3s_{1}^{2}-12 \alpha _{1}-4\eta -4s_{1}+12 \bigr)\frac{y_{1}^{3}}{s_{1}^{3}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{03};y_{1},y_{2})\\ &\quad =y_{2}^{3}+ \frac{s_{2}+\eta +6(1-\alpha _{2})}{s_{2}^{3}}y_{2}+ \bigl(-6\alpha _{2} \eta -6\alpha _{2}s_{2}+3\eta ^{2}+6\eta s_{2}+3s_{2}^{2} \\ &\qquad{}+18\alpha _{2}+3\eta +3s_{2}-18 \bigr) \frac{y_{2}^{2}}{s_{2}^{3}}+ \bigl(\eta ^{3}+3\eta ^{2}s_{2}+3 \eta s_{2}^{2}+6\alpha _{2}\eta +6 \alpha _{2}s_{2} \\ &\qquad{}-3\eta ^{2}-6\eta s_{2}-3s_{2}^{2}-12 \alpha _{2}-4\eta -4s_{2}+12 \bigr)\frac{y_{2}^{3}}{s_{2}^{3}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{40};y_{1},y_{2})\\ &\quad =y_{1}^{4}+ \frac{s_{1}+\eta +14(1-\alpha _{1})}{s_{1}^{4}}y_{1}+ \bigl(-36\alpha _{1} \eta -36 \alpha _{1}s_{1}+7\eta ^{2}+14\eta s_{1} \\ &\qquad{}+7s_{1}^{2}+86\alpha _{1}+29\eta +29s_{1}-86 \bigr) \frac{y_{1}^{2}}{s_{1}^{4}}+ \bigl(-12\alpha _{1} \eta ^{2}-24\alpha _{1} \eta s_{1} \\ &\qquad{}-12\alpha _{1}s_{1}^{2}+6\eta ^{3}+18\eta ^{2}s_{1}+18\eta s_{1}^{2}+6s_{1}^{3}+96 \alpha _{1}\eta +96\alpha _{1}s_{1}-6\eta ^{2} \\ &\qquad{}-12\eta s_{1}-6s_{1}^{2}-144\alpha _{1}-84\eta -84s_{1}+144 \bigr) \frac{y_{1}^{3}}{s_{1}^{4}}+ \bigl( \eta ^{4}+4\eta ^{3}s_{1} \\ &\qquad{}+6\eta ^{2}s_{1}^{2}+4\eta s_{1}^{3}+12\alpha _{1}\eta ^{2}+24 \alpha _{1}\eta s_{1}+12\alpha _{1}s_{1}^{2}-6 \eta ^{3}-18\eta ^{2}s_{1} \\ &\qquad{}-18\eta s_{1}^{2}-6s_{1}^{3}-60 \alpha _{1}\eta -60\alpha _{1}s_{1}- \eta ^{2}-2\eta s_{1}-s_{1}^{2}+72\alpha _{1}+54\eta \\ &\qquad{}+54s_{1}-72 \bigr)\frac{y_{1}^{4}}{s_{1}^{4}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}(e_{04};y_{1},y_{2})\\ &\quad =y_{2}^{4}+ \frac{s_{2}+\eta +14(1-\alpha _{2})}{s_{2}^{4}}y_{2}+ \bigl(-36\alpha _{2} \eta -36 \alpha _{2}s_{2}+7\eta ^{2}+14\eta s_{2} \\ &\qquad{}+7s_{2}^{2}+86\alpha _{2}+29\eta +29s_{2}-86 \bigr) \frac{y_{2}^{2}}{s_{2}^{4}}+ \bigl(-12\alpha _{2} \eta ^{2}-24\alpha _{2} \eta s_{2} \\ &\qquad{}-12\alpha _{2}s_{2}^{2}+6\eta ^{3}+18\eta ^{2}s_{2}+18\eta s_{2}^{2}+6s_{2}^{3}+96 \alpha _{2}\eta +96\alpha _{2}s_{2}-6\eta ^{2} \\ &\qquad{}-12\eta s_{2}-6s_{2}^{2}-144\alpha _{2}-84\eta -84s_{2}+144 \bigr) \frac{y_{2}^{3}}{s_{2}^{4}}+ \bigl( \eta ^{4}+4\eta ^{3}s_{2} \\ &\qquad{}+6\eta ^{2}s_{2}^{2}+4\eta s_{2}^{3}+12\alpha _{2}\eta ^{2}+24 \alpha _{2}\eta s_{2}+12\alpha _{2}s_{2}^{2}-6 \eta ^{3}-18\eta ^{2}s_{2} \\ &\qquad{}-18\eta s_{2}^{2}-6s_{2}^{3}-60 \alpha _{2}\eta -60\alpha _{2}s_{2}- \eta ^{2}-2\eta s_{2}-s_{2}^{2}+72\alpha _{2}+54\eta \\ &\qquad{}+54s_{2}-72 \bigr)\frac{y_{2}^{4}}{s_{2}^{4}}. \end{aligned}$$


We shall use Lemma 3 of [38] to prove Lemma 2.1. Clearly, from (2.1), we obtain

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{00};y_{1},y_{2} )=\sum_{\ell _{1}=0}^{s_{1}+\eta } \sum _{ \ell _{2}=0}^{s_{2}+\eta }M_{s_{1}+\eta ,s_{2}+\eta ,\ell _{1},\ell _{2}}^{( \alpha _{1},\alpha _{2})} (y_{1},y_{2} )=1. \end{aligned}$$

Next, we write

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{10};y_{1},y_{2} )&=\sum_{\ell _{1}=0}^{s_{1}+\eta } \sum _{ \ell _{2}=0}^{s_{2}+\eta }\frac{\ell _{1}}{s_{1}}M_{s_{1}+\eta ,s_{2}+ \eta ,\ell _{1},\ell _{2}}^{(\alpha _{1},\alpha _{2})} (y_{1},y_{2} ) \\ &=\sum_{\ell _{1}=0}^{s_{1}+\eta }\frac{\ell _{1}}{s_{1}}M_{s_{1}+ \eta ,\ell _{1}}^{(\alpha _{1})} (y_{1} ) \sum_{ \ell _{2}=0}^{s_{2}+\eta }M_{s_{2}+\eta ,\ell _{2}}^{(\alpha _{2})} (y_{2} ) \\ &=M_{s_{1},\eta }^{\alpha } (e_{1};y_{1} )M_{s_{2},\eta }^{ \alpha } (e_{0};y_{2} ) \\ &= \biggl(1+\frac{\eta }{s_{1}} \biggr)y_{1}. \end{aligned}$$

Similarly, we get

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{01};y_{1},y_{2} )=M_{s_{1},\eta }^{\alpha } (e_{0};y_{1} )M_{s_{2}, \eta }^{\alpha } (e_{1};y_{2} )= \biggl(1+ \frac{\eta }{s_{2}} \biggr)y_{2}. \end{aligned}$$


$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{20};y_{1},y_{2} )&=\sum_{\ell _{1}=0}^{s_{1}+\eta } \biggl( \frac{\ell _{1}}{s_{1}} \biggr)^{2}M_{s_{1}+\eta ,\ell _{1}}^{( \alpha _{1})} (y_{1} ) \sum_{\ell _{2}=0}^{s_{2}+ \eta }M_{s_{2}+\eta ,\ell _{2}}^{(\alpha _{2})} (y_{2} ) \\ &=M_{s_{1},\eta }^{\alpha } (e_{2};y_{1} )M_{s_{2},\eta }^{ \alpha } (e_{0};y_{2} ) \\ &=y_{1}^{2}+ \frac{(s_{1} +\eta +2(1-\alpha _{1}))(y_{1}-y_{1}^{2})}{s_{1}^{2}}+ \frac{\eta (\eta +2s_{1})y_{1}^{2}}{s_{1}^{2}}, \end{aligned}$$

and similarly, we obtain

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{02};y_{1},y_{2} )&=\sum_{\ell _{1}=0}^{s_{1}+\eta }M_{s_{1}+\eta , \ell _{1}}^{(\alpha _{1})} (y_{1} ) \sum_{\ell _{2}=0}^{s_{2}+ \eta } \biggl( \frac{\ell _{2}}{s_{2}} \biggr)^{2}M_{s_{2}+\eta ,\ell _{2}}^{( \alpha _{2})} (y_{2} ) \\ &=M_{s_{1},\eta }^{\alpha } (e_{0};y_{1} )M_{s_{2},\eta }^{ \alpha } (e_{2};y_{2} ) \\ &=y_{2}^{2}+ \frac{(s_{2} +\eta +2(1-\alpha _{2}))(y_{2}-y_{2}^{2})}{s_{2}^{2}}+ \frac{\eta (\eta +2s_{2})y_{2}^{2}}{s_{2}^{2}}. \end{aligned}$$

Similarly, we obtain the last two moments. □

Corollary 2.2

The following identities hold:

$$\begin{aligned} &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (t_{1}-y_{1};y_{1},y_{2} )=\frac{\eta y_{1}}{s_{1}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (t_{2}-y_{2};y_{1},y_{2} )=\frac{\eta y_{2}}{s_{2}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)=\frac{(s_{1}+\eta +2(1-\alpha _{1}))(y_{1}-y_{1}^{2}) +\eta ^{2}y_{1}^{2}}{s_{1}^{2}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)=\frac{(s_{2}+\eta +2(1-\alpha _{2}))(y_{2}-y_{2}^{2})+ \eta ^{2}y_{2}^{2}}{s_{2}^{2}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4};y_{1},y_{2} \bigr)\\ &\quad= \bigl(s_{1}+\eta +14(1-\alpha _{1}) \bigr) \frac{y_{1}}{s_{1}^{4}}+ \bigl(-36\alpha _{1}\eta -12\alpha _{1}s_{1}+7 \eta ^{2} \\ &\qquad{}+10\eta s_{1}+3s_{1}^{2}+86\alpha _{1}+29\eta +5s_{1}-86 \bigr) \frac{y_{1}^{2}}{s_{1}^{4}}+ \bigl(-12 \alpha _{1}\eta ^{2} \\ &\qquad{}+6\eta ^{3}+6\eta ^{2}s_{1}+96\alpha _{1}\eta +24\alpha _{1}s_{1}-6 \eta ^{2}-24\eta s_{1}-6s_{1}^{2} \\ &\qquad{}-144\alpha _{1}-84\eta -12s_{1}+144 \bigr) \frac{y_{1}^{3}}{s_{1}^{4}}+ \bigl(\eta ^{4}+12\alpha _{1}\eta ^{2}-6\eta ^{3} \\ &\qquad{}-6\eta ^{2}s_{1}-60\alpha _{1}\eta -12\alpha _{1}s_{1}-\eta ^{2}+14 \eta s_{1}+3s_{1}^{2}+72 \alpha _{1} \\ &\qquad{}+54\eta +6s_{1}-72 \bigr)\frac{y_{1}^{4}}{s_{1}^{4}}, \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr)\\ &\quad= \bigl(s_{2}+\eta +14(1-\alpha _{2}) \bigr) \frac{y_{2}}{s_{2}^{4}}+ \bigl(-36\alpha _{2}\eta -12\alpha _{2}s_{2}+7 \eta ^{2} \\ &\qquad{}+10\eta s_{2}+3s_{2}^{2}+86\alpha _{2}+29\eta +5s_{2}-86 \bigr) \frac{y_{2}^{2}}{s_{2}^{4}}+ \bigl(-12 \alpha _{2}\eta ^{2} \\ &\qquad{}+6\eta ^{3}+6\eta ^{2}s_{2}+96\alpha _{2}\eta +24\alpha _{2}s_{2}-6 \eta ^{2}-24\eta s_{2}-6s_{2}^{2} \\ &\qquad{}-144\alpha _{2}-84\eta -12s_{2}+144 \bigr) \frac{y_{2}^{3}}{s_{2}^{4}}+ \bigl(\eta ^{4}+12\alpha _{2}\eta ^{2}-6\eta ^{3} \\ &\qquad{}-6\eta ^{2}s_{2}-60\alpha _{2}\eta -12\alpha _{2}s_{2}-\eta ^{2}+14 \eta s_{2}+3s_{2}^{2}+72 \alpha _{2} \\ &\qquad{}+54\eta +6s_{2}-72 \bigr)\frac{y_{2}^{4}}{s_{2}^{4}}. \end{aligned}$$

Order of convergence and Voronovskaja-type results

In this section, we obtain the Voronovskaja-type result and the order of convergence with the help of Peetre’s K-functional for our operators \(M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )\). For \(g\in C (I^{2} )\), the norm of the bivariate function g is considered by

$$ \Vert g \Vert _{C (I^{2} )}=\sup_{(y_{1},y_{2})\in \mathcal{I}^{2} } \bigl\vert g(y_{1},y_{2}) \bigr\vert . $$

Theorem 3.1

For any \(h\in C(I^{2})\), one has

$$ \lim_{s_{1},s_{2}\to \infty } \bigl\Vert M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} (h )-h \bigr\Vert _{C(I_{1}^{2})}=0, $$

where \(I_{1}^{2}=[0,1]\times [0,1]\).


We see that

$$\begin{aligned} &\bigl\Vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{00} )-e_{00} \bigr\Vert _{C(I_{1}^{2})}\to 0, \qquad\bigl\Vert M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} (e_{10} )-e_{10} \bigr\Vert _{C(I_{1}^{2})}\to 0, \\ &\bigl\Vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (e_{01} )-e_{01} \bigr\Vert _{C(I_{1}^{2})}\to 0,\qquad \bigl\Vert M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} (e_{20}+e_{02} )-(e_{20}+e_{02}) \bigr\Vert _{C(I_{1}^{2})} \to 0 \end{aligned}$$

as \(s_{1},s_{2}\to \infty \). Thus (3.1) holds by Volkov’s theorem [43]. □

We will use \(C^{2}(I^{2})\) to denote the space of all functions \(h\in C(I^{2})\) such that \(\frac{\partial ^{j}h}{\partial y_{1}^{j}}, \frac{\partial ^{j}h}{\partial y_{2}^{j}}, \frac{\partial ^{2}h}{\partial y_{1}\,\partial y_{2}}\in C(I^{2})\) \((j=1,2)\) and equipped with the norm

$$ \Vert h \Vert _{C^{2}(I^{2})}= \Vert h \Vert _{C(I^{2})}+\sum _{j=1}^{2} \biggl( \biggl\Vert \frac{\partial ^{j}h}{\partial y_{1}^{j}} \biggr\Vert _{C(I^{2})}+ \biggl\Vert \frac{\partial ^{j}h}{\partial y_{2}^{j}} \biggr\Vert _{C(I^{2})} \biggr)+ \biggl\Vert \frac{\partial ^{2}h}{\partial y_{1}\,\partial y_{2}} \biggr\Vert _{C(I^{2})}\quad \bigl(h\in C \bigl(I^{2} \bigr) \bigr). $$

Theorem 3.2

Suppose that \(h\in C^{2}(I^{2})\). Then

$$\begin{aligned} &\lim_{s\to \infty }s \bigl(M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h(y_{1},y_{2}) \bigr)\\ &\quad=\eta \bigl(y_{1}h_{y_{1}}(y_{1},y_{2})+y_{2}h_{y_{2}}(y_{1},y_{2}) \bigr) \\ &\qquad{}+\frac{y_{1}(1-y_{1})}{2} h_{y_{1},y_{1}}(y_{1},y_{2})+ \frac{y_{2}(1-y_{2})}{2} h_{y_{2},y_{2}}(y_{1},y_{2}) \end{aligned}$$

uniformly on \(I_{1}^{2}\).


Suppose that \(h\in C^{2}(I^{2})\). Then Taylor’s theorem gives

$$\begin{aligned} h(t_{1},t_{2})={}&h(y_{1},y_{2})+h_{y_{1}}(y_{1},y_{2}) (t_{1}-y_{1})+h_{y_{2}}(y_{1},y_{2}) (t_{2}-y_{2}) \\ &{}+\frac{1}{2} \bigl[h_{y_{1}y_{1}}(y_{1},y_{2}) (t_{1}-y_{1})^{2}+2h_{y_{1}y_{2}}(y_{1},y_{2}) (t_{1}-y_{1}) (t_{2}-y_{2}) \\ &{}+h_{y_{2}y_{2}}(y_{1},y_{2}) (t_{2}-y_{2})^{2} \bigr]+\rho (t_{1},t_{2},y_{1},y_{2}) \sqrt{(t_{1}-y_{1})^{4}+(t_{2}-y_{2})^{4}}, \end{aligned}$$

where \(\rho (t_{1},t_{2},y_{1},y_{2})\in C(I^{2})\) and

$$ \rho (t_{1},t_{2},y_{1},y_{2})\to 0 \bigl( (t_{1},t_{2} ) \to (y_{1},y_{2} ) \bigr). $$

Since \(M_{s,s,\eta }^{\alpha _{1},\alpha _{2}}\) is linear so, by operating on (3.2), we obtain

$$\begin{aligned} &M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl(h (t_{1},t_{2} );y_{1},y_{2} \bigr) \\ &\quad=h(y_{1},y_{2})+h_{y_{1}}(y_{1},y_{2})M_{s,s, \eta }^{\alpha _{1},\alpha _{2}} (t_{1}-y_{1};y_{1},y_{2} ) \\ &\qquad{}+h_{y_{2}}(y_{1},y_{2})M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} (t_{2}-y_{2};y_{1},y_{2} ) \\ &\qquad{}+\frac{1}{2} \bigl[h_{y_{1}y_{1}}(y_{1},y_{2})M_{s,s,\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr) \\ &\qquad{}+2h_{y_{1}y_{2}}(y_{1},y_{2})M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} ) (t_{2}-y_{2} );y_{1},y_{2} \bigr) \\ &\qquad{}+h_{y_{2}y_{2}}(y_{1},y_{2})M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2})^{2};y_{1},y_{2} \bigr) ) \bigr] \\ &\qquad{}+M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl(\rho (t_{1},t_{2},y_{1},y_{2}) \sqrt{(t_{1}-y_{1})^{4}+(t_{2}-y_{2})^{4}};y_{1},y_{2} \bigr). \end{aligned}$$

With a view of Corollary 2.2, we find that

$$\begin{aligned} \lim_{s\to \infty }sM_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} ) (t_{2}-y_{2} );y_{1},y_{2} \bigr)={}&\lim_{s\to \infty }s \bigl[M_{s,\eta }^{\alpha _{1}} (t_{1}-y_{1};y_{1} ) \\ &{}\times M_{s,\eta }^{\alpha _{2}} (t_{2}-y_{2};y_{2} ) \bigr] \\ ={}&0 \end{aligned}$$

and also

$$\begin{aligned} &\lim_{s\to \infty }sM_{s,s,\eta }^{\alpha _{1},\alpha _{2}} (t_{1}-y_{1};y_{1},y_{2} )=\eta y_{1},\qquad \lim_{s\to \infty }sM_{s,s,\eta }^{ \alpha _{1},\alpha _{2}} (t_{2}-y_{2};y_{1},y_{2} )=\eta y_{2}, \end{aligned}$$
$$\begin{aligned} \begin{aligned} &\lim_{s\to \infty }sM_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)=y_{1} (1-y_{1} ),\\ & \lim_{s\to \infty }sM_{s,s,\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)=y_{2} (1-y_{2} ). \end{aligned} \end{aligned}$$

It follows from (3.3)–(3.6) that

$$\begin{aligned} &\lim_{s\to \infty }s \bigl(M_{s,s,\eta }^{\alpha _{1}, \alpha _{2}} (h;y_{1},y_{2} )-h(y_{1},y_{2}) \bigr) \\ &\quad =\eta y_{1}h_{y_{1}}(y_{1},y_{2})+ \eta y_{2}h_{y_{2}}(y_{1},y_{2}) \\ &\qquad{} +\frac{1}{2} \bigl[y_{1}(1-y_{1})h_{y_{1}y_{1}}(y_{1},y_{2})+y_{2}(1-y_{2})h_{y_{2}y_{2}}(y_{1},y_{2}) \bigr] \\ &\qquad{} +\lim_{s\to \infty }sM_{s,s,\eta }^{\alpha _{1}, \alpha _{2}} \bigl(\rho (t_{1},t_{2},y_{1},y_{2}) \sqrt{(t_{1}-y_{1})^{4}+(t_{2}-y_{2})^{4}};y_{1},y_{2} \bigr). \end{aligned}$$

By the Cauchy–Schwarz inequality, one gets

$$\begin{aligned} &sM_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl(\rho (t_{1},t_{2},y_{1},y_{2}) \sqrt{(t_{1}-y_{1})^{4}+(t_{2}-y_{2})^{4}};y_{1},y_{2} \bigr) \\ &\quad \leq \sqrt{M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl(\rho ^{2} (t_{1},t_{2},y_{1},y_{2} );y_{1},y_{2} \bigr)}\sqrt{s^{2}M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4}+ (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr)} \\ &\quad =\sqrt{M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( \rho ^{2} (t_{1},t_{2},y_{1},y_{2} );y_{1},y_{2} \bigr)} \\ &\qquad{} \times \sqrt{s^{2} \bigl(M_{s,s,\eta }^{ \alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4};y_{1},y_{2} \bigr)+M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr) \bigr)}. \end{aligned}$$

Since \(\rho (t_{1},t_{2},y_{1},y_{2})\in C(I^{2})\) and \(\lim_{ (t_{1},t_{2} )\to (y_{1},y_{2} )} \rho (t_{1},t_{2},y_{1},y_{2})=0\), we have

$$ \lim_{s\to \infty }M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl(\rho ^{2} (t_{1},t_{2},y_{1},y_{2} );y_{1},y_{2} \bigr)=0 $$

uniformly on \(I_{1}^{2}\) by Theorem 3.1. Corollary 2.2 gives

$$ s^{2}M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4};y_{1},y_{2} \bigr)\longrightarrow 3y_{1}^{2}-6y_{1}^{3}+3y_{1}^{4}\quad (s\longrightarrow \infty ) $$


$$ s^{2}M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr)\longrightarrow 3y_{2}^{2}-6y_{2}^{3}+3y_{2}^{4}\quad (s\longrightarrow \infty ). $$

Employing the last three relations in Eq. (3.8) and then using Eq. (3.7), we obtain

$$\begin{aligned} &\lim_{s\to \infty }s \bigl(M_{s,s,\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr)\\ &\quad= \eta y_{1}h_{y_{1}}(y_{1},y_{2})+ \eta y_{2}h_{y_{2}}(y_{1},y_{2}) \\ &\qquad{}+\frac{1}{2} \bigl[y_{1}(1-y_{1})h_{y_{1}y_{1}}(y_{1},y_{2})+y_{2}(1-y_{2})h_{y_{2}y_{2}}(y_{1},y_{2}) \bigr] \end{aligned}$$

uniformly on \(I_{1}^{2}\). □

For \(h\in C(I^{2})\) and \(\delta >0\), Peetre’s K-functional is given by

$$ K(h;\delta )=\inf_{h_{1}\in C^{2}(I^{2})} \bigl\{ \Vert h-h_{1} \Vert _{C(I^{2})}+\delta \Vert h_{1} \Vert _{C(I^{2})} \bigr\} $$

and the modulus of continuity of h is

$$ \omega (h;\delta )=\sup \bigl\{ \bigl\vert h (u_{1},u_{2} )-h (y_{1},y_{2} ) \bigr\vert : (u_{1},u_{2} ), (y_{1},y_{2} )\in I_{1}^{2},\sqrt{ (u_{1}-y_{1} )^{2}+ (u_{2}-y_{2} )^{2}}\leq \delta \bigr\} . $$

By Theorem 9 (see [18]), there is a constant \(C>0\) such that

$$ K(h;\delta )\leq C\omega _{2}(h;\sqrt{\delta }). $$

In the above relation, \(\omega _{2}(h;\sqrt{\delta })\) is the second-order modulus of continuity of \(h\in C(I^{2})\) (for details, see [5]).

Theorem 3.3

For any \(h\in C(I^{2})\), one has

$$ \bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq 4K \bigl(h;\delta _{s_{1},s_{2}} (y_{1},y_{2} ) \bigr)+\omega \biggl(h; \sqrt{ \biggl( \frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl( \frac{\eta y_{2}}{s_{2}} \biggr)^{2}} \biggr), $$


$$ \delta _{s_{1},s_{2}} (y_{1},y_{2} ) (=\delta )= \frac{1}{4} \biggl(\delta _{s_{1}}^{2}(y_{1})+ \delta _{s_{2}}^{2}(y_{2})+ \biggl( \frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl(\frac{\eta y_{2}}{s_{2}} \biggr)^{2} \biggr)>0 $$


$$ \delta _{s_{1}}^{2}(y_{1})={\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr),\qquad \delta _{s_{2}}^{2}(y_{2})={ \mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr). $$


Assume that \(h_{1}\in C^{2}(I^{2})\). Then, by Taylor’s theorem, we have

$$\begin{aligned} &h_{1} (t_{1},t_{2} )-h_{1} (y_{1},y_{2} )\\ &\quad=\frac{\partial h_{1} (y_{1},y_{2} )}{\partial y_{1}} (t_{1}-y_{1} )+ \int _{y_{1}}^{t_{1}} (t_{1}-u_{1} ) \frac{\partial ^{2}h_{1} (u_{1},y_{2} )}{\partial u_{1}^{2}}\,du_{1} \\ &\qquad{}+\frac{\partial h_{1} (y_{1},y_{2} )}{\partial y_{2}} (t_{2}-y_{2} )+ \int _{y_{2}}^{t_{2}} (t_{2}-u_{2} ) \frac{\partial ^{2}h_{1} (y_{1},u_{2} )}{\partial u_{2}^{2}}\,du_{2}. \end{aligned}$$

We are now defining the auxiliary operators by

$$ {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )=M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h \biggl(\frac{(\eta +s_{1})y_{1}}{s_{1}}, \frac{(\eta +s_{2})y_{2}}{s_{2}} \biggr)+h (y_{1},y_{2} ). $$

Simple calculation together with Corollary 2.2 gives that

$$ {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (t_{1}-y_{1};y_{1},y_{2} )=0 \quad\text{and}\quad {\mathcal{M}}_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} (t_{2}-y_{2};y_{1},y_{2} )=0. $$

By operating \({\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}\) in (3.10) and using the last relation, we obtain

$$\begin{aligned} &{\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h_{1};y_{1},y_{2} )-h_{1} (y_{1},y_{2} )\\ &\quad={\mathcal{M}}_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \biggl( \int _{y_{1}}^{t_{1}} (t_{1}-u_{1} ) \frac{\partial ^{2}h_{1} (u_{1},y_{2} )}{\partial u_{1}^{2}}\,du_{1};y_{1},y_{2} \biggr) \\ &\qquad{}+{\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \biggl( \int _{y_{2}}^{t_{2}} (t_{2}-u_{2} ) \frac{\partial ^{2}h_{1} (y_{1},u_{2} )}{\partial u_{2}^{2}}\,du_{2};y_{1},y_{2} \biggr) \\ &\quad=M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \biggl( \int _{y_{1}}^{t_{1}} (t_{1}-u_{1} ) \frac{\partial ^{2}h_{1} (u_{1},y_{2} )}{\partial u_{1}^{2}}\,du_{1};y_{1},y_{2} \biggr) \\ &\qquad{}- \biggl( \int _{y_{1}}^{\frac{(\eta +s_{1})y_{1}}{s_{1}}} \biggl( \frac{(\eta +s_{1})y_{1}}{s_{1}}-u_{1} \biggr) \frac{\partial ^{2}h_{1} (u_{1},y_{2} )}{\partial u_{1}^{2}}\,du_{1};y_{1},y_{2} \biggr) \\ &\qquad{}+M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \biggl( \int _{y_{2}}^{t_{2}} (t_{2}-u_{2} ) \frac{\partial ^{2}h_{1} (y_{1},u_{2} )}{\partial u_{2}^{2}}\,du_{2};y_{1},y_{2} \biggr) \\ &\qquad{}- \biggl( \int _{y_{2}}^{\frac{(\eta +s_{2})y_{2}}{s_{2}}} \biggl( \frac{(\eta +s_{2})y_{2}}{s_{2}}-u_{2} \biggr) \frac{\partial ^{2}h_{1} (y_{1},u_{2} )}{\partial u_{2}^{2}}\,du_{2};y_{1},y_{2} \biggr), \end{aligned}$$

which yields

$$\begin{aligned} &\bigl\vert {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h_{1};y_{1},y_{2} )-h_{1} (y_{1},y_{2} ) \bigr\vert \\ &\quad\leq \biggl(M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)+ \biggl( \frac{\eta y_{1}}{s_{1}} \biggr)^{2} \biggr) \Vert h_{1} \Vert _{C^{2}(I^{2})} \\ &\qquad{}+ \biggl(M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)+ \biggl( \frac{\eta y_{2}}{s_{2}} \biggr)^{2} \biggr) \Vert h_{1} \Vert _{C^{2}(I^{2})} \\ &\quad= \biggl(\delta _{s_{1}}^{2}(y_{1})+\delta _{s_{2}}^{2}(y_{2})+ \biggl(\frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl( \frac{\eta y_{2}}{s_{2}} \biggr)^{2} \biggr) \Vert h_{1} \Vert _{C^{2}(I^{2})}. \end{aligned}$$

We can see that

$$\begin{aligned} \bigl\vert {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} ) \bigr\vert \leq \bigl\vert M_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} (h;y_{1},y_{2} ) \bigr\vert + \biggl\vert h \biggl( \frac{(\eta +s_{1})y_{1}}{s_{1}}, \frac{(\eta +s_{2})y_{2}}{s_{2}} \biggr) \biggr\vert + \bigl\vert h (y_{1},y_{2} ) \bigr\vert , \end{aligned}$$

which yields \(\vert {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} ) \vert \leq 3\|h\|\) for any \(h\in C(I^{2})\). We therefore write

$$\begin{aligned} &\bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h(y_{1},y_{2}) \bigr\vert \\ &\quad\leq \bigl\vert { \mathcal{M}}_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} (h-h_{1};y_{1},y_{2} ) \bigr\vert + \bigl\vert h(y_{1},y_{2})-h_{1}(y_{1},y_{2}) \bigr\vert \\ &\qquad{}+ \bigl\vert {\mathcal{M}}_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h_{1};y_{1},y_{2} )-h_{1} (y_{1},y_{2} ) \bigr\vert \\ &\qquad{}+ \biggl\vert h \biggl(\frac{(\eta +s_{1})y_{1}}{s_{1}}, \frac{(\eta +s_{2})y_{2}}{s_{2}} \biggr)-h (y_{1},y_{2} ) \biggr\vert \\ &\quad\leq 4 \Vert h-h_{1} \Vert + \biggl(\delta _{s_{1}}^{2}(y_{1})+ \delta _{s_{2}}^{2}(y_{2})+ \biggl(\frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl( \frac{\eta y_{2}}{s_{2}} \biggr)^{2} \biggr) \Vert h_{1} \Vert _{C^{2}(I^{2})} \\ &\qquad{}+\omega \biggl(h;\sqrt{ \biggl(\frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl(\frac{\eta y_{2}}{s_{2}} \biggr)^{2}} \biggr). \end{aligned}$$

Now, taking \(\inf_{h_{1}\in C^{2}(I^{2})}\), we get

$$\begin{aligned} \bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h(y_{1},y_{2}) \bigr\vert \leq 4K \bigl(h;\delta _{s_{1},s_{2}}(y_{1},y_{2}) \bigr)+\omega \biggl(h;\sqrt{ \biggl(\frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl(\frac{\eta y_{2}}{s_{2}} \biggr)^{2}} \biggr), \end{aligned}$$

which completes the proof. □

The following corollary follows from Theorem 3.3 and inequality (3.9).

Corollary 3.4

Let \(h\in C(I^{2})\). Then

$$\begin{aligned} &\bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h(y_{1},y_{2}) \bigr\vert \\ &\quad\leq C\omega _{2} \bigl(h;\sqrt{ \delta _{s_{1},s_{2}}(y_{1},y_{2})} \bigr)+\omega \biggl(h;\sqrt{ \biggl(\frac{\eta y_{1}}{s_{1}} \biggr)^{2}+ \biggl( \frac{\eta y_{2}}{s_{2}} \biggr)^{2}} \biggr). \end{aligned}$$

GBS operators of bivariate generalized Bernstein–Schurer type

For any compact real intervals X and Y, the function \(h:Y_{1}\times Y_{2}\to \mathbb{R}\) is B-bounded (or Bögel bounded) on \(Y_{1}\times Y_{2}\) if there exists \(H>0\) such that

$$ \bigl\vert \Delta _{(y_{1},y_{2})}h [u_{1},u_{2};y_{1},y_{2} ] \bigr\vert \leq H \quad\bigl(\forall (u_{1},u_{2} ), (y_{1},y_{2} )\in Y_{1}\times Y_{2} \bigr), $$

where \(\Delta _{(y_{1},y_{2})}h [u_{1},u_{2};y_{1},y_{2} ]\) is the mixed difference of h defined by

$$ \Delta _{(y_{1},y_{2})}h [u_{1},u_{2};y_{1},y_{2} ]=h (y_{1},y_{2} )-h (y_{1},u_{2} )-h (u_{1},y_{2} )+h (u_{1},u_{2} ). $$

A function h is said to be B-continuous (or Bögel continuous) at a point \((u_{1},u_{2})\) if

$$ \lim_{(y_{1},y_{2})\to (u_{1},u_{2})}\Delta _{(y_{1},y_{2})}h [u_{1},u_{2};y_{1},y_{2} ]=0 $$

for any \((u_{1},u_{2} ), (y_{1},y_{2} )\in Y_{1} \times Y_{2}\) (see [13]).

Given a function \(h\in C(I^{2})\), for any \(s_{1},s_{2}\in \mathbb{N}\), \(\eta \in \mathbb{Z}_{0}^{+}\), and \(\alpha _{1},\alpha _{2}\in [0,1]\), we define the generalized Boolean sum (or GBS) operators of the bivariate form of generalized Bernstein–Schurer operators (2.1) by

$$ \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )=M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl(h (t_{1},y_{2} )+h (y_{1},t_{2} )-h (t_{1},t_{2} );y_{1},y_{2} \bigr),\quad \bigl( (y_{1},y_{2} )\in I_{1}^{2} \bigr), $$

or, equivalently, we write

$$\begin{aligned} \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )={}&\sum_{\ell _{1}=0}^{s_{1}+\eta } \sum_{ \ell _{2}=0}^{s_{2}+\eta }M_{s_{1}+\eta ,s_{2}+\eta ,\ell _{1},\ell _{2}}^{( \alpha _{1},\alpha _{2})} (y_{1},y_{2} ) \\ &{}\times \biggl(h \biggl(\frac{\ell _{1}}{s_{1}},y_{2} \biggr)+h \biggl(y_{1}, \frac{\ell _{2}}{s_{2}} \biggr)-h \biggl(\frac{\ell _{1}}{s_{1}}, \frac{\ell _{2}}{s_{2}} \biggr) \biggr). \end{aligned}$$

Note that \(\Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )\) is well defined on \(C_{B}(I^{2})\) (the space of all B-continuous functions on \(I^{2}\)) into \(C(I^{2})\) and \(h\in C_{B}(I^{2})\) as well as linear and positive.

Recall that the mixed modulus of smoothness of \(h\in C_{B}(I^{2})\) is given by

$$\begin{aligned} \omega _{\mathrm{mixed}} (h;\delta _{1},\delta _{2} )={}&\sup \bigl\{ \bigl\vert \Delta _{(y_{1},y_{2})}h [t_{1},t_{2};y_{1},y_{2} ] \bigr\vert : \vert y_{1}-t_{1} \vert < \delta _{1}, \vert y_{2}-t_{2} \vert < \delta _{2}; \\ &{}(y_{1},y_{2}),(u_{1},u_{2})\in I^{2} \bigr\} \end{aligned}$$

for any \(\delta _{1},\delta _{2}>0\) (see [7, 9]).

A function h is B-differentiable (or Bögel differentiable) at the point \((u_{1},u_{2})\in Y_{1}\times Y_{2}\) if

$$ \lim_{(y_{1},y_{2})\to (u_{1},u_{2})} \frac{\Delta _{(y_{1},y_{2})}f[u_{1},u_{2};y_{1},y_{2}]}{(y_{1}-u_{1})(y_{2}-u_{2})} $$

exists. The limit is called B-differentiable of h at \((u_{1},u_{2})\) and denoted by \(D_{y_{1}y_{2}}h (u_{1},u_{2} )=D_{B} (h;u_{1},u_{2} )\). By \(D_{b}(Y_{1}\times Y_{2})\), we denote the set of all B-differentiable functions.

For more details and related results, we refer to [8, 12, 19, 22, 24, 39].

The following theorem gives an estimate of the rate of convergence of \(\Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}\) to \(h\in C_{B}(I^{2})\).

Theorem 4.1

For any \(h\in C_{B}(I^{2})\), the inequality

$$ \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq 4~\omega _{\mathrm{mixed}} (h;\sqrt{\beta _{s_{1},\eta }},\sqrt{\beta _{s_{2},\eta }} ) $$

holds, where

$$ \beta _{s_{1},\eta }=\frac{3+\eta (1+\eta )}{s_{1}} \quad\textit{and}\quad \beta _{s_{2},\eta }= \frac{3+\eta (1+\eta )}{s_{2}}. $$


It follows from (4.3) and

$$ \omega _{\mathrm{mixed}} (h;\lambda _{2}\delta _{1},\lambda _{2}\delta _{2} )\leq (1+\lambda _{1} ) (1+ \lambda _{2} )\omega _{\mathrm{mixed}} (h;\delta _{1},\delta _{2} ) \quad(\lambda _{1},\lambda _{1}>0) $$


$$\begin{aligned} \bigl\vert \Delta _{(y_{1},y_{2})}h [t_{1},t_{2};y_{1},y_{2} ] \bigr\vert &\leq \omega _{\mathrm{mixed}} \bigl(h; \vert t_{1}-y_{1} \vert , \vert t_{2}-y_{2} \vert \bigr) \\ &\leq \biggl(1+\frac{ \vert t_{1}-y_{1} \vert }{\delta _{1}} \biggr) \biggl(1+ \frac{ \vert t_{2}-y_{2} \vert }{\delta _{2}} \biggr) \omega _{\mathrm{mixed}} (h; \delta _{1},\delta _{2} ) \end{aligned}$$

for all \((y_{1},y_{2}),(t_{1},t_{2})\in I^{2}\) and for any \(\delta _{1},\delta _{2}>0\). Rewrite (4.1) as

$$ h (y_{1},t_{2} )+h (t_{1},y_{2} )-h (t_{1},t_{2} )=h (y_{1},y_{2} )- \Delta _{(y_{1},y_{2})}h [t_{1},t_{2};y_{1},y_{2} ]. $$

Operating \(M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}\) and using the definition of \(\Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}\), we obtain

$$\begin{aligned} \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )=h (y_{1},y_{2} )M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} (e_{00};y_{1},y_{2} )-M_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} \bigl(\Delta _{(y_{1},y_{2})}h [t_{1},t_{2};y_{1},y_{2} ];y_{1},y_{2} \bigr), \end{aligned}$$

which yields

$$\begin{aligned} \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq M_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} \bigl( \bigl\vert \Delta _{(y_{1},y_{2})}h [t_{1},t_{2};y_{1},y_{2} ] \bigr\vert ;y_{1},y_{2} \bigr). \end{aligned}$$

Employing (4.4) and then using the Cauchy–Schwarz inequality, we get

$$\begin{aligned} & \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \\ &\quad \leq \Bigl(M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} (e_{00};y_{1},y_{2} )+\delta _{1}^{-1}\sqrt{M_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)} \\ &\qquad{} +\delta _{2}^{-1}\sqrt{M_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)} \\ &\qquad{} +\delta _{1}^{-1}\delta _{2}^{-1} \sqrt{M_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)} \Bigr)\omega _{\mathrm{mixed}} (h; \delta _{1},\delta _{2} ). \end{aligned}$$

Using Corollary 2.2, we write

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)&\leq \frac{y_{1}(1-y_{1})}{s_{1}}+ \frac{y_{1}(1-y_{1})(\eta +2)}{s_{1}^{2}}+ \frac{\eta ^{2}y_{1}^{2}}{s_{1}^{2}} \\ &\leq\frac{3+\eta (1+\eta )}{s_{1}}=\beta _{s_{1},\eta } \end{aligned}$$


$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)\leq \frac{3+\eta (1+\eta )}{s_{2}}= \beta _{s_{2},\eta }. \end{aligned}$$

We therefore obtain

$$\begin{aligned} \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq {}& \biggl(1+ \frac{1}{\delta _{1}}\sqrt{\frac{3+\eta (1+\eta )}{s_{1}}} \\ &{}+\frac{1}{\delta _{1}\delta _{2}}\sqrt{ \frac{3+\eta (1+\eta )}{s_{1}}}\sqrt{\frac{3+\eta (1+\eta )}{s_{2}}} \\ &{}+\frac{1}{\delta _{2}}\sqrt{\frac{3+\eta (1+\eta )}{s_{2}}} \biggr) \omega _{\mathrm{mixed}} (h;\delta _{1},\delta _{2} ), \end{aligned}$$

which gives the assertion of Theorem 4.1 by choosing \(\delta _{1}=\sqrt{\beta _{s_{1},\eta }}\) and \(\delta _{2}=\sqrt{\beta _{s_{2},\eta }}\). □

Finally, we study the order of approximation for B-differentiable functions of our operators \(\Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}}\).

Theorem 4.2

Suppose that \(h\in D_{b}(I^{2})\) and \(D_{B}h\) in \(B(I^{2})\) (the space of all bounded functions on \(I^{2}\)). Then

$$\begin{aligned} \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq \frac{N}{\sqrt{s_{1}s_{2}}} \biggl\{ \omega _{\mathrm{mixed}} \biggl(D_{B}h;\sqrt{ \frac{1}{s_{1}}},\sqrt{\frac{1}{s_{2}}} \biggr)+ \Vert D_{B}h \Vert _{ \infty } \biggr\} , \end{aligned}$$

where \(N>0\) is a constant.


Let \(h\in D_{b}(I^{2})\). Then, from (see [13], p. 62), we write

$$\begin{aligned} \Delta _{(y_{1},y_{2})}h[t_{1},t_{2};y_{1},y_{2}]=(t_{1}-y_{1}) (t_{2}-y_{2})D_{B}h (\alpha ,\gamma ) \end{aligned}$$

for \(y_{1}<\alpha <t_{1}\), \(y_{2}<\gamma <t_{2}\). Thus, we fairly have

$$\begin{aligned} D_{B}h (\alpha ,\gamma )=\Delta _{(y_{1},y_{2})}D_{B}h ( \alpha ,\gamma )+D_{B}h (\alpha ,y_{2} )+D_{B}h (y_{1},\gamma )-D_{B}h (y_{1},y_{2} ). \end{aligned}$$

Since \(D_{B}h\in B(I^{2})\), we have \(|D_{B}h(y_{1},y_{2})|\leq \|D_{B}h\|_{\infty }\). In view of the last two equalities, we obtain

$$\begin{aligned} & \bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl(\Delta _{(y_{1},y_{2})}h[t_{1},t_{2};y_{1},y_{2}];y_{1},y_{2} \bigr) \bigr\vert \\ &\quad = \bigl\vert M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} ) (t_{2}-y_{2} )D_{B}h ( \alpha ,\gamma );y_{1},y_{2} \bigr) \bigr\vert \\ &\quad\leq M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert \vert t_{2}-y_{2} \vert \bigl\vert \Delta _{y_{1},y_{2}}D_{B}h (\alpha ,\gamma ) \bigr\vert ;y_{1},y_{2} \bigr) \\ &\qquad{} +M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert \vert t_{2}-y_{2} \vert \bigl( \bigl\vert D_{B}h (\alpha ,y_{2} ) \bigr\vert + \bigl\vert D_{B}h (y_{1},\gamma ) \bigr\vert \\ &\qquad{} + \bigl\vert D_{B}h (y_{1},y_{2} ) \bigr\vert \bigr);y_{1},y_{2} \bigr) \\ &\quad \leq M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert \vert t_{2}-y_{2} \vert \omega _{\mathrm{mixed}} \bigl(D_{B}h; \vert \alpha -y_{1} \vert , \vert \gamma -y_{2} \vert \bigr);y_{1},y_{2} \bigr) \\ &\qquad{} +3 \Vert D_{B}h \Vert _{\infty }~M_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert \vert t_{2}-y_{2} \vert ;y_{1},y_{2} \bigr). \end{aligned}$$

Also, we have

$$\begin{aligned} \omega _{\mathrm{mixed}} \bigl(D_{B}h; \vert \alpha -y_{1} \vert , \vert \gamma -y_{2} \vert \bigr)& \leq \omega _{\mathrm{mixed}} \bigl(D_{B}h; \vert t_{1}-y_{1} \vert , \vert t_{2}-y_{2} \vert \bigr) \\ &\leq \biggl(1+\frac{ \vert t_{1}-y_{1} \vert }{\delta _{1}} \biggr) \biggl(1+ \frac{ \vert t_{2}-y_{2} \vert }{\delta _{2}} \biggr) \omega _{\mathrm{mixed}}(h;\delta _{1}, \delta _{2}). \end{aligned}$$

We thus have from (4.5) and (4.6) together with the Cauchy–Schwarz inequality that

$$\begin{aligned} &\bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \\ &\quad= \bigl\vert M_{s_{1},s_{2},\eta }^{ \alpha _{1},\alpha _{2}} \bigl(\Delta _{(y_{1},y_{2})}h[t_{1},t_{2};y_{1},y_{2}];y_{1},y_{2} \bigr) \bigr\vert \\ &\quad\leq \bigl\{ M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert \vert t_{2}-y_{2} \vert ;y_{1},y_{2} \bigr) \\ &\qquad{}+\delta _{1}^{-1}M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} \vert t_{2}-y_{2} \vert ;y_{1},y_{2} \bigr) \\ &\qquad{}+\delta _{2}^{-1}M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( \vert t_{1}-y_{1} \vert (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr) \\ &\qquad{}+\delta _{1}^{-1}\delta _{2}^{-1}M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr) \bigr\} \\ &\qquad{}\times \omega _{\mathrm{mixed}}(D_{B}h;\delta _{1}, \delta _{2}) \\ &\qquad{}+3 \Vert D_{B}h \Vert _{\infty }\sqrt {M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr),} \end{aligned}$$

which gives

$$\begin{aligned} &\bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \\ &\quad\leq \Bigl\{ \sqrt{M_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)} \\ &\qquad{}+\delta _{1}^{-1}\sqrt{M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)} \\ &\qquad{}+\delta _{2}^{-1}\sqrt{M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr)} \\ &\qquad{}+\delta _{1}^{-1}\delta _{2}^{-1}M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr) \Bigr\} \\ &\qquad{}\times \omega _{\mathrm{mixed}}(D_{B}h;\delta _{1}, \delta _{2}) \\ &\qquad{}+3 \Vert D_{B}h \Vert _{\infty }\sqrt {M_{s_{1},s_{2},\eta }^{\alpha _{1}, \alpha _{2}} \bigl( (t_{1}-y_{1} )^{2} (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)}. \end{aligned}$$

By straightforward calculation (from Corollary 2.2), we obtain

$$\begin{aligned} &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2};y_{1},y_{2} \bigr)\leq \frac{3+\eta (1+\eta )}{s_{1}}= \frac{N_{1}}{s_{1}}, \quad\text{say} \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2};y_{1},y_{2} \bigr)\leq \frac{3+\eta (1+\eta )}{s_{2}}= \frac{N_{1}}{s_{2}}, \quad\text{say} \\ &M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{4};y_{1},y_{2} \bigr)\leq \frac{N_{2}}{s_{1}^{2}} \quad\text{and}\quad M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{4};y_{1},y_{2} \bigr)\leq \frac{N_{2}}{s_{2}^{2}} \end{aligned}$$

for some constant \(N_{1},N_{2}>0\). Also

$$\begin{aligned} M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2m} (t_{2}-y_{2} )^{2n};y_{1},y_{2} \bigr)={}&M_{s_{1},s_{2}, \eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{1}-y_{1} )^{2m};y_{1},y_{2} \bigr) \\ &{}\times M_{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} \bigl( (t_{2}-y_{2} )^{2n};y_{1},y_{2} \bigr) \end{aligned}$$

for \((t_{1}-y_{1} ), (t_{2}-y_{2} )\in I^{2}\) and \(m,n=1,2\). From the above and by choosing \(\delta _{1}=\sqrt{\frac{1}{s_{1}}}\) and \(\delta _{2}=\sqrt{\frac{1}{s_{2}}}\), we have

$$\begin{aligned} &\bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \\ &\quad\leq \biggl\{ N_{1}\sqrt{ \frac{1}{s_{1}s_{2}}}+2\sqrt{ \frac{N_{1}N_{2}}{s_{1}s_{2}}}+N_{1}^{2} \sqrt{\frac{1}{s_{1}s_{2}}} \biggr\} \\ &\qquad{}\times \omega _{\mathrm{mixed}} \biggl(D_{B}h;\sqrt{ \frac{1}{s_{1}}},\sqrt{ \frac{1}{s_{2}}} \biggr)+3 \Vert D_{B}h \Vert _{\infty }N_{1}\sqrt{ \frac{1}{s_{1}s_{2}}} \\ &\quad=\frac{1}{\sqrt{s_{1}s_{2}}} \biggl\{ \bigl(N_{1}+2\sqrt{N_{1}N_{2}}+N_{1}^{2} \bigr)\omega _{\mathrm{mixed}} \biggl(D_{B}h;\sqrt{ \frac{1}{s_{1}}},\sqrt{ \frac{1}{s_{2}}} \biggr) \\ &\qquad{}+3N_{1} \Vert D_{B}h \Vert _{\infty } \biggr\} , \end{aligned}$$

which yields

$$\begin{aligned} \bigl\vert \Phi _{s_{1},s_{2},\eta }^{\alpha _{1},\alpha _{2}} (h;y_{1},y_{2} )-h (y_{1},y_{2} ) \bigr\vert \leq \frac{N}{\sqrt{s_{1}s_{2}}} \biggl\{ \omega _{\mathrm{mixed}} \biggl(D_{B}h;\sqrt{ \frac{1}{s_{1}}},\sqrt{\frac{1}{s_{2}}} \biggr)+ \Vert D_{B}h \Vert _{ \infty } \biggr\} , \end{aligned}$$


$$ N=\max \bigl\{ N_{1}+2\sqrt{N_{1}N_{2}}+N_{1}^{2},3N_{1} \bigr\} , $$

which completes the proof. □

Availability of data and materials

Not applicable.


  1. 1.

    Acar, T., Aral, A., Mohiuddine, S.A.: On Kantorovich modification of \((p,q)\)-Baskakov operators. J. Inequal. Appl. 2016, 98 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  2. 2.

    Acar, T., Aral, A., Mohiuddine, S.A.: Approximation by bivariate \((p,q)\)-Bernstein–Kantorovich operators. Iran. J. Sci. Technol. Trans. A, Sci. 42, 655–662 (2018)

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Acar, T., Kajla, A.: Degree of approximation for bivariate generalized Bernstein type operators. Results Math. 73, 79 (2018)

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Acar, T., Mohiuddine, S.A., Mursaleen, M.: Approximation by \((p,q)\)-Baskakov–Durrmeyer–Stancu operators. Complex Anal. Oper. Theory 12, 1453–1468 (2018)

    MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Anastassiou, G.A., Gal, S.G.: Approximation Theory: Moduli of Continuity and Global Smoothness Preservation. Birkhäuser, Boston (2000)

    Book  MATH  Google Scholar 

  6. 6.

    Aral, A., Erbay, H.: Parametric generalization of Baskakov operators. Math. Commun. 24, 119–131 (2019)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Badea, C., Badea, I., Cottin, C., Gonska, H.H.: Notes on the degree of approximation of B-continuous and B-differentiable functions. Approx. Theory Appl. 4, 95–108 (1988)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Badea, C., Badea, I., Gonska, H.H.: A test function theorem and approximation by pseudo polynomials. Bull. Aust. Math. Soc. 34, 53–64 (1986)

    Article  MATH  Google Scholar 

  9. 9.

    Badea, C., Cottin, C.: Korovkin-type theorems for generalized boolean sum operators, approximation theory (Kecskemét, 1900). In: Colloq. Math. Soc. János Bolyai, vol. 58, pp. 51–68. North-Holland, Amsterdam (1990)

    Google Scholar 

  10. 10.

    Belen, C., Mohiuddine, S.A.: Generalized weighted statistical convergence and application. Appl. Math. Comput. 219, 9821–9826 (2013)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Bernstein, S.N.: [Fr]Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités. Commun. Kharkov Math. Soc. 13, 1–2 (1912/1913)

  12. 12.

    Bögel, K.: Mehrdimensionale differentiation von funktionen mehrerer reeller Veränderlichen. J. Reine Angew. Math. 170, 197–217 (1934)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Bögel, K.: Über die mehrdimensionale differentiation. Jahresber. Dtsch. Math.-Ver. 65, 45–71 (1962)

    MATH  Google Scholar 

  14. 14.

    Braha, N.L., Srivastava, H.M., Mohiuddine, S.A.: A Korovkin’s type approximation theorem for periodic functions via the statistical summability of the generalized de la Vallée Poussin mean. Appl. Math. Comput. 228, 162–169 (2014)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Cai, Q.-B.: The Bézier variant of Kantorovich type λ-Bernstein operators. J. Inequal. Appl. 2018, Article ID 90 (2018)

    Article  Google Scholar 

  16. 16.

    Cai, Q.-B., Lian, B.-Y., Zhou, G.: Approximation properties of λ-Bernstein operators. J. Inequal. Appl. 2018, Article ID 61 (2018)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Chen, X., Tan, J., Liu, Z., Xie, J.: Approximation of functions by a new family of generalized Bernstein operators. J. Math. Anal. Appl. 450, 244–261 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Devore, R.A., Lorentz, G.G.: Constructive Approximation. Springer, Berlin (1993)

    Book  MATH  Google Scholar 

  19. 19.

    Dobrescu, E., Matei, I.: The approximation by Bernstein type polynomials of bidimensional continuous functions. An. Univ. Timişoara Ser. Şti. Mat.-Fiz. 4, 85–90 (1966)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    İlarslan, H.G.I., Erbay, H., Aral, A.: Kantorovich-type generalization of parametric Baskakov operators. Math. Methods Appl. Sci. 42, 6580–6587 (2019)

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Kadak, U., Mohiuddine, S.A.: Generalized statistically almost convergence based on the difference operator which includes the \((p,q)\)-gamma function and related approximation theorems. Results Math. 73, 9 (2018)

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Kajla, A., Miclăuş, D.: Blending type approximation by GBS operators of generalized Bernstein–Durrmeyer type. Results Math. 73(1), Article ID 1 (2018)

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Kajla, A., Mohiuddine, S.A., Alotaibi, A., Goyal, M., Singh, K.K.: Approximation by ϑ-Baskakov–Durrmeyer-type hybrid operators. Iran. J. Sci. Technol. Trans. A, Sci. 44, 1111–1118 (2020)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Miclăuş, D.: On the GBS Bernstein–Stancu’s type operators. Creative Math. Inform. 22, 73–80 (2013)

    MathSciNet  MATH  Google Scholar 

  25. 25.

    Mohiuddine, S.A., Acar, T., Alghamdi, M.A.: Genuine modified Bernstein–Durrmeyer operators. J. Inequal. Appl. 2018, 104 (2018)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Mohiuddine, S.A., Acar, T., Alotaibi, A.: Construction of a new family of Bernstein–Kantorovich operators. Math. Methods Appl. Sci. 40, 7749–7759 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Mohiuddine, S.A., Ahmad, N., Özger, F., Alotaibi, A., Hazarika, B.: Approximation by the parametric generalization of Baskakov–Kantorovich operators linking with Stancu operators. Iran. J. Sci. Technol. Trans. A, Sci. (2020).

    Article  Google Scholar 

  28. 28.

    Mohiuddine, S.A., Alamri, B.A.S.: Generalization of equi-statistical convergence via weighted lacunary sequence with associated Korovkin and Voronovskaya type approximation theorems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(3), 1955–1973 (2019)

    MathSciNet  Article  MATH  Google Scholar 

  29. 29.

    Mohiuddine, S.A., Asiri, A., Hazarika, B.: Weighted statistical convergence through difference operator of sequences of fuzzy numbers with application to fuzzy approximation theorems. Int. J. Gen. Syst. 48(5), 492–506 (2019)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Mohiuddine, S.A., Hazarika, B., Alghamdi, M.A.: Ideal relatively uniform convergence with Korovkin and Voronovskaya types approximation theorems. Filomat 33(14), 4549–4560 (2019)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Mohiuddine, S.A., Kajla, A., Mursaleen, M., Alghamdi, M.A.: Blending type approximation by τ-Baskakov–Durrmeyer type hybrid operators. Adv. Differ. Equ. 2020, 467 (2020)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Mohiuddine, S.A., Özger, F.: Approximation of functions by Stancu variant of Bernstein–Kantorovich operators based on shape parameter α. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 70 (2020)

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Mursaleen, M., Ansari, K.J., Khan, A.: Approximation by a Kantorovich type q-Bernstein–Stancu operators. Complex Anal. Oper. Theory 11(1), 85–107 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    Mursaleen, M., Khan, F., Khan, A.: Approximation properties for modified q-Bernstein–Kantorovich operators. Numer. Funct. Anal. Optim. 36(9), 1178–1197 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Nasiruzzaman, M.: Approximation properties by Szász–Mirakjan operators to bivariate functions via Dunkl analogue. Iran. J. Sci. Technol. Trans. A, Sci. (2020).

    Article  Google Scholar 

  36. 36.

    Nasiruzzaman, M., Rao, N., Wazir, S., Kumar, R.: Approximation on parametric extension of Baskakov–Durrmeyer operators on weighted spaces. J. Inequal. Appl. 2019, 103 (2019)

    MathSciNet  Article  Google Scholar 

  37. 37.

    Özger, F.: Weighted statistical approximation properties of univariate and bivariate λ-Kantorovich operators. Filomat 33(11), 3473–3486 (2019)

    MathSciNet  Article  Google Scholar 

  38. 38.

    Özger, F., Srivastava, H.M., Mohiuddine, S.A.: Approximation of functions by a new class of generalized Bernstein–Schurer operators. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 173 (2020)

    MathSciNet  Article  MATH  Google Scholar 

  39. 39.

    Pop, O.T.: Approximation of B-differentiable functions by GBS operators. An. Univ. Oradea, Fasc. Mat. 14, 15–31 (2007)

    MathSciNet  MATH  Google Scholar 

  40. 40.

    Rao, N., Nasiruzamman, M.: A generalized Dunkl type modifications of Phillips operators. J. Inequal. Appl. 2018, 323 (2018)

    MathSciNet  Article  Google Scholar 

  41. 41.

    Schurer, F.: Linear positive operators in approximation theory. Math. Inst. Techn. Univ, Delft Report (1962)

  42. 42.

    Srivastava, H.M., Özger, F., Mohiuddine, S.A.: Construction of Stancu-type Bernstein operators based on Bézier bases with shape parameter λ. Symmetry 11(3), 316 (2019)

    Article  MATH  Google Scholar 

  43. 43.

    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 115, 17–19 (1957)

    MathSciNet  MATH  Google Scholar 

  44. 44.

    Wafi, A., Rao, N.: Szász-gamma operators based on Dunkl analogue. Iran. J. Sci. Technol. Trans. A, Sci. 43(1), 213–223 (2019)

    MathSciNet  Article  MATH  Google Scholar 

  45. 45.

    Wafi, A., Rao, N.: Approximation properties of \((p,q)\)-variant of Stancu–Schurer operators. Bol. Soc. Parana. Mat. 37(4), 137–151 (2019)

    MathSciNet  Article  MATH  Google Scholar 

Download references


This work was supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant no. (D-025-130-1438). The author, therefore, gratefully acknowledges the DSR for technical and financial support.


This work was supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant no. (D-025-130-1438).

Author information




The author read and approved the final manuscript.

Corresponding author

Correspondence to S. A. Mohiuddine.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Mohiuddine, S.A. Approximation by bivariate generalized Bernstein–Schurer operators and associated GBS operators. Adv Differ Equ 2020, 676 (2020).

Download citation


  • 41A10
  • 41A25
  • 41A36


  • α-Bernstein operators
  • Bivariate α-Bernstein–Schurer operators
  • GBS operators
  • Bögel differentiable function
  • Modulus of continuity