Abstract
The purpose of this paper is to introduce a modification of q-Dunkl generalization of exponential functions. These types of operators enable better error estimation on the interval \([\frac{1}{2},\infty)\) than the classical ones. We obtain some approximation results via a well-known Korovkin-type theorem and a weighted Korovkin-type theorem. Further, we obtain the rate of convergence of the operators for functions belonging to the Lipschitz class.
Similar content being viewed by others
1 Introduction and preliminaries
In 1912, Bernstein [1] introduced the following sequence of operators \(B_{n}:C[0,1]\rightarrow C[0,1]\) defined by
for \(n\in\mathbb{N}\) and \(f\in C[0,1]\).
In 1950, for \(x \geq0\), Szász [2] introduced the operators
In the field of approximation theory, the application of q-calculus emerged as a new area. The first q-analogue of well-known Bernstein polynomials was introduced by Lupaş by applying the idea of q-integers [3]. In 1997, Phillips [4] considered another q-analogue of the classical Bernstein polynomials. Later on, many authors introduced q-generalizations of various operators and investigated several approximation properties [5–14].
We now present some basic definitions and notations of the q-calculus which are used in this paper [15].
Definition 1.1
For \(|q|<1\), the q-number \([ \lambda ] _{q} \) is defined by
Definition 1.2
For \(|q|<1\), the q-factorial \([ n ] _{q}!\) is defined by
Our investigation is to construct a linear positive operator generated by a generalization of the exponential function defined by (see [16])
where
and
The recursion formula for \(\gamma_{\mu}\) is given by
where \(\mu>-\frac{1}{2}\) and
Sucu [17] defined a Dunkl analogue of Szász operators via a generalization of the exponential function [16] as follows:
where \(x\geq0\), \(f\in C[0,\infty)\), \(\mu\geq0\), \(n\in\mathbb{N}\).
Cheikh et al. [18] stated the q-Dunkl classical q-Hermite-type polynomials and gave definitions of q-Dunkl analogues of exponential functions and recursion relations for \(\mu>-\frac{1}{2}\) and \(0< q<1\),
where
Some of the special cases of \(\gamma_{\mu,q}(n)\) are defined as follows:
In [19], Içöz and Çekim gave the Dunkl generalization of Szász operators via q-calculus as follows:
for \(\mu>\frac{1}{2}\), \(x\geq0\), \(0< q<1\) and \(f\in C[0,\infty)\).
Previous studies demonstrate that providing a better error estimation for positive linear operators plays an important role in approximation theory, which allows us to approximate much faster to the function being approximated.
Motivated essentially by Içöz and Çekim’s [19] recent investigation of Dunkl generalization of Szász-Mirakjan operators via q-calculus, we show that our modified operators have better error estimation than those in [19]. We also prove several approximation results and successfully extend the results of [19]. Several other related results are also discussed.
2 Construction of operators and moments estimation
Let \(\{r_{[n]_{q}}\}\) be a sequence of real-valued continuous functions defined on \([0,\infty)\) with \(0\leq r_{[n]_{q}}(x)<\infty\) such that
Then, for any \(\frac{1}{2n} \leq x < \frac{1}{1-q^{n}}\), \(0< q<1\), \(\mu>\frac{ 1}{2n}\) and \(n \in\mathbb{N}\), we define
where \(e_{\mu,q}(x)\), \(\gamma_{\mu,q}\) are defined in (1.6), (1.8) by [17] and \(f\in C_{\zeta}[0,\infty)\) with \(\zeta \geq0\) and
Lemma 2.1
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators given by (2.2). Then, for each \(\frac{1}{2n}\leq x<\frac{1}{1-q^{n}}\), \(n\in \mathbb{N}\), we have the following identities/estimates:
-
(1)
\(D_{n,q}^{\ast}(1;x)=1\),
-
(2)
\(D_{n,q}^{\ast}(t;x)=x-\frac{1}{2[n]_{q}}\),
-
(3)
\(x^{2}+ ( q^{2 \mu}[1-2 \mu]_{q} \frac{e_{\mu,q}(q [n]_{q} r_{[n]_{q}}(x))}{e_{\mu,q}([n]_{q} r_{[n]_{q}} (x))}-1 )\frac {x}{[n]_{q}}-\frac{1}{4[n]_{q}^{2}} (2q^{2 \mu}[1-2 \mu]_{q} \frac{e_{\mu,q}(q [n]_{q} r_{[n]_{q}}(x))}{e_{\mu,q}([n]_{q} r_{[n]_{q}} (x))}-1 )\leq D_{n,q}^{\ast}(t^{2};x) \leq x^{2}+ ( [1+2 \mu]_{q} -1 )\frac {x}{[n]_{q}}-\frac{1}{4[n]_{q}^{2}} (2[1+2 \mu]_{q} -1 ) \).
Proof
As \(D_{n,q}^{\ast}(1;x)=\frac{1}{e_{\mu,q}([n]_{q}r_{[n]_{q}}(x))}\sum_{k=0}^{\infty}\frac{([n]_{q}r_{[n]_{q}}(x))^{k}}{\gamma_{\mu }(k)}=1\), and
then (1) and (2) hold. Similarly,
From [19] we know that
Now, by separating to the even and odd terms and using (2.4), we get
Since
we have
On the other hand, we have
This completes the proof. □
Lemma 2.2
Let the operators \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be given by (2.2). Then, for each \(x\geq\frac{1}{2n}\), \(n \in\mathbb{N} \), we have
-
(1)
\(D_{n,q}^{\ast}(t-x;x)=-\frac{1}{2 [n]_{q}}\),
-
(2)
\(D_{n,q}^{\ast}((t-x)^{2};x)\leq[1+2\mu ]_{q}\frac{x}{[n]_{q}}-\frac{1}{4[n]_{q}^{2}} ( 2[1+2\mu]_{q}-1 ) \).
Proof
For the proof of this lemma, we use Lemma 2.1. In view of
(1) follows immediately.
Also
This proves (2). □
3 Main results
We obtain the Korovkin-type approximation properties for our operators (see [20–22]).
Let \(C_{B}(\mathbb{R}^{+})\) be the set of all bounded and continuous functions on \(\mathbb{R}^{+}=[0,\infty)\), which is a linear normed space with
Let
Theorem 3.1
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators defined by (2.2). Then, for any function \(f\in C_{\zeta}[0,\infty)\cap H\), \(\zeta\geq2\),
is uniform on each compact subset of \([0,\infty)\), where \(x \in[ \frac{1}{2},b)\), \(b>\frac{1}{2}\).
Proof
The proof is based on Lemma 2.1 and the well-known Korovkin theorem regarding the convergence of a sequence of linear positive operators, so it is enough to prove the conditions
uniformly on \([0,1]\).
Clearly, \(\frac{1}{[n]_{q}}\rightarrow0\) (\(n\rightarrow\infty\)) we have
This completes the proof. □
We recall the weighted spaces of the functions on \(\mathbb{R}^{+}\), which are defined as follows:
where \(\rho(x)=1+x^{2}\) is a weight function and \(M_{f}\) is a constant depending only on f. Note that \(Q_{\rho}(\mathbb{R}^{+})\) is a normed space with the norm \(\| f\|_{\rho}=\sup_{x\geq0}\frac {|f(x)|}{\rho(x)}\).
Lemma 3.2
[23]
The linear positive operators \(L_{n}\), \(n\geq1\) act from \(Q_{\rho}(\mathbb{R}^{+})\to P_{\rho}(\mathbb{R}^{+}) \) if and only if
where \(\varphi(x)=1+x^{2}\), \(x \in\mathbb{R}^{+}\) and K is a positive constant.
Theorem 3.3
[23]
Let \(\{L_{n}\}_{n \geq1}\) be a sequence of positive linear operators acting from \(Q_{\rho}(\mathbb{R}^{+})\to P_{\rho}(\mathbb{R}^{+}) \) and satisfying the condition
Then, for any function \(f\in Q_{\rho}^{k}(\mathbb{R}^{+})\), we have
Theorem 3.4
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators defined by (2.2). Then, for each function \(f \in Q^{k}_{\rho}(\mathbb{R}^{+})\), we have
Proof
From Lemma 2.1 and Theorem 3.3, for \(\tau=0\), the first condition is fulfilled. Therefore,
Similarly, from Lemma 2.1 and Theorem 3.3, for \(\tau =1,2\) we have that
which implies that
Hence
This completes the proof. □
4 Rate of convergence
Let \(f\in C_{B}[0,\infty]\), the space of all bounded and continuous functions on \([0,\infty)\) and \(x\geq\frac{1}{2n}\), \(n\in\mathbb{N}\). Then, for \(\delta>0\), the modulus of continuity of f denoted by \(\omega (f,\delta)\) gives the maximum oscillation of f in any interval of length not exceeding \(\delta>0\), and it is given by
It is known that \(\lim_{\delta\rightarrow0+}\omega(f,\delta)=0\) for \(f\in C_{B}[0,\infty)\), and for any \(\delta>0\) we have
Now we calculate the rate of convergence of operators (2.2) by means of modulus of continuity and Lipschitz-type maximal functions.
Theorem 4.1
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators defined by (2.2). Then, for \(f\in C_{B}[0,\infty)\), \(x\geq\frac{1}{2n}\) and \(n\in\mathbb{N}\), we have
where
Proof
We prove it by using (4.1), (4.2) and the Cauchy-Schwarz inequality. We can easily get
if we choose \(\delta=\delta_{n,x}\), and by applying the result (2) of Lemma 2.2, we get the result. □
Remark 4.2
For the operators \(D_{n,q}(\cdot ; \cdot)\) defined by (1.9) we may write that, for every \(f\in C_{B}[0,\infty)\), \(x\geq0\) and \(n \in\mathbb{N}\),
where by [19] we have
Now we claim that the error estimation in Theorem 4.1 is better than that of (4.4) provided \(f\in C_{B}[0,\infty)\) and \(x\geq\frac {1}{2n}\), \(n\in\mathbb{N}\). Indeed, for \(x\geq\frac{1}{2n}\), \(\mu\geq\frac {1}{2n}\) and \(n\in\mathbb{N}\), it is guaranteed that
which implies that
Now we give the rate of convergence of the operators \({D}_{n,q}^{\ast }(f;x) \) defined in (2.2) in terms of the elements of the usual Lipschitz class \(\operatorname{Lip}_{M}(\nu)\).
Let \(f\in C_{B}[0,\infty)\), \(M>0\) and \(0<\nu\leq1\). The class \(\operatorname{Lip}_{M}(\nu) \) is defined as
Theorem 4.3
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators defined in (2.2).Then, for each \(f\in \operatorname{Lip}_{M}(\nu)\) (\(M>0\), \(0<\nu\leq1\)) satisfying (4.9), we have
where \(\delta_{n,x}\) is given in Theorem 4.1.
Proof
We prove it by using (4.9) and Hölder’s inequality. We have
Therefore,
This completes the proof. □
Let
with the norm
also
Theorem 4.4
Let \(D_{n,q}^{\ast}(\cdot ; \cdot)\) be the operators defined in (2.2). Then for any \(g\in C_{B}^{2}(\mathbb{R}^{+})\) we have
where \(\delta_{n,x}\) is given in Theorem 4.1.
Proof
Let \(g\in C_{B}^{2}(\mathbb{R}^{+})\). Then, by using the generalized mean value theorem in the Taylor series expansion, we have
By applying the linearity property on \(D_{n,q}^{\ast}\), we have
which implies that
From (4.11) we have \(\| g^{\prime}\| _{C_{B}[0,\infty)}\leq\| g\|_{C_{B}^{2}[0,\infty)}\),
The proof follows from (2) of Lemma 2.2. □
The Peetre’s K-functional is defined by
where
There exists a positive constant \(C>0\) such that \(K_{2}(f,\delta)\leq C\omega_{2}(f,\delta^{\frac{1}{2}})\), \(\delta>0\), where the second-order modulus of continuity is given by
Theorem 4.5
For \(x\geq\frac{1}{2n}\), \(n\in\mathbb{N}\) and \(f\in C_{B}( \mathbb{R}^{+})\), we have
where M is a positive constant, \(\delta_{n,x}\) is given in Theorem 4.3 and \(\omega_{2}(f;\delta)\) is the second-order modulus of continuity of the function f defined in (4.15).
Proof
We prove this by using Theorem 4.4
From (4.11), clearly, we have \(\| g \|_{C_{B}[0,\infty)}\leq\| g \|_{C_{B}^{2}[0,\infty)}\).
Therefore,
where \(\delta_{n,x}\) is given in Theorem 4.1.
By taking infimum over all \(g\in C_{B}^{2}(\mathbb{R}^{+})\) and by using (4.13), we get
Now, for an absolute constant \(Q>0\) in [24], we use the relation
This completes the proof. □
5 Conclusion
The purpose of this paper is to provide a better error estimation of convergence by modification of the q-Dunkl analogue of Szász operators. Here we have defined a Dunkl generalization of these modified operators. This type of modification enables better error estimation on the interval \([1/2,\infty)\) if compared to the classical Dunkl-Szász operators [19]. We obtained some approximation results via the well-known Korovkin-type theorem. We have also calculated the rate of convergence of operators by means of modulus of continuity and Lipschitz-type maximal functions.
References
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 (2012)
Szász, O: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Natl. Bur. Stand. 45, 239-245 (1950)
Lupaş, A: A q-analogue of the Bernstein operator. In: Seminar on Numerical and Statistical Calculus, vol. 9, pp. 85-92. University of Cluj-Napoca, Cluj-Napoca (1987)
Phillips, GM: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511-518 (1997)
Mursaleen, M, Ansari, KJ: Approximation of q-Stancu-beta operators which preserve \(x^{2}\). Bull. Malays. Math. Sci. Soc. (2015). doi:10.1007/s40840-015-0146-9
Mursaleen, M, Khan, A: Statistical approximation properties of modified q-Stancu-beta operators. Bull. Malays. Math. Sci. Soc. (2) 36(3), 683-690 (2013)
Mursaleen, M, Khan, A: Generalized q-Bernstein-Schurer operators and some approximation theorems. J. Funct. Spaces Appl. 2013, Article ID 719834 (2013)
Mursaleen, M, Khan, F, Khan, A: Approximation properties for modified q-Bernstein-Kantorovich operators. Numer. Funct. Anal. Optim. 36(9), 1178-1197 (2015)
Mursaleen, M, Khan, F, Khan, A: Approximation properties for King’s type modified q-Bernstein-Kantorovich operators. Math. Methods Appl. Sci. 38, 5242-5252 (2015)
Mursaleen, M, Khan, T, Nasiruzzaman, M: Approximating properties of generalized Dunkl analogue of Szász operators. Appl. Math. Inf. Sci. 10(6), 1-8 (2016)
Örkcü, M, Doğru, O: Weighted statistical approximation by Kantorovich type q-Szász Mirakjan operators. Appl. Math. Comput. 217, 7913-7919 (2011)
Örkcü, M, Doğru, O: q-Szász-Mirakyan-Kantorovich type operators preserving some test functions. Appl. Math. Lett. 24, 1588-1593 (2011)
Wafi, A, Rao, N, Rai, D: Approximation properties by generalized-Baskakov-Kantorovich-Stancu type operators. Appl. Math. Inf. Sci. Lett. 4(3), 111-118 (2016)
Wafi, A, Rao, N: A generalization of Szász-type operators which preserves constant and quadratic test functions. Cogent Math. 3, 1227023 (2016)
Aral, A, Gupta, V, Agarwal, RP: Applications of q-Calculus in Operator Theory. Springer, New York (2013)
Rosenblum, M: Generalized Hermite polynomials and the Bose-like oscillator calculus. Oper. Theory, Adv. Appl. 73, 369-396 (1994)
Sucu, S: Dunkl analogue of Szász operators. Appl. Math. Comput. 244, 42-48 (2014)
Cheikh, B, Gaied, Y, Zaghouani, M: A q-Dunkl-classical q-Hermite type polynomials. Georgian Math. J. 21(2), 125-137 (2014)
İçōz, G, Çekim, B: Dunkl generalization of Szász operators via q-calculus. J. Inequal. Appl. 2015, 284 (2015)
Braha, NL, Srivastava, HM, Mohiuddine, SA: A Korovkin’s type approximation theorem for periodic functions via the statistical summability of the generalized de la Vallée Poussin mean. Appl. Math. Comput. 228, 162-169 (2014)
Edely, OHH, Mohiuddine, SA, Noman, AK: Korovkin type approximation theorems obtained through generalized statistical convergence. Appl. Math. Lett. 23(11), 1382-1387 (2010)
Mohiuddine, SA: An application of almost convergence in approximation theorems. Appl. Math. Lett. 24(11), 1856-1860 (2011)
Gadzhiev, AD: The convergence problem for a sequence of positive linear operators on unbounded sets and theorems analogues to that of PP Korovkin. Sov. Math. Dokl. 15(5), 1433-1436 (1974)
Ciupa, A: A class of integral Favard-Szász type operators. Stud. Univ. Babeş-Bolyai, Math. 40(1), 39-47 (1995)
Acknowledgements
The authors gratefully acknowledge the financial support from King Abdulaziz University, Jeddah, Saudi Arabia.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors of the manuscript have read and agreed to its content and are accountable for all aspects of the accuracy and integrity of the manuscript.
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.
About this article
Cite this article
Mursaleen, M., Nasiruzzaman, M. & Alotaibi, A. On modified Dunkl generalization of Szász operators via q-calculus. J Inequal Appl 2017, 38 (2017). https://doi.org/10.1186/s13660-017-1311-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1311-5