# §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 $\frac{\mathrm{d}}{\mathrm{d}x}$ 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 $p_{n}(x)$ where the role of $\frac{\mathrm{d}}{\mathrm{d}x}$ is played by $\Delta_{x}$ or $\nabla_{x}$ or $\delta_{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 $p_{n}(x)=p_{n}(\lambda(y))$ ($p_{n}(x)$ of degree $n$ in $x$, $\lambda(y)$ quadratic in $y$) where the role of the differentiation operator is played by $\tfrac{\Delta_{y}}{\Delta_{y}(\lambda(y))}$ or $\tfrac{\nabla_{y}}{\nabla_{y}(\lambda(y))}$ or $\tfrac{\delta_{y}}{\delta_{y}(\lambda(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 $Q_{n}\left(x;\alpha,\beta,N\right)$, Krawtchouk polynomials $K_{n}\left(x;p,N\right)$, Meixner polynomials $M_{n}\left(x;\beta,c\right)$, and Charlier polynomials $C_{n}\left(x;a\right)$.

## Continuous Hahn

These polynomials are orthogonal on $(-\infty,\infty)$, and with $\Re a>0$, $\Re b>0$ are defined as follows.

 18.19.1 $p_{n}(x)=p_{n}\left(x;a,b,\overline{a},\overline{b}\right),$
 18.19.2 $w(z;a,b,\overline{a},\overline{b})=\Gamma\left(a+iz\right)\Gamma\left(b+iz% \right)\Gamma\left(\overline{a}-iz\right)\Gamma\left(\overline{b}-iz\right),$ ⓘ Symbols: $\Gamma\left(\NVar{z}\right)$: gamma function, $\overline{\NVar{z}}$: complex conjugate, $w(x)$: weight function and $z$: complex variable Permalink: http://dlmf.nist.gov/18.19.E2 Encodings: TeX, pMML, png See also: Annotations for §18.19, §18.19 and Ch.18
 18.19.3 $w(x)=w(x;a,b,\overline{a},\overline{b})=|\Gamma\left(a+\mathrm{i}x\right)% \Gamma\left(b+\mathrm{i}x\right)|^{2},$
 18.19.4 $h_{n}=\frac{2\pi\Gamma\left(n+a+\overline{a}\right)\Gamma\left(n+b+\overline{b% }\right)|\Gamma\left(n+a+\overline{b}\right)|^{2}}{\left(2n+2\Re\left(a+b% \right)-1\right)\Gamma\left(n+2\Re\left(a+b\right)-1\right)n!},$
 18.19.5 $k_{n}=\frac{{\left(n+2\Re\left(a+b\right)-1\right)_{n}}}{n!}.$

## Meixner–Pollaczek

These polynomials are orthogonal on $(-\infty,\infty)$, and are defined as follows.

 18.19.6 $p_{n}(x)=P^{(\lambda)}_{n}\left(x;\phi\right),$
 18.19.7 $w^{(\lambda)}(z;\phi)=\Gamma\left(\lambda+iz\right)\Gamma\left(\lambda-iz% \right){\mathrm{e}}^{(2\phi-\pi)z},$
 18.19.8 $w(x)=w^{(\lambda)}(x;\phi)=\left|\Gamma\left(\lambda+\mathrm{i}x\right)\right|% ^{2}{\mathrm{e}}^{(2\phi-\pi)x},$ $\lambda>0$, $0<\phi<\pi$,
 18.19.9 $\displaystyle h_{n}$ $\displaystyle=\frac{2\pi\Gamma\left(n+2\lambda\right)}{(2\sin\phi)^{2\lambda}n% !},$ $\displaystyle k_{n}$ $\displaystyle=\frac{(2\sin\phi)^{n}}{n!}.$

A special case of (18.19.8) is $w^{(1/2)}(x;\pi/2)=\frac{\pi}{\cosh\left(\pi x\right)}$.