Identities for families of orthogonal polynomials and special functions
Title:
Identities for families of orthogonal polynomials and special functions
Author:
Koepf, Wolfram
Appeared in:
Integral transforms and special functions
Paging:
Volume 5 (1997) nr. 1-2 pages 69-102
Year:
1997-05
Contents:
In this article we present new results for families of orthogonal polynomials and special functions, that are determined by algorithmical approaches. In the first section, we present new results, especially for discrete families of orthogonal polynomials, obtained by an application of the celebrated Zeilberger algorithm. Nest, we present algorithms for holonomic families f(nx) of special functions which possess a derivative rule. We call those families admissible. A family f(nx) is holonomic if it satisfies a holonomic recurrence equation with repect to n, and a holonomic differential equation eith repect to x, i.e. linear homogeneous equations with polynomial coefficients. The rather rigid property of admissibility has many interesting consequences, that can be used to generate and verify identities for these functions by linear algebra techniques. On the other hand, many families of special functions, in particular of orthogonal polynomials, are admissible. We moreover present a method that generates the derivative rule from the holonomic representation of a holonomic family. As examples, we find new identities for the Jacobi polynomials and for the Whittaker functions, and for families of discrete orthogonal polynomials by the given approach. Finally, we present representations for the parameter derivaties of the Gegenbauer and the generalized Laguerre polynomials.
Journal description