Digital Library of Mathematical Functions
About the Project
NIST
18 Orthogonal PolynomialsOther Orthogonal Polynomials

§18.28 Askey–Wilson Class

Contents

§18.28(i) Introduction

The Askey–Wilson class OP’s comprise the four-parameter families of Askey–Wilson polynomials and of q-Racah polynomials, and cases of these families obtained by specialization of parameters. The Askey–Wilson polynomials form a system of OP’s \{p_{n}(x)\}, n=0,1,2,\dots, that are orthogonal with respect to a weight function on a bounded interval, possibly supplemented with discrete weights on a finite set. The q-Racah polynomials form a system of OP’s \{p_{n}(x)\}, n=0,1,2,\dots,N, that are orthogonal with respect to a weight function on a sequence \{q^{{-y}}+cq^{{y+1}}\}, y=0,1,\dots,N, with c a constant. Both the Askey–Wilson polynomials and the q-Racah polynomials can best be described as functions of z (resp. y) such that P_{n}(z)=p_{n}(\tfrac{1}{2}(z+z^{{-1}})) in the Askey–Wilson case, and P_{n}(y)=p_{n}(q^{{-y}}+cq^{{y+1}}) in the q-Racah case, and both are eigenfunctions of a second-order q-difference operator similar to (18.27.1).

In the remainder of this section the Askey–Wilson class OP’s are defined by their q-hypergeometric representations, followed by their orthogonal properties. For further properties see Koekoek et al. (2010, Chapter 3). See also Gasper and Rahman (2004, pp. 180–199) and Ismail (2005, Chapter 15). For the notation of q-hypergeometric functions see §§17.2 and 17.4(i).

§18.28(ii) Askey–Wilson Polynomials

Assume a,b,c,d are all real, or two of them are real and two form a conjugate pair, or none of them are real but they form two conjugate pairs. Furthermore, |ab|, |ac|, |ad|, |bc|, |bd|, |cd|<1. Then

where

More generally, without the constraints in (18.28.2),

with w(x) and h_{n} as above. Also, x_{\ell} are the points \tfrac{1}{2}(\alpha q^{\ell}+\alpha^{{-1}}q^{{-\ell}}) with \alpha any of the a,b,c,d whose absolute value exceeds 1, and the sum is over the \ell=0,1,2,\dots with |\alpha q^{\ell}|>1. See Koekoek et al. (2010, Eq. (3.1.3)) for the value of \omega_{\ell} when \alpha=a.

§18.28(iii) Al-Salam–Chihara Polynomials

§18.28(iv) q^{{-1}}-Al-Salam–Chihara Polynomials

Eq. (18.28.10) is valid when either

or

If, in addition to (18.28.11) or (18.28.12), we have a^{{-1}}b\leq q, then the measure in (18.28.10) is uniquely determined. Also, if q<a^{{-1}}b<q^{{-1}}, then (18.28.10) holds with a,b interchanged. For further nondegenerate cases see Chihara and Ismail (1993) and Christiansen and Ismail (2006).

§18.28(vii) Continuous q^{{-1}}-Hermite Polynomials

For continuous q^{{-1}}-Hermite polynomials the orthogonality measure is not unique. See Askey (1989) and Ismail and Masson (1994) for examples.