Orthogonal Polynomials

Orthogonal polynomials are classes of polynomials defined over a range that obey an orthogonality relation

(1)

where is a weighting function and is the Kronecker delta. If , then the polynomials are not only orthogonal, but orthonormal.

Orthogonal polynomials have very useful properties in the solution of mathematical and physical problems. Just as Fourier series provide a convenient method of expanding a periodic function in a series of linearly independent terms, orthogonal polynomials provide a natural way to solve, expand, and interpret solutions to many types of important differential equations. Orthogonal polynomials are especially easy to generate using Gram-Schmidt orthonormalization.

A table of common orthogonal polynomials is given below, where is the weighting function and

(2)

(Abramowitz and Stegun 1972, pp. 774-775).

polynomial	interval
Chebyshev polynomial of the first kind
Chebyshev polynomial of the second kind
Gegenbauer polynomial
Hermite polynomial
Jacobi polynomial
Laguerre polynomial			1
generalized Laguerre polynomial
Legendre polynomial		1

In the above table,

(3)

where is a gamma function.

The roots of orthogonal polynomials possess many rather surprising and useful properties. For instance, let be the roots of the with and . Then each interval for , 1, ..., contains exactly one root of . Between two roots of there is at least one root of for .

Let be an arbitrary real constant, then the polynomial

(4)

has distinct real roots. If (), these roots lie in the interior of , with the exception of the greatest (least) root which lies in only for

(5)

The following decomposition into partial fractions holds

(6)

where are the roots of and

			(7)
			(8)

Another interesting property is obtained by letting be the orthonormal set of polynomials associated with the distribution on . Then the convergents of the continued fraction

(9)

are given by

			(10)
			(11)
			(12)

where , 1, ... and

(13)

Furthermore, the roots of the orthogonal polynomials associated with the distribution on the interval are real and distinct and are located in the interior of the interval .