Orthogonal polynomials
A system of polynomials which satisfy the condition of orthogonality
![]() |
whereby the degree of every polynomial is equal to its index
, and the weight function (weight)
on the interval
or (when
and
are finite) on
. Orthogonal polynomials are said to be orthonormalized, and are denoted by
, if every polynomial has positive leading coefficient and if the normalizing condition
![]() |
is fulfilled. If the leading coefficient of each polynomial is equal to 1, then the system of orthogonal polynomials is denoted by .
The system of orthogonal polynomials is uniquely defined if the weight function (differential weight)
is Lebesgue integrable on
, is not equivalent to zero and, in the case of an unbounded interval
, has finite moments
![]() |
Instead of a differential weight , an integral weight
can be examined, where
is a bounded non-decreasing function with an infinite set of points of growth (in this case, the integral in the condition of orthogonality is understood in the Lebesgue–Stieltjes sense).
For the polynomial of degree
to be part of the system
with weight
, it is necessary and sufficient that, for any polynomial
of degree
, the condition
![]() |
is fulfilled. If the interval of orthogonality is symmetric with respect to the origin and the weight function
is even, then every polynomial
contains only those degrees of
which have the parity of the number
, i.e. one has the identity
![]() |
The zeros of orthogonal polynomials in the case of the interval are all real, different and distributed within
, while between two neighbouring zeros of the polynomial
there is one zero of the polynomial
. Zeros of orthogonal polynomials are often used as interpolation points and in quadrature formulas.
Any three consecutive polynomials of a system of orthogonal polynomials are related by a recurrence formula
![]() |
where
![]() |
![]() |
![]() |
![]() |
![]() |
The number is a normalization factor of the polynomial
, such that the system
is orthonormalized, i.e.
![]() |
For orthogonal polynomials one has the Christoffel–Darboux formula:
![]() |
![]() |
Orthogonal polynomials are represented in terms of the moments of the weight function
by the formula
![]() |
where
![]() |
while the determinant is obtained from
by cancelling the last row and column and
is defined in the same way from
.
On a set of polynomials of degree
with leading coefficient equal to one, the minimum of the functional
![]() |
is achieved if and only if
![]() |
moreover, this minimum is equal to .
If the polynomials are orthonormal with weight
on the segment
, then when
, the polynomials
![]() |
are orthonormal with weight on the segment
which transfers to the segment
as a result of the linear transformation
. For this reason, when studying the asymptotic properties of orthogonal polynomials, the case of the standard segment
is considered first, while the results thus obtained cover other cases as well.
The most important orthogonal polynomials encountered in solving boundary problems of mathematical physics are the so-called classical orthogonal polynomials: the Laguerre polynomials (for which
,
, and with interval of orthogonality
); the Hermite polynomials
(for which
, and with interval of orthogonality
); the Jacobi polynomials
(for which
,
,
, and with interval of orthogonality
) and their particular cases: the ultraspherical polynomials, or Gegenbauer polynomials,
(for which
), the Legendre polynomials
(for which
), the Chebyshev polynomials of the first kind
(for which
) and of the second kind
(for which
).
The weight function of the classical orthogonal polynomials
satisfies the Pearson differential equation
![]() |
whereby, at the ends of the interval of orthogonality, the conditions
![]() |
are fulfilled.
The polynomial satisfies the differential equation
![]() |
For classical orthogonal polynomials one has the generalized Rodrigues formula
![]() |
where is a normalization coefficient, and the differentiation formulas
![]() |
![]() |
For particular cases of the classical orthogonal polynomials one has representations using the hypergeometric function
![]() |
![]() |
![]() |
![]() |
and using the degenerate hypergeometric function
![]() |
![]() |
![]() |
Historically, the first orthogonal polynomials were the Legendre polynomials. Then came the Chebyshev polynomials, the general Jacobi polynomials, the Hermite and the Laguerre polynomials. All these classical orthogonal polynomials play an important role in many applied problems.
The general theory of orthogonal polynomials was formulated by P.L. Chebyshev. The basic research apparatus used was the continued fraction expansion of the integral
![]() |
the denominators of the convergents of this continued fraction form a system of orthogonal polynomials on the interval with weight
.
In the study of orthogonal polynomials, great attention is paid to their asymptotic properties, since the conditions of convergence of Fourier series in orthogonal polynomials depend on these properties.
The asymptotic properties of the classical orthogonal polynomials were first studied by V.A. Steklov in 1907 (see [8]). He used and perfected the Liouville method, which was previously used in the study of solutions of the Sturm–Liouville equation. The Liouville–Steklov method was subsequently widely used, as a result of which the asymptotic properties of the Jacobi, Hermite and Laguerre orthogonal polynomials have been studied extensively.
In the general case of orthogonality on with arbitrary weight satisfying certain qualitative conditions, asymptotic formulas for orthogonal polynomials were first discovered by G. Szegö in 1920–1924. He introduced polynomials which were orthogonal on the circle, studied their basic properties and found an extremely important formula, representing polynomials orthogonal on
by polynomials orthogonal on the circle. In his study of the asymptotic properties of polynomials orthogonal on the circle, Szegö developed a method based on a special generalization of the Fejér theorem on the representation of non-negative trigonometric polynomials by using methods and results of the theory of analytic functions.
In 1930, S.N. Bernstein [S.N. Bernshtein] [2], in his research on the asymptotic properties of orthogonal polynomials, used methods and results of the theory of approximation of functions. He examined the case of a weight function of the form
![]() | (1) |
where the function , called a trigonometric weight, satisfies the condition
![]() |
If on the whole segment the function
satisfies a Dini–Lipschitz condition of order
, where
, i.e. if
![]() |
then for the polynomials orthonormal with weight (1) on the whole segment
, one has the asymptotic formula
![]() |
where and
depends on
.
In the study of the convergence of Fourier series in orthogonal polynomials the question arises of the conditions of boundedness of the orthogonal polynomials, either at a single point, on a set or on the whole interval of orthogonality
, i.e. conditions are examined under which an inequality of the type
![]() | (2) |
occurs. Steklov first posed this question in 1921. If the trigonometric weight is bounded away from zero on a set
, i.e. if
![]() | (3) |
and satisfies certain extra conditions, then the inequality (2) holds. In the general case,
![]() | (4) |
follows from (3), when , without extra conditions.
The zeros of the weight function are singular points in the sense that the properties of the sequence are essentially different at the zeros and at other points of the interval of orthogonality. For example, let the weight function have the form
![]() |
If the function is positive and satisfies a Lipschitz condition on
, then the sequence
is bounded on every segment
which does not contain the points
, while the inequalities
![]() |
hold at the zeros.
The case where the zeros of the weight function are positioned at the ends of the segment of orthogonality was studied by Bernstein [2]. One of the results is that if the weight function has the form
![]() |
where the function is positive and satisfies a Lipschitz condition, then for
,
, the orthogonal polynomials permit the weighted estimation
![]() |
while at the points they increase at a rate
and
, respectively.
In the theory of orthogonal polynomials, so-called comparison theorems are often studied. One such is the Korous comparison theorem: If the polynomials are orthogonal with weight
on the segment
and are uniformly bounded on a set
, then the polynomials
, orthogonal with weight
, are also bounded on this set, provided
is positive and satisfies a Lipschitz condition of order
on
. Similarly, given certain conditions on
, asymptotic formulas or other asymptotic properties can be transferred from the system
to the system
. Moreover, if
is a non-negative polynomial of degree
on
, then the polynomials
can be represented by the polynomials
using determinants of order
(see [8]). Effective formulas for orthogonal polynomials have also been obtained for weight functions of the form
![]() |
where is an arbitrary positive polynomial on
(see [8]). In most cases, the calculation of orthogonal polynomials with arbitrary weight is difficult for large numbers
.
References
[1] | P.L. Chebyshev, "Complete collected works" , 2 , Moscow-Leningrad (1947) pp. 103–126; 314–334; 335–341; 357–374 (In Russian) |
[2] | S.N. Bernshtein, "Collected works" , 2 , Moscow (1954) pp. 7–106 (In Russian) |
[3] | Ya.L. Geronimus, "Orthogonal polynomials" Transl. Amer. Math. Soc. , 108 (1977) pp. 37–130 |
[4] | P.K. Suetin, "Classical orthogonal polynomials" , Moscow (1979) (In Russian) |
[5] | V.B. Uvarov, "Special functions of mathematical physics" , Birkhäuser (1988) (Translated from Russian) |
[6] | H. Bateman (ed.) A. Erdélyi (ed.) et al. (ed.) , Higher transcendental functions , 2. Bessel functions, parabolic cylinder functions, orthogonal polynomials , McGraw-Hill (1953) |
[7] | D. Jackson, "Fourier series and orthogonal polynomials" , Carus Math. Monogr. , 6 , Math. Assoc. Amer. (1971) |
[8] | G. Szegö, "Orthogonal polynomials" , Amer. Math. Soc. (1975) |
[9] | , Guide to special functions , Moscow (1979) (In Russian; translated from English) |
[10] | J.A. Shohat, E. Hille, J.L. Walsh, "A bibliography on orthogonal polynomials" , Nat. Acad. Sci. USA (1940) |
Comments
See also Fourier series in orthogonal polynomials. Two other textbooks are [a3] and [a2]. See [a1] for some more information on the history of the classical orthogonal polynomials. Regarding the asymptotic properties of the classical orthogonal polynomials it should be observed that many workers (P.S. Laplace, E. Heine, G. Darboux, T.J. Stieltjes, E. Hilb, etc.) preceded Stekov, but he was the first to adapt Liouville's method.
See [a5] for state-of-the-art surveys of many aspects of orthogonal polynomials. In particular, the general theory of orthogonal polynomials with weight functions on unbounded intervals has made big progress, see also [a4].
References
[a1] | R.A. Askey, "Discussion of Szegö's paper "An outline of the history of orthogonal polynomials" " R.A. Askey (ed.) , G.P. Szegö: Collected Works , 3 , Birkhäuser (1982) pp. 866–869 |
[a2] | T.S. Chihara, "An introduction to orthogonal polynomials" , Gordon & Breach (1978) |
[a3] | G. Freud, "Orthogonal polynomials" , Pergamon (1971) (Translated from German) |
[a4] | D.S. Lubinsky, "A survey of general orthogonal polynomials for weights on finite and infinite intervals" Acta Applic. Math. , 10 (1987) pp. 237–296 |
[a5] | P. Nevai (ed.) , Orthogonal polynomials: theory and practice , Kluwer (1990) |
Orthogonal polynomials. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orthogonal_polynomials&oldid=48076