Abstract
In the present work, using the power series method, we obtain various Korovkin-type approximation theorems for linear operators defined on derivatives of functions. We also explain that our theorem makes more sense with a striking example. We study the quantitative estimates of linear operators. In the final section, we summarize our new results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical theorem of Korovkin [13] on the approximation of continuous functions on a compact interval gives conditions that are key tools for deciding whether a sequence of positive linear operators converges to the identity operator. By means of test functions, convergence was guaranteed on the whole space [1, 4]. Gadjiev and Orhan [11] developed the Korovkin-type approximation theorem by taking the concept of statistical convergence, which is another interesting convergence method, instead of classical convergence ([10, 22], see also [15]). Several studies, such as [7, 8, 17], deal with statistical convergence and Korovkin-type approximation theory. Also, recent generalizations of the Korovkin theorem using new types of statistical convergence are given in [2, 3].
It is worth noting that the main aim of using summability theory has always been to make a non-convergent sequence converge. If the sequence of positive linear operators does not converge to the identity operator, then it might be beneficial to use some matrix and non-matrix summability methods [12, 16, 19].
The power series methods, including both the Abel and Borel methods, are well known and they are more effective than ordinary convergence. As it is well known, power series methods and statistical convergence are incompatible. These methods are considered in the Korovkin type approximation theory with the Abel summability method in [21] for the first time. In many further papers, the authors show how this concept can be applied to approximation theory [18, 20, 23,24,25]. Various approximation theorems have recently been obtained by relaxing the positivity condition on linear operators. For instance, Duman and Anastassiou [9] relaxed the positivity condition of linear operators in the Korovkin-type approximation theory via statistical convergence, and several authors [5, 6] have given Korovkin-type approximation theorems for non-positive operators and convergence methods.
The present work aims to study some Korovkin-type approximation theorems for linear operators defined on classes of differentiable functions via the power series method. We give an example that our theorem makes more sense. It should also be noted that we study the rate of convergence. In the final section, we summarize the results obtained in the present paper.
Prior to giving the main theorems, we mention the power series method.
Let \(\left( p_{k}\right)\) be a non-negative real sequence such that \(p_{0}>0\) and the corresponding power series
has a radius of convergence R with \(0<R\le \infty .\) If the limit
exists, then we say that \(x=\left( x_{k}\right)\) is convergent in the sense of power series method [14, 21]. It is worthwhile to point out that the method is regular if and only if \(\ \lim \nolimits _{0<t\rightarrow R^{-}} \dfrac{p_{k}t^{k}}{p\left( t\right) }=0\) for every k (see, e.g., [4]).
2 Approximation properties via power series method
Let k be a nonnegative integer. As \(C^{k}[0,1]\) is frequently called, we denote the space of the k-times continuously differentiable functions on [0, 1] endowed with the sup-norm \(\left\| .\right\| .\) Then throughout the paper, we consider the following function spaces:
Let \(\left( T_{n}\right)\) be a sequence of a linear operator from \(C^{k}[0,1]\) into itself and let \(V_{t}\left( .\right)\) be given by
is well-defined operator from \(C^{k}[0,1]\) into itself as we can see from the following inequality
We assume throughout the paper that the test functions are
Theorem 2.1
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{2}[0,1]\) into itself and \(T_{n}\left( C_{+,2}\cap C_{+}^{2}\right) \subset C_{+,2\text { }},\) for all \(n\in \mathbb {N} .\) Then for every \(h\in C^{2}[0,1]\)
if and only if
Proof
First, we assume that \(V_{t}\left( h\right)\) is convergent to h for every \(h\in C^{2}[0,1]\). Hence \(h_{i}\in C^{2}[0,1]\), \(i=0,1,2,\) \(V_{t}\left( h_{i}\right)\) is convergent to \(h_{i}\) for each \(i=0,1,2\). Therefore, only the sufficiency part does really require a proof. Let \(x\in [0,1]\) be fixed and let \(h\in C^{2}[0,1].\) Since h is bounded and uniformly continuous on [0, 1], for every \(\varepsilon >0,\) there exists a \(\delta >0\) such that
holds for all \(y\in [0,1]\) and for any \(\beta \ge 1\) where \(M_{1}=\left\| h\right\|\) and \(\varphi _{x}\left( y\right) =\left( y-x\right) ^{2}.\)
Then by (2.3) we get that
Also, for all \(y\in [0,1],\)
Because \(h^{^{\prime \prime }}\) is bounded on [0, 1], we can choose \(\beta \ge 1\) so that \(h_{1,\beta }^{^{\prime \prime }}\left( y\right) \ge 0,\) \(h_{2,\beta }^{^{\prime \prime }}\left( y\right) \ge 0,\) for each \(y\in [0,1]\). Hence \(h_{1,\beta },\) \(h_{2,\beta }\in C_{+,2}\cap C_{+}^{2}\) and then by the hypothesis
and hence
From (2.4)–(2.6) and linearity \(\left( T_{n}\right)\) we get
Then we obtain
We immediately get that
where \(K_{1}=\max \left\{ \varepsilon +M_{1}+\dfrac{2M_{1}\beta }{\delta ^{2} },\dfrac{4M_{2}\beta }{\delta ^{2}}\right\} .\)
Hence it follows from the hypothesis and the inequality (2.7) that
which concludes the proof since \(\varepsilon\) is arbitrary.
Theorem 2.2
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{2}[0,1]\) into itself and \(T_{n}\left( C_{+,2}\cap C_{-}^{2}\right) \subset C_{-}^{2},\) for all \(n\in \mathbb {N} .\) Then for all \(h\in C^{2}[0,1]\)
if and only if
Proof
It is obvious that (2.8) implies that (2.9) . Let \(h\in C^{2}[0,1]\) and \(x\in [0,1]\) be fixed. Based on the proof of Theorem 2.1, this can be found as follows:
For every \(\varepsilon >0,\) there exists a \(\delta >0\) such that
holds for all \(y\in [0,1]\) and for any \(\beta \ge 1\) where \(M_{2}=\left\| h^{^{\prime \prime }}\right\|\) and \(\ \sigma _{x}\left( y\right) =-\dfrac{\left( y-x\right) ^{4}}{12}+1.\)
Consider the following functions on [0, 1] :
Also, then by (2.10) and for all \(y\in [0,1],\)
which gives \(u_{1,\beta },\) \(u_{2,\beta }\in C_{-}^{2}\) and observe that \(\sigma _{x}\left( y\right) \ge \dfrac{11}{12}\) for all \(y\in [0,1].\) Then inequality
holds for all \(y\in [0,1],\) where \(M_{1}=\) \(\left\| h\right\|\) and \(M_{2}=\left\| h^{^{\prime \prime }}\right\|\), as mentioned before. As we know, we can choose \(\beta \ge 1\) such that \(u_{1,\beta }\left( y\right) \ge 0,\) \(u_{2,\beta }\left( y\right) \ge 0,\) for each \(y\in [0,1]\) and hence \(u_{1,\beta },\) \(u_{2,\beta }\in C_{+,2}\cap C_{-}^{2}.\) Then by the hypothesis
and hence
Then we get
and thus
Observe that in view of \(\sigma _{x}\in C_{+,2}\cap C_{-}^{2},\) we can get \(V_{t}^{^{\prime \prime }}\left( \sigma _{x};x\right) \le 0\) and using this
Thus
Now we compute the quantity \(V_{t}^{^{\prime \prime }}\left( -\sigma _{x};x\right)\) in inequality (2.12) . To see this, observe that
Combining this with (2.12) , for every \(\varepsilon >0\) we get
Therefore, we derive, for every \(\varepsilon >0,\) that
where \(K_{2}=\dfrac{\varepsilon +M_{2}}{2}+\dfrac{M_{2}\beta }{\delta }\) and \(M_{2}=\left\| h^{^{\prime \prime }}\right\|\) as stated before. Thus it follows from the hypothesis and inequality (2.13) we obtain that
Theorem 2.3
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{1}[0,1]\) into itself and \(T_{n}\left( C_{+,1}\cap C_{+}^{1}\right) \subset C_{+}^{1},\) for all \(n\in \mathbb {N} .\) Then for all \(h\in C^{1}[0,1]\)
if and only if
Proof
It is enough to prove the implication (2.15) \(\Rightarrow\) (2.14) . Let \(h\in C^{1}[0,1]\) and \(x\in [0,1]\) be fixed. Then for every \(\varepsilon >0,\) there exists a positive number \(\delta >0\) such that
holds for all \(y\in [0,1]\) and for any \(\beta \ge 1\) where \(M_{3}=\left\| h^{^{\prime }}\right\|\) and \(\gamma _{x}\left( y\right) =\dfrac{\left( y-x\right) ^{3}}{3}+1.\)
Now using the functions defined by
we can easily see that \(\theta _{1,\beta }\) and \(\theta _{2,\beta }\) belong to \(C_{+}^{1}\) for any \(\beta \ge 1,\) i.e., \(\theta _{1,\beta }\left( y\right) \ge 0,\) \(\theta _{2,\beta }\left( y\right) \ge 0.\) Also observe that \(\gamma _{x}\left( y\right) \ge \dfrac{2}{3}\) for all \(y\in [0,1],\) then inequality
holds for all \(y\in [0,1],\) where \(M_{1}=\) \(\left\| h\right\|\) as mentioned before. Now we can choose \(\beta \ge 1\) such a way that \(\theta _{1,\beta }\left( y\right) \ge 0,\) \(\theta _{2,\beta }\left( y\right) \ge 0,\) for each \(y\in [0,1]\) and hence \(\theta _{1,\beta },\) \(\theta _{2,\beta }\in C_{+,1}\cap C_{+}^{1}.\) Then by the hypothesis
and hence
Then we get
and thus
Since the function \(\gamma _{x}\in C_{+,1}\cap C_{+}^{1},\) we have \(V_{t}^{^{^{\prime }}}\left( \gamma _{x}\right) \in C_{+}^{1}\)
holds. Since
combining this with (2.18) , for every \(\varepsilon >0,\) we get
It follows that
where \(K_{3}=\varepsilon +M_{3}+\dfrac{2M_{3}\beta }{\delta }.\) Thus it follows from hypothesis and inequality (2.20) that
3 Applications
In this section, we give intriguing application, showing that, in general, our results are more robust than classical ones.
Example 3.1
Let \(h[x_{0}, x_{1} , ..., x_{i}]\) denote the divided difference of the function \(h\in C[0, 1]\) in the points \(x_{0}, x_{1} , ..., x_{i}\in [0, 1]\) where \(i=0,1,2,...\). Also, let \(G=\{h\in C[0, 1]\): \(\exists M>0\) such that \(h[x_{0}, x_{1} ,x_{2}]\le M \,\, \forall x_{0}, x_{1} ,x_{2}\in [0, 1]\)} and \(\left( K_{n}\right)\), \(K_{n}\) : \(G\rightarrow C[0, 1]\), be the sequence of linear operators defined [5] by
where D denotes the differential operator. Then we know from [5] that \(K_{n}\) is not positive operator and \(K_{n}e_{0}=e_{0}\), \(K_{n}e_{1}=e_{1}\), \(K_{n}e_{2}(x)=\dfrac{x}{n}+e_{2}(x)\) \(\forall x \in [0,1]\). Hence, \(K_{n}e_{i}\) converges uniformly to \(e_{i}\) for \(i=0,1,2\) and thus \(K_{n}h\) converges uniformly to h as \(n\rightarrow \infty\) for all \(h\in G\). Now, using this operator \(K_{n}\), we define the sequence of linear operators
Take \((u_{n})= (-1)^{n}\). It is easy to see that \((u_{n})\) is Abel convergent to zero, but it is not convergent in the classical and statistical sense. Observe that \(T_{n}e_{0}(x)=(1+u_{n})e_{0}(x)\), \(T_{n}e_{1}(x)=(1+u_{n})e_{1}(x)\) and \(T_{n}e_{2}(x)=(1+u_{n})(1+\frac{x}{n}e_{2}(x))\). By using the above conditions and because of the method is regular, we can see that \(T_{n}e_{i}\) is Abel convergent to \(e_{i}\) for \(i=0,1,2\).
The example given above suggests that the classical and statistical Korovkin theorems for the sequence of non-positive operators (see [5, 10]) do not work. Then we can alternatively use the power series method to get some Korovkin type approximation results. Hence, by using this method, our Theorem 2.1 works for the operators \(T_{n}\).
4 Quantitative estimates
In this section, we prove some results which give the degree of approximation by means of linear operators.
The modulus of continuity, denoted by \(\omega \left( h,\delta \right)\), is defined by
where \(\delta\) is a positive constant, \(h\in C[a,b]\)). It is easy to see that, for any \(c>0\) and all
where [c] is defined to be the greatest integer less than or equal to c.
Now we present some estimates the rates of the power series method for Korovkin-type theorems.
Theorem 4.1
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{2}[0,1]\) into itself and \(T_{n}\left( C_{+,2}\cap C_{+}^{2}\right) \subset C_{+,2\text { }},\) for all \(n\in \mathbb {N} .\) We have, for all \(h\in C^{2}[0,1]\)
where \(\delta _{k}:=\sqrt{\left\| V_{t}\varphi _{x}\right\| }\) and \(\varphi _{x}\left( y\right) =\left( y-x\right) ^{2}.\)
Proof
Let \(x\in [0,1]\) be fixed and let \(h\in C^{2}[0,1].\) We can write that
for all \(y\in [0,1]\) and for any \(\beta \ge 1\) where \(\varphi _{x}\left( y\right) =\left( y-x\right) ^{2}.\) Then by (4.2) we get that
Also for all \(y\in [0,1],\)
Because \(h^{^{\prime \prime }}\) is bounded on [0, 1] we can choose \(\beta \ge 1\) such a way that \(g_{1,\beta }^{^{\prime \prime }}\left( y\right) \ge 0,\) \(g_{2,\beta }^{^{\prime \prime }}\left( y\right) \ge 0,\) for each \(y\in [0,1].\) Hence, \(g_{1,\beta },\) \(g_{2,\beta }\in C_{+,2}\cap C_{+}^{2}\) and then by the hypothesis
and hence
From (4.3)–(4.5) and the linearity of \(\left( T_{n}\right) ,\) we get
thus
Then we obtain
If we take \(\delta :=\delta _{n}:=\sqrt{\left\| V_{t}\left( \varphi _{x}\right) \right\| }\) and taking supremum \(x,y\in [0,1],\) then we get
Note that Theorems 4.2 and 4.3 may be proved as in Theorem 4.1. So we omit their proofs.
Theorem 4.2
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{2}[0,1]\) into itself and \(T_{n}\left( C_{+,2}\cap C_{-}^{2}\right) \subset C_{-}^{2},\) for all \(n\in \mathbb {N},\) then we have for all \(h\in C^{2}[0,1]\),
where \(\delta _{k}:=\sqrt{\left\| V_{t}^{^{\prime \prime }}\left( -\sigma _{x}\right) \right\| }\) and \(\sigma _{x}\left( y\right) =-\dfrac{\left( y-x\right) ^{4}}{12}+1.\)
Theorem 4.3
Let \(\left( T_{n}\right)\) be a sequence of linear operators from \(C^{1}[0,1]\) into itself and \(T_{n}\left( C_{+,1}\cap C_{+}^{1}\right) \subset C_{+}^{1},\) for all \(n\in \mathbb {N}\) then we have for all \(h\in C^{1}[0,1]\),
where \(\delta _{k}:=\sqrt{\left\| V_{t}^{^{\prime }}\left( \gamma _{x}\right) \right\| }\) and \(\gamma _{x}\left( y\right) =\dfrac{\left( y-x\right) ^{3}}{3}+1.\)
5 Conclusions
Finally, we give the following concluding remarks.
\(\mathbf {\Diamond }\) Let \(\left( T_{n}\right)\) be a sequence of linear operators from C[0, 1] into itself and \(T_{n}\left( C_{+}\right) \subset C_{+},\) for all \(n\in \mathbb {N} .\) Then for all \(h\in C[0,1],\)
if and only if
\(\mathbf {\Diamond }\) We remark that all our theorems also work on any compact subset of \(\mathbb {R}\) instead of the unit interval [0, 1].
\(\mathbf {\Diamond }\) Theorem 2.3 works if we replace the condition \(T_{n}\left( C_{+,1}\cap C_{+}^{1}\right) \subset C_{+}^{1}\) by \(T_{n}\left( C_{+,1}\cap C_{-}^{1}\right) \subset C_{-}^{1}.\) To prove this, it is enough to consider the function \(\mu _{x}\left( y\right) =-\dfrac{\left( y-x\right) ^{3}}{3}+1\) instead of \(\gamma _{x}\left( y\right)\) defined in the proof of Theorem 2.3.
References
Altomare, F., Campiti, M.: Korovkin Type Approximation Theory and Its Applications. de Gruyter, Berlin (1994)
Bardaro, C., Boccuto, A., Demirci, K., Mantellini, I., Orhan, S.: Triangular A-statistical approximation by double sequences of positive linear operators. Results Math. 68(3), 271–291 (2015)
Bardaro, C., Boccuto, A., Demirci, K., Mantellini, I., Orhan, S.: Korovkin-type theorems for modular $\psi $-A-statistical convergence. J. Funct. Spaces 2015, 1–11 (2015)
Boos, J.: Classical and Modern Methods in Summability. Oxford University Press, Oxford (2000)
Delgado, F.J.M., Gonz’ales, V.R., Morales, D.C.: Qualitative Korovkin type results on conservative approximation. J. Approx. Theory 94, 144–159 (1998)
Delgado, F.J.M., Morales, D.C.: Almost convexity and quantitative Korovkin type results. Appl. Math. Lett. 11(4), 105–108 (1998)
Demirci, K., Dirik, F.: Four-dimensional matrix transformation and rate of A-statistical convergence of periodic functions. Math. Comput. Model. 52(9–10), 1858–1866 (2010)
Duman, O., Orhan, C.: Statistical approximation by positive linear operators. Stud. Math. 161, 187–197 (2004)
Duman, O., Anastassiou, Statistical Approximation Theory: Towards intelligent modeling. Intell. Syst. Ref. Libr. 14, 117–129 (2016)
Fast, H.: Sur la convergence statistique. Colloq. Math. 2, 241–244 (1951)
Gadjiev, A.D., Orhan, C.: Some approximation theorems via statistical convergence. Rocky Mt. J. Math. 32, 129–137 (2002)
King, J.P., Swetits, J.J.: Positive linear operators and summability. J. Aust. Math. Soc. 11, 281–290 (1970)
Korovkin, P.P.: Linear Operators and The Theory of Approximation. Hindustan Publ. Corp., New Delhi, (1960)
Kratz, W., Stadtmüller, U.: Tauberian theorems for Jp-summability. J. Math. Anal. Appl. 139, 362–371 (1989)
Miller, H.I., Orhan, C.: On almost convergent and statistically convergent subsequences. Acta Math. Hungar. 93, 135–151 (2001)
Orhan, S., Dirik, F., Demirci, K.: A Korovkin-type approximation theorem for double sequences of positive linear operators of two variables in statistical $A$-summability sense. Miskolc Math. Notes 15(2), 625–633 (2014)
Orhan, S., Dirik, F., Demirci, K.: Statistical approximation by double sequences of positive linear operators on modular spaces. Positivity 19(1), 23–36 (2015)
Özgüç, I., Tas, E.: A Korovkin-type approximation theorem and power series method. Results Math. 69, 497–504 (2016)
Swetits, J.J.: On summability and positive linear operators. J. Approx. Theory 25, 186–188 (1979)
Şahin Okçu, P., Dirik, F.: A Korovkin-type theorem for double sequences of positive linear operators via power series method. Positivity 22, 209–218 (2018)
Stadtmüller, U., Tali, A.: On certain families of generalized Nörlund methods and power series methods. J. Math. Anal. Appl. 238, 44–66 (1999)
Steinhaus, H.: Sur la convergence ordinaire et la convergence asymptotique. Colloq. Math. 2, 73–74 (1951)
Tas, E., Atlıhan, Ö.G.: Korovkin type approximation theorems via power series method. São Paulo J. Math. Sci. 13, 696–707 (2019)
Ünver, M.: Abel transforms of positive linear operators. AIP Conf. Proc. 1558(1), 1148–1151 (2013)
Ünver, M.: Abel transforms of positive linear operators on weighted spaces. Bull. Belg. Math. Soc. Simon Stevin 21(5), 813–822 (2014)
Acknowledgements
We would like to thank the referee for the suggestions that improved the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Pellegrino.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yıldız, S., Bayram, N.Ş. An extension of Korovkin theorem via power series method. Adv. Oper. Theory 7, 53 (2022). https://doi.org/10.1007/s43036-022-00218-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43036-022-00218-w