Discrete Chebyshev polynomials

In mathematics, discrete Chebyshev polynomials, or Gram polynomials, are a type of discrete orthogonal polynomials used in approximation theory, introduced by Pafnuty Chebyshev[1] and rediscovered by Gram.

[2] They were later found to be applicable to various algebraic properties of spin angular momentum.

The discrete Chebyshev polynomial

is a polynomial of degree n in x, for

, constructed such that two polynomials of unequal degree are orthogonal with respect to the weight function

being the Dirac delta function.

The integral on the left is actually a sum because of the delta function, and we have,

, only its values at a discrete set of points,

Nevertheless, because these polynomials can be defined in terms of orthogonality with respect to a nonnegative weight function, the entire theory of orthogonal polynomials is applicable.

In particular, the polynomials are complete in the sense that

Chebyshev chose the normalization so that

This fixes the polynomials completely along with the sign convention,

If the independent variable is linearly scaled and shifted so that the end points assume the values

times a constant, where

is the Legendre polynomial.

Let f be a smooth function defined on the closed interval [−1, 1], whose values are known explicitly only at points xk := −1 + (2k − 1)/m, where k and m are integers and 1 ≤ k ≤ m. The task is to approximate f as a polynomial of degree n < m. Consider a positive semi-definite bilinear form

be a discrete semi-norm.

be a family of polynomials orthogonal to each other

whenever i is not equal to k. Assume all the polynomials

have a positive leading coefficient and they are normalized in such a way that

are called discrete Chebyshev (or Gram) polynomials.

[3] The discrete Chebyshev polynomials have surprising connections to various algebraic properties of spin: spin transition probabilities,[4] the probabilities for observations of the spin in Bohm's spin-s version of the Einstein-Podolsky-Rosen experiment,[5] and Wigner functions for various spin states.

[6] Specifically, the polynomials turn out to be the eigenvectors of the absolute square of the rotation matrix (the Wigner D-matrix).

The associated eigenvalue is the Legendre polynomial

is the rotation angle.

are the usual angular momentum or spin eigenstates, and

are scaled and shifted versions of the Chebyshev polynomials.

They are shifted so as to have support on the points

can be scaled so as to obey other normalization conditions.

For example, one could demand that they satisfy