Difference of Some Positive Linear Approximation Operators for Higher-Order Derivatives

In the present paper, we deal with some general estimates for the difference of operators which are associated with different fundamental functions. In order to exemplify the theoretical results presented in (for example) Theorem 2, we provide the estimates of the differences between some of the most representative operators used in Approximation Theory in especially the difference between the Baskakov and the Szász–Mirakyan operators, the difference between the Baskakov and the Szász–Mirakyan–Baskakov operators, the difference of two genuine-Durrmeyer type operators, and the difference of the Durrmeyer operators and the Lupaş–Durrmeyer operators. By means of illustrative numerical examples, we show that, for particular cases, our result improves the estimates obtained by using the classical result of Shisha and Mond. We also provide the symmetry aspects of some of these approximations operators which we have studied in this paper.

this topic, the reader is referred to the applications of the Bernstein operators and the iterated Boolean sums of operators (see [4]) and the applications of the Durrmeyer operators (see [5]).
The attention of many researchers in the study of the differences of positive linear operators began with the question raised by Lupaş in regard with the possibility to give an estimate for the following commutator: where B n are the Bernstein operators and B n are the Beta operators (see, for details, [6]). In [7], an algebraic structure of positive linear operators, which map C[0, 1] into itself, was considered in order to give an inequality for the commutators of certain positive linear operators.
In several sequels to this study, Gonska et al. (see, for example, [8][9][10]) considered an algebraic structure (S, +, •, 0, I) which satisfies each of the following conditions: It is closed under both "+" and "•"; (ii) Both "+" and "•" are associative; (iii) 0 is the identity for + and I is the identity for "•"; (iv) 0 is an annihilator for "•", that is, "+" is commutative; (vi) "•" distributes over "+", that is, both of the distributive laws hold true. was studied from a quantitative point of view in [7]. A solution of the Lupaş problem was given by Gonska et al. [7] by using the Taylor expansion. The estimates for the differences of two positive linear operators, which have the same moments up to a certain order, were derived in [8][9][10]. In [11], the differences of certain positive linear operators, which have the same fundamental functions, were studied. These studies of the positive linear operators, which are defined on unbounded interval, become an interesting area of research in Approximation Theory (see [12][13][14][15]). Estimates for the differences of these operators in terms of weighted modulus of smoothness were obtained by Aral et al. [16]. The Bernstein polynomials are, by all means, the most investigated polynomials in Approximation Theory and were introduced by Bernstein in order to prove the Weierstrass Theorem. Various new generalizations of these operators were considered in, for example, [17,18]. In [19], estimates of the differences of the Bernstein operators and their derivatives were obtained. Recently, some interesting results on this topic were published in [20][21][22][23][24][25]. In the present paper, our approach involves positive linear operators which have substantially different fundamental functions. In fact, the results presented in this paper extend the earlier studies in [11] for more general classes of positive linear operators.
We denote by E(I) the space of real-valued continuous functions defined on an interval I ⊆ R, which contains the polynomials. Let Let e j (t) := t j (j = 0, 1, 2, · · · . We consider the linear positive functional F : E(I) → R preserving constant function, namely, F(e 0 ) = 1. We also put where φ F := F(e 1 ). For the functional F, the following basic result was obtained in [11].
Lemma 1 (see [11]). Let f ∈ E(I) with f (4) ∈ E B (I). Then Let us now consider the fundamental functions p m,k , b m,k ≥ 0, k ∈ K, and p m,k , b m,k ∈ C(I) such that where K is a set of non-negative integers, that is, Suppose also that F m,k , G m,k : E(I) → R are the linear positive functionals such that F m,k (e 0 ) = G m,k (e 0 ) = 1 and denote Define the positive linear operators U m , V m : D(I) → C(I) as follows: In [11], the following result concerning the difference of the operators U m and V m was proved.
Theorem 1 (see [11]). Suppose that p m,k = b m,k and φ F m,k = φ G m,k k ∈ K; m ∈ N.
In the series of papers [8][9][10], the results concerning the estimations of the differences of certain positive linear operators were based upon the fact that the positive linear operators have the same moments up to a certain order. In the recent paper [11], the approach involved the positive linear operators which have the same fundamental functions. The main goal of this paper is to extend the above result for the positive linear operators that have different fundamental functions. Furthermore, the condition φ F m,k = φ G m,k of ( [11], Theorem 4) is shown to be not necessary in order to obtain an estimate of the differences of the positive linear operators V m and U m .
where ω 1 ( f , ·) is the usual modulus of continuity, Proof. First of all, by using Lemma 1, we get This completes the proof of Theorem 2.

Remark 1.
Let Then, by using the result of Shisha and Mond [26], we find that

Applications of Theorem 2
As applications of the Theorem 2, in this section, we give estimates of the differences between some of the most used positive linear operators in Approximation Theory. The considered examples involve the Baskakov type operators, the Szász-Mirakyan type operators, and the Durrmeyer type operators. We also show for the Durrmeyer type operators that, in some particular cases, our result improves the estimates obtained by using the classical result of Shisha and Mond [26].

Difference Between the Baskakov and the Szász-Mirakyan Operators
The Szász-Mirakyan operators are defined by where The moments of S m satisfy the following relation: In particular, The Baskakov operators are defined by where Lemma 3. The moments satisfy the following relation: The moments of the Baskakov operators up to order 4 are listed below:

Remark 3. We have
and, for r ∈ N, we get Now, as an application of Theorem 2, the difference of V m and S m defined, respectively, by Equations (1) and (2), can be given as Proposition 1 below.
The proof of Proposition 1 follows from Remarks 2 and 3, Lemmas 2 and 3, and Theorem 2. We, therefore, omit the details involved.

Difference Between the Baskakov and the Szász-Mirakyan-Baskakov Operators
In the year 1983, Prasad et al. [27] introduced a class of the Szász-Mirakyan-Baskakov type operators. These operators were subsequently improved by Gupta [28] as follows: where Here p m,k and v m,k are defined in Equations (1) and (2), respectively.

Remark 4.
Since In Proposition 2 below, a quantitative result concerning the estimate of the difference between M m and V m is proved.
Proof. Applying Remarks 3 and 4, together with Lemma 2, we find that Furthermore, we have Now, by using Theorem 2, Proposition 2 is proved.

Difference Between the Baskakov and the Szász-Mirakyan-Kantorovich Operators
Let p m,k be the Szász-Mirakyan basis function defined in Equation (1). In addition, let The Szász-Mirakyan-Kantorovich operators are defined by Remark 5. The following result can be obtained by simple computation: The following quantitative result concerning the difference between K m and V m is proved next.
Proof. Applying Remarks 3 to 5 and Lemma 2, we get Furthermore, we have Upon collecting the above estimates and by using Theorem 2, the proof of Proposition 3 is completed.

Difference of Two Genuine-Durrmeyer Type Operators
Let ρ > 0 and f ∈ C[0, 1]. Suppose also that Pȃltȃnea and Gonska (see [29][30][31]) introduced and studied a new class of the Bernstein-Durrmeyer type operators defined by Neer and Agrawal [32] introduced a class of the genuine-Durrmeyer type operators as follows: Proposition 4 below provides an estimate of the difference between U ρ m andŨ ρ m .

Proposition 4.
Let f ∈ C 4 [0, 1]. Then the following inequality holds true: , Proof. In Theorem 2, we set Now, by considering the following relations: the proof of Proposition 4 is completed.
Example 1. Applying Proposition 2 for f (x) = x x 2 +1 , x ∈ [0, 1] and ρ = 2, we get the following estimate: where and Now, by using the result of Shisha and Mond (see [26]; see also Remark 1), we get the following estimate: where

Difference of the Durrmeyer Operators and the Lupaş-Durrmeyer Operators
Durrmeyer [33] and, independently, Lupaş [34] defined the Durrmeyer operators by Gupta et al. [35] introduced a modification of the operator in Equation (7) as follows: Finally, the difference between M m and D < 1 m > m is provided in the estimate asserted by Proposition 5 below.
Proposition 5. Let f ∈ C 4 [0, 1]. Then the following inequality holds true: Proof. In Theorem 2, we let Now, by applying the relations from the proof of Proposition 2, the resulting estimate of the difference of the Durrmeyer operator and the Lupaş-Durrmeyer operator is as asserted by Proposition 5.
Thus, by using the result of Shisha and Mond (see [26]; see also Remark 1), we get the following estimate: where ( f ) for certain specific values of m. We also note that, for this particular case, the estimate in Equation (9) is better than the estimate given by the Shisha-Mond result in Equation (10).  Remark 6. The earlier works [36,37] proposed certain general families of positive linear operators which reproduce only constant functions. Recently, as a continuation of these works, in [38] some positive linear operators reproducing linear functions were introduced and studied. Analogous further researches for this class of operators are possible.

Conclusions
The studies of the differences of positive linear operators has become an interesting area of research in Approximation Theory. The present paper deals with the estimates of the differences of various positive linear operators, which are defined on bounded or unbounded intervals, in terms of the modulus of continuity. In several earlier papers, the results of the type which we have presented here were obtained for a class of positive linear operators constructed with the same fundamental functions. The novelty of this paper is that the fundamental functions of the positive linear operators can chosen to be different. Our present study makes use of the Baskakov type operators, the Szász-Mirakyan type operators, and the Durrmeyer type operators. In some illustrative numerical examples, we have shown that the estimates obtained in this study are better than the estimates given by the classical Shisha-Mond result. For a future work, we propose to obtain estimates for these operators involving some suitably weighted modulus of smoothness.