A Survey of Results on the Limit q-Bernstein Operator

The limit q-Bernstein operator B q emerges naturally as a modification of the Szász-Mirakyan operator related to the Euler distribution, which is used in the q-boson theory to describe the energy distribution in a q-analogue of the coherent state. At the same time, this operator bears a significant role in the approximation theory as an exemplarymodel for the study of the convergence of the q-operators. Over the past years, the limit q-Bernstein operator has been studied widely from different perspectives. It has been shown that B q is a positive shape-preserving linear operator on C[0, 1] with ‖B q ‖ = 1. Its approximation properties, probabilistic interpretation, the behavior of iterates, and the impact on the smoothness of a function have already been examined. In this paper, we present a review of the results on the limit q-Bernstein operator related to the approximation theory. A complete bibliography is supplied.


Introduction
The limit q-Bernstein operator comes out as an analogue of the Szász-Mirakyan operator related to the Euler probability distribution, also called the -deformed Poisson distribution (see [1][2][3]). The latter is used in the -boson theory, which is a -deformation of the quantum harmonic oscillator formalism [4]. Namely, the -deformed Poisson distribution describes the energy distribution in a -analogue of the coherent state [5]. The -analogue of the boson operator calculus has proved to be a powerful tool in theoretical physics, providing explicit expressions for the representations of the quantum group SU (2), which itself is by now known to play a profound role in a variety of different problems. Some of these are integrable model field theories, exactly solvable lattice models of statistical mechanics, conformal field theory, and others. Therefore, the properties of the -deformed Poisson distribution and its related limit -Bernstein operator have proved to be of paramount value for various applications. What is more, this operator is also decisive for the approximation theory as a model pertinent to the asymptotic behavior for a sequence of the -operators. Indeed, operators whose nature is similar to that of appear as a limit of a sequence of the various -operators, see, for example, [6][7][8][9][10][11]. In this respect, a general approach has been developed by Wang in [12].
To present the subject of this survey, it can serve well to recall some notions related to the -calculus (cf., e.g., [13]).
Let > 0. For any ∈ Z + , the q-integer [ ] is defined by For integers and with 0 ≤ ≤ , the q-binomial coefficient is defined by In addition, we employ the notation: 2

Journal of Applied Mathematics
For the sequel, it is also convenient to denote In the case 0 < < 1, the function is an entire function involved in Euler's identities (see [13, formulae (9.7) and (9.10)]): For 0 < < 1, -analogues of the exponential function are given by By the virtue of Euler's identities, whence ( ) (− ) = 1.
Clearly, for = 1, we have Definition 1. Given ∈ (0, 1), the limit -Bernstein operator Since it follows that is a bounded positive linear operator on [0, 1] with ‖ ‖ = 1. It can be readily seen from the definition that possesses the end-point interpolation property: It is commonly known in the field that leaves invariant linear functions and maps a polynomial of degree to a polynomial of degree (see also Theorem 26). Additional properties of this operator will be considered in the present paper. Prior to presenting the results on , it is worth discussing the origin of the operator itself.

-Bernstein Polynomials
This section describes the relation between the limit -Bernstein operator and the theory of -Bernstein polynomials. Within the framework of this theory, emerges as a limit for a sequence of the -Bernstein polynomials. These polynomials were introduced by Phillips in 1997 (cf. [14]) who initiated researches in the area. The summary of the results obtained by Phillips and his collaborators is presented in [15,Ch. 7].
Definition 2 (see [14]). The q-Bernstein polynomial of is Note that ,1 ( ; ) are classical Bernstein polynomials. Some of the properties of the classical Bernstein polynomials are known to have been taken after by the -Bernstein polynomials (see [15]). For example, the -Bernstein polynomials possess the end-point interpolation property, leave invariant linear functions, admit representation with the help of -differences, and are degree-reducing on polynomials. Apart from that, the -Bernstein basic polynomials (15) admit a probabilistic interpretation via -binomial distribution (see [1,16,17]). A comprehensive review of the results on the -Bernstein polynomials along with an extensive bibliography and a collection of open problems on the subject have all been provided in [18]. Recently, modifications of the -Bernstein polynomials related to the -Stirling numbers,integral representations, and the -adic numbers have been investigated by Kim et al. in [19][20][21][22].
However, further investigation of the -Bernstein polynomials demonstrates that their convergence properties are essentially different from those of the classical ones and that the cases 0 < < 1 and > 1 are different from one anothera difference whose origin can be traced back to the fact that while, for 0 < < 1, the -Bernstein polynomials are positive linear operators on [0, 1], this is no longer valid for > 1.
The next theorem shows the limit -Bernstein operator rising naturally when a sequence of the -Bernstein polynomials in the case as 0 < < 1 is considered.
It should be emphasized that various analogues of Theorem 3 have been proved for different classes ofoperators, as, for example, in [6,7,9,10]. On the top of that, this theorem has triggered the start of further research on the Korovkin-type theorems (cf. [12,26]). As it turns out, while many -versions of the known operators-in particular, -Bernstein polynomials-do not satisfy the conditions of the Korovkin theorem, they do satisfy the conditions of Wang's Korovkin-type theorem (Theorem 5), which guarantees their uniform convergence on [0, 1] to the limit operator.
Theorem 5 (see [12]). Let be a sequence of positive linear operators on [0, 1] satisfying the following conditions: Then, there exists an operator on [0, 1] such that

Probabilistic Approach
Another approach to is given in terms of probability theory.
Consider a function ( ) with the positive Taylor coefficients analytic in the disc { : | | < }, 0 < ≤ ∞, and consider a random variable (0 ≤ ≤ ), whose values do not depend on and are taken with the following probabilities: Let be the linear space of functions defined on { } so that for ∈ , ∈ [0, ), the mathematical expectation E[ ( )] exists. We define a linear operator on as follows: Suppose that the probability distribution of satisfies the following conditions: Theorem 9 (see [2]). Let be a random variable whose distribution satisfies the conditions above. Then, and the function has the form: The Theorem means that conditions (i) and (ii) imply a rather specific form of probability distribution.
Consider the following particular cases.

Approximation Properties of
The approximation by operator was first studied by Videnskii in [28]. Let us recollect that the modulus of continuity of a function on [0, 1] is defined by The following estimates are valid.
The elaboration of these results has been carried out in [29]. Videnskii [28] has also considered the modification of the limit -Bernstein operator defined for ∈ (2) In [30], Mahmudov has introduced a generalization of the limit -Bernstein operator defined on the space [0, 1] of the times continuously differentiable functions and proved that, for ≥ 1, these operators provide a better degree of the approximation than operators , corresponding to = 0.
The approximation of the analytic functions in complex domains by the limit -Bernstein operator has been investigated in [31], where the following results have been established.
Remark 14. Clearly, Corollary 12 can also be derived from Theorem 13. Moreover, we obtain that the order of approximation for analytic functions equals (1 − ). Using the growth estimates for , we can estimate , for > 1.

Functional-Analytic Properties of the Limit -Bernstein Operator
To begin with, let us identify the kernel and the image of the limit -Bernstein operator. The relevant results have been supplied in [23,32]. We say that an operator : → is bounded below on a subspace ⊂ if there exists a constant > 0 such that || || ≥ || || for each ∈ . An easy consequence of Theorem 15 is that is not bounded below on any subspace which does not contain isomorphic copies of 0 .
However, for subspaces containing subspaces isomorphic to 0 , the situation can be different. To be specific, the following result holds.
Theorem 17 (see [33]). There exists a subspace of [0,1] isomorphic to 0 such that the restriction of to this subspace is an isomorphic embedding.
Further properties of the image of the limit -Bernstein operator are expressed by the uniqueness theorems below.
In general, for a function ∈ [0, 1], its image under depends on . Plain calculations show that which implies that 1 ( 2 ; ) ̸ ≡ 2 ( 2 ; ) for distinct 1 and 2 . However, if is a linear function, then ( ; ) = ( ) regardless of . It is not difficult to see that the converse statement is also true.
A stronger assertion may be proved for the images of analytic functions.

Theorem 19. Let be analytic on
then is a linear function.
A closer look can show that this result appears to be sharp and that the statement ceases to be true for infinitely differentiable functions. Now, let us draw attention to the behavior of the iterates of the limit -Bernstein operator, which have been studied in [34]. By , we denote the operator of linear interpolation at 0 and 1, that is, Theorem 20 (see [34] As an immediate consequence of this theorem, we obtain the following statement mentioned in Section 2. ∈ (0, 1). Then, ( ) = if and only if = ( ), that is, is a linear function.

The Improvement of Analytic Properties under the Limit -Bernstein Operator
Generally speaking, it can be stated that improves the analytic properties of functions. The first result in this direction is the following: Theorem 22 (see [23,35]  (ii) If is ( ≥ 0) times differentiable from the left at 1 and ( ) satisfies the Hölder condition at 1, that is, Note that Therefore, for any entire function , the growth of ( ; ) does not exceed the growth of ( ), showing that for an entire function, whose growth is faster than that of ( ), the growth of is slower than that of . In other terms, the application of to entire functions slows down a rather speedy growth. It turns out that the same phenomenon occurs for all transcendental entire functions regardless of their growth.
Finally, we state the following noteworthy property of the -Bernstein operator: it maps binomial (1 − ) to the corresponding -binomial ( ; ) .
Theorem 26 (see [36]). If is a polynomial of degree , then ( ; ) is also a polynomial of degree . In addition, the following identity holds The results above indicate how the analytic properties of are transformed under . If at least satisfies the Hölder condition at 1, then, on the whole, it gets "better", unless is a polynomial, that is, "too good" to be improved.
The results above can be concluded in the form of a table as follows: One can establish that, to a certain extent, the analytic properties of may be retrieved from those of . For details, see [37]. Put differently, all "⇒" can be replaced with "⇔" provided that we consider the following equivalence relation on [0, 1]: Obviously, Then, what happens under the application of to continuous functions-those which do not satisfy the Hölder condition on [0, 1]? In this case, is a function in [0, 1] which possesses an analytic continuation into the open unit disc, and, as a result, the possible lack of smoothness on [0, 1) will be corrected by . One can also inquire about the smoothness at 1. In response to this query, it has been shown that, under some minor restrictions, the operator speeds up the convergence of ( ) to (1) as → 1 − . The rate of ( ) approaching (1) is measured by the local modulus of continuity at 1: Theorem 27 (see [36]). If ∈ [0, 1] and Ω( ; ) satisfies the following regularity condition: ∃ ∈ (0, 1) , lim → 0 + (58) However, as it is shown in [38], there exist functions without the Hölder conditions at 1 which do not satisfy (57) such that for some > 0, Ω ( ; ) ≥ Ω ( ; ) , ∈ [0, 1] .

Concluding Remarks
The limit -Bernstein operator has remained under scrutiny, and new researches on the subject appear on a regular basis. The aim of the present survey has been not only to exhibit the results related to this operator but also to primarily demonstrate the interrelations of the operator with a variety of mathematical disciplines. Finally, it is beneficial to formulate an open problem for future investigation.