- Research
- Open Access
- Published:
Rate of convergence by Kantorovich-Szász type operators based on Brenke type polynomials
Journal of Inequalities and Applications volume 2017, Article number: 156 (2017)
Abstract
The present paper deals with the approximation properties of the univariate operators which are the generalization of the Kantorovich-Szász type operators involving Brenke type polynomials. We investigate the order of convergence by using Peetre’s K-functional and the Ditzian-Totik modulus of smoothness and study the degree of approximation of the univariate operators for continuous functions in a Lipschitz space, a Lipschitz type maximal function and a weighted space. The rate of approximation of functions having derivatives equivalent with a function of bounded variation is also obtained.
1 Introduction
Linear positive operators play an important role in the study of approximation theory. One of the best known among these operators is the Szász operator [1]
a generalization of Bernstein polynomials to the infinite interval. Jakimovski and Leviatan [2] generalized Szász operators by means of the Appell polynomials. Subsequently, Ismail [3] gave another generalization of the Szász operators by involving the Sheffer polynomials. Varma et al. [4] presented yet another generalization of the Szász operators by utilizing the Brenke type polynomials and showed that these polynomials include the Appell polynomials and Gould-Hopper polynomials as special cases. Varma and Taşdelen [5] determined a link between the Szász operators and the discrete orthogonal polynomials, e.g., Charlier polynomials, and established the Korovkin type theorem and the rate of convergence by means of the classical modulus of continuity. Taşdelen et al. [6] introduced a Kantorovich variant of the Szász operators based on Brenke type polynomials and discussed the order of convergence with the aid of the moduli of continuity and Peetre’s K-functional. Öksüzer et al. [7] estimated the rate of convergence for functions of bounded variation for these operators by means of some results of probability theory. Later on, Aktaş et al. [8] considered a Stancu type modification of the Szász Kantorovich operators involving Brenke type polynomials and obtained the degree of approximation by means of the classical modulus of continuity and Peetre’s K-functional. A Voronovskaya type theorem for the considered operators including Gould-Hopper polynomials was also proven. Mursaleen and Ansari [9] presented a Chlodowsky type generalization of Szász operators defined by using Brenke type polynomials and studied the order of convergence for functions in a weighted space besides other classical approximation results.
Recently, for \(f \in C_{E}[0,\infty):= \{f\in C[0,\infty): |f(t)| \leq a e^{bt}, a\in\mathbb{R}^{+}, b\in\mathbb{R}\}\), Atakut and Büyükyazici [10] considered the Kantorovich-Szász type operators involving Brenke type polynomials as
where \(\{ \alpha_{n}\}\), \(\{ \beta_{n}\}\) are strictly increasing sequences of positive numbers such that
and \(p_{k}(x)=\sum_{r=0}^{\infty} a_{k-r}b_{r} x^{r}\), \(k=0,1,2,\ldots\) , are Brenke type polynomials having the following generating function:
where \(A(t)\), \(B(t)\) are analytic functions such that
hold. Assume that
-
(i)
\(A(1)\neq0\), \(\frac{a_{k-r}b_{r}}{A(1)}\geq0\) for \(0\leq r \leq k\), \(k=0,1,2,\ldots\) ,
-
(ii)
\(B:[0,\infty) \rightarrow(0,\infty)\),
-
(iii)
(3) and the power series (4) converges for \(|t|< R\) (\(R>1\)),
-
(iv)
\(\lim_{y \rightarrow\infty} \frac{B^{(k)}(y)}{B(y)}= 1\) for \(k=1,2,3,4\).
Atakut and Büyükyazici [10] studied the order of convergence of the operators defined in (1). For the special case \(\alpha_{n} = \beta_{n} = n\), the operators (1) are reduced to the Kantorovich variant of a generalization of Szász operators based on the Brenke type polynomials. For some other significant papers dealing with the generalization of Szász type operators, we refer to [11–13].
In the present paper we establish the order of approximation of the operators (1) by using Peetre’s K-functional and the Ditzian-Totik modulus of smoothness. Also, we study the rate of convergence of these operators for a Lipschitz space, a Lipschitz type maximal function and a weighted space. The rate of approximation of functions having derivatives equivalent to a function of bounded variation is also obtained.
2 Preliminaries
To examine the approximation properties of the operator \(L_{n}^{\alpha_{n}, \beta_{n}}\) defined in (1), we give some basic results in the form of lemmas as follows.
Lemma 2.1
[10]
For \(x\in[0,\infty )\), we have
As a consequence of Lemma 2.1, we have the following.
Lemma 2.2
For \(x\in[0,\infty)\),
3 Local theorem of approximation
In what follows, let \(L_{n}^{\alpha_{n}, \beta_{n}}(t-x;x) = \gamma_{\alpha _{n},\beta_{n}}(x)\) and \(L_{n}^{\alpha_{n}, \beta_{n}}((t-x)^{2};x)= \delta^{2}_{\alpha_{n},\beta_{n}}(x)\). Further, M denotes a constant not necessarily the same at each occurrence.
The Lipschitz type space [1] is defined as follows:
for some \(M_{f}>0\) and \(0< r\leq1\). Several researchers have considered the approximation of functions in this space for different sequences of linear positive operators (cf. [12, 14–16] etc.).
Theorem 3.1
Let \(f \in \operatorname{Lip}^{*}_{M}(r)\) and \(r\in(0,1]\), then \(\forall x>0\)
Proof
Since \(f \in \operatorname{Lip}^{*}_{M}(r)\), by definition (5)
Operating by \(L_{n}^{\alpha_{n},\beta_{n}}\) on the above equation, we get
Now, applying Hölder’s inequality with \(p=2/r\), \(q= 2/(2-r)\) and using Lemma 2.1, we get
which gives the required result. □
Let \(\tilde{C}_{B}[0,\infty)\) denote the space of all real-valued bounded and uniformly continuous functions f on \([0,\infty)\), endowed with the norm \(\| f\|_{\infty} = \sup_{x\in[0,\infty)} |f(x)|\). Further, we obtain a local direct estimate for the operators (1) using the Lipschitz maximal function of order r introduced by Lenze [17]
where \(x\in[0,\infty)\) and \(r\in(0,1]\). For contributions of researchers on approximation of functions in this space, we refer to [12, 14, 15, 18].
Theorem 3.2
Let \(f\in\tilde{C}_{B}[0,\infty)\) and \(r\in(0,1]\), then \(\forall x\in [0,\infty)\)
Proof
By equation (6),
Applying the operator \(L_{n}^{\alpha_{n},\beta_{n}}\) on both sides of the above equation, and then using Lemma 2.1 and Hölder’s inequality with \(p=2/r\), \(q= 2/(2-r)\), we get
Thus, we get the desired result. □
For \(f\in\tilde{C}_{B}[0,\infty)\) and \(\delta>0\), the first order modulus of continuity is defined as
and Peetre’s K-functional is given by
where \(\tilde{C}^{2}_{B}[0,\infty)= \{ g\in\tilde{C}_{B}[0,\infty): g',g''\in\tilde{C}_{B}[0,\infty) \}\) with norm \(\|g\|_{\tilde{C}^{2}_{B}}= \| g\|_{\infty}+ \|g'\|_{\infty}+ \|g''\|_{\infty}\). Also
holds for all \(\delta>0\) and where \(\omega_{2}\) is the second order modulus of smoothness of \(f\in\tilde{C}_{B}[0,\infty)\), which is defined as follows:
Theorem 3.3
If \(f\in\tilde{C}_{B}[0,\infty)\), then
where \(k_{\alpha_{n},\beta_{n}}(x) = (\delta^{2}_{\alpha_{n},\beta_{n}}(x) + \gamma^{2}_{\alpha_{n},\beta_{n}}(x) )/4\). Furthermore,
Proof
For \(f\in\tilde{C}_{B}[0,\infty)\), we define the auxiliary operator as follows:
After taking the modulus of both sides and applying Lemma 2.1, we obtain
Now, by Lemma 2.1, we get
and therefore
Let \(g\in\tilde{C}_{B}^{2}[0,\infty)\), then using Taylor’s theorem we can write
Operating \(\tilde{L}_{n}^{\alpha_{n},\beta_{n}}\) on the above equation and using (10), we get
Now taking the modulus on both sides, we obtain
Therefore, by using \(\|g\|_{\tilde{C}^{2}_{B}}= \|g\|_{\infty}+ \|g'\| _{\infty}+ \|g''\|_{\infty}\),
Now, using the definition of auxiliary operators (8), we have
Combining (7), (9) and (11) with the above equation, we get
and, after taking the infimum on the right-hand side over all \(g\in \tilde{C}_{B}^{2}\), we obtain
This completes the proof. □
Theorem 3.4
Let \(f\in\tilde{C}_{B}^{1}[0,\infty)\), then \(\forall x\geq0\) and \(\delta>0\),
Proof
Since \(f\in\tilde{C}_{B}^{1}[0,\infty)\), we may write
Now, using the well-known property of modulus of continuity, for \(\delta >0\) and \(f\in\tilde{C}_{B}^{1}[0,\infty)\), we get
hence
Therefore,
After applying the Cauchy-Schwarz inequality, we have
Choosing \(\delta= \frac{1}{2}\delta_{\alpha_{n},\beta_{n}}(x)\), we get our result. □
Let \(\phi(x)=\sqrt{x}\). For \(f\in\tilde{C}_{B}[0,\infty)\), the Ditzian-Totik modulus of smoothness of first order is given by
and appropriate Peetre’s K-functional is defined by
where \(W_{\phi}[0,\infty) := \{ g: g\in{AC}_{\mathrm{loc}}[0,\infty), \|\phi g' \|_{\infty} < \infty\}\) and \(g\in{AC}_{\mathrm{loc}}[0,\infty)\) means that g is differentiable and absolutely continuous on every compact subset \([a,b]\) of \([0,\infty)\). It is known from [19] that there exists a constant \(M>0\) such that
Now, we find the order of approximation of the operator (1) by means of the Ditzian-Totik modulus of smoothness.
Theorem 3.5
For any \(f\in\tilde{C}_{B}[0,\infty)\) and \(x\in(0,\infty)\),
Proof
By Taylor’s theorem, for any \(g\in W_{\phi}[0,\infty)\), we get
therefore,
which gives
For any \(g\in W_{\phi}[0,\infty)\), using Lemma 2.1 and the above equation, we get
After applying the Cauchy-Schwarz inequality, we obtain
Taking the infimum on the right-hand side over all \(g\in W_{\phi }[0,\infty)\), we get
which leads us to the required result with the help of the relation between Peetre’s K-functional and the Ditzian-Totik modulus of smoothness as given in (12). □
4 Weighted approximation
For \(\gamma>0\), let \(C_{\gamma}[0,\infty) := \{ f\in C[0,\infty) : |f(t)|\leq M_{f}(1+t^{\gamma}), \forall t\geq0 \}\) equipped with the norm
Further, let \(C^{*}_{2}[0,\infty)\) be the subspace of \(C_{2}[0,\infty)\) consisting of functions f such that \(\lim_{t\rightarrow\infty} \frac {f(t)}{(1+t^{2})}\) exists. Such type of spaces is studied by many mathematicians as described in [20–22] etc.
Theorem 4.1
For each \(f\in C^{*}_{2}[0,\infty)\) and \(r>0\),
Proof
Let \(x_{0}>0\) be arbitrary but fixed, then in view of (13) we get
Since \(|f(t)|\leq\|f\|_{2} (1+t^{2})\), hence
By the Korovkin theorem, the sequence \(\{L_{n}^{\alpha_{n},\beta_{n}}(f;x)\}\) converges uniformly to the function f on every closed interval \([0,a]\), as \(n\rightarrow\infty\), (cf. [10], p.1491), therefore for a given \(\epsilon>0\), \(\exists n_{1}\in\mathbb{N}\) such that
By using Lemma 2.1, we can find \(n_{2}\in\mathbb{N}\) such that
Hence
Now, using (13), we get
Let \(n_{0}=\max\{n_{1},n_{2}\}\), then by (15), (16) and (17)
Choose \(x_{0}\) to be so large that
Then, combining (14), (18) and (19), we have
Hence the proof is done. □
Bojanic [23] studied the rate of convergence for Fourier series of functions of bounded variation. Cheng [24] obtained the rate of convergence of Bernstein polynomials of functions of bounded variation. Later on many researchers have made important contributions in this area of approximation theory (cf. [25–29] etc.). Bojanic and Cheng [30] studied the rate of convergence of Bernstein polynomials for functions with derivatives of bounded variation. Later on, Bojanic and Khan [31] estimated the rate of convergence of some operators of functions with derivatives of bounded variation. Shaw et al. [32] obtained the rates for approximation of functions of bounded variation and for functions with derivatives of bounded variation by positive linear operators. Many mathematicians studied in this direction and their work pertaining to this area is described in the papers [14, 26, 33–38] etc.
Now, we shall obtain the rate of convergence of \(L_{n}^{\alpha_{n},\beta _{n}}(f;x)\) for functions having derivatives of bounded variation. Let \(\operatorname{DBV}[0,\infty)\) be the space of functions in \(C_{2}[0,\infty)\), which have the derivative of bounded variation on every finite subinterval of \([0,\infty)\). Here we show that at the points x, where \(f'(x+)\) and \(f'(x-)\) exist, the operator \(L_{n}^{\alpha_{n},\beta_{n}}(f;x)\) converges to the function \(f(x)\). A function \(f\in \operatorname{DBV}[0,\infty)\) can be represented as
where g denotes a function of bounded variation on every finite subinterval of \([0,\infty)\).
In order to study the convergence of the operators \(L_{n}^{\alpha_{n},\beta _{n}}\) for the functions having a derivative of bounded variation, we rewrite the operator (1) as follows:
where \(W(t,x)\) is the kernel given by
\(\chi_{I}(t)\) being the characteristic function of \(I= [\frac {k}{\beta_{n}},\frac{k+1}{\beta_{n}} ]\).
Lemma 4.2
Let for all \(x>0\) and sufficiently large n
-
(1)
\(\lambda_{\alpha_{n},\beta_{n}}(t,x) = \int_{0}^{t} W(u,x) \,du \leq \frac{\delta_{\alpha_{n},\beta_{n}}^{2}(x)}{(x-t)^{2}}\), \(0\leq t < x\),
-
(2)
\(1-\lambda_{\alpha_{n},\beta_{n}}(t,x) = \int_{t}^{\infty} W(u,x) \,du \leq\frac{\delta_{\alpha_{n},\beta_{n}}^{2}(x)}{(t-x)^{2}}\), \(x\leq t < \infty\).
Proof
Using Lemma 2.1 and the definition of kernel, we get
Hence
Similarly, we can prove the other inequality, therefore we omit the details. □
Let \(\bigvee_{a}^{b} f\) be the total variation of f on \([a,b]\), i.e.,
where \(\mathbb{P}\) is the set of all partitions \(P=\{a=x_{0}, x_{1}, \ldots , x_{n}=b\}\) of \([a,b]\) and it also has the property
Let
Theorem 4.3
Let \(f\in \operatorname{DBV}[0,\infty)\), \(x>0\) and n be sufficiently large, then
Proof
By hypothesis (22),
where
Now, using Lemma 2.1, equations (20) and (23), we get
Since \(\int_{x}^{t} \delta_{x}(u) \,du = 0\),
Now, we break the second term on the right-hand side of the above equation as follows:
where
Taking the modulus on both sides of (24), we get
After applying the Cauchy-Schwarz inequality, we get
Now applying Lemma 4.2 and integration by parts, \(I_{1}\) can be written as
After taking the modulus, we have
Since \(f'_{x}(x)=0\), by hypothesis (22),
Now, using Lemma 4.2, we get
By the definition of total variation (21) and taking \(t=x-x/u\), we have
Now, after breaking integral into summation,
By Lemma 4.2, \(\lambda_{\alpha_{n},\beta_{n}}(t,x)\leq 1\) and using hypothesis (22), we have
Now, by the definition of total variation (21),
Hence,
Using Lemma 4.2, we can write
Now, applying integration by parts and hypothesis (22), we obtain
Now, by hypothesis (22),
and
Using Lemma 4.2, \(1-\lambda_{\alpha_{n},\beta _{n}}(t,x)\leq1\) and hypothesis (22), we get
Now, again with the help of Lemma 4.2 and by hypothesis (22), we get
By using (21) and \(t=x+x/u\),
Hence,
Now, using the Cauchy-Schwarz inequality, we estimate \(P_{4}\)
Further, as \(t\geq2x\), then \(2(t-x)\geq t\) and \(t-x\geq x\) gives
Hence,
which finally gives the required result. □
5 Conclusion
We study the order of approximation of the Kantorovich-Szász type operators based on Brenke type polynomials with the aid of Peetre’s K-functional and the Ditzian-Totik modulus of smoothness. The rate of convergence of these operators for functions in a Lipschitz type space and a weighted space is investigated. The degree of approximation of functions whose derivatives coincide a.e. with a function of bounded variation is also discussed.
References
Szász, O: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Natl. Bur. Stand. 45, 239-245 (1950)
Jakimovski, A, Leviatan, D: Generalized Szász operators for the approximation in the infinite interval. Mathematica 11(34), 97-103 (1969)
Ismail, M: On a generalization of Szász operators. Mathematica 16(39)(2), 259-267 (1974)
Varma, S, Sucu, S, İçöz, G: Generalization of Szász operators involving Brenke type polynomials. Comput. Math. Appl. 64(2), 121-127 (2012)
Varma, S, Taşdelen, F: Szász type operators involving Charlier polynomials. Math. Comput. Model. 56(5-6), 118-122 (2012)
Taşdelen, F, Aktaş, R, Altin, A: A Kantorovich type of Szász operators including Brenke-type polynomials. Abstr. Appl. Anal. 2012, Article ID 867203 (2012)
Öksüzer, Ö, Karsli, H, Taşdelen, F: Approximation by a Kantorovich variant of Szász operators based on Brenke-type polynomials. Mediterr. J. Math. 13(5), 3327-3340 (2016)
Aktaş, R, Çekim, B, Taşdelen, F: A Kantorovich-Stancu type generalization of Szász operators including Brenke type polynomials. J. Funct. Spaces Appl. 2013, Article ID 935430 (2013)
Mursaleen, M, Ansari, KJ: On Chlodowsky variant of Szász operators by Brenke type polynomials. Appl. Math. Comput. 271, 991-1003 (2015)
Atakut, Ç, Büyükyazici, I: Approximation by Kantorovich-Szász type operators based on Brenke type polynomials. Numer. Funct. Anal. Optim. 37(12), 1488-1502 (2016)
İspir, N, Atakut, Ç: Approximation by modified Szász-Mirakjan operators on weighted spaces. Proc. Indian Acad. Sci. Math. Sci. 112(4), 571-578 (2002)
Kajla, A, Agrawal, PN: Approximation properties of Szász type operators based on Charlier polynomials. Turk. J. Math. 39(6), 990-1003 (2015)
Sucu, S, Büyükyazici, İ: Integral operators containing Sheffer polynomials. Bull. Math. Anal. Appl. 4(4), 56-66 (2012)
Kajla, A, Acu, AM, Agrawal, PN: Baskakov-Szász-type operators based on inverse Pólya-Eggenberger distribution. Ann. Funct. Anal. 8(1), 106-123 (2017)
Neer, T, Agrawal, PN, Araci, S: Stancu-Durrmeyer type operators based on q-integers. Appl. Math. Inf. Sci. 11(3), 767-775 (2017)
Özarslan, MA, Duman, O: Local approximation behavior of modified SMK operators. Miskolc Math. Notes 11(1), 87-99 (2010)
Lenze, B: On Lipschitz-type maximal functions and their smoothness spaces. Ned. Akad. Wet., Indag. Math. 50(1), 53-63 (1988)
Kajla, A: Direct estimates of certain Miheşan-Durrmeyer type operators. Adv. Oper. Theory 2(2), 162-178 (2017)
Ditzian, Z, Totik, V: Moduli of Smoothness. Springer Series in Computational Mathematics, vol. 9. Springer, New York (1987)
Aral, A, Acar, T: Weighted approximation by new Bernstein-Chlodowsky-Gadjiev operators. Filomat 27(2), 371-380 (2013)
İspir, N: On modified Baskakov operators on weighted spaces. Turk. J. Math. 25(3), 355-365 (2001)
Yuksel, I, İspir, N: Weighted approximation by a certain family of summation integral-type operators. Comput. Math. Appl. 52(10-11), 1463-1470 (2006)
Bojanic, R: An estimate of the rate of convergence for Fourier series of functions of bounded variation. Publ. Inst. Math. (Belgr.) 26(40), 57-60 (1979)
Cheng, F: On the rate of convergence of Bernstein polynomials of functions of bounded variation. J. Approx. Theory 39(3), 259-274 (1983)
Guo, SS, Khan, MK: On the rate of convergence of some operators on functions of bounded variation. J. Approx. Theory 58, 90-101 (1989)
Gupta, MK, Beniwal, MS, Goel, P: Rate of convergence for Szász-Mirakyan-Durrmeyer operators with derivatives of bounded variation. Appl. Math. Comput. 199(2), 828-832 (2008)
Öksüzer, Ö, Karsli, H, Taşdelen, F: Convergence rate of Bézier variant of an operator involving Laguerre polynomials of degree n. AIP Conf. Proc. 1558, 1160-1163 (2013)
Öksüzer, Ö, Karsli, H, Taşdelen, F: Order of approximation by an operator involving biorthogonal polynomials. J. Inequal. Appl. 2015, 121 (2015)
Öksüzer, Ö, Karsli, H, Taşdelen, F: Rate of convergence of the Bézier variant of an operator involving Laguerre polynomials. Math. Methods Appl. Sci. (2016). doi:10.1002/mma.3705
Bojanic, R, Cheng, F: Rate of convergence Bernstein polynomials for functions with derivatives of bounded variation. J. Math. Anal. Appl. 141(1), 136-151 (1989)
Bojanic, R, Khan, MK: Rate of convergence of some operators of functions with derivatives of bounded variation. Atti Semin. Mat. Fis. Univ. Modena 39(2), 495-512 (1991)
Shaw, SY, Liaw, WC, Lin, YL: Rates for approximation of functions in \(\operatorname{BV}[a,b]\) and \(\operatorname{DBV}[a,b]\) by positive linear operators. Chin. J. Math. 21, 171-193 (1993)
Acar, T, Gupta, V, Aral, A: Rate of convergence for generalized Szász operators. Bull. Math. Sci. 1(1), 99-113 (2011)
Özarslan, MA, Duman, O, Kaanoǧlu, C: Rates of convergence of certain King-type operators for functions with derivative of bounded variation. Math. Comput. Model. 52(1-2), 334-345 (2010)
Dhamija, M, Deo, N: Jain-Durrmeyer operators associated with the inverse Pólya-Eggenberger distribution. Appl. Math. Comput. 286, 15-22 (2016)
İspir, N: Rate of convergence of generalized rational type Baskakov operators. Math. Comput. Model. 46(5-6), 625-631 (2007)
Karsli, H: Rate of convergence of new gamma type operators for functions with derivatives of bounded variation. Math. Comput. Model. 45(5-6), 617-624 (2007)
Neer, T, Acu, AM, Agrawal, PN: Bézier variant of genuine-Durrmeyer type operators based on Pólya distribution. Carpath. J. Math. 33(1), 73-86 (2017)
Acknowledgements
The authors are extremely grateful to the reviewers for their critical reading of the manuscript of our paper and making valuable comments leading to a better presentation of the paper. The first author is thankful to the Ministry of Human Resources and Development, India for the financial support to carry out the above work, and the third author of this paper is supported by the Research Fund of Hasan Kalyoncu University, Turkey in 2017.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have equally contributed to this work.
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 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
Garg, T., Agrawal, P.N. & Araci, S. Rate of convergence by Kantorovich-Szász type operators based on Brenke type polynomials. J Inequal Appl 2017, 156 (2017). https://doi.org/10.1186/s13660-017-1430-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1430-z
MSC
- 41A10
- 41A25
- 41A36
Keywords
- Brenke type polynomials
- Szász operator
- Ditzian-Totik modulus of smoothness
- derivative of bounded variation
- Peetre’s K-functional
- rate of convergence