Orthogonal polynomials explained

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 and the Jacobi polynomials. The Gegenbauer polynomials form the most important class of Jacobi polynomials; they include the Chebyshev polynomials, and the Legendre polynomials as special cases.

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. They appear in a wide variety of fields: numerical analysis (quadrature rules), probability theory, representation theory (of Lie groups, quantum groups, and related objects), enumerative combinatorics, algebraic combinatorics, mathematical physics (the theory of random matrices, integrable systems, etc.), and number theory. 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, Richard Askey, and Rehuel Lobatto.

Definition for 1-variable case for a real measure

Given any non-decreasing function on the real numbers, we can define the Lebesgue–Stieltjes integral \int f(x) \, d\alpha(x)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\langle f, g \rangle = \int f(x) g(x) \, d\alpha(x).

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 of orthogonal polynomials is defined by the relations \deg P_n = n~, \quad \langle P_m, \, P_n \rangle = 0 \quad \text \quad m \neq n~.

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, \langle P_n, P_n \rangle = 1, however, other normalisations are sometimes used.

Absolutely continuous case

Sometimes we have d\alpha(x) = W(x) \, dxwhere W : [x_1, x_2] \to \Ris a non-negative function with support on some interval in the real line (where and are allowed). Such a is called a weight function.[1] Then the inner product is given by\langle f, g \rangle = \int_^ f(x) g(x) W(x) \, dx.However, there are many examples of orthogonal polynomials where the measure has points with non-zero measure where the function is discontinuous, so cannot be given by a weight function as above.

Examples of orthogonal polynomials

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.

Meixner classified all the orthogonal Sheffer sequences: there are only Hermite, Laguerre, Charlier, Meixner, and Meixner–Pollaczek. In some sense Krawtchouk should be on this list too, but they are a finite sequence. These six families correspond to the NEF-QVFs and are martingale polynomials for certain Lévy processes.

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.

The advantage of orthogonality between different orders of Hermite polynomials is applied to Generalized frequency division multiplexing (GFDM) structure. More than one symbol can be carried in each grid of time-frequency lattice.[2]

Properties

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

Relation to moments

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

mn=\intxnd\alpha(x)

as follows:

Pn(x)=cn\det\begin{bmatrix} m0&m1&m2&&mn\\ m1&m2&m3&&mn+1\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ mn-1&mn&mn+1&&m2n-1\\ 1&x&x2&&xn \end{bmatrix}~,

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

This comes directly from applying the Gram–Schmidt process to the monomials, imposing each polynomial to be orthogonal with respect to the previous ones. For example, orthogonality with

P0

prescribes that

P1

must have the formP_1(x) = c_1 \left(x- \frac \right)= c_1 (x - m_1),which can be seen to be consistent with the previously given expression with the determinant.

Recurrence relation

The polynomials Pn satisfy a recurrence relation of the form

Pn(x)=(Anx+Bn)Pn-1(x)+CnPn-2(x)

where An is not 0. The converse is also true; see Favard's theorem.

Christoffel–Darboux formula

See main article: Christoffel–Darboux formula.

Zeros

If the measure dα is supported on an interval [''a'',&nbsp;''b''], all the zeros of Pn lie in [''a'',&nbsp;''b'']. Moreover, the zeros have the following interlacing property: if m < n, there is a zero of Pn between any two zeros of Pm. Electrostatic interpretations of the zeros can be given.

Combinatorial interpretation

From the 1980s, with the work of X. G. Viennot, J. Labelle, Y.-N. Yeh, D. Foata, and others, combinatorial interpretations were found for all the classical orthogonal polynomials. [3]

Other types of orthogonal polynomials

Multivariate orthogonal polynomials

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.

Multiple orthogonal polynomials

See main article: Multiple orthogonal polynomials. Multiple orthogonal polynomials are polynomials in one variable that are orthogonal with respect to a finite family of measures.

Sobolev orthogonal polynomials

See main article: Sobolev orthogonal polynomials. These are orthogonal polynomials with respect to a Sobolev inner product, i.e. an inner product with derivatives. Including derivatives has big consequences for the polynomials, in general they no longer share some of the nice features of the classical orthogonal polynomials.

Orthogonal polynomials with matrices

Orthogonal polynomials with matrices have either coefficients that are matrices or the indeterminate is a matrix.

There are two popular examples: either the coefficients

\{ai\}

are matrices or

x

:
n+A
P(x)=A
n-1

xn-1+ … +A1x+A0

, where

\{Ai\}

are

p x p

matrices.
n+a
P(X)=a
n-1

Xn-1+ … +a1X+a0Ip

where

X

is a

p x p

-matrix and

Ip

is the identiy matrix.

Quantum polynomials

Quantum polynomials or q-polynomials are the q-analogs of orthogonal polynomials.

See also

References

Notes and References

  1. https://demonstrations.wolfram.com/OrthonormalPolynomialsUnderDifferentInnerProductMeasures/ Demo of orthonormal polynomials obtained for different weight functions
  2. Book: Catak . E. . Durak-Ata . L. . 2017 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom) . An efficient transceiver design for superimposed waveforms with orthogonal polynomials . 2017 . 1–5 . 10.1109/BlackSeaCom.2017.8277657 . 978-1-5090-5049-9 . 22592277 .
  3. Web site: Viennot . Xavier . The Art of Bijective Combinatorics, Part IV, Combinatorial theory of orthogonal polynomials and continued fractions. . 2017 . IMSc . Chennai .