Abstract
In the year 1978, Ismail and May studied operators of exponential type and proposed some new operators which are connected with a certain characteristic function \(p\left( x\right) \). Several of these operators were not separately studied by researchers due to its unusual behavior. The topic of the present paper is the local rate of approximation of a sequence of exponential type operators \(R_{n}\) belonging to \(p\left( x\right) =x\left( 1+x\right) ^{2}\). As the main result we derive a complete asymptotic expansion for the sequence \(\left( R_{n}f\right) \left( x\right) \) as n tends to infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(C_{\gamma }\left[ 0,\infty \right) \) be the class of continuous functions f on \(\left[ 0,\infty \right) \) satisfying the growth condition \({f}\left( t\right) =O\left( e^{\gamma t}\right) \) as \( t\rightarrow \infty \), for some \(\gamma >0\).
In 1978, Ismail and May [10] studied operators of exponential type. Among some new operators they defined, for \(f\in C_{\gamma }\left[ 0,\infty \right) \), the positive linear operators
[10, Eq. (3.14)], where
The corresponding fundamental functions satisfy the differential equation
where \(p\left( x\right) =x\left( 1+x\right) ^{2}\). Therefore, \(R_{n}\) as defined in (1) are named operators of exponential type.
The other operators due to Ismail and May [10] were studied by Totik [18], Sato [15], Ismail [11], Pop and Fărcaş [14], Altomare and Raşa [2], Gupta [7], Gupta and Rassias [9] and several others.
Using the notation
the operators (1) can be written in the concise form
with the parameters \(\beta =\dfrac{x}{1+x}\) and \(\alpha =n\beta \). By using Lagrange inversion, Jain [12, Lemma 1] showed that, for \( 0<\alpha <+\infty \) and \(\left| \beta \right| <1\),
As a consequence of (3) the operators (1) preserve constant functions. As we shall see below, the operators (1) preserve linear functions. For a different proof of (3) see [19]. Note that this is a probability distribution which is called generalized Poisson distribution. It has been considered by Consul and Jain [5, 4] and several other authors.
The operators (1) are connected in a certain sense with a previous definition. In 1972 Jain [12] introduced the sequence of linear operators defined, for functions \({f\in C}\left[ 0,+\infty \right) \), by
whenever the sum in (4) is convergent. It is easy to see that, for \(\beta =0\), definition (4) reduces to the classical Szász–Mirakyan operators \(S_{n}\) [13, 17], defined by
If \(e_{r}\) \(\left( r=0,1,2,\ldots \right) \) denote the monomials defined by \( e_{r}\left( x\right) =x^{r}\) the first moments are given by
[12, Eqs. (2.12)–(2.14)]. Formulas for \(P_{n}^{\left[ \beta \right] }e_{r}\) \(\left( r=3,4\right) \) can be found in [6, Lemma 2.1]. It is obvious that a necessary condition for convergence of the operators (4) as \(n\rightarrow \infty \) is that the parameter \(\beta \) in (4) depends on n such that \(\beta =\beta _{n}\rightarrow 0\) as \(n\rightarrow \infty \). Jain [12, Theorem 2.1] claimed that if \({f\in C}\left[ 0,+\infty \right) \) and \(\beta _{n}\rightarrow 0\) as \(n\rightarrow \infty \) then the sequence \(\left( \left( P_{n}^{\left[ \beta \right] }f\right) \left( x\right) \right) _{n=1}^{\infty }\) converges uniformly to \(f\left( x\right) \) on each compact subset of \(\left[ 0,+\infty \right) \). His proof is based on Korovkin’s theorem and does not consider any condition on the growth rate of the function f as \(x\rightarrow +\infty \). For more details, see [1].
Both operators (1) and (4) are principally different, because in the second definition \(\beta \) tends to zero as \(n\rightarrow \infty \). For \(\beta = \beta \left( x \right) \) independent of n we have to develop a new approach.
In this paper, we study the local rate of convergence of the operators \( R_{n} \) as n tends to infinity. Our main result is a pointwise complete asymptotic expansion of the form
for f sufficiently smooth. The latter formula means that, for all positive integers q, there holds
The coefficients \(a_{k}\left( f,x\right) \), which are independent of n, are explicitly determined in terms of Stirling numbers of the second kind.
Most of the above mentioned papers are based on the direct computation of the first moments of the Jain operators. A more systematic and deeper treatment seems to be desirable. In this note, we study the asymptotic behaviour of the sequence \(\left( \left( R_{n}f\right) \left( x\right) \right) _{n=1}^{\infty }\) as n tends to infinity. In particular, by a result derived by using methods of complex analysis developed in [1], we give explicit expressions for the coefficients \(a_{k}\left( f,x\right) \). In 2016, Abel and Agratini [1] presented the complete asymptotic expansion of the sequence \(\left( \left( P_{n}^{\left[ \beta _{n}\right] }f\right) \left( x\right) \right) _{n=1}^{\infty }\) as n tends to infinity.
In this paper, we apply concise expressions for the moments derived in [1] by using methods of complex analysis.
2 Main results
In what follows we put, for \(\left| \beta \right| <1\),
The function g can be defined on \({\mathbb {C}}\) by analytic continuation. Hence, it is an entire function having the power-series expansion
Throughout the paper we put
The main result is a complete asymptotic expansion for the sequence of the Ismail–May operators \(\left( R_{n}f\right) \left( x\right) \) as n tends to infinity. The coefficients are explicitly determined in terms of Stirling numbers of the second kind. To this end we introduce some notations. Let \(z^{ {\underline{k}}}\) denote the falling factorial, defined by \(z^{{\underline{k}} }=z\left( z-1\right) \cdots \left( z-k+1\right) \), for \(k\in {\mathbb {N}}\), and \(z^{{\underline{0}}}=1\). Furthermore, we use the rising factorial defined by \(z^{{\overline{k}}}=z\left( z+1\right) \cdots \left( z+k-1\right) \), for \( k\in {\mathbb {N}}\), and \(z^{{\overline{0}}}=1\). The Stirling numbers of the second kind are denoted by \(\sigma \left( r,\ell \right) \). Recall that they can be defined by the relation
In particular, we have \(\sigma \left( r,\ell \right) =0\), if \(\ell >r\). In addition, one defines \(\sigma \left( 0,0\right) =1\) and \(\sigma \left( r,0\right) =0\), for \(r\in {\mathbb {N}}\).
Theorem 1
Let \(q\in {\mathbb {N}}\) and \(x>0\). For each function \( f\in C_{\gamma }\left( 0,\infty \right) \) having a derivative of order 2q at x, the Ismail–May operators (1) possess the complete asymptotic expansion
where the coefficients \(a_{k}\left( f,x\right) \) are given by
with
More explicitly, we have
as \(n\rightarrow \infty \). As an immediate consequence, we obtain the following Voronovskaja-type result.
Corollary 1
Let \(x>0\) and \(\gamma >0\). If the function \( f\in C_{\gamma }\left( 0,\infty \right) \) has a second order derivative at x, then
We emphasize the fact that operators \(L_{n}\) of exponential type in general satisfy such a Voronovskaja-type formula. Ismail and May [10, Proposition 2.9] proved that under certain conditions
provided that the operator \(L_{n}\) is associated to the function \(p\left( x\right) \) via a partial differential equation of type (2). Corollary 1 reflects the fact that the Ismail–May operator \(R_{n}\) is associated to the polynomial \(p\left( x\right) =x\left( 1+x\right) ^{2}\).
3 Auxiliary results
Because g is an entire function with \({g}\left( 0\right) =1-\beta \ne 0\), we have \({c}_{\ell ,0}\left( \beta \right) =\left( 1-\beta \right) ^{-\ell }\) . For \(j\ge 1\), application of the chain rule yields
where \(Q_{j,i}\) are certain polynomials which are independent of \(\ell \).
Lemma 1
Let \(\alpha \in {\mathbb {R}}\) and \(\left| \beta \right| <1\). Then the series
converges for \(\left| z\right| <e^{\beta -1}/\beta \).
Note that \(e^{\beta -1}/\beta >1\), for \(0<\beta <1\).
Proof
Since
the ratio test implies the convergence of the series \(\sum \limits _{\nu =0}^{\infty }\omega _{\beta }\left( \nu ,\alpha \right) z^{\nu }\) if \( \left| \beta e^{1-\beta }z\right| <1\). \(\square \)
In [1], the following formula was proved.
Lemma 2
Let \(0<\alpha <+\infty \), \(\beta \in \left[ 0,1\right) \) and \(\ell \in {\mathbb {N}}\). Then
Lemma 3
The moments of the Ismail–May operators (1) have the representation
where \(\sigma \left( r,r-\ell \right) \) denote the Stirling numbers of the second kind and \({c}_{\ell ,j}\left( \beta \right) \) is as defined in (6).
In particular, we have \(R_{n}e_{1}=e_{1}\). Consequently, the Ismail–May operators preserve linear functions. Furthermore,
(cf. [8, Lemma 1]).
Proof of Lemma 3
For \(r=0\), the assertion is a direct consequence of (3). Now let \(r\ge 1\). Using relation (7), i.e.,
we obtain
and, by Lemma 2, the desired formula follows after a short calculation. \(\square \)
For each positive real number x define the function \(\psi _{x}\) by \(\psi _{x}\left( t\right) =t-x\). We study the central moments \(\left( R_{n}\psi _{x}^{s}\right) \left( x\right) \) \(\left( s=0,1,2,\ldots \right) \).
Lemma 4
The central moments of the operators (1) have the representation
Proof of Lemma 4
For \(s=0\), the assertion is a direct consequence of Lemma 3 . Now let \(s\ge 1\). By application of the binomial formula, we obtain
Extracting the terms which are independent of n (i.e., the case \(k=0\)), we see that the constant term
vanishes, where we used that \({c}_{r,0}\left( \beta \right) =\lim _{z\rightarrow 0}{g}^{-r}\left( z\right) =\left( 1-\beta \right) ^{-r}\) (see Eq. (6)). This is the desired formula. \(\square \)
As was recently proved by Gupta and Agrawal [8, Lemma 1], the central moments \(\left( R_{n}\psi _{x}^{s}\right) \left( x\right) \) of the operators (1) decay with order \(O\left( n^{-\left\lfloor \left( s+1\right) /2\right\rfloor }\right) \) as \(n\rightarrow \infty \). We give an independent proof of this fact.
Lemma 5
The central moments of the operators (1) satisfy
Proof
The assertation is trivial for \(s=0\). Now let \(s\ge 1\). By Lemma 4, we have the representation
where
We have to show that \(M_{s,k,\ell }\left( x\right) =0\), if \(2\le 2k<s\), for \(\ell =0,\ldots ,k\). First we consider the case \(\ell =0\). Because \(\sigma \left( r,r\right) =1\), we have
Noting that \(k\ge 1\), we have, by (10),
Hence,
The inner sum is equal to
where \(P_{k-1}\) is a certain polynomial of degree at most \(k-1\). The latter sum vanishes if \(k-1<s-k-1\) or equivalently, if \(2k<s\). Now we turn to the case \(\ell \ge 1\). We take advantage of the representation [3, pp. 226–227] of the Stirling numbers of the second kind
in terms of the associated Stirling numbers of the second kind \(\sigma _{2}\left( \mu ,\nu \right) \) (see [3, Pages 221–222]). Therefore,
Note that
where \(P_{\alpha ,k,\ell }\) is a certain polynomial of degree at most \( \alpha -1\) (whose coefficients may depend on \(\alpha ,k,\ell \)). By (10), we have
Finally, we obtain
Making use of the binomial identity \(\left( {\begin{array}{c}s\\ r\end{array}}\right) \genfrac(){0.0pt}0{r}{k+1}=\left( {\begin{array}{c}s\\ k+1\end{array}}\right) \left( {\begin{array}{c}s-k-1\\ r-k-1\end{array}}\right) \) shows that the inner sum is equal to
if \(k-1<s-k-1\), because \(P_{\alpha ,k,\ell }\left( r+k+1\right) \left( r+k+1-\ell \right) ^{{\overline{i}}}\) is a polynomial in the variable r of degree at most \(\alpha -1+i\le \ell -1+k-\ell =k-1\). Hence, \(M_{s,k,\ell }\left( x\right) =0\) if \(2k<s\). This completes the proof. \(\square \)
Proposition 1
(Localization theorem) Let \(\gamma ,\delta >0\) and fix \(x>0\). If \(f\in C_{\gamma }\left[ 0,\infty \right) \) vanishes on the interval \(\left( x-\delta ,x+\delta \right) \cap \left( 0,\infty \right) \) then
for arbitrary large \(m>0\).
Proof
Let \(m\in {\mathbb {N}}\). For a certain positive constant C, we have
Application of the Schwarz inequality yields
The first root is finite, by Lemma 1, if n is sufficiently large. The second root is equal to
by Lemma 5. This completes the proof. \(\square \)
To derive the complete asymptotic expansion for the operators (1), we use a general approximation theorem for positive linear operators. It is a modification of a result due to Sikkema [16, Theorem 1].
Lemma 6
Let \(q\in {\mathbb {N}}\) be even and fix \(x>0\). Furthermore, let \(L_{n}:C\left( 0,\infty \right) \rightarrow C\left( 0,\infty \right) \) be a sequence of positive linear operators which are applicable to polynomials. Suppose that
Then, for each bounded function f on \(\left( 0,\infty \right) \), possessing a derivative of order q at x, there holds
Furthermore, if \(f^{\left( q+2\right) }\left( x\right) \) exists, the term \( o\left( n^{-q}\right) \) in Eq. (12) can be replaced by \(O\left( n^{-\left( q+1\right) }\right) \).
Proof of Theorem 1
Fix \(x>0\). In view of the localization property (Prop. 1) we can assume that the function f is bounded on \( \left( 0,\infty \right) \). By Lemma 4, Lemma 5 and Lemma 6 we obtain
as \(n\rightarrow \infty \), where \(A_{k,s}\left( x\right) \) are certain functions independent of n and f. \(\square \)
Data Availability Statement
The authors declare that the data supporting the findings of this study are available within the article.
References
Abel, U., Agratini, O.: Asymptotic behaviour of Jain operators. Numer. Algorithms 71, 553–565 (2016)
Altomare, F., Raşa, I.: On a class of exponential-type operators and their limit semigroups. J. Approx. Theory 135, 258–275 (2005)
Comtet, L.: Advanced Combinatorics. Reidel Publishing Comp, Dordrecht (1974)
Consul, P.C., Jain, G.C.: A generalization of the Poisson distribution. Technometrics 15, 791–799 (1973)
Consul, P.C., Jain, G.C.: On some interesting properties of the generalized Poisson distribution. Biometr. Z. 15, 495–500 (1973)
Farcaş, A.: An asymptotic formula for Jain’s operators. Stud. Univ. Babȩs-Bolyai Math. 57, 511–517 (2012)
Gupta, V.: Convergence estimates of certain exponential type operators. In: Deo et al. (eds.), Mathematical Analysis: Approximation Theory. Springer Proceedings in Mathematics & Statistics 306, pp. 47–55 (2020)
Gupta, V., Agrawal, G.: Approximation for link Ismail–May operators. Ann. Funct. Anal. 11, 728–747 (2020). https://doi.org/10.1007/s43034-019-00051-y
Gupta, V., Rassias, M.T.: Moments of Linear Positive Operators and Approximation. Springer Briefs in Mathematics. Springer, Basel (2019)
Ismail, M., May, C.P.: On a family of approximation operators. J. Math. Anal. Appl. 63, 446–462 (1978)
Ismail, M.: Polynomials of binomial type and approximation theory. J. Approx. Theory 23, 177–186 (1978)
Jain, G.C.: Approximation of functions by a new class of linear operators. J. Aust. Math. Soc. 13, 271–276 (1972)
Mirakyan, G.: Approximation des fonctions continues au moyen de polynômes de la forme \(e^{-nx} \sum _{k=0}^{m_{n}}C_{k, n}x^{k}\). Dokl. Akad. Nauk. SSSR 31, 201–205 (1941)
Pop, O.T., Fărcaş, M.D.: About a class of linear positive operators. Gener. Math. 16, 59–72 (2008)
Sato, K.: Global approximation theorems for some exponential-type operators. J. Approx. Theory 32, 32–46 (1981)
Sikkema, P.C.: On some linear positive operators. Indag. Math. 32, 327–337 (1970)
Szász, O.: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Nat. Bur. Standards 45, 239–245 (1950)
Totik, V.: Uniform approximation by exponential-type operators. J. Math. Anal. Appl. 132, 238–246 (1988)
Tuenter, H.J.H.: On the generalized Poisson distribution. Stat. Neerl. 54, 374–376 (2000)
Acknowledgements
The authors are grateful to the anonymous referee for valuable suggestions leading to a better exposition of the manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Abel, U., Gupta, V. A complete asymptotic expansion for operators of exponential type with \(p\left( x\right) =x\left( 1+x\right) ^{2}\). Positivity 25, 1013–1025 (2021). https://doi.org/10.1007/s11117-020-00802-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-020-00802-5