Approximation of Real Functions by a Generalization of Ismail–May Operator

: In this paper, we generalize a sequence of positive linear operators introduced by Ismail and May and we study some of their approximation properties for different classes of continuous functions. First, we estimate the error of approximation in terms of the usual modulus of continuity and the second-order modulus of Ditzian and Totik. Then, we characterize the bounded functions that can be approximated uniformly by these new operators. In the last section, we obtain the most important results of the paper. We give the complete asymptotic expansion for the operators and we deduce a Voronovskaya-type theorem, results that hold true for smooth functions with exponential growth. expansion; Voronovskaya-type theorem MSC:


Introduction
In 1912, Bernstein [1] constructed the following sequence of positive linear operators B n ( f )(x) = n ∑ k=0 n k x k (1 − x) n−k f k n , n ∈ N, x ∈ [0, 1] to give a proof that every continuous function f ∈ C[0, 1] can be uniformly approximated by a sequence of polynomial functions. Many papers were devoted to the study of the properties of these operators. In 1932, Voronovskaya [2] obtained the speed of convergence of Bernstein operators to the identity operator. For every function f which is twice differentiable on [0, 1] and for every x ∈ [0, 1], we have In 1935, Popoviciu [3] estimated the error of approximation of Bernstein operators in terms of the usual modulus of continuity defined by 1], |t − x| ≤ δ } for every f ∈ C[0, 1] and δ ≥ 0. Later, other moduli of smoothness were constructed, in order to obtain characterizations of the functions for which we have a certain error of approximation.
For α > 0 and β ≥ 0, let us denote by R α,β the operator defined for a real function f ∈ C[0, ∞) by the equality where ω β (k, α, z) = α(α+βk) k−1 k! z k e −(α+βk)z for every nonnegative integer k and real number z. Here, we assume that the function f ∈ C[0, ∞) is such that the series on the right side of the equality (1) converges. In this article, we will obtain results for the operator R α,β similar to the results presented above for Bernstein operators.
In Section 2, we will present some basic approximation properties needed in the rest of the article. We include an evaluation of the error of the approximation in terms of the usual modulus of continuity.
In Section 3, we study the uniform approximation properties of R α,β , including an estimate of the rate of approximation in terms of the second-order modulus of Ditzian and Totik. We also obtain a characterization of the bounded functions which can be uniformly approximated by R α,β . To our knowledge, these kinds of results have not been obtained for the particular operators of Ismail and May and the operators of Jain. We must mention that Totik [6,7] solved the problem of uniform approximation for the classical exponential-type operators. The operators R α,β are of exponential type, but a direct application of Totik's results is not possible in our case (see the first paragraph of Section 3).
In the last section, we provide a pointwise complete asymptotic expansion for the newly introduced operators (1). Similar results were obtained in [8] for the Jain operators and functions with polynomial growth. We remark that our asymptotic results are valid for functions with exponential growth, as in the case of the operators of Ismail and May presented in [9]. However, our study presents, in addition to the previous articles, two aspects: first, an explicit computation of the images of exponential functions using the Lambert function (see Theorem 3), and second, a direct and detailed proof of the asymptotic result, which, in the previous papers, was based on a result of Sikkema [10] for functions with polynomial growth. As a corollary to our main result, we deduce a Voronovskayatype theorem.
To compute the first moment, we use another formula of Jensen [11] e αz which is valid under the same conditions as (2) and which can be deduced from it by applying the derivative with respect to z. Using (3) and (2), we obtain for β > 0 The last equality gives us the reason for the choice of z.
For a given x ≥ 0, let us denote by ψ x the function defined on [0, ∞) by ψ x (t) = t − x. Let us consider the central moments of order k of the operators R α,β : Based on Lemma 1, we have µ 0 (x) = 1, µ 1 (x) = 0 for every x ≥ 0. For a simple method to obtain the second central moment, we need the following lemma.

Lemma 2.
The operators R α,β satisfy the following differential equation Proof. We omit it, since it is trivial.

Remark 1.
Relation (4) shows that R α,β are a particular case of the exponential operators studied in [4]. Considering f = ψ k x in (4), we obtain the following recurrence for the central moments: In particular, For higher-order moments, their expression can be obtained by other means (see Equation (18)).

Remark 2.
Using the Shisha-Mond technique from [12], we can estimate the rate of convergence in terms of the usual modulus of continuity by For a given x ≥ 0, for a uniformly continuous function f ∈ C[0, ∞) and a fixed β ≥ 0, the Because α can be chosen arbitrarily, the rate of convergence can be made as high as we want. We also notice that this convergence remains valid even if β varies, but in this case, we must also impose the condition that β 2 /α → 0. For a uniform approximation, we need a different approach, which will be presented in Section 3.

Remark 3.
Another consequence of (4) is the inequality for every bounded function f .

Uniform Approximation
In [6], Totik has given general results for the uniform approximation of functions by positive linear operators which reproduce constant and linear functions and satisfy certain mild assumptions. He obtained a characterization of functions which can be uniformly approximated by such operators and estimated the rate of convergence in terms of the Ditzian-Totik modulus of smoothness of order 2. Let us consider the function The second-order modulus of Ditzian-Totik with respect to the weight function ϕ (see also [13]) is defined by The results obtained by Totik are proven under some assumptions on the growth of the function ϕ, which are not verified in our case (condition (3) from page 164 of [6] is not valid at infinity, i.e., lim x→∞ ϕ(x)/x is not finite). This is why we have modified the method for obtaining such results.
We will present first an estimate of the rate of approximation in terms of the modulus ω ϕ 2 . For this, we need the following auxiliary result.
for some constant C > 0 independent of α.
Proof. Let us consider D, the space of all absolutely continuous functions g in every closed finite interval [a, b] ⊂ [0, ∞) with the property that ϕ 2 g < ∞ and the K-functional We know by ([13] Theorem 2.1.1) that We have by a standard argument It is easy to see that Let us prove that Consider first the case 0 < .
We apply the operators R α,β to the relation (9) and we use inequality (10) to estimate the error for the approximation of g: We decompose the function to be evaluated by R α,β in By simple computation, with We obtain .
Using relation (7), we have Using the equality (11) and applying the operators R α,β , we deduce Passing to the infimum with g ∈ D, we finally get We have estimated the rate of convergence in terms of the second-order modulus of Ditzian and Totik. Let us denote by C * [0, ∞) the space of continuous functions on [0, ∞) that have a finite limit at infinity, endowed with the uniform norm, and let us prove that bounded functions which can be uniformly approximated are part of the space C * [0, ∞). Let us consider the function ζ : [0, ∞) → (0, 1] defined by ζ(x) = 1 √ 1+βx , x ≥ 0 and the following modulus of continuity associated with the function ζ: where δ ≥ 0 and f ∈ C * [0, ∞). The modulus ω ζ is a particular case of a more general modulus studied in [14,15]. This modulus is suitable for the estimation of the uniform approximation rate for functions of the space C * [0, ∞). Indeed, it can be expressed in terms of the usual modulus of continuity by ω ζ ( f , δ) = ω( f • ζ −1 , δ) and the limit lim δ→0 ω ζ ( f , δ) = 0 is valid if and only if f • ζ −1 is uniformly continuous on (0, 1]. However, a function which is uniformly continuous on (0, 1] has a finite limit at 0. In our case, the fact that f • ζ −1 has a finite limit at 0 means that f has a finite limit at infinity. Proof. Let f ∈ C * [0, ∞). We prove that R α,β ( f ) − f → 0. From the properties of the usual modulus of continuity, we have the following estimation δ), for every t, x ≥ 0 and δ > 0.
Applying the operators R α,β , we get For the evaluation of R α,β (|ζ(t) − ζ(x)|)(x), let us use the inequality We apply the Cauchy-Schwarz inequality In view of the liniarity and the preservation properties of the operators R α,β presented in Lemmas 1 and 3, we obtain Thus, we have proven that and this implies the inequality (13). This inequality and the properties of the modulus ω ζ prove that R α,β ( f ) converges uniformly to the function f . Suppose now that R α,β ( f ) converges uniformly to the bounded function f . We will prove that f ∈ C * [0, ∞). It suffices to prove that f • ζ −1 is uniformly continuous on (0, 1]. Let us consider the function θ : Using the properties of the usual modulus of continuity, we can write We will prove that each term of the right-hand side of the above inequality tends to 0, when δ → 0. Firstly, Since R α,β ( f ) converges uniformly to f , the left-hand side of the inequality from above tends to zero for all δ > 0. Using the inequality from Remark 3, we obtain We can choose an appropriate δ > 0 such that the right-hand side tends to zero. This proves that ω( f • θ −1 , δ) tends to 0 as δ → 0. Using the properties of the usual modulus of continuity, the function f • θ −1 is uniformly continuous on [0, π).

A Voronovskaya-Type Result
For a given u ≥ −1/e, the solution of the equation u = ve v defines the Lambert function (also called product logarithm), denoted v = W(u). We need this function to express the image of exponential functions through the operators R α,β .
Proof. Let us remark that ω β ν, α, We can apply Lemma 4 with β replaced by βx 1+βx ∈ [0, 1) and α replaced by αx 1+βx > 0. We can write the monomial function e r (defined by e r (t) = t r , r ∈ N) using Stirling numbers of the second kind by The rth moment of the operators R α,β will be expressed by Exchanging the indexes of summation with k = r + j − p and = r − p, we can write The term corresponding to k = 0 in the above representation is Using the binomial formula, the central moment of order s of the operators R α,β is represented by The term independent of α is obtained by considering only the term corresponding to k = 0 in the representation of R α,β (e r )(x), i.e., Replacing the other terms of R α,β (e r )(x) and changing the order of summation, we obtain We know from ( [16] Lemma 2) that This means that the index k from the representation of µ s (x), s ≥ 2 runs actually only from s+1 2 to s − 1. Let us consider the Taylor expansion with the Peano remainder where h(t, x) is a function such that lim t→x h(t, x) = 0. We apply the operators R α,β and use the representation of the central moments we have derived. We interchange the sums with indexes s and k and ignore the terms of higher order than α −q . It remains to prove that Let ε > 0. By the continuity of h, there is δ > 0 such that, for every t ≥ 0 with the property |t − x| < δ, we have |h(t, x)| < ε.

Corollary 2.
Let γ ≥ 0 and x > 0. For every function f ∈ C γ [0, ∞) having a derivative of second order at x, it holds true Remark 4. The operators R α,β verify the conditions of ([17] Theorem 3.1), so the asymptotic relation (20) can be differentiated.