# Approximation of Schurer type q-Bernstein-Kantorovich operators

## Abstract

In this paper, a kind of Schurer type q-Bernstein-Kantorovich operators is introduced. The Korovkin type approximation theorem of these operators is investigated. The rates of convergence of these operators are also studied by means of the modulus of continuity and the help of functions of the Lipschitz class. Then, the global approximation property is given for these operators.

## Introduction

In 1997, Phillips [1] introduced and studied q analogue of Bernstein polynomials. During the last decade, the applications of q-calculus in the approximation theory have become one of the main areas of research, q-calculus has been extensively used for constructing various generalizations of many classical approximation processes. It is well known that many q-extensions of the classical objects arising in the approximation theory have been introduced and studied (e.g., see [27]). Very recently, the book Convergence Estimates in Approximation Theory written by Gupta and Agarwal (see [8]) introduced some approximation properties of certain complex q-operators in compact disks. Also, the Stancu variants of some q-operators have been recently discussed (e.g., see [914]).

The goal of this paper is to introduce a kind of Schurer type q-Bernstein-Kantorovich operators and to study the approximation properties of these operators with the help of the Korovkin type approximation theorem. We also estimate the rate of convergence of these operators by using the modulus of continuity and the help of functions of the Lipschitz class. Then, we give the global approximation property for these operators.

Throughout the paper, we use some basic definitions and notations of q-calculus which can be found in Aral et al. [3].

In the paper, C is a positive constant. In different places, the value of C may be different. For $$f\in C[a,b]$$, we denote $$\| f\|=\max\{|f(x)|: x\in[a,b]\}$$.

## Construction of the operators

Let $$p\in\mathbf{N}\cup\{0\}$$ be fixed. In 1962, Schurer [15] introduced and studied the linear positive operators $$B_{n,p}:C[0,1+p]\rightarrow C[0,1]$$ defined for any $$n\in\mathbf{N}$$ and any $$f\in C[0,1+p]$$ as follows:

$$B_{n,p}(f;x)=\sum_{k=0}^{n+p} \left ( \begin{array}{@{}c@{}} n+p\\ k \end{array} \right )x^{k}(1-x)^{n+p-k}f(k/n), \quad x\in[0,1].$$

In 2011, Muraru [16] introduced and studied the following q-Bernstein-Schurer operators for any fixed $$p\in\mathbf{N}\cup\{0\}$$:

$$B_{n,p}(f;q;x)=\sum_{k=0}^{n+p}P_{n+p,k}(q;x)f \bigl([k]_{q}/[n]_{q}\bigr),$$

where $$P_{n+p,k}(q;x):=\bigl [ {\scriptsize\begin{matrix} n+p\cr k\end{matrix}} \bigr ]_{q}x^{k}(1-x)_{q}^{n+p-k}$$ and $$f\in C[0,1+p]$$, $$x\in[0,1]$$, $$n\in\mathbf{N}$$, $$0< q<1$$.

The moments of these operators $$B_{n,p}(f;q;x)$$ were obtained as follows (see [16]).

### Remark 1

For $$B_{n,p}(t^{j};q;x)$$, $$j=0,1,2$$, we have

\begin{aligned}& B_{n,p}(1;q;x)=1, \qquad B_{n,p}(t;q;x)=\frac{[n+p]_{q}x}{[n]_{q}}, \\& B_{n,p}\bigl(t^{2};q;x\bigr)=\frac{[n+p]_{q}}{[n]_{q}^{2}} \bigl([n+p]_{q}x^{2}+x(1-x) \bigr). \end{aligned}

In 2013, Mahmudov and Sabancigil [17] defined q-Bernstein-Kantorovich operators as follows:

$$B_{n,q}^{*}(f,x) =\sum_{k=0}^{n}P_{n,k}(q;x) \int_{0}^{1}f\biggl(\frac {[k]_{q}+q^{k}t}{[n+1]_{q}} \biggr)\,d_{q}t,$$

where $$P_{n,k}(q;x):=\bigl [ {\scriptsize\begin{matrix} n\cr k\end{matrix}} \bigr ]_{q}x^{k}(1-x)_{q}^{n-k}$$ and $$f\in C[0,1]$$, $$x\in[0,1]$$, $$n\in\mathbf{N}$$, $$0< q<1$$.

Inspired by the operators above, we introduce a kind of Schurer type q-Bernstein-Kantorovich operators as follows.

Let $$f\in C[0,1+p]$$ and $$p\in\mathbf{N}\cup\{0\}$$ be fixed. For $$x\in[0,1]$$, $$n\in\mathbf{N}$$, $$0< q<1$$, we define the Schurer type q-Bernstein-Kantorovich operators by

\begin{aligned} S_{n,p}(f;q;x) =\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \int_{0}^{1}f\biggl(\frac {[k]_{q}+q^{k}t}{[n+1]_{q}} \biggr)\,d_{q}t, \end{aligned}
(1)

where

$$P_{n+p,k}(q;x)=\left [ \begin{array}{@{}c@{}} n+p\\ k \end{array} \right ]_{q}x^{k}(1-x)_{q}^{n+p-k}.$$

In 2013, Özarslan and Vedi [18] introduced the q-Bernstein-Schurer-Kantorovich operators $$K_{n}^{p}$$. Comparing the results of our present paper with [18], we find that the literature [18] only estimated the rate of convergence in the pointwise sense for these operators $$K_{n}^{p}$$. In the present paper, we not only estimate the rate of convergence in the pointwise sense, but also give the global approximation for these operators $$S_{n,p}$$ defined by (1), and about the estimate of the rate of convergence in the pointwise sense for these operators $$S_{n,p}$$, we get some new results, which are different from those in [18]. As regards [19], the q-Bernstein-Schurer-Stancu-Kantorovich operators $$K_{n,q}^{(\alpha,\beta)}$$ were introduced. When $$\alpha=\beta=0$$, these operators $$K_{n,q}^{(\alpha,\beta)}$$ defined by [19] are reduced to $$K_{n,q}^{(0,0)}$$, which are q-Bernstein-Schurer-Kantorovich type operators, but these operators $$K_{n,q}^{(0,0)}$$ are quite different from operators $$S_{n,p}$$ defined by (1), and our research work is different from that in [19], where statistical approximation properties were studied for $$K_{n,q}^{(\alpha,\beta)}$$.

Now, we give some lemmas, which are necessary to prove our results.

### Lemma 1

Let $$p\in\mathbf{N}\cup\{0\}$$ be fixed. For any $$m\in\mathbf{N}\cup\{0\}$$, $$n\in\mathbf{N}$$, $$x\in[0,1]$$, $$0< q<1$$, we have

\begin{aligned} S_{n,p}\bigl(t^{m};q;x\bigr) =\sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[n]_{q}^{j}}{[n+1]_{q}^{m}[m+1-j]_{q}}\sum _{i=0}^{m-j}\left ( \begin{array}{@{}c@{}} m-j\\ i \end{array} \right ) \bigl(q^{n}-1\bigr)^{i}B_{n,p} \bigl(t^{j+i};q;x\bigr). \end{aligned}

### Proof

When $$0< q<1$$, we have $$q^{k}-1=[k]_{q}(q-1)$$, so

\begin{aligned} &S_{n,p}\bigl(t^{m};q;x\bigr) \\ &\quad= \sum_{k=0}^{n+p}P_{n+p,k}(q;x) \sum_{j=0}^{m}\int_{0}^{1} \left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[k]_{q}^{j}q^{k(m-j)}t^{m-j}}{[n+1]_{q}^{m}}\,d_{q}t \\ &\quad=\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[k]_{q}^{j}q^{k(m-j)}}{[n+1]_{q}^{m}[m+1-j]_{q}} \\ &\quad=\sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[n]_{q}^{j}}{[n+1]_{q}^{m}[m+1-j]_{q}}\sum _{k=0}^{n+p}\bigl(q^{k}-1+1 \bigr)^{m-j }\frac{[k]^{j}_{q}}{[n]^{j}_{q}}P_{n+p,k}(q;x) \\ &\quad=\sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[n]_{q}^{j}}{[n+1]_{q}^{m}[m+1-j]_{q}}\sum _{k=0}^{n+p}\sum_{l=0}^{m-j} \left ( \begin{array}{@{}c@{}} m-j\\ i \end{array} \right ) \bigl(q^{k}-1 \bigr)^{i }\frac{[k]^{j}_{q}}{[n]^{j}_{q}}P_{n+p,k}(q;x) \\ &\quad=\sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[n]_{q}^{j}}{[n+1]_{q}^{m}[m+1-j]_{q}}\sum _{i=0}^{m-j}\left ( \begin{array}{@{}c@{}} m-j\\ i \end{array} \right ) \bigl(q^{n}-1\bigr)^{i} \sum _{k=0}^{n+p}\frac{[k]^{j+i}_{q}}{[n]^{j+i}_{q}}P_{n+p,k}(q;x) \\ &\quad=\sum_{j=0}^{m}\left ( \begin{array}{@{}c@{}} m\\ j \end{array} \right )\frac{[n]_{q}^{j}}{[n+1]_{q}^{m}[m+1-j]_{q}}\sum _{i=0}^{m-j}\left ( \begin{array}{@{}c@{}} m-j\\ i \end{array} \right ) \bigl(q^{n}-1\bigr)^{i}B_{n,p} \bigl(t^{j+i};q;x\bigr). \end{aligned}

□

### Lemma 2

For $$S_{n,p}(t^{i};q;x)$$, $$i=0,1,2$$, we have

\begin{aligned} &\hphantom{ii}(\mathrm{i})\quad S_{n,p}(1;q;x)=1; \\ &\hphantom{i}(\mathrm{ii})\quad S_{n,p}(t;q;x)=\frac{2q[n+p]_{q}}{[2]_{q}[n + 1]_{q}}x+ \frac{1}{[2]_{q}[n + 1]_{q}}; \\ &(\mathrm{iii})\quad S_{n,p}\bigl(t^{2};q;x\bigr)= \frac {(4q^{3}+q^{2}+q)q[n+p-1]_{q}[n+p]_{q}x^{2}}{[2]_{q}[3]_{q}[n +1]_{q}^{2}} \\ &\hphantom{(\mathrm{iii})\quad S_{n,p}(t^{2};q;x)=}{}+ \frac{(4q^{3}+5q^{2}+3q)[n+p]_{q}x}{[2]_{q}[3]_{q}[n +1]_{q}^{2}}+\frac{1}{[3]_{q}[n + 1]_{q}^{2}}. \end{aligned}

### Proof

(i) For $$i=0$$, since $$\sum_{k=0}^{n}P_{n,k}(q;x)=1$$, $$\int_{0}^{1}\,d_{q}t=(1-q)\sum_{j=0}^{\infty}q^{j}=1$$, by (1) we can get $$S_{n,p}(1;q;x)=1$$.

In view of Lemma 1 and Remark 1, by direct computation, we obtain explicit formulas for $$S_{n,p}(t^{i};q;x)$$, $$i=1,2$$ as follows.

\begin{aligned}& \begin{aligned}[b] S_{n,p}(t;q;x) &=\frac{1}{[2]_{q}[n + 1]_{q}} \bigl( B_{n,p}(1;q;x) + \bigl( q^{n}-1 \bigr)B_{n,p}(t;q;x) \bigr) +\frac{[n]_{q}}{[n + 1]_{q}}B_{n,p}(t;q;x) \\ &=\biggl(\frac{q^{n}-1}{[2]_{q}[n + 1]_{q}}+\frac{[n]_{q}}{[n +1]_{q}}\biggr)\frac{[n+p]_{q}x}{[n]_{q}}+ \frac{1}{[2]_{q}[n + 1]_{q}} \\ &=\frac{2q[n+p]_{q}}{[2]_{q}[n + 1]_{q}}x+\frac{1}{[2]_{q}[n + 1]_{q}}, \end{aligned} \\& \begin{aligned}[b] &S_{n,p}\bigl(t^{2};q;x\bigr) \\ &\quad=\frac{1}{[3]_{q}[n + 1]_{q}^{2}} \bigl( B_{n,p}(1;q;x) + 2\bigl( q^{n}-1 \bigr)B_{n,p}(t;q;x) \\ &\qquad{}+\bigl(q^{n}-1\bigr)^{2}B_{n,p} \bigl(t^{2};q;x\bigr) \bigr) +\frac{2[n]_{q}}{[2]_{q}[n + 1]_{q}^{2}} \bigl(B_{n,p}(t;q;x) \\ &\qquad{}+\bigl(q^{n}-1 \bigr)B_{n,p}\bigl(t^{2};q;x \bigr) \bigr)+\frac {[n]_{q}^{2}}{[n+1]_{q}^{2}}B_{n,p}\bigl(t^{2};q;x\bigr) \\ &\quad= \biggl(\frac{(q^{n}-1)^{2}}{[3]_{q}[n + 1]_{q}^{2}}+\frac{2[n]_{q}(q^{n}-1 )}{[2]_{q}[n + 1]_{q}^{2}} +\frac{[n]_{q}^{2}}{[n+1]_{q}^{2}} \biggr) \frac {q[n+p-1]_{q}[n+p]_{q}}{[n]_{q}^{2}}x^{2} \\ &\qquad{} + \biggl(\frac{2(q^{n}-1)}{[3]_{q}[n + 1]_{q}^{2}}+\frac{(q^{n}-1)^{2}}{[3]_{q}[n]_{q}[n + 1]_{q}^{2}}+ \frac{2[n]_{q}}{[2]_{q}[n +1]_{q}^{2}}+ \frac{2[n]_{q}(q^{n}-1 )}{[2]_{q}[n]_{q}[n + 1]_{q}^{2}} \\ &\qquad{} +\frac{[n]_{q}^{2}}{[n]_{q}[n+1]_{q}^{2}} \biggr) \frac{[n+p]_{q}}{[n]_{q}}x+ \frac{1}{[3]_{q}[n + 1]_{q}^{2}} \\ &\quad=\frac{(4q^{3}+q^{2}+q)q[n+p-1]_{q}[n+p]_{q}x^{2}}{[2]_{q}[3]_{q}[n +1]_{q}^{2}}+\frac{(4q^{3}+5q^{2}+3q)[n+p]_{q}x}{[2]_{q}[3]_{q}[n +1]_{q}^{2}} \\ &\qquad{} +\frac{1}{[3]_{q}[n + 1]_{q}^{2}}. \end{aligned} \end{aligned}

□

### Lemma 3

Let $$p\in\mathbf{N}\cup\{0\}$$ be fixed. For $$x\in[0,1]$$, $$n\in\mathbf{N}$$, $$0< q<1$$, we have

$$B_{n,p}\bigl((t-x)^{2};q;x\bigr)=x^{2}\biggl( \frac {[n+p]_{q}}{[n]_{q}}-1\biggr)^{2}+x(1-x)\frac{[n+p]_{q}}{[n]_{q}^{2}}.$$

### Proof

For $$x\in[0,1]$$, $$n\in\mathbf{N}$$, $$0< q<1$$, by Remark 1, we have

\begin{aligned} B_{n,p}\bigl((t-x)^{2};q;x\bigr) =&B_{n,p} \bigl(t^{2};q;x\bigr)-2xB_{n,p}(t;q;x)+x^{2} \\ =&\frac{[n+p]_{q}}{[n]_{q}^{2}} \bigl([n+p]_{q}x^{2}+x(1-x) \bigr)- \frac {2[n+p]_{q}x^{2}}{[n]_{q}}+x^{2} \\ =&x^{2}\biggl(\frac{[n+p]_{q}}{[n]_{q}}-1\biggr)^{2}+x(1-x) \frac{[n+p]_{q}}{[n]_{q}^{2}}. \end{aligned}

□

### Lemma 4

Let $$p\in\mathbf{N}\cup\{0\}$$ be fixed. For any $$n\in\mathbf{N}$$, $$x \in[0,1]$$ and $$0< q<1$$, we have

\begin{aligned} &\hphantom{i}(\mathrm{i})\quad S_{n,p}(t-x;q;x)=\frac{(2[p]_{q}-1)q^{n+1}-1}{[2]_{q}[n+1]_{q}}x + \frac{1}{[2]_{q}[n+1]_{q}}; \\ &(\mathrm{ii})\quad S_{n,p}\bigl((t-x)^{2};q;x\bigr)\leq \frac{4}{[n]_{q}} \biggl(x(1-x)+\frac {([p]_{q}+1)^{2}}{[n]_{q}} \biggr). \end{aligned}

### Proof

(i) In view of $$[n+p]_{q}=[n]_{q}+q^{n}[p]_{q}$$, $$[n+1]_{q}=[n]_{q}+q^{n}$$, by Lemma 2, we can easily obtain

\begin{aligned} S_{n,p}(t-x;q;x) =& \biggl(\frac{2q[n+p]_{q}}{[2]_{q}[n + 1]_{q}}-1 \biggr)x + \frac{1}{[2]_{q}[n + 1]_{q}} \\ =&\frac{(2[p]_{q}-1)q^{n+1}-1}{[2]_{q}[n+1]_{q}}x +\frac{1}{[2]_{q}[n+1]_{q}}. \end{aligned}

(ii) For $$p\in\mathbf{N}\cup\{0\}$$ and any $$n\in \mathbf{N}$$, using Remark 1, Lemma 3 and $$[n+p]_{q}=[n]_{q}+q^{n}[p]_{q}$$, we have

\begin{aligned} &S_{n,p}\bigl((t-x)^{2};q;x\bigr) \\ &\quad=\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \int_{0}^{1} \biggl(\frac {[k]_{q}+q^{k}t}{[n+1]_{q}}-x \biggr)^{2}\,d_{q}t \\ &\quad=\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \int_{0}^{1} \biggl(\frac {q^{k}t}{[n+1]_{q}}- \frac{q^{n}[k]_{q}}{[n]_{q}[n+1]_{q}}+\frac {[k]_{q}}{[n]_{q}}-x \biggr)^{2}\,d_{q}t \\ &\quad\leq2\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \int_{0}^{1} \biggl(\frac {q^{k}t}{[n+1]_{q}}- \frac{q^{n}[k]_{q}}{[n]_{q}[n+1]_{q}} \biggr)^{2}\,d_{q}t \\ &\qquad{} +2\sum_{k=0}^{n+p}P_{n+p,k}(q;x) \int_{0}^{1} \biggl(\frac {[k]_{q}}{[n]_{q}}-x \biggr)^{2}\,d_{q}t \\ &\quad\leq\frac{2}{[n+1]^{2}}B_{n,p}\bigl(t^{2};q;x\bigr)+2 \sum_{k=0}^{n+p}P_{n+p,k}(q;x) \frac{\int_{0}^{1}t^{2}\,d_{q}t}{[n+1]^{2}} +2B_{n,p}\bigl((t-x)^{2};q;x\bigr) \\ &\quad\leq\frac{4}{[n]_{q}} \biggl(x(1-x)+\frac{([p]_{q}+1)^{2}}{[n]_{q}} \biggr). \end{aligned}

□

### Lemma 5

For $$f\in C[0,1+p]$$, $$x\in[0,1]$$ and $$n\in\mathrm{N}$$, we have

$$\bigl| S_{n,p}(f;q;x)\bigr|\leq \| f\|.$$

### Proof

In view of the definition given by (1) and Lemma 2, we have

$$\bigl| S_{n,p}(f;q;x)\bigr|\leq S_{n,p}(1;q;x)\| f\| =\| f\|.$$

□

Let $$W^{2}=\{g\in C[0,1+p]:g', g''\in C[0,1+p]\}$$. For $$\delta>0$$, $$f\in C[0,1+p]$$, the Peetre’s K-functional is defined as

$$K_{2}(f,\delta)=\inf\bigl\{ \| f-g\|+\delta\bigl\| g'' \bigr\| :g\in W^{2}\bigr\} .$$
(2)

Let $$\delta>0$$, $$f\in C[0,1+p]$$, the second order modulus of smoothness for f is defined as

$$\omega_{2}(f,\sqrt{\delta})= \sup_{0< h\leq\sqrt{\delta}}\sup _{x,x+2h\in[0,1+p]}\bigl|f(x+2h)-2f(x+h)+f(x)\bigr|,$$

the usual modulus of continuity for f is defined as

$$\omega(f,\delta)= \sup_{0< h\leq\delta}\sup_{x,x+h\in[0,1+p]}\bigl|f(x+h)-f(x)\bigr|.$$

For $$f\in C[0,1+p]$$, following [20], p.177, Theorem 2.4, there exists a constant $$C>0$$ such that

$$K_{2}(f,\delta)\leq C\omega_{2}(f,\sqrt{\delta}).$$
(3)

## Main results

Firstly we give the following convergence theorem for the sequence $$\{S_{n,p}(f;q)\}$$.

### Theorem 1

Let $$q_{n}\in(0,1)$$. Then the sequence $$\{S_{n,p}(f;q_{n})\}$$ converges to f uniformly on $$[0,1]$$ for any $$f\in C[0,1+p]$$ if and only if $$\lim_{n\rightarrow\infty}q_{n}=1$$.

### Proof

Let $$q_{n}\in(0,1)$$ and $$\lim_{n\rightarrow\infty}q_{n}=1$$, we have $$[n]_{q_{n}}\rightarrow\infty$$ as $$n\rightarrow\infty$$ (see [21]). Thus, by Lemma 2, we have $$\lim_{n\rightarrow\infty}\| \widetilde{S}_{n,p}(e_{j};q_{n};\cdot)-e_{j}\|_{C[0,1]}=0$$ for $$e_{j}(x)=x^{j}$$, $$j=0,1,2$$. According to the well-known Bohman-Korovkin theorem [22], p.40, Theorem 1.9, we get that the sequence $$\{\widetilde{S}_{n,p}(f;q_{n})\}$$ converges to f uniformly on $$[0,1]$$ for any $$f\in C[0,1+p]$$.

We prove the converse result by contradiction. If $$\{q_{n}\}$$ does not tend to 1 as $$n\rightarrow\infty$$, then it must contain a subsequence $$\{q_{n_{k}}\}\subset(0,1)$$ such that $$\lim_{k\rightarrow\infty}q_{n_{k}}=q_{0}\in[0,1)$$. Thus

$$\lim_{k\rightarrow\infty}\frac{1}{[n_{k}]_{q_{n_{k}}}} =\lim_{k\rightarrow\infty} \frac {1-q_{n_{k}}}{1-(q_{n_{k}})^{n_{k}}}=1-q_{0}.$$

Taking $$n=n_{k}$$, $$q=q_{n_{k}}$$ in $$S_{n,p}(t;q;x)$$, by Lemma 2 we get

\begin{aligned} S_{n_{k},p}(t;q_{n_{k}};x)&=\frac {2q_{n_{k}}[n_{k}+p]_{q_{n_{k}}}}{[2]_{q_{n_{k}}}[n_{k} + 1]_{q_{n_{k}}}}x+\frac{1}{[2]_{q_{n_{k}}}[n_{k} + 1]_{q_{n_{k}}}} \\ &\rightarrow\frac{1-q_{0}+2q_{0}x}{1+q_{0}}\neq x, \quad\mbox{as } k\rightarrow\infty. \end{aligned}

This leads to a contradiction, hence $$\lim_{n\rightarrow\infty}q_{n}=1$$. The theorem is proved. □

Next we estimate the rate of convergence.

### Theorem 2

Let $$f\in C[0,1+p]$$, $$x\in[0,1]$$, $$q\in(0,1)$$, we have $$|S_{n,p}(f;q;x)-f(x)|\leq 2\omega(f,\delta_{n}(x))$$, where

\begin{aligned} \delta_{n}(x)= \biggl[\frac{4}{[n]_{q}} \biggl(x(1-x)+ \frac {([p]_{q}+1)^{2}}{[n]_{q}} \biggr) \biggr]^{1/2}. \end{aligned}
(4)

### Proof

By Lemma 2 we have

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|=\bigl|S_{n,p}\bigl(f(t)-f(x);q;x\bigr)\bigr| \leq S_{n,p}\bigl(\bigl|f(t)-f(x)\bigr|;q;x\bigr).$$

Since for $$t\in[0,1+p]$$, $$x\in[0,1]$$ and any $$\delta>0$$ we have

$$\bigl|f(t)-f(x)\bigr|\leq\bigl(1+\delta^{-2}(t-x)^{2}\bigr)\omega(f, \delta),$$

we get

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq \bigl[S_{n,p}(1;q;x) + \delta^{-2}S_{n,p}\bigl((t-x)^{2};q;x\bigr) \bigr] \omega(f,\delta).$$

By Lemma 2 and Lemma 3, for $$x\in[0,1]$$, we have

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq\bigl(1 +\delta^{-2} \delta_{n}^{2}(x)\bigr)\omega(f,\delta).$$

Taking $$\delta=\delta_{n}(x)$$, from the above inequality we obtain the desired result. □

### Corollary 1

Let $$M>0$$, $$0<\alpha\leq1$$, $$f\in \operatorname{Lip}_{M}^{\alpha}$$ on $$[0,1+p]$$, $$q\in(0,1)$$, we have

$$\bigl\| S_{n,p}(f;q;\cdot)-f\bigr\| _{C[0,1]}\leq2M\eta^{\alpha}_{n},$$

where

$$\eta_{n}= \biggl[\frac{4}{[n]_{q}} \biggl(1+ \frac {([p]_{q}+1)^{2}}{[n]_{q}} \biggr) \biggr]^{1/2}.$$
(5)

### Proof

Let $$M>0$$, $$0<\alpha\leq1$$, $$f\in \operatorname{Lip}_{M}^{\alpha}$$ on $$[0,1+p]$$, we have $$f\in C[0, 1+p]$$. For any $$\delta>0$$, since $$f\in \operatorname{Lip}_{M}^{\alpha}$$ is equivalent to $$\omega(f,\delta)\leq M\delta^{\alpha}$$, thus, by Theorem 2, for $$x\in[0,1]$$, we have $$|S_{n,p}(f;q;x)-f(x)|\leq2\omega(f,\delta_{n}(x))\leq 2M\delta^{\alpha}_{n}(x)\leq2M\eta^{\alpha}_{n}$$, where $$\delta_{n}(x)$$ and $$\eta_{n}$$ are given in (4) and (5), respectively, which implies the proof is complete. □

### Theorem 3

Let $$f\in C[0,1+p]$$, $$x\in[0,1]$$, $$q\in (0,1)$$, we have

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq C\omega_{2}\bigl(f, \delta_{n}(x)\bigr)+\omega \biggl(f,\biggl|\frac{ ((2[p]_{q}-1)q^{n+1}-1 )x+1}{[2]_{q}[n+1]_{q}}\biggr| \biggr),$$

where C is a positive constant, $$\delta_{n}(x)$$ is given by (4).

### Proof

For $$f\in C[0,1+p]$$, $$x\in[0,1]$$, we define

$$\widehat{S}_{n,p}(f;q;x)=S_{n,p}(f;q;x)+f(x)-f(a_{n}x+b_{n}),$$
(6)

where $$a_{n}=\frac{2q[n+p]_{q}}{[2]_{q}[n + 1]_{q}}$$, $$b_{n}=\frac{1}{[2]_{q}[n + 1]_{q}}$$. By Lemma 2 we get $$\widehat{S}_{n,p}(1;q;x)=1$$, $$\widehat{S}_{n,p}(t;q;x)=x$$. Let $$g\in W^{2}$$, $$t\in[0,1+p]$$, $$x\in[0,1]$$, by Taylor’s formula, we obtain

$$\widehat{S}_{n,p}(g;q;x)=g(x)+\widehat{S}_{n,p}\biggl(\int _{x}^{t}(t-u)g''(u)\,du;q;x \biggr).$$

Using the inequality $$(a-b)^{2}\leq2(a^{2}+b^{2})$$, we have

\begin{aligned} &S_{n,p}\bigl((t-x)^{2};q;x \bigr)+(a_{n}x+b_{n}-x)^{2} \\ &\quad\leq\frac{4}{[n]_{q}} \biggl(x(1-x)+\frac{([p]_{q}+1)^{2}}{[n]_{q}} \biggr)+ \frac{4(2-4[p]_{q}+4[p]_{q}^{2})}{[n]_{q}^{2}}x^{2}+\frac {2}{[n]_{q}^{2}} \\ &\quad\leq5\delta_{n}^{2}(x), \end{aligned}
(7)

so, by the definition given by (6) and Lemma 4, for $$x\in[0,1]$$, we have

\begin{aligned} &\bigl|\widehat{S}_{n,p}(g;q;x)-g(x)\bigr| \\ &\quad\leq\biggl|S_{n,p}\biggl(\int_{x}^{t}(t-u)g''(u)\,du;q;x \biggr)\biggr| +\biggl|\int_{x}^{a_{n}x+b_{n}}(a_{n}x+b_{n}-u)g''(u)\,du\biggr| \\ &\quad\leq S_{n,p}\biggl(\biggl\vert \int_{x}^{t}|t-u|\bigl|g''(u)\bigr|\,du \biggr\vert ;q;x\biggr)+\biggl\vert \int_{x}^{a_{n}x+b_{n}}|a_{n}x+b_{n}-u|\bigl|g''(u)\bigr|\,du \biggr\vert \\ &\quad\leq\bigl[S_{n,p}\bigl((t-x)^{2};q;x \bigr)+(a_{n}x+b_{n}-x)^{2}\bigr] \bigl\| g''\bigr\| \\ &\quad\leq5\delta_{n}^{2}(x)\bigl\| g'' \bigr\| . \end{aligned}

On the other hand, by the definition given by (6) and Lemma 5, we have

$$\bigl|\widehat{S}_{n,p}(f;q;x)\bigr|\leq\bigl|S_{n,p}(f;q;x)\bigr|+2 \|f\|\leq3\|f\|.$$
(8)

Thus, for $$x\in[0,1]$$, using Lemma 4(i), we have

\begin{aligned} &\bigl|S_{n,p}(f;q;x)-f(x)\bigr| \\ &\quad\leq\bigl|\widehat{S}_{n,p}(f-g;q;x)\bigr| + \bigl|\widehat{S}_{n,p}(g;q;x)-g(x)\bigr|+\bigl|g(x)-f(x)\bigr| +\bigl|f(a_{n}x+b_{n})-f(x)\bigr| \\ &\quad\leq 4\|f-g\|+5\delta_{n}^{2}(x)\bigl\| g'' \bigr\| +\omega \biggl(f,\biggl|\frac{ ((2[p]_{q}-1)q^{n+1}-1 )x+1}{[2]_{q}[n+1]_{q}}\biggr| \biggr). \end{aligned}

Hence, taking infimum on the right-hand side over all $$g\in W^{2}$$, we can get

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq 5K_{2}\bigl(f,\delta_{n}^{2}(x) \bigr)+\omega \biggl(f,\biggl|\frac{ ((2[p]_{q}-1)q^{n+1}-1 )x+1}{[2]_{q}[n+1]_{q}}\biggr| \biggr).$$

By inequality (3), for every $$q\in(0,1)$$, we have

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq C\omega_{2}\bigl(f, \delta_{n}(x)\bigr)+\omega \biggl(f,\biggl|\frac{ ((2[p]_{q}-1)q^{n+1}-1 )x+1}{[2]_{q}[n+1]_{q}}\biggr| \biggr).$$

□

### Theorem 4

Let $$f\in C^{1}[0,1+p]$$, $$x\in[0,1]$$, $$q\in(0,1)$$, we have

\begin{aligned} \bigl|S_{n,p}(f;q;x)-f(x)\bigr| \leq&\bigl\| f'\bigr\| \biggl|\frac {(2[p]_{q}-1)q^{n+1}-1}{[2]_{q}[n+1]_{q}}x + \frac{1}{[2]_{q}[n+1]_{q}}\biggr| \\ &{}+2\delta_{n}(x)\omega\bigl(f',\delta_{n}(x) \bigr), \end{aligned}

where $$\|f'\|=\max\{|f'(x)|; x\in[0,1+p]\}$$, $$\delta_{n}(x)$$ is given by (4).

### Proof

Let $$f\in C^{1}[0,1+p]$$, for any $$t\in[0,1+p]$$, $$x\in[0,1]$$ and $$\delta>0$$, we get

\begin{aligned} \bigl|f(t)-f(x)-f'(x) (t-x)\bigr| \leq&\biggl|\int_{x}^{t}\bigl|f'(u)-f'(x)\bigr|\,du\biggr| \\ \leq&\omega\bigl(f', |t-x|\bigr)|t-x| \\ \leq&\omega\bigl(f',\delta\bigr) \bigl(|t-x|+ \delta^{-1}(t-x)^{2}\bigr), \end{aligned}

hence

\begin{aligned} &\bigl|S_{n,p}\bigl(f(t)-f(x)-f'(x) (t-x);q;x\bigr)\bigr| \\ &\quad\leq\omega\bigl(f',\delta\bigr) \bigl(S_{n,p}\bigl(|t-x|;q;x\bigr)+ \delta ^{-1}S_{n,p}\bigl((t-x)^{2};q;x\bigr) \bigr). \end{aligned}

By using the Cauchy-Schwarz inequality, we have

\begin{aligned} &\bigl|S_{n,p}\bigl(f(t)-f(x)-f'(x) (t-x);q;x\bigr)\bigr| \\ &\quad\leq\omega\bigl(f',\delta\bigr) \bigl(\sqrt{S_{n,p}(1;q;x)} +\delta^{-1}\sqrt{S_{n,p}\bigl((t-x)^{2};q;x\bigr)} \bigr)\sqrt{S_{n,p}\bigl((t-x)^{2};q;x\bigr)}. \end{aligned}

Thus, by Lemma 2 and Lemma 4, for $$x\in[0,1]$$, we can get

\begin{aligned} \bigl|S_{n,p}(f;q;x)-f(x)\bigr| \leq&\bigl\| f'\bigr\| \biggl|\frac {(2[p]_{q}-1)q^{n+1}-1}{[2]_{q}[n+1]_{q}}x + \frac{1}{[2]_{q}[n+1]_{q}}\biggr| \\ &{}+\omega\bigl(f',\delta\bigr) \bigl(1+\delta^{-1} \delta_{n}(x) \bigr)\delta_{n}(x). \end{aligned}

Taking $$\delta=\delta_{n}(x)$$, then from the above inequality we obtain the desired result.

Finally we give the global approximation for the sequence $$\{S_{n,p}(f;q)\}$$. For the next theorem we shall use some notations.

For $$f\in C[0,1+p]$$ and $$\varphi(x)=\sqrt{x(1-x)}$$, $$x\in [0,1]$$, let

$$\omega_{2}^{\varphi}(f,\sqrt{\eta})=\sup_{0< h\leq\sqrt{\eta}} \sup_{x\pm h\varphi(x)\in[0,1+p]}\bigl|f\bigl(x+h\varphi(x)\bigr)-2f(x)+f\bigl(x-h\varphi(x) \bigr)\bigr|$$

be the second order Ditzian-Totik modulus of smoothness, and let

$$\overline{K}_{2,\varphi}(f,\eta)=\inf\bigl\{ \| f-g\|+\eta \bigl\| \varphi^{2}g''\bigr\| +\eta^{2}\bigl\| g''\bigr\| : g\in W^{2}(\varphi)\bigr\}$$

be the corresponding K-functional, where $$W^{2}(\varphi)=\{g\in C[0,1+p]:g'\in AC_{\mathrm{loc}}[0,1+p], \varphi^{2}g''\in C[0,1+p]\}$$ and $$g'\in AC_{\mathrm{loc}}[0,1+p]$$ means that g is differentiable and $$g'$$ is absolutely continuous on every closed interval $$[a,b]\subseteq[0,1+p]$$. It is well known (see [5], p.24, Theorem 1.3.1) that

$$\overline{K}_{2,\varphi}(f,\eta)\leq C\omega_{2}^{\varphi}(f, \sqrt{\eta})$$
(9)

for some absolute constant $$C>0$$.

Furthermore, the Ditzian-Totik modulus of first order is given by

$$\overrightarrow{\omega}_{\psi}(f,\eta)=\sup _{0< h\leq\eta}\sup_{x,x+h\psi\in[0,1+p]}\bigl|f\bigl(x+h\psi(x) \bigr)-f(x)\bigr|,$$
(10)

where ψ is an admissible step-weight function on $$[0,1]$$. □

Now we state our next main result.

### Theorem 5

Let $$\{S_{n,p}(f;q)\}$$ be defined by (1). Then there exists an absolute constant $$C>0$$ such that

$$\bigl\| S_{n,p}(f;q;\cdot)-f\bigr\| \leq C\omega_{2}^{\varphi} \biggl(f, \sqrt{\frac{1}{[n]_{q}}}\biggr)+\overrightarrow{\omega}_{\psi} \biggl(f;\frac {1}{[n]_{q}} \biggr),$$

where $$f\in C[0,1+p]$$, $$0< q<1$$, $$\varphi(x)=\sqrt{x(1-x)}$$ and $$\psi(x)=(1+|2[p]_{q}-1|)x+1$$, $$x\in[0,1]$$.

### Proof

Let

$$\widehat{S}_{n,p}(f;q;x)=S_{n,p}(f;q;x)+f(x)-f(a_{n}x+b_{n}),$$

where $$f\in C[0,1+p]$$, $$a_{n}=\frac{2q[n+p]_{q}}{[2]_{q}[n + 1]_{q}}$$, $$b_{n}=\frac{1}{[2]_{q}[n + 1]_{q}}$$. Let $$g\in W^{2}(\varphi)$$, $$t\in[0,1+p]$$, $$x\in[0,1]$$, by using Taylor’s formula, we have

$$\widehat{S}_{n,p}(g;q;x)=g(x)+ S_{n,p}\biggl(\int _{x}^{t}(t-u)g''(u)\,du;q;x \biggr) -\int_{x}^{a_{n}x+b_{n}}(a_{n}x+b_{n}-u)g''(u)\,du.$$

Hence

\begin{aligned} \bigl|\widehat{S}_{n,p}(g;q;x)-g(x)\bigr| \leq&\biggl|S_{n,p} \biggl(\int_{x}^{t}(t-u)g''(u)\,du;q;x \biggr)\biggr| \\ &{}+\biggl|\int_{x}^{a_{n}x+b_{n}}(a_{n}x+b_{n}-u)g''(u)\,du\biggr|. \end{aligned}
(11)

Let $$\lambda_{n}^{2}(x)=\varphi^{2}(x)+\frac{([p]_{q}+1)^{2}}{[n]_{q}}$$, because the function $$\lambda_{n}$$ is concave on $$[0,1]$$, we have for $$u=t+\tau(x-t)$$, $$\tau\in[0,1]$$, the estimate

$$\frac{|t-u|}{\lambda_{n}^{2}(u)} \leq \frac{\tau|x-t|}{\lambda_{n}^{2}(t)+\tau(\lambda_{n}^{2}(x)-\lambda _{n}^{2}(t))}\leq\frac{|x-t|}{\lambda_{n}^{2}(x)}.$$

Hence, by (11) we have

\begin{aligned} &\bigl|\widehat{S}_{n,p}(g;q;x)-g(x)\bigr| \\ &\quad\leq\frac{1}{\lambda_{n}^{2}(x)}S_{n,p}\bigl((t-x)^{2};q;x\bigr) \bigl\| \lambda _{n}^{2}g''\bigr\| + \frac{1}{\lambda_{n}^{2}(x)}(a_{n}x+b_{n}-x)^{2}\bigl\| \lambda _{n}^{2}g''\bigr\| . \end{aligned}

In view of (7) and $$\|\lambda_{n}^{2}g''\|\leq\|\varphi^{2}g''\|+\frac {([p]_{q}+1)^{2}}{[n]_{q}}\|g''\|$$, for $$x\in[0,1]$$, we have

$$\bigl|\widehat{S}_{n,p}(g;q;x)-g(x)\bigr|\leq\frac{20}{[n]_{q}}\biggl(\bigl\| \varphi^{2}g''\bigr\| +\frac{([p]_{q}+1)^{2}}{[n]_{q}} \bigl\| g''\bigr\| \biggr).$$

Using (8), for $$f\in C[0,1+p]$$, we find

\begin{aligned} &\bigl|S_{n,p}(f;q;x)-f(x)\bigr| \\ &\quad\leq4\|f-g\|+\frac{20}{[n]_{q}}\biggl(\bigl\| \varphi^{2}g'' \bigr\| +\frac {([p]_{q}+1)^{2}}{[n]_{q}}\bigl\| g''\bigr\| \biggr)+\bigl|f(a_{n}x+b_{n})-f(x)\bigr|. \end{aligned}

Taking the infimum on the right-hand side over all $$g\in W^{2}(\varphi)$$, we obtain

$$\bigl|S_{n,p}(f;q;x)-f(x)\bigr|\leq20\bigl([p]_{q}+1 \bigr)^{2}\overline{K}_{2,\varphi }\biggl(f,\frac{1}{[n]_{q}} \biggr)+\bigl|f(a_{n}x+b_{n})-f(x)\bigr|.$$

On the other hand, by (10) we have

\begin{aligned} &\bigl|f(a_{n}x+b_{n})-f(x)\bigr| \\ &\quad=\biggl|f \biggl(x+\psi(x) \biggl(\frac {(a_{n}-1)x+b_{n}}{\psi(x)} \biggr) \biggr)-f(x)\biggr| \\ &\quad\leq\sup_{t,t+\psi(t) (\frac{(a_{n}-1)x+b_{n}}{\psi (x)} )\in[0,1+p]} \biggl\vert f \biggl( t+\psi(t) \biggl( \frac{(a_{n}-1)x+b_{n}}{\psi(x)} \biggr) \biggr)-f(t)\biggr\vert \\ &\quad\leq\overrightarrow{\omega}_{\psi} \biggl(f;\biggl\vert \frac {(a_{n}-1)x+b_{n}}{\psi(x)}\biggr\vert \biggr) \\ &\quad\leq\overrightarrow{\omega}_{\psi} \biggl(f;\frac{1}{[n]_{q}} \biggr), \end{aligned}

so, using (9) we obtain

$$\bigl\| S_{n,p}(f;q)-f\bigr\| \leq C\omega_{2}^{\varphi}\biggl(f, \sqrt {\frac{1}{[n]_{q}}}\biggr)+\overrightarrow{\omega}_{\psi} \biggl(f; \frac {1}{[n]_{q}} \biggr).$$

□

## References

1. Philips, GM: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511-518 (1997)

2. Aral, A, Doǧru, O: Bleimann, Butzer, and Hahn operators based on the q-integers. J. Inequal. Appl. 2007, 079410 (2007). doi:10.1155/2007/79410

3. Aral, A, Gupta, V, Agarwal, RP: Applications of q-Calculus in Operator Theory. XII. Springer, New York (2013)

4. Doǧru, O, Gupta, V: Korovkin-type approximation properties of bivariate q-Meyer-König and Zeller operators. Calcolo 43, 51-63 (2012)

5. Gupta, V, Wang, HP: The rate of convergence of q-Durrmeyer operators for $$0< q<1$$. Math. Methods Appl. Sci. 31, 1946-1955 (2008)

6. Ren, MY, Zeng, XM: Approximation of the summation-integral-type q-Szász-Mirakjan operators. Abstr. Appl. Anal. 2012, 614810 (2012). doi:10.1155/2012/614810

7. Ren, MY, Zeng, XM: On statistical approximation properties of modified q-Bernstein-Schurer operators. Bull. Korean Math. Soc. 50, 1145-1156 (2013)

8. Gupta, V, Agarwal, RP: Convergence Estimates in Approximation Theory. Springer, New York (2014)

9. Maheshwari, P, Sharma, D: Approximation by q-Baskakov-Beta-Stancu operators. Rend. Circ. Mat. Palermo 61(2), 297-305 (2012)

10. Verma, DK, Agrawal, PN: Approximation by Baskakov-Durrmeyer-Stancu operators based on q-integers. Lobachevskii J. Math. 43, 187-196 (2013)

11. Zhao, C, Cheng, WT, Zeng, XM: Some approximation properties of a kind of q-Gamma-Stancu operators. J. Inequal. Appl. 2014, 94 (2014). doi:10.1186/1029-242X-2014-94

12. Gupta, V, Karsli, H: Some approximation properties by q-Szász-Mirakyan-Baskakov-Stancu operators. Lobachevskii J. Math. 33(2), 175-182 (2012)

13. Aral, A, Gupta, V: On the q-analogue of Stancu-Beta operators. Appl. Math. Lett. 25(1), 67-71 (2012)

14. Dinlemez, Ü: Convergence of the q-Stancu-Száasz-Beta type operators. J. Inequal. Appl. 2014, 354 (2014). doi:10.1186/1029-242X-2014-354

15. Schurer, F: Linear Positive Operators in Approximation Theory. Math. Inst., Techn. Univ. Delf: Report (1962)

16. Muraru, CV: Note on q-Bernstein-Schurer operators. Stud. Univ. Babeş-Bolyai, Math. 56, 489-495 (2011)

17. Mahmudov, NI, Sabancigil, P: Approximation theorems for q-Bernstein-Kantorovich operators. Filomat 27, 721-730 (2013)

18. Özarslan, MA, Vedi, T: q-Bernstein-Schurer-Kantorovich operators. J. Inequal. Appl. 2013, 444 (2013). doi:10.1186/1029-242X-2013-444

19. Lin, Q: Statistical approximation of q-Bernstein-Schurer-Stancu-Kantorovich operators. J. Appl. Math. 2014, 569450 (2014). doi:10.1155/2014/569450

20. DeVore, RA, Lorentz, GG: Constructive Approximation. Springer, Berlin (1993)

21. Videnskii, VS: On q-Bernstein polynomials and related positive linear operators. In: Problems of Modern Mathematics and Mathematical Education. Hertzen readings, St.-Petersburg, pp. 118-126 (2004) (in Russian)

22. Chen, WZ: Operators Approximation Theory. Xiamen University Press, Xiamen (1989) (in Chinese)

## Acknowledgements

This work is supported by the National Natural Science Foundation of China (Grant no. 61170324), the Class A Science and Technology Project of Education Department of Fujian Province of China (Grant no. JA12324), and the Natural Science Foundation of Fujian Province of China (Grant nos. 2014J01021 and 2013J01017).

## Author information

Authors

### Corresponding author

Correspondence to Mei-Ying Ren.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions

Ren, MY., Zeng, XM. Approximation of Schurer type q-Bernstein-Kantorovich operators. J Inequal Appl 2015, 82 (2015). https://doi.org/10.1186/s13660-015-0601-z

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13660-015-0601-z

• 41A10
• 41A25
• 41A36

### Keywords

• Schurer type q-Bernstein-Kantorovich operators
• Korovkin type approximation theorem
• rate of convergence
• q-integers
• modulus of continuity