Approximation properties of Chlodowsky variant of $(p,q)$ Bernstein-Stancu-Schurer operators

Abstract

In the present paper, we introduce the Chlodowsky variant of $(p,q)$ Bernstein-Stancu-Schurer operators which is a generalization of $(p,q)$ Bernstein-Stancu-Schurer operators. We also discuss its Korovkin-type approximation properties and rate of convergence.

Introduction and preliminaries

In 1912, Bernstein [1] introduced the following sequence of operators $B_n:C[0,1]\to C[0,1]$ defined for any $n\in \mathbb{N}$ and for any function $f\in C[0,1]$:

$$B_n(f;x)=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)x^k{(1-x)}^{n-k}f\left(\frac{k}{n}\right),x\in [0,1].$$ 1.1

Later various generalizations of these operators were discovered. It has been proved as a powerful tool for numerical analysis, computer aided geometric design and solutions of differential equations. In last two decades, the applications of q-calculus has played an important role in the area of approximation theory, number theory and theoretical physics. In 1987, Lupaş [2] and in 1997, Phillips [3] introduced a sequence of Bernstein polynomials based on q-integers and investigated its approximation properties. Several researchers obtained various other generalizations of operators based on q-calculus. For any function $f\in C[0,1]$ the q-form of Bernstein operator is described by Lupaş [2] as

$$L_{n,q}(f;x)=\sum _{k=0}^n\frac{{\left[\begin{array}{c}n\\ k\end{array}\right]}_q{q}^{k(k-1)/2}{x}^k{(1-x)}^{n-k}}{{\prod }_{j=0}^{n-1}(1-x+q^{j}x)}f\left(\frac{{[k]}_q}{{[n]}_q}\right),x\in [0,1].$$ 1.2

In 1932, Chlodowsky [4] presented a generalization of Bernstein polynomials on an unbounded set, known as Bernstein-Chlodowsky polynomials,

$$B_n(f,x)=\sum _{k=0}^{n}f\left(\frac{k}{n}{b}_n\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(\frac{x}{b_n}\right)}^k{(1-\frac{x}{b_n})}^{n-k},0\le x\le b_n,$$ 1.3

where $b_n$ is an increasing sequence of positive terms with the properties $b_n\to \mathrm{\infty }$ and $\frac{b_n}{n}\to 0$ as $n\to \mathrm{\infty }$.

In 2008, Karsli and Gupta [5] expressed the q-analogue of Bernstein-Chlodowsky polynomials by

$$C_n(f;q;x)=\sum _{k=0}^n{\left[\begin{array}{c}n\\ k\end{array}\right]}_q{\left(\frac{x}{b_n}\right)}^k\prod _{s=0}^{n-k-1}(1-q^s\frac{x}{b_n})f\left(\frac{{[k]}_q}{{[n]}_q}{b}_n\right),0\le x\le b_n,$$ 1.4

where $b_n$ is an increasing sequence of positive values, with the properties $b_n\to \mathrm{\infty }$ and $\frac{b_n}{{[n]}_q}\to 0$ as $n\to \mathrm{\infty }$.

Recently, Mursaleen et al. [6–9] proposed and analyzed approximation properties for $(p,q)$ analogue of Bernstein operators, Bernstein-Stancu operators and Bernstein-Schurer operators. Besides this, we also refer to some recent related work on this topic: e.g. [10–20].

In 2015, Mursleen et al. [7], investigated the $(p,q)$ form of the Bernstein-Stancu operator, which is given by

$$S_n^{(\alpha ,\beta )}(f;x,p,q)=\frac{1}{p^{\frac{n(n-1)}{2}}}\sum _{k=0}^n{\left[\begin{array}{c}n\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{x}^k\prod _{s=0}^{n-k-1}(p^s-q^{s}x)f\left(\frac{p^{n-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }\right),$$ 1.5

where $\alpha ,\beta$ are non-negative integers and $f\in C[0,1]$, $x\in [0,1]$ and $0\le \alpha \le \beta$.

For the first few moments, we get the following lemma.

Lemma 1

See [7]

For the operators $S_n^{(\alpha ,\beta )}$, we have

1. $S_n^{(\alpha ,\beta )}(1;x,p,q)=1$,

2. $S_n^{(\alpha ,\beta )}(t;x,p,q)=\frac{{[n]}_{p,q}x+\alpha }{{[n]}_{p,q}+\beta }$,

3. $S_n^{(\alpha ,\beta )}(t^2;x,p,q)=\frac{1}{{({[n]}_{p,q}+\beta )}^2}(q{[n]}_{p,q}{[n-1]}_{p,q}{x}^2+{[n]}_{p,q}(2\alpha +p^{n-1})x+{\alpha }^2)$.

Construction of the operators

Considering the revised form of $(p,q)$ analogue of Bernstein operators [7], we construct the Chlodowsky variant of $(p,q)$ Bernstein-Stancu-Schurer operators as

$$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}(f;x,p,q)=& \frac{1}{p^{\frac{(n+m)(n+m-1)}{2}}}\sum _{k=0}^{n+m}{\left[\begin{array}{c}n+m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{n+m-k-1}(p^s-q^s\frac{x}{b_n})f\left(\frac{p^{n+m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right),\end{array}$$ 2.1

where $n\in \mathbb{N}$, $m,\alpha ,\beta \in {\mathbb{N}}_0$, with $\frac{\alpha }{\beta }\approx 1$, $0\le x\le b_n$, $0<q<p\le 1$ and $b_n$ is an increasing sequence of positive terms with the properties $b_n\to \mathrm{\infty }$ and $\frac{b_n}{{[n]}_{p,q}}\to 0$ as $n\to \mathrm{\infty }$. Evidently, $C_{n,m}^{(\alpha ,\beta )}$ is a linear and positive operator. Consider the case if $p,q\to 1$ and $m=0$ in (2.1), then it will reduce to the Stancu-Chlodowsky polynomials [21].

Let us assume the number $n+m=n_m$, we will use this notation throughout in this paper. Next, we have obtained the following lemma using simple calculations.

Lemma 2

Let $C_{n,m}^{(\alpha ,\beta )}(f;x,p,q)$ be given by (2.1). The first few moments of the operators are

• (i) $C_{n,m}^{(\alpha ,\beta )}(1;x,p,q)=1$,
• (ii) $C_{n,m}^{(\alpha ,\beta )}(t;x,p,q)=\frac{{[n_m]}_{p,q}x+\alpha b_n}{{[n]}_{p,q}+\beta }$,
• (iii) $C_{n,m}^{(\alpha ,\beta )}(t^2;x,p,q)=\frac{1}{{({[n]}_{p,q}+\beta )}^2}(q{[n_m]}_{p,q}{[n_m-1]}_{p,q}{x}^2+{[n_m]}_{p,q}(2\alpha +p^{n_m-1})b_{n}x+{\alpha }^2{b}_n^2)$,
• (iv) $C_{n,m}^{(\alpha ,\beta )}((t-x);x,p,q)=(\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1)x+\frac{\alpha b_n}{{[n]}_{p,q}+\beta }$,
• (v)
  $$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p,q)=& (1-2\frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}+\frac{q{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2})x^2\\ & +(\frac{(2\alpha +p^{n_m-1}){[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}-2\alpha )\frac{b_n}{({[n]}_{p,q}+\beta )}x\\ & +\frac{{\alpha }^2{b}_n^2}{{({[n]}_{p,q}+\beta )}^2}.\end{array}$$

Proof

(i)

$$C_{n,m}^{(\alpha ,\beta )}(1;x,p,q)=\frac{1}{p^{\frac{(n_m)(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\prod _{s=0}^{n_m-k-1}(p^s-q^s\frac{x}{b_n})=1.$$

(ii)

$$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}(t;x,p,q)=& \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)\\ =& \frac{{[n_m]}_{p,q}}{p^{\frac{n_m(n_m-3)}{2}}({[n]}_{p,q}+\beta )}\sum _{k=0}^{n_m-1}{\left[\begin{array}{c}{n}_m-1\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k+1)}{2}}{\left(\frac{x}{b_n}\right)}^{k+1}\\ & \times \prod _{s=0}^{(n_m-k-2)}(p^s-q^s\frac{x}{b_n})\left(\frac{b_n}{p^{k+1}}\right)\\ & +\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\left(\frac{\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)\\ =& \frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}x\frac{1}{p^{\frac{(n_m-1)(n_m-2)}{2}}}\sum _{k=0}^{n_m-1}{\left[\begin{array}{c}{n}_m-1\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{n_m-k-2}(p^s-q^s\frac{x}{b_n})+\frac{\alpha b_n}{({[n]}_{p,q}+\beta )}\\ =& \frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}x+\frac{\alpha b_n}{({[n]}_{p,q}+\beta )}.\end{array}$$

(iii)

$$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}(t^2;x,p,q)=& \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)}^2\\ =& \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\frac{1}{{({[n]}_{p,q}+\beta )}^2}[p^{2n_m}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\frac{b_n^2{[k]}_{p,q}^2}{p^{2k}}\\ & +2\alpha p^{n_m}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\frac{b_n^2{[k]}_{p,q}}{p^k}\\ & +{\alpha }^2\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})b_n^2]\\ =& \frac{1}{{({[n]}_{p,q}+\beta )}^2}[\frac{p^{2n_m}}{p^{\frac{n_m(n_m-1)}{2}}}{[n_m]}_{p,q}{b}_n^2\sum _{k=0}^{n_m-1}{\left[\begin{array}{c}{n}_m-1\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k+1)}{2}}{\left(\frac{x}{b_n}\right)}^{k+1}\\ & \times \prod _{s=0}^{(n_m-k-2)}(p^s-q^s\frac{x}{b_n})\frac{{[k+1]}_{p,q}}{p^{2(k+1)}}\\ & +\frac{p^{n_m}}{p^{\frac{n_m(n_m-1)}{2}}}2\alpha {[n_m]}_{p,q}{b}_n^2\sum _{k=0}^{n_m-1}{\left[\begin{array}{c}{n}_m-1\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k+1)}{2}}{\left(\frac{x}{b_n}\right)}^{k+1}\\ & \times \prod _{s=0}^{(n_m-k-2)}(p^s-q^s\frac{x}{b_n})\frac{1}{p^{(k+1)}}+{\alpha }^2{b}_n^2].\end{array}$$

Now using ${[k+1]}_{p,q}=p^k+q{[k]}_{p,q}$, we will obtain the result.

Using the linear property of operators, we have

$$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}((t-x);x,p,q)& =C_{n,m}^{(\alpha ,\beta )}(t;x,p,q)-x{C}_{n,m}^{(\alpha ,\beta )}(1;x,p,q)\\ & =(\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1)x+\frac{\alpha b_n}{{[n]}_{p,q}+\beta }.\end{array}$$

Hence, we get (iv).

Similar calculations give

$$C_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p,q)=C_{n,m}^{(\alpha ,\beta )}(t^2;x,p,q)-2x{C}_{n,m}^{(\alpha ,\beta )}(t;x,p,q)+x^2{C}_{n,m}^{(\alpha ,\beta )}(1;x,p,q).$$

Substituting the results of (i), (ii) and (iii), we prove the result (v). □

Lemma 3

For every fixed $0<q<p\le 1$, we have

$$\frac{{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2}q-2\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }+1\le {\left(\frac{(p^n+q^n){[m]}_{p,q}-\beta }{{[n]}_{p,q}+\beta }\right)}^2.$$

Proof

$$\begin{array}{rcl}{[n_m-1]}_{p,q}q& =& \frac{p^{n+m-1}-q^{n+m-1}}{p-q}q\\ & =& \frac{p^{n+m-1}q-q^{n+m}}{p-q}\\ & \le & \frac{p^{n+m}-q^{n+m}}{p-q}(\text{since }q<p\Rightarrow p^{n+m-1}q<p^{n+m})\\ & =& {[n_m]}_{p,q}.\end{array}$$

Thus, ${[n_m]}_{p,q}{[n_m-1]}_{p,q}q\le {[n_m]}_{p,q}^2$, and we get

$$\begin{array}{c}\frac{{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2}q-2\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }+1\\ \le {(\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1)}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{\frac{p^{n+m}-q^{n+m}}{p-q}-\frac{p^n-q^n}{p-q}-\beta \}}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{\frac{p^n{p}^m-q^n{q}^m-p^n+q^n}{p-q}-\beta \}}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{\frac{p^n{p}^m-p^n{q}^m+p^m{q}^n-q^n{q}^m+p^n{q}^m-p^n+q^n-p^m{q}^n}{p-q}-\beta \}}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{\frac{p^n(p^m-q^m)+q^n(p^m-q^m)+p^n(q^m-1)+q^n(1-p^m)}{p-q}-\beta \}}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{\frac{(p^n+q^n)(p^m-q^m)+q^n(1-p^m)-p^n(1-q^m)}{p-q}-\beta \}}^2\\ =\frac{1}{{({[n]}_{p,q}+\beta )}^2}{\{(p^n+q^n){[m]}_{p,q}-\beta -\frac{p^n(1-q^m)-q^n(1-p^m)}{p-q}\}}^2\\ \le \frac{{((p^n+q^n){[m]}_{p,q}-\beta )}^2}{{({[n]}_{p,q}+\beta )}^2}\text{since }0<q<p\le 1.\end{array}$$

We can conclude the last inequality using the following statements:

Since $0<q<p\le 1$, we have $0<q^n<p^n\le 1$ and $0<(1-p^m)<(1-q^m)\le 1$, hence $q^n(1-p^m)<p^n(1-q^m)$ i.e. $p^n(1-q^m)-q^n(1-p^m)>0$. □

Remark 1

As a result of Lemma 2 and 3, we have

$$\begin{array}{rl}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p,q)\le & \left(\frac{{((p^n+q^n){[m]}_{p,q}-\beta )}^2}{{({[n]}_{p,q}+\beta )}^2}\right)x^2+\left(\frac{{[n_m]}_{p,q}(2\alpha +p^{n-1})}{{({[n]}_{p,q}+\beta )}^2}\right)b_{n}x\\ & +\frac{{\alpha }^2{b}_n^2}{{({[n]}_{p,q}+\beta )}^2}.\end{array}$$

Results and discussion

In this paper we have constructed and investigated a Chlodowsky variant of $(p,q)$ Bernstein-Stancu-Schurer operator. We have showed that our modified operators have a better error estimation than the classical ones. We have also obtained some approximation results with the help of the well-known Korovkin theorem and the weighted Korovkin theorem for these operators. Furthermore, we studied convergence properties in terms of the modulus of continuity for functions in Lipschitz class. Next we have also obtained the Voronovskaja-type result for these operators.

Korovkin-type approximation theorem

Assume $C_{\rho }$ is the space of all continuous functions f such that

$$|f(x)|\le M\rho (x),a<x<b,$$

and $\rho (x)$ is the weight function.

Then $C_{\rho }$ is a Banach space with the norm

$${\parallel f\parallel }_{\rho }=\underset{a<x<b}{sup}\frac{|f(x)|}{\rho (x)}.$$

Consider the subspace $C_{\rho }^0:=\{f\in C_{\rho }:{lim}_{|x|\to \mathrm{\infty }}\frac{|f(x)|}{\rho (x)}\text{ is finite}\}$.

The subsequent Theorem 1 is a Korovkin approximation theorem in weighted space.

Theorem 1

See [22]

There exists a sequence of positive linear operators $U_n$, acting from $C_{\rho }^0$ to $C_{\rho }^0$, satisfying the conditions

1. ${lim}_{n\to \mathrm{\infty }}{\parallel U_n(1;\cdot )-1\parallel }_{\rho }=0$,

2. ${lim}_{n\to \mathrm{\infty }}{\parallel U_n(\varphi ;\cdot )-\varphi \parallel }_{\rho }=0$,

3. ${lim}_{n\to \mathrm{\infty }}{\parallel U_n({\varphi }^2;\cdot )-{\varphi }^2\parallel }_{\rho }=0$,

where $\varphi (x)$ is a continuous and increasing function on $(-\mathrm{\infty },\mathrm{\infty })$ such that ${lim}_{x\to \pm \mathrm{\infty }}\varphi (x)=\pm \mathrm{\infty }$ and $\rho (x)=1+{\varphi }^2$, and there exists a function $f^{\ast }\in C_{\rho }^0$ for which

$$\underset{n\to \mathrm{\infty }}{lim}{\parallel U_{n}f-f\parallel }_{\rho }=0.$$

Consider the weight function $\rho (x)=1+x^2$ and operator (see [23])

$$U_{n,m}^{\alpha ,\beta }(f;x,p,q)=\{\begin{array}{cc}{C}_{n,m}^{\alpha ,\beta }(f;x,p,q)\hfill & \text{if }x\in [0,b_n],\hfill \\ f(x)\hfill & \text{if }x\notin [0,b_n].\hfill \end{array}$$

For $f\in C_{1+x^2}$, we have

$$\begin{array}{rl}{\parallel U_{n,m}^{\alpha ,\beta }(f;\cdot ,p,q)\parallel }_{1+x^2}& \le \underset{x\in [0,b_n]}{sup}\frac{|C_{n,m}^{\alpha ,\beta }(f;x,p,q)|}{1+x^2}+\underset{x\in (b_n,\mathrm{\infty })}{sup}\frac{|f(x)|}{1+x^2}\\ & \le {\parallel f\parallel }_{1+x^2}[\underset{x\in [0,b_n)}{sup}\frac{|C_{n,m}^{\alpha ,\beta }(1+t^2;x,p,q)|}{1+x^2}+1].\end{array}$$

Now, using Lemma 2 we will obtain

$${\parallel U_{n,m}^{\alpha ,\beta }(f;\cdot ,p,q)\parallel }_{1+x^2}\le M{\parallel f\parallel }_{1+x^2},$$ 3.1

which means that $U_{n,m}^{\alpha ,\beta }(f;\cdot ,p,q)$ is bounded operator, henceforth a continuous operator too. Since ‘An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator.’

Now, consider the sequences $(p_n)$ and $(q_n)$ for $0<q_n<p_n\le 1$ satisfying

$$\begin{array}{c}{lim}_{n\to \mathrm{\infty }}{p}_n={lim}_{n\to \mathrm{\infty }}{q}_n=1,\\ {lim}_{n\to \mathrm{\infty }}{p}_n^n=a,{lim}_{n\to \mathrm{\infty }}{q}_n^n=c\text{where }0<a,c<1,a\ne c\text{ hence }{lim}_{n\to \mathrm{\infty }}{[n]}_{p_n,q_n}=\mathrm{\infty }.\end{array}$$ 3.2

Theorem 2

For all $f\in C_{1+x^2}^0$, $0\le x\le b_n$, we have

$$\underset{n\to \mathrm{\infty }}{lim}{\parallel U_{n,m}^{\alpha ,\beta }(f;\cdot ,p_n,q_n)-f(\cdot )\parallel }_{1+x^2}=0$$ 3.3

provided that $p:={(p)}_n$, $q:={(q)}_n$ with $0<q_n<p_n\le 1$ satisfying (3.2) and ${lim}_{n\to \mathrm{\infty }}\frac{b_n}{{[n]}_{p_n,q_n}}=0$.

Proof

Using the results of Theorem 1 and Lemma 2(i), (ii) and (iii), we will obtain the following assessments, respectively:

$$\underset{0\le x\le b_n}{sup}\frac{|U_{n,m}^{\alpha ,\beta }(1;x,p_n,q_n)-1|}{1+x^2}=0,$$ 3.4

$$\begin{array}{rl}\underset{0\le x\le b_n}{sup}\frac{|U_{n,m}^{\alpha ,\beta }(t;x,p_n,q_n)-x|}{1+x^2}& \le \underset{0\le x\le b_n}{sup}\frac{|\frac{{[n_m]}_{p_n,q_n}}{{[n]}_{p_n,q_n}+\beta }-1|x+\frac{\alpha b_n}{{[n]}_{p_n,q_n}+\beta }}{1+x^2}\\ & \le |\frac{{[n_m]}_{p_n,q_n}}{{[n]}_{p_n,q_n}+\beta }-1|+\frac{\alpha b_n}{{[n]}_{p_n,q_n}+\beta }\to 0,\end{array}$$ 3.5

and

$$\begin{array}{rl}& \underset{0\le x\le b_n}{sup}\frac{|U_{n,m}^{\alpha ,\beta }(t^2;x,p_n,q_n)-x^2|}{1+x^2}\\ & \le \underset{0\le x\le b_n}{sup}\frac{1}{1+x^2}|\frac{(q_n{[n_m]}_{p_n,q_n}{[n_m-1]}_{p_n,q_n}{x}^2+{[n_m]}_{p_n,q_n}(2\alpha +p_n^{n_m-1})b_{n}x+{\alpha }^2{b}_n^2)}{{({[n]}_{p_n,q_n}+\beta )}^2}-x^2|\\ & \le \left\{\right|\frac{q_n{[n_m]}_{p_n,q_n}{[n_m-1]}_{p_n,q_n}}{{({[n]}_{p_n,q_n}+\beta )}^2}-1|+|\frac{{[n_m]}_{p_n,q_n}(2\alpha +p_n^{n_m-1})}{{({[n]}_{p_n,q_n}+\beta )}^2}|\frac{b_n}{2}+\frac{{\alpha }^2}{{({[n]}_{p_n,q_n}+\beta )}^2}\}\\ & \to 0,\end{array}$$ 3.6

whenever $n\to \mathrm{\infty }$.

Since the weight function is invariant w.r.t. positive and negative values of x, and conditions (3.4)-(3.6) are true for all $t\in \mathbb{R}$, we can use Theorem 1 and get the desired result (3.3), which implies that the operator sequence $C_{n,m}^{\alpha ,\beta }$ converges uniformly to any continuous function in weighted space $C_{1+x^2}^0$ for $x\in [0,b_n]$. □

Theorem 3

Assuming c as a positive and real number independent of n and f as a continuous function which vanishes on $[c,\mathrm{\infty })$. Let $p:=(p_n)$, $q:=(q_n)$ with $0<q_n<p_n\le 1$ satisfying (3.2) and ${lim}_{n\to \mathrm{\infty }}\frac{b_n^2}{{[n]}_{p_n,q_n}}=0$. Then we have

$$\underset{n\to \mathrm{\infty }}{lim}\underset{0\le x\le b_n}{sup}|C_{n,m}^{\alpha ,\beta }(f;x,p_n,q_n)-f(x)|=0.$$

Proof

From the hypothesis on f, it is bounded i.e. $|f(x)|\le M$ ($M>0$). For any $ϵ>0$, we have

$$|f\left(\frac{p_n^{n_m-k}{[k]}_{p_n,q_n}+\alpha }{{[n]}_{p_n,q_n}+\beta }{b}_n\right)-f(x)|<ϵ+\frac{2M}{{\delta }^2}{(\frac{p_n^{n_m-k}{[k]}_{p_n,q_n}+\alpha }{{[n]}_{p_n,q_n}+\beta }{b}_n-x)}^2,$$

where $x\in [0,b_n]$ and $\delta =\delta (ϵ)$ are independent of n. Operating with the operator (2.1) on both sides, we can conclude by using Lemma 3 and Remark 1,

$$\begin{array}{rl}\underset{0\le x\le b_n}{sup}|C_{n,m}^{\alpha ,\beta }(f;x,p_n,q_n)-f(x)|\le & ϵ+\frac{2M}{{\delta }^2}{b}_n^2\left\{\right|\frac{{((p^n+q^n){[m]}_{p,q}-\beta )}^2}{{({[n]}_{p,q}+\beta )}^2}|\\ & +\left|\frac{(2\alpha +p_n^{n_m-1}){[n_m]}_{p_n,q_n}}{{({[n]}_{p_n,q_n}+\beta )}^2}\right|+\frac{{\alpha }^2}{{({[n]}_{p_n,q_n}+\beta )}^2}\}.\end{array}$$

Since $\frac{b_n^2}{{[n]}_{p_n,q_n}}=0$ as $n\to \mathrm{\infty }$, we have the desired result. □

Rate of convergence

We will find the rate of convergence for functions in the Lipschitz class ${\mathit{Lip}}_M(\gamma )$ ($0<\gamma \le 1$). Assume that $C_B[0,\mathrm{\infty })$ denotes the space of bounded continuous functions on $[0,\mathrm{\infty })$. A function $f\in C_B[0,\mathrm{\infty })$ belongs to ${\mathit{Lip}}_M(\gamma )$ if

$$|f(t)-f(x)|\le M{|t-x|}^{\gamma },\text{for }t,x\in [0,\mathrm{\infty }).$$

Theorem 4

Let $f\in {\mathit{Lip}}_M(\gamma )$, then

$$|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le M{({\lambda }_{n,p,q}(x))}^{\gamma /2},$$

where ${\lambda }_{n,p,q}(x)=C_{n,m}^{\alpha ,\beta }({(t-x)}^2;x,p,q)$.

Proof

Since $f\in {\mathit{Lip}}_M(\gamma )$, and the operator $C_{n,m}^{\alpha ,\beta }(f;x,p,q)$ is linear and monotone,

$$\begin{array}{rcl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|& =& |\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})f\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-f(x)|\\ & \le & \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|f\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-f(x)|\\ & \le & M\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){|\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-x|}^{\gamma }.\end{array}$$

Using Hölder’s inequality with the values $p=\frac{2}{\gamma }$ and $q=\frac{2}{2-\gamma }$, we get

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le & \frac{M}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}\left[\right\{{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){(\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-x)}^2{\}}^{\frac{\gamma }{2}}\\ & \times {\left\{{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\right\}}^{\frac{2-\gamma }{2}}]\\ \le & M\left[\right\{\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){(\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-x)}^2{\}}^{\frac{\gamma }{2}}\\ & \times \{\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){\}}^{\frac{2-\gamma }{2}}]\\ =& M{\left[C_{n,m}^{\alpha ,\beta }({(t-x)}^2;x,p,q)\right]}^{\frac{\gamma }{2}}\\ \le & M{({\lambda }_{n,p,q}(x))}^{\frac{\gamma }{2}}.\end{array}$$

 □

In order to obtain rate of convergence in terms of modulus of continuity $\omega (f;\delta )$, we assume that, for any $f\in C_B[0,\mathrm{\infty })$ and $x\ge 0$, the modulus of continuity of f is given by

$$\omega (f;\delta )=\underset{\begin{array}{c}|t-x|\le \delta \\ t,x\in [0,\mathrm{\infty })\end{array}}{max}|f(t)-f(x)|.$$ 3.7

Thus it implies for any $\delta >0$

$$|f(x)-f(y)|\le \omega (f;\delta )(\frac{|x-y|}{\delta }+1).$$ 3.8

Theorem 5

If $f\in C_B[0,\mathrm{\infty })$, we have

$$|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le 2\omega (f;\sqrt{{\lambda }_{n,p,q}(x)}),$$

where $\omega (f;\cdot )$ is the modulus of continuity of f and ${\lambda }_{n,p,q}(x)$ is the same as in Theorem 4.

Proof

Using the triangular inequality, we get

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|=& |\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})f\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-f(x)|\\ \le & \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|f\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-f(x)|.\end{array}$$

Now using (3.8) and Hölder’s inequality, we get

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|=& \frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})(\frac{|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|}{\delta }+1)\omega (f;\delta )\\ \le & \omega (f;\delta )\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})\\ & +\frac{\omega (f;\delta )}{\delta }\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|\\ =& \omega (f;\delta )+\frac{\omega (f;\delta )}{\delta }\{\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n}){(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)}^2{\}}^{\frac{1}{2}}\\ =& \omega (f;\delta )+\frac{\omega (f;\delta )}{\delta }{\left\{C_{n,m}^{\alpha ,\beta }({(t-x)}^2;x,p,q)\right\}}^{1/2}.\end{array}$$

Now choosing $\delta ={\lambda }_{n,p,q}(x)$ as in Theorem 4, we have

$$|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le 2\omega (f;\sqrt{{\lambda }_{n,p,q}(x)}).$$

 □

Next we calculate the rate of convergence in terms of the modulus of continuity of the derivative of a function.

Theorem 6

Let $A>0$. If $f(x)$ has a continuous bounded derivative $f^{\prime }(x)$ and $\omega (f^{\prime };\delta )$ is the modulus of continuity of $f^{\prime }(x)$ in $x\in [0,max\{b_n,A\}]$, then

$$\begin{array}{c}|f(x)-C_{n,m}^{\alpha ,\beta }(f;x,p,q)|\\ \le M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })+2{(B_{n,p,q}(\alpha ,\beta ))}^{1/2}\omega (f^{\prime };{(B_{n,p,q}(\alpha ,\beta ))}^{1/2}),\end{array}$$

where M is a positive constant such that $|f^{\prime }(x)|\le M$ and

$$\begin{array}{rl}{B}_{n,p,q}(\alpha ,\beta )=& |1-2\frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}+\frac{q{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2}|A^2\\ & +|\frac{{[n_m]}_{p,q}(2\alpha +p^{n_m-1})}{{({[n]}_{p,q}+\beta )}^2}-\frac{2\alpha }{({[n]}_{p,q}+\beta )}|A{b}_n+\frac{{\alpha }^2{b}_n^2}{{({[n]}_{p,q}+\beta )}^2}.\end{array}$$

Proof

Using the mean value theorem, we have

$$\begin{array}{c}f\left(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n\right)-f(x)\\ =(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)f^{\prime }(\xi )\\ =(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)f^{\prime }(x)+(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)(f^{\prime }(\xi )-f^{\prime }(x)),\end{array}$$

where ξ is a point between x and $\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n$. By using the above identity, we get

$$\begin{array}{rl}{C}_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)=& f^{\prime }(x)\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)\\ & +\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})(\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x)(f^{\prime }(\xi )-f^{\prime }(x)).\end{array}$$

Hence,

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le & |f^{\prime }(x)|\cdot \left|C_{n,m}^{\alpha ,\beta }((t-x);x,p,q)\right|\\ & +\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x||f^{\prime }(\xi )-f^{\prime }(x)|\\ \le & M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x||f^{\prime }(\xi )-f^{\prime }(x)|\\ \le & M\left(\right|\frac{{[n+m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|\\ & \times \omega (f^{\prime };\delta )(\frac{|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|}{\delta }+1),\end{array}$$

since

$$|\xi -x|\le |\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|.$$

Using it, we have

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le & M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\omega (f^{\prime };\delta )\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x|\\ & +\frac{\omega (f^{\prime };\delta )}{\delta }\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x{|}^2.\end{array}$$

Now using Cauchy-Schwarz inequality for the second term, we obtain

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le & M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\omega (f^{\prime };\delta )(\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x{|}^2{)}^{1/2}\\ & +\frac{\omega (f^{\prime };\delta )}{\delta }\frac{1}{p^{\frac{n_m(n_m-1)}{2}}}\sum _{k=0}^{n_m}{\left[\begin{array}{c}{n}_m\\ k\end{array}\right]}_{p,q}{p}^{\frac{k(k-1)}{2}}{\left(\frac{x}{b_n}\right)}^k\\ & \times \prod _{s=0}^{(n_m-k-1)}(p^s-q^s\frac{x}{b_n})|\frac{p^{n_m-k}{[k]}_{p,q}+\alpha }{{[n]}_{p,q}+\beta }{b}_n-x{|}^2\\ =& M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\omega (f^{\prime };\delta )\sqrt{C_{n,m}^{\alpha ,\beta }({(t-x)}^2;x,p,q)}\\ & +\frac{\omega (f^{\prime };\delta )}{\delta }{C}_{n,m}^{\alpha ,\beta }({(t-x)}^2;x,p,q).\end{array}$$

Using Lemma 2, we see

$$\begin{array}{rl}\underset{0\le x\le A}{sup}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p,q)\le & \underset{0\le x\le A}{sup}[(1-2\frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}+\frac{q{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2})x^2\\ & +(\frac{{[n_m]}_{p,q}(2\alpha +p^{n_m-1})}{({[n]}_{p,q}+\beta )}-2\alpha )\frac{b_{n}x}{({[n]}_{p,q}+\beta )}\\ & +\frac{{\alpha }^2{b}_n^2}{{({[n]}_{p,q}+\beta )}^2}]\\ \le & |1-2\frac{{[n_m]}_{p,q}}{({[n]}_{p,q}+\beta )}+\frac{q{[n_m]}_{p,q}{[n_m-1]}_{p,q}}{{({[n]}_{p,q}+\beta )}^2}|A^2\\ & +|\frac{{[n_m]}_{p,q}(2\alpha +p^{n_m-1})}{{({[n]}_{p,q}+\beta )}^2}-\frac{2\alpha }{({[n]}_{p,q}+\beta )}|A{b}_n\\ & +\frac{{\alpha }^2{b}_n^2}{{({[n]}_{p,q}+\beta )}^2}\\ :=& B_{n,p,q}(\alpha ,\beta ).\end{array}$$

Thus,

$$\begin{array}{rl}|C_{n,m}^{\alpha ,\beta }(f;x,p,q)-f(x)|\le & M\left(\right|\frac{{[n_m]}_{p,q}}{{[n]}_{p,q}+\beta }-1|A+\frac{\alpha b_n}{{[n]}_{p,q}+\beta })\\ & +\omega (f^{\prime };\delta )[{(B_{n,p,q}(\alpha ,\beta ))}^{1/2}+\frac{1}{\delta }{B}_{n,p,q}(\alpha ,\beta )].\end{array}$$

Choosing $\delta :={(B_{n,p,q}(\alpha ,\beta ))}^{1/2}$, we get the desired result. □

Voronovskaja-type result

Now, we prove a Voronovskaja-type approximation theorem with the help of the $C_{n,m}^{(\alpha ,\beta )}$ family of linear operators defined by (2.1).

Lemma 4

Let $(p_n)$ and $(q_n)$ be two sequences satisfying (3.2) and $x\in [0,E]$ where $E\in {\mathbb{R}}^{+}$. Then we get

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}(t-x;x,p_n,q_n)=\alpha$$ 3.9

and

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p_n,q_n)=ax,$$ 3.10

where $a\in (0,1)$.

Proof

We shall prove only (3.10) because the proof of (3.9) is similar. Let $x\in [0,E]$. Then, by Lemma (2), we obtain, for all $n\in \mathbb{N}$,

$$\begin{array}{rl}& \frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p_n,q_n)\\ & =\frac{{[n]}_{p_n,q_n}}{b_n}(1-2\frac{{[n_m]}_{p_n,q_n}}{({[n]}_{p_n,q_n}+\beta )}+\frac{q_n{[n_m]}_{p_n,q_n}{[n_m-1]}_{p_n,q_n}}{{({[n]}_{p_n,q_n}+\beta )}^2})x^2\\ & +(\frac{(2\alpha +p_n^{n-1}){[n_m]}_{p_n,q_n}}{({[n]}_{p_n,q_n}+\beta )}-2\alpha )\frac{{[n]}_{p_n,q_n}}{({[n]}_{p_n,q_n}+\beta )}x+\frac{{\alpha }^2{b}_n{[n]}_{p_n,q_n}}{{({[n]}_{p_n,q_n}+\beta )}^2}.\end{array}$$ 3.11

Now by taking the limit as $n\to \mathrm{\infty }$ in (3.11), we obtain

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p_n,q_n)=ax,$$

which completes the proof. □

In a similar way to Lemma 4 one can deduce the following lemma.

Lemma 5

Let $(p_n)$ and $(q_n)$ be two sequences satisfying (3.2) and $x\in [0,E]$ where $E\in {\mathbb{R}}^{+}$. There is a positive constants $M_0(x)$ depending only on x such that

$$\underset{n}{lim}\frac{{[n]}_{p_n,q_n}^2}{b_n^2}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^4;x,p_n,q_n)\le M_0(x).$$ 3.12

Theorem 7

Let $(p_n)$ and $(q_n)$ be two sequences with the property (3.2). For every $f\in C_{1+x^2}^0[0,\mathrm{\infty })$ such that $f^{\prime },f^{″}\in C_{1+x^2}^0[0,\mathrm{\infty })$, then

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}[C_{n,m}^{(\alpha ,\beta )}(f(t);x,p_n,q_n)-f(x)]=\alpha f^{\prime }(x)+\frac{1}{2}ax{f}^{″}(x)$$

uniformly in $x\in [0,E]$.

Proof

Using the Taylor formula for $f\in C_{1+x^2}^0$, we have

$$f(t)=f(x)+f^{\prime }(x)(t-x)+\frac{1}{2}{f}^{″}(x){(t-x)}^2+{\eta }_x(t){(t-x)}^2,$$

where the function ${\eta }_x(\cdot )$ is the remainder, ${lim}_{t\to x}{\eta }_x(t)=0$. Since the operator $C_{n,m}^{(\alpha ,\beta )}$ is linear

$$\begin{array}{rl}\frac{{[n]}_{p_n,q_n}}{b_n}[C_{n,m}^{(\alpha ,\beta )}(f(t);x,p_n,q_n)-f(x)]=& \frac{{[n]}_{p_n,q_n}}{b_n}{f}^{\prime }(x)C_{n,m}^{(\alpha ,\beta )}(t-x;x,p_n,q_n)\\ & +\frac{1}{2}\frac{{[n]}_{p_n,q_n}}{b_n}{f}^{″}(x)C_{n,m}^{(\alpha ,\beta )}({(t-x)}^2;x,p_n,q_n)\\ & +\frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({\eta }_x(t){(t-x)}^2;x,p_n,q_n)\end{array}$$ 3.13

for each $n\in \mathbb{N}$. We will now show that

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({\eta }_x(t){(t-x)}^2;x,p_n,q_n)=0.$$ 3.14

After application of the Cauchy-Schwarz inequality for the third term on the right hand side of (3.13), we find that

$$\begin{array}{rl}& \frac{{[n]}_{p_n,q_n}}{b_n}{C}_{n,m}^{(\alpha ,\beta )}({\eta }_x(t){(t-x)}^2;x,p_n,q_n)\\ & \le \frac{{[n]}_{p_n,q_n}}{b_n}{\left[C_{n,m}^{(\alpha ,\beta )}({\eta }_x^2(t);x,p_n,q_n)\right]}^{1/2}{\left[C_{n,m}^{(\alpha ,\beta )}({(t-x)}^4;x,p_n,q_n)\right]}^{1/2}.\end{array}$$ 3.15

Let us take ${\eta }_x^2(t)={\theta }_x(t)$, $x\ge 0$, we obtain

$$\underset{|x|\to \mathrm{\infty }}{lim}\frac{|{\theta }_x(t)|}{1+x^2}=\underset{|x|\to \mathrm{\infty }}{lim}\frac{{|f(t)-f(x)-f^{\prime }(x)(t-x)-\frac{1}{2}{f}^{″}(x){(t-x)}^2|}^2}{{(t-x)}^4(1+x^2)}.$$

We have $f\in C_{1+x^2}^0$ i.e. ${lim}_{|x|\to \mathrm{\infty }}\frac{|f(x)|}{1+x^2}=$ finite value, which means f is function with maximum order of x is 2. Henceforth x is of order 1 and 0, respectively, in $f^{\prime }$ and $f^{″}$, i.e. $f^{″}$ is constant.

We will get a finite value of the above limit because numerator is a polynomial in x having terms of degree less than or equal to four and $f,f^{\prime },f^{″}\in C_{1+x^2}^0$. Thus ${\theta }_x(t)\in C_{1+x^2}^0$.

Moreover, ${lim}_{t\to x}{\theta }_x(t)=0$. From Theorem 2, we observe that

$$\underset{n\to \mathrm{\infty }}{lim}{C}_{n,m}^{(\alpha ,\beta )}({\eta }_x^2(t);x,p_n,q_n)=\underset{n\to \mathrm{\infty }}{lim}{C}_{n,m}^{(\alpha ,\beta )}({\theta }_x(t);x,p_n,q_n)={\theta }_x(x)=0$$ 3.16

uniformly in $x\in [0,E]$. One obtains from Lemma 5 that

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}^2}{b_n^2}{C}_{n,m}^{(\alpha ,\beta )}({(t-x)}^4;x,p_n,q_n)\le M_0(x).$$ 3.17

From these last two relations, the inclusion (3.14) holds true. Now by taking the limit as $n\to \mathrm{\infty }$ in (3.13) and using Lemma (4), we conclude that

$$\underset{n\to \mathrm{\infty }}{lim}\frac{{[n]}_{p_n,q_n}}{b_n}[C_{n,m}^{(\alpha ,\beta )}(f(t);x,p_n,q_n)-f(x)]=\alpha f^{\prime }(x)+\frac{1}{2}ax{f}^{″}(x)$$

uniformly in $x\in [0,E]$, which leads us to the desired assertion of Theorem 7. □

Example

With the help of Maple, we show a comparison of the $(p,q)$ Bernstein-stancu operator and the operator (2.1) to the function $f(x)=sin(x)$ under the following parameters: $\alpha =1$, $\beta =1$, $p=0.9$, $q=0.8$, $n=1$ and $b_n=ln(1+n)$ within the interval $[0,b_1]$ i.e. $[0,{log}_{e}11]$. We have found it to be convenient to investigate our series only for finite sums. More powerful equipments with higher speed can easily compute the more complicated infinite series in a similar manner.

It is clear from the Figure 1 that approximation by the operator (2.1) is better than by $(p,q)$ Bernstein-stancu operator for $f(x)=sinx$ and it can be improved further by taking appropriate values of m and sequence $b_n$.

Figure 1.

Comparison of $\mathbf{(}\mathit{p}\mathbf{,}\mathit{q}\mathbf{)}$ Chlodowsky type Bernstein-Stancu-Schurer operators and $\mathbf{(}\mathit{p}\mathbf{,}\mathit{q}\mathbf{)}$ Bernstein-Stancu operators for $\mathbf{Sin}\mathbf{(}\mathit{x}\mathbf{)}$ .

Conclusion

A better approximation of complex functions over the required interval $[0,b_n]$ can be attained using the Chlodowsky variant of the $(p,q)$ Bernstein-Stancu-Schurer operator for choosing suitable values of the sequence $b_n$ and n compared to classical operators over the fixed interval $[0,1]$.