In mathematics, two polynomials f and g are orthogonal to each other with respect to a nonnegative "weight function" w precisely if
In other words, if polynomials are treated as vectors and the inner product of two polynomials f(x) and g(x) is defined as
then the orthogonal polynomials are simply orthogonal vectors in this inner product space.
A polynomial sequence pn(x) for n = 0, 1, 2, ... , where pn(x) has degree n, is said to be a sequence of orthogonal polynomials with respect to a "weight function" w when any two of them are orthogonal with respect to that weight function, i.e.,
The sequence of orthogonal polynomials can be successively constructed by carrying out the Gram-Schmidt process with the sequence of powers
, where the positive-definite inner product
on the space of polynomials is given by the integral above.
General properties of orthogonal polynomials
- Three-term recurrence relations
For each non-negative weight function the corresponding orthogonal polynomials obey a recurrence relation
- fn + 1 = (an + xbn)fn - cnfn - 1
where the constants an, bn and cn are given by
and kn and kn' are the leading terms in the expansion of the polynomial:
- fn(x) = knxn + kn'xn - 1 + ...
and hn is the normalization, defined below.
The classical orthogonal polynomials
The collective name "classical orthogonal polynomials" refers to a class of orthogonal polynomials which are distinguished by several characteristic properties. They occur in many applications including mathematical physics, interpolation theory , the theory of random matrices and many others and have been therefore studied in mathematics since a long time. Some of their characteristic properties will be outlined in the following subsections:
Differential equation
The classical orthogonal polynomials satisfy a second-order differential equation
- g2(x)fn''(x) + g1(x)fn'(x) + dnfn(x) = 0
where g1(x) and g2(x) are independent of n and dn is a constant that depends only on n. The coefficient function g2(x) is a polynomial of degree
, the coefficient g1(x) is a polynomial of degree
.
Existence of a Rodrigues formula
Every classical orthogonal polynomial can be obtained via a so-called Rodrigues formula:
where w(x) is the defining weight function of the series of orthogonal polynomials (defined in the list below) and en is a constant depending only on n, and g(x) is a polynomial independent of n.
The orthogonality relationship is
where δmn is the Kronecker delta and hn is defined in the table below for each weight function.
See also
References