- Research
- Open access
- Published:
Gamma operators reproducing exponential functions
Advances in Difference Equations volume 2020, Article number: 423 (2020)
Abstract
The present paper deals with reconstruction of Gamma operators preserving some exponential functions and studies their approximation properties: uniform convergence, rate of convergence, asymptotic formula and saturation. The effectiveness of new operators compared to classical ones is presented in certain senses as well. The last section is devoted to numerical results which compare the effectiveness of new constructions of Gamma operators.
1 Introduction and preliminaries
The increasingly rapid developments in the field of approximation theory have been seen for the past 70 years. A considerable amount of literature has been published to find the answer to the question of how to find the best convergence to a given function. These studies give a number of approaches to the construction of approximating functions. In the meantime, Korovkin and Bohman introduced one of the most significant theorems in approximation theory, known as Bohman–Korovkins’s approximation theorem in the literature, which presents a method to check whether a sequence of positive linear operators \((L_{n})_{n\geq 1}\) converges to the identity operator with regard to the uniform norm of the space \(C[a,b]\), that is, whether it represents or not an approximation process. This theorem provides insight into the studies on linear positive operators, and several new constructions of approximation operators have been introduced in the literature. One of these studies is due to King who provides new sequences of operators preserving the test functions \(e_{k}(x)=x^{k}\), \(k=0,2\), and their linear combinations, conditionally [17]. In other respects, Acar et al. [2] introduced a new family of linear positive operators, that reproduce the functions \(e^{2ax}\), \(a>0\), instead of the usual polynomials. Another modification of such a construction was also considered in [3]. Further modifications and their approximation results showed the effectiveness of operators preserving some exponential functions in certain senses, hence many researchers have focused on the introduction and investigation of exponential-type operators. Among others, we refer the readers to [4–10, 20] and the references therein.
On the other hand, Gamma operators, introduced by Lupas and Müller [18], are one of the most widely used groups in approximation theory and have been extensively used for finding a better approximation to the target function. The classical Gamma operators are defined by
In the literature, a number of approaches have appeared addressing to refine Gamma operators, which showed that new operators have similar approximation properties as their classical counterparts; see [1, 13, 15, 18, 19, 21] and the references therein. It is observed that the modified Gamma operators reproduce only constant and linear functions.
Motivated by the above-mentioned papers, the main aim of this paper is to provide a conceptual theoretical framework based on reconstruction of Gamma operators that reproduce the functions \(e^{k\omega x}\), \(\omega >0\), \(k=1,2\), instead of the usual polynomials, and we formulate a sufficient condition under which the new operators perform better than the classical ones.
The paper is organized as follows. In Sect. 2, the new construction of the Gamma operators is introduced, along with the preservation of the exponential test functions \(e^{k\omega x}\), \(\omega >0\), \(k=1,2\). In Sect. 3, the uniform convergence of the operators is investigated, while in Sect. 4 the rate of convergence is presented. Section 5 is devoted to weighted approximation and a Voronovskaya-type result, while comparisons, graphical and numerical examples are discussed in Sect. 6.
2 Reconstruction of gamma operators
A new construction of Gamma operators for the function \(f\in C ( \mathbb{R}^{+} ) \), such that the generalized integral is convergent, can be defined as
where
\(\omega >0\) and \(n\in \mathbb{N}\), such that the conditions
are satisfied for all \(x\in \mathbb{R}^{+}\) and all \(n\in \mathbb{N}\). Here we take attention of readers to the fact that the limit \(\gamma _{n} ( x ) \rightarrow x\) as \(n\rightarrow \infty \). The operators \(\varGamma _{n}^{\omega }\) are linear, positive, and preserve the constant functions in the limit.
We shall introduce the moments, including central, of the operators (2.1) which will be necessary to prove our main theorems.
Integrating by parts, we easily get
and by a similar consideration
Let us now evaluate the constant functions under the operators \(\varGamma _{n}^{\omega } ( \cdot;x ) \):
Thus, using the above expression, we immediately reach a corollary:
Corollary 1
Let \(\omega >0\), \(x\in \mathbb{R}^{+}\), \(n\in \mathbb{N}\). Then
where \(\gamma _{n} ( x ) \)is as in (2.2).
Lemma 1
Let \(\omega >0\), \(x\in \mathbb{R}^{+}\)and \(e_{i} ( x ) =x^{i}\), \(i\in \mathbb{N}\). Then
Besides, let us consider the central moment operator by \(m_{n}^{s} ( x ):=\varGamma _{n}^{\omega } ( ( t-x ) ^{s};x ) \), \(s\in \mathbb{N}\). Then we get
Proof
Let us first calculate \(e_{1} ( x ) \):
So, we get
Equalities (2.6) and (2.7) can be obtained as a result of (2.4) and (2.5). □
Remark 1
Here we note that
as \(n\rightarrow \infty \).
From Lemma 1, one can see that the operators \(\varGamma _{n}^{\omega } ( t;x ) \) and \(\varGamma _{n}^{\omega } ( t^{2};x ) \) do not reproduce the Korovkin test functions. However, Remark 1 shows that, based on the Bohman–Korovkin theorem, the values of the limits of the moments guarantee that \(\varGamma _{n}^{\omega } ( t;x ) \) and \(\varGamma _{n}^{\omega } ( t^{2};x ) \) are an approximation process on any compact \(K\subset \mathbb{R}^{+}\).
Now, let us consider the exponential functions under the proposed operators.
Lemma 2
Let \(f_{\lambda } ( t ):=e^{-\lambda t}\), \(t\in \mathbb{R}^{+}\), \(\lambda \in \mathbb{R}\). Then for all \(\lambda \in \mathbb{R}\), \(\omega >0\), \(x\in \mathbb{R}^{+}\),
holds.
Proof
Indeed, considering the definition of the operators \(\varGamma _{n}^{\omega }\), we immediately have
which holds for all \(\lambda \in \mathbb{R}\). Since \(\gamma _{n} ( x ) \rightarrow x\) as \(n\rightarrow \infty \), equality (2.8) yields
 □
3 Uniform convergence of \(( \varGamma _{n}^{ \omega } ) \)
To investigate the uniform convergence behavior of the sequences \(( \varGamma _{n}^{\omega } ) \), we shall use the following theorem due to Boyanov and Veselinov [11], in which spaces of functions,
are considered endowed with the uniform norm \(\Vert \cdot \Vert _{\infty }\).
Theorem 1
([11])
A sequence \(A_{n}:C_{\ast } [ 0,\infty ) \rightarrow C_{\ast } [ 0,\infty ) \)of positive linear operators satisfies the conditions
uniformly in \([ 0,\infty ) \)if and only if
uniformly in \([ 0,\infty ) \)for all \(f\in C_{\ast } [ 0,\infty ) \).
Let us show that \(( \varGamma _{n}^{\omega } ) \) is a sequence of positive linear operators acting on \(C_{\ast } ( \mathbb{R}^{+} ) \).
Proposition 1
The sequence \(( \varGamma _{n}^{\omega } ) \)is a sequence of positive linear operators acting on \(C_{\ast } [ 0,\infty ) \).
Proof
Let \(\omega >0\) be fixed, n be a natural number, \(u,x\in [ 0,\infty ) \), and
Then
Also \(\gamma _{n}^{{n+1}} ( x ) \) vanishes for \(x=0\). It has polynomial growth at infinity; \(u^{n}\) has the same property, too. Also, since \(\varGamma _{n}^{\omega } ( \mathbf{1};x ) \rightarrow 1\), \(\varGamma _{n}^{\omega } ( \mathbf{1};x ) < C_{1}\). When we consider both functions and \(e^{-\gamma _{n} ( x ) u}\), we can say that \(K ( x,u ) \) is bounded, i.e., there is \(C=C ( n,\omega ) \) such that \(K ( x,u ) \leq C\), \(u,x\geq 0\). Let \(f\in C [ 0,\infty ) \), \(f\neq \mathbf{0,}\)\(\lim_{x\rightarrow \infty }f ( x ) =0\). Fix \(\varepsilon >0\). Then there is \(M>0\) such that \(\vert f ( x ) \vert \leq \frac{\varepsilon }{2}\), \(\forall x\geq M\). Let \(a:=\frac{\varepsilon }{2C_{1} \Vert f \Vert _{\infty }}\) and \(x\geq ( \frac{nM}{a} ) ^{1/2}\). We have
and \(\frac{x^{2}u}{n}\geq \frac{x^{2}a}{n}\geq M\), hence \(\vert f ( \frac{x^{2}u}{n} ) \vert \leq \frac{\varepsilon }{2}\), \(\forall u\geq a\). Now,
that is, \(\vert \varGamma _{n}^{\omega } ( f;x ) \vert \leq \varepsilon \), \(\forall x\geq ( \frac{nM}{a} ) ^{1/2}\), i.e., \(\lim_{x\rightarrow \infty }\varGamma _{n}^{\omega } ( f;x ) =0\), hence \(\varGamma _{n}^{\omega } ( f ) \in C^{\ast } [ 0, \infty ) \), \(\varGamma _{n}^{\omega }:C^{\ast } [ 0,\infty ) \rightarrow C^{\ast } [ 0,\infty ) \). □
Theorem 2
Let \(\omega >0\). Then, the sequence of operators \(\varGamma _{n}^{\omega }:C_{\ast } ( \mathbb{R}^{+} ) \rightarrow C_{\ast } ( \mathbb{R}^{+} ) \)converges to \(f ( x ) \)as \(n\rightarrow \infty \)uniformly in \(\mathbb{R}^{+}\), for all \(f\in C_{\ast } ( \mathbb{R}^{+} ) \).
Proof
Due to Theorem 1, let us check \(\sup_{x\in \mathbb{R}^{+}} \vert \varGamma _{n}^{\omega } ( f_{\lambda } ( t );x ) -f_{\lambda } ( x ) \vert \) for \(\lambda =0,1,2\). Since \(\varGamma _{n}^{\omega } ( f_{0} ( t );x ) = \varGamma _{n}^{\omega } ( e_{0} ( t );x ) \), using equality (2.3), we have
Also, using Lemma 2, we can write the expansion
which is indeed \({\mathcal{O}}(n^{-1})\). Finally, we also get in a similar manner that
Here note that \(\sigma _{n}={\mathcal{O}}(n^{-1})\). Also note that the sequences \(( \beta _{n} ) \) and \(( \sigma _{n} ) \) tend to zero as \(n\rightarrow \infty \) uniformly in \(\mathbb{R}^{+}\), which establishes the desired result. □
4 Rate of convergence
An estimate with appropriate modulus of continuity for a sequence of operators satisfying the conditions of Theorem 1 was presented by Holhos [14]. The modulus of continuity \(\omega ^{\ast } ( f;\delta ) \) considered there is defined by
for \(\delta >0\) and \(f\in C_{\ast } [ 0,\infty ) \). The modulus of continuity satisfies
where \(\omega ( \cdot;\delta ) \) is the usual modulus of continuity and \(\varPhi:C_{\ast } [ 0,\infty ) \rightarrow C [ 0,1 ] \) is an isometric isomorphism given by
Hence, the above-mentioned quantitative result is given in [14] as:
Theorem 3
Let \(A_{n}:C_{\ast } [ 0,\infty ) \rightarrow C_{\ast } [ 0,\infty ) \)be a sequence of positive linear operators and set
Under the hypothesis that all sequences \(( \alpha _{n} ) \), \(( \beta _{n} ) \), \(( \sigma _{n} ) \)vanish at infinity, the following estimate holds: for every \(f\in C_{\ast } [ 0,\infty ) \),
As a consequence of Theorem 3, we have the following corollary.
Corollary 2
For \(f\in C_{\ast } ( \mathbb{R}^{+} ) \), the following inequality holds:
where \(( \alpha _{n} ) \), \(( \beta _{n} ) \), and \(( \sigma _{n} ) \)are as in the proof of Theorem 2.
Note that inequality (4.1) presents uniform convergence \(\varGamma _{n}^{\omega } ( f ) \rightarrow f\). Furthermore, since both \(( \beta _{n} ) \) and \(( \sigma _{n} ) \) are \({\mathcal{O}}(n^{-1})\), the rate of uniform convergence (4.1) is \(1/\sqrt{n}\).
5 Weighted approximation
Let \(\varphi ( x ) =1+e^{2\omega x}\), \(x\in \mathbb{R} ^{+},\omega >2\). Then we consider spaces of functions:
where \(M_{f}\) and \(k_{f}\) are constants depending only on f. The spaces of functions are also normed spaces with
Remark 2
Let \(f\in C_{\varphi } ( \mathbb{R} ^{+} ) \). Then the operators \(\varGamma _{n}^{\omega }\) satisfy
Here we note that the fundamental concepts of weighted approximation of a sequence of linear positive operators can be found in [12]. Our first result on weighted approximation of the sequence \(( \varGamma _{n}^{\omega } )\) is as follows.
Theorem 4
Let \(f\in C_{\varphi }^{k} ( \mathbb{R} ^{+} ) \). Then
holds.
Proof
According to the method presented in [12], assuming the conditions
is sufficient to prove the uniform convergence of the corresponding operators. Since \(\varGamma _{n}^{\omega } ( e^{\omega t};x ) =e^{\omega x}\) and \(\varGamma _{n}^{\omega } ( e^{2\omega t};x ) =e^{2\omega x}\), the condition follows immediately for \(k=1\) and \(k=2\). To complete the proof, it is enough to check that for \(k=0\),
which completes the proof. □
6 Pointwise convergence
Theorem 5
Let \(f\in C_{\varphi } (\mathbb{R}^{+} )\)be twice differentiable at any \(x\in \mathbb{R} ^{+}\)such that \(f^{\prime \prime }\)is continuous at \(x\in \mathbb{R} ^{+}\), then we have
Proof
By the Taylor’s formula, there exists ξ lying between x and t such that
where
which is a continuous function vanishing as \(t\rightarrow x\). When we apply the operators \(G_{n}^{\omega }\) to both sides of equality (6.2), we have
and
On the other hand, by Lemma 1, we get
We know from [3, p. 1402] that
Since \(m_{n}^{4} ( x ) =\mathcal{O} ( n^{-2} ) \), we conclude that
Hence we have the desired result. □
7 Comparisons
In this section, we compare the operators \(\varGamma _{n}^{\omega } ( f;x ) \) with classical Gamma operators. The consequences obtained in this part reveal that the newly introduced operators provide a better approximation.
Theorem 6
Let \(f\in C^{2} ( \mathbb{R} ^{+} ) \). Assume that there exists \(n_{0}\in \mathbb{N}\)such that
Then
Conversely, if inequality (7.2) holds at a given point \(x\in \mathbb{R} ^{+}\), then there exists \(n_{0}\in \mathbb{N}\)such that
Proof
Rempulska et al. [19] obtained Voronovskaya-type theorem for the operators \(G_{n} ( f;\cdot ) \) as \(2n ( G_{n} ( f;x ) -f ( x ) ) \rightarrow x^{2}f^{\prime \prime } ( x ) \).
By inequality (7.1), we have
Hence we get
which allows us to write
Thus, we immediately have inequality (7.2).
Conversely, if inequality (7.2) holds with strict inequalities for a given \(x\in \mathbb{R} ^{+}\), then directly
which directly implies inequality (7.1). □
8 Numerical and graphical examples
In this section, we present a series of numerical experiments highlighting the good performance of the proposed new construction of Gamma operators. All the implementations of these operators are performed in MATLAB.
Example 1
We shall now illustrate the convergence of the new Gamma operator based on its classical counterparts. The new construction of Gamma operator and its standard-version algorithm is applied to the test function \(f(x):[5,6]\rightarrow \mathbb{R}\), with
Here RMS Error for \(G_{n}(f;x)\) and RMS Error for \(\varGamma _{n}^{\omega } ( f;x ) \) are root-mean-square (L-norm) errors for \(G_{n}(f;x)\) and \(\varGamma _{n}^{\omega } ( f;x ) \), respectively. We consider the problem with a fixed dimension and investigate the error behavior for the different values of n and \(\omega =0.25\). We see in Table 1 that, as expected, the new construction of Gamma operators achieves better convergence when compared with classical Gamma operators with the same level n. The error is tested on a 1000 uniform grid.
In Fig. 1(a), we graph the results of standard Gamma operators, new construction of Gamma operators, and target function. Obviously, the proposed operator shows better convergence behavior than its classic counterparts to the target functions.
Figure 1(b) shows convergence plots for the proposed method for \(n=1,5,10,20\), and 40 with \(\omega =0.25\) for all levels. Clearly, the observed increase in convergence rate of approximations of the introduced operators could be attributed to increasing n as might be expected.
Example 2
Next, we consider another test function \(g(x):[1,6]\rightarrow \mathbb{R}\), given by
with \(\omega =0.3\). Similarly, Figur 2(a) has also confirmed that the introduced operators are generally superior to the standard Gamma operators in terms of convergence rate. On the other hand, Fig. 2(b), as expected, confirms that the bigger n gives better convergence.
9 Conclusions
The new construction of Gamma operators which preserve the functions \(e^{\omega t}\) and \(e^{2\omega t}\), \(\omega >0\) is proposed and tested. One of the most significant positive aspects of the newly proposed algorithm is that it can yield better approximation behavior in comparison to its standard counterparts for large classes of functions. Numerical experiments also suggest that the introduced technique provides better approximation accuracy. The findings of this research might have a number of important implications for future practice.
There is a direction for further research if we define the degenerate Gamma operators by using the definition of the degenerate Gamma function. Recently, the concept of the degenerate gamma function and degenerate Laplace transformation was introduced by Kim–Kim [16]. For each \(\lambda \in (0,\infty )\), the degenerate gamma function for the complex variable s with \(0<\operatorname{Re}(s)<1/\lambda \) as follows:
where \(\beta (x,y)\) is the Beta function. They studied some properties of the degenerate gamma and degenerate Laplace transformation and obtained their properties. The degenerate gamma and degenerate Laplace transformation can be included into engineer’s mathematical toolbox to solve linear ODEs and related initial value problems.
References
Abel, U., Ivan, M.: Asymptotic approximation of functions and their derivatives by Müller’s gamma operators. Results Math. 43, 1–12 (2003)
Acar, T., Aral, A., Gonska, H.: On Szász–Mirakyan operators preserving \(e^{2ax}\), \(a>0\). Mediterr. J. Math. 14(1), Article ID 6 (2017)
Acar, T., Aral, A., Morales, D.C., Garrancho, P.: Szász–Mirakyan-type operators which fix exponentials. Results Math. 72(3), 93–104 (2017)
Acar, T., Montano, M.C., Garrancho, P., Leonessa, V.: On Bernstein–Chlodovsky operators preserving \(e^{-2x}\). Bull. Belg. Math. Soc. Simon Stevin 26(5), 681–698 (2019)
Acar, T., Montano, M.C., Garrancho, P., Leonessa, V.: On sequences of J. P. King-type operators. J. Funct. Spaces 2019, Article ID 2329060 (2019)
Acar, T., Montano, M.C., Garrancho, P., Leonessa, V.: Voronovskaya-type results for Bernstein–Chlodovsky operators preserving \(e^{-2x}\). J. Math. Anal. Appl. 491(1), 124307 (2020)
Aral, A., Inoan, D., Raşa, I.: Approximation properties of Szász–Mirakyan operators preserving exponential functions. Positivity 23(1), 233–246 (2019)
Aral, A., Limmam, M.L., Ozsarac, F.: Approximation properties of Szász–Mirakyan–Kantorovich type operators. Math. Methods Appl. Sci. 42(16), 5233–5240 (2019)
Aral, A., Otrocol, D., Raşa, I.: On approximation by some Bernstein–Kantorovich exponential-type polynomials. Period. Math. Hung. 79, 236–254 (2019)
Bodur, M., Yilmaz, O.G., Aral, A.: Approximation by Baskakov–Szász–Stancu operators preserving exponential functions. Constr. Math. Anal. 1(1), 1–8 (2018)
Boyanov, B.D., Veselinov, V.M.: A note on the approximation of functions an infinite interval by linear positive operators. Bull. Math. Soc. Sci. Math. Roum. 14(62), 9–13 (1970)
Gadziev, A.D.: Theorems of the type of P. P. Korovkin’s theorems. Mat. Zametki 20(5), 781–786 (1976)
Gupta, V.: Convergence estimates for gamma operator. Bull. Malays. Math. Soc. 43(3), 2065–2075 (2020)
Holhos, A.: The rate of convergence of positive linear operators in weighted spaces. Autom. Comput. Appl. Math. 17(2), 239–246 (2008)
Karsli, H.: Rate of convergence of new gamma type operators for functions with derivatives of bounded variation. Math. Comput. Model. 45(5–6), 617–624 (2007)
Kim, T., Kim, D.S.: Degenerate Laplace transform and degenerate gamma function. Russ. J. Math. Phys. 24(2), 241–248 (2017)
King, J.P.: Positive linear operators which preserve \(x^{2}\). Acta Math. Hung. 99, 203–208 (2003)
Lupas, A., Müller, M.: Approximations Eigenschaften der Gamma Operatoren. Math. Z. 98, 208–226 (1967)
Rempulska, L., Skorupka, M.: Approximation properties of modified gamma operators. Integral Transforms Spec. Funct. 18(9), 653–662 (2007)
Yilmaz, O.G., Gupta, V., Aral, A.: On Baskakov operators preserving the exponential function. J. Numer. Anal. Approx. Theory 46(2), 150–161 (2017)
Zeng, X.M.: Approximation properties of gamma operators. J. Math. Anal. Appl. 311(2), 389–401 (2005)
Acknowledgements
The first and third authors have been partially supported within Selcuk University Unit of Scientific Investigations Projects, Graduate Thesis Project 19201105.
Availability of data and materials
NA.
Funding
NA.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All 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
Acar, T., Mursaleen, M. & Deveci, S.N. Gamma operators reproducing exponential functions. Adv Differ Equ 2020, 423 (2020). https://doi.org/10.1186/s13662-020-02880-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02880-x