Volume 1, Issue 2 e1018
RESEARCH ARTICLE
Full Access

General estimates for the difference of operators

Vijay Gupta

Corresponding Author

Vijay Gupta

Department of Mathematics, Netaji Subhas University of Technology, New Delhi, India

Vijay Gupta, Department of Mathematics, Netaji Subhas University of Technology, Sector 3, Dwarka, New Delhi-110 078, India.

Email: [email protected]

Search for more papers by this author
First published: 06 March 2019
Citations: 4

Abstract

This paper deals with the quantitative estimates for the difference of operators having the same basis functions. The results essentially improve the earlier known results. In the end, some applications for the differences of Szász-Mirakyan operators with its different variants are presented.

1 DIFFERENCES OF OPERATORS

Gonska et al1, 2 and Gonska and Raşa3 established the estimates on the differences of positive linear operators. Acu and Raşa4 developed an approach suitable for operators constructed with the same fundamental functions, and Aral et al5 discussed about the difference of the operators in weighted space. Also, some of the results on this topic are collected in the recent book by Gupta et al.6 In terms of modulus of continuity of f and urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0001, some results have been estimated.7, 8 Let urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0002 be an interval and urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0003, with C (I ) containing the polynomials and CB(I ) the space of all f ∈ C(I ) such that
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0004
Also, let urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0005 be a positive linear functional such that F (e0) = 1. Denote
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0006
Let
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0007
be the classical modulus of smoothness given for a compact interval I and urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0008. For the functional F, the following basic results were obtained.4

Lemma 1. (See the work of Acu and Raşa[4])Let f ∈ C(I ) with urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0009 ∈ CB(I ). Then,

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0010

Lemma 2. (See the work of Acu and Raşa[4])Let f ∈ C(I ) with f (iv) ∈ CB(I). Then,

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0011

Let K be a set of nonnegative integers and pn,k ≥ 0, pn,k ∈ C(I ), k ∈ K, such that urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0012. Consider the positive linear functionals urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0013 such that Fn,k(e0) = Gn,k(e0) = 1 and denote D(I ) as the set of all f ∈ C(I ) for which
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0014
Let Un,Vn:D(I )→C(I ) be two positive linear operators defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0015
Our main estimates for the difference of operators are the following theorems:

Theorem 1.If  f ∈ D(I ) with urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0016 ∈ CB(I), then

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0017
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0018

Proof.Using Lemma 1, we can write

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0019
The theorem follows by taking urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0020.

Remark 1.We may remark here that in theorem 3 in the work of Acu and Raşa4, the authors considered urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0021, which is true in general only when summation index K is finite, ie, urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0022, but in case urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0023, the value of δ(x) becomes infinite. Second, for λ > 0, we know ω( f,λδ) ≤ (λ + 1)ω( f,δ). Thus, the improved conclusion of theorem 3 of Acu and Raşa4 must be considered as the following theorem.

Theorem 2.If  f ∈ D(I ) with urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0024 ∈ CB(I), then

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0025
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0026

Corollary 1.If  f ∈ D(I ) with urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0027 ∈ CB(I ) and both the operators Un and Vn preserve linear functions, then we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0028
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0029

Theorem 3.If  f ∈ D(I ) with urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0030∈ CB(I ), then for each x ∈ I, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0031
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0032

Proof.Using Lemma 2, we can write

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0033
Choosing urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0034, the theorem follows.

Remark 2.We may point out here that our Theorem 3 reduces to that of theorem 4 in the work of Acu and Raşa,4 in case urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0035. Thus, the above theorem may be utilized for a wide range of operators.

2 SOME APPLICATIONS

In this section, we provide the applications of Theorem 1 and estimate the quantitative difference estimates between Szász-Mirakyan operators and its variants.

The Szász-Mirakyan operators are defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0036(1)
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0037

Lemma 3.The following recurrence relation holds for moments

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0038
In particular,
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0039
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0040

Remark 3.We have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0041
and by simple computation for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0042, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0043

2.1 Difference with Szász-Mirakyan-Baskakov operators

The Szász-Mirakyan-Baskakov–type operators considered by Prasad et al9 and later improved by Gupta10 (also extended in other work of Gupta11) are defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0044(2)
where pn,k(x) is the Szász-Mirakyan basis function defined in 1 and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0045
with vn,k(t) the Baskakov basis functions defined by
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0046

Remark 4.By definition of beta function, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0047
Thus, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0048
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0049
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0050
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0051

Below, we present the quantitative estimate for the difference of Szász-Mirakyan-Baskakov and Szász-Mirakyan operators.

Proposition 1.Let f (s) ∈ CB[0,),s ∈ {0,1,2} and x ∈ [0,). Then, for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0052, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0053
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0054

Proof.Using Remarks 3 and 4 and Lemma 3, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0055
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0056
By collecting these values, Proposition 1 follows as in Theorem 1.

Proposition 2.Let  f (s) ∈ CB[0,),s ∈ {0,1,2}, and x ∈ [0,). Then, for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0057, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0058
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0059

Proposition 3.Let f (s) ∈ CB[0,),s ∈ {0,1,2,3,4}. Then for each x ∈ [0,), we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0060
where ω1( f,δ(x)) is the usual modulus of continuity and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0061

Proof.Applying Lemma 3 and Remarks 3 and 4, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0062
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0063
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0064
The estimate of δ(x), follows from Proposition 1, and the result follows from Theorem 3.

2.2 Difference with Pǎltǎnea operators

The Pǎltǎnea operators12 are defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0065(3)
where pn,k(x) is the Szász-Mirakyan basis function defined in 1 and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0066

Remark 5.By definition of gamma function, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0067
Following as in previous sections, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0068
Also, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0069
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0070
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0071

We present below the quantitative estimates for the difference of Pǎltǎnea and Szász-Mirakyan operators.

Proposition 4.Let f (s) ∈ CB[0,),s ∈ {0,1,2}, and x ∈ [0,). Then for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0072, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0073

Proof.As both the operators here preserve constant and linear functions, using Corollary 1 and applying Lemma 3 and Remarks 3 and 5, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0074
This completes the proof of proposition.

Proposition 5.Let f(s) ∈ CB[0,),s ∈ {0,1,2,3,4}. Then for each x ∈ [0,), we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0075
where ω1( f,δ(x)) is the usual modulus of continuity and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0076

Proof.Applying Lemma 3 and Remarks 3 and 5, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0077
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0078
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0079
As urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0080, we get δ(x) = 0; thus, the proposition follows from Theorem 3.

2.3 Difference with Szász-Mirakyan-Kantorovich operators

The Szász-Mirakyan-Kantorovich operators (see the work of Totik13) are defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0081(4)
where pn,k(x) is the Szász-Mirakyan basis function defined in 1 and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0082

Remark 6.By simple computation, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0083
Next, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0084
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0085
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0086

Below, we present the quantitative estimate for the difference of Szász-Mirakyan-Kantorovich and Szász-Mirakyan operators.

Proposition 6.Let f (s) ∈ CB[0,),s ∈ {0,1,2} and x ∈ [0,), then for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0087, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0088
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0089

Proof.Using Remark 3, Remark 6 and Lemma 3, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0090
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0091
Collecting these values Proposition 6 follows immediately from Theorem 1.

Proposition 7.Let f (s) ∈ CB[0,),s ∈ {0,1,2,3,4}, then for each x ∈ [0,), we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0092
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0093

Proof.Applying Lemma 3 and Remarks 3 and 6, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0094
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0095
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0096

The estimate of δ(x), follows from Proposition 6 and the result follows from Theorem 3.

2.4 Difference with Szász-Mirakyan-Durrmeyer operators

The Szász-Mirakyan-Durrmeyer operators14 are defined as
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0097(5)
where pn,k(x) is the Szász-Mirakyan basis function defined in 1 and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0098

Remark 7.By simple computation, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0099
implying
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0100
Next, we have
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0101
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0102
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0103

We present below the quantitative estimates for difference of Szász-Mirakyan-Durrmeyer and Szász-Mirakyan operators.

Proposition 8.Let f (s) ∈ CB[0,),s ∈ {0,1,2}, and x ∈ [0,). Then for urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0104, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0105
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0106

Proof.Using Remarks 3 and 7 and Lemma 3, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0107
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0108
By collecting these values, the proposition follows from Theorem 1.

Proposition 9.Let f (s) ∈ CB[0,),s ∈ {0,1,2,3,4}. Then for each x ∈ [0,), we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0109
where
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0110

Proof.Applying Remarks 3 and 7 and Lemma 3, we have

urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0111
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0112
and
urn:x-wiley:cmm4:media:cmm41018:cmm41018-math-0113
The estimate of δ(x) follows from Proposition 8, and the result follows from Theorem 3.

ACKNOWLEDGEMENT

The author would like to thank the referees for their valuable comments, leading to overall improvements of the paper.

    Biography

    • biography image

      Vijay Gupta PhD, is a professor at the Department of Mathematics, Netaji Subhas University of Technology (formerly, Netaji Subhas Institute of Technology), New Delhi, India. He received the PhD degree from the University of Roorkee (currently Indian Institute of Technology, Roorkee, India. His area of research is approximation theory especially on linear positive operators. He is the author of several books and book chapters, and he has over 300 research papers to his credit. He visited many universities globally on academic invitations. His present h-index is 36 (as per Google Scholar records).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.