Abstract
This paper aims to highlight classes of linear positive operators of discrete and integral type for which the rates in approximation of continuous functions and in quantitative estimates in Voronovskaya type results are of an arbitrarily small order. The operators act on functions defined on unbounded intervals and we achieve the intended purpose by using a strictly decreasing positive sequence \((\lambda _{n})_{n\geq1}\) such that \(lim_{n\rightarrow\infty}\) \(\lambda_{n}=0\), how fast we want. Particular cases are presented.
Authors
Octavian Agratini
Department of Mathematics, Babes-Bolyai University, Cluj-Napoca, Romania
Keywords
Linear and positive operator · Korovkin theorem · Voronovskaya type theorems · Modulus of continuity · Order of approximation
Paper coordinates
O. Agratini, Approximation with arbitrary order by certain linear positive operators, Positivity, 22 (2018), pp. 1241-1254, https://doi.org/10.1007/s11117-018-0570-9
requires subscription: https://doi.org/10.1007/s11117-018-0570-9
About this paper
Print ISSN
Online ISSN
1572-9281
google scholar link
Paper (preprint) in HTML form
Approximation with arbitrary order
by certain linear positive operators
Abstract.
This paper aims to highlight classes of linear positive operators of discrete and integral type for which the rates in approximation of continuous functions and in quantitative estimates in Voronovskaya type results are of an arbitrarily small order. The operators act on functions defined on unbounded intervals and we achieve the intended purpose by using a strictly decreasing positive sequence such that , how fast we want. Particular cases are presented.
Keywords and phrases: Linear and positive operator, Korovkin theorem, Voronovskaya type theorems, modulus of continuity, order of approximation.
Mathematics Subject Classification: 41A36, 41A25.
1. Introduction
A special branch of Approximation Theory is the approximation of functions by using linear sequences of operators, say , the essential feature being that of positivity. The cornerstone of this approach is Bohman-Korovkin criterion [5], [15]. This criterion says: if converges to uniformly on , , for the test functions , , , then converges to uniformly on for each . Usually, for continuous functions defined on an unbounded interval only pointwise convergence occurs. It is one of the reasons why the study of such operators is more productive.
We recall that two types of positive approximation processes are used – the discrete, respectively continuous form. In what follows we consider as a starting point a linear positive process of discrete type which approximate functions defined on unbounded intervals. Since a linear substitution maps the interior of any unbounded interval onto or , we have only two options. In our study we consider the benchmark interval as it exhibits the problems caused by a finite endpoint and by the nonboundedness of the interval. Operators in questions are often designed as follows
(1.1) |
where are continuous functions for each , , and is a net on . Here belongs to a function space for which the right-hand side of the relation (1.1) is well defined.
The most common case for classical operators is the equidistant network , . We mention that in (1.1) could be a finite sum. For example, if we take
and we choose the net , then , , become Bleiman-Butzer-Hahn operators [4].
The disadvantage of the positive linear approximation processes is definitely determined by the fact that they have a low rate of convergence. For some spaces of functions considered, the error of approximation is assessed by using the modulus of continuity of with argument defined by
(1.2) |
We are considering functions for which the supremum is finite, for example bounded functions, uniformly continuous functions, Lipschitz functions.
For a wide majority of linear positive operators, the error of approximation is described by using [8, page 40], consequently the order of approximation is . Is it possible to construct classes of operators having a faster rate of convergence? Recently, such classes of operators acting on certain function spaces have been obtained.
Starting from (1.1) we consider a general class of discrete operators with the property that the order of approximation is improved, meaning that becomes arbitrarily small. Also, we prove that the same phenomenon holds for quantitative estimates in Voronovskaya type theorems. The next section consists in associating to this new process an integral generalization of Kantorovich type, obtaining for it the same kind of results. Particular sequences are identified in our construction, such that the result established can be applied to several cases.
2. A discrete class of operators
Let be a strictly decreasing sequence of positive numbers with the property
(2.1) |
We modify the operators defined by (1.1) replacing with . Also we consider the equidistant network having the nodes . The discrete class of operators is given as follows
(2.2) |
where are non-negative functions belonging to and
(2.3) |
We are working under assumption that the monomials , , belong to the above domain.
Clearly, , , are linear and positive operators. At this point we introduce the first and the second central moments of operators, i.e.,
and . Concerning the operators defined by (2.2), we consider that for each and they satisfy the following properties
(2.4) |
(2.5) |
(2.6) |
where , .
Taking into account Bohman-Korovkin theorem, is an approximation process on the space , endowed with the uniform norm, compact, if
uniformly on .
Based on the requirements (2.4), (2.5), (2.6), the above limits are achieved. On the other hand, our hypothesis package means much more. The real problem that arises here is whether there are classes of operators which meet all assumptions. We certify this fact presenting two examples. We also indicate successive steps taken to obtain them.
Example 2.1.
Ismail [13] introduced a generalization of Szász operators given by
(2.7) |
where are the Sheffer polynomials defined by
with
(2.8) |
analytic functions in a disk , , such that , , for , for , and supposing that for all .
By using two sequences of non-negative real numbers , with the property that is strictly decreasing having null limit, Cetin and Ispir [6] introduced and studied a notable generalization of Szász operators attached to analytic functions of exponential growth in a compact disk of the complex plane, ,
For the particular case , , , these operators turn into genuine Szász operators [20].
In [10] Gal considered the Ismail’s kind generalization (2.7), this time the operators being applied to certain real-valued functions defined on . More precisely, the following operators are studied
(2.9) |
, under the hypothesis on and specified at (2.8).
Setting , condition (2.1) is satisfied and we observe that these operators are of the form (2.2) with
For we reobtain operators which have the form indicated in (1.1). Following [10, Lemma 2.1], the author proved
Comparing these identities to those describing by relations (2.4), (2.5), (2.6), we deduce
Example 2.2.
Set
Firstly we present Mastroianni operators [17]. Let , , be real functions on which are infinitely differentiable and strictly monotone on , satisfying the following properties:
;
, are completely monotone on , i.e. for each and ;
for every there exists a positive integer and a real function such that
To the sequence Mastroianni associated the linear and positive operators , , acting from to as follows
(2.10) |
We consider , . These functions are infinitely differentiable and strictly decreasing on the domain. Moreover, and , , consequently conditions and are fulfilled. We choose
which implies . Therefore, property also occurs. In this particular case, the operators defined by (2.10) turn into the celebrated Baskakov operators [3]
Recently, Gal and Opriş [11] introduced a modified Baskakov type operator. In the definition of , , the authors replaced by , consequently satisfies relation (2.1). The new operators are expressed for as follows
(2.11) |
Regarding these operators, the authors proved [11, Corollary 2] the following relations
Comparing these relations with the requirements (2.4), (2.5), (2.6), we conclude and , .
The space of real valued uniformly continuous functions defined on is denoted by .
Theorem 2.3.
Proof. First of all we mention that is well defined for any , see, e.g., [8, Chapter 2, §6]. The quantitative result (2.12) given in terms of the modulus of continuity is a direct consequence of the following statement proved by Shisha and Mond [19]: if is a linear positive operator defined on , compact, then one has
(2.13) |
for every and .
Even if this result was proved for continuous functions defined on compact intervals, the reasonings are the same for functions belonging to . In (2) we choose . Taking into account that operators reproduce the constants and relation (2.6) holds, we can write
Taking , we get inequality (2.12) and the proof is ended.
Returning to the two examples, relation (2.12) becomes as follows:
The result coincides with that obtained in [10, Theorem 2.2].
(ii) For Baskakov type operators (2),
The result is similar with that obtained in [11, Corollary 2.1(ii)].
In what follows, we will show that the operators of the form , , defined by (2.2), may give an arbitrary small order of approximation for quantitative estimates in Voronovskaya type theorems too. Let us recall that Voronovskaya type results for linear positive operators applied to functions defined on were obtained, for example, in [12] for operators reproducing and and in [2] for operators reproducing only . For the simplicity of presentation, we will use below the results in [12] applied to the above particular cases.
For this purpose, firstly we need the following notations: for with and , the Pǎltǎnea [18] modulus of continuity is given by
where , for all ,
Theorem 2.4.
Let the Szász-type operators be given by (2.9) and for the classical case, , and as fast we want.
If , then is well defined on and for all , with , all and , we have
(2.14) |
Here , is bounded with respect to for any fixed and , and can be explicitly calculated by a similar formula with that in [12], formula (3.2).
Proof. It is a consequence of Theorem 2.2 in [12], reasoning as in the proof of Theorem 3.1 there, but for the operator instead of the classical Szász-type operator.
Theorem 2.5.
Let the Baskakov-type operators be given by (2), , and as fast we want.
If , then is well defined on and for all , with , all and , we have
(2.15) |
Here is bounded with respect to for any fixed and , and can be explicitly calculated by a similar formula with that in the statement of Theorem 2.3 in [12].
Proof. It is a consequence of Theorem 2.3 in [12], reasoning as in the proof of Theorem 3.5 there, but for the operator instead of the classical Baskakov-type operator.
The above two theorems are new.
3. A Kantorovich type extension
Starting from the operators , , designed as in (2.2) which verify the assumptions (2.4), (2.5), (2.6), we associate them the following integral generalization of Kantorovich type
(3.1) |
The construction involves the mean values of the approximating function on the subintervals , .
In the above must be locally integrable function on such that the antiderivative of belongs to the domain defined at (2.3). Our aim is to show that this linear and positive integral process can approximate certain classes of functions with an arbitrary good order of approximation on each compact interval included in .
Lemma 3.1.
By using Lemma 3.1 we can express the first and the second central moments of operators with the help of corresponding moments of . For each we get
(3.2) |
(3.3) |
A question arises: are well defined the operators and for functions of ? Since belongs to this class, its growth is linear, i.e., the non-negative real constants and exist such that , . Consequently, the answer is positive.
Theorem 3.2.
Proof. We apply the reasoning used at the proof of Theorem 2.3. Taking into account that and relations (3.2), (3.3), inequality (2) becomes as follows
Further, we use the identities (2.4), (2.5), (2.6) and choose . After a few calculations we arrive at the desired relation.
It is known that the function defined by (1.2) is continuous at , i.e.
if and only if is uniformly continuous on its domain, see [8, page 40]. Examining relations (3.4) and (2.1), the following pointwise convergence
takes place. These operators can also uniformly approximate any function on each compact, say , included in . Relative to the functions , , introduced by relations (2.4)-(2.6), we denote
Relation (3.4) implies
therefore , uniformly on the compact .
We recall is Lipschitz continuous if there exists a real constant such that for any . We denote this set by . One hand, any Lipschitz continuous map is uniformly continuous; on the other hand, if and only if . Taking in view these statements, we enunciate
Corollary 3.3.
Example 3.4.
Remark 3.5.
In what follows, we present a class of operators which has not been yet approached from the perspective of our work. Also we mention that this class of operators restarted to be studied in various recent papers, see, i.e., [1], [7], [9], published in 2016.
Example 3.6.
The starting point is the following Poisson-type distribution
where and . Jain [14] introduced the sequence of linear operators by formula
where . It was been shown [14, Lemma 1]
(3.7) |
In order to become an approximation process, should depend on and its limit to be zero. We modify these operators following the model described by (2.2). Consequently, we choose , , a strictly decreasing sequence of positive numbers with the property (2.1). By following the notation used in this paper, we consider the modified operators
Based on (3.7) and [14, Eqs. (2.13), (2.14)], we get
Since is a positive strictly decreasing sequence, we can write
Considering formula (3.1), Kantorovich type extension will be read as follows
Set . For every , in the light of relations (3.5) and (3.6), Theorem 2.3 implies
and Theorem 3.2 implies
Remark 3.7.
For the Kantorovich type operators in this section, we can use the results in [2] in order to obtain for them quantitative estimates of arbitrarily small rate.
Remark 3.8.
Usually, the linear positive operators provide an approximation error of order . This rate of convergence can be modified by the mean of formulas (2.2), (3.1) such that its magnitude to be of order , where can be chosen to converge arbitrarily fast to zero. Also, the results obtained have a strong unifying character, in the sense that for various choices of the nodes , one can recapture previous approximation results obtained for these operators by other authors, see, e.g., [6], [22], [23]. Finally, we mention that our results here target only uniformly continuous functions defined on unbounded intervals.
Remark 3.9.
The method in this paper could be applied in approximation by radial basis functions too, as follows. In the paper [16], it was formally introduced the sequences of the multivariate operators of the form
where , is a multiindex and
Under the hypothesis in Theorem 2.2 in [16], the following quantitative estimate was obtained
where and are bounded domains.
Now, choosing as fast we want and defining
reasoning exactly as in the proof of Theorem 2.2 in [16] and under the same hypothesis, one gets the much better estimate
References
- [1] U. Abel, O. Agratini, Asymptotic behaviour of Jain operators, Numer. Algor., 71(2016), Issue 3, 553-565.
- [2] A. Aral, H. Gonska, M. Heilmann, G. Tachev, Quantitative Voronovskaya-type results for polynomially bounded functions, Results Math., 70(2016), 313-324.
- [3] V.A. Baskakov, An example of a sequence of linear positive operators in the space of continuous functions, (in Russian), Dokl. Akad. Nauk SSSR, 113(1957), 249-251.
- [4] G. Bleimann, P.L. Butzer, L.A. Hahn, Bernstein-type operators approximating continuous functions on the semiaxis, Indag. Math., 42(1980), 255-262.
- [5] H. Bohman, On approximation of continuous and of analytic functions, Ark. Mat., 2(1952-1054), 43-56.
- [6] N. Cetin, N. Ispir, Approximation by complex modified Szász-Mirakjan operators, Studia Sci. Math. Hungar., 50(2013), No. 3, 355-372.
- [7] E. Deniz, Quantitative estimates for Jain-Kantorovich operators, Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat., 65(2016), No. 2, 121-132.
- [8] R.A. DeVore, G.G. Lorentz, Constructive Approximation, Grundlehren der Mathematischen Wissenschaften 303, Springer-Verlag, Berlin Heidelberg, 1993.
- [9] O. Doğru, R.N. Mohapatra, M. Örkü, Approximation properties of generalized Jain operators, Filomat, 30(1016), Issue 9, 2359-2366.
- [10] S.G. Gal, Approximation with an arbitrary order by generalized Szász-Mirakjan operators, Studia Univ. Babeş-Bolyai Math., 59(2014), No. 1, 77-81.
- [11] S.G. Gal, B.D. Opriş, Approximation with an arbitrary order by modified Baskakov type operators, Applied Mathematics and Computation, 265(2015), 329-332.
- [12] V. Gupta, G. Tachev, General form of Voronovskaja s theorem in terms of weighted modulus of continuity, Results Math., 69(2016), 419-430.
- [13] M.E.H. Ismail, On a generalization of Szász operators, Mathematica (Cluj), 39(1974), 259-267.
- [14] G.C. Jain, Approximation of functions by a new class of linear operators, J. Aust. Math. Soc., 13(1972), No. 3, 271-276.
- [15] P.P. Korovkin, On convergence of linear positive operators in space of continuous function (Russian), Dokl. Akad. Nauk SSSR (N.S.), 90(1953), 961-964.
- [16] X. Li, C.A. Micchelli, Approximation by radial bases and neural networks, Numerical Algorithms, (2000), 241-262.
- [17] G. Mastroianni, Su un operatore lineare e positivo, Rend. Acc. Sc. Fis. Mat., Napoli, Serie IV, 46(1979), 161-176.
- [18] R. Pǎltǎnea, Estimates of approximation in terms of a weighted modulus of continuity, Bull. Transilvania Univ. Braşov, 4(53) (2011), 67-74.
- [19] O. Shisha, B. Mond, The degree of convergence of linear positive operators, Proc. Nat. Acad. Sci. USA, 60(1968), 1196-1200.
- [20] O. Szász, Generalization of S. Bernstein polynomials to the infinite interval, J. Res. Nat. Bur. Standards, 45(1950), 239-245.
- [21] S. Trifa, Approximation with an arbitrary order by generalized Kantorovich-type and Durrmeyer-type operators on , Studia Univ. Babeş-Bolyai Math., 62(2017), No. 2 (in print).
- [22] Z. Walczak, On approximation by modified Szász-Mirakjan operators, Glas. Mat., 37(57)(2002), 303-319.
- [23] Z. Walczak, On modified Szász-Mirakjan operators, Novi Sad J. Math., 33(2003), No. 1, 93-107.
1. Abel, U., Agratini, O.: Asymptotic behaviour of Jain operators. Numer. Algorithm 71(3), 553–565 (2016)
2. Aral, A., Gonska, H., Heilmann, M., Tachev, G.: Quantitative Voronovskaya-type results for polynomially bounded functions. Results Math. 70, 313–324 (2016)
3. Baskakov, V.A.: An example of a sequence of linear positive operators in the space of continuous functions. Dokl. Akad. Nauk SSSR 113, 249–251 (1957). (in Russian)
4. Bleimann, G., Butzer, P.L., Hahn, L.A.: Bernstein-type operators approximating continuous functions on the semiaxis. Indag. Math. 42, 255–262 (1980)
5. Bohman, H.: On approximation of continuous and of analytic functions. Ark. Mat. 2(1952–1054), 43–56
6. Cetin, N., Ispir, N.: Approximation by complex modified Szász-Mirakjan operators. Studia Sci. Math. Hungar. 50(3), 355–372 (2013)
7. Deniz, E.: Quantitative estimates for Jain-Kantorovich operators. Commun. Fac. Sci. Univ. Ank. Sér. A1 Math. Stat. 65(2), 121–132 (2016)
8. DeVore, R.A., Lorentz, G.G.: Constructive Approximation, Grundlehren der Mathematischen Wissenschaften 303. Springer, Berlin (1993)
9. Dogru, O., MohapatraR. N., Örkü, M.:Approximation properties of generalized Jain operators. Filomat 30(1016), 2359-2366
10. Gal, S.G.: Approximation with an arbitrary order by generalized Szász-Mirakjan operators. Studia Univ. Babes-Bolyai Math. 59(1), 77–81 (2014)
11. Gal, S.G., Opris, B.D.: Approximation with an arbitrary order by modified Baskakov type operators. Appl. Math. Comput. 265, 329–332 (2015)
12. Gupta, V., Tachev, G.: General form of Voronovskaja’s theorem in terms of weighted modulus of continuity. Results Math. 69, 419–430 (2016)
13. Ismail, M.E.H.: On a generalization of Szász operators. Mathematica (Cluj) 39, 259–267 (1974)
14. Jain, G.C.: Approximation of functions by a new class of linear operators. J. Aust. Math. Soc. 13(3), 271–276 (1972)
15. Korovkin, P.P.: On convergence of linear positive operators in space of continuous function. Dokl. Akad. Nauk SSSR (N.S.) 90, 961–964 (1953). (in Russian)
16. Mastroianni, G.: Su un operatore lineare e positivo. Rend. Acc. Sc. Fis. Mat. Napoli Serie IV 46, 161–176 (1979)
17. Paltanea, R.: Estimates of approximation in terms of a weighted modulus of continuity. Bull. Transilvania Univ. Brasov 4(53), 67–74 (2011)
18. Shisha, O., Mond, B.: The degree of convergence of linear positive operators. Proc. Nat. Acad. Sci. USA 60, 1196–1200 (1968)
19. Szász, O.: Generalization of S.Bernstein polynomials to the infinite interval. J. Res. Nat. Bur. Standards 45, 239–245 (1950)
20. Trifa, S.: Approximation with an arbitrary order by generalized Kantorovich-type and Durrmeyer-type operators on [0+∞). Studia Univ. Babes-Bolyai Math. (2017) 62(2) (in print)
21. Walczak, Z.: On approximation by modified Szász-Mirakjan operators. Glas. Mat. 37(57), 303–319 (2002)
22. Walczak, Z.: On modified Szász-Mirakjan operators. Novi Sad J. Math. 33(1), 93–107 (2003)