Abstract
In this paper, we study local approximation properties of certain gamma-type operators. They generalize the Post–Widder operators and the Rathore operators, and approximate locally integrable functions satisfying a certain growth condition on the infinite interval \([0,\infty )\). We derive the complete asymptotic expansion for these operators and prove a localization result. Also, we estimate the rate of convergence for functions of bounded variation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Post–Widder operator plays a crucial role in the inversion of the Laplace transform. Let \(f:\left[ 0,\infty \right) \rightarrow \mathbb {R}\) be locally integrable and let \(\mathcal {L} f\) denote its Laplace transform
If the integral converges for some \(s>0\), then the inversion formula
is valid, for all positive x in the Lebesgue set of f [18, Chapter 7, Theorem 6a]. The operator \(L_{n,x}\) is defined by the equation
for any real positive number x and any positive integer n [18, Chapter 7, Definition 6]. A simple calculation reveals that
[18, Page 288]. For the sake of approximation, the Post–Widder operator \(P_{n}\) is defined in the slightly different form
[2, Eq. (9.1.9)] (cf. [10, Eq. (3.5)]). The form (1.1) is an operator of exponential type and these operators preserve linear functions [8]. The connection is as follows. Fix \(x>0\). Define \(f^{\left[ x\right] }\left( t\right) =e^{-t/x}f\left( t\right) \). Then,
Hence, in each Lebesgue point of f we have
The Post–Widder operators \(P_{n}\) were intensively studied by several authors [3, 4, 9]. In recent years, several authors defined and studied variants of the Post–Widder operator which preserve several test functions [5,6,7, 13, 16].
In order to include the similar operator by Rathore [12] (see below), we study in this paper a more general gamma type operator depending on a positive parameter, which includes both, the Post–Widder operators and the Rathore operators as special cases.
Let E be the class of all locally integrable functions of exponential type on \(\left[ 0,+\infty \right) \) with the property \(\left| f\left( t\right) \right| \le Me^{At}\) \(\left( t\ge 0\right) \) for some finite constants M, \(A>0\). The gamma-type operators \(P_{n,c}\) (cf. [10, Eq. (3.3) ]) associate to each \(f\in E\) the function
where c is a positive parameter. We emphasize the fact that c may depend on the variable x. Note that the integral exists if \(nc>A\). The definition can be rewritten in the form
with the kernel function
In the special case \(c=1\) these operators reduce to the Rathore operators \(R_{n} \equiv P_{n,1}\), given by [10, Eq. (3.6)]
If we substitute \(c=1/x\), we obtain the Post–Widder operators (1.1).
In this paper we derive the complete asymptotic expansion for the sequence of operators \(P_{n,c}\) in the form
provided that f admits derivatives of sufficiently high order at \(x>0\). Formula ( 1.4) means that, for all \(q=0,1,2,\ldots \), there holds
where \(a_{0}\left( f,c,x\right) =f\left( x\right) \). The coefficients \(a_{k}\left( f,c,x\right) \), which are independent of n, will be given in an explicit form. It turns out that associated Stirling numbers of the first kind play an important role. As a special case we obtain the complete asymptotic expansion for the Rathore operators \(R_{n}\) and for the Post–Widder operators \(P_{n}\).
Secondly, we study the rate of convergence of the sequence \(\left( P_{n,c}f\right) \left( x\right) \) as \(n\rightarrow \infty \) for functions of bounded variation. More precisely, we present an estimate of the difference \(\left( P_{n,c}f\right) \left( x\right) -\left( f\left( x+\right) +f\left( x-\right) \right) /2\).
2 Main results
For \(q\in \mathbb {N}\) and \(x\in \left( 0,\infty \right) \), let \(K\left[ q;x \right] \) be the class of all functions \(f\in E\) which are q times differentiable at x. The following theorem presents as our main result the complete asymptotic expansion for the operators \(P_{n,c}\).
Theorem 2.1
Let \(q\in \mathbb {N}\) and \(x\in \left( 0,\infty \right) \). For each function \(f\in K\left[ 2q;x\right] \), the operators \(P_{n,c}\) possess the asymptotic expansion
as \( n\rightarrow \infty \), where \(s_{2}\left( j,i\right) \) denote the associated Stirling numbers of the first kind.
The associated Stirling numbers of the first kind can be defined by their double generating function
(see [1, page 295, Ex. *20]).
For \(q=4\), we obtain
as \(n\rightarrow \infty \). In particular, we obtain the Voronovskaja-type formula
for \(f\in K\left[ 2;x\right] \).
In the special case \(c=1\) we have the complete asymptotic expansion for the Rathore operators,
as \(n\rightarrow \infty \). In the special case \(c=1/x\) we have the complete asymptotic expansion for the Post–Widder operators
as \(n\rightarrow \infty \).
Our second main result is an estimate of the rate of convergence for functions \(f\in E\), which are of bounded variation (BV) on each finite subinterval of \(\left( 0,\infty \right) \).
Theorem 2.2
Let \(f\in E\) be a function of bounded variation on each finite subinterval of \((0,\infty )\). Then, for each \(x>0\), we have the estimate
as \(n\rightarrow \infty \), where \(\beta =\left( 1-\log 2\right) cx>0\) and the function \(f_{x}\) is defined as
For the proofs of Theorems 2.1 and 2.2 we need a localization result for the operators \(P_{n,c}\). Since it is interesting in itself we state it as a theorem.
Theorem 2.3
Let \(x\ge \delta >0\). If \(f\in E\) vanishes in a neighborhood \(\left( x-\delta ,x+\delta \right) \) of x, then it exists a positive constant \(\beta \) such that
The constant \(\beta \) can be chosen to be
Note that \(\delta >x\log \left( \left( x+\delta \right) /x\right) \) for \(x,\delta >0\).
3 Auxiliary results and proofs
Firstly, we study the moments of the operators \(P_{n,c}\). Throughout the paper, let \(e_{r}\) denote the monomials, given by \(e_{r}\left( x\right) =x^{r}\) \(\left( r=0,1,2,\ldots \right) \). Furthermore, define \(\psi _{x}=e_{1}-xe_{0}\), for \(x\in \mathbb {R}\). In the following, the quantities \( \left[ \begin{array}{c} m \\ j \end{array} \right] \) denote the unsigned Stirling numbers of the first kind defined by
where \(z^{\underline{0}}=1\), \(z^{\underline{m}}=z\left( z-1\right) \cdots \left( z-m+1\right) \), \(m\in \mathbb {N}\), are the falling factorials. Using \( (-z)^{\underline{m}}=(-1)^{m}(z+m-1)^{\underline{m}}\) we obtain the relations
We recall some known facts about Stirling numbers which will be useful in the sequel. The Stirling numbers of the first kind possess the representation
for \(0\le m\le r\), (see [1, page 226–227, Ex. 16]). The coefficients \(s_{2}\left( i,i-m\right) \), called associated Stirling numbers of the first kind, are independent of r.
Lemma 3.1
The moments of the operators \(P_{n,c}\) are given by
In particular, we have \(P_{n,c}e_{0}=e_{0}\), \(P_{n,c}e_{1}=e_{1}\) and
Proof
We have
Application of formula ( 3.1) yields
and the index transform \(j=r-k\) completes the proof. \(\square \)
Lemma 3.2
The central moments of the operators \(P_{n,c}\) are given by
\(\left( j=0,1,2,\ldots \right) \).
In particular, we have \(\left( P_{n,c}\psi _{x}^{0}\right) \left( x\right) =1 \), \(\left( P_{n,c}\psi _{x}^{1}\right) \left( x\right) =0\) and \(\left( P_{n,c}\psi _{x}^{2}\right) \left( x\right) =x/\left( nc\right) \).
Proof
Application of the binomial formula yields for the central moments
and an index shift \(r\rightarrow r+k\) yields the desired representation. \(\square \)
Lemma 3.3
For each \(x>0\) and \(j=0,1,2,\ldots \), the central moments of the operators \(P_{n,c}\) satisfy the relation \( \left( P_{n,c}\psi _{x}^{j}\right) \left( x\right) =O\left( n^{-\left\lfloor \left( j+1\right) /2\right\rfloor }\right) \) as \(n\rightarrow \infty \). More precisely, they have the representation
Proof
Taking advantage of the formula (3.2) we obtain
Note that \(\left( {\begin{array}{c}r+k\\ i+k\end{array}}\right) =0\), for \(i>r\). Using the binomial identity \(\left( {\begin{array}{c}j\\ r+k\end{array}}\right) \left( {\begin{array}{c}r+k\\ i+k\end{array}}\right) =\left( {\begin{array}{c}j\\ i+k\end{array}}\right) \left( {\begin{array}{c}j-i-k\\ r-i\end{array}}\right) \), for \(0\le i\le r\), we obtain
The inner sum is to be read as zero if \(i>j-k\). Since
we conclude that
which completes the proof. \(\square \)
In order to derive Theorem 2.1, a general approximation theorem due to Sikkema [14, Theorem 3] (see also [15]) will be applied. For \(j\in \mathbb {N}\) and \(x>0\), let \(H^{\left( j\right) }\left( x\right) \) denote the class of all locally bounded real functions \(f:\left[ 0,\infty \right) \rightarrow \mathbb {R}\), which are j times differentiable at x, and satisfy the additional condition \(f\left( t\right) =O\left( t^{-j}\right) \) as \(t\rightarrow +\infty \). An inspection of the proof of Sikkema’s result reveals that it can be stated in the following form which is more appropriate for our purposes.
Lemma 3.4
Let \(q\in \mathbb {N}\) and let \(\left( L_{n}\right) _{n\in \mathbb {N}}\) be a sequence of positive linear operators, \(L_{n}:H^{\left( 2q\right) }\left( x\right) \rightarrow C\left[ c,d\right] \), \(x\in \left[ c,d\right] \). Suppose that the operators \(L_{n}\) apply to \(\psi _{x}^{2q+1}\) and to \(\psi _{x}^{2q+2}\). Then the condition
implies, for each function \(f\in H^{\left( 2q\right) }\left( x\right) \), the asymptotic relation
In the application used in the proof of Theorem 2.1, we restrict \(H^{\left( j\right) }\left( x\right) \) to consist only of locally integrable functions. We proceed with the proof of the localization result (Theorem 2.3), which will be applied in the proofs of Theorems 2.1 and 2.2.
Proof of Theorem 2.3
Let \(f\in E\). From \(\left| f\left( t\right) \right| \le Me^{At}\) \(\left( t\ge 0\right) \) we obtain the estimate
say, where \(s=nc>0\) and
where
denote the lower and the upper incomplete gamma function, respectively. We use the well-known asymptotic behaviour of the incomplete gamma function for large parameters z and b. It holds
[17, Eq. (7.3.18)], as \(z,b\rightarrow \infty \) such that the ratio \(\lambda =b/z\) is bounded away from unity, i.e., \(\lambda \le \lambda _{0}<1\), where \(\lambda _{0}\) is a fixed number in \(\left( 0,1\right) \). In a similar kind it holds
[17, Eq. (7.4.43)], as \(z,b\rightarrow \infty \) such that the ratio \(\alpha =z/b\) is bounded away from unity, i.e., \(\alpha \le \alpha _{0}<1\). If \(\delta = x\) the integral \(I_1\) vanishes. Let us consider the case \(\delta <x\). Since
and \(1-\lambda =\delta /x+A\left( x-\delta \right) /\left( sx\right) \), Eq. (3.3) implies that
Application of Stirling’s formula,
leads to
Since
we conclude that \(M\frac{s^{sx}}{\Gamma \left( sx\right) }I_{1}=O\left( \exp \left( -\beta _{1}s\right) \right) \) as \(s\rightarrow \infty \), where \( \beta _{1}=-\delta -x\log \left( \frac{x-\delta }{x}\right) >0\). Now we turn to the estimate of \(I_{2}\). Since
and \(1-\alpha =\frac{\delta s-A\left( x+\delta \right) }{\left( s-A\right) \left( x+\delta \right) }\), Eq. (3.4) implies that
Application of Stirling’s formula leads to
Since
we conclude that \(M\frac{s^{sx}}{\Gamma \left( sx\right) }I_{2}=O\left( \exp \left( -\beta _{2}s\right) \right) \) as \(s\rightarrow \infty \), where \(\beta _{2}=\delta -x\log \left( \frac{x+\delta }{x}\right) >0\). Observe that \(\beta _{1}\ge \beta _{2}\) because \(\left( \frac{x-\delta }{x}\right) ^{x}e^{\delta }\le \left( \frac{x+\delta }{x}\right) ^{x}e^{-\delta }\). The latter inequality is equivalent to the obvious inequality \(2t\le \log \left( \frac{1+t}{1-t}\right) =2\left( t+t^{3}/3+t^{5}/5+t^{7}/7+\cdots \right) \), for \(t=\delta /x\in \left[ 0,1\right) \). Combining the above results we obtain the desired estimate with the constant \(\beta =\beta _{2}\). \(\square \)
Proof of Theorem 2.1
Let \(x>0\) and put \(U_{r}\left( x\right) =\left( x-r,x+r\right) \cap \left[ 0,+\infty \right) \), for \(r>0\). Let \(\delta >0\) be given. Suppose that \( f^{\left( 2q\right) }\left( x\right) \) exists. Choose a function \(\varphi \in C^{\infty }\left( \left[ 0,+\infty \right) \right) \) with \(\varphi \left( x\right) =1\) on \(U_{\delta }\left( x\right) \) and \(\varphi \left( x\right) =0\) on \(\left[ 0,+\infty \right) {\setminus } U_{2\delta }\left( x\right) \). Put \(\widetilde{f}=\varphi f\). Then we have \(\widetilde{f}\equiv f\) on \(U_{\delta }\left( x\right) \) which implies \(\widetilde{f}^{\left( j\right) }\left( x\right) =f^{\left( j\right) }\left( x\right) \), for \( j=0,\ldots ,2q\), and \(\widetilde{f}\equiv 0\) on \(\left[ 0,+\infty \right) {\setminus } U_{2\delta }\left( x\right) \). By the localization theorem (Theorem 2.3), \(\left( P_{n,c}\left( f-\widetilde{f}\right) \right) \left( x\right) \) decays exponentially fast as \(n\rightarrow \infty \). Consequently, \(\widetilde{f}\) and f possess the same asymptotic expansion of the form (1.4). Therefore, without loss of generality, we can assume that \(f\equiv 0\) on \(\left[ 0,+\infty \right) {\setminus } U_{2\delta }\left( x\right) \). By Lemma 3.3, we have \(\left( P_{n,c} \psi _{x}^{2j}\right) \left( x\right) =O\left( n^{-j}\right) \) as \(n\rightarrow \infty \). Under these conditions, Lemma 3.4 implies that
By Lemma 3.3, we obtain
Interchanging the order of summation, we obtain
as \(n\rightarrow \infty \). Taking into account that
this implies the desired expansion (1.4) with the associated Stirling numbers of the first kind \(s_{2}\left( i,j\right) \) as defined in Eq. (3.2). \(\square \)
Now we turn to the estimate of the rate of convergence for BV functions. For the proof of Theorem 2.2 we apply the following properties of the kernel function \(\phi _{n,c}\left( x,t\right) \) as defined in (1.3).
Lemma 3.5
The kernel function \(\phi _{n,c}\left( x,t\right) \) satisfies the following estimates:
and
Proof
Since \(x-t\ge x-y>0\), for \(0\le t\le y<x\), we have
The second estimate
is obtained in an analogous manner. \(\square \)
Lemma 3.6
For fixed \(x>0\),
Proof
With \(s=ncx\) we have
Following [11, Eq. 8.11.12], the (upper) incomplete gamma function satisfies the asymptotic relation
Together with Stirling’s formula
we obtain
as \(s\rightarrow +\infty \). Hence, for fixed \(x>0\),
\(\square \)
Proof of Theorem 2.2
Let \(x\in (0,\infty )\). We start with the estimate
Due to the fact that \(P_{n,c}\) preserve constant functions, we have
Thus, by Lemma 3.6, we have
Next we estimate \(\left( P_{n,c}f_{x}\right) \left( x\right) \) as follows:
Define
Integration by parts yields
Since \(\left| f_{x}\left( t\right) \right| \le v_{t}^{x}\left( f_{x}\right) \), we have
Applying Lemma 3.5, and in the next step integrating by parts, we get
Next for \(t\in \left[ x-x/\sqrt{n},x+x/\sqrt{n}\right] \) and by fact \( \int _{x-x/\sqrt{n}}^{x+x/\sqrt{n}}d_{t}\left( \eta _{n,c}\left( x,t\right) \right) \le 1\), we conclude that
Arguing analogously as in estimate of \(I_{1}\), we have
Since \(f_{x}\in E\), the localization result (Theorem 2.3) applied with \(\delta =x\) implies that \(I_{4}=O\left( \exp \left( -\beta c n\right) \right) \) as \(n\rightarrow \infty \) with the constant \(\beta =\left( 1-\log 2\right) x>0\). Collecting the estimates of \(I_{1},I_{2},I_{3},I_{4}\), we get the desired result. \(\square \)
References
Comtet, L.: Advanced Combinatorics. Reidel Publishing Comp, Dordrecht (1974)
Ditzian, Z., Totik, V.: Moduli of Smoothness. Springer Series in Computational Mathematics, vol. 9. Springer, New York (1987)
Draganov, B.R., Ivanov, K.G.: A characterization of weighted approximations by the Post–Widder and the Gamma operators. J. Approx. Theory 146, 3–27 (2007)
Draganov, B.R., Ivanov, K.G.: A characterization of weighted approximations by the Post–Widder and the Gamma operators. II. J. Approx. Theory 162, 1805–1851 (2010)
Gupta, V., Maheshwari, P.: Approximation with certain Post–Widder operators. Publ. Inst. Math. Nouv. Sér. 105(119), 131–136 (2019)
Gupta, V., Singh, V.K.: Modified Post–Widder operators preserving exponential functions. In: Singh, V.K., et al. (eds.) Advances in Mathematical Methods and High Performance Computing, Advances in Mechanics and Mathematics, vol. 41, pp. 181–192. Springer Nature, Cham (2019)
Gupta, V., Tachev, G.: Some results on Post–Widder operators preserving test function \(x^{r}\). Kragujev. J. Math. 46, 149–165 (2022)
Ismail, M., May, C.P.: On a family of approximation operators. J. Math. Anal. Appl. 63, 446–462 (1978)
Li, S., Wang, R.T.: The characterization of the derivatives for linear combinations of Post–Widder operators in \(L_{p}\). J. Approx. Theory 97, 240–253 (1999)
Miheşan, V.: Gamma approximating operators. Creative Math. Inf. 17(3), 466–472 (2008)
Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V., Cohl, H.S., McClain, M.A. eds.: NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.6 of 06-30 (2022)
Rathore, R.K.S.: Linear combinations of linear positive operators and generating relations on special functions. Ph.D. Thesis, Delhi (1973)
Siddiqui, Md.A., Agrawal, R.R.: A Voronovskaya type theorem on modified Post–Widder operators preserving \(x^{2}\). Kyungpook Math. J. 51, 87–91 (2011)
Sikkema, P.C.: On some linear positive operators. Indag. Math. 32, 327–337 (1970)
Sikkema, P.C.: On the asymptotic approximation with operators of Meyer–König and Zeller. Indag. Math. 32, 428–440 (1970)
Sofyalıoğlu, M., Kanat, K.: Approximation properties of the Post–Widder operators preserving \(e^{2ax}\), \(a>0\). Math. Methods Appl. Sci. 43, 4272–4285 (2020)
Temme, N.M.: Asymptotic Methods for Integrals. World Scientific, Hackensack (2015)
Widder, D.V.: The Laplace Transform. Princeton Mathematical Series. Princeton University Press, Princeton (1941)
Acknowledgements
The authors are very grateful to the anonymous referee for a thorough reading of the manuscript. The excellent advice led to a better exposition of the paper. Several valuable remarks helped to improve parts of the manuscript and to correct some typos. In particular, the referee provided the elegant estimate of the integral \(I_{4}\) in the proof of Theorem 2.2.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Sergey Tikhonov.
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. The rate of convergence of a generalization of Post–Widder operators and Rathore operators. Adv. Oper. Theory 8, 43 (2023). https://doi.org/10.1007/s43036-023-00272-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43036-023-00272-y
Keywords
- Gamma type operators
- Post–Widder operators
- Generalized Rathore operators
- Rate of convergence
- Functions of bounded variation
- Complete asymptotic expansion