Abstract
In this paper, we introduce a bivariate Kantorovich variant of combination of Szász and Chlodowsky operators based on Charlier polynomials. Then, we study local approximation properties for these operators. Also, we estimate the approximation order in terms of Peetre’s K-functional and partial moduli of continuity. Furthermore, we introduce the associated GBS-case (Generalized Boolean Sum) of these operators and study the degree of approximation by means of the Lipschitz class of Bögel continuous functions. Finally, we present some graphical examples to illustrate the rate of convergence of the operators under consideration.
Similar content being viewed by others
1 Introduction
In [1], Varma and Taşdelen constituted a link between orthogonal polynomials and positive linear operators. They considered Szász-type operators including Charlier polynomials. The generating functions for these Charlier polynomials are given by
where \((m)_{0}=1\) and \((m)_{j}=\prod_{k=1}^{j} (m+k-1)\) (\(j\in\mathbb{N}\)).
The Charlier polynomials \(C_{k}^{a}(u)\) for \(k=0,1,2,3,4\) are given by
Further, from equation (1) we note that \(C_{k}^{a}(u)>0\) for all \(u\leq0\) and \(k=0,1,2,\ldots\) .
Varma and Taşdelen defined the following Szász-type operators involving Charlier polynomials
where
Kajla and Agrawal [2–4] discussed some generalizations of Szász-type operators based on Charlier polynomials and obtained some direct results such as Voronovskaja-type asymptotic theorem, weighted approximation properties, and approximation of functions having derivatives of bounded variation. For a detailed account of such kind of results for different types of sequences of linear positive operators and their linear combinations, we refer the readers to a recent book [5].
The classical Bernstein-Chlodowsky polynomials are defined as
where \(p_{n,k} ( \frac{x}{a_{n}} ) = \binom{n}{k} ( \frac {x}{a_{n}} )^{k} ( 1-\frac{x}{a_{n}} )^{n-k}\), \(0\leq x \leq a_{n}\), and \((a_{n})\) is a sequence of positive numbers with \(\lim_{n \to \infty} a_{n} = \infty\) and \(\lim_{n \to\infty}\frac{a_{n}}{n} = 0\). There are many investigations devoted to the problem of approximating continuous functions by classical Bernstein-Chlodowsky polynomials and their generalization.
Agrawal and Ispir in [6] introduced the variant of Szász variant-based Charlier polynomials defined as
where \((b_{m})\) and \((c_{m})\) are increasing sequences of positive numbers such that \(c_{m}\geq1\), \(b_{m} \geq1\), \(\lim_{n\to\infty} (1/c_{m}) = 0\), and \(b_{m}/c_{m} = 1+ O(1/c_{m})\). Also, Agrawal and Ispir [6] introduced bivariate operators by combining the Bernstein-Chlodowsky operators and Szász-Charlier-type operators as follows:
for all \(n,m\in N\), \(f\in C(I_{a_{n}}) \) with \(I_{a_{n}}= \{(x,y):0\leq x\leq a_{n}, y\geq0 \}\) and \(C(I_{a_{n}}) = \{f:I_{a_{n}}\to R^{+}\text{ is continuous}\}\). The weighted approximation properties of bivariate modified Szász operators are studied in [7–9]. Note that the operator \(S_{n,m}^{a}\) is the tensorial product of \(_{x}C_{n}\) and \(_{y}S_{m}^{a}\), that is, \(S_{n,m}^{a} = {}_{x}C_{n} \times{}_{y}S_{m}^{a} \), where
and
In [7], the authors introduced a bivariate Kantorovich variant of the combination of Chlodowsky and Szász-type operators and studied local approximation properties of these operators. Also, they estimated the approximation order in terms of Peetre’s K-functional and partial moduli of continuity.
The rest of the paper is as follows. In Section 2, we construct the bivariate Chlodowsky-Szász-Kantorovich-Charlier-type operators and the convergence of these operators given by means of Korovkin’s theorem. Further, some graphical examples to illustrate the rate of convergence of the operators under consideration are presented. In Section 3, the order of approximation is obtained with help of the partial moduli and continuity and Peetre’s K-functional. In Section 4, we study some convergence properties of these operators in weighted spaces with weighted norm on \(R_{+}^{2}\) by using the weighted Korovkin-type theorems. In the last section of the paper, we introduce the associated GBS-case (Generalized Boolean Sum) of these operators and study the degree of approximation by means of the Lipschitz class of Bögel continuous functions.
2 The construction of the operators
Our goal is to introduce a new bivariate operators associated with a combination of Kantorovich variant of the operators given by (2) as follows: For all \(n,m\in N\) and \(f\in C(I_{a_{n}})\), we define
where \(a>1\), and the sequences \((a_{n})\), \((b_{m})\), and \((c_{m}) \) are defined as before and satisfy the following conditions:
For operators defined by (3), we have
where
and
Next, the degree of approximation of the operator \(C_{n,m}^{a} \) given by (3) will be established in the space of continuous function on the compact set \(I_{de} = [0,d]\times[0,e] \subset I_{a_{n}}\). For \(I_{de} = [0,d]\times[0,e]\), let \(C(I_{de})\), denote the space of all real-valued continuous functions on \(I_{de}\), endowed with the norm \(\| f \|_{C(I_{de})} = \sup_{(x,y)\in I_{de}}|f(x,y)|\). In what follows, let \(e_{ij}:I_{a_{n}}\to R\), \(e_{ij}(x,y) = x^{i}y^{j}\), \((x,y)\in I_{a_{n}}\), \((i,j)\in N^{0} \times N^{0} \) with \(i+j \leq4 \), be the two-dimensional test functions. In the following, we give some lemmas. We observe that there are some slips in the calculation of the moments in Lemma 1 of [6]. We give correct values in the following lemma.
Lemma 2.1
For the operators \(_{x}C^{*}_{n}\) and \(_{y}^{*}S^{a}_{m}\), we have the following inequalities:
-
(i)
\({}_{x}C^{*}_{n}(e_{00};x,y)=1\);
-
(ii)
\({}_{x}C^{*}_{n}(e_{10};x,y)=x\);
-
(iii)
\({}_{x}C^{*}_{n}(e_{20};x,y)= (1-\frac{1}{n} )x^{2}+\frac {a_{n}x}{n}\);
-
(iv)
\({}_{y}^{*}S^{a}_{m}(e_{01};x,y)=\frac{b_{m}y+1}{c_{m}}\);
-
(v)
\({}_{y}^{*}S^{a}_{m}(e_{02};x,y)=\frac{b_{m}^{2}y^{2}}{c_{m}^{2}}+\frac {b_{m}}{c_{m}^{2}} (2+\frac{1}{(a-1)} )y+\frac{1}{c_{m}^{2}}\);
-
(vi)
\({}_{y}^{*}S^{a}_{m}(e_{03};x,y)=\frac{b_{m}^{3}y^{3}}{c_{m}^{3}}+\frac {3b_{m}^{2}}{c_{m}^{3}} (1+\frac{1}{(a-1)} )y^{2}+\frac{b_{m}}{c_{m}^{3}} (3+\frac{3}{(a-1)}+\frac{2}{(a-1)^{2}} )y+\frac{1}{c_{m}^{3}}\);
-
(vii)
\({}_{y}^{*}S^{a}_{m}(e_{04};x,y)=\frac{b_{m}^{4}y^{4}}{c_{m}^{4}}+\frac {2b_{m}^{3}}{c_{m}^{3}} (1+\frac{1}{(a-1)} )y^{3} +\frac{b_{m}^{2}y^{2}}{c_{m}^{4}} (4+\frac{6}{(a-1)}+\frac {11}{(a-1)^{2}} ) +\frac{2b_{m}y}{c_{m}^{4}} (2+\frac{2}{(a-1)}+ \frac{2}{(a-1)^{2}}+\frac {3}{(a-1)^{3}} )+\frac{1}{c_{m}^{4}}\).
Lemma 2.2
The following statements hold;
-
(i)
\(C_{n,m}^{a} (e_{00};x,y)=1\);
-
(ii)
\(C_{n,m}^{a} (e_{10};x,y)=x+\frac{a_{n}}{2n}\);
-
(iii)
\(C_{n,m}^{a} (e_{01};x,y)=\frac{b_{m}y}{c_{m}}+\frac{3}{2c_{m}}\);
-
(iv)
\(C_{n,m}^{a} (e_{20};x,y)= ( 1-\frac{1}{n} ) x^{2} +2\frac{a_{n}}{n}x +\frac{a_{n}^{2}}{3n^{2}}\);
-
(v)
\(C_{n,m}^{a} (e_{30};x,y)=x^{3}+\frac{3a_{n}x^{2}}{n} (1-\frac {x}{a_{n}} )+\frac{a_{n}^{2}x}{n^{2}} (1-\frac{x}{a_{n}} ) (1-\frac{2x}{a_{n}} ) +\frac{3a_{n}}{2n} (\frac{a_{n}^{2}}{3n^{2}}+ (1-\frac{1}{n} )x^{2}+\frac{2a_{n}x}{n} ) + \frac{a_{n}^{2}}{n^{2}} (x+\frac{a_{n}}{2n} )+\frac{1}{4a_{n}^{3}}\);
-
(vi)
\(C_{n,m}^{a}(e_{40};x,y)=x^{4}+6x^{3}\frac{a_{n}}{n} (1-\frac {x}{a_{n}} )+\frac{a_{n}^{2}x^{2}}{n^{2}} (6 (1-\frac{x}{a_{n}^{2}} )^{2} -3\frac{x}{a_{n}} (1-\frac{x}{a_{n}} )+ (1-\frac{x}{a_{n}} ) (1-\frac{2x}{a_{n}} ) )+\frac{x a_{n}^{3}}{n^{3}} ( (1-\frac{x}{a_{n}} )^{2} (1-\frac{2x}{a_{n}} ) -\frac{x}{a_{n}} (1-\frac{x}{a_{n}} ) (1-\frac{2x}{a_{n}} )-\frac{2x}{a_{n}} (1-\frac{x}{a_{n}} )^{2} ) + \frac{2a_{n}}{n} (x^{3}+\frac{3a_{n}x^{2}}{n} (1-\frac{x}{a_{n}} )+\frac{a_{n}^{2}x}{n^{2}} (1-\frac{x}{a_{n}} ) (1-\frac {2x}{a_{n}} ) +\frac{3a_{n}}{2n} (\frac{a_{n}^{2}}{3n^{2}}+ (1-\frac{1}{n} )x^{2}+\frac{2a_{n}x}{n} )+ \frac{a_{n}^{2}}{n^{2}} (x+\frac {a_{n}}{2n} )+\frac{1}{4a_{n}^{3}} ) +\frac{2a_{n}^{2}}{n^{2}} (\frac{a_{n}^{2}}{3n^{2}}+ (1-\frac{1}{n} )x^{2}+\frac{2a_{n}x}{n} )+\frac{a_{n}^{3}}{n^{3}} (x+\frac {a_{n}}{2n} )+\frac{a_{n}^{4}}{5n^{4}}\);
-
(vii)
\(C_{n,m}^{a} (e_{01};x,y)=\frac{b_{m}y}{c_{m}}+\frac{3}{2c_{m}}\);
-
(viii)
\(C_{n,m}^{a} (e_{02};x,y)=\frac{b_{m}^{2}y^{2}}{c_{m}^{2}}+\frac {b_{m}y}{c_{m}^{2}} (3+\frac{1}{(a-1)} )+\frac{7}{3c_{m}^{2}}\);
-
(ix)
\(C_{n,m}^{a} (e_{03};x,y)=\frac{b_{m}^{3}y^{3}}{c_{m}^{3}}+\frac {b_{m}^{2}y^{2}}{c_{m}^{3}} (\frac{9}{2}+\frac{3}{a-1} )+\frac {b_{m}y}{c_{m}^{3}} ( 7+\frac{9}{2(a-1)}+\frac{2}{(a-1)^{2}} ) +\frac {15}{4c_{m}^{3}} \);
-
(x)
\(C_{n,m}^{a} (e_{04};x,y)=\frac{b_{m}^{4}y^{4}}{c_{m}^{4}}+\frac {b_{m}^{3}y^{3}}{c_{m}^{4}} ( 4+\frac{6}{a-1} ) +\frac {b_{m}^{2}y^{2}}{c_{m}^{4}} (12+\frac{12}{a-1}+\frac{11}{(a-1)^{2}} ) +\frac{b_{m}y}{c_{m}^{4}} ( 15+\frac{12}{a-1}+\frac{8}{(a-1)^{2}}+ \frac {6}{(a-1)^{3}} ) +\frac{31}{5c_{m}^{4}}\).
Proof
By Lemma 2.1 we have
and
Again by Lemma 2.1
and
Further,
and
Again by Lemma 2.1
and
□
Remark 2.3
By applying Lemma 2.2 we have
Hence, for all \((x,y) \in I_{a_{n}}\) and sufficiently large n, m, by Lemma 2.2, Remark 2.3, and condition (4) we can write
and
where \(\tau(a)\) and \(\omega(a)\) are constants depending on \(a>1\). For \((x,y)\in I_{de}\), by relations (5) and (7) we may write
where \(\rho(d)\) is a constant depending on d, and \(\gamma(a)\) is a constant depending on \({a>1}\). Further, let \(\delta_{n}(x) = C_{n,m}^{a} ( (e_{10}-x)^{2};x,y )\), \(\delta_{m}(y) = C_{n,m}^{a} ( (e_{01}-y)^{2};x,y )\), and \(\delta_{n,m}(x,y) = ( O ( \frac {a_{n}}{n} ) (\sum_{i=0}^{2}x^{i}) +\frac{\tau(a)}{c_{m}}(\sum_{i=0}^{2}y^{i}) )^{1/2}\).
Definition 2.1
See [10]
For \(f\in C(I_{de})\) and \(\delta>0\), the complete modulus of continuity for the function \(f(x,y)\) is defined by
and its partial modulus of continuity with respect to x and y is given by
Definition 2.2
(See [11]) For \(f\in C(I_{de}) \) and \(\delta>0\), the Peetre’s K-functional and the second modulus of smoothness are defined respectively as
and
where \(\Delta_{t,s}^{2}f(x,y)=\sum_{j=0}^{2}(-1)^{2-j} \binom {2}{j}f(x+jt,y+js)\). Here, \(C^{2}(I_{de})\) is the space of functions f such that \(\frac{\partial^{i} f}{\partial x^{i}}, \frac{\partial^{i} f}{\partial y^{i}} \in C(I_{de})\) (\(i=1,2\)). The norm on the space \(C^{2}(I_{de}) \) is defined as
It is known that ([12], p.192) there exists a positive constant, independent of δ and f, such that
To study the convergence of the sequence \(\{ C_{n,m}^{a} (f;x, y) \} \), we shall use the following Korovkin-type theorem established by Volkov.
Theorem 2.4
If \(f\in C(I_{de})\), then the operators \(C_{n,m}^{a}\) given by (3) converge uniformly to f on the compact set \(I_{de}\) as \(n,m \to \infty\).
Proof
By Lemma 2.2, taking into account the equality (3), we find
and
The proof of uniform convergence is then completed by applying the Volkov theorem [13]. □
Example 1
For \(n = m = 50\) and \(a_{n} = \sqrt{n}\), \(b_{m} = m\), \(c_{m} = m+\frac{1}{\sqrt{m}}\), in Table 1, we have estimated the absolute difference between the operators \(C_{n,m}^{a}(f;x,y)\) defined in (2) and the function \(f(x,y)=xe^{-x^{2}}y^{2} e^{-y}\). Also, we have estimated the absolute difference between the operators \(L^{*}_{n,m}(f;x,y)\) defined by Ispir and Buyukyazici [7] and the function \(f(x,y)=xe^{-x^{2}}y^{2} e^{-y}\).
For \(n = m = 50\) and \(a_{n} = \sqrt{n}\), \(b_{m} = m\), \(c_{m} = m+\frac{1}{\sqrt {m}}\) the convergence of bivariate Chlodowsky-Szász-Kantorovich-Charlier-type operators \(C_{n,m}^{a}(f;x,y) \) to the function \(f(x,y)=xe^{-x^{2}}y^{2} e^{-y}\) is illustrated in Figure 1(a). In Table 2, we have estimated the absolute difference between the operators \(C_{n,m}^{a}(f;x,y)\) defined in (3) and the function \(f(x,y)=xe^{-x^{2}}y^{2} e^{-y}\). Also, we have estimated the absolute difference between the operators \(S^{*}_{n,m}(f;x,y)\) defined in [6] and the function \(f(x,y)=xe^{-x^{2}}y^{2} e^{-y}\). It easily can be seen from Table 2 that the absolute difference \(|C_{n,m}^{a}(f;x,y) - f(x,y)|<|S_{n,m}^{a}(f;x,y) - f(x,y)|\). Thus, the rate of convergence of the operators \(C_{n,m}^{a}\) to the function is faster compared to the operators defined in [14].
Example 2
Let us consider the function \(f:R^{2} \to R\), \(f(x,y) = x^{2} e^{x}\cos(\pi y)\). For \(n=m = 50\) and \(a = 2\), \(a_{n}=\sqrt{n}\), \(b_{m} = m\), \(c_{m}=m+\frac{1}{\sqrt {m}} \), the convergence of bivariate Chlodowsky-Szász-Kantorovich-Charlier-type operators \(C_{n,m}^{a}(f;x,y) \) to the function \(f(x,y)\) is illustrated in Figure 1(b).
3 Degree of approximation
Now, we obtain the rate of convergence of the approximation of the bivariate operators defined in (3) by means of modulus of continuity of functions.
Theorem 3.1
For any \(f\in C(I_{de})\), we have the following inequalities:
and
where \(\delta_{n} = \delta_{n}(x)\), \(\delta_{m} = \delta_{m}(y)\), and \(\delta _{n,m} = \delta_{n,m}(x,y)\).
Proof
From (3) by using Lemma 2.2 and the definition of partial moduli of continuity of a function \(f(x,y)\) we can write
Then, by the Cauchy-Schwarz inequality we have
Finally, choosing \(\delta_{n} = \delta_{n}(x)\) and \(\delta_{m} = \delta _{m}(x)\), we reach the desired result for all \((x,y) \in I_{de}\).
To prove the second part of this theorem, we will use relations (4) and (6) and well-known properties of the modulus of continuity. Thus, we have
Recalling the Cauchy-Schwarz inequality, we obtain
Taking \(\delta_{n,m} = ( O ( \frac{a_{n}}{n} ) (\sum_{i=0}^{2}x^{i}) + \frac{\tau(a)}{c_{m}}(\sum_{i=0}^{2}y^{i}) )^{1/2}\), we obtain the desired result. In what follows, we introduce the Lipschitz class in the bivariate case. For \(0<\gamma_{1} \leq1\) and \(0<\gamma_{2} \leq1\), we define the Lipschitz class
where \((t,s), (x,y)\in I_{de}\). □
Theorem 3.2
Suppose that \(f\in \operatorname{Lip}_{L} (f;\gamma_{1}, \gamma_{2})\). Then, for every \((x,y)\in I_{de}\), we have
where \(\delta_{n}=\delta_{n}(x)\) and \(\delta_{m}=\delta_{m}(y)\).
Proof
Taking into account that \(f\in \operatorname{Lip}_{L}(f;\gamma_{1}, \gamma _{2})\) and using the monotonicity and linearity of operators \(C_{n,m}^{a} (f;x, y) \), we have
For \(({u}_{1},{v}_{1})= (\frac{2}{\gamma_{1}},\frac{2}{1-\gamma _{1}} ) \) and \(({u}_{2},{v}_{2})= (\frac{2}{\gamma_{2}},\frac {2}{1-\gamma_{2}} )\), applying the Hölder inequality, we get
which implies the desired result. □
Theorem 3.3
Let \(f \in C^{1}(I_{de})\). Then, for every \((x,y) \in I_{de}\), we have the inequality
Proof
For a fixed point \((x,y) \in I_{de}\) and for \(f \in C^{1}(I_{de})\), we obtain
Applying the operator defined in (3) to both sides, we obtain
Now, using the sup-norm on \(I_{de}\), we get
and
By using these inequalities we have
Now, applying the Hölder inequality, the equality \(C_{n, m}^{a} (1; x, y)=1\), and Remark 2.3, we get
Analogously,
Combining equations (11)-(13), we obtain
This completes the proof. □
Theorem 3.4
Let \(f\in C(I_{de})\). Consider the operators
Then, for all \(g\in C^{2} (I_{de})\), we have the estimate \(C_{n, m}^{a} (f; x, y) -f(x,y) \leq L \{ \omega_{2} ( f; \sqrt {\chi_{n,m}(x, y)} ) + \min \{ 1, \chi_{n,m }( x, y) \} \| f \|_{C(I_{de})} \} +\omega ( f; \sqrt{(\frac {a_{n}}{2n})^{2}+(\frac{b_{m}y}{c_{m}}+\frac{3}{2c_{m}}-y)^{2}} )\), where \(\chi_{n,m }( x, y)=O ( \frac{a_{n}}{n} ) (x^{2}+x+1)+(\frac {a_{n}}{2n})^{2}+\frac{\tau(a)}{c_{m}} (y^{2}+y+1)+\frac{ ((b_{m}-c_{m})y+3 )^{2}}{c_{m}^{2}}\).
Proof
From (14) by Lemma 2.2 we have \(\hat {C}_{n, m}^{a}(1;x,y)=1\), \(\hat{C}_{n, m}^{a} (u-x; x, y) =0\), and \(\hat{C}_{n, m}^{a} (v-y; x, y) =0\). By Taylor’s expansion for \(g \in C^{2}(I_{de})\), we may write
and applying the operators \(\hat{C}_{n, m}^{a} (f; x, y) \) to both sides of the equality and using Lemma 2.2, we obtain
On the other hand, since
and
and, analogously,
and
we conclude that
Additionally, by (3) and (14) and Lemma 2.2 we have
Hence, in view of (3) and (16), we have
This completes the proof. □
4 Weighted approximation properties
Let \(R_{+}^{2} = \{(x,y): x\geq0, y\geq0\}\), and \(B_{\rho}(R_{+}^{2})\) be the space of all functions such that \(|f(x,y)|\leq M_{f} \rho(x,y)\), where \((x,y)\in R_{+}^{2}\), and \(M_{f}\) is a constant depending on a function f only. By \(C_{\rho}(R_{+}^{2})\) we denote the subspace of all continuous functions belonging to \(B_{\rho}(R_{+}^{2})\). It is clear that \(C_{\rho}(R_{+}^{2})\) is a linear normed space with the norm \(\| f \|_{\rho} = \sup_{(x, y)\in R_{+}^{2}} \frac{|f(x,y)|}{\rho(x,y)}\). Also, let \(C_{\rho}^{*}(R_{+}^{2})\) be the subspace of all functions \(f\in C_{\rho}(R_{+}^{2})\) for which \(\lim_{\sqrt{x^{2}+y^{2}}\to\infty}\frac {f(x,y)}{1+x^{2}+y^{2}}=k_{f}<\infty\).
Lemma 4.1
For the sequence of positive linear operators \(\{ K_{n, m} \}_{n, m\geq1}\) acting from \(C_{\rho}(R_{+}^{2})\) to \(B_{\rho}(R_{+}^{2})\), it is necessary and sufficient that inequality
is fulfilled with some positive constant k.
Theorem 4.2
[[15, 16]] If a sequence of positive linear operators \(K_{n, m}\) acting from \(C_{\rho}(R_{+}^{2})\) to \(B_{\rho}(R_{+}^{2})\) satisfies the conditions
then, for any function \(f \in C_{\rho}^{k}(R_{+}^{2})\)
and there exists a function \(f^{*} \in C_{\rho}(R_{+}^{2})\setminus C_{\rho}^{k}(R_{+}^{2})\) for which
Theorem 4.3
Let \(K_{n, m}\) be a sequence of linear operators acting from \(C_{\rho}(R_{+}^{2})\) to \(B_{\rho}(R_{+}^{2})\), and let \(\rho_{1}(x, y) \geq1\) be a continuous function for which
If \(K_{n, m}\) satisfies the conditions of Theorem 4.2, then
for all \(f \in C_{\rho}(R_{+}^{2})\).
Now, we consider the positive linear operators \(K_{n, m}\) defined by
where \(I_{a_{n}d_{m}} = \{ (x, y):0\leq x \leq a_{n}, 0\leq y \leq d_{m} \}\), and \((d_{m})\) is a sequence such that \(\lim_{m\to\infty }d_{m}=\infty\).
Theorem 4.4
Let \(\rho(x,y)=1+x^{2}+y^{2}\) be a weight function, and \(K_{n, m}(f; x, y)\) be a sequence of linear positive operators defined by (23). Then, for all \(f\in C_{\rho}(R_{+}^{2})\), we have
where \(\rho_{1}(x, y)\) is a continuous function satisfying condition (22).
Proof
First, we show that \(K_{n, m}\) is acting from \(C_{\rho}(R_{+}^{2})\) to \(B_{\rho}(R_{+}^{2})\). Using Lemma 2.2, we can write
where \(\varphi_{n,m} = ( 1- \frac{1}{n} ) + \frac {b_{m}^{2}}{c_{m}^{2}}\) and \(\psi_{n,m} = \frac{b_{m}}{c_{m}^{2}}+2\frac{a_{n}}{n}+\frac {a_{n}^{2}}{3n^{2}}+\frac{10}{3c_{m}^{2}}\). Since \(\lim_{n,m\to\infty}\varphi _{n,m} = 2\) and \(\lim_{n,m\to\infty}\psi_{n,m} = 0\), there exists a positive constant k such that \(\varphi_{n,m}+\psi_{n,m} < k\) for all natural numbers n and m. Hence, we have
From Lemma 4.1 we have \(K_{n,m}:C_{\rho}(R_{+}^{2}) \to B_{\rho}(R_{+}^{2})\). If we can show that the conditions of Theorem 4.2 are satisfied, then the proof of Theorem 4.4 is completed. Using Lemma 2.2, we can obtain (18)-(20). Finally, using Lemma 2.2, we get
and since \(\lim_{n,m\to\infty} \eta_{n,m} =0\), we obtain the desired result. □
Theorem 4.5
Let \(\{K_{n, m}\}\) be a sequence linear positive operators defined by (23). Then, for each function \(f\in C_{\rho}(R_{+}^{2})\), we have
Proof
and
and using Theorem 4.2, we obtain the desired result.
Now we compute the order of approximation of the operators \(C_{n,m}^{a}\) in terms of the weighted modulus of continuity \(\Omega(f;\delta_{n}, \delta_{m}) \) (see [14]) defined by
By the properties of weighted modulus of continuity \(\Omega(f;\delta_{n}, \delta_{m}) \) (see [14], p.577) we have inequality
where \(g(t,x)= ( ( 1+\frac{|t-x|}{\delta_{n}} ) (1+(t-x)^{2} ) )\) and \(g(s,y)= ( ( 1+\frac {|s-y|}{\delta_{m}} ) (1+(s-y)^{2} ) )\). □
Theorem 4.6
For each \(f\in C_{\rho}^{*} (R^{+})\), there exists a positive constant M, independent of n, m, such that
for sufficiently large n,m, where \(\delta_{n} = {\frac{a_{n}}{n}} \) and \(\delta_{m} = {\frac{v(a)}{n}}\).
Proof
By the linearity and monotonicity of \(C_{n,m}^{a}\) applied to inequality (24) we obtain
Using the basic result obtained in [17]
we have
Hence, by conditions (5) and (8) we immediately have
Choosing \(\delta_{n} = \frac{a_{n}}{n}\) and \(\delta_{m} = {\frac{v(a)}{n}}\), there exists a positive constant M, independent of n, m, such that the following inequality is satisfied:
For sufficiently large n, m, we obtain
which implies the desired result. □
5 Approximation in the space of Bögel continuous functions
In this section, we give a generalization of the operators defined in (3) for the B-continuous functions. First, we need to introduce a GBS operator related to bivariate Chlodowsky-Szasz-Kantorovich-Charlier-type operators and investigate some of its smoothness properties. The concepts of B-continuity and B-differentiability were initiated by Bögel [18, 19]. To provide uniform approximation of B-continuous functions, GBS operators are used. For the first time, the term GBS operators were introduced by Badea et al. [20, 21]. A well-known theorem for approximation of B-continuous and B-differentiable functions was presented and proved by Bögel et al. [18]. Recently, Agrawal and Ispir [6] established the degree of approximation for bivariate Chlodowsky-Szász-Charlier-type operators. In [22], GBS operators of Lupas-Durrmeyer type based on Polya distribution are defined. The degree of approximation is also discussed by means of the mixed modulus of smoothness and the mixed K-functional. Further, Agrawal and Sidharth [10] introduced the approximation of Bögel continuous functions by GBS operators and discussed the degree of approximation by means of the Lipschitz class of Bögel continuous functions, mixed modulus of smoothness, and the mixed K-functional. Significant contribution in the area of approximation theory are done by several researchers [12, 23–25]. Inspired by the above work, we propose the GBS operators with the operator defined by relation (3). Now, we recall some basic definitions and notation. The details can be found in [18, 19].
Let I and J be compact real intervals, and \(A=I\times J\). For any \(f:A\to R\) and any \((t,s), (x,y) \in A\), let \(\triangle_{(t,s)} f(x,y)\) be the bivariate mixed difference operators defined as
A function \(f:A\to R\) is called a B-continuous (Bögel-continuous) at \((x,y) \in A \) if
If f is B-continuous at any \((x,y) \in A\), then f is B-continuous on A. We denote by \(C_{b}(A) = \{ f|f:A\to R, f \mbox{ B-bounded on } A\} \), the space of all B-continuous functions on A. A function \(f:A\to R\) is called B-differentiable on \((x,y) \in A \) if the following limit exists and is finite:
We denote by \(D_{b}(A) = \{ f|f:A \to R, f \text{ B-differentiable on } A\} \) the space of all B-differentiable functions.
The function \(f:A\to R\) is B-bounded on D if there exists \(K>0\) such that \(|\triangle_{(t,s)f(x,y)}|\leq K\) for all \((t,s), (x,y) \in A\). Here, if A is a compact subset, then each B-continuous function is a B-bounded function on A. We denote by \(B_{b}(A)\) the space of all B-bounded functions on A equipped with the norm \(\| f \|_{B} =\sup_{(x,y),(t,s) \in A} \vert \triangle_{(t,s)}f(x,y) \vert \).
To evaluate the approximation degree of a B-continuous function using linear positive operators, an important tool is the mixed modulus of continuity. Let \(f\in B_{b}(I_{a_{n}})\). The mixed modulus of continuity of f is the function \(\omega_{B}:[0,\infty)\times[0, \infty)\to R \) defined by
for \((t,s), (x,y)\in A\).
For \(I_{de} = [0,d]\times[0,e]\), let \(C_{b}(I_{de})\) denote the space of all B-continuous functions on \(I_{de}\), and let \(C(I_{de})\) be the space of all ordinary continuous functions on \(I_{de}\).
We define the GBS operators of the \(C_{n,m}^{a}\) given by (3), for any \(f\in C(I_{de})\) and \(n,m \in N\), by
for all \((x,y) \in I_{de}\).
More precisely, for any \(f\in C(I_{de})\), the GBS operator of Chlodowsky-Szász-Kantorovich-Charlier operators is given by
Theorem 5.1
If \(f\in C_{b} (I_{de})\), then for any \((x,y) \in I_{de}\) and any \(m,n\in N\), we have
where \(\delta_{n} = ( \rho(a) \frac{a_{n}}{n} )^{1/2}\) and \(\delta_{m} = ( \frac{\varsigma(a)}{c_{m}} )^{1/2}\).
Proof
By using the properties of \(\omega_{B}\) we obtain
for all \((x,y), (t,s) \in I_{de}\) and \(\delta_{n}, \delta_{m} >0\). Hence, from the monotonicity and linearity of the operators \(S_{n,m}^{a} ( f(t,s); x, y )\), using the Cauchy-Schwarz inequality, we get from (26) that
Using inequalities (9) and (10), we have
from which the desired result is immediate by choosing \(\delta_{n}= ( \rho(a) \frac{a_{n}}{n} )^{1/2} \) and \({\delta_{m}}= ( \frac {\varsigma(a)}{c_{m}} )^{1/2}\). □
In the following, the approximation of Lipschitz class of B-continuous functions. For \(0<\gamma\leq1\), let
where \(r=(u,v)\), \(s=(x,y)\in I_{a_{n}}\), and \(\| r-s\|= \{ (u-x)^{2}+(v-y)^{2} \}^{1/2}\) is the Euclidean norm, be the Lipschitz class of B-continuous functions. The next result gives the rate of convergence of the operator \(S_{n,m}^{a} ( f(t,s); x, y )\) in terms of the Lipschitz class.
Theorem 5.2
If \(f \in \operatorname{Lip}_{L} \gamma\), then for every \((x,y)\in I_{de}\), we have
for \(L>0\) and \(\gamma\in(0,1]\).
Proof
Using the definition of the operators \(S_{n,m}^{a} ( f(t, s); x, y )\), we can write
By the hypothesis we get
For \(u_{1} = \frac{2}{\gamma}\) and \(v_{1} = \frac{2}{2-\gamma}\), applying the Hölder inequality and Remark 2.3, we get
which leads us to the required result. □
Theorem 5.3
If \(f\in D_{b}(I_{de})\) and \(D_{B}f\in B(I_{de})\), then, for each \((x,y)\in I_{de}\), we get
where \(\delta_{n}=\sqrt{\frac{a_{n}}{n}}\), \(\delta_{m}=\sqrt{\frac{\eta (a)}{c_{m}}}\), \(\eta(a)=\max \{\tau(a),\omega(a) \}\), and C is a constant depending on n, m only.
Proof
By our hypothesis,
Clearly,
Since \(D_{B} f\in B(I_{de})\), from the above equalities we have
By the properties of mixed modulus of smoothness \(\omega_{\mathrm{mixed}}\) we can write
Combining (28) and (29) and using the Cauchy-Schwarz inequality, we find
For \((x,y),(t,s)\in I_{de}\) and \(i,j\in\{1,2\}\), we have
Since, by Remark 2.3,
combining (30) and (31) and choosing \(\delta_{n}=\sqrt{\frac {a_{n}}{n}}\), \(\delta_{m}=\sqrt{\frac{\eta(a)}{c_{m}}}\), and \(\eta(a)=\max(\tau (a),\omega(a))\), we get the required result. □
6 Conclussion
The purpose of this paper is to provide a better error estimation of convergence by modification of Szász operators. We have defined a Szasz-Kantorovich-Chlodowsky generalization of these modified operators by using Charlier polynomials. This type of modification enables better error estimation for a certain function in comparison to the Szász-Kantorovich-Chlodowsky operators and Szasz-Chlodowsky-type operators based on Charlier polynomials. We obtained some approximation results via the well-known Korovkin-type theorem. We have also calculated the rate of convergence of operators by means of Peetre’s K-functional and partial moduli of continuity. Lastly, we discussed the degree of approximation for Bögel continuous and Bögel differentiable functions by means of the Lipschitz class and mixed modulus of smoothness.
References
Varma, S, Tasdelen, F: Szász type operators involving Charlier polynomials. Math. Comput. Model. 56(5-6), 118-122 (2012)
Kajla, A, Agrawal, PN: Szász-Durrmeyer type operators based on Charlier polynomials. Appl. Math. Comput. 268, 1001-1014 (2015)
Kajla, A, Agrawal, PN: Approximation properties of Szász type operators based on Charlier polynomials. Turk. J. Math. 39, 990-1003 (2015)
Kajla, A, Agrawal, PN: Szász-Kantorovich type operators based on Charlier polynomials. Kyungpook Math. J. 56(3), 877-897 (2016)
Gupta, V, Tachev, G: Approximation with Positive Linear Operators and Linear Combinations. Springer, Berlin (2017). ISBN 978-3-319-58794-3
Agrawal, PN, İspir, N: Degree of approximation for bivariate Chlodowsky-Szasz-Charlier type operators. Results Math. 69(3), 369-385 (2016)
Ispir, N, Büyükyazıcı, İ: Quantitative estimates for a certain bivariate Chlodowsky-Szasz-Kantorovich type operators. Math. Commun. 21(1), 31-44 (2016)
Gazanfer, AK, Büyükyazıcı, I: Approximation by certain linear positive operators of two variables. Abstr. Appl. Anal. 2014, Article ID 782080 (2014)
Sidharth, M, Acu, AM, Agrawal, PN: Chlodowsky-Szasz-Appell type operators for functions of two variables. Ann. Funct. Anal. (to appear). doi:10.1215/20088752-2017-0009
Agrawal, PN, Ispir, N, Sidharth, M: Quantitative Estimates of Generalized Boolean Sum operators of Blending Type Numer. Funct. Anal. Optim. (accepted). doi:10.1080/01630563.2017.1360347
Ditzian, Z, Totik, V: Moduli of Smoothness. Springer Series in Computational Mathematics, vol. 9. Springer, New York (1987)
Butzer, PL, Berens, H: Semi-groups of Operators and Approximation. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 145. Springer, Berlin (2013)
Volkov, VI: On the convergence of sequences of linear positive operators in the space of continuous functions of two variables. Dokl. Akad. Nauk SSSR (N.S.) 115, 17-19 (1957)
Ispir, N, Atakut, C: Approximation by modified Szasz-Mirakjan operators on weighted spaces. Proc. Indian Acad. Sci. Math. Sci. 112(4), 571-578 (2002)
Gadjiev, A: Positive linear operators in weighted spaces of functions of several variables. Izv. Akad. Nauk Azerb. SSR, Ser. Fiz.-Teh. Mat. Nauk 1, 32-37 (1980) (Russian)
Gadjiev, A, Hacısalihoglu, H: Convergence of the sequences of linear positive operators. Ankara University (1995)
Ispir, N: On modified Baskakov operators on weighted spaces. Turk. J. Math. 26(3), 355-365 (2001)
Bögel, K: Mehrdimensionale differentiation von Funktionen mehrerer veränderlichen. J. Reine Angew. Math. 170, 197-217 (1934)
Bögel, K: Über die mehrdimensionale differentiation. Jahresber. Dtsch. Math.-Ver. 65, 45-71 (1935)
Badea, C, Badea, I, Gonska, H: A test function theorem and approximation by pseudopolynomials. Bull. Aust. Math. Soc. 34(1), 53-64 (1986)
Badea, C, Cottin, C: Korovkin-type theorems for generalized Boolean sum operators. In: Approximation Theory (Kecskemét, 1990). Colloq. Math. Soc. János Bolyai, vol. 58, pp. 51-67. North-Holland, Amsterdam (1991)
Agrawal, PN, Ispir, N, Kajla, A: GBS operators of Lupaş-Durrmeyer type based on Polya distribution. Results Math. 69(3-4), 397-418 (2016)
Badea, C, Badea, I, Gonska, HH: Notes on the degree of approximation of B-continuous and B-differentiable functions. Approx. Theory Appl. 4(3), 95-108 (1988)
Badea, I: Modulul de continuitate in sense Bögel si unele aplicatii in aproximarea printr-un operator Bernšteĭn. Stud. Univ. “Babes-Bolyai”, Ser. Math.-Mech. 18(2), 69-78 (1973) (Romanian)
Bleimann, G, Butzer, P, Hahn, L: A Bernstein-type operator approximating continuous functions on the semi-axis. Proc. K. Ned. Akad. Wet., Ser. A, Indag. Math. 83, 255-262 (1980)
Acknowledgements
The authors are extremely grateful to the reviewers for a very critical reading of the manuscript and making valuable suggestions and comments leading to a better presentation of the paper. The last author is thankful to the Ministry of Human Resource and Development, India, for financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors equally contributed to this work. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Agrawal, P.N., Baxhaku, B. & Chauhan, R. The approximation of bivariate Chlodowsky-Szász-Kantorovich-Charlier-type operators. J Inequal Appl 2017, 195 (2017). https://doi.org/10.1186/s13660-017-1465-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1465-1