About the Project
18 Orthogonal PolynomialsAskey Scheme

§18.19 Hahn Class: Definitions

The Askey scheme extends the three families of classical OP’s (Jacobi, Laguerre and Hermite) with eight further families of OP’s for which the role of the differentiation operator ddx in the case of the classical OP’s is played by a suitable difference operator. These eight further families can be grouped in two classes of OP’s:

  1. 1.

    Hahn class (or linear lattice class). These are OP’s pn(x) where the role of ddx is played by Δx or x or δx (see §18.1(i) for the definition of these operators). The Hahn class consists of four discrete and two continuous families.

  2. 2.

    Wilson class (or quadratic lattice class). These are OP’s pn(x)=pn(λ(y)) (pn(x) of degree n in x, λ(y) quadratic in y) where the role of the differentiation operator is played by ΔyΔy(λ(y)) or yy(λ(y)) or δyδy(λ(y)). The Wilson class consists of two discrete and two continuous families.

In addition to the limit relations in §18.7(iii) there are limit relations involving the further families in the Askey scheme, see §§18.21(ii) and 18.26(ii). The Askey scheme, depicted in Figure 18.21.1, gives a graphical representation of these limits.

The Hahn class consists of four discrete families (Hahn, Krawtchouk, Meixner, and Charlier) and two continuous families (continuous Hahn and Meixner–Pollaczek).

Hahn, Krawtchouk, Meixner, and Charlier

Tables 18.19.1 and 18.19.2 provide definitions via orthogonality and standardization (§§18.2(i), 18.2(iii)) for the Hahn polynomials Qn(x;α,β,N), Krawtchouk polynomials Kn(x;p,N), Meixner polynomials Mn(x;β,c), and Charlier polynomials Cn(x;a).

Table 18.19.1: Orthogonality properties for Hahn, Krawtchouk, Meixner, and Charlier OP’s: discrete sets, weight functions, standardizations, and parameter constraints.
pn(x) X wx hn
Hahn Qn(x;α,β,N), n=0,1,,N {0,1,,N} (α+1)x(β+1)Nxx!(Nx)!, α,β>1 or α,β<N (1)n(n+α+β+1)N+1(β+1)nn!(2n+α+β+1)(α+1)n(N)nN! If α,β<N, then (1)Nwx>0 and (1)Nhn>0.
Krawtchouk Kn(x;p,N), n=0,1,,N {0,1,,N} (Nx)px(1p)Nx, 0<p<1 (1pp)n/(Nn)
Meixner Mn(x;β,c) {0,1,2,} (β)xcx/x!, β>0, 0<c<1 cnn!(β)n(1c)β
Charlier Cn(x;a) {0,1,2,} ax/x!, a>0 anean!
Table 18.19.2: Hahn, Krawtchouk, Meixner, and Charlier OP’s: leading coefficients.
pn(x) kn
Qn(x;α,β,N) (n+α+β+1)n(α+1)n(N)n
Kn(x;p,N) pn/(N)n
Mn(x;β,c) (1c1)n/(β)n
Cn(x;a) (a)n

Continuous Hahn

These polynomials are orthogonal on (,), and with a>0, b>0 are defined as follows.

18.19.1 pn(x)=pn(x;a,b,a¯,b¯),
18.19.2 w(z;a,b,a¯,b¯)=Γ(a+iz)Γ(b+iz)Γ(a¯iz)Γ(b¯iz),
18.19.3 w(x)=w(x;a,b,a¯,b¯)=|Γ(a+ix)Γ(b+ix)|2,
18.19.4 hn=2πΓ(n+a+a¯)Γ(n+b+b¯)|Γ(n+a+b¯)|2(2n+2(a+b)1)Γ(n+2(a+b)1)n!,
18.19.5 kn=(n+2(a+b)1)nn!.

Meixner–Pollaczek

These polynomials are orthogonal on (,), and are defined as follows.

18.19.6 pn(x)=Pn(λ)(x;ϕ),
18.19.7 w(λ)(z;ϕ)=Γ(λ+iz)Γ(λiz)e(2ϕπ)z,
18.19.8 w(x)=w(λ)(x;ϕ)=|Γ(λ+ix)|2e(2ϕπ)x,
λ>0, 0<ϕ<π,
18.19.9 hn =2πΓ(n+2λ)(2sinϕ)2λn!,
kn =(2sinϕ)nn!.

A special case of (18.19.8) is w(1/2)(x;π/2)=πcosh(πx).