In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonal to each other under some inner product.

The most widely used orthogonal polynomials are the classical orthogonal polynomials, consisting of the Hermite polynomials, the Laguerre polynomials, the Jacobi polynomials together with their special cases the Gegenbauer polynomials, the Chebyshev polynomials, and the Legendre polynomials.

The field of orthogonal polynomials developed in the late 19th century from a study of continued fractions by P. L. Chebyshev and was pursued by A. A. Markov and T. J. Stieltjes. Some of the mathematicians who have worked on orthogonal polynomials include Gábor Szegő, Sergei Bernstein, Naum Akhiezer, Arthur Erdélyi, Yakov Geronimus, Wolfgang Hahn, Theodore Seio Chihara, Mourad Ismail, Waleed Al-Salam, and Richard Askey.

Contents

Definition for 1-variable case for a real measureEdit

Given any non-decreasing function α on the real numbers, we can define the Lebesgue–Stieltjes integral

 

of a function f. If this integral is finite for all polynomials f, we can define an inner product on pairs of polynomials f and g by

 

This operation is a positive semidefinite inner product on the vector space of all polynomials, and is positive definite if the function α has an infinite number of points of growth. It induces a notion of orthogonality in the usual way, namely that two polynomials are orthogonal if their inner product is zero.

Then the sequence (Pn)n=0 of orthogonal polynomials is defined by the relations

 

In other words, the sequence is obtained from the sequence of monomials 1, x, x2, ... by the Gram–Schmidt process with respect to this inner product.

Usually the sequence is required to be orthonormal, namely,

 

however, other normalisations are sometimes used.

Absolutely continuous caseEdit

Sometimes we have

 

where

 

is a non-negative function with support on some interval [x1, x2] in the real line (where x1 = −∞ and x2 = ∞ are allowed). Such a W is called a weight function. Then the inner product is given by

 

However, there are many examples of orthogonal polynomials where the measure dα(x) has points with non-zero measure where the function α is discontinuous, so cannot be given by a weight function W as above.

Examples of orthogonal polynomialsEdit

The most commonly used orthogonal polynomials are orthogonal for a measure with support in a real interval. This includes:

Discrete orthogonal polynomials are orthogonal with respect to some discrete measure. Sometimes the measure has finite support, in which case the family of orthogonal polynomials is finite, rather than an infinite sequence. The Racah polynomials are examples of discrete orthogonal polynomials, and include as special cases the Hahn polynomials and dual Hahn polynomials, which in turn include as special cases the Meixner polynomials, Krawtchouk polynomials, and Charlier polynomials.

Sieved orthogonal polynomials, such as the sieved ultraspherical polynomials, sieved Jacobi polynomials, and sieved Pollaczek polynomials, have modified recurrence relations.

One can also consider orthogonal polynomials for some curve in the complex plane. The most important case (other than real intervals) is when the curve is the unit circle, giving orthogonal polynomials on the unit circle, such as the Rogers–Szegő polynomials.

There are some families of orthogonal polynomials that are orthogonal on plane regions such as triangles or disks. They can sometimes be written in terms of Jacobi polynomials. For example, Zernike polynomials are orthogonal on the unit disk.

PropertiesEdit

Orthogonal polynomials of one variable defined by a non-negative measure on the real line have the following properties.

Relation to momentsEdit

The orthogonal polynomials Pn can be expressed in terms of the moments

 

as follows:

 

where the constants cn are arbitrary (depend on the normalisation of Pn).

Recurrence relationEdit

The polynomials Pn satisfy a recurrence relation of the form

 

See Favard's theorem for a converse result.

Christoffel–Darboux formulaEdit

ZerosEdit

If the measure dα is supported on an interval [ab], all the zeros of Pn lie in [ab]. Moreover, the zeros have the following interlacing property: if m < n, there is a zero of Pn between any two zeros of Pm.

Multivariate orthogonal polynomialsEdit

The Macdonald polynomials are orthogonal polynomials in several variables, depending on the choice of an affine root system. They include many other families of multivariable orthogonal polynomials as special cases, including the Jack polynomials, the Hall–Littlewood polynomials, the Heckman–Opdam polynomials, and the Koornwinder polynomials. The Askey–Wilson polynomials are the special case of Macdonald polynomials for a certain non-reduced root system of rank 1.

See alsoEdit

ReferencesEdit

  • Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 22". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. p. 773. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
  • Chihara, Theodore Seio (1978). An Introduction to Orthogonal Polynomials. Gordon and Breach, New York. ISBN 0-677-04150-0.
  • Chihara, Theodore Seio (2001). "45 years of orthogonal polynomials: a view from the wings". Proceedings of the Fifth International Symposium on Orthogonal Polynomials, Special Functions and their Applications (Patras, 1999). Journal of Computational and Applied Mathematics. 133 (1): 13–21. Bibcode:2001JCoAM.133...13C. doi:10.1016/S0377-0427(00)00632-4. ISSN 0377-0427. MR 1858267.
  • Foncannon, J. J.; Foncannon, J. J.; Pekonen, Osmo (2008). "Review of Classical and quantum orthogonal polynomials in one variable by Mourad Ismail". The Mathematical Intelligencer. Springer New York. 30: 54–60. doi:10.1007/BF02985757. ISSN 0343-6993.
  • Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge: Cambridge Univ. Press. ISBN 0-521-78201-5.
  • Jackson, Dunham (2004) [1941]. Fourier Series and Orthogonal Polynomials. New York: Dover. ISBN 0-486-43808-2.
  • Koornwinder, Tom H.; Wong, Roderick S. C.; Koekoek, Roelof; Swarttouw, René F. (2010), "Orthogonal Polynomials", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR 2723248
  • Hazewinkel, Michiel, ed. (2001) [1994], "Orthogonal polynomials", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
  • Szegő, Gábor (1939). Orthogonal Polynomials. Colloquium Publications. XXIII. American Mathematical Society. ISBN 978-0-8218-1023-1. MR 0372517
  • P. Sircar, R.B. Pachori, and R. Kumar, Analysis of rhythms of EEG signals using orthogonal polynomial approximation, ACM International Conference on Convergence and Hybrid Information Technology, pp. 176–180, 27–29 August 2009, Daejeon, South Korea.
  • Totik, Vilmos (2005). "Orthogonal Polynomials". Surveys in Approximation Theory. 1: 70–125. arXiv:math.CA/0512424.
  • C. Chan, A. Mironov, A. Morozov, A. Sleptsov, arXiv:1712.03155.