The main purpose of the current article is to develop new specific and general linearization formulas of some classes of Jacobi polynomials. The basic idea behind the derivation of these formulas is based on reducing the linearization coefficients which are represented in terms of the Kampé de Fériet function for some particular choices of the involved parameters. In some cases, the required reduction is performed with the aid of some standard reduction formulas for certain hypergeometric functions of unit argument, while, in other cases, the reduction cannot be done via standard formulas, so we resort to certain symbolic algebraic computation, and specifically the algorithms of Zeilberger, Petkovsek, and van Hoeij. Some new linearization formulas of ultraspherical polynomials and third-and fourth-kinds Chebyshev polynomials are established.
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
