Gegenbauer polynomials
In mathematics, Gegenbauer polynomials or ultraspherical polynomials C are orthogonal polynomials on the interval with respect to the weight function α–1/2. They generalize Legendre polynomials and Chebyshev polynomials, and are special cases of Jacobi polynomials. They are named after Leopold Gegenbauer.
Characterizations
A variety of characterizations of the Gegenbauer polynomials are available.- The polynomials can be defined in terms of their generating function:
- The polynomials satisfy the recurrence relation:
- Gegenbauer polynomials are particular solutions of the Gegenbauer differential equation:
- They are given as Gaussian hypergeometric series in certain cases where the series is in fact finite:
- They are special cases of the Jacobi polynomials:
- An alternative normalization sets. Assuming this alternative normalization, the derivatives of Gegenbauer are expressed in terms of Gegenbauer:
Orthogonality and normalization
To wit, for n ≠ m,
They are normalized by
Applications
The Gegenbauer polynomials appear naturally as extensions of Legendre polynomials in the context of potential theory and harmonic analysis. The Newtonian potential in Rn has the expansion, valid with α = /2,When n = 3, this gives the Legendre polynomial expansion of the gravitational potential. Similar expressions are available for the expansion of the Poisson kernel in a ball.
It follows that the quantities are spherical harmonics, when regarded as a function of x only. They are, in fact, exactly the zonal spherical harmonics, up to a normalizing constant.
Gegenbauer polynomials also appear in the theory of positive-definite functions.
The Askey–Gasper inequality reads
In spectral methods for solving differential equations, if a function is expanded in the basis of Chebyshev polynomials and its derivative is represented in a Gegenbauer/ultraspherical basis, then the derivative operator becomes a diagonal matrix, leading to fast banded matrix methods for large problems.
Other properties
Dirichlet–Mehler-type integral representation:Laplace-type integral representationAddition formula:Asymptotics
Given fixed, uniformly for all, for,where is the Pochhammer symbol, andThe remainder has an explicit upper bound:where is the Gamma function.
Other asymptotic formulas can be obtained as special cases of asymptotic formulas for the more general Jacobi polynomials.