Discrete orthogonal polynomials

In mathematics, a sequence of discrete orthogonal polynomials is a sequence of polynomials that are pairwise orthogonal with respect to a discrete measure. Examples include the discrete Chebyshev polynomials, Charlier polynomials, Krawtchouk polynomials, Meixner polynomials, dual Hahn polynomials, Hahn polynomials, and Racah polynomials.

If the measure has finite support, then the corresponding sequence of discrete orthogonal polynomials has only a finite number of elements. The Racah polynomials give an example of this.

Definition

Consider a discrete measure $\mu$ on some set $S=\{s_0,s_1,\dots \}$ with weight function $\omega (x)$.

A family of orthogonal polynomials $\{p_n(x)\}$ is called discrete if they are orthogonal with respect to $\omega$ (resp. $\mu$), i.e.,

$\sum _{x\in S}{p}_n(x)p_m(x)\omega (x)={\kappa }_n{\delta }_{n,m},$

where ${\delta }_{n,m}$ is the Kronecker delta.

Remark

Any discrete measure is of the form

$\mu =\sum _i{a}_i{\delta }_{s_i}$,

so one can define a weight function by $\omega (s_i)=a_i$.