 Research
 Open access
 Published:
Approximation properties of a new family of Gamma operators and their applications
Advances in Difference Equations volume 2021, Article number: 508 (2021)
Abstract
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 Voronovskayatype 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.
1 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 mdegree polynomial that gave the best approximation to an arbitrary continuous function given in a closed interval. With this study of Chebyshev, the bestapproximation 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 namebearing Weierstrass approximation theory, in 1885. This theorem proved the existence of a sequence of polynomials \(\lbrace P_{m}(x)\rbrace \) 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 daybyday, 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 \(\lbrace L_{n} \rbrace \) 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–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 Gammatype 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 Voronovskayatype 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.
2 A new family of Gamma operators
In this section, a new modification of the Gammatype operators and their fundamental approximation properties will be introduced. Throughout the article, \(e_{k}(y)=y^{k}\) and \(\varphi _{x,k}(y)=(yx)^{k}\) \(x \in (0,\infty )\), \(k \in \mathbb{N}\) will be used as polynomial functions. On the other hand, let \(C_{b}(\mathbb{R}^{+})\) be the space of all realvalued uniformly continuous and bounded functions on \(\mathbb{R}^{+} \) endowed with the norm \(\Vert g \Vert = \sup \lbrace \vert g \vert : x \in \mathbb{R}^{+} \rbrace \).
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)
\(\mathcal{T}^{*}_{n}(e_{0}(y),x)= e_{0}(x) \),

(2)
\(\mathcal{T}^{*}_{n}(e_{1}(y),x) = \frac{n}{n1}e_{1}(x) \),

(3)
\(\mathcal{T}^{*}_{n}(e_{2}(y),x)= \frac{n^{2}}{(n1)(n2)}e_{2}(x) \),

(4)
\(\mathcal{T}^{*}_{n}(e_{3}(y),x) = \frac{n^{3}}{(n1)(n2)(n3)}e_{3}(x)\),

(5)
\(\mathcal{T}^{*}_{n}(e_{4}(y),x) = \frac{n^{4}}{(n1)(n2)(n3)(n4)}e_{4}(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 \in \mathbb{R}^{+} \) and \(k \in \mathbb{N}\). In the circumstances, we have the following equality that is valid for \(k\in \mathbb{Z}^{+} \):
Lemma 2
Let \(g \in C_{b}(\mathbb{R}^{+})\). Then, we have
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.
Lemma 3
Let \(x \in \mathbb{R}^{+}\). In the circumstances, we obtained the following equalities for central moments:

(1)
\(\mathcal{T}^{*}_{n}(\varphi _{x,0}(y),x) =e_{0}(x) \),

(2)
\(\mathcal{T}^{*}_{n}(\varphi _{x,1}(y),x) = [\frac{1}{n1} ] e_{1}(x)\),

(3)
\(\mathcal{T}^{*}_{n}(\varphi _{x,2}(y),x) = [ \frac{n+2}{(n1)(n2)} ] e_{2}(x) \),

(4)
\(\mathcal{T}^{*}_{n}(\varphi _{x,3}(y),x) = [ \frac{7n+6}{(n1)(n2)(n3)} ]e_{3}(x)\),

(5)
\(\mathcal{T}^{*}_{n}(\varphi _{x,4}(y),x) = [ \frac{3n^{2}+46n+24}{(n1)(n2)(n3)(n4)} ]e_{4}(x) \).
Theorem 1
Let \(g \in C_{b}(\mathbb{R}^{+})\). Then, we have
for uniformly in each compact subsets of \(\mathbb{R}^{+}\).
Proof
With the aid of Lemma 1, one can easily obtain the following equality:
for uniformly in each compact subset of \(\mathbb{R}^{+}\) for \(k=0,1,2\). Then, according to the result of the Bohmans–Korovkin theorem, we deduce the \(\lim_{n \rightarrow \infty }\mathcal{T}^{*}_{n}(g,x)=g(x)\) for uniformly in each compact subset of \(\mathbb{R}^{+}\). This completes the proof of the theorem. □
3 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 Voronovskayatype theorem to determine the asymptotic behaviour of newly constructed operators utilising wellrecognised Taylor expansion.
Theorem 2
Let g be bounded and integrable on the interval \(x \in \mathbb{R}^{+} \), \(g'\) and \(g''\) exist at a fixed point \(x \in \mathbb{R}^{+}\), in this circumstance the following limit holds:
Proof
First, starting with the wellrecognised Taylor formula at \(y = x\) of function g, we readily deduce that
where
such that ξ lying between, x and y and
If we apply the new operator \((\mathcal{T}^{*}_{n})_{n\geq 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,
equals zero, we can conclude the proof. Hence, by applying the wellknown Cauchy–Schwarz inequality, we obtain
Then, with the help of the Korovkin theorem, we can deduce that,
since \(\psi ^{2}(x,x)=0\) and \(\psi ^{2}(\cdot,x)\) is continuous at \(y\in \mathbb{R}^{+}\) and bounded as \(y \rightarrow \infty \) and as \(\mathcal{T}^{*}_{n}(\varphi _{x,4}(y),x)= O (n^{2})\). As a result, by substituting (3.3) and (3.4) into (3.2), the proof is completed. □
4 Weighted approximation
After the computation of asymptotic formulae of the introduced operator, we can now provide the Korovkintype theorem for a weighted approximation. For this purpose, we benefit from the results presented by Gadjiev in [5].
Initially, set \(\sigma (x)=1+x^{2}\) as a weight function that is continuous on \(\mathbb{R}\) and the \(\lim_{\vert x \vert \rightarrow \infty }\sigma (x)=\infty \), \(\sigma (x)\geq 1\) for all \(x\in \mathbb{R}^{+}\). Then, we shall denote by \(C(\mathbb{R}^{+})\) the set of all \(\mathbb{R}^{+} \rightarrow \mathbb{R}\) functions that are continuous. Then let us consider the following weighted spaces. For all \(x\in \mathbb{R}^{+} \), the weighted space of realvalued functions g described on \(\mathbb{R} \) with the property \(\vert g(x) \vert \leq M_{g} \sigma (x)\), where \(M_{g} \) is a constant depending on the function f defined as
and
These spaces are normed spaces with
Since σ is a weight function, \(B_{\sigma }(\mathbb{R}^{+})\) and \(C_{\sigma }(\mathbb{R}^{+})\) spaces are called weighted spaces. Additionally, if we set that \(\kappa _{g}\) is a constant dependent on the function g, we can define the following subspace:
which is a subspace of space \(C_{\sigma }(\mathbb{R}^{+})\). Now, we can provide the following lemma for the new operators.
Lemma 4
Let \(g \in C_{\sigma }(\mathbb{R}^{+})\). Then, the following inequality holds
for the modified operator \(\mathcal{T}^{*}_{n}(g)\), which means that the sequence of the modified Gamma operators \(\mathcal{T}^{*}_{n}(g)\) is an approximation process from \(C_{\sigma }(\mathbb{R}^{+})\) to \(C_{\sigma }(\mathbb{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 \in C_{\sigma }^{\kappa }(\mathbb{R}^{+})\). Then, the following equality holds:
for the modified Gamma operators.
Proof
Utilising Gadjiev’s [5] theorem, it suffices to demonstrate that \(\lim_{n \rightarrow \infty } \Vert \mathcal{T}^{*}_{n}(e_{k})  e_{k} \Vert _{\sigma } = 0\) holds for \(k=0,1,2\). It is clear that the equation for \(k=0\), which is \(\mathcal{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 \rightarrow \infty } \Vert \mathcal{T}^{*}_{n}(e_{1})  e_{1} \Vert _{\sigma } = 0\) as \(\lim_{n \rightarrow \infty } \vert \frac{1}{n1} \vert = 0\). Finally, we need to find an upper bound of \(\lim_{n \rightarrow \infty } \Vert \mathcal{T}^{*}_{n}(e_{2})  e_{2} \Vert _{\sigma } \). For that, we have,
is obtained in a similar way. In the limit case, we have the desired results, which concludes the proof. □
5 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}\geq 0 \), we denote the standard modulus of continuity of g by \(\omega _{x_{0}}(g,\delta ) \) and it can be defined as follows:
It is obvious that the modulus of continuity \(\omega _{x_{0}}(g,\delta ) \rightarrow 0\) as \(\delta \rightarrow 0\) for the function \(g \in C_{b} [0, \infty )\). Let us show the corresponding rate of convergence theorem for the newly constructed Gamma operator \((\mathcal{T}^{*}_{n})_{n\geq 1}\). Now, we can provide the main theorem of this section.
Theorem 4
Let \(\omega _{x_{0}+1}(g,\delta )\) be the modulus of continuity on the finite interval \([0,x_{0}+1] \subset [0,\infty )\) for \(x_{0} > 0\) and \(g \in C_{b}[0, \infty )\). In the circumstances, the following inequality holds:
where \(M_{g}\) is fixed just depending on g.
Proof
Now, let \(g \in C_{b}[0, \infty )\), \(0 \leq x \leq x_{0}\) and \(y > x_{0}+1\). then, we can deduce that
for \(yx > 1\). Then, again let \(g \in C_{b}[0, \infty )\), \(0 \leq x \leq x_{0}\). In the circumstances, the following inequality holds:
for \(y \leq x_{0}+1\). As a consequences, from the above inequalities, we deduce that
for \(0\leq x \leq x_{0}\) and \(0\leq y<\infty \). Applying \(\mathcal{T}^{*}_{n}\) and the Cauchy–Schwarz inequality to (5.1), we obtain
by choosing \(\delta = \sqrt{\frac{n+2}{(n1)(n2)}x_{0}^{2}}\), which completes the proof. □
6 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\in (0,1] \) and \(Q\subset [0,\infty ) \). In the circumstances, a function \(g\in C_{b}[0,\infty ) \) can be said \(\operatorname{Lip}_{M_{g}}(s) \) on Q if the following condition holds:
where \(M_{g,s}\) is fixed just depending on g and s.
Theorem 5
Let \(g \in C_{b}[0,\infty )\cap \operatorname{Lip}_{Mg}(s)\) such that \(s \in (0,1]\) and \(Q \subset [0,\infty )\) given as above. 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} \in \overline{Q}\) such that
Then, utilising the monotonicity properties of \((\mathcal{T}^{*}_{n})_{n \geq 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 Lipschitztype maximal function of order s given in [9], that is
where \(s \in (0,1] \) and \(x \in (0,\infty )\). Now, we can present and prove the theorem.
Theorem 6
Let \(g \in C_{b}[0,\infty )\) and \(s \in (0,1]\), then the following inequality holds:
for \(x \in (0,\infty )\).
Proof
Thanks to the definitions of \(\tilde{\omega }_{s}(g,x)\) given above and a wellrecognised Hölder inequality, we deduce that,
thus, the desired result is obtained. □
Finally, let us consider the following Lipschitztype space with two parameters, \(\alpha , \beta > 0\), such that
introduced in [14], where \(s \in (0,1] \) and M is a positive constant.
Theorem 7
Let us consider \(g \in \operatorname{Lip}_{M}^{\alpha ,\beta }(s)\) and \(x \in (0,\infty )\). Then we have
where \(\alpha , \beta > 0\).
Proof
The proof of this inequality is shown in two steps. First, we take \(s=1\), that is,
\(g \in \operatorname{Lip}_{M}^{\alpha ,\beta }(1) \) and \(x \in (0,\infty )\). Here, applying the Cauchy–Schwarz inequality, we deduce that,
which confirms the proof of the theorem for \(s=1\). Then, let us consider \(s \in (0,1)\). For \(g \in \operatorname{Lip}_{M}^{\alpha ,\beta }(s)\) and \(x \in (0,\infty )\) we obtain that
With the help of Hölder inequalities, we obtain the following inequality:
Finally, applying the Cauchy–Schwarz inequality, we have,
which completes the proof. □
7 Numerical examples
As applications, we give some numerical examples to verify the approximation properties of the newly defined Gamma operators in one dimension. In our examples, we compare new modifications of the Gamma operators with its classical correspondence. All of the calculations are performed on an Intel Core i7 personal laptop by running a code implemented by MATLAB 9.7.0.114230202 (R2019b) software. In order to clarify the accuracy and efficiency of the modified Gamma operators, the values of approximations are compared with the values of a test function by plotting them on the same figures.
7.1 Example 1
As a first example, we approximate the function \(g:[1,2.5]\rightarrow \mathbb{R} \) such that
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.
7.2 Example 2
As a second example, we consider the test function \(g:[1,2.5]\rightarrow \mathbb{R} \) such that
for \(n=15 \). Similarly, Fig. 2 demonstrates that the introduced modified Gamma operators approximate better in comparison with the standard correspondence for this interval.
8 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.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study
References
Artee: Approximation by modified Gamma type operators. Int. J. Adv. Appl. Math. Mech. 5(4), 12–19 (2018)
Bernstein, S.: Demo istration du theoreme de Weierstrass fondee sur le calcul des probabilites. Comm. Kharkov Math. Soc. 13(1), 1–2 (1912)
Betus, Ö., Usta, F.: Approximation of functions by a new types of Gamma operator. Numer. Methods Partial Differ. Equ. (2020). https://doi.org/10.1002/num.22660
Bohman, H.: On approximation of continuous and of analytic functions. Ark. Mat. 2(1), 43–56 (1952)
Gadjiev, A.D.: Theorems of the type of PP Korovkin’s theorems. Mat. Zametki 20(5), 781–786 (1976)
Kadak, U., Mohiuddine, S.A.: Generalized statistically almost convergence based on the difference operator which includes the \((p,q) \)gamma function and related approximation theorems. Results Math. 73, 9 (2018)
King, J.: Positive linear operators which preserve \(x^{2}\). Acta Math. Hung. 99(3), 203–208 (2003)
Korovkin, P.P.: On convergence of linear positive operators in the space of continuous functions. Dokl. Akad. Nauk SSSR 90(953), 961–964 (1953)
Lenze, B.: On Lipschitztype maximal functions and their smoothness spaces. Indag. Math. 91(1), 53–63 (1988)
Lupas, A., Muller, M.: Approximation seigenschaften der Gamma operatoren. Math. Z. 98(3), 208–226 (1967)
Mohiuddine, S.A.: Approximation by bivariate generalized Bernstein–Schurer operators and associated GBS operators. Adv. Differ. Equ. 2020, 676 (2020)
Mohiuddine, S.A., Ahmad, N., Ozger, F., Alotaibi, A., Hazarika, B.: Approximation by the parametric generalization of Baskakov–Kantorovich operators linking with Stancu operators. Iran. J. Sci. Technol. Trans. A, Sci. 45, 593–605 (2021)
Mohiuddine, S.A., Özger, F.: Approximation of functions by Stancu variant of Bernstein–Kantorovich operators based on shape parameter α. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 70 (2020)
Özarslan, M.A., Aktuglu, H.: Local approximation properties for certain King type operators. Filomat 27(1), 173–181 (2013)
Özger, F., Srivastava, H.M., Mohiuddine, S.A.: Approximation of functions by a new class of generalized Bernstein–Schurer operators. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 173 (2020)
Pinkus, A.: Weierstrass and approximation theory. J. Approx. Theory 107(1), 1–66 (2000)
Rempulska, L., Skorupka, M.: Approximation properties of modified Gamma operator. Integral Transforms Spec. Funct. 18(9), 653–662 (2007)
Usta, F., Betus, Ö.: A new modification of Gamma operator with a better error estimation. Linear Multilinear Algebra, 1–12 (2020). https://doi.org/10.1080/03081087.2020.1791033
Voronovskaya, E.: Determination de la forme asymptotique d’approximation des fonctions par les polynômes de M. Bernstein. C. R. Acad. Sci. URSS 79, 79–85 (1932)
Zeng, X.M.: Approximation properties of Gamma operators. J. Math. Anal. Appl. 311(2), 389–401 (2005)
Acknowledgements
The authors would like to thank the editor and the referees for their valuable comments and suggestions that improved the quality of our paper. The authors also extend their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through research groups program under Grant number R.G.P. 2/172/42.
Funding
No funding sources need to be declared.
Author information
Authors and Affiliations
Contributions
All the authors contributed equally to the writing of this paper. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Özçelik, R., Kara, E.E., Usta, F. et al. Approximation properties of a new family of Gamma operators and their applications. Adv Differ Equ 2021, 508 (2021). https://doi.org/10.1186/s13662021036665
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021036665