Open Access

Dunkl generalization of Szász operators via q-calculus

Journal of Inequalities and Applications20152015:284

https://doi.org/10.1186/s13660-015-0809-y

Received: 8 June 2015

Accepted: 1 September 2015

Published: 17 September 2015

Abstract

We construct the linear positive operators generated by the q-Dunkl generalization of the exponential function. We have approximation properties of the operators via a universal Korovkin-type theorem and a weighted Korovkin-type theorem. The rate of convergence of the operators for functions belonging to the Lipschitz class is presented. We obtain the rate of convergence by means of the classical, second order, and weighted modulus of continuity, respectively, as well.

Keywords

Dunkl analog generating functions Szász operator generalization of exponential function

MSC

41A25 41A36 33C45

1 Introduction

In 1912, Bernstein [1] gave the following polynomials for any \(f\in C[0,1]\), \(x\in[0,1]\):
$$ B_{n}(f;x):=\sum_{k=0}^{n} \binom{n}{k}x^{k}(1-x)^{n-k}f \biggl( \frac{k}{n} \biggr) , \quad n\in \mathbb{N}. $$
In 1950, for \(x\geq0\), Szász [2] introduced the operators
$$ S_{n}(f;x):=e^{-nx}\sum_{k=0}^{\infty} \frac{(nx)^{k}}{k!}f \biggl( \frac{k}{n} \biggr) , $$
where \(f\in C[0,\infty)\).

q-calculus plays an important role in the natural sciences such as mathematics, physics, and chemistry. It has many applications in number theory, orthogonal polynomials, quantum theory, etc. There is a generalization of q-calculus, which is \((p,q)\)-calculus where \(0< q< p\leq1\). For \(p=1\), \((p,q)\)-integers reduce to q-integers. \((p,q)\)-integers are introduced to unify several forms of q-oscillator algebras in the representation theory of single parameter quantum algebras in physics. There have appeared some papers dealing with \((p,q)\)-calculus in recent years. Details are in [3].

We first mention some notations of q-calculus as found in [4, 5]. Let \(n\in \mathbb{N}_{0}\) and \(q\in(0,1)\). The q-integer \([ n ] _{q}\) and q-factorial \([ n ] _{q}!\) are, respectively, defined by
$$\begin{aligned}& {[ n ]} _{q} =\frac{1-q^{n}}{1-q}=1+q+q^{2}+ \cdots+q^{n-1}, \\& {[ n ]} _{q}! =\left \{ \textstyle\begin{array}{l@{\quad}l} 1 ,&\text{if }n=0, \\ {[ n ]} _{q} [ n-1 ] _{q}\cdots [ 1 ] _{q} ,&\text{if }n=1,2,\ldots.\end{array}\displaystyle \right . \end{aligned}$$
For \(n\in \mathbb{N}\), we have q-binomial coefficients
$$ \left [ \textstyle\begin{array}{@{}c@{}} {n} \\ {k} \end{array}\displaystyle \right ]_{q}=\frac{ [ n ] _{q}!}{ [ n-k ] _{q}! [ k ] _{q}!} ,\quad 1\leq k\leq n, $$
with \(\bigl[\scriptsize{ \begin{array}{@{}c@{}} n \\ 0 \end{array}} \bigr]_{q}=1\) and \(\bigl[\scriptsize{ \begin{array}{@{}c@{}} {n} \\ {k} \end{array}} \bigr]_{q}=0\) for \(k>n\). Then we give the following known representations:
$$ (a;q)_{n}=\left \{ \textstyle\begin{array}{l@{\quad}l} \prod_{k=0}^{n-1}(1-aq^{k}) ,&\text{if }n=1,2,\ldots, \\ 1 ,&\text{if }n=0 \end{array}\displaystyle \right . \quad \text{and}\quad (a;q)_{\infty}=\prod_{k=0}^{\infty} \bigl(1-aq^{k}\bigr). $$
q-Bernstein polynomials were first introduced by Lupaş [6] in 1987. A most useful definition of q-Bernstein polynomials was given by Phillips [7] as follows:
$$ B_{n,q}(f;x):=\sum_{k=0}^{n} \left [ \textstyle\begin{array}{@{}c@{}} {n} \\ {k} \end{array}\displaystyle \right ]_{q}x^{k}\prod _{s=0}^{n-k-1} \bigl(1-q^{s}x\bigr)f \biggl( \frac{ [ k ] _{q}}{ [ n ] _{q}} \biggr) ,\quad n\in \mathbb{N}. $$
Many generalizations of q-Bernstein polynomials were given by authors such as Ostrovska [8], Büyükyazıcı [9, 10], Büyükyazıcı and Sharma [11], Aral [12], Nowak and Gupta [13], Gupta [14], Wang [15, 16], Wang and Wu [17], Phillips [18], Aral et al. [19], Acar and Aral [20], Aral and Gupta [21] and Finta and Gupta [22]. On the other hand, some authors dealt with generalizations of Szász-type operators [2, 12, 2329].
Sucu [24] defined a Dunkl analog of Szász operators via a generalization of the exponential function given by [30] as
$$ S_{n}^{\ast}(f;x):=\frac{1}{e_{\mu}(nx)}\sum _{k=0}^{\infty}\frac{(nx)^{k}}{\gamma_{\mu}(k)}f \biggl( \frac{k+2\mu\theta_{k}}{n} \biggr) , $$
(1.1)
where \(\mu\geq0\), \(n\in \mathbb{N}\), \(x\geq0\), \(f\in C[0,\infty)\), and \(e_{\mu }(x)=\sum_{n=0}^{\infty}\frac{x^{n}}{\gamma_{\mu}(n)}\). Here
$$ \gamma_{\mu} ( 2k ) =\frac{2^{2k}k!\Gamma ( k+\mu +1/2 ) }{\Gamma ( \mu+1/2 ) } $$
and
$$ \gamma_{\mu } ( 2k+1 ) =\frac{2^{2k+1}k!\Gamma ( k+\mu+3/2 ) }{\Gamma ( \mu+1/2 ) }. $$
There is a recursion relation for \(\gamma_{\mu}\),
$$ \gamma_{\mu} ( k+1 ) = ( k+1+2\mu\theta_{k+1} ) \gamma _{\mu} ( k ) ,\quad k\in \mathbb{N}_{0}, $$
where
$$ \theta_{k}=\left \{ \textstyle\begin{array}{l@{\quad}l} 0, & \text{if }k\in2\mathbb{N}, \\ 1, & \text{if }k\in2 \mathbb{N} +1 \end{array}\displaystyle \right . $$
(details are in [24]). İçöz and Çekim [25] investigated a Stancu-type generalization of a Kantorovich-type integral modification of the Dunkl analog of Szász operators by
$$ T_{n}^{\ast}(f;x):=\frac{n}{e_{\mu}(nx)}\sum _{k=0}^{\infty}\frac{(nx)^{k}}{\gamma_{\mu}(k)} \int_{\frac{k+2\mu\theta_{k}}{n}}^{\frac{k+1+2\mu\theta_{k}}{n}}f \biggl( \frac{nt+\alpha}{n+\beta} \biggr) \, dt, $$
where \(\mu\geq0\), \(n\in \mathbb{N}\), \(x\geq0\), \(\alpha,\beta\in \mathbb{R}\) (\(0\leq\alpha\leq\beta\)), and \(f\in C[0,\infty)\).
Ben Cheikh et al. [31] stated the q-Dunkl classical q-Hermite-type polynomials. They gave definitions of q-Dunkl analogs of exponential functions, recursion relations, and notations for \(\mu >-\frac{1}{2}\) and \(0< q<1\), respectively:
$$\begin{aligned}& e_{\mu,q}(x) =\sum_{n=0}^{\infty} \frac{x^{n}}{\gamma_{\mu,q}(n)},\qquad E_{\mu,q}(x)=\sum_{n=0}^{\infty} \frac{q^{\frac{n(n-1)}{2}}x^{n}}{\gamma_{\mu,q}(n)} \quad ( x\in \mathbb{R} ), \end{aligned}$$
(1.2)
$$\begin{aligned}& \gamma_{\mu,q}(n+1) = \biggl( \frac{1-q^{2\mu\theta_{n+1}+n+1}}{1-q} \biggr) \gamma_{\mu,q}(n) ,\quad n\in \mathbb{N} , \end{aligned}$$
(1.3)
$$\begin{aligned}& \theta_{n} =\left \{ \textstyle\begin{array}{l@{\quad}l} 0 ,& n\in2 \mathbb{N}, \\ 1 ,& n\in2 \mathbb{N} +1. \end{array}\displaystyle \right . \end{aligned}$$
(1.4)
An explicit formula of \(\gamma_{\mu,q}(n)\) is
$$ \gamma_{\mu,q}(n)=\frac{(q^{2\mu+1},q^{2})_{ [ \frac {n+1}{2} ] }(q^{2},q^{2})_{ [ \frac{n}{2} ] }}{(1-q)^{n}}. $$
(1.5)
One can find some of the special cases \(\gamma_{\mu,q}(n)\) below:
$$\begin{aligned}& \gamma_{\mu,q}(0) = 1, \qquad \gamma_{\mu,q}(1)=\frac{1-q^{2\mu+1}}{1-q} , \\& \gamma_{\mu,q}(2)= \biggl( \frac{1-q^{2\mu+1}}{1-q} \biggr) \biggl( \frac{1-q^{2}}{1-q} \biggr) , \\& \gamma_{\mu,q}(3) = \biggl( \frac{1-q^{2\mu+1}}{1-q} \biggr) \biggl( \frac{1-q^{2}}{1-q} \biggr) \biggl( \frac{1-q^{2\mu+3}}{1-q} \biggr) , \\& \gamma_{\mu,q}(4) = \biggl( \frac{1-q^{2\mu+1}}{1-q} \biggr) \biggl( \frac{1-q^{2}}{1-q} \biggr) \biggl( \frac{1-q^{2\mu+3}}{1-q} \biggr) \biggl( \frac{1-q^{4}}{1-q} \biggr) . \end{aligned}$$
Now, in this paper, we define a q-Dunkl analog of Szász operators as follows:
$$ D_{n,q}(f;x)=\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}f \biggl( \frac{1-q^{2\mu\theta _{k}+k}}{1-q^{n}} \biggr) , $$
(1.6)
where \(\mu>\frac{1}{2}\), \(n\in \mathbb{N}\), \(x\geq0\), \(0< q<1\) and \(f\in C[0,\infty)\). Here \(e_{\mu,q}\) and \(\gamma _{\mu,q}\) are in (1.2), (1.5), respectively. Note that, when we take \(q\rightarrow1\), then we have (1.1).

2 Approximation properties

In this section, the convergence of the operators \(D_{n,q}\) is examined via a universal Korovkin-type theorem and a weighted approximation theorem given by [32].

Lemma 1

The operators \(D_{n,q}\) given by (1.6) satisfy the following:
$$\begin{aligned}& D_{n,q}(1;x) = 1, \end{aligned}$$
(2.1)
$$\begin{aligned}& D_{n,q}(t;x) = x, \end{aligned}$$
(2.2)
$$\begin{aligned}& {[1-2\mu]}_{q}q^{2\mu}\frac{e_{\mu,q}(q[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)}\frac{x}{[n]_{q}} \leq D_{n,q}\bigl(t^{2};x\bigr)-x^{2} \\& \hphantom{{[1-2\mu]}_{q}q^{2\mu}\frac{e_{\mu,q}(q[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)}\frac{x}{[n]_{q}}}\leq {[1+2 \mu]}_{q}\frac{x}{[n]_{q}}, \end{aligned}$$
(2.3)
$$\begin{aligned}& D_{n,q}\bigl(t^{3};x\bigr)-x^{3} \geq (2q+1)[1-2 \mu]_{q}\frac{e_{\mu ,q}(q[n]_{q}x)}{e_{\mu,q}([n]_{q}x)}\frac{x^{2}}{[n]_{q}} \\& \hphantom{D_{n,q}\bigl(t^{3};x\bigr)-x^{3} \geq{}}{}+q^{4\mu}[1-2\mu]_{q}^{2} \frac{e_{\mu,q}(q^{2}[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)}\frac{x}{[n]_{q}^{2}}, \end{aligned}$$
(2.4)
$$\begin{aligned}& D_{n,q}\bigl(t^{4};x\bigr) \leq x^{4}+6[1+2 \mu]_{q}\frac {x^{3}}{[n]_{q}}+7[1+2\mu ]_{q}^{2} \frac{x^{2}}{[n]_{q}^{2}} \\& \hphantom{D_{n,q}\bigl(t^{4};x\bigr) \leq{}}{} +[1+2\mu]_{q}^{3}\frac{x}{[n]_{q}^{3}}. \end{aligned}$$
(2.5)

Proof

For \(f(t)=1\), we have
$$ D_{n,q}(1;x)=\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}=1. $$
From (1.3) and (1.6), we get
$$\begin{aligned} D_{n,q}(t;x) =&\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggl( \frac{1-q^{2\mu\theta _{k}+k}}{1-q^{n}} \biggr) \\ =&\frac{1}{[n]_{q}}\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=1}^{\infty } \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k-1)} \\ =&x. \end{aligned}$$
By (1.3) and (1.6), we obtain
$$\begin{aligned} D_{n,q}\bigl(t^{2};x\bigr) =&\frac{1}{e_{\mu,q}([n]_{q}x)}\sum _{k=0}^{\infty }\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggl( \frac{1-q^{2\mu\theta _{k}+k}}{1-q^{n}} \biggr) ^{2} \\ =&\frac{1}{[n]_{q}^{2}}\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=1}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k-1)} \biggl( \frac {1-q^{2\mu \theta_{k}+k}}{1-q} \biggr) \\ =&\frac{1}{[n]_{q}^{2}}\frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k+1}}{\gamma_{\mu,q}(k)} \biggl( \frac {1-q^{2\mu \theta_{k+1}+k+1}}{1-q} \biggr) . \end{aligned}$$
One can easily see that
$$ [2\mu\theta_{k+1}+k+1]_{q}=[2\mu\theta_{k+1}+k]_{q}+q^{2\mu \theta_{k}+k} \bigl[ 2\mu(-1)^{k}+1 \bigr] _{q}. $$
(2.6)
Using (2.6) and writing odd and even terms separately, we have
$$\begin{aligned} D_{n,q}\bigl(t^{2};x\bigr) =&\frac{1}{[n]_{q}^{2}} \frac{1}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k+1}}{\gamma_{\mu,q}(k)} \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q} \biggr) \\ &{}+\frac{1}{[n]_{q}^{2}}\frac{[1+2\mu]_{q}}{e_{\mu,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{2k+1}}{\gamma_{\mu,q}(2k)}q^{2\mu\theta_{2k}+2k} \\ &{}+\frac{1}{[n]_{q}^{2}}\frac{[1-2\mu]_{q}}{e_{\mu,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{2k+2}}{\gamma_{\mu,q}(2k+1)}q^{2\mu\theta_{2k+1}+2k+1}. \end{aligned}$$
Using the inequality
$$ [1-2\mu]_{q}\leq[1+2\mu]_{q}, $$
(2.7)
it follows that
$$\begin{aligned} D_{n,q}\bigl(t^{2};x\bigr) \geq&x^{2}+ \frac{1}{q[n]_{q}^{2}}\frac{[1-2\mu ]_{q}}{e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}xq)^{2k+1}}{\gamma_{\mu,q}(2k)} \\ &{}+\frac{q^{2\mu-1}}{[n]_{q}^{2}}\frac{[1-2\mu]_{q}}{e_{\mu ,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}xq)^{2k+2}}{\gamma_{\mu,q}(2k+1)} \\ \geq&x^{2}+[1-2\mu]_{q}q^{2\mu}\frac{e_{\mu,q}(q[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)} \frac{x}{[n]_{q}}. \end{aligned}$$
On the other hand, from (2.7), we have
$$\begin{aligned} D_{n,q}\bigl(t^{2};x\bigr) \leq&x^{2}+ \frac{1}{[n]_{q}^{2}}\frac{[1+2\mu]_{q}}{ e_{\mu,q}([n]_{q}x)}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k+1}}{\gamma_{\mu,q}(k)} \\ =&x^{2}+[1+2\mu]_{q}\frac{x}{[n]_{q}}. \end{aligned}$$
So we have (2.3).

By the same computations, one gets (2.4) and (2.5). □

Lemma 2

The first, second, and fourth moments of the operators \(D_{n,q}\) are
$$\begin{aligned}& D_{n,q}(t-x;x) = 0, \end{aligned}$$
(2.8)
$$\begin{aligned}& D_{n,q}\bigl((t-x)^{2};x\bigr) \leq [1+2\mu]_{q} \frac{x}{[n]_{q}}, \end{aligned}$$
(2.9)
$$\begin{aligned}& D_{n,q}\bigl((t-x)^{4};x\bigr) \leq \biggl( 12 \frac{[1+2\mu ]_{q}}{[n]_{q}}-4\frac{(2q+1)[1-2\mu]_{q}}{[n]_{q}}q^{2\mu+1}\frac{e_{\mu ,q}(q[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)} \biggr) x^{3} \\& \hphantom{D_{n,q}\bigl((t-x)^{4};x\bigr) \leq{}}{}+\frac{[1+2\mu]_{q}^{3}}{[n]_{q}^{3}}x \\& \hphantom{D_{n,q}\bigl((t-x)^{4};x\bigr) \leq{}}{} + \biggl( \frac{7[1+2\mu]_{q}^{2}}{[n]_{q}^{2}}-4\frac{[1-2\mu ]_{q}^{2}}{[n]_{q}^{2}}q^{4\mu} \frac{e_{\mu,q}(q^{2}[n]_{q}x)}{e_{\mu ,q}([n]_{q}x)} \biggr) x^{2}. \end{aligned}$$
(2.10)

Theorem 1

Let \(D_{n,q}\) be the operators given by (1.6). Then for any \(f\in C[0,\infty)\cap E\), the following relation:
$$ \lim_{n\rightarrow\infty}D_{n,q}(f;x)=f(x) $$
holds uniformly on each compact subset of \([0,\infty)\), where
$$ E:= \biggl\{ f:x\in[0,\infty),\frac{f(x)}{1+x^{2}}\textit{ is convergent as }x \rightarrow\infty \biggr\} . $$

Proof

The proof is based on the well-known universal Korovkin-type theorem (see details in [33, 34]). □

We recall the weighted spaces of the functions which are defined on the positive semi-axis \(\mathbb{R} ^{+}=[0,\infty)\) as follows:
$$\begin{aligned}& B_{\rho}\bigl(\mathbb{R} ^{+}\bigr) = \bigl\{ f:\bigl\vert f(x)\bigr\vert \leq M_{f}\rho(x) \bigr\} , \\& C_{\rho}\bigl( \mathbb{R} ^{+}\bigr) = \bigl\{ f:f\in B_{\rho}\bigl( \mathbb{R} ^{+}\bigr)\cap C[0,\infty) \bigr\} , \\& C_{\rho}^{k}\bigl( \mathbb{R} ^{+}\bigr) = \biggl\{ f:f\in C_{\rho}\bigl(\mathbb{R} ^{+}\bigr)\text{ and }\lim_{x\rightarrow\infty}\frac{f(x)}{\rho(x)}=k\ (k\text{ is a constant}) \biggr\} , \end{aligned}$$
where \(\rho(x)=1+x^{2}\) is a weight function and \(M_{f}\) is a constant depending only on f. \(C_{\rho}(\mathbb{R}^{+})\) is a normed space with the norm \(\Vert f\Vert _{\rho }:=\sup_{x\geq0}\frac{\vert f(x)\vert }{\rho(x)}\).

Theorem 2

Let \(D_{n,q}\) be the operators given by (1.6). Then for any \(f\in C_{\rho}^{k}(\mathbb{R}^{+})\), we have
$$ \lim_{n\rightarrow\infty}\bigl\Vert D_{n,q}(f;x)-f(x)\bigr\Vert _{\rho }=0. $$

Proof

Using Lemma 1, one can easily prove the theorem. □

3 Rate of convergence

In this section, we compute the rate of convergence of the operators \(D_{n,q}\) with the help of Lipschitz class functions, and the classical, second order, and weighted modulus of continuity. For the sake of simplicity, we just give the theorems and lemmas without proofs in this section.

Lemma 3

Let \(f\in \operatorname{Lip}_{M}(\alpha)\) (\(0<\alpha\leq1\), \(M>0\)), i.e.
$$ \operatorname{Lip}_{M}(\alpha):= \bigl\{ f:\bigl\vert f(\xi)-f( \eta)\bigr\vert \leq M\vert \xi-\eta \vert ^{\alpha} , \xi,\eta\in[ 0, \infty) \bigr\} . $$
Then
$$ \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq M\bigl( \vartheta_{n}(x)\bigr)^{\frac {\alpha}{2}} $$
holds where \(\vartheta_{n}(x)=D_{n,q}((t-x)^{2};x)\).

Theorem 3

Let \(f\in\widetilde{C}[0,\infty)\). Then the operators \(D_{n,q} \) verify
$$ \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq \bigl\{ 1+\sqrt{x [ 2 \mu+1 ] _{q}} \bigr\} \omega \biggl( f;\frac{1}{\sqrt{[n]_{q}}} \biggr) , $$
where \(\widetilde{C}[0,\infty)\) is the space of uniformly continuous functions on \([0,\infty)\), i.e. \(\omega ( f;\delta ) \) is the modulus of continuity of the function \(f\in\widetilde{C}[0,\infty )\) defined by
$$ \omega ( f;\delta ) =\sup_{x,y\in[0,\infty)} \bigl\{ \bigl\vert f(x)-f(y) \bigr\vert : \vert x-y\vert \leq\delta \bigr\} . $$

Lemma 4

Let \(g\in C_{B}^{2}[0,\infty)\). Then we get
$$ \bigl\vert D_{n,q}(g;x)-g(x)\bigr\vert \leq\frac{\vartheta_{n}(x)}{2} \Vert g\Vert _{C_{B}^{2}[0,\infty)}, $$
where \(\vartheta_{n}(x)\) is given in Lemma  3 and \(C_{B}[0,\infty)\) is the space of all bounded and continuous functions on \([0,\infty)\) and
$$ C_{B}^{2}[0,\infty)= \bigl\{ g\in C_{B}[0, \infty):g^{\prime },g^{\prime\prime}\in C_{B}[0,\infty) \bigr\} $$
with the norm
$$ \Vert g\Vert _{C_{B}^{2}[0,\infty)}=\Vert g\Vert _{C_{B}[0,\infty)}+\bigl\Vert g^{\prime}\bigr\Vert _{C_{B}[0,\infty )}+\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}[0,\infty)}. $$
Also
$$ \Vert g\Vert _{C_{B}[0,\infty)}=\sup_{x\in[0,\infty )}\bigl\vert g(x) \bigr\vert . $$

Theorem 4

For \(f\in C_{B}[0,\infty)\) and \(x\in[0,\infty)\), we get
$$ \bigl\vert D_{n,q} ( f;x ) -f(x)\bigr\vert \leq2M \biggl\{ \omega _{2} \biggl( f;\sqrt{\frac{\vartheta_{n}(x)}{4}} \biggr) +\min \biggl( 1, \frac{\vartheta_{n}(x)}{4} \biggr) \Vert f\Vert _{C_{B}[0,\infty )} \biggr\} , $$
(3.1)
where M is a positive constant and \(\omega_{2} ( f;\delta ) \) is the second order modulus of continuity of the function \(f\in C_{B}[0,\infty)\) defined as
$$ \omega_{2} ( f;\delta ) :=\sup_{0< t\leq\delta}\bigl\Vert f ( \cdot+2t ) -2f ( \cdot+t ) +f ( \cdot ) \bigr\Vert _{C_{B}[0,\infty)} $$
and \(K_{2}(f;\delta)\) is the Peetre K-functional defined by
$$ K_{2}(f;\delta)=\inf_{g\in C_{B}^{2}[0,\infty)} \bigl\{ \Vert f-g \Vert _{C_{B}[0,\infty)}+\delta \Vert g\Vert _{C_{B}^{2}[0,\infty)} \bigr\} . $$

Theorem 5

Let \(f\in C_{\rho}^{k}( \mathbb{R}^{+})\). Then
$$ \sup_{x\in[0,\infty)}\frac{\vert D_{n,q}(f;x)-f(x) \vert }{(1+x^{2})^{2}}\leq S_{\mu} \biggl( 1+ \frac{1}{[n]_{q}} \biggr) \Omega \biggl( f;\frac{1}{\sqrt{[n]_{q}}} \biggr) $$
holds. Here \(S_{\mu}\) is a constant independent of n.

4 Auxiliary results

In the section, we prove the theorems and lemmas given in the previous section.

Proof of Lemma 3

Since \(f\in \operatorname{Lip}_{M}(\alpha)\) and by linearity of the function f, we get
$$\begin{aligned} \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq&\bigl\vert D_{n,q}\bigl(f(t)-f(x);x\bigr)\bigr\vert \leq D_{n,q}\bigl( \bigl\vert f(t)-f(x) \bigr\vert ;x\bigr) \\ \leq&MD_{n,q}\bigl(\vert t-x\vert ^{\alpha};x\bigr). \end{aligned}$$
By using Lemma 1 and the Hölder inequality, one gets
$$\begin{aligned} \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq&M\frac{1}{e_{\mu ,q}([n]_{q}x)} \sum_{k=0}^{\infty} \biggl( \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggr) ^{\frac{2-\alpha}{2}} \biggl( \frac {([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggr) ^{\frac{\alpha}{2}}\biggl\vert \frac {1-q^{2\mu \theta_{k}+k}}{1-q^{n}}-x\biggr\vert ^{\alpha} \\ \leq&M\frac{1}{e_{\mu,q}([n]_{q}x)} \Biggl( \sum_{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \Biggr) ^{\frac{2-\alpha}{2}} \\ &{}\times\Biggl( \sum _{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}\biggl\vert \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x\biggr\vert ^{2} \Biggr) ^{\frac{\alpha}{2}} \\ =&M\bigl(D_{n,q}\bigl((t-x)^{2};x\bigr)\bigr)^{\frac{\alpha}{2}}. \end{aligned}$$
This ends the proof. □

Proof of Theorem 3

From Lemma 1, the property of the modulus of continuity, and the Cauchy-Schwarz inequality, we have
$$\begin{aligned} \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq&\frac{1}{e_{\mu ,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}\biggl\vert f \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}} \biggr) -f(x)\biggr\vert \\ \leq& \Biggl( 1+\frac{1}{\delta}\frac{1}{e_{\mu,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}\biggl\vert \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x\biggr\vert \Biggr) \omega ( f;\delta ) \\ \leq& \Biggl\{ 1+\frac{1}{\delta} \Biggl( \frac{1}{e_{\mu,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x \biggr) ^{2} \Biggr) ^{\frac {1}{2}} \Biggr\} \omega ( f;\delta ) \\ \leq& \biggl\{ 1+\frac{1}{\delta}\sqrt{\frac{x}{[n]_{q}} [ 2\mu+1 ] _{q}} \biggr\} \omega ( f;\delta ) . \end{aligned}$$
If we choose \(\delta=\delta_{n}=\sqrt{\frac{1}{ [ n ] _{q}}}\), then we have desired result. □

Proof of Lemma 4

Using the generalized mean value theorem in the Taylor series expansion for \(g\in C_{B}^{2}[0,\infty)\), we have
$$ g(t)=g(x)+g^{\prime}(x) (t-x)+g^{\prime\prime}(\xi)\frac {(t-x)^{2}}{2},\quad \xi \in(x,t). $$
By the linearity property of the operator \(D_{n,q}\), we obtain
$$ D_{n,q} ( g;x ) -g(x)=g^{\prime}(x)D_{n,q}\bigl((t-x);x \bigr)+\frac{g^{\prime\prime}(\xi)}{2}D_{n,q}\bigl((t-x)^{2};x\bigr). $$
From the above equality and Lemma 2, we conclude that
$$\begin{aligned} \bigl\vert D_{n,q} ( g;x ) -g(x)\bigr\vert \leq&\frac{x}{2[n]_{q}} [ 2\mu+1 ] _{q}\bigl\Vert g^{\prime\prime }\bigr\Vert _{C_{B}[0,\infty)} \\ \leq&\frac{x}{2[n]_{q}} [ 2\mu+1 ] _{q}\Vert g\Vert _{C_{B}^{2}[0,\infty)}. \end{aligned}$$
This ends the proof. □

Proof of Theorem 4

Let \(g\in C_{B}^{2}[0,\infty)\). From Lemma 4, we have
$$\begin{aligned} \bigl\vert D_{n,q} ( f;x ) -f(x)\bigr\vert \leq&\bigl\vert D_{n,q} ( f-g;x ) \bigr\vert +\bigl\vert D_{n,q} ( g;x ) -g(x)\bigr\vert +\bigl\vert f(x)-g(x)\bigr\vert \\ \leq&2\Vert f-g\Vert _{C_{B}[0,\infty)}+\frac{\vartheta _{n}(x)}{2}\Vert g\Vert _{C_{B}^{2}[0,\infty)}. \end{aligned}$$
When we take the infimum over all \(g\in C_{B}^{2}[0,\infty)\), then we obtain
$$ \bigl\vert D_{n,q} ( f;x ) -f(x)\bigr\vert \leq2K_{2} \biggl( f;\frac{\vartheta_{n}(x)}{4} \biggr) . $$
Now we recall the relation
$$ K_{2}(f;\delta)\leq C \bigl\{ \omega_{2} ( f;\sqrt{\delta} ) +\min(1,\delta)\Vert f\Vert \bigr\} , $$
where we have an absolute constant \(C>0\) [35], and we get (3.1). □
For arbitrary \(f\in C_{\rho}^{k}(\mathbb{R}^{+})\),the weighted modulus of continuity is defined by
$$ \Omega(f;\delta)=\sup_{x\in[0,\infty), \vert h \vert \leq\delta}\frac{\vert f(x+h)-f(x)\vert }{(1+h^{2})(1+x^{2})} $$
and was introduced by Atakut and İspir in [23]. There are two main properties of this modulus of continuity, which are \(\lim_{\delta \rightarrow0}\Omega(f;\delta)=0\) and
$$ \bigl\vert f(t)-f(x)\bigr\vert \leq2 \biggl( 1+\frac{\vert t-x\vert }{\delta} \biggr) \bigl(1+\delta ^{2}\bigr) \bigl(1+x^{2}\bigr) \bigl(1+(t-x)^{2}\bigr)\Omega (f;\delta), $$
(4.1)
where \(f\in C_{\rho}^{k}( \mathbb{R}^{+})\) and \(t,x\in[0,\infty)\). One can find many properties of the weighted modulus of continuity in [23].

Proof of Theorem 5

From Lemma 2 and (4.1), we have
$$\begin{aligned} \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \leq&\frac{1}{e_{\mu ,q}([n]_{q}x)}\sum _{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}\biggl\vert f \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}} \biggr) -f(x)\biggr\vert \\ \leq&2\bigl(1+\delta^{2}\bigr) \bigl(1+x^{2}\bigr)\Omega(f; \delta)\frac{1}{e_{\mu ,q}([n]_{q}x)} \\ &{}\times\sum_{k=0}^{\infty}\frac{([n]_{q}x)^{k}}{\gamma_{\mu ,q}(k)} \biggl( 1+\frac{\vert \frac{1-q^{2\mu\theta _{k}+k}}{1-q^{n}}-x\vert }{\delta} \biggr) \biggl( 1+ \biggl( \frac{1-q^{2\mu\theta _{k}+k}}{1-q^{n}}-x \biggr) ^{2} \biggr) \\ =&2\bigl(1+\delta^{2}\bigr) \bigl(1+x^{2}\bigr)\Omega(f; \delta)\frac{1}{e_{\mu ,q}([n]_{q}x)} \\ &{}\times\Biggl\{ \sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu ,q}(k)}+\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)} \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x \biggr) ^{2} \\ &{}+\frac{1}{\delta}\sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma _{\mu,q}(k)}\biggl\vert \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x\biggr\vert \\ &{}+\frac{1}{\delta} \sum_{k=0}^{\infty} \frac{([n]_{q}x)^{k}}{\gamma_{\mu,q}(k)}\biggl\vert \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x\biggr\vert \biggl( \frac{1-q^{2\mu\theta_{k}+k}}{1-q^{n}}-x \biggr) ^{2}\Biggr\} . \end{aligned}$$
Applying the Cauchy-Schwarz inequality for the above series, we obtain
$$\begin{aligned}& \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \\& \quad \leq 2\bigl(1+\delta ^{2}\bigr) \bigl(1+x^{2}\bigr)\Omega(f;\delta) \biggl( 1+D_{n,q}\bigl((t-x)^{2};x\bigr) \\& \qquad {}+\frac{1}{\delta}\sqrt{D_{n,q}\bigl((t-x)^{2};x\bigr)}+ \frac{1}{\delta} \sqrt{D_{n,q}\bigl((t-x)^{2};x \bigr)D_{n,q}\bigl((t-x)^{4};x\bigr)}\biggr) . \end{aligned}$$
From (2.9) and (2.10), we find
$$\begin{aligned}& \bigl\vert D_{n,q}(f;x)-f(x)\bigr\vert \\& \quad \leq 2\bigl(1+\delta ^{2}\bigr) \bigl(1+x^{2}\bigr)\Omega(f;\delta)\biggl\{ 1+[1+2 \mu]_{q}\frac {x}{[n]_{q}}+\frac{1}{\delta}\sqrt{[1+2 \mu]_{q}\frac{x}{[n]_{q}}} \\& \qquad {}+\frac{1}{\delta}\sqrt{ \biggl( [1+2\mu]_{q} \frac{x}{[n]_{q}} \biggr) \biggl( 12\frac{[1+2\mu]_{q}}{[n]_{q}}x^{3}+ \frac{7[1+2\mu ]_{q}^{2}}{[n]_{q}^{2}}x^{2}+\frac{[1+2\mu]_{q}^{3}}{[n]_{q}^{3}}x \biggr) }\biggr\} . \end{aligned}$$
Choosing \(\delta=\frac{1}{\sqrt{[n]_{q}}}\) then the proof is completed. □

Declarations

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’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Teknik Okullar, Gazi University

References

  1. Bernstein, SN: Démonstration du théoréme de Weierstrass fondée sur le calcul des probabilités. Commun. Soc. Math. Kharkow 2(13), 1-2 (1912) Google Scholar
  2. Szász, O: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Natl. Bur. Stand. 45, 239-245 (1950) View ArticleGoogle Scholar
  3. Mursaleen, M, Ansari, KJ, Khan, A: Some approximation results by \((p,q)\)-analogue of Bernstein-Stancu operators. Appl. Math. Comput. 264, 392-402 (2015) MathSciNetView ArticleGoogle Scholar
  4. Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2002) MATHView ArticleGoogle Scholar
  5. Ernst, T: The history of q-calculus and a new method. U.U.D.M. Report 16, Department of Mathematics, Upsala University (2000) Google Scholar
  6. Lupaş, A: A q-analogue of the Bernstein operators. In: Seminar on Numerical and Statistical Calculus, vol. 9, pp. 85-92. University of Cluj-Napoca, Cluj-Napoca (1987) Google Scholar
  7. Phillips, GM: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511-518 (1997) MATHMathSciNetGoogle Scholar
  8. Ostrovska, S: q-Bernstein polynomials and their iterates. J. Approx. Theory 123(2), 232-255 (2003) MATHMathSciNetView ArticleGoogle Scholar
  9. Büyükyazıcı, I: Direct and inverse results for generalized q-Bernstein polynomials. Far East J. Appl. Math. 34(2), 191-204 (2009) MATHMathSciNetGoogle Scholar
  10. Büyükyazıcı, I: On the approximation properties of two-dimensional q-Bernstein-Chlodowsky polynomials. Math. Commun. 14(2), 255-269 (2009) MATHMathSciNetGoogle Scholar
  11. Büyükyazıcı, I, Sharma, H: Approximation properties of two-dimensional q-Bernstein-Chlodowsky-Durrmeyer operators. Numer. Funct. Anal. Optim. 33(12), 1351-1371 (2012) MATHMathSciNetView ArticleGoogle Scholar
  12. Aral, A: A generalization of Szász-Mirakyan operators based on q-integers. Math. Comput. Model. 47(9-10), 1052-1062 (2008) MATHMathSciNetView ArticleGoogle Scholar
  13. Nowak, G, Gupta, V: The rate of pointwise approximation of positive linear operators based on q-integer. Ukr. Math. J. 63(3), 403-415 (2011) MATHMathSciNetView ArticleGoogle Scholar
  14. Gupta, V: Some approximation properties on q-Durrmeyer operators. Appl. Math. Comput. 197(1), 172-178 (2008) MATHMathSciNetView ArticleGoogle Scholar
  15. Wang, H: Properties of convergence for the q-Meyer-König and Zeller operators. J. Math. Anal. Appl. 335(2), 1360-1373 (2007) MATHMathSciNetView ArticleGoogle Scholar
  16. Wang, H: Properties of convergence for ω, q-Bernstein polynomials. J. Math. Anal. Appl. 340(2), 1096-1108 (2008) MATHMathSciNetView ArticleGoogle Scholar
  17. Wang, H, Wu, XZ: Saturation of convergence for q-Bernstein polynomials in the case \(q \geq 1\). J. Math. Anal. Appl. 337(1), 744-750 (2008) MATHMathSciNetView ArticleGoogle Scholar
  18. Phillips, GM: A survey of results on the q-Bernstein polynomials. IMA J. Numer. Anal. 30(1), 277-288 (2010) MATHMathSciNetView ArticleGoogle Scholar
  19. Aral, A, Gupta, V, Agarwal, RP: Applications of q-Calculus in Operator Theory. Springer, New York (2013) MATHView ArticleGoogle Scholar
  20. Acar, T, Aral, A: On pointwise convergence of q-Bernstein operators and their q-derivatives. Numer. Funct. Anal. Optim. 36(3), 287-304 (2015) MathSciNetView ArticleGoogle Scholar
  21. Aral, A, Gupta, V: Generalized q-Baskakov operators. Math. Slovaca 61(4), 619-634 (2011) MATHMathSciNetView ArticleGoogle Scholar
  22. Finta, Z, Gupta, V: Approximation by q-Durrmeyer operators. J. Appl. Math. Comput. 29(1-2), 401-415 (2009) MATHMathSciNetView ArticleGoogle Scholar
  23. Atakut, Ç, Ispir, N: Approximation by modified Szasz-Mirakjan operators on weighted spaces. Proc. Indian Acad. Sci. Math. Sci. 112, 571-578 (2002) MATHMathSciNetView ArticleGoogle Scholar
  24. Sucu, S: Dunkl analogue of Szász operators. Appl. Math. Comput. 244, 42-48 (2014) MathSciNetView ArticleGoogle Scholar
  25. İcoz, G, Çekim, B: Stancu type generalization of Dunkl analogue of Szász Kantorovich operators. Math. Methods Appl. Sci. (in press). doi:https://doi.org/10.1002/mma.3602
  26. Gupta, V, Rassias, TM: Direct estimates for certain Szász type operators. Appl. Math. Comput. 251, 469-474 (2015) MathSciNetView ArticleGoogle Scholar
  27. Aral, A, Inoan, D, Raşa, I: On the generalized Szász-Mirakyan operators. Results Math. 65(3-4), 441-452 (2014) MATHMathSciNetView ArticleGoogle Scholar
  28. Acar, T: Asymptotic formulas for generalized Szász-Mirakyan operators. Appl. Math. Comput. 263, 223-239 (2015) MathSciNetView ArticleGoogle Scholar
  29. Acar, T, Gupta, V, Aral, A: Rate of convergence for generalized Szász operators. Bull. Math. Sci. 1(1), 99-113 (2011) MATHMathSciNetView ArticleGoogle Scholar
  30. Rosenblum, M: Generalized Hermite polynomials and the Bose-like oscillator calculus. Oper. Theory, Adv. Appl. 73, 369-396 (1994) MathSciNetGoogle Scholar
  31. Ben Cheikh, Y, Gaied, M, Zaghouani, A: q-Dunkl-classical q-Hermite type polynomials. Georgian Math. J. 21(2), 125-137 (2014) MATHMathSciNetView ArticleGoogle Scholar
  32. Gadzhiev, AD: The convergence problem for a sequence of positive linear operators on unbounded sets and theorems analogous to that of P.P. Korovkin. Sov. Math. Dokl. 15(5), 1433-1436 (1974) MATHGoogle Scholar
  33. Korovkin, PP: On convergence of linear positive operators in the space of continuous functions. Dokl. Akad. Nauk SSSR 90, 961-964 (1953) (in Russian) MATHMathSciNetGoogle Scholar
  34. Altomare, F, Campiti, M: Korovkin-Type Approximation Theory and Its Applications. de Gruyter Studies in Mathematics, vol. 17. de Gruyter, Berlin (1994) MATHView ArticleGoogle Scholar
  35. Ciupa, A: A class of integral Favard-Szász type operators. Stud. Univ. Babeş-Bolyai, Math. 40(1), 39-47 (1995) MATHMathSciNetGoogle Scholar

Copyright

© İçöz and Çekim 2015