Askey scheme

Koekoek, Lesky & Swarttouw (2010)^[6] give the following version of the Askey scheme:

${\displaystyle {}_{4}F_{3}(4)}$

Wilson | Racah

${\displaystyle {}_{3}F_{2}(3)}$

Continuous dual Hahn | Continuous Hahn | Hahn | dual Hahn

${\displaystyle {}_{2}F_{1}(2)}$

Meixner–Pollaczek | Jacobi | Pseudo Jacobi | Meixner | Krawtchouk

${\displaystyle {}_{2}F_{0}(1)\ \ /\ \ {}_{1}F_{1}(1)}$

Laguerre | Bessel | Charlier

${\displaystyle {}_{2}F_{0}(0)}$

Hermite

Here ${\displaystyle {}_{p}F_{q}(n)}$ indicates a hypergeometric series representation with ${\displaystyle n}$ parameters

Koekoek, Lesky & Swarttouw (2010)^[7] give the following scheme for basic hypergeometric orthogonal polynomials:

₄${\displaystyle \phi }$₃

Askey–Wilson | q-Racah

₃${\displaystyle \phi }$₂

Continuous dual q-Hahn | Continuous q-Hahn | Big q-Jacobi | q-Hahn | dual q-Hahn

₂${\displaystyle \phi }$₁

Al-Salam–Chihara | q-Meixner–Pollaczek | Continuous q-Jacobi | Big q-Laguerre | Little q-Jacobi | q-Meixner | Quantum q-Krawtchouk | q-Krawtchouk | Affine q-Krawtchouk | Dual q-Krawtchouk

₂${\displaystyle \phi }$₀/₁${\displaystyle \phi }$₁

Continuous big q-Hermite | Continuous q-Laguerre | Little q-Laguerre | q-Laguerre | q-Bessel | q-Charlier | Al-Salam–Carlitz I | Al-Salam–Carlitz II

₁${\displaystyle \phi }$₀

Continuous q-Hermite | Stieltjes–Wigert | Discrete q-Hermite I | Discrete q-Hermite II

While there are several approaches to constructing still more general families of orthogonal polynomials, it is usually not possible to extend the Askey scheme by reusing hypergeometric functions of the same form. For instance, one might naively hope to find new examples given by

${\displaystyle p_{n}(x)={}_{q+1}F_{q}\left({\begin{array}{c}-n,n+\mu ,a_{1}(x),\dots ,a_{q-1}(x)\\b_{1},\dots ,b_{q}\end{array}};1\right)}$

above ${\displaystyle q=3}$ which corresponds to the Wilson polynomials. This was ruled out in Cheikh, Lamiri & Ouni (2009)^[8] under the assumption that the ${\displaystyle a_{i}(x)}$ are degree 1 polynomials such that

${\displaystyle \prod _{i=1}^{q-1}(a_{i}(x)+r)=\prod _{i=1}^{q-1}a_{i}(x)+\pi (r)}$

for some polynomial ${\displaystyle \pi (r)}$.