Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 159720, 7 pages http://dx.doi.org/10.1155/2013/159720 Review Article A Survey of Results on the Limit π-Bernstein Operator Sofiya Ostrovska Department of Mathematics, Atilim University, Ankara 06836, Turkey Correspondence should be addressed to Sofiya Ostrovska; ostrovsk@atilim.edu.tr Received 18 October 2012; Revised 24 January 2013; Accepted 24 January 2013 Academic Editor: Vijay Gupta Copyright © 2013 Sofiya Ostrovska. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The limit π-Bernstein operator π΅π emerges naturally as a modification of the SzaΜsz-Mirakyan operator related to the Euler distribution, which is used in the π-boson theory to describe the energy distribution in a π-analogue of the coherent state. At the same time, this operator bears a significant role in the approximation theory as an exemplary model for the study of the convergence of the π-operators. Over the past years, the limit π-Bernstein operator has been studied widely from different perspectives. It has been shown that π΅π is a positive shape-preserving linear operator on πΆ[0, 1] with βπ΅π β = 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 π-Bernstein operator related to the approximation theory. A complete bibliography is supplied. 1. Introduction The limit q-Bernstein operator comes out as an analogue of the SzaΜsz-Mirakyan operator related to the Euler probability distribution, also called the π-deformed Poisson distribution (see [1–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–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 [π]π := 1 + π + ⋅ ⋅ ⋅ + ππ−1 (π ∈ N) , [0]π := 0, (1) and the q-factorial [π]π ! by (π = 1, 2, . . .) , [0]π ! := 1. [π]π ! := [1]π [2]π ⋅ ⋅ ⋅ [π]π (2) For integers π and π with 0 ≤ π ≤ π, the q-binomial coefficient is defined by [π]π ! π [ ] := . π π ![π [π]π − π]π ! (3) In addition, we employ the notation: π−1 (π − π₯)ππ := ∏ (π − ππ π₯) (π ∈ Z+ ) , π=0 (π − π₯)∞ π ∞ (4) π := ∏ (π − π π₯) . π=0 2 Journal of Applied Mathematics For the sequel, it is also convenient to denote ππ (π₯) = (1 − π₯)∞ π . (5) In the case 0 < π < 1, the function ππ is an entire function involved in Euler’s identities (see [13, formulae (9.7) and (9.10)]): ∞ ππ(π−1)/2 π₯π , ππ (−π₯) = ∑ π π = 0 (1 − π) ⋅ ⋅ ⋅ (1 − π ) ∞ 1 π₯π = ∑ ππ (π₯) π = 0 (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) (6) for |π₯| < 1. For 0 < π < 1, π-analogues of the exponential function are given by ∞ π₯π , ππ (π₯) := ∑ [π]π ! π=0 1 , |π₯| < 1−π (7) ∞ ππ(π−1)/2 π₯π πΈπ (π₯) = ∑ . [π]π ! π=0 By the virtue of Euler’s identities, ∞ −1 ππ (π₯) = ∏ (1 − (1 − π) π₯ππ ) , |π₯| < π=0 (8) π΅π,π (π; π₯) = ∑ π ( π=0 [π]π [π]π ) πππ (π; π₯) , (9) Clearly, for π = 1, we have π1 (π₯) = πΈ1 (π₯) = ππ₯ . (10) Definition 1. Given π ∈ (0, 1), the limit π-Bernstein operator on πΆ[0, 1] is defined by π σ³¨→ π΅π π, where (π΅π π) (π₯) = π΅π (π; π₯) if π₯ ∈ [0, 1) , if π₯ = 1, ∞ π (1 − ππ ) { {(1 − π₯)∞ ⋅ ∑ π₯π π π) ={ (1 − π) ⋅ ⋅ ⋅ (1 − π π=0 { {π (1) if π₯ ∈ [0, 1) , if π₯ = 1. (11) Since π₯π =1 π π = 0 (1 − π) ⋅ ⋅ ⋅ (1 − π ) π = 1, 2, . . . , (14) π = 0, 1, . . . π. (15) π=0 ππ (π₯) πΈπ (−π₯) = 1. ∞ 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]. π−1−π whence (1 − π₯)∞ π ∑ 2. π-Bernstein Polynomials π πππ (π; π₯) := [ ] π₯π ∏ (1 − ππ π₯) , π π π π ∞ π (1 − π ) π₯ { π₯ { {πΈπ (− )⋅ ∑ 1 − π π = 0 (1 − π)π [π] ! := { π { { π (1) { (13) where π=0 [π]1 ! = π!, π΅π π (1) = π (1) . 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. π πΈπ (π₯) = ∏ (1 + (1 − π) π₯ππ ) , [π]1 = π, π΅π (π; 0) = π (0) , Definition 2 (see [14]). The q-Bernstein polynomial of π is 1 , 1−π ∞ 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: for |π₯| < 1, (12) 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–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 another— a 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. Journal of Applied Mathematics 3 Theorem 3 (see [23]). Let π ∈ (0, 1). and consider a random variable ππ₯ (0 ≤ π₯ ≤ π), whose values do not depend on π₯ and are taken with the following probabilities: (i) Then, for any π ∈ πΆ[0, 1], π΅π,π (π; π₯) σ³¨→ π΅π (π; π₯) as π σ³¨→ ∞, (16) P {ππ₯ = πΌπ } = uniformly for π₯ ∈ [0, 1]. (ii) The equality π΅π (π; π₯) = π(π₯) for π₯ ∈ [0, 1] holds if and only if π is a linear function. Remark 4. Wang observed [24] that if {ππ,π (π; π₯)}, π ∈ (0, 1) is a sequence of the π-Meier-KoΜnig and Zeller operator considered by Trif (cf. [25]), then for any π ∈ πΆ[0, 1], ππ,π (π; π₯) σ³¨→ π΅π (π; π₯) as π σ³¨→ ∞, (17) uniformly for π₯ ∈ [0, 1]. It should be emphasized that various analogues of Theorem 3 have been proved for different classes of πoperators, 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: ππ π₯π =: ππ (π₯) , π (π₯) (b) the sequence {πΏ π (π; π₯)} is nondecreasing in π for any convex function π and any π₯ ∈ [0, 1]. ∞ (π΄ π π) (π₯) := E [π (ππ₯ )] = ∑ π (πΌπ ) ππ (π₯) . ππ [0, 1] as π σ³¨→ ∞, Suppose that the probability distribution of ππ₯ satisfies the following conditions: (i) E[ππ₯ ] = π₯, that is, π΄ π leaves invariant linear functions, (ii) E[ππ₯2 ] = ππ₯2 + ππ₯ + π, that is, π΄ π takes a square polynomial to a square polynomial. Example 8. The Poisson distribution with parameter π₯. Theorem 9 (see [2]). Let ππ₯ be a random variable whose distribution P {ππ₯ = πΌπ } = (18) Theorem 7 (see [10]). Let πΏ be a positive linear operator on πΆ[0, 1] which reproduces linear functions. If πΏ(π‘2 ; π₯) > π₯2 for π₯ ∈ (0, 1), then πΏπ = π if and only if π is linear. Another approach to π΅π is given in terms of probability theory. Consider a function π(π₯) with the positive Taylor coefficients analytic in the disc {π₯ : |π₯| < π}, 0 < π ≤ ∞, ∞ π=0 π0 = 1, ππ > 0, πΌπ = π π (23) and the function π has the form: π (1 − π) π₯π . π π π = 0 π (1 − π) ⋅ ⋅ ⋅ (1 − π ) ∞ π (π₯) = ∑ (24) The Theorem means that conditions (i) and (ii) imply a rather specific form of probability distribution. Consider the following particular cases. (1) Let π = π = 1. Then, π₯π = ππ₯ , π! π=0 π (π₯) = ∑ πΌπ = π, P {ππ₯ = π} = π₯π −π₯ π , (25) π! therefore, ππ₯ has the Poisson distribution with parameter π₯. Correspondingly, ∞ (19) (22) 1 − ππ , 1−π (1 − π) ππ = π , π (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) ∞ 3. Probabilistic Approach π = 0, 1, 2, . . . satisfies the conditions above. Then, uniformly on [0, 1]. π (π₯) = ∑ ππ π₯π , ππ π₯π , π (π₯) π = 0, π > −1, Remark 6. In general, condition (b) cannot be left out completely. The corresponding example is provided in [12, Theorem 1]. Meanwhile, statement (ii) of Theorem 3 is a general property of positive linear operator as stated by the next theorem. (21) π=0 Then, there exists an operator πΏ on πΆ[0, 1] such that πΏ π (π; π₯) σ³¨→ πΏ (π; π₯) (20) 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: 2 (a) the sequence {πΏ π (π‘ ; π₯)} converges uniformly on [0, 1], π = 0, 1, . . . . (π΄ π π) (π₯) = ∑ π (π) π=0 π₯π −π₯ π . π! (26) 4 Journal of Applied Mathematics (ii) If π ∈ πΆ(2) [0, 1], then (2) For π = 1, π = 1/π, we obtain ∞ (ππ₯)π = πππ₯ , π! π=0 π (π₯) = ∑ P {ππ₯ = πΌπ = π , π π (ππ₯)π −ππ₯ }= π . π π! σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨π΅ (π; π₯) − π (π₯) − 1 − π πσΈ σΈ (π₯) π₯ (1 − π₯)σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨ 2 σ΅¨ σ΅¨ (27) ≤ πΎ (1 − π) π₯ (1 − π₯) π (π ; √1 − π) , where πΎ is a positive constant. Consequently, for π ∈ πΆ(2) [0, 1], In this case, ∞ π π (ππ₯) −ππ₯ (π΄ π π) (π₯) = ∑ π ( ) = ππ (π; π₯) , π π π! π=0 (28) ∞ 1 π₯π = , π ππ (π₯) π = 0 (1 − π) ⋅ ⋅ ⋅ (1 − π ) |π₯| < 1. π (π₯) = ∑ (29) Besides, πΌπ = 1 − ππ and π₯π . (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) π (1 − ππ ) π π = 0 (1 − π) ⋅ ⋅ ⋅ (1 − π ) (30) π₯π = π΅π (π; π₯) . (31) As we can see, in this way, π΅π occurs as an analogue of the SzaΜsz-Mirakyan operator. 4. 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 σ΅¨ σ΅¨ σ΅¨ σ΅¨ π (π; π‘) := sup {σ΅¨σ΅¨σ΅¨π (π₯) − π (π¦)σ΅¨σ΅¨σ΅¨ : σ΅¨σ΅¨σ΅¨π₯ − π¦σ΅¨σ΅¨σ΅¨ ≤ π‘, π₯, π¦ ∈ [0, 1]} . (32) The following estimates are valid. 1−π πσΈ σΈ (π₯) π₯ (1 − π₯) , 2 1 σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨π΅π (π; π₯) − π (π₯)σ΅¨σ΅¨σ΅¨ ≤ 2π (π; √1 − π) . σ΅¨ σ΅¨ 2 (36) 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) [0, 1] by (37) and proved that σ΅¨ σ΅¨σ΅¨ Μ σ΅¨σ΅¨π΅π (π; π₯) − π (π₯)σ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ πΎ > 0. (38) 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. Theorem 11. Let π ∈ πΆ[0, 1] admit an analytic continuation from [0, 1] into {π§ : |π§ − 1| < 1 + π}. Then, for any compact set πΎ ⊂ π·(π), π΅π (π; π§) σ³¨→ π (π§) , π σ³¨→ 1− , uniformly ππ πΎ. (39) Corollary 12. If π is an entire function, then, for any compact set πΎ ⊂ C, π΅π (π; π§) σ³¨→ π (π§) , π σ³¨→ 1− , uniformly ππ πΎ. (40) Finally, we provide an estimate for the rate of approximation for functions analytic in π·(π), π > 1. Theorem 13. Let π(π§) be analytic in a closed disk π·(π) with π > 1. Then, for π§ ∈ π·(π), we have Theorem 10 (see [28]). (i) If π ∈ πΆ[0, 1], then (33) Consequently, π΅π (π; π₯) σ³¨→ π (π₯) π→1 = ≤ πΎ (1 − π) π₯ (1 − π₯) π (πσΈ σΈ ; √1 − π) , Therefore, ∞ π΅π (π; π₯) − π (π₯) Μ π (π; π₯) := π΅π (π; π₯) − 1 − π π₯ (1 − π₯) π΅π (πσΈ σΈ ; π₯) π΅ 2 (3) Let 0 < π < 1, π = 1 − π. Then, (π΄ π π) (π₯) = ππ (π₯) ∑ lim− uniformly on [0, 1]. that is, π΄ π coincides with the SzaΜsz-Mirakyan operator. By Feller’s Lemma [27, v. II, Ch. VII, Section 1, Lemma 1], if π ∈ πΆ[0, ∞) is bounded, then ππ (π; π₯) → π(π₯) as π → ∞, uniformly on any compact subset of [0, ∞). P {ππ₯ = 1 − ππ } = ππ (π₯) (35) σΈ σΈ as π σ³¨→ 1− , uniformly for π₯ ∈ [0, 1] . (34) σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π΅π (π; π§) − π (π§)σ΅¨σ΅¨σ΅¨ ≤ πΆπ,π (1 − π) . σ΅¨ σ΅¨ (41) 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. Journal of Applied Mathematics 5 Theorem 20 (see [34]). If {ππ } is a sequence of positive integers such that ππ → ∞, then, for any π ∈ πΆ[0, 1], 5. 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]. Theorem 15. (i) ker π΅π = {π ∈ πΆ[0, 1] : π(1 − ππ ) = 0 for all π ∈ Z+ } and (ii) im π΅π = {π ∈ πΆ[0, 1] : π(π₯) = ∞ π ∑∞ π = 0 ππ π₯ , where ∑π = 0 ππ converges.} Corollary 16. The image of the limit π-Bernstein operator π΅π : πΆ[0, 1] → πΆ[0, 1] is nonclosed. 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 π΅π (π‘2 ; π₯) = π₯2 + (1 − π) π₯ (1 − π₯) , 2 (42) 2 which implies that π΅π1 (π‘ ; π₯) ≡ΜΈ π΅π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. π΅πππ (π; π₯) σ³¨→ πΏ (π; π₯) uniformly on [0, 1]. As an immediate consequence of this theorem, we obtain the following statement mentioned in Section 2. Corollary 21. Let π ∈ (0, 1). Then, π΅π (π) = π if and only if π = πΏ(π), that is, π is a linear function. 6. 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]). (i) For any π ∈ πΆ[0, 1], the function π΅π (π; π₯) is continuous on [0, 1] and admits an analytic continuation into the open unit disc {π§ : |π§| < 1}. (ii) If π is π (π ≥ 0) times differentiable from the left at 1 and π(π) satisfies the HoΜlder condition at 1, that is, σ΅¨ σ΅¨σ΅¨ (π) σ΅¨σ΅¨π (π₯) − π(π) (1)σ΅¨σ΅¨σ΅¨ ≤ π|π₯ − 1|πΌ , σ΅¨ σ΅¨ π₯ ∈ [0, 1] , π > 0, πΌ ∈ (0, 1] , (47) then π΅π (π; π₯) admits an analytic continuation into the disc {π§ : |π§| < π−(π+πΌ) }. In particular, if π is infinitely differentiable from the left at 1, then π΅π (π; π§) is an entire function. Remark 23. In general, an analytic continuation of π΅π (π; π₯) may not be continuous in the closed unit disc. For a function πΉ, analytic in a disc {π§ : |π§| ≤ π}, we denote Theorem 18 (see [32]). If, for any π1 , π2 ∈ (0, 1), we have π΅π1 (π; π₯) ≡ π΅π2 (π; π₯) , for π₯ ∈ [0, 1] as π σ³¨→ ∞, (46) π (π; πΉ) := max |πΉ (π§)| . (43) then π is a linear function. |π§|≤π Theorem 24 (see [36]). (i) If π is analytic at 1, then π΅π (π; π§) is an entire function and A stronger assertion may be proved for the images of analytic functions. π (π; π΅π π) ≤ πΆππ ππ (−π) , Theorem 19. Let π be analytic on [0, 1]. If, for π1 =ΜΈ π2 , (ii) If π is analytic in {π§ : |π§ − 1| < 2 + π}, then π΅π1 (π; π₯) ≡ π΅π2 (π; π₯) , π₯ ∈ [0, 1] , (44) then π is a linear function. π (π; π΅π π) ≤ πΆππ (−π) , for πΆ, π > 0, π ≥ 1. for some πΆ > 0. (49) (50) Note that 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, πΏ (π; π₯) := (1 − π₯) π (0) + π₯π (1) . (48) (45) πΆ1 exp { ln2 (π/√π) ln2 (π/√π) } ≤ ππ (−π) ≤ πΆ2 exp { }. 2 ln (1/π) 2 ln (1/π) (51) 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 6 Journal of Applied Mathematics 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. Theorem 25 (see [36]). If π is a transcendental entire function, then π (π; π΅π π) = π (π (π; π)) as π σ³¨→ ∞. (52) 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 (π΅π ) ((1 − π₯)π ) = (1 − π₯) (1 − ππ₯) ⋅ ⋅ ⋅ (1 − ππ−1 π₯) , π = 0, 1, 2, . . . . (53) The results above indicate how the analytic properties of π are transformed under π΅π . If π at least satisfies the HoΜ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: π(π) ∈ Lip πΌ at 1 ⇒ π΅π π admits an analytic continuation into {π§ : |π§| < π−(π+πΌ) }, π infinitely differentiable at 1 ⇒ π΅π π is entire, π analytic at 1 ⇒ π΅π π is entire with π(π; π΅π π) ≤ πΆππ exp(πΆ ln2 π), π transcendental entire ⇒ π΅π π is transcendental entire with π(π; π΅π π) ≤ πΆπ−π’(π) exp(πΆ ln2 π), π’(π) → +∞ as π → ∞ and π(π; π΅π π) = π(π(π; π)), π → ∞, π polynomial, degπ = π ⇒ π΅π π polynomial, degπ΅π π = π. 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]: π ∼ π ⇐⇒ π (1 − ππ ) = π (1 − ππ ) , π ∈ Z+ . (54) 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: σ΅¨ σ΅¨ Ω (π; πΏ) := max σ΅¨σ΅¨σ΅¨π (π₯) − π (1)σ΅¨σ΅¨σ΅¨ . (56) 1−πΏ≤π₯≤1 Theorem 27 (see [36]). If π ∈ πΆ[0, 1] and Ω(π; πΏ) satisfies the following regularity condition: 1 ∃π ∈ (0, 1) , lim πΏ ∫π1/πΏ (Ω (π; π‘) /π‘) ππ‘ πΏ → 0+ = 0, (57) then Ω(π΅π π; πΏ) = π(Ω(π; πΏ)) as πΏ → 0+ . Corollary 28. If πΆ1 πΏπ½ ≤ Ω(π; πΏ) ≤ πΆ2 (ln(1/πΏ))−πΌ , 0 < π½ < πΌ < 1, then Ω(π΅π π; πΏ) = π(Ω(π; πΏ)) as πΏ → 0+ . Remark 29. The condition (57) is rather general. For example, it holds for the functions: 1 π½2 1 π½π 1 π½1 Ω (πΏ) = πΏπΌ (ln ) (ln2 ) ⋅ ⋅ ⋅ (lnπ ) , πΏ πΏ πΏ 0 < πΌ < 1, π½1 , . . . , π½π ∈ R, π ∈ N, 1 −πΌ 1 π½1 1 π½π Ω (πΏ) = (lnπ ) (lnπ+1 ) ⋅ ⋅ ⋅ (lnπ+π ) , πΏ πΏ πΏ πΌ > 0, π½1 , . . . , π½π ∈ R, (58) π, π ∈ N. However, as it is shown in [38], there exist functions without the HoΜlder conditions at 1 which do not satisfy (57) such that for some π > 0, Ω (π΅π π; πΏ) ≥ πΩ (π; πΏ) , πΏ ∈ [0, 1] . (59) 7. 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. Problem. (Eigenvalues and eigenfunctions of the limit πBernstein operator). Find all π ∈ πΆ[0, 1] so that π΅π π = ππ, Obviously, Ω (π; πΏ) π ∈ C \ {0} . (60) (55) Conjecture. If π΅π π = ππ, π =ΜΈ 0, then π is a polynomial and π ∈ {ππ(π−1)/2 }∞ π = 0. Then, what happens under the application of π΅π to continuous functions—those which do not satisfy the HoΜlder condition on [0, 1]? In this case, π΅π π is a function in πΆ[0, 1] which possesses an analytic continuation into the open unit Comment. The conjecture has been proved under some additional conditions on the smoothness of π at 1 (e.g., for π satisfying the HoΜlder condition of order πΌ) in [36, Corollary 5.6]. π ∼ π ⇐⇒ π΅π π = π΅π π. Journal of Applied Mathematics Acknowledgment The author’s appreciation goes to Mr. P. Danesh from the Atilim University Academic Writing and Advisory Centre for his invaluable assistance in preparing this paper. References [1] Ch. A. Charalambides, “The π-Bernstein basis as a π-binomial distribution,” Journal of Statistical Planning and Inference, vol. 140, no. 8, pp. 2184–2190, 2010. [2] S. Ostrovska, “Positive linear operators generated by analytic functions,” Proceedings of the Indian Academy of Sciences. Mathematical Sciences, vol. 117, no. 4, pp. 485–493, 2007. [3] M. Zeiner, “Convergence properties of the π-deformed binomial distribution,” Applicable Analysis and Discrete Mathematics, vol. 4, no. 1, pp. 66–80, 2010. [4] C. P. Sun and H. C. Fu, “The π-deformed boson realisation of the quantum group ππ(π)π and its representations,” Journal of Physics A, vol. 22, no. 21, pp. L983–L986, 1989. [5] S. C. Jing, “The π-deformed binomial distribution and its asymptotic behaviour,” Journal of Physics A, vol. 27, no. 2, pp. 493–499, 1994. [6] V. Gupta and W. Heping, “The rate of convergence of πDurrmeyer operators for 0 < π < 1,” Mathematical Methods in the Applied Sciences, vol. 31, no. 16, pp. 1946–1955, 2008. [7] N. I. Mahmudov and P. SabancΔ±gil, “π-parametric Bleimann Butzer and Hahn operators,” Journal of Inequalities and Applications, vol. 2008, Article ID 816367, 15 pages, 2008. [8] N. I. Mahmudov and P. Sabancigil, “Voronovskaja type theorem for the LupasΜ§ π-analogue of the Bernstein operators,” Mathematical Communications, vol. 17, no. 1, pp. 83–91, 2012. [9] S. Ostrovska, “On the LupasΜ§ π-analogue of the Bernstein operator,” The Rocky Mountain Journal of Mathematics, vol. 36, no. 5, pp. 1615–1629, 2006. [10] H. Wang, “Properties of convergence for π, π-Bernstein polynomials,” Journal of Mathematical Analysis and Applications, vol. 340, no. 2, pp. 1096–1108, 2008. [11] X.-M. Zeng, D. Lin, and L. Li, “A note on approximation properties of π-Durrmeyer operators,” Applied Mathematics and Computation, vol. 216, no. 3, pp. 819–821, 2010. [12] H. Wang, “Korovkin-type theorem and application,” Journal of Approximation Theory, vol. 132, no. 2, pp. 258–264, 2005. [13] V. Kac and P. Cheung, Quantum Calculus, Universitext, Springer, New York, NY, USA, 2002. [14] G. M. Phillips, “Bernstein polynomials based on the π-integers,” Annals of Numerical Mathematics, vol. 4, no. 1–4, pp. 511–518, 1997. [15] G. M. Phillips, Interpolation and Approximation by Polynomials, CMS Books in Mathematics/Ouvrages de MatheΜmatiques de la SMC, 14, Springer, New York, NY, USA, 2003. [16] A. Il’inskii, “A probabilistic approach to π-polynomial coefficients, Euler and Stirling numbers. I,” Matematicheskaya Fizika, Analiz, Geometriya, vol. 11, no. 4, pp. 434–448, 2004. [17] T. Kim, “Some formulae for the π-Bernstein polynomials and π-deformed binomial distributions,” Journal of Computational Analysis and Applications, vol. 14, no. 5, pp. 917–933, 2012. [18] S. Ostrovska, “The first decade of the π-Bernstein polynomials: results and perspectives,” Journal of Mathematical Analysis and Approximation Theory, vol. 2, no. 1, pp. 35–51, 2007. 7 [19] T. Kim, “Some identities on the π-integral representation of the product of several π-Bernstein-type polynomials,” Abstract and Applied Analysis, vol. 2011, Article ID 634675, 11 pages, 2011. [20] T. Kim, J. Choi, and Y. H. Kim, “π-Bernstein polynomials associated with π-Stirling numbers and Carlitz’s π-Bernoulli numbers,” Abstract and Applied Analysis, vol. 2010, Article ID 150975, 11 pages, 2010. [21] T. Kim, “A note on π-Bernstein polynomials,” Russian Journal of Mathematical Physics, vol. 18, no. 1, pp. 73–82, 2011. [22] T. Kim, J. Choi, and Y.-H. Kim, “On the π-dimensional generalization of π-Bernstein polynomials,” Proceedings of the Jangjeon Mathematical Society, vol. 14, no. 2, pp. 199–207, 2011. [23] A. Il’inskii and S. Ostrovska, “Convergence of generalized Bernstein polynomials,” Journal of Approximation Theory, vol. 116, no. 1, pp. 100–112, 2002. [24] H. Wang, “Properties of convergence for the π-Meyer-KoΜnig and Zeller operators,” Journal of Mathematical Analysis and Applications, vol. 335, no. 2, pp. 1360–1373, 2007. [25] T. Trif, “Meyer-KoΜnig and Zeller operators based on the π-integers,” Revue d’Analyse NumeΜrique et de TheΜorie de l’Approximation, vol. 29, no. 2, pp. 221–229, 2000. [26] N. I. Mahmudov, “Korovkin-type theorems and applications,” Central European Journal of Mathematics, vol. 7, no. 2, pp. 348– 356, 2009. [27] W. Feller, An Introduction to Probability Theory and Its Applications, John Wiley & Sons, New York, NY, USA, 2nd edition, 1968. [28] V. S. Videnskii, “On some classes of π-parametric positive linear operators,” in Selected Topics in Complex Analysis, vol. 158 of Oper. Theory Adv. Appl., pp. 213–222, BirkhaΜuser, Basel, Switzerland, 2005. [29] Z. Laiyi and L. Qiu, “The saturation theorems for the limit πBernstein operators,” Panamerican Mathematical Journal, vol. 19, no. 1, pp. 13–26, 2009. [30] N. I. Mahmudov, “Higher order limit π-Bernstein operators,” Mathematical Methods in the Applied Sciences, vol. 34, no. 13, pp. 1618–1626, 2011. [31] S. Ostrovska and H. Wang, “The convergence of π-Bernstein polynomials (0 < π < 1) and limit q-Bernstein operators in complex domains,” The Rocky Mountain Journal of Mathematics, vol. 39, no. 4, pp. 1279–1291, 2009. [32] S. Ostrovska, “On the image of the limit π-Bernstein operator,” Mathematical Methods in the Applied Sciences, vol. 32, no. 15, pp. 1964–1970, 2009. [33] S. Ostrovska, “The functional-analytic properties of the limit πBernstein operator,” Journal of Function Spaces and Applications, vol. 2012, Article ID 280314, 8 pages, 2012. [34] S. Ostrovska, “π-Bernstein polynomials and their iterates,” Journal of Approximation Theory, vol. 123, no. 2, pp. 232–255, 2003. [35] S. Ostrovska, “On the limit π-Bernstein operator,” Mathematica Balkanica, vol. 18, no. 1-2, pp. 165–172, 2004. [36] S. Ostrovska, “On the improvement of analytic properties under the limit π-Bernstein operator,” Journal of Approximation Theory, vol. 138, no. 1, pp. 37–53, 2006. [37] S. Ostrovska, “On the properties of the limit π-Bernstein operator,” Studia Scientiarum Mathematicarum Hungarica, vol. 48, no. 2, pp. 160–179, 2011. [38] S. Ostrovska, “Functions whose smoothness is not improved under the limit π-Bernstein operator,” Journal of Inequalities and Applications, vol. 297, 2012. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014