- Research
- Open access
- Published:
A new type of Szász–Mirakjan operators based on q-integers
Journal of Inequalities and Applications volume 2023, Article number: 140 (2023)
Abstract
In this article, by using the notion of quantum calculus, we define a new type Szász–Mirakjan operators based on the q-integers. We derive a recurrence formula and calculate the moments \(\Phi _{n,q}(t^{m};x)\) for \(m=0,1,2\) and the central moments \(\Phi _{n,q}((t-x)^{m};x)\) for \(m=1,2\). We give estimation for the first and second-order central moments. We present a Korovkin type approximation theorem and give a local approximation theorem by using modulus of continuity. We obtain a local direct estimate for the new Szász–Mirakjan operators in terms of Lipschitz-type maximal function of order α. Finally, we prove a Korovkin type weighted approximation theorem.
1 Introduction
Approximation theory is one of the most important research areas in mathematics, which appeared in the nineteenth century. Since then, it has been studied by many mathematicians all over the world. The main goal of this theory is to produce a representation of any given function using other functions that have a simpler structure and more elementary properties such as differentiability and integrability. Positive linear operators have an important place in approximation theory and the theory of these operators has been an important area of research in the last three decades. Bernstein polynomials are the most popular and have been used to approximate functions in many areas of mathematics and also in some other fields. The first generalization of Bernstein polynomials using the concept of q-integers is introduced by A. Lupaş [13] in 1987. Later, in 1996, a different generalization of Bernstein polynomials using q-integers, is introduced by G.M. Phillips [16]. Until today, there are many generalizations of some positive linear operators based on q-integers. It is proved by A. Lupas [13] and G.M. Phillips [16] that the rate of convergence of q-generalizations of these operators are better than the classical ones.
Szász–Mirakjan operator [18] defined by O. Szász in 1950 is as follows:
For \(f\in C[0,\infty )\)
The moments of the Szász–Mirakjan operator can be found in [11].
The operators \(S_{n} ( f;x ) \) defined by O. Szász generalized the Bernstein polynomials to the infinite interval \([0,\infty )\) and they have an important place among all the operators that can be used to approximate functions on the unbounded intervals. Szász–Mirakjan operators have a simple structure and they have been widely examined in the recent years. Many authors from this area introduced and discussed different modifications of classical Szász–Mirakjan operators and also Szász–Mirakjan operators based on the q-integers (see [2, 3, 5, 7, 9, 14, 15, 17]).
For \(0< q<1\), the q-Szász–Mirakjan operators defined by A. Aral are as follows (see [2]):
where \(0\leq x<\alpha _{q}(n)\), \(\alpha _{q}(n)=\frac{b_{n}}{(1-q) [ n ] _{q}}\), \(f\in C(\mathbb{R} _{0})\) and \(b_{n}\) is a sequence of positive numbers such that \(\lim_{n\rightarrow \infty}b_{n}=\infty \). The operators \(S_{n}^{q}\) are positive and linear and reduce to the classical Szász–Mirakjan operators in the case \(q=1\).
On the other hand, q-parametric Szász–Mirakjan operator defined by N.I. Mahmudov is as follows (see [14]):
For \(n\in \mathbb{N} \), \(0< q<1\) and \(f: [ 0,\infty ) \longrightarrow \mathbb{R} \)
where
Like the classical Szász–Mirakjan operator \(S_{n}\), Mahmudov’s operator \(S_{n,q}\) is also positive and linear.
In this paper, motivated by the studies mentioned above, we define a new generalization of the Szász–Mirakjan operators based on the q-integers.
The paper is organized as follows. In Sect. 2, we define new type Szász–Mirakjan operators based on the q-integers, \(\Phi _{n,q}(f;x)\). We derive a recurrence formula and use this recurrence formula to calculate the moments \(\Phi _{n,q}(t^{m};x)\) for \(m=0,1,2\) and the central moments \(\Phi _{n,q}((t-x)^{m};x)\) for \(m=1,2\). We also present an estimation for the first and the second order central moments. In Sect. 3, we give a Korovkin-type approximation theorem and an estimation of the rate of convergence by using modulus of continuity. In Sect. 4, we present a local approximation theorem by using first and second order modulus of continuity and obtain a local direct estimate for the new Szász–Mirakjan operators in terms of Lipschitz-type maximal function of order α. In Sect. 5, we prove a Korovkin-type weighted approximation theorem.
2 Operators and estimation of their moments
Basic concepts and notations of the q-calculus and applications of q-calculus in operator theory can be found in [12] and [4].
Let \(B_{m} [ 0,\infty ) = \{ f: \vert f(x) \vert \leq M_{f}(1+x^{m}),\text{ }x\in [ 0,\infty ) , \text{ }m>0\text{ and }M_{f}\text{ is a constant} \text{depending on }f \} \),
The spaces mentioned above are equipped with the norm
We introduce new type Szász–Mirakjan operators based on the q-integers as follows:
Definition 1
Let \(0< q<1\) and \(n\in \mathbb{N} \). For \(f: [ 0,\infty ) \rightarrow \mathbb{R} \), a new type of the Szász–Mirakjan operators based on the q-integers is defined as follows:
where \((1+1)_{q}^{k}=\prod_{j=0}^{k-1} ( 1+q^{j} ) \) and \(\varepsilon ^{[ n]_{q}x}= \sum ^{\infty}_{k=0}(1+1)_{q}^{k} ( \frac{[n]_{q}x}{2} ) ^{k} \frac{1}{[k]_{q}!}\).
Note that if we take \(q=1\), the operators \(\Phi _{n,q}(f;x)\) reduce to the classical Szasz–Mirakjan operators \(S_{n} ( f;x ) \).
Moments and central moments play an important role in approximation theory. In the following lemma we derive a recurrence formula for \(\Phi _{n,q}(t^{m+1};x)\) which will be used to calculate moments \(\Phi _{n,q}(t^{m};x)\) for \(m=0,1,2\) and the central moments \(\Phi _{n,q}((t-x)^{m};x)\) for \(m=1,2\).
Lemma 2
Let \(0< q<1\), \(m\in \mathbb{Z} ^{+}\cup \{0\}\) and \(n\in \mathbb{N} \). For the operators \(\Phi _{n,q}(f;x)\), we have
Proof
By using the definition of the operators \(\Phi _{n,q}(f;x)\), we have
With the help of the binomial formula, we can write \([k+1]_{q}^{m}= ( 1+q[k]_{q} ) ^{m}= \sum ^{m}_{j=0}\binom{m}{j}\times ( q[k]_{q} ) ^{j}\). Thus
now by using the identity \((1+1)_{q}^{k+1}=(1+1)_{q}^{k}(1+q^{k})\), we get
where
and
Now combining \(S_{1}\) and \(S_{2}\), we obtain
□
From Lemma 2, by using the recurrence formula (2), we obtain explicit formulas for the moments \(\Phi _{n,q}(t^{j};x)\) for \(j=0,1,2\).
Remark 3
Let \(0< q<1\) and \(n\in \mathbb{N} \). We have
Now by using the linearity property of the operators \(\Phi _{n,q}(f;x)\) and Remark 3, we obtain central moments \(\Phi _{n,q}((t-x)^{j};x)\) for \(j=1,2\).
Lemma 4
Let \(0< q<1\) and \(n\in \mathbb{N} \). For every \(x\in [ 0,\infty ) \), we have the following equalities:
In the following lemma, we give estimations for the first- and second-order central moments.
Lemma 5
Proof
(i) From the previous lemma, we know that \(\vert \Phi _{n,q}((t-x);x) \vert = \vert \frac{x}{2} ( \frac{\varepsilon ^{[ n]_{q}qx}}{\varepsilon ^{[ n]_{q}x}}-1 ) \vert \). We start by finding an estimation for \(\vert \frac{\varepsilon ^{ [ n ] _{q}qx}}{\varepsilon ^{ [ n ] _{q}x}}-1 \vert \).
Now we get
which implies
Thus
(ii) By using Lemma 4, we write
We start with the estimation of the term in modulus.
where
For \(\vert I_{3} \vert \) and \(\vert I_{4} \vert \), since \(\frac{\varepsilon ^{[ n]_{q}qx}}{\varepsilon ^{[ n]_{q}x}} \leq 1\) and \(\frac{\varepsilon ^{[ n]_{q}q^{2}x}}{\varepsilon ^{[ n]_{q}x}}\leq 1\), we can write
For \(\vert I_{5} \vert \), we write
Now from the Equation (7), we know that
which gives us the following explicit formulas
thus
For the estimation of the second term, we use again the fact that \(\frac{\varepsilon ^{[ n]_{q}qx}}{\varepsilon ^{[ n]_{q}x}} \leq 1\), so
and we conclude that
□
To show that the first- and the second-order central moments approach zero under some conditions, we need to prove the following limits.
Lemma 6
Assume that \(q=q_{n}\) \(\in ( 0,1 ) \), \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow b\) as \(n\rightarrow \infty \). Then we have
Proof
(a) From Equation (11), we know that
since \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow b\) as \(n\rightarrow \infty \), we get
(b) For the proof of this part, we write
and from part (a), we can easily see that
Thus we get
(c) From the Equation (9), we know that
thus
Since \(q_{n}\rightarrow 1\) as \(n\rightarrow \infty \), we have
Now from part (a)
and from part (b)
Thus we get
□
Corollary 7
Assume that \(q=q_{n}\) \(\in ( 0,1 ) \), \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow 1\) as \(n\rightarrow \infty \). Then we have
and
Proof
(i) From Equation (3) and Lemma 6, it is clear that, if \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow 1\) as \(n\rightarrow \infty \), then
(ii) From Equation (4), we write
Now again from Lemma 6, it is clear that, if \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow 1\) as \(n\rightarrow \infty \), then
Let us show that also the second term approaches zero. If \(q_{n}\rightarrow 1\), then for any fixed positive integer m, we have \([n]_{q_{n}}\geq [ m]_{q_{n}}\) when \(n\geq m\). Therefore, \(\lim \inf_{n\rightarrow \infty }[n]_{q_{n}}\geq \lim_{n \rightarrow \infty}[m]_{q_{n}}=m\). Since m has been chosen arbitrarily, it follows that \([n]_{q_{n}}\rightarrow \infty \). Hence, \(\frac{1}{[n]_{q_{n}}}\rightarrow 0\). Thus we get \(\lim_{n\rightarrow \infty}\Phi _{n,q_{n}}((t-x)^{2};x)=0\). □
3 Direct approximation results
In this section, we prove a Korovkin-type approximation theorem and give a rate of convergence for the operators \(\Phi _{n,q}(f;x)\).
Theorem 8
Let \(q_{n}\) be a sequence such that \(q_{n}\in ( 0,1 ) \). For each \(f\in C_{2}^{\ast} [ 0,\infty ) \), \(\Phi _{n,q_{n}}(f;x)\) converges to f uniformly on \([0,D]\) if and only if \(\lim_{n\rightarrow \infty}q_{n}=1\).
Proof
Suppose that \(\lim_{n\rightarrow \infty}q_{n}=1\) and \(D>0\) is fixed. Consider the lattice homomorphism \(T_{D}:C[0,\infty )\rightarrow C[0,D]\) defined by
We can obviously see that
uniformly on \([0,D]\). From the proposition 4.2.5, (6) of [1], we can say that \(C_{2}^{\ast} [ 0,\infty ) \) is isomorphic to \(C[0,1] \) and the set \(\{ 1,t,t^{2} \} \) is a Korovkin set in \(C_{2}^{\ast} [ 0,\infty ) \). So the universal Korovkin-type property (property (vi) of Thm. 4.1.4 in [1]) implies that
provided f∈ \(C_{2}^{\ast} [ 0,\infty ) \) and \(D>0\).
For the converse result, we use contradiction method. Assume that \(\lim_{n\rightarrow \infty}q_{n}\neq 1\). Then it must have a subsequence \(q_{n_{k}}\in ( 0,1 ) \) such that \(q_{n_{k}}\rightarrow \beta \in [ 0,1 ) \) as \(k\rightarrow \infty \).
Thus from Equation (13) and the fact that \(\lim_{k\rightarrow \infty } ( q_{n_{k}} ) ^{n_{k}}=0\),
and we get
This leads to a contradiction. Thus \(\lim_{n\rightarrow \infty}q_{n}=1\) as \(n\rightarrow \infty \). □
Theorem 9
Let \(0< q<1\), \(f\in C_{2} [ 0,\infty ) \) and \(\omega _{A+1}(f,\delta )=\sup_{\textit{ }} \{ \vert f(t)-f(x) \vert : \vert t-x \vert \leq \delta , x,t\in [ 0,A+1 ] \} \) be the modulus of continuity of f on the closed interval \([ 0,A+1 ] \), where \(A>0\). Then we have
where \(\alpha _{n}(A)=\frac{A^{2}}{4} ( 2(1-q)(2+q)+2A ( 1-q^{n} ) ) +\frac{A}{[n]_{q}}\).
Proof
For \(x\in [ 0,A ] \) and \(t\geq 0\), we have
By using Cauchy–Schwarz inequality, we obtain
For \(x\in [ 0,A ] \), using Lemma 5,
Thus we get
Now, choosing \(\delta =\sqrt{\alpha _{n}(A)}\), we obtain the desired result. □
4 Local approximation
In this section, we examine local approximation properties of the operators \(\Phi _{n,q} ( f;x ) \) and we give a local direct estimate in terms of Lipschitz-type maximal function of order α. Let \(C_{B} [ 0,\infty ) \) denote the space of all bounded, real valued continuous functions on \([ 0,\infty ) \). This space is equipped with the norm
On the other hand, Peetre’s K-functional is defined by
where \(C_{B}^{2} [ 0,\infty ) := \{ g\in C_{B} [ 0, \infty ) :g^{{\prime}},g^{{\prime \prime}}\in C_{B} [ 0, \infty ) \} \). By Theorem 2.4 in [6], there exists an absolute constant \(L>0\) such that
where \(\omega _{2} ( f;\delta ) \) is the second-order modulus of smoothness defined as
In the following theorem we give a local approximation for the operators \(\Phi _{n,q}(f;x)\) in terms of the first modulus of continuity and the second modulus of smoothness.
Theorem 10
Let \(f\in C_{B} [ 0,\infty ) \). Then, for every \(x\in [ 0,\infty ) \), there exists a constant \(L>0\) such that
where
and
Proof
Let
where \(f\in C_{B}[0,\infty ]\), \(\rho _{n}(x)=\Phi _{n,q}((t-x);x)+x=\frac{x}{2} ( \frac{\varepsilon ^{[ n]_{q}qx}}{\varepsilon ^{[ n]_{q}x}}+1 ) \). Note that \(^{\ast}\Phi _{n,q}((t-x);x)=0\). Using the Taylor’s formula, we get
Applying \(^{\ast}\Phi _{n,q}\) to both sides of the above equation, we have
On the other hand,
and
which implies
We also have
Using (16) and the uniform boundedness of \(^{\ast}\Phi _{n,q}\), we get
If we take the infimum on the right-hand side over all \(g\in C_{B}^{2}[0,\infty )\), we obtain
which together with (15) gives the proof of the theorem □
Theorem 11
Let \(\alpha \in (0,1]\) and A be any subset of the interval \([0,\infty )\). Then, if \(f\in C_{B}[0,\infty )\) is locally \(Lip(\alpha )\); i.e., the condition
holds, then, for each \(x\in [ 0,\infty )\), we have
where
L is a constant depending on α and f, \(d(x,A)\) is the distance between x, and A defined as
Proof
Assume that A̅ is the closure of A in \([0,\infty )\). Then, there exists a point \(x_{0}\in \overline{A}\) such that \(\vert x-x_{0} \vert =d(x,A)\). By using the triangle inequality
and (17), we get
Now, taking \(p=\frac{2}{\alpha}\) and \(q=\frac{2}{2-\alpha}\) in the Hölder inequality, we get
and the proof is completed. □
5 Weighted approximation
In this section, we study weighted approximation theorem for the operators \(\Phi _{n,q}(f;x)\).
Theorem 12
Let \(q=q_{n}\) \(\in ( 0,1 ) \), \(q_{n}\rightarrow 1\) and \(q_{n}^{n}\rightarrow 1\) as \(n\rightarrow \infty \). Then for each \(f\in C_{3}^{\ast} [ 0,\infty ) \), one has
Proof
For the proof of this theorem, we will use Korovkin-type theorem on weighted approximation ([8]) and Remark 3. Thus, it will be sufficient to verify the following condition for \(m=0,1,2\):
Since \(\Phi _{n,q_{n}}(1;x)=1\), it is obvious for \(m=0\).
For \(m=1\), we have
now from Inequality (10), since \(\vert \frac{\varepsilon ^{[ n]_{q_{n}}q_{n}x}}{\varepsilon ^{[ n]_{q_{n}}x}}-1 \vert \leq x(1-q_{n}^{n})\), we get
For \(m=2\), we have
The terms with \(( q_{n}-1 ) \) and \(( q_{n}^{2}-1 ) \) go to zero since \(q_{n}\rightarrow 1\). Now from Inequalities (10) and (12), we have
and
thus
and we conclude that
□
Availability of data and materials
Not applicable.
References
Altomare, F., Campiti, M.: Korovkin-Type Approximation Theory and Its Applications. De Gruyter Studies in Mathematics, vol. 17. Walter de Gruyter&Co., Berlin (1994)
Aral, A.: A generalization of Szász–Mirakyan operators based on q-integers. Math. Comput. Model. 47(9–10), 1052–1062 (2008). https://doi.org/10.1016/j.mcm.2007.06.018
Aral, A., Gupta, V.: The q-derivative and applications to q-Szasz Mirakyan operators. Calcolo 43(3), 151–170 (2006). https://doi.org/10.1007/s10092-006-0119-3
Aral, A., Gupta, V., Agarwal, R.: Applications of q-Calculus in Operator Theory. Springer, Berlin (2013)
Aral, A., Limmam, M.L., Özsarac, F.: Approximation properties of Szász–Mirakyan–Kantorovich type operators. Math. Methods Appl. Sci. 42(16), 5233–5240 (2019). https://doi.org/10.1002/mma.5280
DeVore, R.A., Lorentz, G.G.: Constructive Approximation. Springer, Berlin (1993)
Doğru, O., Gadjieva, E.: Ağırlıklıuzaylarda Szász tipinde operatörler dizisinin sürekli fonksiyonlara yaklaşımı. II.Kızılırmak UluslararasıFen Bilimleri Kongresi Bildiri Kitabı, Kırıkkale pp. 29–37 (1998)
Gadzhiev, A.D.: A problem on the convergence of a sequence of positive linear operators on unbounded sets, and theorems that are analogous to P.P. Korovkin’s theorem. Dokl. Akad. Nauk 218(5), 1001–1004 (1974)
Gal, S., Mahmudov, N., Kara, M.: Approximation by complex q-Szász–Kantorovich operators in compact disks, \(q>1\). Complex Anal. Oper. Theory 7, 1853–1867 (2013). https://doi.org/10.1007/s11785-012-0257-3
Gupta, V., Aral, A.: Convergence of the q-analogue of Szász-beta operators. Apply. Math. Comput. 216(2), 374–380 (2010). https://doi.org/10.1016/j.amc.2010.01.018
Gupta, V., Rassias, T.M.: Moments of Linear Positive Operators and Approximation. Series: SpringerBriefs in Mathematics. Springer Nature, Switzerland (2019)
Kac, V., Cheung, P.: Quantum Calculus. Universitext, New York (2002)
Lupas, A.: A q-analogue of the Bernstein operator. Univ. Cluj-Napoca Semin. Numer. Stat. Calc. 9, 85–92 (1987)
Mahmudov, N.I.: On q-parametric Szász–Mirakjan operators. Mediterr. J. Math. 7(3), 297–311 (2010). https://doi.org/10.1007/s00009-010-0037-0
Mahmudov, N.I., Gupta, V.: On certain q-analogue of Szász Kantorovich operators. J. Appl. Math. Comput. 37, 407–419 (2011). https://doi.org/10.1007/s12190-010-0441-4
Phillips, G.M.: Bernstein polynomials based on the q-integers. The heritage of P.L. Chebyshev. Ann. Numer. Math. 4, 511–518 (1997)
Sabancigil, P., Kara, M., Mahmudov, N.: Higher order Kantorovich-type Szasz–Mirakjan operators. J. Inequal. Appl. 2022, Article ID 91 (2022)
Szász, O.: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Natl. Bur. Stand. 45, 239–245 (1950)
Acknowledgements
The authors would like to express their sincere thanks to the editor and the anonymous reviewers for their valuable comments and suggestions.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
PS and GD prepared the original draft. NM reviewed and edited the manuscript. All authors read and approved the original manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sabancigil, P., Mahmudov, N. & Dagbasi, G. A new type of Szász–Mirakjan operators based on q-integers. J Inequal Appl 2023, 140 (2023). https://doi.org/10.1186/s13660-023-03053-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-023-03053-6