Skip to main content

Dunkl generalization of Szász operators via q-calculus

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.

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. □

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)

    Article  Google 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)

    Article  MathSciNet  Google Scholar 

  4. Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2002)

    Book  MATH  Google 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)

  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)

    MATH  MathSciNet  Google Scholar 

  8. Ostrovska, S: q-Bernstein polynomials and their iterates. J. Approx. Theory 123(2), 232-255 (2003)

    Article  MATH  MathSciNet  Google 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)

    MATH  MathSciNet  Google 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)

    MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google Scholar 

  12. Aral, A: A generalization of Szász-Mirakyan operators based on q-integers. Math. Comput. Model. 47(9-10), 1052-1062 (2008)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google Scholar 

  14. Gupta, V: Some approximation properties on q-Durrmeyer operators. Appl. Math. Comput. 197(1), 172-178 (2008)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google Scholar 

  16. Wang, H: Properties of convergence for ω, q-Bernstein polynomials. J. Math. Anal. Appl. 340(2), 1096-1108 (2008)

    Article  MATH  MathSciNet  Google 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)

    Article  MATH  MathSciNet  Google Scholar 

  18. Phillips, GM: A survey of results on the q-Bernstein polynomials. IMA J. Numer. Anal. 30(1), 277-288 (2010)

    Article  MATH  MathSciNet  Google Scholar 

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

    Book  MATH  Google 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)

    Article  MathSciNet  Google Scholar 

  21. Aral, A, Gupta, V: Generalized q-Baskakov operators. Math. Slovaca 61(4), 619-634 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  22. Finta, Z, Gupta, V: Approximation by q-Durrmeyer operators. J. Appl. Math. Comput. 29(1-2), 401-415 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  23. Atakut, Ç, Ispir, N: Approximation by modified Szasz-Mirakjan operators on weighted spaces. Proc. Indian Acad. Sci. Math. Sci. 112, 571-578 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  24. Sucu, S: Dunkl analogue of Szász operators. Appl. Math. Comput. 244, 42-48 (2014)

    Article  MathSciNet  Google Scholar 

  25. İcoz, G, Çekim, B: Stancu type generalization of Dunkl analogue of Szász Kantorovich operators. Math. Methods Appl. Sci. (in press). doi:10.1002/mma.3602

  26. Gupta, V, Rassias, TM: Direct estimates for certain Szász type operators. Appl. Math. Comput. 251, 469-474 (2015)

    Article  MathSciNet  Google Scholar 

  27. Aral, A, Inoan, D, Raşa, I: On the generalized Szász-Mirakyan operators. Results Math. 65(3-4), 441-452 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  28. Acar, T: Asymptotic formulas for generalized Szász-Mirakyan operators. Appl. Math. Comput. 263, 223-239 (2015)

    Article  MathSciNet  Google Scholar 

  29. Acar, T, Gupta, V, Aral, A: Rate of convergence for generalized Szász operators. Bull. Math. Sci. 1(1), 99-113 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  30. Rosenblum, M: Generalized Hermite polynomials and the Bose-like oscillator calculus. Oper. Theory, Adv. Appl. 73, 369-396 (1994)

    MathSciNet  Google Scholar 

  31. Ben Cheikh, Y, Gaied, M, Zaghouani, A: q-Dunkl-classical q-Hermite type polynomials. Georgian Math. J. 21(2), 125-137 (2014)

    Article  MATH  MathSciNet  Google 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)

    MATH  Google 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)

    MATH  MathSciNet  Google Scholar 

  34. Altomare, F, Campiti, M: Korovkin-Type Approximation Theory and Its Applications. de Gruyter Studies in Mathematics, vol. 17. de Gruyter, Berlin (1994)

    Book  MATH  Google Scholar 

  35. Ciupa, A: A class of integral Favard-Szász type operators. Stud. Univ. Babeş-Bolyai, Math. 40(1), 39-47 (1995)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gürhan İçöz.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in writing this article and collaborated in its design in coordination. All authors read and approved the final paper.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

İçöz, G., Çekim, B. Dunkl generalization of Szász operators via q-calculus. J Inequal Appl 2015, 284 (2015). https://doi.org/10.1186/s13660-015-0809-y

Download citation

  • Received:

  • Accepted:

  • Published:

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

MSC

Keywords