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
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
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
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 ). 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] , 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
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
occurs. Steklov first posed this question in 1921. If the trigonometric weight is bounded away from zero on a set , i.e. if
and satisfies certain extra conditions, then the inequality (2) holds. In the general case,
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 . 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 ). Effective formulas for orthogonal polynomials have also been obtained for weight functions of the form
where is an arbitrary positive polynomial on (see ). In most cases, the calculation of orthogonal polynomials with arbitrary weight is difficult for large numbers .
|||P.L. Chebyshev, "Complete collected works" , 2 , Moscow-Leningrad (1947) pp. 103–126; 314–334; 335–341; 357–374 (In Russian)|
|||S.N. Bernshtein, "Collected works" , 2 , Moscow (1954) pp. 7–106 (In Russian)|
|||Ya.L. Geronimus, "Orthogonal polynomials" Transl. Amer. Math. Soc. , 108 (1977) pp. 37–130|
|||P.K. Suetin, "Classical orthogonal polynomials" , Moscow (1979) (In Russian)|
|||V.B. Uvarov, "Special functions of mathematical physics" , Birkhäuser (1988) (Translated from Russian)|
|||H. Bateman (ed.) A. Erdélyi (ed.) et al. (ed.) , Higher transcendental functions , 2. Bessel functions, parabolic cylinder functions, orthogonal polynomials , McGraw-Hill (1953)|
|||D. Jackson, "Fourier series and orthogonal polynomials" , Carus Math. Monogr. , 6 , Math. Assoc. Amer. (1971)|
|||G. Szegö, "Orthogonal polynomials" , Amer. Math. Soc. (1975)|
|||, Guide to special functions , Moscow (1979) (In Russian; translated from English)|
|||J.A. Shohat, E. Hille, J.L. Walsh, "A bibliography on orthogonal polynomials" , Nat. Acad. Sci. USA (1940)|
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].
|[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. P.K. Suetin (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Orthogonal_polynomials&oldid=13495