Abstract
The key goal of this article is to propose a modification of certain exponential type operators defined by Ismail and May. Particularly, we concentrate on a sequence of operators that preserve \(e^{-x}\) and constant functions. We find the moments of these modified operators using the concept of moment generating function with the help of Mathematica software. We show uniform convergence of these modified operators and analyze the asymptotic behaviour with a Voronovskaya type theorem. We also illustrate via graphs that our modified operators approximate better than the original operators for certain family of functions. Finally, we show the convergence of these modified operators graphically using Mathematica Software.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 2003, King [15] gained recognition for the modification of Bernstein operators which preserve test functions \(e_{0}\) and \(e_{2}\) on [0, 1]. Later King grabbed researchers attention in this direction and they put forward many relevant studies. Until now, many researchers have done outstanding research in this direction by defining operators which preserve \(e_{0}\) and \(e_{2},\) \(e_{2}+a e_{1}\) for \(a>0,\) linear functions, exponential functions, etc. Depending on the ultimate goal of this paper, we will keep this study small and focus on the preservation of exponential functions only. As far as we are aware, the study of preservation of exponential functions is in its early stages. Here we represent some most recent references which are relevant to this study.
In 2017, Acar et al. [2] presented a modification of Szász-Mirakyan operators that preserve \(e^{2ax}\), \(a>0\). They showed a comparison of modified operators with the Szász-Mirakyan operators and discussed shape preservation properties. They also estimated error in terms of first-order modulus of continuity using a natural transformation. Aral et al. [4] extended the study of these modified operators [2] and proved the usefulness of these operators from a computational point of view. Acar et al. [1] introduced Szász–Mirakyan operators that fixes \(e^{ax}\) and \(e^{2ax}\) with \(a>0\) simultaneously and defined a new weighted modulus of smoothness to establish the approximation order. Also they gave some saturation result to confirm the goodness of the estimates for modified operators. In past four years, using the same theory, many researchers have modified a lot of operators like Bernstein [3], Stancu type Szász–Mirakyan–Durrmeyer Operators [14], Baskakov–Szász–Mirakyan [9], Baskakov–Schurer–Szász–Stancu [19], Baskakov–Schurer–Szász [21], Phillips operators [10, 20]. Deo et al. [6, 7]) proposed sequence of operators using King’s approach which provides better rate of convergence than the Szász–Mirakyan Durrmeyer and Baskakov Durrmeyer operators. In 2018, Yilmaz et al. [22] modified Baskakov–Kantorovich operators and gave a sequence of operators which preserve \(e^{-x}\) and constant functions. The overall goal of this article is to propose the modification of the operators [13] preserving \(e^{-x}\) and constant functions.
We organise this article in the following manner. In Sect. 2, we discuss the technique to construct the operators. In Sect. 3, we find the moment and central moment of modified operators using the concept of mgf. In Sect. 4, we show uniform convergence and analyze the asymptotic behaviour with a Voronovskaya type theorem. In Sect. 5, we gave a result and supporting graphs to prove the goodness of modified operators. In Sect. 6, we show the convergence using graphical approach.
2 Construction of the Operators
May [17] has done excellent work by defining exponential operators \({\mathcal {L}}_{n}\) as
where \({\mathcal {W}}\) is the kernel which satisfies two conditions given as follows:
-
1.
\({{\mathcal {L}}_{n}}(1;x) = 1 \) normalisation condition.
-
2.
\(\frac{\partial }{{\partial x}}{\mathcal {W}}(n ,x,t) = \frac{(t - x)n }{{p(x)}}{\mathcal {W}}(n ,x,t)\), where p(x) is analytic and positive for \(x\in {(-\infty , \infty )}\).
This work was carried forward by Ismail and May [13]. They considered a couple of more exponential operators and investigated their convergence properties. Using above definition, they regained some familiar operators like Bernstein operators, Szász operators, etc. and constructed some new operators which were later studied in [11, 16, 18]. Among these new operators defined in [13], one operator is given as
where \(I_{1}\) is modified Bessel’s function of first kind defined as
Gupta [11] calculated the moments, central moments and obtain convergence estimate and some direct results for the operators given in 2.1.
In this article, our aim is to construct operators preserving \(e_{0}\) and \(e^{-x}\). We presume operators (2.1) preserve \(e^{-x}\), then
Taking into account \({{\mathcal {T}}_n}\left( {{e^{ - t}};x} \right) ={e^{ - x}}\), then we can find without hesitation
For \(x\in {\mathbb {R}}_{\ge }\) where \({\mathbb {R}}_{\ge }=[0,\infty ),\) We consider the following modified form of operators (2.1)
where \({\varrho _n}\left( x \right) \) is given as above.
3 Preliminaries
After simple calculations, the mgf of the operators (2.3) may be given as
Since the moments are related with the mgf, the m-th moment \({\mathcal {\ddot{T}}_n}\left( {{e_m};x} \right) ,{e_m}(t) = {t^m}\left( {m \in {\mathbb {N}} \cup \left\{ 0 \right\} } \right) \) may be obtained by the following relation:
Employing Mathematica, the expansion of above expression in powers of \(\phi \) may be given as:
Also, by change of scale property of mgf, if we expand \({e^{ - \phi t}}{\mathcal {\ddot{T}}_n}\left( {{e^{\phi t}};x} \right) \) in powers of \(\phi ,\) the central moment of m-th order \({\nu _m}\left( x \right) = {\mathcal {\ddot{T}}_n}\left( {{{\left( {t - x} \right) }^m};x} \right) \) can be obtained by collecting the coefficient of \(\frac{{{\phi ^m}}}{{m!}}\).
Lemma 3.1
Following the above argument, we can find the first four moments as follows:
Lemma 3.2
Using (3.3), we have the central moments of the modified operator (2.3) as:
Also,
and
4 Main Result
Let us represent the subspace of real-valued continuous functions having finite limit at infinity equipped with uniform norm by \({C^*}({\mathbb {R}}_{\ge }).\) Boyanov [5] gave approximation properties of a function in an infinite interval. Later, Holhoş [12] verified the next theorem to find the rate of convergence of a function quantitatively.
Theorem
Let \({{\mathcal {L}}_n}:{C^*}({\mathbb {R}}_{\ge }) \rightarrow {C^*}({\mathbb {R}}_{\ge })\) be the sequence of linear positive operators and
then
The modulus of continuity is defined as:
with the property
In next theorem we give quantitative estimate for proposed operators as an application of above-mentioned theorem.
Theorem 4.1
For \(f \in {C^ * }({\mathbb {R}}_{\ge }),\) we have
Here \({\mathcal {\ddot{T}}_{n}f}\) converges to f uniformly and \({\delta _n} \rightarrow 0\) as \(n \rightarrow \infty \)
Proof
The operators preserve \(e^{-x}\) as well as constant functions so \({\beta _n} = {\gamma _n} = 0.\) we only have to evaluate \({\delta _n}.\) From (3.2), we have
where
Using mathematica, we will get
Since
and
So we get
\(\square \)
Remark 4.1
Using Mathematica and Lemma 3.2, we have
and
Theorem 4.2
For \(x \in {\mathbb {R}}_{\ge },\) and \(f,f'' \in {C^ * }({\mathbb {R}}_{\ge })\) we have
Proof
By Taylor’s expansion we have
where
From Lemma 3.2 and applying \({\mathcal {\ddot{T}}_{n}}\) to both sides of the above expression, we have
Using Lemma 3.2
Taking \({a_n}\left( x \right) = n\left( {{\nu _1}\left( x \right) } \right) - \left( {{x^{3/2}}} \right) \) and \({b_n}\left( x \right) = \frac{1}{2}\left| {n\left( {{\nu _2}\left( x \right) } \right) - \left( {2{x^{3/2}}} \right) } \right| ,\) we get
For completion of the proof, we need to evaluate \(\left| {n\mathcal {\ddot{T}}_{n}\left( {\ddot{r}\left( {t,x} \right) {{\left( {t - x} \right) }^2};x} \right) } \right| .\) Applying inequality (4.1), we get
Two inequality \(\left| {\ddot{r}\left( {t,x} \right) } \right| \le 2{\omega ^ * }\left( {f'',\delta } \right) \) and \(\left| {\ddot{r}\left( {t,x} \right) } \right| \le \frac{{2{{\left( {{e^{ - t}} - {e^{ - x}}} \right) }^2}}}{{{\delta ^2}}}{\omega ^ * }\left( {f'',\delta } \right) \) holds for the case \(\left| {{e^{ - t}} - {e^{ - x}}} \right| \le \delta \) and \(\left| {{e^{ - t}} - {e^{ - x}}} \right| > \delta \) respectively.
Thus
Using above argument and Cauchy Schwarz inequality, we get
We complete the proof by choosing \(\delta = \frac{1}{{\sqrt{n} }}\) and \({c_n}\left( x \right) = {\left( {{n^2}{\nu _4}\left( x \right) } \right) ^{1/2}}{\left( {{n^2}{{\ddot{{\mathcal {T}}}}_n}\left( {{{\left( {{e^{ - t}} - {e^{ - x}}} \right) }^2};x} \right) } \right) ^{1/2}}.\) \(\square \)
Theorem 4.3
Let \(x\in {\mathbb {R}}_{\ge }\) and \(f,f'' \in {C^ * }({\mathbb {R}}_{\ge }).\) Then we have
Proof
By the Taylor’s expansion of f, we have
where
From Lemma 3.2 and applying \(\ddot{T}_{n}\) to (4.3), we get
Making use of Cauchy Schwarz inequality, we have
Also, we have
Thus we get
\(\square \)
Let us represent the class of bounded and uniform continuous functions on \({\mathbb {R}}_{\ge }\) equipped with sup norm by \(C_{B}({\mathbb {R}}_{\ge }).\) For a function \(g\in C_{B}({\mathbb {R}}_{\ge }),\) the first and second-order modulus of continuity is given by \({\omega _p}\left( {g,\delta } \right) = \mathop {\sup }\limits _{x \in {\mathbb {R}}_{\ge }} \mathop {\sup }\limits _{0 \le h \le \delta } \left| {\triangle _h^pg\left( x \right) } \right| \) for \(p=1\) and \(p=2\), respectively. Further, The Peetre’s K-functional and its relation with \({\omega _2}\left( {g,\delta } \right) \) for a function \(\hslash \in C_B^2({\mathbb {R}}_{\ge }) = \left\{ {\hslash \in {C_B}({\mathbb {R}}_{\ge }):\hslash ',\hslash '' \in {C_B}({\mathbb {R}}_{\ge })} \right\} \) is given as:
and
respectively.
Theorem 4.4
Let \(f\in C_{B}({\mathbb {R}}_{\ge }).\) Then, for all \(x\in {\mathbb {R}}_{\ge },\) there exists a positive constant \({\mathcal {M}}\) such that
Proof
We construct the auxiliary operators \({{\mathbb {T}}_n}:{C_B}({\mathbb {R}}_{\ge }) \rightarrow {C_B}({\mathbb {R}}_{\ge })\)
where \(\varrho _{n}(x)\) is given in 2.2. For the operators 2.3, we have
implies
Also the Taylor expansion for \(\hbar \in C_B^2({\mathbb {R}}_{\ge }) \) is given as
Applying Cauchy schwarz inequality and \({{\mathbb {T}}_n}\) to the both sides of above equation, we get
Using the estimates from Eqs. (4.6) and 4.7, we get
\(\square \)
5 Comparison with \(T_{n}\)
In the next theorem, using the asymptotic formulae satisfied by \({\mathcal {T}}_{n}\) and \(\mathcal {\ddot{T}}_{n}\), we show that for a particular class of functions the newly constructed operators \(\mathcal {\ddot{T}}_{n}\) approximate better than the original operator \({\mathcal {T}}_{n}.\)
Theorem 5.1
Let \(f\in C^{2}({\mathbb {R}}_{\ge }).\) Assume that there exist \(n_{0} \in {\mathbb {N}},\) such that
then
In particular \(f''\left( x \right) \ge 0.\)
Contrarily, if (5.2) holds with strict inequalities for a given \(x \in {\mathbb {R}}_{>},\) there exist \(n_{0} \in {\mathbb {N}},\) such that for \(n \ge {n_0}\)
Proof
From(5.1) we have
considering an asymptotic formula which is held by operators \({\mathcal {T}}_{n}\) defined in [11].
Now considering (4.2) and above equation, we get
Contrarily, if (5.2) holds with strict inequality for a given \(x \in {\mathbb {R}}_{>},\) then
This is the required result. \(\square \)
Example 5.1
This example is the graphical representation for the fact that for a function f which satisfies Eq. (5.2), the modified operators \(\mathcal {\ddot{T}}_{n}\) converges better than the original operators \({\mathcal {T}}_n.\) We can check that for the function \(f(x)=e^{-5x},\) (5.2) holds with strict inequalities. In the following Figure, we have drawn the graph of f (Gray), \(\mathcal {\ddot{T}}_{n}(f;x)\) (Green), \({\mathcal {T}}_n(f;x)\) (Orange) and in the following Table we have estimated the error for the operators \(\mathcal {\ddot{T}}_{n}(f;x)\) and \({\mathcal {T}}_n(f;x).\) One can easily see from Fig. 1 and Table 1 that \(\mathcal {\ddot{T}}_{n}\) converges better than \({\mathcal {T}}_n(f;x)\) for the class of functions which satisfies 5.2.
6 Convergence Graphs and Error Estimation Table
Example 6.1
For \(n= 10, 20, 100\) the approximation for the function \(f(x)=5{\mathop {\hbox {cos}}\nolimits } \left( x \right) - x{e^{\frac{x}{{20}}}}\) by the operators \(\mathcal {\ddot{T}}_{n}\left( {f;x} \right) \) is illustrated in Fig. 2. Further, in Table 2, we estimated the absolute error \(\ddot{E}_{n}= \left| \mathcal {\ddot{T}}_{n}\left( {f;x} \right) - f(x) \right| \) for different values of n and given the corresponding graph for error depicting the convergence in Fig. 3. It can be clearly seen from Figs. 2, 3 and from Table 2 that for larger values of n the proposed operator (2.3) converges to f(x).
References
Acar, T., Aral, A., Cárdenas-Morales, D., Garrancho, P.: Szász-Mirakyan type operators which fix exponentials. RM 72(3), 1393–1404 (2017)
Acar, T., Aral, A., Gonska, H.: On Szász–Mirakyan operators preserving \(e^{2ax}, a> 0\) . Mediterr. J. Math. 14(1), 1–14 (2017)
Aral, A., Cardenas–Morales, D., Garrancho, P.: Bernstein–type operators that reproduce exponential functions. J. Math. Inequalities 12(3), 861–872 (2018)
Aral, A., Inoan, D., Rasa, I.: Approximation properties of Szász-Mirakyan operators preserving exponential functions. Positivity 23(1), 233–246 (2019)
Boyanov, B.D., Veselinov, V.M.: A note on the approximation of functions in an infinite interval by linear positive operators. Bull. Math. Soc. Sci. Math. Roum. 14(62), 9–13 (1970)
Deo, N., Bhardwaj, N.: Some approximation results for Durrmeyer operators. Appl. Math. Comput. 217(12), 5531–5536 (2011)
Deo, N., Ozarslan, M.A., Bhardwaj, N.: Statistical convergence for general beta operators. Korean J. Math. 22(4), 671–681 (2014)
Gupta, V.: Convergence estimates of certain exponential type operators. In: Deo, N., Gupta, V., Acu, A., Agrawal, P. (eds.) Mathematical Analysis I: Approximation Theory. ICRAPAM: Springer Proceedings in Mathematics & Statistics, vol. 306. Springer, Singapore (2020)
Gupta, V., Acu, A.M.: On Baskakov-Szász-Mirakyan-type operators preserving exponential type functions. Positivity 22(3), 919–929 (2018)
Gupta, V., López-Moreno, A.J.: Phillips operators preserving arbitrary exponential functions, \(e^{at}, e^{bt}\). Filomat 32(14), 5071–5082 (2018)
Gupta, V.: Approximation with certain exponential operators, Revista de la Real Academia de Ciencias Exactas. Físicas y Naturales. Serie A. Matemáticas 114(2), 51 (2020)
Holhoş, A.: The rate of approximation of functions in an infinite interval by positive linear operators. Studia Universitatis Babeş-Bolyai Math 55(2), 133–142 (2010)
Ismail, M., May, C.P.: On a family of approximation operators. J. Math. Anal. Appl. 63, 446–462 (1978)
Kanat, K., Sofyalioglu, M.: On Stancu type Szász-Mirakyan-Durrmeyer operators preserving \( e^{2ax}, a>0\). Gazi Univ. J, Sci (2020). https://doi.org/10.35378/gujs.691419
King, J.P.: Positive linear operators which preserve \(x^{2}\). Acta Math. Hung. 99(3), 203–208 (2003)
Lipi, KM., Deo, N.: General family of exponential operators. Filomat 34(12), 4043–4061 (2020)
May, C.P.: Saturation and inverse theorems for combinations of a class of exponential-type operators. Can. J. Math. 28, 1224–1250 (1976)
Mishra, N.S., Deo, N.: Kantorovich variant of Ismail–May operators. Iran. J. Sci. Technol. Trans. A Sci. 44(3), 739–748 (2020)
Sofyalioğlu, M., Kanat, K.: Approximation properties of generalized Baskakov-Schurer-Szász-Stancu operators preserving \(e^{-2ax}, a>0\). J. Inequalities Appl. 112, 1–16 (2019)
Tachev, G.: On two modified Phillips operators. Studia Universitatis Babeş-Bolyai Math 64(3), 305–312 (2019)
Yilmaz, Ö.G., Bodur, M., Aral, A.: On approximation properties of Baskakov-Schurer-Szász operators preserving exponential functions. Filomat 32(15), 5433–5440 (2018)
Yilmaz, Ö.G., Gupta, V., Aral, A.: A note on Baskakov-Kantorovich type operators preserving \(e^{-x}\). Math. Methods Appl. Sci. (2018). https://doi.org/10.1002/mma.5337
Acknowledgements
We are grateful to the anonymous referees for valuable remarks, which helped in improving an earlier version of this paper. This work is supported by the Council of Scientific and Industrial Research (CSIR) with reference no.: 08/133(0029)/2019-EMR-I for the first author.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lipi, K., Deo, N. On Modification of Certain Exponential Type Operators Preserving Constant and \(e^{-x}\). Bull. Malays. Math. Sci. Soc. 44, 3269–3284 (2021). https://doi.org/10.1007/s40840-021-01100-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-021-01100-3