Advertisement

Advances in Difference Equations

, 2018:448 | Cite as

Approximation by quaternion \((p,q)\)-Bernstein polynomials and Voronovskaja type result on compact disk

  • Haifa Bin Jebreen
  • Mohammad Mursaleen
  • Ambreen Naaz
Open Access
Research
  • 123 Downloads

Abstract

In this paper, we define the \((p,q)\)-Bernstein polynomials of degree m of a quaternion variable. We obtain some approximation results, and also the Voronovskaja type result with quantitative upper estimates is proved.

Keywords

Quaternion \((p,q)\)-Bernstein-polynomials Order of approximation Analytic functions Voronovskaja type results Compact disk 

MSC

41A10 41A25 41A36 

1 Introduction

The quaternion field is an extension of the class of complex numbers, i.e., \(\mathbb{C} \subset\mathbb{H}\). It is a non-commutative field defined by
$$ \mathbb{H} = \{ w = y_{1} + y_{2}i + y_{3}j + y_{4}k: y_{1},y_{2},y_{3},y_{4} \in\mathbb{R}\}, $$
where the complex units \(i,j,k \notin\mathbb{R}\) satisfy
$$ i^{2} = j^{2} = k^{2} = -1, \qquad ij = -ji = k, \qquad jk = -kj = i,\qquad ki = -ik = j. $$
For \(\omega= y_{1} + y_{2}i + y_{3}j + y_{4}k\), the norm is defined as \(\| w \| = \sqrt{y_{1}^{2} + y_{2}^{2} + y_{3}^{2} + y_{4}^{2}}\) on \(\mathbb {H}\).

We need to give some basic details of analyticity of a function of quaternion variable and some properties of \((p,q)\)-calculus for our purpose.

Definition 1.1

(see Gal [7], p. 296)

A function \(\mathcal{G}: \mathbb{D}_{\mathcal{R}} \longrightarrow\mathbb{H}\) is left Weierstrass analytic (or left \(\mathcal{W}\)-analytic) in \(\mathbb{D}_{\mathcal{R}}\) if \(\mathcal{G}(w) = \sum_{l=0}^{\infty}c_{l}w^{l}\) for all \(w \in\mathbb {D}_{\mathcal{R}} \), where \(\mathbb{D}_{\mathcal{R}}\) denotes the open ball, i.e., \(\mathbb{D}_{\mathcal{R}} = \{w \in\mathbb{H}:\| w \| < \mathcal{R}\}\) and \(c_{l} \in \mathbb{H}\) for all \(l=0,1,2,\ldots\) . Similarly, \(\mathcal{G}\) is called right \(\mathcal{W}\)-analytic in \(\mathbb{D}_{\mathcal{R}}\) if \(\mathcal{G}(w) = \sum_{l=0}^{\infty}w^{l}c_{l}\) for all \(w \in\mathbb {D}_{\mathcal{R}}\).

It is understood here that in any closed ball \(\overline{\mathbb{D}}_{r}=\{\omega\in\mathbb{H}:\| w\| \leq r\}, 0< r<\mathcal{R}\), the partial sums \(\sum_{l=0}^{n}c_{l}w^{l}\) and \(\sum_{l=0}^{n}w^{l}c_{l}\) converge to \(\mathcal{G}\) uniformly, with respect to the metric \(d(w,z)=\| w-z\| \).

Remark

The two concepts given in Definition 1.1 coincide with the Weierstrass type analyticity in the case of complex variable and that is equivalent to the holomorphy concept given by Cauchy. Also, it is better known that the only functions of the trivial form \(\mathcal {G}(w)=Cw+D\) are analytic in the Cauchy sense in the case of quaternion variable (Mejlihzon [17]), while the classic classes of left (or right) monogenic functions at each \(w = y_{1}+y_{2}i+y_{3}j+y_{4}k\in\mathbb{D}_{\mathcal {R}}\subset \mathbb{H}\) were introduced by Moisil [18] as the class of functions \(\mathcal{G}=\mathcal{G}_{1}+\mathcal{G}_{2}i+\mathcal {G}_{3}j+\mathcal{G}_{4}k\) satisfying \(T\mathcal{G}(w)=0\) (or \(\mathcal{G}T(w)=0\) respectively) at each \(w\in\mathbb{D}_{\mathcal{R}}\), where \(T=\frac{\partial }{\partial y_{1}}+\frac{\partial}{\partial y_{2}}i+\frac{\partial}{\partial y_{3}}j+\frac{\partial}{\partial y_{4}}k\) does not coincide with the class of left \(\mathcal{W}\)-analytic (or right \(\mathcal{W}\)-analytic, respectively) function defined in Definition 1.1. For more details concerning the properties of the left (or right) \(\mathcal{W}\)-analytic functions, see [11], [10].

Many authors have worked on q-analogue of different operators, for instance, in [9, 23, 25, 26]. Recently in several areas of mathematical sciences the \((p,q)\)-calculus has many interesting applications (see [5, 12, 16]). For \(p=1\), the notion of \((p,q)\)-calculus is reduced to q-calculus and the transition from the q-case to the \((p,q)\)-case with an extra parameter p is fairly straightforward. One advantage of using the parameter p has been mentioned in approximation by \((p,q)\) Lorentz operators in compact disk [20]. For more \((p,q)\)-approximation, we refer to [1, 2, 3, 4, 13, 14, 15] and [27].

Most recently, Mursaleen et al. introduced and studied approximation properties of the \((p,q)\)-analogues of many well-known operators, such as Bernstein operators [19], Lorentz operators on compact disk [20], Bleimann–Butzar–Hahn operators [21], divided-difference and Bernstein operators [22], and many more.

Now recall some notations and definitions on \((p,q)\)-calculus.

For \(0< q< p\) and any positive integer m, \((p,q)\) integers are defined as
$$ {}[ m]_{p,q}= \textstyle\begin{cases} \frac{p^{m}-q^{m}}{p-q}, & p\neq q, \\ m, & p=q=1.\end{cases} $$
The \((p,q)\)-binomial expansion is defined as
$$\begin{aligned} &(ax+by)_{p,q}^{m} =\sum_{k=0}^{m}p^{\frac{(m-k)(m-k-1)}{2}}q^{\frac {k(k-1)}{2}} \binom{m}{k}_{p,q}a^{m-k}b^{k}x^{m-k}y^{k}, \\ &(x+y)_{p,q}^{m} =(x+y) (px+qy) (px+qy) \bigl(p^{2}x+q^{2}y \bigr)\cdots \bigl(p^{n-1}x+q^{n-1}y \bigr), \\ &(1-x)_{p,q}^{m} =(1-x) (p-qx) \bigl(p^{2}-q^{2}x \bigr)\cdots \bigl(p^{n-1}-q^{n-1}x \bigr), \end{aligned}$$
and for the integers \(0\leq k\leq m\), \((p,q)\)-binomial coefficients are defined by
$$ \binom{m}{k}_{p,q}=\frac{[m]_{p,q}!}{[k]_{p,q}![m-k]_{p,q}!}, $$
where
$$ {}[ m]_{p,q}!=[m]_{p,q}[m-1]_{p,q} \cdots[1]_{p,q}. $$
The \((p,q)\)-analogue of Bernstein operators is defined as follows [22]:
$$ \mathcal{B}_{p,q}^{m}(f;x)=\frac{1}{p^{\frac{m(m-1)}{2}}}\sum _{k=0}^{m}\binom{m}{k}_{p,q}p^{\frac{k(k-1)}{2}}f \biggl(\frac{[k]_{p,q}}{p^{k-n}[n]_{p,q}} \biggr)x^{k}\prod _{s=0}^{m-k-1} \bigl(p^{s}-q^{s}x \bigr). $$
(1.1)
The Euler identity is defined by
$$ \prod_{s=0}^{m-1} \bigl(p^{s}-q^{s}x \bigr)=\sum_{k=0}^{m}p^{\frac {(m-k)(m-k-1)}{2}}q^{\frac{k(k-1)}{2}} \binom{m}{k}_{p,q}x^{k}. $$
(1.2)
We introduce the following.

Definition 1.2

Let \(q>p\geq1\) and \(\mathcal{R}>1\). For a function \(\mathcal{G}:\mathbb{D}_{\mathcal{R}}\longrightarrow\mathbb{H}\), because of non-commutativity, we define three distinct \((p,q)\)-Bernstein polynomials of a quaternion variable:
$$\begin{aligned} &\mathcal{B}_{p,q}^{m}(\mathcal{G}) (w) = \frac{1}{p^{\frac {m(m-1)}{2}}}\sum_{l=0}^{m} \mathcal{G} \biggl(\frac {[l]_{p,q}}{p^{l-m}[m]_{p,q}} \biggr)\binom{m}{l}_{p,q}p^{\frac{l(l-1)}{2}}w^{l}\prod_{s=0}^{m-1-l} \bigl(p^{s}-q^{s}w \bigr),\quad w\in\mathbb{H}, \\ &\mathcal{B}_{p,q}^{m\ast}(\mathcal{G}) (w) = \frac{1}{p^{\frac {m(m-1)}{2}}}\sum_{l=0}^{m} \binom{m}{l}_{p,q}p^{\frac{l(l-1)}{2}}w^{l}\prod _{s=0}^{m-1-l} \bigl(p^{s}-q^{s}w \bigr)\mathcal{G} \biggl(\frac{[l]_{p,q}}{ p^{l-m}[m]_{p,q}} \biggr),\quad w\in\mathbb{H}, \\ &\mathcal{B}_{p,q}^{m\ast\ast}(\mathcal{G}) (w) =\frac {1}{p^{\frac{m(m-1)}{2}}} \sum_{l=0}^{m}\binom{m}{l}_{p,q}p^{\frac {l(l-1)}{2}}w^{l} \mathcal{G} \biggl(\frac{[l]_{p,q}}{p^{l-m}[m]_{p,q}} \biggr)\prod _{s=0}^{m-1-l} \bigl(p^{s}-q^{s}w \bigr),\quad w\in\mathbb{H}, \end{aligned}$$
by labeling them as the left \((p,q)\)-Bernstein polynomials, the right \((p,q)\)-Bernstein polynomials, and the middle \((p,q)\)-Bernstein polynomials, respectively.

2 Approximation results

Firstly, we show that for any continuous function \(\mathcal{G}\) these three kinds of \((p,q)\)-Bernstein polynomials do not converge. For example, if we take \(\mathcal{G} = iwi\), we get easily
$$\begin{aligned} \bigl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w) - iwi \bigr\Vert &= \bigl\Vert \mathcal {B}^{m*}_{p,q}(\mathcal{G}) (w) - iwi \bigr\Vert = \bigl\Vert \mathcal{B}^{m**}_{p,q}( \mathcal{G}) (w) - iwi \bigr\Vert \\ &= \Vert {-}w - iwi \Vert = \Vert {-}iw + wi \Vert > 0 \quad\text{for all } w\neq i. \end{aligned}$$

We can obtain convergence result for the classes of functions in Definition 1.1. For this we need some auxiliary results for \((p,q)\)-operators in complex plane similar as done in [28] for q-operators.

Lemma 2.1

Let\(q\geq p\geq1\)be fixed. Then, for\(n\geq2\),
$$ \mathcal {B}_{p,q}^{m} \bigl(t^{n},w \bigr)=c_{1}w+c_{2}w^{2}+\cdots+c_{i}w^{i},\quad i=\min(n,m), $$
(2.1)
where\(c_{j}\geq0\ (j=1,2,\ldots,i)\)and\(c_{1}+c_{2}+\cdots+c_{i}=1\). Besides, if\(m\geq n\), then
$$ \begin{aligned} &c_{n}=\prod_{j=1}^{n-1} \biggl(1-p^{m-j}\frac {[j]_{p,q}}{[m]_{p,q}} \biggr),\\ &c_{n-1}= \frac{[1]_{p,q}+[2]_{p,q}+\cdots+[n-1]_{p,q}}{[m]_{p,q}}\prod_{j=1}^{n-2} \biggl(1-p^{m-j}\frac{[j]_{p,q}}{[m]_{p,q}} \biggr). \end{aligned} $$
(2.2)
Also, for any\(r\geq1\),
$$ \bigl\Vert \mathcal{B}_{p,q}^{m} \bigl(t^{n},w \bigr)-w^{n} \bigr\Vert \leq 2(n-1)[n-1]_{p,q}r^{n} \quad\textit{for } \Vert w \Vert \leq r. $$
(2.3)

Proof

The proof is simple, one can prove this lemma with the help of Lemma 3 of [24]. So we skip it. □

Lemma 2.2

Let\(c_{1},c_{2},\ldots,c_{k}\in(0,1)\). Then
$$ 1-\prod_{i=1}^{k}(1-c_{i})\leq \sum_{i=1}^{k}c_{i} $$
(2.4)
and
$$ \Biggl\Vert 1-\prod_{i=1}^{k}(1-c_{i})- \sum_{i=1}^{k}c_{i} \Biggr\Vert \leq \sum _{1\leq i< j\leq k}c_{i}c_{j}. $$
(2.5)

Proof

For the proof, see (Wang [28], Lemma 2). □

Lemma 2.3

Let\(q \geq p \geq1\)be fixed. If\(m \geq n \geq2\)and\(r \geq1\), then for anyw, \(\|w\| \leq r\),
$$\begin{aligned} & \bigl\Vert [m]_{p,q} \bigl(\mathcal{B}^{m}_{p,q} \bigl(t^{n},w \bigr)-w^{n} \bigr)- \bigl([1]_{p,q}+[2]_{p,q}+ \cdots+[n-1]_{p,q} \bigr) \bigl(w^{n-1}-w^{n} \bigr) \bigr\Vert \\ &\quad \leq \frac{4p^{m-n+1}(n-1)^{2}[n-1]^{2}_{p,q}}{[m]_{p,q}}r^{n}. \end{aligned}$$
(2.6)

Proof

It follows from (2.1) and (2.2) that, for \(\|w\| \leq r\),
$$\begin{aligned} K ={}& \bigl\Vert [m]_{p,q} \bigl(\mathcal{B}^{m}_{p,q} \bigl(t^{n},w \bigr)-w^{n} \bigr)- \bigl([1]_{p,q}+[2]_{p,q}+ \cdots+[n-1]_{p,q} \bigr) \bigl(w^{n-1}-w^{n} \bigr) \bigr\Vert \\ \leq{}& r^{n}[m]_{p,q}\sum_{i=1}^{n-2}c_{i}+r^{n} \Biggl\Vert {}[ m]_{p,q}c_{n-1}-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert + \Biggl\Vert {}[ m]_{p,q}(1-c_{n})-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert \\ ={}& r^{n}[m]_{p,q}(1-c_{n}-c_{n-1})+r^{n} \Biggl\Vert {}[ m]_{p,q}c_{n-1}-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert + \Biggl\Vert {}[ m]_{p,q}(1-c_{n})-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert \\ \leq{}& 2r^{n} \Biggl\Vert {}[ m]_{p,q}c_{n-1}-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert + \Biggl\Vert {}[ m]_{p,q}(1-c_{n})-\sum _{i=1}^{n-1}[i]_{p,q} \Biggr\Vert \\ ={}& 2r^{n} \Biggl(\sum_{i=1}^{n-1}[i]_{p,q} \Biggr) \Biggl(1-\prod_{i=1}^{n-2} \biggl(1-p^{m-i}\frac{[i]_{p,q}}{[m]_{p,q}} \biggr) \Biggr) ) \\ &{}+2r^{n}[m]_{p,q} \Biggl\| 1-\prod_{i=1}^{n-2} \biggl(1-p^{m-i}\frac {[i]_{p,q}}{[m]_{p,q}} \biggr) )-\sum _{i=1}^{n-1}\frac{[i]_{p,q}}{[m]_{p,q}} \Biggr\| . \end{aligned}$$
Using (2.4) and (2.5), we get
$$\begin{aligned} K &\leq2r^{n} \Biggl(\sum_{i=1}^{n-1}[i]_{p,q} \Biggr) \Biggl(\sum_{i=1}^{n-2}\frac{p^{m-i}[i]_{p,q}}{[m]_{p,q}} \Biggr)+ 2r^{n}\sum_{1 \leq i < j \leq n-1}\frac{p^{m-i}[i]_{p,q}}{[m]_{p,q}}\frac{[j]_{p,q}}{[m]_{p,q}} \\ &\leq\frac{4p^{m-n+1}(n-1)^{2}[n-1]^{2}_{p,q}}{[m]_{p,q}}r^{n}. \end{aligned}$$
Hence the lemma is proved. □

Theorem 2.4

Let\(q>p\geq1\). Suppose that\(\mathcal{G}:\mathbb {D}_{\mathcal{R}}\longrightarrow\mathbb{H}\)such that\(\mathcal{G}(w)\in \mathbb{R}\)for all\(w\in{}[0,1]\). We have the following representation formula:
$$ \mathcal{B}_{p,q}^{m}(\mathcal{G}) (w)=\frac{1}{p^{\frac {m(m-1)}{2}}}\sum_{n=0}^{m}\binom{m}{n}_{p,q}p^{\frac {(m-n)(m-n-1)}{2}} \bigl[\vartriangle^{n}\mathcal{G}(0) \bigr]_{p,q}w^{n}\quad \textit{for all } w\in\mathcal{H}, $$
where\([\vartriangle^{k}\mathcal{G}(0)]_{p,q}=\sum_{k=0}^{n}(-1)^{k}p^{\frac{(n-k)(n-k-1)}{2}}q^{\frac{k(k-1)}{2}}\binom {n}{k}_{p,q}\mathcal{G}(n-k) \).

Proof

In the expression of \(\mathcal{B}^{m}_{p,q}(\mathcal {G})(w)\), the real values \(\mathcal{G}(\frac{[l]_{p,q}}{p^{l-m}[m]_{p,q}})\) commute with the other terms. As we take the condition on \(\mathcal{G}\), so that \(w^{l}\prod_{s=0}^{m-1-l}(p^{s}-q^{s}w)=\prod_{s=0}^{m-1-l}(p^{s}-q^{s}w)w^{l}, \alpha w = w \alpha\), for all \(\alpha\in\mathbb{R}\), \(w \in\mathbb{D}\) and that we can interchange the order of terms in the product \(\prod_{s=0}^{m-1-l}(p^{s}-q^{s}w)\). By the same reason in the case of \((p,q)\)-Bernstein polynomials of real variable [22], we obtain that the coefficient of \(w^{m}\) in the expression of \(\mathcal{B}^{m}_{p,q}(\mathcal{G})(w)\) is
$$ \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w) = \frac{1}{p^{\frac {m(m-1)}{2}}}\sum_{n=0}^{m} \binom{m}{n}_{p,q}p^{\frac{(n)(n-1)}{2}}\mathcal {G} \biggl( \frac{[l]_{p,q}}{p^{l-m}[m]_{p,q}} \biggr)w^{n}\prod_{s=0}^{m-n-l} \bigl(p^{s}-q^{s}w \bigr). $$
By using the Euler identity based on \((p,q)\)-analogue, we get the required result. □

Remark

Clearly, Theorem 2.4 holds also for middle \((p,q)\)-Bernstein operators \(\mathcal{B}^{m**}_{p,q}(\mathcal{G})(w)\) and right \((p,q)\)-Bernstein operators \(\mathcal{B}^{m*}_{p,q}(\mathcal{G})(w)\). In [7] and [8] upper estimates by q-Bernstein operators, \(q \geq1\), of quaternion variable were proved.

Theorem 2.5

(Gal [7])

Suppose that\(\mathcal{G}: \mathbb{D}_{\mathcal{R}} \longrightarrow\mathbb{H}\)is left\(\mathcal{W}\)-analytic in\(\mathbb{D}_{\mathcal{R}}\). Then, for all\(1 \leq r < \mathcal{R}, \|w\| \leq r\), and\(m \in\mathbb{N}\), we have
$$ \bigl\Vert \mathcal{B}^{m}(\mathcal{G}) (w) - \mathcal{G}(w) \bigr\Vert \leq \frac {2}{m}\sum_{k=2}^{\infty} \Vert c_{k} \Vert k(k-1)r^{k}= O({1}/{m}). $$

Theorem 2.6

(Gal [8])

Let\(1< q<\mathcal{R}\)and suppose that\(\mathcal{G}: \mathbb{D}_{\mathcal{R}} \longrightarrow\mathbb{H}\)is left\(\mathcal{W}\)-analytic in\(\mathbb{D}_{\mathcal{R}}\). Then, for all\(1 \leq r < \frac{\mathcal{R}}{q}, \|w\| \leq r\), and\(m \in\mathbb{N}\), we have
$$ \bigl\Vert \mathcal{B}^{m}_{q}(\mathcal{G}) (w) - \mathcal{G}(w) \bigr\Vert \leq\frac {2}{(q-1)[m]_{q}}\sum _{k=1}^{\infty} \Vert c_{k} \Vert k(qr)^{k}= O \bigl({1}/q^{m} \bigr). $$

Remark

By the right Bernstein polynomials \(\mathcal {B}^{m*}_{q}(\mathcal{G})(w)\), a similar upper estimate in approximation can be obtained if \(\mathcal{G}\) is supposed to be right \(\mathcal{W}\)-analytic for \(q \geq1 \).

Theorem 2.7

Let\(\mathcal{R}>q>p>1\)and\(\mathcal{G}:\mathbb {D}_{\mathcal{R}}\longrightarrow\mathbb{H}\)be left\(\mathcal {W}\)-analytic in\(\mathbb{D}_{\mathcal{R}}\), i.e., \(\mathcal{G}(w)=\sum_{i=0}^{\infty }c_{i}w^{i}\)for all\(w\in\mathbb{D}_{\mathcal{R}}\), where\(c_{i}\in \mathbb{H}\)for all\(i=0,1,2,\ldots\) . Then, for all\(1< r<\frac {p\mathcal{R}}{q}\), \(\Vert w\Vert\leq r\), and\(m\in\mathbb{N}\), we have
$$ \bigl\Vert \mathcal{B}_{p,q}^{m}(\mathcal{G}) (w)- \mathcal{G}(w) \bigr\Vert \leq \frac{2p^{m}}{[m]_{p,q}}\sum _{i=0}^{\infty} \Vert c_{i} \Vert i[i-1]_{p,q}r^{i}= O({p}/q)^{m}. $$

Proof

Denoting \(e_{i}(w)=w^{i}\). Firstly we will show that
$$ \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w) = \sum _{i=0}^{\infty }c_{i} \mathcal{B}^{m}_{p,q}(e_{i}) (w)\quad \text{for all } \Vert w \Vert \leq r. $$
(2.7)
Here \(\mathcal{G}_{n}(w)=\sum_{i=0}^{n}c_{i}e_{i}(w), n \in\mathbb {N}\), is the partial sum of the expansion of \(\mathcal{G}\), due to the linearity of \(\mathcal{B}^{m}_{p,q}\), we get
$$ \mathcal{B}^{m}_{p,q}(\mathcal{G}_{n}) (w) = \sum _{i=0}^{n}c_{i} \mathcal{B}^{m}_{p,q}(e_{i}) (w)\quad \text{for all } \Vert w \Vert \leq r, $$
it is enough to prove that \(\lim_{n\longrightarrow\infty}\mathcal{B} ^{m}_{p,q}(\mathcal{G}_{n})(w)=\mathcal{B}^{m}_{p,q}(\mathcal {G})(w)\) for all \(\|w\| \leq r\) and \(m \in\mathbb{N}\).
By Theorem 2.4 we have
$$ \mathcal{B}^{m}_{p,q}(\mathcal{G}_{n}) (w) = \frac{1}{p^{\frac {m(m-1)}{2}}}\sum_{k=0}^{m} \binom{m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}} \bigl[\vartriangle^{k}\mathcal{G}_{n}(0) \bigr]_{p,q}e_{k}(w), $$
for all \(m,n \in\mathbb{N}\) and \(\|w\| \leq\mathcal{R}\), it follows
$$\begin{aligned} & \bigl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}_{n}) (w)- \mathcal {B}^{m}_{p,q}(\mathcal{G}) (w) \bigr\Vert \\ &\quad\leq\frac{1}{p^{\frac{m(m-1)}{2}}}\sum_{k=0}^{m} \binom {m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}} \bigl\Vert \bigl[ \bigl( \vartriangle^{k}\mathcal{G}_{n}-\mathcal {G} \bigr) (0) \bigr]_{p,q} \bigr\Vert . \bigl\Vert e_{k}(w) \bigr\Vert \\ &\quad \leq\frac{1}{p^{\frac{m(m-1)}{2}}}\sum_{k=0}^{m} \binom {m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}} \\ &\qquad{}\times\sum_{j=0}^{k}(-1)^{j}p^{\frac{(k-j)(k-j-1)}{2}}q^{\frac {j(j-1)}{2}}\binom{k}{j}_{p,q} \biggl\Vert (\mathcal{G}_{n}- \mathcal{G}) \biggl( \frac{p^{m-k+j}[k-j]_{p,q}}{[m]_{p,q}} \biggr) \biggr\Vert . \bigl\Vert e_{m}(w) \bigr\Vert \\ &\quad \leq\frac{1}{p^{\frac{m(m-1)}{2}}}\sum_{k=0}^{m} \binom {m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}}\sum_{j=0}^{k}p^{\frac {(k-j)(k-j-1)}{2}}q^{\frac{j(j-1)}{2}} \binom{k}{j}_{p,q}\mathcal{C}_{j,\beta}^{p,q} \bigl\Vert ( \mathcal {G}_{n}-\mathcal{G}) \bigr\Vert _{r}. \bigl\Vert e_{k}(w) \bigr\Vert \\ &\quad \leq Z_{m,j}^{p,q} \bigl\Vert (\mathcal{G}_{n}- \mathcal{G}) \bigr\Vert _{r}, \end{aligned}$$
which by \(\lim_{n\longrightarrow\infty}\|(\mathcal{G}_{n}-\mathcal {G})\|_{r}=0\) implies the desired conclusion.

Here \(\|(\mathcal{G}_{n}-\mathcal{G})\|_{r}=\max{\|(\mathcal {G}_{n}(w)-\mathcal{G}(w)\|; \|w\|\leq r}\).

Consequently, we obtain
$$\begin{aligned} & \bigl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}_{n}) (w)-( \mathcal{G}) (w) \bigr\Vert \\ &\quad \leq\sum_{i=0}^{\infty} \Vert c_{i} \Vert . \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert \\ &\quad= \sum_{i=0}^{m} \Vert c_{i} \Vert . \bigl\Vert \mathcal {B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert + \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl\Vert \mathcal {B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert . \end{aligned}$$
It remains to estimate \(\|\mathcal{B}^{m}_{p,q}(e_{i})(w)-e_{i}(w)\|\), firstly for all \(0 \leq i \leq m\) and secondly for \(i \geq m+1\), where
$$ \mathcal{B}^{m}_{p,q}(e_{i}) (w) = \frac{1}{p^{\frac{m(m-1)}{2}}}\sum_{k=0}^{m} \binom{m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}} \bigl[\vartriangle^{k}e_{i}(0) \bigr]_{p,q}e_{k}(w). $$
Set
$$ \mathcal{A}^{m,k,i}_{p,q}=\frac{1}{p^{\frac{m(m-1)}{2}}} \binom {m}{k}_{p,q}p^{\frac{(m-k)(m-k-1)}{2}} \bigl[ \vartriangle^{k}e_{i}(0) \bigr]_{p,q}, $$
by relationship given in [22], we can write
$$ \mathcal{A}^{m,k,i}_{p,q} = p^{\frac{(m-k)(m-k-1)}{2}}q^{\frac {k(k-1)}{2}}\binom{m}{k}_{p,q}\frac{[k]_{p,q}!}{[m]_{p,q}} \biggl[0,\frac{p^{m-1}[1]_{p,q}}{[m]_{p,q}}, \ldots,\frac {p^{m-k}[k]_{p,q}}{[m]_{p,q}};e_{i} \biggr], $$
(2.8)
where \([0,\frac{p^{m-1}[1]_{p,q}}{[m]_{p,q}},\ldots,\frac{p^{m-k}[k]_{p,q}}{[m]_{p,q}};e_{i} ]\) denotes the divided difference of \(e_{i}(w)=w^{i}\).
Recall that the divided difference of a function \(\mathcal{F}\) on the knots \(y_{0},y_{1},\ldots,y_{j}\) is given by
$$ [y_{0},y_{1},\ldots,y_{j};\mathcal{F}] = \sum _{i=0}^{j}\frac {\mathcal{F}(y_{i})}{(y_{i}-y_{0})\ldots(y_{i}-y_{i-1})(y_{i}-y_{i+1})\ldots (y_{i}-y_{j})}, $$
therefore it follows
$$ \mathcal{B}^{m}_{p,q}(e_{i}) (w) = \sum_{k=0}^{m}\mathcal{A}^{m,k,i}_{p,q}e_{k}(w). $$
(2.9)
However, by the relationship given in [22], we get the formula
$$\begin{aligned} &\binom{m}{k}_{p,q}\frac{[k]_{p,q}!}{[m]_{p,q}}p^{\frac {(m-k)(m-k-1)}{2}}q^{\frac{k(k-1)}{2}}\\ &\quad= \biggl(1-\frac{p^{m-1}[1]_{p,q}}{[m]_{p,q}} \biggr) \biggl(1-\frac{p^{m-2}[2]_{p,q}}{[m]_{p,q}} \biggr)\ldots \biggl(1-\frac{p^{m-k+1}[k-1]_{p,q}}{[m]_{p,q}} \biggr), \end{aligned}$$
which combined with the above relationship (2.8) implies
$$\begin{aligned} \mathcal{A}^{m,k,i}_{p,q}={}& \biggl(1- \frac {p^{m-1}[1]_{p,q}}{[m]_{p,q}} \biggr) \biggl(1-\frac{p^{m-2}[2]_{p,q}}{[m]_{p,q}} \biggr)\cdots \\ &{}\times \biggl(1-\frac{p^{m-k+1}[k-1]_{p,q}}{[m]_{p,q}} \biggr) \biggl[0,\frac {p^{m-1}[1]_{p,q}}{[m]_{p,q}},\ldots, \frac{p^{m-k}[k]_{p,q}}{[m]_{p,q}};e_{i} \biggr]. \end{aligned}$$
(2.10)
Since each \(e_{i}\) is convex of any order and \(\mathcal{B}^{m}_{p,q}(e_{i})(1)=e_{i}(1)=1\) for all i, it follows that all \(\mathcal{A}^{m,k,i}_{p,q}\geq0\) and \(\sum_{k=0}^{m}\mathcal{A}^{m,k,i}_{p,q} = 1\) for all i and m.

Also, note that \(\mathcal{A}^{m,i,i}_{p,q}= (1-\frac {p^{m-1}[1]_{p,q}}{[m]_{p,q}} ) (1-\frac{p^{m-2}[2]_{p,q}}{[m]_{p,q}} )\ldots (1-\frac{p^{m-i+1}[i-1]_{p,q}}{[m]_{p,q}} )\) for all \(i\geq1\) and that \(\mathcal{A}^{m,0,0}_{p,q} = 1\).

In the estimation of \(\|\mathcal{B}^{m}_{p,q}(e_{i})(w)-e_{i}(w)\|\), we distinguish two cases: (1) \(0\leq i \leq m\); (2) \(i >m\).

Case 1. We have
$$ \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert \leq \bigl\Vert e_{i}(w) \bigr\Vert . \bigl\vert 1-\mathcal{A}^{m,i,i}_{p,q} \bigr\vert + \sum_{k=0}^{i-1} \mathcal{A}^{m,k, i}_{p,q} \bigl\Vert e_{k}(w) \bigr\Vert . $$
Since \(\|e_{k}(w)\| \leq r^{k}\) for all \(\|w\| \leq r\) and \(k \geq 0\), by [24] we immediately get
$$\begin{aligned} \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert &\leq2 \bigl[1-\mathcal{A}^{m,i,i}_{p,q} \bigr]r^{i} \\ &\leq2p^{m-i+1}\frac{(i-1)[i-1]_{p,q}}{[m]_{p,q}}r^{i} \\ &\leq2p^{m-i+1}\frac{i[i-1]_{p,q}}{[m]_{p,q}}r^{i} \\ &\leq2p^{m}\frac{i[i-1]_{p,q}}{[m]_{p,q}}r^{i} \end{aligned}$$
for all \(\|z\|< r\).
Case 2. Here we have
$$\begin{aligned} \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w)-e_{i}(w) \bigr\Vert &\leq \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w) \bigr\Vert + \bigl\Vert e_{i}(w) \bigr\Vert \\ & \leq2r^{i} \\ & \leq2p^{m-i+1}\frac{(i-1)[i-1]_{p,q}}{[m]_{p,q}}r^{i} \\ & \leq2p^{m}\frac{i[i-1]_{p,q}}{[m]_{p,q}}r^{i}. \end{aligned}$$
From both of the above cases we conclude
$$ \bigl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w)- \mathcal{G}(w) \bigr\Vert \leq\frac {2p^{m}}{[m]_{p,q}}.\sum _{i=0}^{\infty} \Vert c_{i} \Vert i[i-1]_{p,q}r^{i}, $$
where \(\|w\| \leq r, m \in\mathbb{N}\), which proves the desired result. □

Remark

Our results generalize the results of Gal [8] (see also [9]), which can be obtained by taking \(p=1\) in our results. Taking an extra parameter p gives more flexibility to study a general class of positive linear operators. By taking \(q>p=1\) in Theorem 2.7, we get the estimate of Theorem 2.6.

3 Voronovskaja type result

Theorem 3.1

Suppose that\(1 \leq p \leq q < \mathcal{R}\)and\(\mathcal{G} : \mathbb{D}_{\mathcal{R}} \longrightarrow\mathbb{H}\)is left\(\mathcal{W}\)-analytic in\(\mathbb{D}_{\mathcal{R}}\), i.e., \(\mathcal{G}(w) = \sum_{k=0}^{\infty}c_{k}w^{k}\), for all\(w \in\mathbb {D}_{\mathcal{R}} \), where\(c_{k} \in\mathbb{H}\)for all\(k=0,1,2,\ldots\) . Also, denote\(\mathcal{S}^{i}_{p,q}= [1]_{p,q} + [2]_{p,q} +\cdots+ [i-1]_{p,q}\), \(i \geq 2 \).

(i) If\(q > p \geq1\), \(1 < r< \frac{p\mathcal{R}}{q^{2}}, \|w\| \leq r\), and\(m \in\mathbb{N}\), then the following upper estimate
$$ \Biggl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w)- \mathcal{G}(w)- \sum_{i=2}^{\infty}c_{i}. \frac{\mathcal{S}^{i}_{p,q}}{[m]_{p,q}} \bigl[w^{i-1}-w^{i} \bigr] \Biggr\Vert \leq \frac{\mathcal{C}^{r}_{p,q}(\mathcal {G})}{[m]^{2}_{p,q}} $$
holds, where\(\mathcal{C}^{r}_{p,q}(\mathcal{G}) = \max \{ \frac{p^{m-n+1}}{(q-p)(q-1)},\frac{p^{m-n+1}}{(q-p)^{2}(q-1)} \}\sum_{i=2}^{\infty}\|c_{i}\|.(i-1)^{2}(q^{2}r)^{i}\).
(ii) If\(q \geq p \geq1\), then for any\(1 < r < \frac{p\mathcal {R}}{q}\), we have
$$ \lim_{m\longrightarrow\infty}[m]_{p,q} \bigl(\mathcal{B}^{m}_{p,q}(\mathcal{G}) (w)-\mathcal{G}(w) \bigr) = E_{p,q}(\mathcal{G}) (w), $$
uniformly in\(\overline{\mathbb{D}}_{r}\), where\(E_{p,q}(\mathcal{G})(w)=\sum_{i=2}^{\infty}c_{i}\mathcal{S}^{i}_{p,q}[w^{i-1}-w^{i}], w \in \mathbb{H}\).

Proof

First we recall some important relationship for our proof. Let \(1 < r <\frac{p\mathcal{R}}{q}\).
$$\begin{aligned} &\mathcal{S}^{i}_{p,q} = \frac {i(i-1)}{2},\quad \text{for } p=q=1, \\ &\mathcal{S}^{i}_{p,q} = \frac{q^{i}-i(q-1)-1}{(q-1)^{2}},\quad \text{for } p=1 \text{ and } q>1, \\ &\mathcal{S}^{i}_{p,q} = \frac{1}{(q-p)} \biggl[ \frac {q^{i}-q}{(q-1)}-\frac{p^{i}-p}{(p-1)} \biggr],\quad \text{for } q>p>1. \end{aligned}$$
(3.1)
From Theorem 2.7, we get
$$ \mathcal{B}^{m}_{p,q}(e_{i}) (w) = \sum _{k=0}^{m}\mathcal{A}^{m,k,i}_{p,q}e_{k}(w), $$
where
$$ \mathcal{A}^{m,k,i}_{p,q}= \binom{m}{k}_{p,q} \frac {[k]_{p,q}!}{[m]_{p,q}}p^{\frac{(m-k)(m-k-1)}{2}}q^{\frac{k(k-1)}{2}} \biggl[0,\frac {p^{m-1}[1]_{p,q}}{[m]_{p,q}}, \ldots,\frac{p^{m-k}[k]_{p,q}}{[m]_{p,q}};e_{i} \biggr], $$
here we know \(\mathcal{A}^{m,k,i}_{p,q} \geq0\) for all \(0 \leq k \leq m, i \geq 0\) and \(\sum_{k=0}^{i}\mathcal{A}^{m,k,i}_{p,q}=1\) for all \(0 \leq i \leq m\)
$$ \begin{aligned}&\mathcal{A}^{m,i,i}_{p,q} = \prod _{l=1}^{i-1} \biggl(1-\frac{p^{m-i+1}[l]_{p,q}}{[m]_{p,q}} \biggr),\\ &\mathcal{A}^{m,i-1,i}_{p,q} =\frac{\mathcal{S}^{i}_{p,q}}{[m]_{p,q}}. \prod _{l=1}^{i-2} \biggl(1-\frac{ p^{m-i+2}[l]_{p,q}}{[m]_{p,q}} \biggr), \quad i \leq m. \end{aligned}$$
(3.2)
First, we need to prove that \(E_{p,q}(\mathcal{G})(w)\) is left \(\mathcal{W}\)-analytic in \(\overline{\mathbb{D}}_{r}\), where
$$ E_{p,q}(\mathcal{G}) (w) = \sum_{i=2}^{\infty}c_{i}. \mathcal{S}^{i}_{p,q}. \bigl[w^{i-1}-w^{i} \bigr] $$
for \(1 < r < \frac{p\mathcal{R}}{q}\), using the inequality
$$ \bigl\Vert E_{p,q}(\mathcal{G}) (w) \bigr\Vert \leq\sum _{i=0}^{\infty} \Vert c_{i} \Vert . \mathcal{S}^{i}_{p,q}. \bigl[ \bigl\Vert w^{i-1} \bigr\Vert + \bigl\Vert w^{i} \bigr\Vert \bigr]. $$
By (3.1), \(\mathcal{S}^{i}_{p,q} \leq\frac{q^{i}}{(q-p)(q-1)}\) for \(q > p > 1\), it immediately follows
$$\begin{aligned} &\bigl\Vert E_{p,q}(\mathcal{G}) (w) \bigr\Vert \leq \frac{2}{(q-p)(q-1)} \sum_{i=0}^{\infty} \Vert c_{i} \Vert (qr)^{i} < \infty, \quad\text{if } q>p>1, \\ &\bigl\Vert E_{p,q}(\mathcal{G}) (w) \bigr\Vert \leq \frac{2}{(q-1)^{2}} \sum_{i=0}^{\infty} \Vert c_{i} \Vert (qr)^{i} < \infty, \quad\text{if } q>1 \text{ and } p=1, \\ &\bigl\Vert E_{p,q}(\mathcal{G}) (w) \bigr\Vert \leq\sum _{i=0}^{\infty} \Vert c_{i} \Vert i(i-1) (qr)^{i} < \infty, \quad\text{if } q=p=1, \end{aligned}$$
for all \(w \in\overline{\mathbb{D}}_{r}\). These show that, for \(q \geq p \geq1\), the function \(E_{p,q}(\mathcal{G})(w)\) is well-defined and left \(\mathcal{W}\)-analytic in \(\overline{\mathbb{D}}_{r}\).
By (2.7) we obtain
$$ \Biggl\Vert \mathcal{B}^{m}_{p,q}(\mathcal{G}) (w)- \mathcal{G}(w)- \sum_{i=2}^{\infty}c_{i}. \frac{\mathcal{S}^{i}_{p,q}}{[m]_{p,q}} \bigl[w^{i-1}-w^{i} \bigr] \Biggr\Vert \leq \sum_{i=0}^{\infty} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert , $$
where
$$ L^{i,m}_{p,q} = \mathcal{B}^{m}_{p,q}(e_{i}) (w)-w^{i}-\frac{\mathcal {S}^{i}_{p,q}}{[m]_{p,q}} \bigl[w^{i-1}-w^{i} \bigr] $$
and
$$ L^{0,m}_{p,q} = L^{1,m}_{p,q} = L^{2,m}_{p,q} = 0. $$
We have to estimate the expression
$$ \sum_{i=3}^{\infty} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert =\sum _{i=3}^{m} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert + \sum _{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert . $$
To estimate \(\|L^{i,m}_{p,q}(w)\|\), we discuss two cases: 1) \(3 \leq i \leq m \); 2) \(i \geq m+1 \).
Case (1). We obtain
$$\begin{aligned}{} [m]_{p,q} \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert ={}& \bigl\Vert [m]_{p,q} \bigl(\mathcal{B}^{m}_{p,q}(e_{i}) (w)-w^{i} \bigr) - \mathcal{S}^{i}_{p,q}. \bigl(w^{i-1}-w^{i} \bigr) \bigr\Vert \\ \leq{}& r^{i}[m]_{p,q}\sum_{l=1}^{i-2} \mathcal{A}^{m,l,i}_{p,q}+ \bigl\vert [m]_{p,q}\mathcal{A}^{m,i-1,i}_{p,q} - \mathcal{S}^{i}_{p,q} \bigr\vert r^{i} \\ &{}+ \bigl\vert [m]_{p,q} \bigl(1-\mathcal{A}^{m,i,i}_{p,q} \bigr) - \mathcal{S}^{i}_{p,q} \bigr\vert r^{i}. \end{aligned}$$
Taking into account (3.1), (3.2) and following Lemma 2.3, we arrive at
$$\begin{aligned} &\bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert \leq \frac{4p^{m-n+1}(i-1)^{2}[i-1]^{2}_{p,q}}{[m]^{2}_{p,q}}.r^{i} \end{aligned}$$
(3.3)
$$\begin{aligned} &\sum_{i=3}^{m} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert \leq \frac{4p^{m-n+1}}{[m]^{2}_{p,q}}. \sum_{i=3}^{m} \Vert c_{i} \Vert (i-1)^{2}[i-1]^{2}_{p,q}r^{i} \end{aligned}$$
(3.4)
for all \(w \in\overline{\mathbb{D}}_{r}\) and \(m \in\mathbb{N}\).

In the case of complex variable, the estimate in (3.4) remains exactly the same, with \(\|. \|\) replaced by \(|. |\), because all the calculations and estimates are made with real numbers as calculated in [6].

Case (2). Here we get
$$\begin{aligned} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert \leq{}& \sum _{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl\Vert \mathcal{B}^{m}_{p,q}(e_{i}) (w) \bigr\Vert +\sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl\Vert w^{i} \bigr\Vert \\ &{}+\frac{1}{[m]_{p,q}}\sum_{i=m+1}^{\infty} \Vert c_{i} \Vert .\mathcal{S}^{i}_{p,q}. \bigl\Vert w^{i-1} \bigr\Vert +\frac{1}{[m]_{p,q}}\sum _{i=m+1}^{\infty} \Vert c_{i} \Vert .\mathcal{S}^{i}_{p,q}. \bigl\Vert w^{i} \bigr\Vert \\ ={} & D^{1}_{p,q}(w) + D^{2}_{p,q}(w) + D^{3}_{p,q}(w) + D^{4}_{p,q}(w). \end{aligned}$$
(3.5)
By (3.2), for all \(w \in\overline{\mathbb{D}}_{r}\), it follows
$$\begin{aligned} D^{1}_{p,q}(w) &\leq\sum_{i=m+1}^{\infty} \Vert c_{i} \Vert .\sum_{k=0}^{m} \mathcal{A}^{m,k,i}_{p,q} \bigl\Vert w^{k} \bigr\Vert \\ &\leq\sum_{i=m+1}^{\infty} \Vert c_{i} \Vert .r^{i} \\ &\leq\frac{1}{[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert [i-1]^{2}_{p,q}.r^{i} \\ &\leq\frac{1}{(q-p)^{2}[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl(q^{2}r \bigr)^{i} \end{aligned}$$
and similarly
$$\begin{aligned} D^{2}_{p,q}(w) &\leq\sum_{i=m+1}^{\infty} \Vert c_{i} \Vert .r^{i} \\ &\leq\frac{1}{[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert [i-1]^{2}_{p,q}.r^{i} \\ &\leq\frac{1}{(q-p)^{2}[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl(q^{2}r \bigr)^{i}. \end{aligned}$$
Also, by (3.1) we get \(\mathcal{S}^{i}_{p,q} \leq\frac {q^{i}}{(q-p)(q-1)}\), for all \(w \in\overline{\mathbb{D}}_{r}\) it follows
$$\begin{aligned} D^{3}_{p,q}(w) &\leq\frac{1}{(q-p)(q-1)[m]_{p,q}} \sum _{i=m+1}^{\infty} \Vert c_{i} \Vert .q^{i}r^{i} \\ &=\frac{1}{(q-p)(q-1)[m]_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert .(qr)^{i} \\ &\leq\frac{1}{(q-p)^{2}(q-1)[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl(q^{2}r \bigr)^{i} \end{aligned}$$
and similarly
$$\begin{aligned} D^{4}_{p,q}(w) &\leq\frac{1}{[m]_{p,q}} \sum _{i=m+1}^{\infty} \Vert c_{i} \Vert .q^{i}r^{i} \\ &\leq\frac{1}{(q-p)^{2}(q-1)[m]^{2}_{p,q}} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl(q^{2}r \bigr)^{i}. \end{aligned}$$
By (3.5) we obtain
$$ \sum_{i=m+1}^{\infty} \vert c_{i} \vert . \bigl\vert L^{i,m}_{p,q}(w) \bigr\vert \leq\frac{\mathcal {C}^{r}_{p,q}(\mathcal{G})}{[m]^{2}_{p,q}} $$
(3.6)
for all \(w \in\overline{\mathbb{D}}_{r}\), where
$$ \mathcal{C}^{r}_{p,q}(\mathcal{G}) = \max \biggl\{ \frac {1}{(q-p)(q-1)},\frac{1}{(q-p)^{2}(q-1)} \biggr\} \sum_{i=m+1}^{\infty} \Vert c_{i} \Vert . \bigl(q^{2}r \bigr)^{r}. $$
Since \([i-1]^{2}_{p,q} \leq[i]^{2}_{p,q} \leq\frac{q^{2i}}{(q-p)^{2}(q-1)^{2}}\) for \(w \in\overline{\mathbb{D}}_{r}\) with \(1 < r < \frac{p\mathcal{R}}{q}\), we obtain by (3.4)
$$ \sum_{i=3}^{m} \Vert c_{i} \Vert . \bigl\Vert L^{i,m}_{p,q}(w) \bigr\Vert \leq \frac{4p^{m-n+1}}{(q-p)^{2}(q-1)^{2}[m]^{2}_{p,q}}. \sum_{i=3}^{m} \Vert c_{i} \Vert (i-1)^{2} \bigl(q^{2}r \bigr)^{i}. $$
(3.7)
We immediately obtain the upper estimate in (i) by collecting (3.6) and (3.7).
(ii) For the case \(1< r<\frac{p\mathcal{R}}{q^{2}}\) and \(q>p\geq1\), we can get the desired conclusion by multiplying (i) with \([m]_{p,q}\) and passing the limit \(m\longrightarrow\infty\). But (ii) holds under a more general condition \(1< r<\frac{p\mathcal{R}}{q}\).
$$\begin{aligned} &\bigl\Vert {}[ m]_{p,q} \bigl(\mathcal{B}_{p,q}^{m}( \mathcal {G}) (w)-\mathcal{G}(w) \bigr)-E_{p,q}(\mathcal{G}) (w) \bigr\Vert \\ &\quad \leq \sum_{i=2}^{m_{0}} \Vert c_{i} \Vert . \bigl\Vert {}[ m]_{p,q} \bigl( \mathcal{B}_{p,q}^{m}(e_{i}) (w)-e_{i}(w) \bigr)-\mathcal {S}_{p,q}^{i} \bigl(w^{i-1}-w^{i} \bigr) \bigr\Vert \\ &\qquad{} +\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert . \bigl([m]_{p,q} \bigl\Vert \mathcal{B}_{p,q}^{m}(e_{i}) (w)-w^{i} \bigr\Vert +\mathcal{S}_{p,q}^{i} \bigl\Vert w^{i-1}-w^{i} \bigr\Vert \bigr) \\ &\quad \leq \sum_{i=2}^{m_{0}} \Vert c_{i} \Vert .\frac {4(i-1)^{2}[i-1]_{p,q}^{2}}{[m]_{p,q}}.r^{i} \\ &\qquad{} +\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert . \bigl([m]_{p,q} \bigl\Vert \mathcal{B}_{p,q}^{m}(e_{i}) (w)-w^{i} \bigr\Vert +\mathcal{S}_{p,q}^{i} \bigl\Vert w^{i-1}-w^{i} \bigr\Vert \bigr). \end{aligned}$$
But by Theorem 2.7,
$$ \bigl\Vert \mathcal{B}_{p,q}^{m} \bigl(e^{i} \bigr) (w)-w^{i} \bigr\Vert \leq\frac {i[i-1]_{p,q}}{[m]_{p,q}}.r^{i}, $$
while for \(i>m\), using (3.2), we have
$$\begin{aligned} \bigl\Vert \mathcal{B}_{p,q}^{m} \bigl(e^{i} \bigr) (w)-w^{i} \bigr\Vert \leq{}& \bigl\Vert \mathcal {B}_{p,q}^{m} \bigl(e^{i} \bigr) (w) \bigr\Vert + \bigl\Vert w^{i} \bigr\Vert \\ \leq{}& \sum_{k=0}^{m}\mathcal{A}_{p,q}^{m,k,i} \bigl\Vert w^{k} \bigr\Vert + \bigl\Vert w^{i} \bigr\Vert \\ \leq{}& r^{m}+r^{i}\leq2r^{i}\leq2 \frac{i[i-1]_{p,q}}{[m]_{p,q}}.r^{i} \end{aligned}$$
for all \(w\in\overline{\mathbb{D}}_{r}\).
Also, since \(\mathcal{S}_{p,q}^{i}\leq(i-1)[i-1]_{p,q}\), it is immediate that
$$ \mathcal{S}_{p,q}^{i}. \bigl\Vert w^{i-1}-w^{i} \bigr\Vert \leq\mathcal{S}_{p,q}^{i}. \bigl\Vert w^{i-1} \bigr\Vert + \bigl\Vert w^{i} \bigr\Vert \leq2(i-1)[i-1]_{p,q}r^{i}. $$
Therefore, we easily obtain
$$\begin{aligned} &\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert . \bigl([m]_{p,q} \bigl\Vert \mathcal {B}_{p,q}^{m}(e_{i}) (w)-w^{i} \bigr\Vert +\mathcal{S}_{p,q}^{i} \bigl\Vert w^{i-1}-w^{i} \bigr\Vert \bigr) \\ &\quad \leq2\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert .(i-1)[i-1]_{p,q}r^{i}, \end{aligned}$$
valid for all \(w\in\overline{\mathbb{D}}_{r}\).
For all \(w\in\overline{\mathbb{D}}_{r}\) and \(m>m_{0}\), we have
$$\begin{aligned} &\bigl\Vert {}[ m]_{p,q}\mathcal{B}_{p,q}^{m}( \mathcal{G}) (w)-\mathcal {G}(w)-E_{p,q}(\mathcal{G}) (w) \bigr\Vert \\ &\quad \leq \sum_{i=2}^{m_{0}} \Vert c_{i} \Vert .\frac{4(i-1)^{2}[i-1]_{p,q}^{2}}{[m]_{p,q}}.r^{i} \\ &\qquad{} +2\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert .(i-1)[i-1]_{p,q}r^{i} \\ &\quad \leq \frac{4}{[m]_{p,q}^{t}}.\sum_{i=2}^{m_{0}} \Vert c_{i} \Vert .i^{2}[i-1]_{p,q}^{1+t}.r^{i} \\ &\qquad{} +2\sum_{i=m_{0}+1}^{\infty} \Vert c_{i} \Vert .i^{2}q^{i}r^{i} \\ &\quad \leq \frac{4}{[m]_{p,q}^{t}}.\sum_{i=2}^{m_{0}} \Vert c_{i} \Vert .i^{4}q^{(1+t)^{i}}.r^{i}+2 \epsilon. \end{aligned}$$
Now, since \(\frac{4}{[m]_{p,q}^{t}}\longrightarrow0\) as \(m\longrightarrow \infty\) and \(\sum_{i=2}^{m_{0}}\Vert c_{i}\Vert .i^{4}q^{(1+t)^{i}}.r^{i}<\infty\), for given \(\epsilon>0\), there exists an index \(m_{1}\) such that \(\frac{4}{[m]_{p,q}^{t}}.\sum_{i=2}^{m_{0}}\Vert c_{i}\Vert.i^{4}q^{(1+t)^{i}}.r^{i}<\epsilon\) for all \(m>m_{1}\).
Finally, for all \(m>\max\{m_{0},m_{1}\}\) and \(w\in\overline{\mathbb {D}}_{r} \), we get
$$ \bigl\Vert {}[ m]_{p,q}\mathcal{B}_{p,q}^{m}( \mathcal{G}) (w)-\mathcal {G}(w)-E_{p,q}(\mathcal{G}) (w) \bigr\Vert \leq3 \epsilon, $$
which shows that
$$ \lim_{m\longrightarrow\infty}[m]_{p,q} \bigl(\mathcal{B}_{p,q}^{m}(\mathcal{G}) (w)-\mathcal{G}(w) \bigr)=E_{p,q}(\mathcal{G}) (w),\quad \text{uniformly in } \overline{\mathbb{D}}_{r}. $$
The theorem is proved. □

Corollary 3.2

Let\(1 < p < q < \mathcal{R}\)and\(\mathcal{G} : \mathbb {D}_{\mathcal{R}} \longrightarrow\mathbb{H}\)be right\(\mathcal{W}\)-analytic in\(\mathbb{D}_{\mathcal{R}}\), i.e., \(\mathcal{G}(w) = \sum_{k=0}^{\infty }w^{k}c_{k}\), for all\(w \in\mathbb{D}_{\mathcal{R}}\), where\(c_{k} \in\mathbb{H}\)for all\(k=0,1,2,\ldots\) . Then, for all\(1 \leq r < \frac{p\mathcal{R}}{q}, \| w\| \leq r\), and\(n \in\mathbb{N}\), we have
$$ \bigl\Vert \mathcal{B}^{m*}_{p,q}(\mathcal{G}) (w)- \mathcal{G}(w) \bigr\Vert \leq \frac{2p^{m}}{[m]_{p,q}}.\sum _{i=1}^{\infty} \Vert c_{i} \Vert i[i-1]_{p,q}r^{i}. $$

Remarks

(i) However, it is easy to observe that the middle \((p,q)\)-Bernstein type polynomials \(\mathcal{B}^{m**}_{p,q}(\mathcal{G})(w)\) cannot be obtained as an estimate of the form in Theorem 2.7, because when \(\mathcal{G}\) is right \(\mathcal{W}\)-analytic or left \(\mathcal {W}\)-analytic, it cannot be written for the middle \((p,q)\)-Bernstein type polynomials \(\mathcal{B}^{m**}_{p,q}(\mathcal{G})(w)=\sum_{k=0}^{\infty}c_{k}\mathcal{B}^{m**}_{p,q}(e_{k})(w)\).

(ii) Since the choice of \(p>1\) assures that \(\frac{p\mathcal {R}}{q} > \frac{\mathcal{R}}{q}\), this implies that the approximation estimated by \((p,q)\)-Bernstein operators in Theorem 2.7 holds in larger disks than those in the case when \(p=1\).

For the case \(p=q=1\), the ordinary Bernstein operators for quaternion variable have order of approximation \(\frac{1}{m}\) (see Gal [6]), which is weaker than the case of \(q>p=1\), i.e., \(\frac{1}{q^{m}}\) (see [8]).

However, \(\frac{p^{m}}{[m]_{p,q}}=(q-p)\frac{p^{m}}{q^{m}-p^{m}}\) implies that the order of approximation of \((p,q)\)-Bernstein operators for quaternion variable is \((\frac{p}{q} )^{m}\), which is also weaker than \(\frac{1}{q^{m}}\).

Notes

Acknowledgements

Authors are thankful to the learned referees for their valuable comments which improved the presentation of the paper.

Authors’ contributions

The first author (HBJ) has 50% contribution, the third author (AN) has also 50% contribution while the second author (MM) checked and gave the final shape to the paper. All authors read and approved the final manuscript.

Funding

This research project was supported by a grant from the “Research Center of the Female Scientific and Medical Colleges”, Deanship of Scientific Research, King Saud University.

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Acar, T.: \((p,q)\)-generalization of Szász–Mirakyan operators. Math. Methods Appl. Sci. 39(10), 2685–2695 (2016) MathSciNetCrossRefGoogle Scholar
  2. 2.
    Acar, T., Aral, A., Mohiuddine, S.A.: Approximation by bivariate \((p,q)\)-Bernstein Kantorovich operators. Iran. J. Sci. Technol., Trans. A, Sci. 42(2), 655–662 (2018) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Acar, T., Mohiuddine, S.A., Mursaleen, M.: Approximation by \((p,q)\)-Baskakov–Durrmeyer–Stancu operators. Complex Anal. Oper. Theory. 12(6), 1453–1468 (2018) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Acar, T., Mursaleen, M., Mohiuddine, S.A.: Stancu type \((p,q)\)-Szász–Mirakyan–Baskakov operators. Commun. Fac. Sci. Univ. Ank. Sér. A1 67(1), 116–128 (2018) MathSciNetzbMATHGoogle Scholar
  5. 5.
    Burban, I.: Two-parameter deformation of the oscillator algebra and \((p,q)\)-analogue of two dimensional conformal field theory. J. Nonlinear Math. Phys. 2(3–4), 384–391 (1995) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Gal, S.G.: Voronovskaja’s theorem and iterations for complex Bernstein polynomials in compact disks. Mediterr. J. Math. 5(3), 253–272 (2008) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Gal, S.G.: Approximation by Complex Bernstein and Convolution-Type Operators. World Scientific, Singapore (2009) CrossRefGoogle Scholar
  8. 8.
    Gal, S.G.: Approximation by quaternion q-Bernstein polynomials, \(q>1\). Adv. Appl. Clifford Algebras 22, 313–319 (2012) MathSciNetCrossRefGoogle Scholar
  9. 9.
    Gal, S.G.: Voronovskaja-type results in compact disks for quaternion q-Bernstein operators, \(q \geq1\). Complex Anal. Oper. Theory 6, 515–527 (2012) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Gentili, G., Stoppato, C.: Power series and analyticity over the quaternions. Math. Ann. 352(1), 113–131 (2012) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Gentili, G., Struppa, D.C.: A new theory of regular functions of a quaternion variable. Adv. Math. 216, 279–301 (2007) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Jagannathan, R., Rao, K.S.: Two-parameter quantum algebras, twin-basic numbers and associated generalized hypergeometric series. In: Proceeding of the International Conference on Number Theory and Mathematical Physics (2006) Google Scholar
  13. 13.
    Kadak, U.: On weighted statistical convergence based on \((p,q)\)-integers and related approximation theorems for functions of two variables. J. Math. Anal. Appl. 443(2), 752–764 (2016) MathSciNetCrossRefGoogle Scholar
  14. 14.
    Kadak, U.: Weighted statistical convergence based on generalized difference operator involving \((p,q)\)-gamma function and its applications to approximation theorems. J. Math. Anal. Appl. 448(2), 1633–1650 (2017) MathSciNetCrossRefGoogle Scholar
  15. 15.
    Kadak, U., Mishra, V.N., Pandey, S.: Chlodowsky type generalization of \((p,q)\)-Szasz operators involving Brenke type polynomials. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112(4), 1443–1462 (2018) MathSciNetCrossRefGoogle Scholar
  16. 16.
    Katreil, J., Kibler, M.: Normal ordering for deformed Boson operators and operator-valued deformed Stirling numbers. J. Phys. A, Math. Gen. 25, 2683–2691 (1992) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Mejlihzon, A.Z.: On the notion of monogenic quaternions. Dokl. Akad. Nauk SSSR 59, 431–434 (1948) (In Russian) Google Scholar
  18. 18.
    Moisil, G.C.: Sur les quaternions monogànes. Bull. Sci. Math. LV, 168–174 (1931) zbMATHGoogle Scholar
  19. 19.
    Mursaleen, M., Ansari, K.J., Khan, A.: On \((p,q)\)-analogue of Bernstein operators. Appl. Math. Comput. 266, 874–882 (2015) [Erratum: Appl. Math. Comput., 278 (2016) 70–71] MathSciNetzbMATHGoogle Scholar
  20. 20.
    Mursaleen, M., Khan, F., Khan, A.: Approximation by \((p,q)\)-Lorentz polynomials on a compact disk. Complex Anal. Oper. Theory 10(8), 1725–1740 (2016) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Mursaleen, M., Nasiruzzaman, M., Khan, A., Ansari, K.J.: Some approximation results on Bleimann–Butzer–Hahn operators defined by \((p,q)\)-integers. Filomat 30(3), 639–648 (2016) MathSciNetCrossRefGoogle Scholar
  22. 22.
    Mursaleen, M., Nasiruzzaman, M., Khan, F., Khan, A.: On \((p,q)\)-analogue of divided difference and Bernstein operators. J. Nonlinear Funct. Anal. 2017(25), 1–13 (2017) Google Scholar
  23. 23.
    Mursaleen, M., Rahman, S., Alotaibi, A.: Dunkl generalization of q-Szász–Mirakjan Kantorovich operators which preserve some test functions. J. Inequal. Appl. 2016, 317 (2016) CrossRefGoogle Scholar
  24. 24.
    Ostrovska, S.: q-Bernstein polynomials and their iterates. J. Approx. Theory 123, 232–255 (2003) MathSciNetCrossRefGoogle Scholar
  25. 25.
    Phillips, G.M.: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511–518 (1997) MathSciNetzbMATHGoogle Scholar
  26. 26.
    Phillips, G.M.: A generalization of the Bernstein polynomials based on the q-integers. ANZIAM J. 42, 79–86 (2000) MathSciNetCrossRefGoogle Scholar
  27. 27.
    Srivastava, H.M., Jena, B.B., Paikray, S.K., Misra, U.K.: Deferred weighted A-statistical convergence based upon the (p,q)-Lagrange polynomials and its applications to approximation theorems. J. Appl. Anal. 24, 1–16 (2018) MathSciNetCrossRefGoogle Scholar
  28. 28.
    Wang, H., Wu, X.Z.: Saturation of convergence for q-Bernstein polynomials in the case \(q \geq1\). J. Math. Anal. Appl. 337, 744–750 (2008) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2018

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.

Authors and Affiliations

  • Haifa Bin Jebreen
    • 1
  • Mohammad Mursaleen
    • 2
  • Ambreen Naaz
    • 2
  1. 1.Department of Mathematics, College of ScienceKing Saud UniversityRiyadhSaudi Arabia
  2. 2.Department of MathematicsAligarh Muslim UniversityAligarhIndia

Personalised recommendations