A Note on New Construction of Meyer-König and Zeller Operators and Its Approximation Properties

: The topic of approximation with positive linear operators in contemporary functional analysis and theory of functions has emerged in the last century. One of these operators is Meyer–König and Zeller operators and in this study a generalization of Meyer–König and Zeller type operators based on a function τ by using two sequences of functions will be presented. The most signiﬁcant point is that the newly introduced operator preserves { 1, τ , τ 2 } instead of classical Korovkin test functions. Then asymptotic type formula, quantitative results, and local approximation properties of the introduced operators are given. Finally a numerical example performed by MATLAB is given to visualize the provided theoretical results.


Introduction and Preliminaries
Approximation theory is a significant tool especially for the solution of problems put forward in functional analysis theory. The problem of approximating continuous functions was first addressed by Weierstrass in 1885, ref. [1]. Weierstrass showed the existence of polynomials that converge properly to functions that are continuous in a closed interval [a, b]. This theorem was later proved by Bernstein in the interval [0, 1] with the help of polynomials named after him [2].
Bohman in 1952 and Korovkin in 1953, based on this theorem, proved an outstanding theorem regarding the uniform convergence of linear positive operators to continuous functions. It has been proven by this theorem that only three conditions should be investigated to achieve uniform convergence in the finite interval. Afterwards, new linear positive operators were defined by many researchers and their approximation properties were examined with the help of the Korovkin type theorem. Some of these operators are: Bernstein Chlodowsky operators, Szasz operators, Gadjiev Ibragimov operators, Meyer-König and Zeller operators, etc. For more details, see [3].
One of these operators is defined as Z m (u; 1) = u(1) by Meyer-König and Zeller in 1960 and is named as the Meyer-König and Zeller operator in the literature. A number of researchers have been interested in the n-th order moment of this operator, especially second-order moment. It is uncomplicated to determine for the function u ∈ C[0, 1] such that τ(x) is a continuous and infinite times differentiable function that holds (τ 1 ) τ(0) = 0, τ(1) = 1, and inf x∈[0,1] τ (x) > 0 for almost each x; (τ 2 ) τ is a continuously differentiable function on [0, 1].
Although the given Meyer-König and Zeller operators are useful, the use of the function τ(x) in three different locations in the definition has confined the use of the operators. Thus, in this paper, we aimed to obtain a more comprehensive and more specific new type Meyer-König and Zeller operator by replacing the (1 − τ(x)) m+1 (τ(x)) k term in the operator with α m (x)(β m (x)) k . By determining the functions α m (x) and β n (x), we will have obtained a more competitive Meyer-König and Zeller operator.
The body of the paper is composed of seven sections, including this section. The remaining of this paper is composed as follows: In Section 2, the new Meyer-König and Zeller type operators are formed with r m (x), s m (x) and τ(x) while the basic properties of the new definition are discussed in this section. In Section 3, Voronovskaya type theorems of these newly defined operators are given. Then, quantitative type theorem is given in Section 4 for classical modulus of continuity and second-order of modulus of continuity. In Section 5, we present local approximation properties of these operators, while some computational experiments are discussed in Section 6. In Section 7, we give some concluding remarks and advanced directions of the research.

Construction of Operators
Let u(·) be a continuous function on [0, 1]. Then, for arbitrary given 1] for any x ∈ [0, 1] and m ∈Ñ. In the circumstances, the new Meyer-König and Zeller operators are defined in the following form: where τ is a function fulfils the requirements (τ 1 ) and (τ 2 ). There are, of course, some assumptions that must be met in order for this new operator family to be an approximation procedure. Now let us express these assumptions and decide what the functions α n (x) and β n (x) are using these assumptions.
First of all, we assume that, for x ∈ [0, 1], which immediately yields for any m ∈Ñ and any x ∈ [0, 1]. Second of all, we impose that Z τ m maps τ to the same functions, that is to say, for thus we get, for any m ∈Ñ and any x ∈ [0, 1]. We can now provide r m (x) and s m (x) from (4) and (5), more precisely, we deduce that, Thus, by substituting r m (x) and s m (x) into (3), we have for any m ∈Ñ and any x ∈ [0, 1].
There are some conditions that the functions r m (x) and s m (x) must fulfil in order to obtain a weighted approximation process from this new operator family. On the other hand, the following inequalities must be hold to get weighted approximation processes, that is to say, |r m (x)| ≤ r m (x) such that lim m→∞ r m (x) = 0, and for x ∈ [0, 1]. In other words, the relations (8) and (9) and the functions r m (x) and s m (x) ensure that (Z τ m ) n≥m 0 is an approximation procedure on [0, 1] in terms of weighted Bohman-Korovkin theorem.
Some Particular Cases of Z τ m We know that this newly constructed Meyer-König and Zeller operator includes the same type of operators that exist in the literature. We can now demonstrate that this newly defined operator will be reduced to the operators that exist in the literature for the appropriate selection of r m (x), s m (x), and τ(x). 1.
In case of r m (x) = 0 and s m (x) = 0, the operators (7) turn out to be the operators given in (2) introduced in [21]; 3.
In case of r m (x) = 0, s m (x) = 0 and τ(x) = x p m where p m is a sequence of real numbers having the properties lim m→∞ p m = ∞, lim m→∞ p m m = 0, and 1 ≤ p m < p m+1 , the operators (7) turn out to be the operators given in [23], by where a is a parameter such that a ≥ 0 and p m is given above, the operators (7) turn out to be the operators given in [24], by , and τ(x) = x, the operators (7) turn out to be the operators given in [25], by In order to prove the fundamental approximation properties of the introduced operators, we need some basic results given in the following lemmas: For any x ∈ [0, 1], the operators introduced by (7) confirm the following identities, On the other hand, the value of Z m (u; x) for u(t) = t 2 has always been difficult to calculate since the Meyer-König and Zeller operator was defined. Even a number of mathematicians have only dealt with estimates of this value [5,8,9]. We now provide the Z τ m (τ 2 ; x).
Proof. Let fix an integer m ≥ 3 as well as a values x ∈ [0, 1]. We will use the operator given in (3) for convenience. Then we deduce, It follows that we can write on [0, 1] by using the above results. Then, by using the function α m (x) and β m (x) given in (6), we deduce the required relation.
On the other hand, let C[0, 1] be as usually the linear space of real-valued functions u, defined and continuous on [0, 1] and normed by the uniform norm We can now present the basic convergence theorem for the introduced Meyer-König and Zeller operators as follows.
Proof. According to the results of Lemmas 1 and 2, we deduce that Z τ Proof. By the definition of the introduced operator Z τ m and using Lemma 1, we deduced which completes the proof.
Now, let us define the following central moments of the newly defined Meyer-König and Zeller operators of degree n, that is to say, Then, with the aid of Lemmas 1 and 2 and using the linearity of the introduced operator, the central moments can be provided as follows: For any x ∈ [0, 1], the central moments of Z τ m can be given as follows, We left the proof of Lemma 3 to the reader as the above relations are readily deduced by direct calculation via binomial expansion.
Finally, in order to present local approximation properties that will be provided in the next sections, we require the following lemma.

Lemma 4.
For all x ∈ [0, 1] and m ∈ N, we obtain Proof. Using the definition of introduced operators, we may write that due the fact that m ≤ m + k, and m + k − 1 ≤ m + k, k ∈ {0, 1, 2, . . .}, Then, by using the results of Lemma 1, we obtain the desired result thus the proof is completed.

Transferring the Asymptotic Formula
We now provide a pointwise convergence of introduced Meyer-König and Zeller operators by deducing Voronovskaya type theorem. For this purpose, let take a real valued function τ defined on [0, 1] fulfils the requirements (τ 1 ) and (τ 2 ). It must be noted again that the function τ is both characterizes the newly defined operators and creates the Korovkin test function set which is {1, τ, τ 2 }. Now, we prove quantitative Voronovskaya theorem for the operators introduced by (7). we have Proof. In order to prove Theorem 3, we benefit from the well-known Taylor expansion. That is to say, by the Taylor expansion of u • τ −1 at the point τ(x), we have such that there exists a number λ lying between t and x. It is clear that, and ∇ x (t) is bounded such that |∇ x (t)| ≤ K, where K is a constant, due to the nature of function u and (11) for all t. We can now apply the introduced operator to this equation, so we deduce, Then, utilizing the Lemma 3, we deduce So we have, In order to finalize the proof of the theorem, we have to show that the last term of the above relations goes the zero in the limit case of m. For this purpose, we use the well-recognize Cauchy-Schwarz inequality, we deduce the following expression, that is to say, As a consequence, thus the proof is completed.

Corollary 1.
If we choose r m (x) = 0, s m (x) = 0 and τ(x) = x in Theorem 3, then we obtain Voronovskaya type theorem for the standard Meyer-König and Zeller operators given in [22], by In this section, we have stated and proved the Vonovskaya type theorem for the introduced operators. These results show that the presented operators give the classical Meyer-König and Zeller operators with some special selections of r m (x), s m (x), and τ(x).

Quantitative Results
In this section, the order of approximation given by the sequence of the introduced Meyer-König and Zeller operators is studied. The obtained relations are deduced as immediate results of some general theorems on the order of approximation through the instrumentality of a certain sequence of positive linear operators. First of all, we need to define the following functions spaced which are used in the next theorems.
On the other hand, for each δ > 0 and u ∈ C[0, 1], the standard modulus of continuity of order one, i.e., and the second-order modulus of continuity, i.e., We can now provide the main theorem of this section as follows.
where r m (x) is given in (8) and 1], and u ∈ C[0, 1]. According to theorem given in [26], one can readily deduce the following inequality, that is to say Then, with the help of the expression given in [27] such that K τ is a constant. At the same study, the existence of K τ was proved. Therefore, we obtain that where ψ τ m,2 (x) given in (10). As a consequence, the proof is completed taking into account the first moment of introduced Meyer-König and Zeller operators and relations (15) and (16).
Proof. Let δ ∈ (0, 1/2], x ∈ [0, 1] and u ∈ C[0, 1]. Thanks to the theorem given in [28], the following inequality is easily deduced, that is to say Utilizing from the well-known Cauchy-Schwarz inequality, we obtain that Similarly, by using the relations (17) and (18) and the moment values of the introduced operators, the proof is completed.

Local Approximation
In this section, we will present local approximation properties of the newly defined Meyer-König and Zeller operators. In order to present and prove the local approximation results let us review some fundamental definitions and facts. For each γ > 0 and the Peetre's K-functional [29] can be defined as follows In addition to these, there exists a positive constant T 1 > 0 independent of u and γ, such that K(u, γ) = T 1 (ω 2 (u; for all u ∈ C[0, 1] and x ∈ [0, 1], where the second order of modulus defined in (14). Additionally, the standard modulus of continuity defined in (13). Throughout the rest of the manuscript we presume that inf x∈[0,1] τ (x) ≥ p, p ∈ R + . Theorem 6. Let u ∈ C[0, 1]. Then, for every x ∈ [0, 1], there exists an absolute constant K which independent of u and m, such that Proof. First of all, we need to define a auxiliary operator for u ∈ C[0, 1] by Then, the well-known Taylor expansion of the function v ∈ W 2 , yields for t ∈ [0, 1] that By taking ξ = τ(y) in the last term of Equation (21), we deduce that which yields utilizing the result of [14], We can now apply the described operator Z τ m to both sides of the relation (21) and using (20) and (22), we deduce that

Illustrative Experiments
In this section, we presented two numerical examples in order to illustrate the convergence properties of the newly defined Meyer-König and Zeller operators. In accordance with this purpose, we chose two different functions and tested their convergence behaviour for different parameters of r m (x), s m (x), and τ(x). Algorithms of all these experiments coded using MATLAB R2019b (9.7.0.1190202, 64-bit).

Experiment 1
In the first experiment, we take the test function by In this experiment, we plot the test function, classical Meyer-König and Zeller operator and newly introduced operator which can be shown in Figure 1. According to this figure, the newly defined operator performed better in most parts of the defined range compared to the classical operator.

Experiment 2
In the second experiment, we take the test function by  All these experiments demonstrate that the newly introduced operators perform well with the properly selected parameters r m (x), s m (x), and τ(x).

Concluding Remarks
In this paper, we introduced a generalization of Meyer-König and Zeller operators which depends on a function τ(x) by using two sequences of functions, r m (x) and s m (x). By properly selected r m (x), s m (x), and τ(x), the existing Meyer-König and Zeller operators can be readily produced via introduced operators. In order that the new operator is an approximation procedure, we provide Voronovskaya type theorem, quantitative results and local approximation properties. At the end, we present a couple of numerical examples by using Matlab for different functions. As a future work, the newly introduced Meyer-König and Zeller operators can be applied to numerical solution of integral equations.

Conflicts of Interest:
The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.