arxiv: v2 [math.ca] 20 Nov 2014

Transcription

1 arxiv: v [math.ca] Nov 14 Special functions associated with positive linear operators Ioan Raşa March 6, 18 Subjclass: 33C5, 33C45, 34B4, 41A36 Keywords: Hypergeometric function, Legendre polynomials, Heun equation, positive linear operators. Abstract Many well-nown positive linear operators lie Bernstein, Basaov, Szász-Mirajan) are constructed by using specific fundamental functions. The sums of the squared fundamental functions have been objects of study in some recent papers. We investigate the relationship between these sums and some special functions. Consequently, we get integral representations andupperboundsfor thesums. Moreover, we showthattheyaresolutions to suitable second order differential equations. In particular, we provide polynomial or rational solutions to some Heun equations. 1 Introduction The degree of non-multiplicativity for many classical positive linear operators can be described in terms of Chebyshev-Grüss inequalities. Several recent papers have been devoted to this problem; see [], [3], [7], [8], [16] and the references therein. It has been shown in [8] that in studying the degree of nonmultiplicativity a significant role is played by the sum of the squared fundamental functions involved in the construction of the operators. Some properties of these sums have been investigated in [8], [14], [6]. In this paper we consider a family of sequences of positive linear operators, depending on a real parameter c. The choices c = 1, c =, c = 1 correspond, respectively, to the Bernstein, Szász-Mirajan, and Basaov operators; for details see, e.g., [1], [5], [18] and the references therein. The sum S n,c of the corresponding fundamental functions can be expressed in terms of some special functions: the hypergeometric function and the Legendre polynomials. By using this relationship we get integral representations and upper bounds for S n,c ; several nown results of this type are extended and improved. Moreover, we show that S n,c x) is a solution to a suitable second order differential equation. In particular, for c, S n,c x c) is a solution of a Heun equation; Sn, 1 x) is a 1

2 polynomialsolution,ands n,1 x)isarationalsolution. ConcerningHeunequations, their polynomial or rational solutions, and their applications to Physics, see [9], [11], [1], [17], [19] and the references therein. Preliminary results In this section we recall some results from [5]. Let c R. Set I c = [, c] 1 if c <, and Ic = [,+ ) if c. For α R and N the binomial coefficients are defined as usual by α ) := αα 1)...α +1)! if N, and α ) := 1. In particular, m ) = if m N and > m. Let n > be a real number, N and x I c. Define p [c] n) n, x) := 1) c cx) 1+cx) n c, if c, p [] n, x) := lim c p[c] nx) n, x) = e nx, if c =.! Then p[c] n, x) = 1. Throughout the paper we shall suppose that n > c if c, or n = cl with some l N if c <. Under this hypothesis define T n,c x,y) := p [c] n, x)p[c] n, y), x,y I c..1) Lemma.1 [5, Lemma 1]). The series in.1) converges for all x,y I c and T n,c x,y) = 1+cx)1+cy)) n c n F 1 c ; n c ;1; c ) xy, c, 1+cx)1+cy).) T n, x,y) = e nx+y) I n xy), c =..3) Here F 1 is the hypergeometric function and I is the modified Bessel function of first ind of order ; see [1, and 9.6.1]. From the proof of Theorem 1 in [5] we derive: Theorem. [5, Theorem 1]. Let n and c be as above, x,y I c. For c we have T n,c x,y) =.4) 1 1 c xy + ) n c 1+cx)1+cy) 4t c xy1+cx)1+cy)) dt. π t1 t) Moreover, T n, x,y) = 1 π e nx+y+t xy) 1 dt..5) 1 t

3 3 The function S n,c The functions p [c] n, are the fundamental functions in the construction of several classes of positive linear operators: see [5], [1], [18] and the references therein. In this paper we are interested in the function S n,c x) := p [c] n, x) ), x Ic. 3.1) For particularvalues ofcit wasconsidered in [8] in relationwith the problem of studying the non-multiplicativity of some classical positive linear operators. Obviously S n,c x) = T n,c x,x), x I c. 3.) Consequently, some properties of the function S n,c can be derived from the properties of T n,c. In particular, we have: Theorem 3.1 Let c. Then S n,c x) = 1+cx) n c If c =, then ) ) nn+c)...n+ 1)c) x, 3.3)! 1+cx n S n,c x) = 1+cx) nc F 1 c ; n ) ) cx c ;1;, 3.4) 1+cx S n,c x) = 1 π t+1 t)1+cx) ) n c dt t1 t). 3.5) S n, x) = e nx nx)!), 3.6) S n, x) = e nx I nx), 3.7) S n, x) = 1 π e nx1+t) 1 Proof. It suffices to combine 3.) with.1)-.5). dt. 3.8) 1 t Let c. Consider the function H n,c x) := S n,c x ) c 3.9) defined on,] if c >, and on [,1] if c <. The next result shows that S n,c and H n,c satisfy suitable differential equations. Concerning the Heun equations, see [9], [11], [1], [17], [19] and the references therein. 3

4 Theorem 3. i) The function S n,c is a solution to the differential equation x1+cx)1+cx)y x)+4n+c)x1+cx)+1)y x)+ 3.1) n1+cx)yx) =, x I c. ii) If c, the function H n,c is a solution to the Heun equation Proof. 1 y x)+ x + 1 n x 1 + c x 1 ) n y c x)+ x n c xx 1) )yx) x 1 =, 3.11) with parameters α = 1, β = n c, γ = 1, δ = 1, ǫ = n c, q = n c. i) Let c and n be given. The function wz) := F 1 n c, n c ;1;z) satisfies see [1, ]) c z1 z)w z)+cc n+c)z)w z) n wz) =. 3.1) According to 3.4) we have also ) ) cx w = 1+cx) n c Sn,c x). 3.13) 1+cx Now it is a matter of calculus to combine 3.1) and 3.13) in order to get 3.1) with c. Moreover, the function I z) satisfies see [1, 9.6.1]) zi z)+i z) zi z) =. 3.14) According to 3.7), I nx) = e nx S n, x). 3.15) Combining 3.14) and 3.15) it is easy to deduce 3.1) with c =. ii) For c it is again a matter of calculus to combine 3.9) and 3.1) in order to get 3.11). 4 The Bernstein and the Bleimann-Butzer-Hahn bases The functions p [ 1] n, x) = n ) x 1 x) n, =,1...n, x [,1] are the fundamental Bernstein polynomials, or shortly the Bernstein basis; see[4, 5..5]. For the sae of simplicity we shall use the notation F n x) := S n, 1 x) = n ) ) n x 1 x) n, x [,1]. 4.1) 4

5 Consider the Legendre polynomials see [1,.3.1]): n ) n P n x) = n x+1) x 1) n. 4.) Let x [, 1 ), t = x x+1 [1,+ ). 4.3) 1 x Thorsten Neuschel see [8]) proved that F n x) = t npn t 1) t), 4.4) and inferredthat F n is decreasingon [, 1 ] and increasingon [ 1,1] ; sohe solved a problem raised in [8]. Another problem was solved by Geno Niolov; using 4.4) he proved the following theorem and derived new inequalities involving the Legendre polynomials. Theorem 4.1 [14]). F n is a convex function. This result is also a consequence of the following representation: ) n n ) ) 1 n n F n x) = 4 n 4 x ) n ) This formula was proved in [6] by using Parseval s formula. Here we present a new proof of 4.5); see also Remar 4.4. To this end, set in 4.4) t = cosθ and x = 1 e iθ. Then F n x) = t t 1) npn t) = e nθi P n cosθ). 4.6) On the other hand see [1,.3.13], [15, 4.9.3]), ) n n ) ) 1 n n P n cosθ) = 4 n e n )θi. 4.7) n Now 4.5) is a consequence of 4.6) and 4.7). The next result provides another proof and a slight generalization) of Theorem 4.1. Theorem 4. For c <, S n,c is a convex function. Proof. For c < we have n = cl with some l N. According to 3.5), S n,c x) = 1 t+1 t)1+cx) ) [ l dt, x, 1 ]. 4.8) π t1 t) c It is elementary to verify that S n,c, and this concludes the proof. Other properties of the function F n are presented in the next theorem. 5

6 Theorem 4.3 a) F n satisfies the following relations: F n x) = 1 π t+1 t)1 x) ) n dt t1 t), 4.9) n+1)f n+1 x) n+1)1+1 x) )F n x)+n1 x) F n 1 x) =, 4.1) 1 x) F n+1 x) 1 x1 x))f n x)) = 4.11) n+x1 x))f n x) n+1)f n+1 x), F n+1 x) 1 x) F n 1 x) = 1 x)n 1)F n 1x) n+1)f n x)). 4.1) b) F n is a solution to the differential equation x1 x)1 x)y x)+1+4n 1)x1 x))y x)+n1 x)yx) =. 4.13) Equivalently, F n is a polynomial solution to the Heun equation 1 y x)+ x + 1 x 1 + n ) x 1 y x)+ nx n) xx 1) )yx) x 1 =, 4.14) with parameters α = 1, β = n, γ = 1, δ = 1, ǫ = n, q = n. c) The following inequality holds: F n x) 1 1+4n 1)x1 x), n 1,x [,1]. 4.15) Proof. a) 4.9) is a consequence of 3.5). From 4.3) we deduce that Now 4.4) and 4.17) imply On the other hand see [1,.7.1]), x = 1 t+ t 1, 4.16) t t 1 = 1 x, 4.17) dx dt = 1 x) 4x1 x). 4.18) P n t) = 1 x) n F n x). 4.19) n+1)p n+1 t) n+1)tp n t)+np n 1 t) =. 4.) 6

7 From 4.3), 4.19) and 4.) it is easy to deduce 4.1). As a consequence of 4.18) and 4.19) we have P n 1 x) n+1 t) = 1 x)f n 4x1 x) x)+nf nx)). 4.1) The following relations are satisfied by the Legendre polynomials see [13, 4.37)]): P n+1 t) tp n t) = n+1)p nt), 4.) P n+1t) P n 1t) = n+1)p n t). 4.3) Combining 4.3), 4.19), 4.1) and 4.) we get 4.11). To prove 4.1) it suffices to use 4.3), 4.1), 4.19) and 4.1). b) 4.13) and 4.14) are consequences of 3.1) and 3.11). c) According to Theorem 4.1, F n, so that from 4.13) we infer 1+4n 1)x1 x))f nx)+n1 x)f n x),x For n this leads to F n x) 1+4n 1)x1 x)) n n 1), x [, 1 ]. [, 1 ]. Using the symmetry with respect to 1, we get F n x) 1+4n 1)x1 x)) n n 1), x [,1],n. 4.4) This obviously implies 4.15) for n. Since F 1 x) 1, 4.15) is valid also for n = 1, and this concludes the proof. Remar ) can be derived from 4.9) by an elementary calculation. The rest of this section is devoted to the Bleimann-Butzer-Hahn basis, which consists of the functions see [4, 5..8]) ) n x 1+x) n, x [, ), =,1,...,n. Denote U n x) = n ) ) n x 1+x) n, n ) It is easy to verify that ) x U n x) = F n, x [, ). 4.6) 1+x Consequently, thepropertiesofthe functionsu n, presentedin the next corollary, can be easily deduced from those of the functions F n. 7

8 Corollary 4.5 a) U n is a solution to the differential equation x1 x)1+x) y x)+1+x)1+4nx x )y x)+n1 x)yx) =. 4.7) b) The following relations hold true: U n x) = 1 π t+1 t) ) ) n 1 x dt, 4.8) 1+x t1 t) ) n n ) ) 1 ) n n x 1 U n x) = 4 n, 4.9) n x+1 U n x) x+1, x,n ) x +4n )x+1 5 The Basaov basis. The Meyer-König and Zeller basis In this section we are concerned with other two bases, namely see [4, 5..6, 5.3.4)]) the Basaov basis: ) n+ 1 x 1+x) n, x [,+ ), =,1,..., the Meyer-König and Zeller basis: ) n+ x 1 x) n+1, x [,1), =,1,... Denote G n x) = ) ) n+ 1 x 1+x) n, 5.1) J n x) = ) ) n+ x 1 x) n+1. 5.) It is easy to verify that G n = S n,1 and ) x J n x) = G n+1, x [,1), 1 x 5.3) ) x G n x) = J n 1, x [,+ ). 1+x 5.4) 8

9 It was proved in [6] that It follows that J n x) = 4 n n n 1 G n x) = 4 1 n )!n )!! n )! )!n )!!) n 1)! In particular, G n and J n are convex functions. Theorem 5.1 a) G n satisfies the following relations: ) +1 1 x. 5.5) 1+x ) ) x+1 x1+x)1+x)g nx)+4n+1)x1+x)+1)g nx)+n1+x)g n x) =, 5.7) G n x) = 1 t+1 t)1+x) ) n dt, 5.8) π t1 t) G n x) 4n+1)x1+x)+1) n n+1). 5.9) b) G n x) is a rational solution to the Heun equation 1 y x)+ x + 1 x 1 + n ) x 1 y nx n x)+ xx 1) )yx) x 1 =,x <, 5.1) with parameters α = 1, β = n, γ = 1, δ = 1, ǫ = n, q = n. Proof. Since G n = S n,1, 5.7), 5.8) and 5.1) follow from Theorems 3.1 and 3.. In order to prove 5.9), recall that G n is convex; combined with 5.7), this yields 4n+1)x1+x)+1)G nx) n1+x)g n x), x. 5.11) Now it is easy to deduce 5.9) from 5.11). Corollary 5. a) J n satisfies the following relations: x1+x)1 x) J nx) 1 x) x 4n+1)x 1 ) J nx)+ 5.1) n+1)1+x)j n x) =, J n x) = 1 π t+1 t) J n x) ) ) n 1 1+x dt, 5.13) 1 x t1 t) 1 x) x +4n+6)x+1 ) n+1 n+). 5.14) 9

10 Proof. It suffices to use 5.3) and Theorem 5.1. To conclude this section, let us remar that from [5, 1)] it follows ) n 1+x) n 1 G n x), x. 5.15) n 1 1+x) n Combined with 5.3), this yields ) n 1 x J n x) n 1+x) n+1, x [,1). 5.16) 6 The Szász-Mirajan basis In this case the fundamental functions are see [4, 5.3.9]) e nxnx), x [,+ ), =,1,...! Consequently, we shall consider the function K n x) := Theorem 6.1 The function K n satisfies: xk ) e nxnx). 6.1)! n x)+4nx+1)k n x)+nk nx) =, 6.) K n x) = 1 π K n x) e nx1+t) 1 dt, 6.3) 1 t 1 4nx+1, x. 6.4) Proof. We have K n = S n,, so that 6.) and 6.3) follow from Theorems 3.1 and 3.. From 6.3) we deduce that K n is convex see also [6]) and so 6.) implies 4nx+1)K n x) nk nx), x. This leads immediately to 6.4) and the proof is finished. Remar 6. It was proved in [8] that inf G nx) =, n 1, 6.5) x inf K nx) =, n ) x Clearly 5.9) and 5.15) are stronger than 6.5), and 6.4) is stronger than 6.6). 1

11 7 Final remars For integral operators of the form Lfx) = I Kx,y)fy)dy, the properties of the function Sx) := I K x,y)dy will be presented in a forthcoming paper. There we will discuss similar problems for multivariate operators. We conclude this paper with Conjecture 7.1 logs n,c is a convex function. References [1] M. Abramowitz and I.A. Stegun, Handboo of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover Publications, Inc., New Yor, 197. [] A. Acu, H. Gonsa and I. Raşa, Grüss- and Ostrowsi-type inequalities in Approximation Theory, Urain. Math. Zh ), 73-74, and Urainian Math. J ), [3] A. Acu and M.-D. Rusu, New results concerning Chebyshev-Grüss-type inequalities via discrete oscillations, Appl. Math. Comput ), [4] F. Altomare and M. Campiti, Korovin-type Approximation Theory and its Applications, de Gruyter, Berlin-New Yor, [5] E. Berdysheva, Studying Basaov-Durrmeyer operators and quasiinterpolants via special functions, J. Approx. Theory 149 7), [6] I. Gavrea and M. Ivan, On a conjecture concerning the sum of the squared Bernstein polynomials, Appl. Math. Comput ), [7] I. Gavrea and G. Tachev, On the multiplicativity of linear operators, J. Math. Anal. Appl ), 3-8. [8] H. Gonsa, I. Raşa and M.-D. Rusu, Chebyshev-Grüss-type inequalities via discrete oscillations, Bul. Acad. Stiinte Repub. Mold. Mat. no. 1 74) 14), arxiv [math.ca]. [9] N. Gurappa and P.K. Panigrahi, On polynomial solutions of the Heun equation, J. Phys. A: Math. Gen. 37 4), L65-L68. [1] M. Heilmann, Erhöhung der Konvergenzgeschwindigeit bei der Approximation von Funtionen mit Hilfe von Linearombinationen spezieller positiver linearer Operatoren, Habilitationsschrift, Universität Dortmund,

12 [11] M.N. Hounonnou and A. Ronveaux, On a polynomial transformation of hypergeometric equations, Heun s differential equation and exceptional Jacobi polynomials, arxiv v1 [math-ph]. [1] G. Kristensson, Second Order Differential Equations. Special Functions and Their Classification, Springer, 1. [13] Gh. Mocică, Probleme de Funcţii Speciale, Editura Didactică şi Pedagogică, Bucureşti, [14] G. Niolov, Inequalities for ultraspherical polynomials. Proof of a conjecture of I. Raşa, J. Math. Anal. Appl ), [15] G. Szegő, Orthogonal Polynomials, AMS Colloquium Publ., vol. 3, [16] G. Tachev, On multiplicativity of the Bernstein operator, Comput. Math. Appl. 6 11), [17] K. Taemura, Heun s equation, generalized hypergeometric function and exceptional Jacobi polynomial, J. Phys. A: Math. Theor. 45 1), pp). arxiv [math.ca]. [18] M. Wagner, Quasi-Interpolaten zu genuinen Basaov-Durrmeyer-Typ Operatoren, Shaer Verlag, Aachen, 13. [19] Y.-Zh. Zhang, Exact polynomial solutions of second order differential equations and their applications, arxiv v1 [math-ph]. 1