Abstract
In this paper, we define and study a general class of convolution operators based on Landau operators. A property of these new operators is that they reproduce the affine functions, a feature less commonly encountered by integral type operators. Approximation properties in different function spaces are obtained, including quantitative Voronovskaya-type results.
Authors
Octavian Agratini
Babeş-Bolyai University, Cluj-Napoca, Romania
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy
Sorin G. Gal
University of Oradea, Romania
Academy of Romanian Scientists
Keywords
Landau operator; modulus of continuity; weighted space; approximation process; upper estimates; quantitative Voronovskaya-type theorems
requires subscription: https://doi.org/10.1007/s00009-021-01712-w
Cite this paper as:
O. Agratini, S.G. Gal, On Landau-type approximation operators, Mediterranean Journal of Mathematics, 18 (2021) art. no. 64, https://doi.org/10.1007/s00009-021-01712-w
About this paper
Journal
Mediterranean Journal of Mathematics
Publisher Name
Springer
Print ISSN
1660-5446
Online ISSN
1660-5454
Google Scholar Profile
Paper (preprint) in HTML form
On Landau type operators
Abstract.
In this paper we define and study a general class of convolution operators based on Landau operators. A property of these is that they reproduce the affine functions, a feature less commonly encountered by integral type operators. Approximation properties in different function spaces are obtained.
Keywords and phrases: Landau operator, Korovkin theorem, modulus of smoothness, weighted space, approximation process.
Mathematics Subject Classification: 41A36, 41A25.
1. Introduction
Edmund Landau [2, Eq. (2)] proved
(1.1) |
the convergence being uniform over a compact interval , where . In the first instance, is supposed given only for . As the author states, the function can be extended by continuity from to by usual technique:
The relation (1.1) was used by Landau to recover the celebrated Weierstrass approximation theorem established in 1885 which says that every continuous function defined on a compact interval can be uniformly approximated as closely as desired by a polynomial function. Examining (1.1) we notice that the author uses a sequence of convolution operators which today bears his name.
A generalization of this class of operators was given by Mamedov and it was described by the following relation [5, Eq. (1)]
(1.2) |
where is a fixed natural number, and indicates Gamma function. In time, more papers appeared concerning these operators, among the most recent one we mention [1].
In this note we propose another generalization of Landau operators which involves a real parameter . Keeping the idea of convolution type operators, this class aim to be associated with functions defined on the whole real axis and the affine functions are fixed points of the operators in question. We obtain evaluations of the approximation error for bounded functions as well as for functions belonging to some weighted spaces.
2. The operators
Let be fixed. For each , we set
(2.1) |
where and indicates Beta function. Taking in view these quantities, the following statements hold, their proofs are based on elementary calculus.
The sequence is strictly decreasing and
(2.2) |
We have
(2.3) |
and, for , is a positive strictly decreasing sequence verifying the relations
(2.4) |
Lemma 2.1.
Let the real sequence be given by (2.1). For any and any , we have
(2.5) |
Proof. Relation (2.4) implies
On the other hand, the following identity
takes place, see, e.g., [6, Exercise 1.7]. Consequently, we get
We mention that the existence of the limit of the sequence is based on statement (2.4). Since belongs to and for any and , we deduce (2.5).
denotes the space of all real valued functions defined on and bounded. The space is endowed with the usual sup-norm ,
We consider the operators defined as follows
(2.6) |
where is Lebesgue measurable on the domain.
The operators can be rewritten as follows
(2.7) |
It is observed that for each , represents a convolution product between the functions and , where
Also, the operators are linear and positive. If , then the operators are non-expansive, this means
Replacing the sequence with zero and choosing , we obtain the operators introduced by Mamedov, see (1.2).
3. Results
Set and , , monomials of degree , , , .
Theorem 3.1.
The operators , , defined by (2.6) reproduce affine functions.
Proof. Taking in view that these operators are linear, it is enough to prove and .
Due to the definition of , it is clear that . Further, by using (2.3) and (2.2), we get
and the proof is completed.
The purpose of introducing the quantity in the definition of , , was precisely to ensure the identity .
To determine the approximation error, we need to evaluate the second order central moment of our operators.
Lemma 3.2.
Proof. Clearly,
(3.2) |
By using (2.3) and (2.2) we can write
(3.3) |
Returning at (3.2) and using Theorem 3.1, we arrive at the desired result.
Theorem 3.3.
Let the operators , , be defined by (2.6). For any compact interval , the following relation
(3.4) |
occurs, provided is continuous on .
Proof. We use Korovkin theorem [4]. In accordance with Theorem 3.1, the first two Korovkin test functions are fixed points of the operators. Relation (3.3) and Lemma 2.1 involve
We define the lattice homomorphism given by
for every . Based on above statements, we can write
uniformly on and Korovkin criterion implies (3.4).
We establish the error of approximation with the help of modulus of smoothness defined as follows
where .
Theorem 3.4.
Let the operators , , be defined by (2.6). For any Lebesgue integrable function belonging to , we get
(3.5) |
Proof. To achieve the statement, we use the following inequality proved by Shisha and Mond [7], that says: if is a linear positive operator, then one has
(3.6) |
, for every bounded function . The proof of (3) is mainly based on the following relations:
Applying the inequality (3) for operators, by choosing
and taking into account both Theorem 3.1 and the identity (3.1), we obtain the inequality (3.5).
Further, we analyze the behavior of operators in some weighted spaces. For a given , we consider the weight
and the space
being a positive constant depending only on . The usual norm of this space is defined by
The operators , , are well defined for any Lebesgue integrable function belonging to and it is easy to see that
(3.7) |
takes place.
Lemma 3.5.
Each operator defined by (2.6) maps into .
Proof. Let be fixed. In view of (3.7), it is enough to show that
(3.8) |
where is a constant depending on . We can write successively
We used (2.4) both for
and for .
The relation we reached allows us to assert that there
this a constant satisfying (3.8).
For weighted functions belonging to the space , we give estimates of the error , , involving the following weighted modulus of smoothness
(3.9) |
Best of our knowledge, this type of modulus associated to a function defined on , appeared for the first time in the papers [3], [8]. Its definition formula ensures that it can be also used for functions defined on which is our case. Based on (3.9), it is obvious that is a monotone increasing function. Following the same line as in paper of Yuksel and Ispir [8, Lemma 2 (iv)] we deduce the following property
(3.10) |
Theorem 3.6.
Proof. Let be fixed arbitrarily. Besides the function defined in Lemma 3.2, we introduce the function given as follows
By using the definition of and property (3.10), for we get
(3.12) |
Since the operators are linear and positive, consequently monotone, relation (3) and Cauchy inequality allow us to write
Lemma 3.5 implies the existence of some constants depending on such that
Taking in view (3.1) and choosing , the relation (3.11) follows.
References
- [1] Gal, S., Iancu, I., Quantitative approximation by nonlinear convolution operators of Landau-Choquet type, Carpathian J. Math., 36(2020), accepter paper.
- [2] Landau, E., Über die Approximation einer stetingen Funktion durch eine ganze rationale Funktion, Rendiconti del Circolo Matematico di Palermo, 25(1908), 337-345.
- [3] López-Moreno, A.-J., Weighted simultaneous approximation with Baskakov type operators, Acta Math. Hungarica, 104(2004), 143-151.
- [4] Korovkin, P.P., On convergence of linear positive operators in the space of continuous functions, Dokl. Akad. Nauk SSSR, 90(1953), 961-964.
- [5] Mamedov, R.G., Approximation of functions by generalized linear Landau operators, (in Russian), Dokl. Akad. Nauk SSSR, 139(1961), No. 1, 28-30.
- [6] Mocica, Gh., Problems of Special Functions, (in Romanian), Didactical and Pedagogical Press, Bucharest, 1988.
- [7] Shisa, O., Mond, B., The degree of convergence of linear positive operators, Proc. Nat. Acad. Sci. USA, 60(1968), 1196-1200.
- [8] Yuksel, I., Ispir, N., Weighted Approximation by a Certain Family of Summation Integral-Type Operators, Computers and Mathematics with Applications, 52(2006), 1463-1470.
[1] Altomare, F., Korovkin-type theorems and approximation by positive linear operators. Surv. Approx. Theory 5, 92–164 (2010), MathSciNet MATH Google Scholar
[2] Binmore, K.G., Mathematical Analysis: A Straightforward Approach. Cambridge University Press, Cambridge (1977), MATH Google Scholar
[3] Chen, Z., Shih, T., A new class of generalized Landau linear positive operator sequence and its properties of approximation. Chin. Q. J. Math. 13(1), 29–43 (1998), MathSciNet MATH Google Scholar
[4] Gal, S.G., Iancu, I., Quantitative approximation by nonlinear convolution operators of Landau–Choquet type. Carpathian J. Math. 37(1) (2021) (to appear)
[5] Gao, J.B., Approximation properties of a kind of generalized discrete Landau operator (Chinese). J. Huazhong Univ. Sci. Technol. 12(5), 1–4 (1984), Google Scholar
[6] Gonska, H.H., Piţul, P., Raşa, I., On Peano’s form of the Taylor remainder, Voronovskaja’s theorem and the commutator of positive linear operators. In: Agratini, O., Blaga, P. (eds.) Numerical Analysis and Approximation Theory. Proc. Int. Conf. Cluj-Napoca, pp. 55–80. Casa Cărţii de Ştiinţă, Cluj-Napoca (2006), Google Scholar
[7] Jackson, D., A proof of Weierstrass’ theorem. Am. Math. Mon. 41(5), 309–312 (1934), MathSciNet Article Google Scholar
[8] Landau, E., Über die Approximation einer stetingen Funktion durch eine ganze rationale Funktion. Rend. Circ. Mat. Palermo 25, 337–345 (1908), Article Google Scholar
[9] López-Moreno, A.-J., Weighted simultaneous approximation with Baskakov type operators. Acta Math. Hung. 104, 143–151 (2004), MathSciNet Article Google Scholar
[10] Mamedov, R.G., Approximation of functions by generalized linear Landau operators (Russian). Dokl. Akad. Nauk SSSR 139(1), 28–30 (1961), MathSciNet Google Scholar
[11] Mamedov, R.G., On the order and on the asymptotic value of the approximation of functions by generalized linear Landau operators (Russian). Akad. Nauk Azerbadzan SSR Trudy Inst. Mat. Meh. 2(10), 49–65 (1963), Google Scholar
[12] Mocica, Gh., Problems of Special Functions (Romanian). Didactical and Pedagogical Press, Bucharest (1988)
[13] Pendina, T.P., Iterations of positive linear operators of exponential type and of Landau polynomials (Russian). In: Geometric Problems of the Theory of Functions and Sets (Russian), pp. 105–111. Kalinin. Gos. Univ., Kalinin (1987)
[14] Shisha, O., Mond, B., The degree of convergence of linear positive operators. Proc. Natl. Acad. Sci. U.S.A. 60, 1196–1200 (1968), MathSciNet Article Google Scholar
[15] Sikkema, P.C., Approximation formulae of Voronovskaya type for certain convolution operators. J. Approx. Theory 26(1), 26–45 (1979), MathSciNet Article Google Scholar
[16] Veselinov, V.M., Certain estimates of the approximation of functions by de la Vallée–Poussin and Landau operators (Russian). An. Univ. Sofia Fac. Math. 66, 153–158 (1974), Google Scholar
[17] Yuksel, I., Ispir, N., Weighted approximation by a certain family of summation integral-type operators. Comput. Math. Appl. 52, 1463–1470 (2006), MathSciNet Article Google Scholar