New formulae of squares of some Jacobi polynomials via hypergeometric functions

Hacettepe Journal of Mathematics and Statistics Volume 46 (2) (2017), 165  176 New formulae of squares of some Jacobi polynomials via hypergeometric functions W.M. Abd- Elhameed∗ † Abstract In this article, a new formula expressing explicitly the squares of Jacobi polynomials of certain parameters in terms of Jacobi polynomials of arbitrary parameters is derived. The derived formula is given in terms of ceratin terminating hypergeometric function of the type 4 F3 (1). In some cases, this 4 F3 (1) can be reduced by using some well-known reduction formulae in literature such as Watson's and Pfa-Saalschütz's identities. In some other cases, this 4 F3 (1) can be reduced by means of symbolic computation, and in particular Zeilberger's, Petkovsek's and van Hoeij's algorithms. Hence, some new squares formulae for Jacobi polynomials of special parameters can be deduced in reduced forms which are free of any hypergeometric functions. Jacobi polynomials; linearization coecients; generalized hypergeometric functions; computer algebra, standard reduction formulae 2000 AMS Classication: 33F10; 33C20; 33Cxx; 68W30 Keywords: Received : 23.02.2016 Accepted : 19.05.2016 Doi : 10.15672/HJMS.20164518618 1. Introduction The Jacobi polynomials are of fundamental importance in theoretical and applied mathematical analysis. The class of Jacobi polynomials contains six well-known families of orthogonal polynomials, they are, ultraspherical, Legendre and the four kinds of Chebyshev polynomials. The Jacobi polynomials in general and their six special polynomials in particular are extensively employed in obtaining numerical solutions of ordinary, fractional and partial dierential equations. In this respect, these polynomials are employed for the sake of obtaining spectral solutions for various kinds of dierential equations. For example, Abd-Elhameed in [1] has employed Legendre polynomials for solving linear and nonlinear sixth-order two point boundary value problems via an elegant harmonic numbers operational matrix of derivatives. Also, Chebyshev, ultraspherical and ∗Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt, Email: walee− † Corresponding Author. 166 Jacobi polynomials are used for solving various kinds of boundary value problems (see, for example [16, 5, 12]). The two problems of linearizing products of various orthogonal polynomials and the connection coecients between them are of interest. There are several old and recent studies in this direction. For example, the two problems concerning linearization and connection coecients of ultraspherical and Jacobi polynomials have been studied in several articles, see for instance [7, 18, 19, 20, 26, 9]. Some other investigations for the problems of the linearization and connection coecients for various orthogonal polynomials can be found in [10, 11, 3, 2, 4, 15, 23, 28, 29]. Recently, the problems of connection, duplication and linearization coecients of various orthogonal polynomials have been investigated in the Ph.D. thesis of Tcheutia [30]. To be more precise, and if we consider the two polynomials Fm (x) and Gn (x) of degrees m and n respectively, then the linearization problem requires to nd the linearization coecients Lm,n,k such that (1.1) Fm (x) Gn (x) = m+n X Lm,n,k Qk (x), k=0 and {Qk (x)}k≥0 is an arbitrary sequence of orthogonal polynomials. The following two special problems of (1.1) are of interest: : (1.2) (i) Clebsch-Gordan-type problem which requires to nd the coecients ξm,n,k such that Fm (x) Fn (x) = m+n X ξm,n,k Fk (x). k=0 : (ii) The connection problem, which requires to nd the coecients γm,k , such that Fm (x) = m X γm,k Qk (x). k=0 The principal aim of this article is to establish some new formulae for the squares of Jacobi polynomials of certain parameters. In particular, we nd the coecients Lm,n,k 1) (α,− 2 in (1.1) for the case corresponds to: m = n, Fm (x) = Gn (x) = Pm (γ,δ) Pk (x). (x), and Qk (x) = The rest of the paper is as follows. In Section 2, some mathematical preliminaries concerning some properties of the classical Jacobi polynomials are presented. Moreover, some transformation formulae between certain hypergeometric functions and also some standard formulae of ceratin hypergeometric functions are presented. In Section 3, we derive in detail a theorem in which a new squares formula of certain Jacobi polynomials is given in terms of Jacobi polynomials of arbitrary parameters. Moreover, in this section, and based on applying some standard formulae, some new linearization formulae are given in explicit forms free of any hypergeometric functions. In Section 4, we describe how symbolic computation, and in particular, the algorithms of Zeilberger, Petkovsek and van Hoeij can be utilized for obtaining some reduced linearization formulae of Jacobi polynomials of particular parameters. 167 2. Preliminaries and useful transformations This section is dedicated to presenting some properties of the classical Jacobi polynomials. Moreover, some important transformation formulae between some types of hypergeometric functions and also some standard reduction formulae of certain hypergeometric functions are displayed. The classical Jacobi polynomials associated with the real parameters (γ> −1, δ > −1) (see, Olver et al. (γ,δ) [25], Andrews et al. [6] and Rainville [27]), are a sequence of polynomials Pm (x), x ∈ [−1, 1] (m = 0, 1, 2, ...), each respectively of degree m. From now on, we use the following normalized Jacobi polynomials introduced by Rahman [26] and used in [14]. 2.1. Some relevant properties of the classical Jacobi polynomials. (γ,δ) Rm (x) = (2.1) (γ,δ) (x) (γ,δ) (1) Pm Pm  = 2 F1 = m! (γ,δ) Pm (x) (γ + 1)m −m, m + γ + δ + 1 γ+1 1−x 2  . (γ,δ) The polynomials Rm (x) satisfy the following orthogonality relation: ( Z 1 0, m 6= n, γ δ (γ,δ) (γ,δ) (2.2) (1 − x) (1 + x) Rm (x)Rn (x) dx = (γ,δ) hm , m = n, −1 where (2.3) h(γ,δ) = m 2γ+δ+1 m! Γ(m + δ + 1) [Γ(γ + 1)]2 . (2m + γ + δ + 1) Γ(m + γ + δ + 1) Γ(m + γ + 1) The advantage of using the normalized Jacobi polynomials in (2.1) is that its use yields directly the following six polynomials as special cases. 1) (α− 1 ,α− 2 2 (α) Cm (x) = Rm Um (x) = (m + (x), (1,1) 1) Rm2 2 (x), Wm (x) = (2m + ( 1 ,− 1 ) 1) Rm2 2 (x), 1 ,− 1 ) (− 2 2 Tm (x) = Rm Vm (x) = (x), (− 1 , 1 ) Rm 2 2 (x), (0,0) Pm (x) = Rm (x), where Ci(α) (x), Ti (x), Ui (x), Vi (x), Wi (x) and Pi (x) are the ultraspherical, Chebyshev of the rst, second, third and fourth kinds, and Legendre polynomials, respectively. The following identity is also important. (2.4) (γ,δ) Rm (−x) = (−1)m Γ(γ + 1) Γ(m + δ + 1) (δ,γ) Rm (x). Γ(δ + 1) Γ(m + γ + 1) For more properties on Jacobi polynomials in general and their special polynomials in particular, one can be referred to the important books of Andrews et al. [6] and Mason and Handscomb. [24]. Recall the following well-known denition of the gen (...truncated)