Approximation properties of a new family of Gamma operators and their applications

The present paper introduces a new modification of Gamma operators that protects polynomials in the sense of the Bohman–Korovkin theorem. In order to examine their approximation behaviours, the approximation properties of the newly introduced operators such as Voronovskaya-type theorems, rate of convergence, weighted approximation, and pointwise estimates are presented. Finally, we present some numerical examples to verify that the newly constructed operators are an approximation procedure.


Introduction
Approximation theory is one of the key topics within the framework of mathematical analysis and have been studied by a number of mathematicians. The emergence of this theory dates back to the 19th century. Approximation theory has become increasingly important in the scientific community as it sheds light on scientific problems in many other fields such as engineering. One of the first studies of this topic was by the Russian mathematician P.L. Chebyshev in 1853. While Chebyshev was working on the process of transforming the linear motion of the steam machine into the circular motion of a wheel, and there was no prior study on the existence of the approximation with polynomials, he was looking for a m-degree polynomial that gave the best approximation to an arbitrary continuous function given in a closed interval. With this study of Chebyshev, the best-approximation problem, which has an important place in the theory of approximation, gained meaning. Then, the German mathematician K. Weierstrass made a huge improvement in this field, proving his own name-bearing Weierstrass approximation theory, in 1885. This theorem proved the existence of a sequence of polynomials {P m (x)} that converges uniformly in the interval [a, b] from the compact interval [a, b] to every uniformly continuous function. As the proof of the Weierstrass theorem is so long and complex, a number of mathematicians have dealt with the proof of this theorem in different ways to make it simpler and more understandable [16]. One of the most important proofs of the Weierstrass theorem was given by Bernstein [2] in 1912. Thus, the famous Bernstein operator, whose importance is increasing day-by-day, emerged. This was the first step in approximation with positive linear operators. In the following years, positive linear operators were widely used to approximate continuous functions within a closed interval. The Voronovskaya theorem was first introduced by Voronovskaya in 1932 [19] to prove this theorem for Bernstein polynomials, which became the focus of a number of scientific studies. The results obtained in this way later attracted the attention of a number of mathematicians and were used in the construction of different types of positive linear operators. Subsequently, the question arose as to what are the necessary conditions for the sequence {L n } to converge properly to a continuous function. In 1952, Bohman [4] and in 1953 Korovkin [8] found the answer to this question independently. Their theorems show that a positive linear operator sequence can converge to the identity operator under certain conditions. In addition to these, some new operators have been introduced in the literature that led to studies on positive linear operators. One of these, by King [7] in 2003, generalised the Bernstein operator to preserve the function e 2 (x) = x 2 . In this study, King investigated the approximation properties of modified operators and proved that generalised operators have an approximation at least as good as classical Bernstein operators. The interested reader can be referred for instance to [6,[11][12][13]15].
In the light of these developments, Lupaş and Müller [10] introduced the Gamma operator, which is one of the operators commonly used in approximation of unknown functions. In more detail, the general Gamma operator is introduced as follows: Then, other workers introduced various Gamma-type operators in the literature, [1,3,17,18,20]. The main purpose of this article is to present a new modification of Gammatype operators, and provide their approximation properties. Finally, we will show that the newly defined operators are successful with some numerical examples.
The rest of this manuscript is constructed as follows. In Sect. 2, the new modification of the Gamma operators is introduced, along with fixing the polynomials. In Sect. 3, the Voronovskaya-type theorem of the new version of Gamma operators is examined, while in Sect. 4 the weighted approximation is reviewed. The rates of convergence are given in Sect. 5, while pointwise estimates are given in Sect. 6. Illustrative examples are discussed in Sect. 7, and in Sect. 8, we conclude the paper.

A new family of Gamma operators
In this section, a new modification of the Gamma-type operators and their fundamental approximation properties will be introduced. Throughout the article, e k (y) = y k and ϕ x,k (y) = (yx) k x ∈ (0, ∞), k ∈ N will be used as polynomial functions. On the other hand, let C b (R + ) be the space of all real-valued uniformly continuous and bounded functions on R + endowed with the norm g = sup{|g| : x ∈ R + }.
The modified version of the classic Gamma operator that we are going to use is as follows: It is clear that the newly introduced modified operator is positive and linear. On the other hand, the following equalities are readily obtained: (1) T * n (e 0 (y), x) = e 0 (x), . As a result, we say that the newly introduced operators are an approximation procedure according to the Bohman-Korovkin theorem since the polynomials are preserved both in the limit case and directly. More generally, we present the following lemma without proof.
Lemma 1 Let x ∈ R + and k ∈ N. In the circumstances, we have the following equality that is valid for k ∈ Z + : Proof Using the definition of the newly introduced Gamma operators and the values obtained above, the following inequality is readily obtained.
which completes the proof. Now, we can present the central moments of the newly constructed operator that will be used in the main theorems of the paper as follows.
In the circumstances, we obtained the following equalities for central moments: .
for uniformly in each compact subsets of R + .
Proof With the aid of Lemma 1, one can easily obtain the following equality: for uniformly in each compact subset of R + for k = 0, 1, 2. Then, according to the result of the Bohmans-Korovkin theorem, we deduce the lim n→∞ T * n (g, x) = g(x) for uniformly in each compact subset of R + . This completes the proof of the theorem.

Transferring the asymptotic formula
One of the fundamental challenges in approximation theory is the calculation of the rate of convergence of positive linear operators to the test functions. For this purpose, we will present and prove the Voronovskaya-type theorem to determine the asymptotic behaviour of newly constructed operators utilising well-recognised Taylor expansion.
Theorem 2 Let g be bounded and integrable on the interval x ∈ R + , g and g exist at a fixed point x ∈ R + , in this circumstance the following limit holds: Proof First, starting with the well-recognised Taylor formula at y = x of function g, we readily deduce that such that ξ lying between, x and y and lim y→x ψ(y, x) = 0.
If we apply the new operator (T * n ) n≥1 to the inequality (3.1), we easily obtained that, Multiplying each side of the equation here by n will result in the following equality: If one states this expression in the limit case, we deduce that As a consequence of our previous calculations in Lemma 3, the following two expressions can be easily obtained: Then, the following is obtained when we replace the information we have obtained above: Finally, if we show, lim n→∞ nT * n ψ(y, x)ϕ x,2 (y), x , equals zero, we can conclude the proof. Hence, by applying the well-known Cauchy-Schwarz inequality, we obtain Then, with the help of the Korovkin theorem, we can deduce that, since ψ 2 (x, x) = 0 and ψ 2 (·, x) is continuous at y ∈ R + and bounded as y → ∞ and as T * n (ϕ x,4 (y), x) = O(n -2 ). As a result, by substituting (3.3) and (3.4) into (3.2), the proof is completed.

Weighted approximation
After the computation of asymptotic formulae of the introduced operator, we can now provide the Korovkin-type theorem for a weighted approximation. For this purpose, we benefit from the results presented by Gadjiev in [5].
Initially, set σ (x) = 1 + x 2 as a weight function that is continuous on R and the lim |x|→∞ σ (x) = ∞, σ (x) ≥ 1 for all x ∈ R + . Then, we shall denote by C(R + ) the set of all R + → R functions that are continuous. Then let us consider the following weighted spaces. For all x ∈ R + , the weighted space of real-valued functions g described on R with the property |g(x)| ≤ M g σ (x), where M g is a constant depending on the function f defined as These spaces are normed spaces with Since σ is a weight function, B σ (R + ) and C σ (R + ) spaces are called weighted spaces. Additionally, if we set that κ g is a constant dependent on the function g, we can define the following subspace: σ (x) = κ g exists and it is finite .
which is a subspace of space C σ (R + ). Now, we can provide the following lemma for the new operators.

Lemma 4
Let g ∈ C σ (R + ). Then, the following inequality holds for the modified operator T * n (g), which means that the sequence of the modified Gamma operators T * n (g) is an approximation process from C σ (R + ) to C σ (R + ).
Proof This lemma can be readily proven by using the definition of operators and the results of Lemma 3. Thus, the desired result has been obtained. Now, we can present and prove the main theorem of this section by following Gadjiev's technique for an unbounded interval.

Theorem 3
Let g ∈ C κ σ (R + ). Then, the following equality holds: for the modified Gamma operators.
Proof Utilising Gadjiev's [5] theorem, it suffices to demonstrate that lim n→∞ T * n (e k )e k σ = 0 holds for k = 0, 1, 2. It is clear that the equation for k = 0, which is T * n (e 0 (y)) = e 0 (x) is initially provided. Secondly, using the result of Lemma 3 for k = 1, we readily deduce that, If we take the limit of the above findings, one can readily express that lim n→∞ T * n (e 1 )e 1 σ = 0 as lim n→∞ | 1 n-1 | = 0. Finally, we need to find an upper bound of lim n→∞ T * n (e 2 ) -e 2 σ . For that, we have, is obtained in a similar way. In the limit case, we have the desired results, which concludes the proof.

Rate of convergence
In this section, we provide the convergence rate of the modified Gamma operator in terms of the modulus of continuity. Here, for the closed interval [0, x 0 ], x 0 ≥ 0, we denote the standard modulus of continuity of g by ω x 0 (g, δ) and it can be defined as follows: It is obvious that the modulus of continuity ω x 0 (g, δ) → 0 as δ → 0 for the function g ∈ C b [0, ∞). Let us show the corresponding rate of convergence theorem for the newly constructed Gamma operator (T * n ) n≥1 . Now, we can provide the main theorem of this section.
Proof Now, let g ∈ C b [0, ∞), 0 ≤ x ≤ x 0 and y > x 0 + 1. then, we can deduce that In the circumstances, the following inequality holds: for y ≤ x 0 + 1. As a consequences, from the above inequalities, we deduce that for 0 ≤ x ≤ x 0 and 0 ≤ y < ∞. Applying T * n and the Cauchy-Schwarz inequality to (5.1), we obtain (n-1)(n-2) x 2 0 , which completes the proof.

Pointwise estimates
In this section, let us examine some pointwise estimates of the rates of convergence of the newly defined Gamma operators. First, the local approximation and the relationship between the local smoothness of g are given. For that, let us describe the following. Let s ∈ (0, 1] and Q ⊂ [0, ∞). In the circumstances, a function g ∈ C b [0, ∞) can be said Lip M g (s) on Q if the following condition holds: where M g,s is fixed just depending on g and s.
In the circumstances, we have the following inequality: where M g,s is defined as above and d(x, Q) is the distance between x and Q described as Proof Let us describe the closure of the set Q as Q. Then, one can say that there exists at least one point y 0 ∈ Q such that Then, utilising the monotonicity properties of (T * n ) n≥1 , we deduce that In the circumstances, with the help of the Hölder inequality, we obtain the following result: which finalises the proof.
Let us now calculate the local direct estimate of the new modification of Gamma operators. For this purpose, we need to review the Lipschitz-type maximal function of order s given in [9], that is where s ∈ (0, 1] and x ∈ (0, ∞). Now, we can present and prove the theorem.
Proof Thanks to the definitions ofω s (g, x) given above and a well-recognised Hölder inequality, we deduce that, , thus, the desired result is obtained.
Finally, let us consider the following Lipschitz-type space with two parameters, α, β > 0, such that

Example 1
As a first example, we approximate the function g : [1, 2.5] → R such that g(x) = xe -4x , for n = 15. Figure 1 shows that the newly defined Gamma operators approximate better in comparison with the classical correspondence for this interval. Of course, it is not possible to say that the newly defined operator is better than the existing operator under all circumstances. However, as can be seen in the examples, the new operator performed better in these selected specific cases.

Example 2
As a second example, we consider the test function g : [1, 2.5] → R such that g(x) = cos(x)e -3x , for n = 15. Similarly, Fig. 2 demonstrates that the introduced modified Gamma operators approximate better in comparison with the standard correspondence for this interval.

Concluding remarks
In this manuscript, a new modification of Gamma operators has been introduced and the fundamental properties of them have been analysed. For this purpose, we benefitted from different type function spaces. Finally, we provide a couple of numerical experiments to show the approximation properties of the newly defined operator.