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 \((\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

PDF

About this paper

Journal

Positivity

Publisher Name

Springer

Print ISSN
1385-1292
Online ISSN

1572-9281

google scholar link

Paper (preprint) in HTML form

Approximation with arbitrary order by certain linear positive operators

Approximation with arbitrary order
by certain linear positive operators

Octavian Agratini and Sorin G. Gal Babeş-Bolyai University
Faculty of Mathematics and Computer Science
Str. Kogălniceanu 1
400084 Cluj-Napoca, Romania
agratini@math.ubbcluj.ro University of Oradea
Department of Mathematics and Computer Science
Str. Universităţii 1
410087 Oradea, Romania
galso@uoradea.ro
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 (λn)n≥1 such that limn→∞λn=0, 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 (Ln)n≥1, the essential feature being that of positivity. The cornerstone of this approach is Bohman-Korovkin criterion [5], [15]. This criterion says: if (Ln⁢ek)n≥1 converges to ek uniformly on [a,b], k∈{0,1,2}, for the test functions e0⁢(x)=1, e1⁢(x)=x, e2⁢(x)=x2, then (Ln⁢f)n≥1 converges to f uniformly on [a,b] for each f∈C⁢([a,b]). 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 J onto (0,∞) or ℝ, we have only two options. In our study we consider the benchmark interval J=[0,∞)=ℝ+ 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

(Ln⁢f)⁢(x)=∑k=0∞ak⁢(n;x)⁢f⁢(xn,k),n∈ℕ,x∈ℝ+, (1.1)

where ak⁢(n;⋅):ℝ+→ℝ+ are continuous functions for each n∈ℕ, k∈{0}∪ℕ=ℕ0, and Δn=(xn,k)k≥0 is a net on ℝ+. Here f 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 xn,k=k/n, k≥0. We mention that in (1.1) could be a finite sum. For example, if we take

ak⁢(n;x)=(nk)⁢(1+x)−n⁢xk⁢ for ⁢0≤k≤n,ak⁢(n;x)=0⁢ for ⁢k>n,

and we choose the net Δn=(k/(n−k+1))k=0,n¯, then Ln, n∈ℕ, 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 |(Ln⁢f)⁢(x)−f⁢(x)| is assessed by using the modulus of continuity ω of f:I→ℝ with argument δ defined by

ω(f;δ)=sup{|f(x)−f(y)|;x,y∈I,|x−y|≤δ},δ≥0. (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 ω⁢(f;1/n) [8, page 40], consequently the order of approximation is 𝒪⁢(n−1/2). 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 λ=(λn)n≥1 be a strictly decreasing sequence of positive numbers with the property

limn→∞λn=0. (2.1)

We modify the operators defined by (1.1) replacing n with λn−1. Also we consider the equidistant network having the nodes xn,k=k⁢λn. The discrete class of operators is given as follows

(Ln⟨λ⟩⁢f)⁢(x)=∑k=0∞ak⁢(λn;x)⁢f⁢(k⁢λn),n∈ℕ,x≥0, (2.2)

where ak⁢(λn;⋅) are non-negative functions belonging to C⁢(ℝ+) and

f∈𝒟:={g∈C⁢(ℝ+):the series in⁢(2.2)⁢is absolutely convergent}. (2.3)

We are working under assumption that the monomials ej, 0≤j≤2, belong to the above domain.

Clearly, Ln⟨λ⟩, n∈ℕ, are linear and positive operators. At this point we introduce the first and the second central moments of Ln⟨λ⟩ operators, i.e.,

ℳi⁢(Ln⟨λ⟩;x)=(Ln⟨λ⟩⁢φxi)⁢(x), where ⁢φx⁢(t)=t−x,(t,x)∈ℝ+×ℝ+,

and i∈{1,2}. Concerning the operators defined by (2.2), we consider that for each x∈ℝ+ and n∈ℕ they satisfy the following properties

∑k=0∞ak⁢(λn;x)=1, (2.4)
ℳ1⁢(Ln⟨λ⟩;x)=λn⁢l1⁢(x), (2.5)
ℳ2⁢(Ln⟨λ⟩;x)=λn⁢l2⁢(x)+λn2⁢l3⁢(x), (2.6)

where lj∈C⁢(ℝ+), j∈{1,2,3}.

Taking into account Bohman-Korovkin theorem, (Ln⟨λ⟩)n≥1 is an approximation process on the space C⁢(K), endowed with the uniform norm, K⊆ℝ+ compact, if

limn→∞Ln⟨λ⟩⁢ej=ej, 0≤j≤2,

uniformly on K.

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 (Ln⟨λ⟩)n≥1 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

(Tn⁢f)⁢(x)=e−n⁢x⁢H⁢(1)A⁢(1)⁢∑k=0∞pk⁢(n⁢x)⁢f⁢(kn), (2.7)

where pk are the Sheffer polynomials defined by

A⁢(t)⁢ex⁢H⁢(t)=∑k=0∞pk⁢(x)⁢tk,x≥0,|t|<R,

with

A⁢(z)=∑k=0∞ck⁢zk,H⁢(z)=∑k=1∞hk⁢zk, (2.8)

analytic functions in a disk |z|<R, R>1, such that A⁢(1)≠0, H′⁢(1)=1, ck∈ℝ for k∈ℕ0, hk∈ℝ for k∈ℕ, c0⁢h1≠0 and supposing that pk⁢(x)≥0 for all (k,x)∈ℕ0×ℝ+.

By using two sequences of non-negative real numbers (αn)n, (βn)n with the property that (βn/αn)n is strictly decreasing having null limit, Cetin and Ispir [6] introduced and studied a notable generalization of Szász operators attached to analytic functions f of exponential growth in a compact disk of the complex plane, |z|<R,

Sn⁢(f;αn,βn)⁢(z)=e−αn⁢z/βn⁢∑k=0∞1k!⁢(αn⁢zβn)k⁢f⁢(k⁢βnαn).

For the particular case z∈ℝ+, αn=n, βn=1, 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

Tn∗⁢(f;αn,βn)⁢(x)=e−αn⁢x⁢H⁢(1)/βnA⁢(1)⁢∑k=0∞pk⁢(αn⁢xβn)⁢f⁢(k⁢βnαn), (2.9)

x∈ℝ+, under the hypothesis on A,H and pk specified at (2.8).

Setting λn:=βn/αn, condition (2.1) is satisfied and we observe that these operators are of the form (2.2) with

ak⁢(λn;x)=e−x⁢H⁢(1)/λnA⁢(1)⁢pk⁢(x/λn),x≥0.

For λn=1/n we reobtain Tn operators which have the form indicated in (1.1). Following [10, Lemma 2.1], the author proved

Tn∗⁢(e0;αn,βn)=1,
ℳ1⁢(Tn∗;x)=βnαn⁢A′⁢(1)A⁢(1),
ℳ2⁢(Tn∗;x)=x⁢βnαn⁢(H′′⁢(1)+1)+βn2αn2⁢A′⁢(1)+A′′⁢(1)A⁢(1).

Comparing these identities to those describing by relations (2.4), (2.5), (2.6), we deduce

l1⁢(x)=A′⁢(1)A⁢(1),l2⁢(x)=(H′′⁢(1)+1)⁢x,l3⁢(x)=A′⁢(1)+A′′⁢(1)A⁢(1),x≥0.
Example 2.2.

Set

E2⁢(ℝ+)={f∈C⁢(ℝ+):f⁢(x)/(1+x2)⁢ is convergent as ⁢x→∞}.

Firstly we present Mastroianni operators [17]. Let φn, n∈ℕ, be real functions on ℝ+ which are infinitely differentiable and strictly monotone on ℝ+, satisfying the following properties:

(P1) φn⁢(0)=1,n∈ℕ;

(P2) φn, n∈ℕ are completely monotone on ℝ+, i.e. (−1)k⁢φn(k)⁢(x)≥0 for each x∈ℝ+ and k∈ℕ0;

(P3) for every (n,k)∈ℕ×ℕ0 there exists a positive integer p⁢(n,k)∈ℕ and a real function αn,k:ℝ+→ℝ such that

φn(i+k)⁢(x)=(−1)k⁢φp⁢(n,k)(i)⁢(x)⁢αn,k⁢(x),i∈ℕ0,x∈ℝ+, and
limn→∞np⁢(n,k)=limn→∞αn,k⁢(0)nk=1.

To the sequence (φn)n≥1 Mastroianni associated the linear and positive operators Mn, n≥1, acting from E2⁢(ℝ+) to C⁢(ℝ+) as follows

(Mn⁢f)⁢(x)=∑k=0∞(−1)kk!⁢φn(k)⁢(x)⁢f⁢(kn),x∈ℝ+. (2.10)

We consider φn⁢(x)=(1+x)−n, x≥0. These functions are infinitely differentiable and strictly decreasing on the domain. Moreover, φn⁢(0)=1 and φn(k)⁢(x)=(−1)k⁢n⁢(n+1)⁢…⁢(n+k−1)⁢(1+x)−n−k, k≥1, consequently conditions (P1) and (P2) are fulfilled. We choose

p⁢(n,k)=n+k⁢ and ⁢αn,k⁢(x)=n⁢(n+1)⁢…⁢(n+k−1)⁢(1+x)−k

which implies φn(i+k)⁢(x)=(−1)k⁢φn+k(i)⁢(x)⁢αn,k⁢(x). Therefore, property (P3) also occurs. In this particular case, the operators defined by (2.10) turn into the celebrated Baskakov operators [3]

(Vn⁢f)⁢(x) =(1+x)−n⁢f⁢(0)
+(1+x)−n⁢∑k=1∞n⁢(n+1)⁢…⁢(n+k−1)k!⁢(x1+x)k⁢f⁢(kn).

Recently, Gal and Opriş [11] introduced a modified Baskakov type operator. In the definition of φn⁢(x)=(1+x)−n, n∈ℕ, the authors replaced 1/n by λn, consequently λ=(λn)n≥1 satisfies relation (2.1). The new operators are expressed for x≥0 as follows

(Vn⟨λ⟩⁢f)⁢(x)=(1+x)−1/λn⁢f⁢(0)
+(1+x)−1/λn⁢∑k=1∞1k!⁢1λn⁢(1+1λn)⁢…⁢(k−1+1λn)⁢(x1+x)k⁢f⁢(k⁢λn) (2.11)

Regarding these operators, the authors proved [11, Corollary 2] the following relations

(Vn⟨λ⟩⁢e0)⁢(x)=1,ℳ1⁢(Vn⟨λ⟩;x)=0,ℳ2⁢(Vn⟨λ⟩;x)=λn⁢x⁢(1+x),x≥0.

Comparing these relations with the requirements (2.4), (2.5), (2.6), we conclude l1⁢(x)=l3⁢(x)=0 and l2⁢(x)=x⁢(1+x), x≥0.

The space of real valued uniformly continuous functions defined on ℝ+ is denoted by U⁢C⁢(ℝ+).

Theorem 2.3.

Let the operators Ln⟨λ⟩, n∈ℕ, be defined by (2.2) such that the relations (2.4) and (2.6) hold. For f∈U⁢C⁢(ℝ+), x≥0, we have

|(Ln⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+l2⁢(x)+λn⁢l3⁢(x))⁢ω⁢(f;λn). (2.12)

Proof. First of all we mention that ω⁢(f;⋅) is well defined for any f∈U⁢C⁢(ℝ+), 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 C⁢(K), K compact, then one has

|(Λ⁢f)⁢(x)−f⁢(x)| ≤|f⁢(x)|⁢|(Λ⁢e0)⁢(x)−1|
+((Λ⁢e0)⁢(x)+1δ⁢(Λ⁢e0)⁢(x)⁢(Λ⁢φx2)⁢(x))⁢ω⁢(f;δ) (2.13)

for every x∈K and δ>0.

Even if this result was proved for continuous functions defined on compact intervals, the reasonings are the same for functions belonging to U⁢C⁢(ℝ+). In (2) we choose Λ=Ln⟨λ⟩. Taking into account that Ln⟨λ⟩ operators reproduce the constants and relation (2.6) holds, we can write

|(Ln⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+1δ⁢ℳ2⁢(Ln⟨λ⟩;x))⁢ω⁢(f;δ),x≥0.

Taking δ=λn, we get inequality (2.12) and the proof is ended. □

Returning to the two examples, relation (2.12) becomes as follows:

(i) For Szász-type operators (2.9),

|Tn∗⁢(f;λn)⁢(x)−f⁢(x)|
≤(1+(H′′⁢(1)+1)⁢x+λn⁢A′⁢(1)+A′′⁢(1)A⁢(1))⁢ω⁢(f;λn),

where λn=βn/αn.

The result coincides with that obtained in [10, Theorem 2.2].

(ii) For Baskakov type operators (2),

|Vn⟨λ⟩f)(x)−f(x)|≤(1+x⁢(x+1))ω(f;λn).

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 Ln⟨λ⟩, n∈ℕ, 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 [0,+∞) were obtained, for example, in [12] for operators reproducing e0 and e1 and in [2] for operators reproducing only e0. 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 m∈ℕ with m≥2 and k∈ℕ∪{0}, the Pǎltǎnea [18] modulus of continuity is given by

ωφm(f;h)=sup{|f(x)−f(y)|;x,y≥0,|x−y|≤h⋅φm(x+y2)},h≥0,

where φm⁢(x)=x1+xm, for all x∈[0,+∞),

Ck⁢[0,+∞)={f:[0,+∞)→ℝ;∃f(k)⁢ continuous on ⁢[0,+∞)},
Ck⁢[0,+∞)
={f∈C⁢[0,+∞);∃M>0, such that ⁢|f⁢(x)|≤M⁢(1+xk),∀x≥0},
Wm⁢[0,+∞)
={f:[0,+∞)→ℝ;f∘e2,f∘ev∈U⁢C⁢(ℝ+), for ⁢v=12⁢m+1}.
Theorem 2.4.

Let the Szász-type operators Tn∗⁢(f;λn)⁢(x) be given by (2.9) and for the classical case, n∈ℕ, m≥2 and λn↘0 as fast we want.

If k=max⁡{m+3,6,2⁢m}, then Tn∗⁢(f;λn)⁢(x) is well defined on Ck⁢[0,+∞) and for all f∈C2⁢[0,+∞)∩Ck⁢[0,+∞), with f′′∈Wm⁢[0,+∞), all x∈(0,+∞) and n∈ℕ, we have

|Tn∗⁢(f;λ)⁢(x)−f⁢(x)−λn⋅x⁢f′′⁢(x)2|
≤(λn⁢x+2⁢An,m∗⁢(x))⋅ωφm⁢(f;λn3/2⋅λn2+25⁢x⁢λn+15⁢x2). (2.14)

Here An,m∗⁢(x)=Tn∗⁢([1+(x+|t−x|2)m]2;λ)⁢(x), is bounded with respect to n∈ℕ for any fixed x∈(0,+∞) and m≥2, 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 Tn∗⁢(f;λn)⁢(x) instead of the classical Szász-type operator. □

Theorem 2.5.

Let the Baskakov-type operators Vn⟨λ⟩f)(x) be given by (2), n∈ℕ, m≥2 and λn↘0 as fast we want.

If k=max⁡{m+3,4}, then Vn⟨λ⟩f)(x) is well defined on Ck⁢[0,+∞) and for all f∈C2⁢[0,+∞)∩Ck⁢[0,+∞), with f′′∈Wm⁢[0,+∞), all x∈(0,+∞) and n∈ℕ, we have

|Vn⟨λ⟩f)(x)−f(x)−λn⋅x⁢(1+x)⁢f′′⁢(x)2|
≤λn2⋅[x⁢(1+x)+2⁢x⁢(1+x)⁢Cn,2,m⁢(x)]
⋅ωφm⁢(f;λn⋅(1+6⁢x+6⁢x2)⁢λn+3⁢x⁢(1+x)). (2.15)

Here Cn,2,m⁢(x) is bounded with respect to n∈ℕ for any fixed x∈(0,+∞) and m≥2, 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 Vn⟨λ⟩f)(x) instead of the classical Baskakov-type operator. □

The above two theorems are new.

3. A Kantorovich type extension

Starting from the operators Ln⟨λ⟩, n∈ℕ, 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

(Kn⟨λ⟩⁢f)⁢(x)=1λn⁢∑k=0∞ak⁢(λn;x)⁢∫k⁢λn(k+1)⁢λnf⁢(t)⁢𝑑t,x≥0. (3.1)

The construction involves the mean values of the approximating function f on the subintervals [k⁢λn,(k+1)⁢λn], k∈ℕ0.

In the above f must be locally integrable function on ℝ+ such that the antiderivative of f 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.

Let the operators Kn⟨λ⟩, n∈ℕ, be defined by (3.1). The following identities

(Kn⟨λ⟩⁢e0)⁢(x)=1,(Kn⟨λ⟩⁢e1)⁢(x)=(Ln⟨λ⟩⁢e1)⁢(x)+12⁢λn,
(Ln⟨λ⟩⁢e2)⁢(x)=(Ln⟨λ⟩⁢e2)⁢(x)+λn⁢(Ln⟨λ⟩⁢e1)⁢(x)+13⁢λn2

hold for each x≥0.

Proof. The first identity is a consequence of relation (2.4). Further on, we can write

(Kn⟨λ⟩⁢e1)⁢(x) =1λn⁢∑k=0∞ak⁢(λn;x)⁢(k+12)⁢λn2=(Ln⟨λ⟩⁢e1)⁢(x)+12⁢λn

and

(Kn⟨λ⟩⁢e2)⁢(x) =1λn⁢∑k=0∞ak⁢(λn;x)⁢(k2+k+13)⁢λn3
=(Ln⟨λ⟩⁢e2)⁢(x)+λn⁢(Ln⟨λ⟩⁢e1)⁢(x)+13⁢λn2.

□

By using Lemma 3.1 we can express the first and the second central moments of Kn⟨λ⟩ operators with the help of corresponding moments of Ln⟨λ⟩. For each x≥0 we get

ℳ1⁢(Kn⟨λ⟩;x)=ℳ1⁢(Ln⟨λ⟩;x)+12⁢λn, (3.2)
ℳ2⁢(Kn⟨λ⟩;x)=ℳ2⁢(Ln⟨λ⟩;x)+λn⁢ℳ1⁢(Ln⟨λ⟩;x)+13⁢λn2. (3.3)

A question arises: are well defined the operators Ln⟨λ⟩ and Kn⟨λ⟩ for functions of U⁢C⁢(ℝ+)? Since f belongs to this class, its growth is linear, i.e., the non-negative real constants c1 and c2 exist such that |f⁢(x)|≤c1⁢x+c2, x≥0. Consequently, the answer is positive.

Theorem 3.2.

Let the operators Kn⟨λ⟩, n∈ℕ, be defined by (3.1) such that the relations (2.4), (2.5) and (2.6) hold. For every f∈U⁢C⁢(ℝ+)

|(Kn⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+l2⁢(x)+(l1⁢(x)+l3⁢(x)+13)⁢λn)⁢ω⁢(f;λn) (3.4)

takes place, where li, 1≤i≤3, are given at relations (2.4), (2.5), (2.6).

Proof. We apply the reasoning used at the proof of Theorem 2.3. Taking into account that Kn⟨λ⟩⁢e0=e0 and relations (3.2), (3.3), inequality (2) becomes as follows

|(Kn⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+1δ⁢ℳ2⁢(Ln⟨λ⟩;x)+λn⁢ℳ1⁢(Ln⟨λ⟩;x)+13⁢λn2)⁢ω⁢(f;δ).

Further, we use the identities (2.4), (2.5), (2.6) and choose δ:=λn. After a few calculations we arrive at the desired relation. □

It is known that the function ω defined by (1.2) is continuous at δ=0, i.e.

limδ→0+ω⁢(f;δ)=ω⁢(f;0)=0,

if and only if f is uniformly continuous on its domain, see [8, page 40]. Examining relations (3.4) and (2.1), the following pointwise convergence

limn→∞(Kn⟨λ⟩⁢f)⁢(x)=f⁢(x),x∈ℝ+,

takes place. These operators can also uniformly approximate any function f∈U⁢C⁢(ℝ+) on each compact, say K, included in ℝ+. Relative to the functions li∈C⁢(ℝ+), i∈{1,2,3}, introduced by relations (2.4)-(2.6), we denote

maxx∈K⁡l2⁢(x)=α,maxx∈K⁡(l1⁢(x)+l3⁢(x)+13)=β.

Relation (3.4) implies

|(Kn⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+α+β⁢λn)⁢ω⁢(f;λn),x∈K,

therefore limn→∞Kn⟨λ⟩⁢f⁢(x)=f⁢(x), uniformly on the compact K.

We recall f:ℝ+→ℝ is Lipschitz continuous if there exists a real constant M≥0 such that |f⁢(x)−f⁢(y)|≤M⁢|x−y| for any (x,y)∈ℝ+×ℝ+. We denote this set by L⁢i⁢pM⁢1. One hand, any Lipschitz continuous map is uniformly continuous; on the other hand, f∈L⁢i⁢pM⁢1 if and only if ωf⁢(δ)≤M⁢δ. Taking in view these statements, we enunciate

Corollary 3.3.

Let the operators Kn⟨λ⟩, n∈ℕ, be defined by (3.1) such that the relations (2.4), (2.5) and (2.6) hold. For every f∈L⁢i⁢pM⁢1, M≥0 and x≥0, it takes place

|(Kn⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤M⁢(1+l2⁢(x)+(l1⁢(x)+l3⁢(x)+13)⁢λn)⁢λn.
Example 3.4.

Let us consider the Baskakov-Kantorovich operators, defined by the formula

B⁢Kn⟨λ⟩⁢(f)⁢(x)
=(1+x)−1λn⁢∑j=0∞1j!⁢1λn⁢(1+1λn)⁢…⁢(j−1+1λn)⁢xj(1+x)j⁢1λn⁢∫j⁢λn(j+1)⁢λnf⁢(v)⁢𝑑v.

Since B⁢Kn⟨λ⟩⁢((t−x)2)⁢(x)=λn⁢(x2+x+13⋅λn), by Theorem 3.2 and Corollary 3.3 we get the estimates

|B⁢Kn⟨λ⟩⁢(f)⁢(x)−f⁢(x)|≤2⁢ω1⁢(f;λn⋅x2+x+λn/3)

and

|B⁢Kn⟨λ⟩⁢(f;λn)⁢(x)−f⁢(x)|≤2⁢M⁢λn⋅x2+x+λn/3,

respectively, which are similar to Theorem 2.2 and Corollary 2.3 in Trifa [21].

Remark 3.5.

Analyzing the proofs of Theorems 2.3 and 3.2, we deduce that the upper bound error of approximation could be established if we relax requirements (2.5) and (2.6). More precisely, we can replace them with the followings

0≤ℳ1⁢(Ln⟨λ⟩;x)≤λn⁢l1⁢(x), (3.5)
ℳ2⁢(Ln⟨λ⟩;x)≤λn⁢l2⁢(x)+λn2⁢l3⁢(x), (3.6)

where lj∈C⁢(ℝ+), j∈{1,2,3}.

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

ωβ⁢(k,α)=αk!⁢(α+k⁢β)k−1⁢e−(α+k⁢β),k∈ℕ0,

where α>0 and |β|<1. Jain [14] introduced the sequence of linear operators by formula

(Pn[β]⁢f)⁢(x)=∑k=0∞ωβ⁢(k,n⁢x)⁢f⁢(kn),f∈C⁢(ℝ+),

where 0≤β<1. It was been shown [14, Lemma 1]

∑k=0∞ωβ⁢(k,α)=1. (3.7)

In order to become (Pn[β])n≥1 an approximation process, β should depend on n and its limit to be zero. We modify these operators following the model described by (2.2). Consequently, we choose β=λn, n≥1, 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

(Pn⟨λ⟩⁢f)⁢(x)=∑k=0∞ωλn⁢(k,xλn)⁢f⁢(k⁢λn).

Based on (3.7) and [14, Eqs. (2.13), (2.14)], we get

(Pn⟨λ⟩⁢e0)⁢(x)=1,
ℳ1⁢(Pn⟨λ⟩;x)=λn1−λn⁢x,
ℳ2⁢(Pn⟨λ⟩;x)=λn2(1−λn)2⁢x2+λn(1−λ0)3⁢x.

Since (λn)n≥1 is a positive strictly decreasing sequence, we can write

0≤ ℳ1⁢(Pn⟨λ⟩;x)≤x1−λ1⁢λn,
ℳ2⁢(Pn⟨λ⟩;x)≤x(1−λ1)3⁢λn+x2(1−λ1)2⁢λn2.

Considering formula (3.1), Kantorovich type extension will be read as follows

(K~n⟨λ⟩⁢f)⁢(x)=1λn⁢∑k=0∞ωλn⁢(k,xλn)⁢∫k⁢λn(k+1)⁢λnf⁢(t)⁢𝑑t,x≥0.

Set τ=(1−λ1)−1. For every f∈U⁢C⁢(ℝ+), in the light of relations (3.5) and (3.6), Theorem 2.3 implies

|(P~n⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+τ⁢x⁢(τ+λn⁢x))⁢ω⁢(f;λn)

and Theorem 3.2 implies

|(K~n⟨λ⟩⁢f)⁢(x)−f⁢(x)|≤(1+τ3⁢x+(τ2⁢x2+τ⁢x+13)⁢λn)⁢ω⁢(f;λn).
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 𝒪⁢(1/n). This rate of convergence can be modified by the mean of formulas (2.2), (3.1) such that its magnitude to be of order 𝒪⁢(λn), where (λn)n≥1 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 λn, 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

Ln⁢(f)⁢(x)=1ns⁢(1−r)⁢∑j∈In⁢(Ωh)f⁢(j/n)⁢Φ⁢(n⁢x−j⁢nr−1),

where x∈ℝs, j is a multiindex and

In⁢(Ωh)={j∈ℤs;[j/n,(j+1)/n]s∩Ωh≠∅}.

Under the hypothesis in Theorem 2.2 in [16], the following quantitative estimate was obtained

‖Ln⁢(f)−f‖Lp⁢(Ω)≤cnγ⋅‖f‖Wp,1⁢(Ωh),

where Ω and Ωh are bounded domains.

Now, choosing λn↘0 as fast we want and defining

Ln⁢(f;λn)⁢(x)=λns⁢(1−r)⁢∑j∈Iλn⁢(Ωh)f⁢(j⁢λn)⁢Φ⁢(x/λn−j/λnr−1),

reasoning exactly as in the proof of Theorem 2.2 in [16] and under the same hypothesis, one gets the much better estimate

‖Ln⁢(f;λn)−f‖Lp⁢(Ω)≤c⁢λnγ⋅‖f‖Wp,1⁢(Ωh).

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 [0+∞), 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)

2018

Related Posts