- Research
- Open access
- Published:
Linearization coefficients of some particular Jacobi polynomials via hypergeometric functions
Advances in Difference Equations volume 2016, Article number: 91 (2016)
Abstract
The main purpose of the present paper is to establish two new linearization formulas for certain Jacobi polynomials. The new established formulas are expressed in terms of terminating hypergeometric functions of the type \({}_{4}F_{3}(1)\). In virtue of the well-known Pfaff-Saalschütz identity, or by using some computer algebra algorithms, and in particular, the algorithms of Zeilberger, Petkovsek and van Hoeij, the resulting \({}_{4}F_{3}(1)\) can be reduced for particular choices of the involved parameters. This reduction leads to obtaining several simple linearization formulas of some particular Jacobi polynomials free of any hypergeometric functions.
1 Introduction
Linearization problems of orthogonal polynomials in general and of Jacobi polynomials in particular are of fundamental importance. Moreover, the connection problems between various orthogonal polynomials are also of old and recent interests. The linearization and connection coefficients problems of Jacobi polynomials have been extensively investigated by a large number of authors. For some studies in this direction, one can be referred to [1–8]. Some other studies about the connection and linearization problems for various orthogonal polynomials can be found in [9–14].
The class of Jacobi polynomials contains six important subclasses. The four polynomials, namely, the Chebyshev polynomials of the first and second kinds, the Legendre and ultraspherical polynomials are symmetric Jacobi polynomials, while the two polynomials, namely, the Chebyshev polynomials of third and fourth kinds are nonsymmetric Jacobi polynomials. The six special families of Jacobi polynomials are extensively used for numerically solving various kinds of boundary value problems (see, for example, [15–17]).
The linearization coefficients of the Jacobi polynomials are usually given in forms involving terminating hypergeometric functions. The Ph.D. dissertation of Tcheutia [18] exhibits a detailed study of the linearization coefficients of various orthogonal polynomials. Also, the author in his dissertation has discussed the connection and duplication problems of various classical orthogonal polynomials. Recently, Doha and Abd-Elhameed in [19] have derived in detail new linearization formulas of the third and fourth kinds of Chebyshev polynomials. They expressed these formulas in simple forms which are free of any hypergeometric functions, while Abd-Elhameed in [20, 21] and Abd-Elhameed et al. in [22] have developed some new linearization formulas for certain Jacobi polynomials.
Let \(\{P_{n}\}_{n\ge0}\) be a polynomial set and consider the two polynomials \(A_{i}(x)\) and \(B_{j}(x)\) with degrees i and j, respectively, then the solution of the general linearization problem requires one to obtain the linearization coefficients \(L_{i,j,k}\) such that
The linearization problem (1) has the following two important particular problems:
-
(i)
The standard linearization problem, which is called a Clebsch-Gordan-type problem. The solution of this problem requires one to find the coefficients \(\gamma_{i,j,k}\) such that
$$ A_{i}(x) A_{j}(x)=\sum _{k=0}^{i+j}\gamma_{i,j,k} A_{k}(x). $$(2) -
(ii)
The connection problem. This problem requires one to find the connection coefficients \(\xi_{i,k}\) in the equation
$$A_{i}(x)=\sum_{k=0}^{i} \xi_{i,k} P_{k}(x). $$
We can summarize the objectives of this paper in the following two items:
-
Establishing some new linearization formulas of Jacobi polynomials for special choices of their parameters.
-
Establishing some new linearization formulas of the four kinds of Chebyshev polynomials.
As far as we know, the derived formulas are traceless in the literature.
The rest of the paper is as follows. First, preliminaries and transformation formulas between some hypergeometric functions are displayed in Section 2. In Section 3, we derive in detail the main linearization formula of particular Jacobi polynomials. Moreover, in this section, and based on using Pfaff-Saalschütz identity, some reduced linearization formulas are also obtained. Section 4 is devoted to utilizing some symbolic computation, and in particular, the celebrated algorithms of Zeilberger, Petkovsek, and van Hoeij, for the sake of obtaining some new linearization formulas of the four kinds of Chebyshev polynomials in reduced forms. In Section 5, we show the importance of the developed formulas by presenting two applications of them.
2 Preliminaries and used formulas
This section is dedicated to presenting an overview on some basic properties of the classical Jacobi polynomials which are useful in the sequel. Besides, we present transformation formulas between some kinds of hypergeometric functions.
2.1 Some relevant properties of the classical Jacobi polynomials
The classical Jacobi polynomials associated with the real parameters (\(\gamma>-1\), \(\delta>-1\)) (see Olver et al. [23] and Andrews et al. [24]), are a sequence of polynomials \(P_{i}^{(\gamma,\delta)}(x)\), \(x\in[-1,1] \) (\(i=0,1,2,\ldots\)), each respectively of degree i. From now on, we use the normalized Jacobi polynomials which were used in Refs. [5, 22, 25]. We have
The polynomials \(R_{j}^{(\gamma,\delta)}(x)\) are orthogonal on \([-1,1]\) with respect to \(w(x)=(1-x)^{\gamma} (1+x)^{\delta}\), in the sense that
It is worthy to mention here that the main advantage of using the normalized Jacobi polynomials which defined in (3) is that the six special polynomials of the Jacobi polynomials are given by the following simple forms:
where \(C_{i}^{(\gamma)}(x)\), \(T_{i}(x)\), \(U_{i}(x)\), \(V_{i}(x)\), \(W_{i}(x) \), and \(P_{i}(x)\) are the ultraspherical, Chebyshev of the first, second, third, and fourth kinds, and Legendre polynomials, respectively.
The following identity is also of interest:
For more properties on Jacobi polynomials and their special polynomials, one can be referred to the important books [24] and [26].
2.2 Some hypergeometric transformation formulas
First, recall the well-known definition of the generalized hypergeometric function,
where the symbols \([a_{p} ]\) and \([b_{q} ]\) denote, respectively, the two sets \(\{a_{1},a_{2},\ldots,a_{p} \}\) and \(\{b_{1},b_{2},\ldots,b_{q} \}\) of complex or real parameters, where \(b_{i}\neq0\), for all \(1\le i\le q\), and \((a_{p})_{k}=\prod_{i=1}^{p}(a_{i})_{k}\), \((b_{q})_{k}=\prod_{j=1}^{q}(b_{j})_{k}\).
The following three theorems are of fundamental importance in establishing our results.
Theorem 1
Let m, p, q, r, s, t, u be nonnegative integers. The following transformation formula holds (see [27] and [28]):
Theorem 2
(Pfaff-Saalschütz identity (see [23]))
For \(c+d=a+b+1-m\), \(m=0,1,2,\ldots\) , one has
Theorem 3
The following transformation formula holds (see [29]):
3 Establishing linearization formulas of particular Jacobi polynomials
This section aims to establish new linearization formulas of products of some particular Jacobi polynomials.
Theorem 4
Let n be a nonnegative integer. The following linearization formula is valid:
Proof
First, the Gauss hypergeometric form of the orthogonal polynomials, \(R^{(\alpha ,\beta )}_{n}(x)\), enables one to write
and in virtue of transformation (8), equation (10) can be turned into the form
Now, if Theorem 1 is applied, accompanied with the choices
and if the remaining parameters in (6) are chosen suitably, then the following transformation formula is obtained:
and this formula immediately yields (9).
Theorem 4 is now proved. □
Now, we replace x in (9) by −x, and with the aid of identity (5), the following linearization formula can easily be obtained.
Corollary 1
Let n be a nonnegative integer. The following linearization formula is valid:
Corollary 2
For the case corresponding to \(\gamma=\alpha\) and \(\delta=\frac{1}{2}\), the linearization formula (9) is reduced to the following formula:
Proof
Substituting \(\gamma=\alpha\) and \(\delta=\frac{1}{2}\) into equation (9) yields
\({}_{3}F_{2}(1)\) in (15) is one-balanced, so it can be summed making use of Pfaff-Saalschütz identity (7) to give
The last reduction formula enables one to write the linearization formula (15) in the reduced form given in (14).
Corollary 2 is proved. □
The following two important linearization formulas can be obtained by setting, respectively, \(\alpha=\frac{1}{2},-\frac{1}{2}\).
Corollary 3
Let n be a nonnegative integer. The following two linearization formulas are valid:
and
Remark 1
It is worthy to note here that the two linearization formulas (17) and (18) of Chebyshev polynomials can also be obtained from their trigonometric representations.
4 Some new linearization formulas via employing computer algebra algorithms
The main aim of this section is to establish some other new linearization formulas free of any hypergeometric functions. The basic idea upon deriving the desired linearization formulas is essentially based upon employing some symbolic computation such as Zeilberger’s, Petkovsek’s and van Hoeij’s algorithms, for the sake of reducing the \({}_{4}F_{3}(1)\), which appears in (9), for certain choices of the involved parameters. This leads to obtaining some new linearization formulas of Jacobi polynomials of particular parameters.
Corollary 4
Setting \(\alpha=\frac{1}{2}\) and \(\gamma=\delta=-\frac{1}{2}\) in (9) yields the following linearization formula:
where
Proof
Substituting \(\alpha=\frac{1}{2}\) and \(\gamma=\delta=-\frac{1}{2}\) into equation (9) yields
To the best of our knowledge, the \({}_{4}F_{3}(1)\) in (21) cannot be summed by using any standard formulas in the literature, so we employ computer algebra for the desired reduction. If we set
then with the aid of Zeilberger’s algorithm (see for instance, Koepf [30]), the third-order recurrence relation satisfied by \(M_{\ell,n}\) with respect to ℓ is
with the initial values
It can be shown that the third-order recurrence equation (22) has the following exact solution:
and therefore \({}_{4}F_{3}(1)\) in (21) has the following reduction formula:
The last reduction formula along with equation (21)-after performing some manipulations-leads to the following linearization formula:
Corollary 4 is proved. □
Remark 2
It is worthy to note the ‘sumrecursion command’ in the Maple software may be employed to obtain the recurrence relation (22).
Remark 3
It is worthy to note here that the algorithm of Petkovsek (see Koepf [30], Chapter 9), or the improved version of van Hoeij [31], may be employed in order to obtain the exact solution (23) of the third-order recurrence equation (22).
Corollary 5
Setting \(\alpha=\delta=\frac{1}{2}\) and \(\gamma=-\frac{1}{2}\) in (9) yields the following linearization formula:
Proof
Substituting \(\alpha=\delta=\frac{1}{2}\) and \(\gamma=-\frac{1}{2}\) into equation (9) yields
Now, if we set
then with the aid of Zeilberger’s algorithm, the second-order recurrence relation satisfied by \(G_{\ell,n}\) with respect to ℓ is
with the initial values
It can be shown that the recurrence equation (26) has the following exact solution:
and this accordingly implies that \({}_{4}F_{3}(1)\) in (25) has the following reduction formula:
The last reduction formula along with equation (25)-after performing some manipulations-lead to the following linearization formula:
Corollary 5 is proved. □
Corollary 6
Setting \(\alpha=-\frac{1}{2}\) and \(\delta=\gamma\) in (9) yields the following linearization formula:
Proof
At first, and with the aid of the Legendre duplication formula
it is easy to see that
and hence the linearization formula (9) for the case corresponds to the choice \(\alpha=-\frac{1}{2}\) and \(\delta=\gamma\) is turned into
Now, if we set
then in virtue of Zeilberger’s algorithm, the second-order recurrence relation satisfied by \(M_{\ell,n,\gamma}\) with respect to ℓ is
with the initial values
The exact solution of (30) is given by
and therefore the following linearization formula is obtained:
where the coefficients \(B_{j,n,\gamma}\) are given explicitly by
and consequently, the linearization formula (32) can be written alternatively as in (28). Corollary 6 is now proved. □
In the following corollary, we state three special linearization formulas of (28).
Corollary 7
Setting \(\gamma=0,\frac{1}{2}, \textit{and }1\), respectively, in (28), yields the following three linearization formulas:
and \(\xi_{n}\) is defined in (20).
Now, and by following similar procedures to those followed in Corollary 6, some other linearization formulas can be obtained. Some of these formulas are stated in the following three corollaries without proofs.
Corollary 8
Setting \(\alpha=\gamma=-\frac{1}{2}\), in equation (9) yields the following linearization formula:
Corollary 9
Setting \(\alpha=-\frac{1}{2}\), \(\gamma=\frac{1}{2}\), in equation (9) yields the following linearization formula:
Corollary 10
Setting \(\alpha=-\frac{1}{2}\), \(\delta=\gamma+1\), in equation (9) yields the following linearization formula:
5 Two applications for the derived formulas
This section is concerned with presenting two applications for the linearization formulas which derived in Sections 3 and 4. In the first application, some new identities of definite integrals involving products of certain Jacobi polynomials are given. In the second application, we give some new trigonometric identities by transporting the linearization formulas to their trigonometric representations.
5.1 Some integral formulas
Theorem 5
Let n and m be nonnegative integers with \(m\le2n+1\). For all \(\gamma,\delta>-1\), one has
Proof
The proof follows from the linearization formulas (9) by the multiplication of its sides by \((1-x)^{\gamma} (1+x)^{\delta} R_{m}^{(\gamma,\delta)}(x)\), and then integrating over \((-1,1)\). □
Some other integral formulas free of any hypergeometric functions follow from the linearization formulas obtained in Sections 3 and 4. For example, Corollaries 2 and 3 yield the following three integrals.
Corollary 11
Let n and m be nonnegative integers with \(m\le2n+1\). The following integral formulas are valid:
and, in particular, we have
5.2 Introducing trigonometric identities
Some linearization formulas given in Sections 3 and 4 can be transported to give some new trigonometric identities. In the following, we give a trigonometric representation for equation (35).
Corollary 12
For all \(n\ge1\), the following trigonometric identity is valid:
Remark 4
Several trigonometric identities can be deduced from other linearization formulas obtained in Sections 3 and 4.
References
Askey, R, Gasper, G: Linearization of the product of Jacobi polynomials. III. Can. J. Math. 23, 332-338 (1971)
Gasper, G: Linearization of the product of Jacobi polynomials. I. Can. J. Math. 22, 171-175 (1970)
Gasper, G: Linearization of the product of Jacobi polynomials. II. Can. J. Math. 22, 582-593 (1970)
Hylleraas, EA: Linearization of products of Jacobi polynomials. Math. Scand. 10, 189-200 (1962)
Rahman, M: A non-negative representation of the linearization coefficients of the product of Jacobi polynomials. Can. J. Math. 33(4), 915-928 (1981)
Chaggara, H, Koepf, W: On linearization coefficients of Jacobi polynomials. Appl. Math. Lett. 23(5), 609-614 (2010)
Doha, EH: On the construction of recurrence relations for the expansion and connection coefficients in series of Jacobi polynomials. J. Phys. A, Math. Gen. 37(3), 657-675 (2004)
Sánchez-Ruiz, J: Linearization and connection formulae involving squares of Gegenbauer polynomials. Appl. Math. Lett. 14(3), 261-267 (2001)
Doha, EH: On the connection coefficients and recurrence relations arising from expansions in series of Laguerre polynomials. J. Phys. A, Math. Gen. 36(20), 5449-5462 (2003)
Doha, EH, Ahmed, HM: Recurrences and explicit formulae for the expansion and connection coefficients in series of Bessel polynomials. J. Phys. A, Math. Gen. 37(33), 8045-8063 (2004)
Maroni, P, da Rocha, Z: Connection coefficients between orthogonal polynomials and the canonical sequence: an approach based on symbolic computation. Numer. Algorithms 47(3), 291-314 (2008)
Sánchez-Ruiz, J, Dehesa, JS: Some connection and linearization problems for polynomials in and beyond the Askey scheme. J. Comput. Appl. Math. 133(1), 579-591 (2001)
Koornwinder, T: Positivity proofs for linearization and connection coefficients of orthogonal polynomials satisfying an addition formula. J. Lond. Math. Soc. 2(1), 101-114 (1978)
Foupouagnigni, M, Koepf, W, Tcheutia, DD: Connection and linearization coefficients of the Askey-Wilson polynomials. J. Symb. Comput. 53, 96-118 (2013)
Abd-Elhameed, WM: On solving linear and nonlinear sixth-order two point boundary value problems via an elegant harmonic numbers operational matrix of derivatives. Comput. Model. Eng. Sci. 101(3), 159-185 (2014)
Doha, EH, Abd-Elhameed, WM: Integrals of Chebyshev polynomials of third and fourth kinds: an application to solution of boundary value problems with polynomial coefficients. J. Contemp. Math. Anal. 49(6), 296-308 (2014)
Doha, EH, Abd-Elhameed, WM, Bassuony, MA: New algorithms for solving high even-order differential equations using third and fourth Chebyshev-Galerkin methods. J. Comput. Phys. 236, 563-579 (2013)
Tcheutia, DD: On Connection, Linearization and Duplication Coefficients of Classical Orthogonal Polynomials. PhD thesis, Universität Kassel (2014). Available at https://kobra.bibliothek.uni-kassel.de/handle/urn:nbn:de:hebis:34-2014071645714
Doha, EH, Abd-Elhameed, WM: New linearization formulae for the products of Chebyshev polynomials of third and fourth kind. Rocky Mt. J. Math. (to appear)
Abd-Elhameed, WM: New formulas for the linearization coefficients of some nonsymmetric Jacobi polynomials. Adv. Differ. Equ. 2015, 168 (2015)
Abd-Elhameed, WM: New product and linearization formulae of Jacobi polynomials of certain parameters. Integral Transforms Spec. Funct. 26(8), 586-599 (2015)
Abd-Elhameed, WM, Doha, EH, Ahmed, HM: Linearization formulae for certain Jacobi polynomials. Ramanujan J. 39(1), 155-168 (2016)
Olver, FWJ, Lozier, DW, Boisvert, RF, Clark, CW: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010). DLMF, Digital Library of Mathematical Functions. http://dlmf.nist.gov
Andrews, GE, Askey, R, Roy, R: Special Functions. Cambridge University Press, Cambridge (1999)
Doha, EH, Abd-Elhameed, VM, Ahmed, H: The coefficients of differentiated expansions of double and triple Jacobi polynomials. Bull. Iran. Math. Soc. 38(3), 739-765 (2012)
Mason, JC, Handscomb, DC: Chebyshev Polynomials. Chapman and Hall/CRC, Boca Raton (2010)
Fields, JL, Wimp, J: Expansions of hypergeometric functions in hypergeometric functions. Math. Comput. 15(76), 390-395 (1961)
Luke, YL: The Special Functions and Their Approximations. Academic Press, New York (1969)
Bateman, H, Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, FG: Higher Transcendental Functions, vol. I. McGraw-Hill, New York (1953)
Koepf, W: Hypergeometric Summation, 2nd edn. Springer Universitext Series. Springer, Berlin (2014). http://www.hypergeometric-summation.org
van Hoeij, M: Finite singularities and hypergeometric solutions of linear recurrence equations. J. Pure Appl. Algebra 139(1), 109-131 (1999)
Acknowledgements
The author would like to thank the anonymous referees for carefully reading the paper and for their comments, which have improved the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author declares that he carried out all the work in this manuscript and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Abd-Elhameed, W.M. Linearization coefficients of some particular Jacobi polynomials via hypergeometric functions. Adv Differ Equ 2016, 91 (2016). https://doi.org/10.1186/s13662-016-0826-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0826-2