Table of Contents Author Guidelines Submit a Manuscript
Journal of Function Spaces
Volume 2016 (2016), Article ID 1035253, 9 pages
http://dx.doi.org/10.1155/2016/1035253
Research Article

On a Kantorovich Variant of -Szász-Mirakjan Operators

1Department of Mathematics, Aligarh Muslim University, Aligarh 202002, India
2Operator Theory and Applications Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
3Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 23 October 2015; Accepted 31 December 2015

Academic Editor: Pasquale Vetro

Copyright © 2016 M. Mursaleen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We propose a Kantorovich variant of -analogue of Szász-Mirakjan operators. We establish the moments of the operators with the help of a recurrence relation that we have derived and then prove the basic convergence theorem. Next, the local approximation and weighted approximation properties of these new operators in terms of modulus of continuity are studied.

1. Introduction and Notations

Approximation theory has been an established field of mathematics in the past century. The approximation of functions by positive linear operators is an important research topic in general mathematics and it also provides powerful tools to application areas such as computer-aided geometric design, numerical analysis, and solution of differential equations.

During the last two decades, the applications of -calculus emerged as a new area in the field of approximation theory. The rapid development of -calculus has led to the discovery of various generalizations of Bernstein polynomials involving -integers. Several researchers introduced and studied many positive linear operators based on -integers, -Bernstein basis, -beta basis, -derivative, -integrals, and so forth. Using -integers, Lupaş [1] introduced the first -Bernstein operators [2] and investigated their approximating and shape-preserving properties. Another -analogue of the Bernstein polynomials is due to Phillips [3]. Since then several generalizations of well-known positive linear operators based on -integers have been introduced and their approximation properties studied. Aral [4] and Aral and Gupta [5] proposed and studied some -analogue of Szász-Mirakjan operators [6], defined on positive real axis. Also Mahmudov [7] introduced -parametric Szász-Mirakjan operators and studied their convergence properties. Recently, approximation properties for King’s type -Bernstein-Kantorovich operators have been studied in [8].

Very recently, Mursaleen et al. applied -calculus in approximation theory and introduced the -analogue of Bernstein operators [9], -Bernstein-Stancu operators [10], and -Bernstein-Schurer operators [11] and investigated their approximation properties. Also Acar [12] has introduced parametric generalization of Szász-Mirakjan operators. In the present work, we define a Kantorovich variant of Szász-Mirakjan operators and establish the moments with the help of a recurrence relation that we have derived and then prove the basic convergence theorem. Next, the local approximation as well as weighted approximation properties of these new operators in terms of modulus of continuity are studied.

The -integer was introduced in order to generalize or unify several forms of -oscillator algebras well known in the earlier physics literature related to the representation theory of single parameter quantum algebras [13]. Let us recall certain notations of -calculus.

The -integers are defined by

The -facorial and -Binomial coefficients are defined by respectively. Further, the -binomial expansions are given as Let and be two nonnegative integers. Then the following assertion is valid: Also, the -derivative of a function , denoted by , is defined by provided that is differentiable at . The -derivative fulfills the following product rules: Moreover, We consider the -exponential functions in the following forms: which satisfy the equality . The definite integrals of the function are defined by

Details on -calculus can be found in [13, 14]. For , all the notions of -calculus are reduced to -calculus.

2. Operators and Estimation of Moments

Now we set the -Szász-Mirakjan basis function as For , , and , . We can easily check that For , the -Szász-Mirakjan operators are defined as

From the definition of the -Szász-Mirakjan operators we derive the following formulas.

Lemma 1. Let . One has (i);(ii);(iii);(iv);(v)  .

Now we propose our Kantorovich variant of -Szász-Mirakjan operators (12) as follows.

For , , and each positive integer , where is a nondecreasing function. We will derive the recurrence formula for and calculate for .

Lemma 2. For the operators , one has

Proof. Using the expansion , we have Using and also , we have Writing this in the definition of , we get Using recurrence formula (14), we may easily calculate for .

Lemma 3. One has

Proof. Obviously, with the help of Lemma 1, we can getUsing the linearity of the operators, we can have

Remark 4. For and , it is obvious that (i) when , , and (ii) when , . In order to reach convergence results of the operator , we take sequences and such that , . So we get that .
Thus the above remark provides an example that such a sequence can always be constructed. If we choose for , such that , it can be easily seen that , and , . Hence we guarantee that .

3. Direct Approximation Results

In this section we study Korovkin’s approximation property of the Kantorovich variant of -Szász operators.

Theorem 5. Let and . Then for each , for some depending on , where be endowed with the norm , the sequence of operators converges to uniformly on if and only if and .

Proof. First, we assume that and . Now, we have to show that converges to uniformly on .
From Lemma 3, we see that uniformly on as .
Therefore, the well-known property of the Korovkin theorem implies that converges to uniformly on provided .
We show the converse part by contradiction. Assume that and do not converge to 1. Then they must contain subsequences , , , and as , respectively.
Thus, and we getThis leads to a contradiction. Thus and as .

Theorem 6. Let , , and such that , as and let be the modulus of continuity on the finite interval , where . Then where , given by (19).

Proof. For and , since , we have For and , we have with .
From (27) and (28), we may writefor and . Thus, by applying Cauchy-Schwarz’s inequality, we have on choosing . This completes the proof of the theorem.

4. Local Approximation

In this section we establish local approximation theorem for the Kantorovich variant of -Szász operators. Let be the space of all real-valued continuous bounded functions on , endowed with the norm . Peetre’s -functional is defined bywhere . By [2, p.177, Theorem  2.4], there exists an absolute constant such thatwhere and the second-order modulus of smoothness is defined aswhere and .

Theorem 7. Let and . Then, for every , one haswhere is an absolute constant and

Proof. For , we consider the auxiliary operators defined by From Lemma 3, we observe that the operators are linear and reproduce the linear functions. Hence Let and . Using Taylor’s formula, Applying to both sides of the above equation and using (37), we have On the other hand, since we conclude that Now, taking into account boundedness of by (36), we have Using (41) and (42) in (36), we obtain Hence, taking the infimum on the right-hand side over all , we have the following result: In view of the property of -functional (32), we get This completes the proof of the theorem.

5. Weighted Approximation

Let . Throughout the section, we assume that and are sequences such that and , as .

Theorem 8. For each , one has

Proof. Using the Korovkin type theorem on weighted approximation in [15], we see that it is sufficient to verify the following three conditions: Since , (47) holds true for .
By Lemma 3, we have which implies that the condition in (47) holds for as .
Similarly we can writewhich implies that and equation (47) holds for . Thus the proof is completed.

We give the following theorem to approximate all functions in . These types of results are given in [16] for classical Szász operators.

Theorem 9. For each and , one has

Proof. Let be arbitrary but fixed. Then Since , we have .
Let be arbitrary. We can choose to be so large that In view of Theorem 5, we obtain Using Theorem 6, we can see that the first term of inequality (52) implies that Combining (53)–(55), we get that desired result.
For , the weighted modulus of continuity is defined as

Lemma 10 (see [17]). If , then(i) is monotone increasing function of ,(ii),(iii)for any , .

Theorem 11. If , then for sufficiently large one has where and , being

Proof. From the definition of and Lemma 10, we may write Then we obtain