Askey-Wilson polynomial
Tom H. Koornwinder (2012), Scholarpedia, 7(7):7761. | doi:10.4249/scholarpedia.7761 | revision #126759 [link to/cite this article] |
Askey-Wilson polynomial refers to a four-parameter family of \(q\)-hypergeometric orthogonal polynomials which contains all families of classical orthogonal polynomials (in the wide sense) as special or limit cases.
Orthogonal polynomials
See Szegő [Sz].
General orthogonal polynomials
Let \(w(x)\) be a nonnegative function on an open real interval \((a,b)\) such that the integral \(\int_a^b|x|^n w(x)\,dx\) is well-defined and finite for all nonnegative integers \(n\). A system of real-valued polynomials \(p_n(x)\) (\(n=0,1,2,\ldots\)) is called orthogonal on the interval \((a,b)\) with respect to the weight function \(w(x)\) if \(p_n(x)\) has degree \(n\) and if \(\int_a^b p_n(x) p_m(x) w(x)\,dx=0\) for \(n\ne m\).
More generally we can replace in this definition \(w(x)dx\) by a positive measure \(d\mu(x)\) on \(\Bbb R\). Then the orthogonality relation becomes \(\int_{\Bbb R} p_n(x) p_m(x)\,d\mu(x)=0\) (\(n\ne m\)). If the measure is discrete then this takes the form \(\sum_{j=0}^\infty p_n(x_j) p_m(x_j)\,w_j=0\) (\(n\ne m\)), where the weights \(w_j\) are positive. The finite case \(\sum_{j=0}^N p_n(x_j) p_m(x_j)\,w_j=0\) (\(n\ne m;\;n,m=0,1,\ldots,N\)) also occurs.
Three-term recurrence relation
Any system of orthogonal polynomials \(p_n(x)\) satisfies a three-term recurrence relation of the form \[ \tag{1} x p_n(x)=A_n p_{n+1}(x)+B_n p_n(x)+C_n p_{n-1}(x), \] where \(p_{-1}(x):=0\) and \(A_{n-1}C_n>0\). One may also consider associated orthogonal polynomials \(p_n(x;d)\), which satisfy the recurrence relation \[ x p_n(x;d)=A_{n+d} p_{n+1}(x;d)+B_{n+d} p_n(x;d)+C_{n+d} p_{n-1}(x;d). \] Here \(d\) is a positive integer or, more generally, a positive real number as long as this makes sense by analyticity in \(n\) of the coefficients \(A_n,B_n,C_n\).
Classical orthogonal polynomials (in the strict sense)
A system of orthogonal polynomials \(p_n(x)\) is called classical (in the strict sense) if there is a second order linear differential operator \(L\), not depending on \(n\), such that \(p_n\) is an eigenfunction of \(L\) for each \(n\): \[\tag{2} L p_n=\lambda_n p_n.\]
By Bochner's theorem [Bo] there are three families of orthogonal polynomials which are classical in the strict sense:
- Jacobi polynomials \(P_n^{(\alpha,\beta)}(x)\), where \(\alpha,\beta>-1\), \(w(x):=(1-x)^\alpha(1+x)^\beta\), \((a,b):=(-1,1)\);
- Laguerre polynomials \(L_n^\alpha(x)\), where \(\alpha>-1\), \(w(x):=e^{-x} x^\alpha\), \((a,b):=(0,\infty)\);
- Hermite polynomials \(H_n(x)\), where \(w(x):=e^{-x^2}\), \((a,b):=(-\infty,\infty)\).
Classical orthogonal polynomials (in the wide sense)
More generally, a system of orthogonal polynomials \(p_n(x)\) is called classical (in the wide sense) if there is a second order linear difference or \(q\)-difference operator \(L\), not depending on \(n\), such that (2) holds.
- difference operator, for instance \((Lf)(x):=a(x) f(x-1)+b(x) f(x)+c(x) f(x+1)\). An example are the Charlier polynomials \(C_n(x;a)\) (\(a>0\)) which are orthogonal with respect to the weights \(a^x/x!\) on the points \(x\) (\(x=0,1,2,\ldots\)).
- q-difference operator, for instance \((Lf)(x):=a(x) f(q^{-1}x)+b(x) f(x)+c(x) f(qx)\). An example are the discrete q-Hermite I polynomials \(h_n(x;q)\), which are orthogonal with respect to the weights \(q^j\prod_{k=1}^\infty(1-q^{2k+2j+2})\) on the points \(\pm q^j\) (\(j=0,1,2,\ldots\)).
Hypergeometric and basic hypergeometric Series
Hypergeometric series
For complex \(a\) and nonnegative integer \(n\) let \((a)_n:=a(a+1)\ldots(a+n-1),\;(a)_0:=1\) be the Pochhammer symbol.
A hypergeometric series with \(r\) upper parameters \(a_1,\ldots,a_r\) and \(s\) lower parameters \(b_1,\ldots,b_s\) is formally defined as \[\tag{3} {}_rF_s\!\left(\begin{matrix}{a_1,\ldots,a_r}\\{b_1,\ldots,b_s}\end{matrix};z\right):=\sum_{k=0}^\infty \frac{(a_1)_k\cdot\cdot\cdot(a_r)_k}{(b_1)_k\cdot\cdot\cdot(b_s)_k}\,\frac{z^k}{k!}. \]
If \(a_1\) is equal to a nonpositive integer \(-n\) then the series on the right-hand side of (3) terminates after the term with \(k=n\).
Basic hypergeometric series
See Gasper & Rahman [GR]. Let \(q\) be a complex number not equal to 0 or 1.
For complex \(a\) and nonnegative integer \(n\) let \((a;q)_n:=(1-a)(1-aq)\ldots(1-aq^{n-1}),\;(a;q)_0:=1\) be the \(q\mbox{-}\)Pochhammer symbol.
Also let \((a_1,a_2,\ldots,a_r;q)_n:=(a_1;q)_n (a_2;q)_n\ldots(a_r;q)_n\ .\)
For \(|q|<1\) let \((a;q)_\infty:=\prod_{k=0}^\infty (1-aq^k)\), a convergent infinite product.
A basic or \(q\mbox{-}\)hypergeometric series with \(r\) upper parameters \(a_1,\ldots,a_r\) and \(s\) lower parameters \(b_1,\ldots,b_s\) is formally defined as \[\tag{4} {}_r\phi_s\!\left(\begin{matrix}{a_1,\ldots,a_r}\\{b_1,\ldots,b_s}\end{matrix};q,z\right):=\sum_{k=0}^\infty \bigl((-1)^k q^{k(k-1)/2}\bigr)^{s-r+1}\,\frac{(a_1,\ldots,a_r;q)_k}{(b_1,\ldots.b_s;q)_k}\,\frac{z^k}{(q;q)_k}. \]
If \(a_1=q^{-n}\) for a nonnegative integer \(n\) then the series on the right-hand side of (4) terminates after the term with \(k=n\).
Askey-Wilson polynomials
Askey-Wilson polynomials were introduced by Askey & Wilson [AW] in 1985.
Definition
\[\tag{5} p_n(\cos\theta)=p_n(\cos\theta;a,b,c,d\mid q):=\frac{(ab,ac,ad;q)_n}{a^n}\,{}_4\phi_3\!\left(\begin{matrix}{q^{-n},q^{n-1}abcd,ae^{i\theta},ae^{-i\theta}}\\{ab,ac,ad}\end{matrix};q,q\right).\]
This is a polynomial of degree \(n\) in \(\cos\theta\).
Symmetry, special value and duality
The polynomials \(p_n(x;a,b,c,d\mid q)\) are symmetric in the parameters \(a,b,c,d\). They have special value \(p_n(\frac12(a+a^{-1});a,b,c,d\mid q)=\frac{(ab,ac,ad;q)_n}{a^n}\), and similarly for arguments \(\frac12(b+b^{-1})\), \(\frac12(c+c^{-1})\) and \(\frac12(d+d^{-1})\). For nonnegative integers \(m,n\) there is the duality \[\frac{p_n(\frac12(a^{-1}q^{-m}+aq^m);a,b,c,d\mid q)}{p_n(\frac12(a^{-1}+a);a,b,c,d\mid q)}=\frac{p_m(\frac12(\check a^{-1}q^{-n}+\check aq^n);\check a,\check b,\check c,\check d\mid q)}{p_m(\frac12(\check a^{-1}+\check a);\check a,\check b,\check c,\check d\mid q)}\] for \(a=q^{-1/2}(\check a\check b\check c\check d)^{1/2}\) and \(ab=\check a\check b\), \(ac=\check a\check c\), \(ad=\check a\check d\).
Orthogonality relation
Let \(0<q<1\). Assume that \(a,b,c,d\) are four reals, or two reals and one pair of complex conjugates, or two pairs of complex conjugates. Also assume that \(|a|,|b|,|c|,|d|<1\). Then \[\tag{6} \int_{-1}^1 p_n(x) p_m(x) w(x)\,dx=h_n\,\delta_{n,m}, \] where \[ 2\pi\sin\theta\,w(\cos\theta):= \left|\frac{(e^{2i\theta};q)_\infty} {(ae^{i\theta},be^{i\theta},ce^{i\theta},de^{i\theta};q)_\infty}\right|^2, \] and \[ h_0:=\frac{(abcd;q)_\infty}{(q,ab,ac,ad,bc,bd,cd;q)_\infty}\,,\quad \frac{h_n}{h_0}:=\frac{1-abcdq^{n-1}}{1-abcdq^{2n-1}}\, \frac{(q,ab,ac,ad,bc,bd,cd;q)_n}{(abcd;q)_n}. \] For more general parameter values the orthogonality relation (6) can be given as the contour integral \[\tag{7} \frac1{2\pi i} \oint_C p_n\bigl((z+z^{-1})/2\bigr)\,p_m\bigl((z+z^{-1})/2\bigr)\, \frac{(z^2,z^{-2};q)_\infty} {(az,az^{-1},bz,bz^{-1},cz,cz^{-1},dz,dz^{-1};q)_\infty}\,\frac{dz}z =2h_n\delta_{n,m}, \] where \(C\) is the unit circle traversed in positive direction with suitable deformations to separate the sequences of poles converging to zero from the sequences of poles diverging to \(\infty\). The left-hand side of (7) can be rewritten as the left-hand side of (6) with finitely many terms added of the form \(p_n(x_j) p_m(x_j) w_j\), where \(x_j\) is in \(\Bbb R\) outside \([-1,1]\). The case \(n=m=0\) of (6) or (7) is called the Askey-Wilson integral.
q-Difference equation
Let \(P_n(z):=p_n\bigl((z+z^{-1})/2\bigr)\). Then \[\tag{8}LP_n=(q^{-n}-1)(1-q^{n-1}abcd)P_n,\] where \[\tag{9}(Lf)(z):=A(z)f(qz)-\bigl(A(z)+A(z^{-1})\bigr)f(z)+A(z^{-1})f(q^{-1}z)\] with \(A(z):=(1-az)(1-bz)(1-cz)(1-dz)\big/\bigl((1-z^2)(1-qz^2)\bigr)\). By (8) the Askey-Wilson polynomials \(P_n(z)\) are eigenfunctions of a second order \(q\)-difference operator. Thus they are classical orthogonal polynomials in the wide sense.
Discretization, specializations and limit cases
See Chapter 14 in the book by Koekoek et al. [KLS] or see the earlier online Koekoek & Swarttouw report [KS].
q-Racah polynomials
The \(q\)-Racah polynomials \(R_n(x;\alpha,\beta,\gamma,\delta\mid q)\) form a family of finite (\(n=0,1,\ldots,N\)) systems of orthogonal polynomials depending on four parameters \(\alpha,\beta,\gamma,\delta\ ,\) where \(q\alpha=q^{-N}\) or \(q\beta\delta=q^{-N}\) or \(q\gamma=q^{-N}\ .\) They have essentially the same analytic expression as the Askey-Wilson polynomials: \[R_n(q^{-y}+\gamma\delta q^{y+1};\alpha,\beta,\gamma,\delta\mid q):={}_4\phi_3\!\left(\begin{matrix}{q^{-n},q^{n+1}\alpha\beta,q^{-y},\gamma\delta q^{y+1}}\\{q\alpha,q\beta\delta,q\gamma}\end{matrix};q,q\right).\] Hence there is the duality \(R_n(q^{-m}+\gamma\delta q^{m+1};\alpha,\beta,\gamma,\delta\mid q)=R_m(q^{-n}+\alpha\beta q^{n+1};\gamma,\delta,\alpha,\beta\mid q)\).
They satisfy an orthogonality relation of the form \[\sum_{y=0}^N R_n(q^{-y}+\gamma\delta q^{y+1}) R_m(q^{-y}+\gamma\delta q^{y+1})\,w_y=h_n\delta_{n,m}\quad(n,m=0,1,\ldots,N).\]
Selected special cases
We obtain special subfamilies of the Askey-Wilson polynomials by specialization of parameters.
- Al-Salam-Chihara polynomials\[Q_n(x;a,b\mid q):=p_n(x;a,b,0,0\mid q)\ .\]
- Continuous \(q\)-Jacobi polynomials\[P_n^{(\alpha,\beta)}(x;q):={\rm const.}\, p_n(x;q^{\frac12}, q^{\alpha+\frac12},-q^{\beta+\frac12},-q^{\frac12}\mid q)={\rm const.}\,p_n(x;q^{\alpha+\frac12},q^{\alpha+\frac32}, -q^{\beta+\frac12},-q^{\beta+\frac32}\mid q^2)\ .\]
- Continuous \(q\)-ultraspherical polynomials\[C_n(\cos\theta;\beta\mid q):= \frac{(\beta;q)_n}{(q;q)_n}\, p_n(\cos\theta;\beta^{\frac12},\beta^{\frac12}q^{\frac12},-\beta^{\frac12},-\beta^{\frac12}q^{\frac12}\mid q)= \sum_{k=0}^n\frac{(\beta;q)_k(\beta;q)_{n-k}}{(q;q)_k(q;q)_{n-k}}\,e^{i(n-2k)\theta}\ .\]
- Continuous \(q\)-Hermite polynomials\[H_n(\cos\theta\mid q):=(q;q)_n\,C_n(\cos\theta;0\mid q)= \sum_{k=0}^n\frac{(q;q)_n}{(q;q)_k(q;q)_{n-k}}\,e^{i(n-2k)\theta}\ .\]
- Chebyshev polynomials\[p_n(\cos\theta;1,-1,q^{\frac12},-q^{\frac12}\mid q)={\rm const.}\,\cos n\theta,\quad p_n(\cos\theta;q,-q,q^{\frac12},-q^{\frac12}\mid q)={\rm const.}\,\frac{\sin(n+1)\theta}{\sin\theta}\,,\]
\(\quad p_n(\cos\theta;q,-1,q^{\frac12},-q^{\frac12}\mid q)={\rm const.}\,\frac{\sin(n+\frac12)\theta}{\sin\frac12\theta}\,,\quad p_n(\cos\theta;1,-q,q^{\frac12},-q^{\frac12}\mid q)={\rm const.}\,\frac{\cos(n+\frac12)\theta}{\cos\frac12\theta}\,.\)
Selected limit cases preserving q
- Big \(q\)-Jacobi polynomials\[P_n(x;a,b,c;q):={}_3\phi_2\!\left(\begin{matrix}{q^{-n},q^{n+1}ab,x}\\{qa,qc}\end{matrix};q,q\right)={\rm const.}\,\lim_{\lambda\downarrow0}\lambda^n p_n(\tfrac12\lambda^{-1}x;\lambda,\lambda^{-1}qa,\lambda^{-1}qc,\lambda bc^{-1}\mid q).\]
- Little \(q\)-Jacobi polynomials\[p_n(x;a,b;q):={}_2\phi_1\!\left(\begin{matrix}{q^{-n},q^{n+1}ab}\\{qa}\end{matrix};q,qx\right)={\rm const.}\,\lim_{\lambda\downarrow0}\lambda^n p_n(\tfrac12\lambda^{-1}x;-q^{\frac12}a,qb\lambda,-q^{\frac12},\lambda^{-1}\mid q).\]
Selected limit cases for q to 1
- Wilson polynomials\[W_n(y^2;a,b,c,d)=\lim_{q\uparrow1}(1-q)^{-3n} p_n(\tfrac12(q^{iy}+q^{-iy});q^a,q^b,q^c,q^d\mid q).\]
- Jacobi polynomials\[P_n^{(\alpha,\beta)}(x)=\lim_{q\uparrow1}P_n^{(\alpha,\beta)}(x;q).\]
- Ultraspherical polynomials\[C_n^\lambda(x)=\lim_{q\uparrow1}C_n(x;q^\lambda\mid q).\]
- Hermite polynomials\[H_n(x)=\lim_{q\uparrow1}(1-q)^{-n/2} H_n((1-q)^{1/2} x\mid q^2).\]
A limit case for q to 0
- Special Bernstein-Szegö polynomials\[\lim_{q\downarrow0}C_n(\cos\theta;\beta\mid q)=(1-\beta)\,\frac{\sin(n+1)\theta}{\sin\theta}-\beta(1-\beta)\,\frac{\sin(n-1)\theta}{\sin\theta}\quad(n=1,2\ldots) \quad\mbox{and}\quad=1\quad(n=0).\]
Askey scheme, characterization theorems and unusual limit cases
(q-)Askey scheme
The q-Askey scheme is a directed graph with Askey-Wilson and \(q\)-Racah polynomials on top, all other \(q\)-hypergeometric orthogonal polynomials as further nodes, and the specializations and limits as arrows. The Askey scheme is a similar and older graph for the hypergeometric orthogonal polynomials (the \(q=1\) case). It was first given in [AW], and it was slightly improved soon after. A slightly further extended version is from [KLS].
Characterization theorems
Leonard [Le] showed the following. Let a finite system \(\{p_n\}_{n=0,1,\ldots,N}\) of orthogonal polynomials have a dual system of orthogonal polynomials \(\{q_m\}_{m=0,1,\ldots,N}\) (i.e., \(p_n(x_m)=q_m(y_n)\), where the \(p_n\) are orthogonal on \(\{x_0,x_1,\ldots,x_N\}\) and the \(q_m\) are orthogonal on \(\{y_0,y_1,\ldots,y_N\}\)). Then the \(p_n\) are \(q\)-Racah polynomials or one of its limit cases. Leonard's theorem was generalized by Bannai & Ito [BaIt]. They also included infinite systems (\(N=\infty\)) and they replaced the orthogonality assumption concerning the \(p_n\) and \(q_m\) by the assumption that these two systems satisfy a three-term recurrence relations of the form (1), however without the positivity assumption \(A_{n-1}C_n>0\). They explicitly gave all systems and dual systems of polynomials satisfying the conditions of the theorem.
Generalized Bochner theorems characterizing Askey-Wilson polynomials and all their limit cases were successively proved in increasing generality by Grünbaum & Haine, by M.E.H. Ismail, and finally by Vinet & Zhedanov [ViZh], who showed that monic polynomials \(p_n\) of degree \(n\) (\(n=0,1,2,\ldots\)) satisfying a second-order difference equation \[A(s)p_n(z(s+1))+B(s)p_n(z(s))+C(s)p_n(z(s-1))=\lambda_n p_n(z(s))\] together with some non-degeneracy conditions, must be Askey-Wilson polynomials or their limit cases with the grid given by the \(z(s)\) being at most a \(q\)-quadratic grid \(z(s)=aq^s+bq^{-s}+c\).
Unusual limit cases
As a surprise of the classification in [BaIt] came out a limit for \(q\downarrow-1\) of the \(q\mbox{-}\)Racah polynomials. Tsujimoto, Vinet & Zhedanov [TsViZh] gave the orthogonality relations and studied these polynomials from a wider perspective. Further limit cases of these Bannai-Ito polynomials were shown to be the big and little \(-1\) Jacobi polynomials, which were studied in other recent papers by Vinet & Zhedanov, and which were in the little \(-1\) Jacobi case already obtained by T.S. Chihara (1968, 1971). All these orthogonal polynomials obtained as \(q\downarrow-1\) limit turned out to be eigenfunctions of certain Dunkl type operators.
Suitable limits of orthogonal polynomials in the \(q\mbox{-}\)Askey scheme for \(q=s\omega\to\omega=e^{2\pi i/k}\) (\(0<s<1\)) are known as sieved orthogonal polynomials. A prototype, the sieved ultraspherical polynomials, was studied by Al-Salam, Allaway and Askey [Al-SAllA]. This was followed by a long series of papers by M.E.H. Ismail and coauthors.
Analogues in several variables
Macdonald polynomials of type A
The \(A_\ell\) type Macdonald polynomials \(P_\lambda(z;q,t)\), see [M1], are certain symmetric homogeneous polynomials in \(\ell+1\) variables of degree \(|\lambda|\) which form an orthogonal system. They can be expressed in terms of \(q\)-ultraspherical polynomials for \(\ell=1\): \[P_{m,n}(x,y;q,t)= \frac{(q;q)_{m-n}}{(t;q)_{m-n}}\,(xy)^{\frac12(m+n)}\,C_{m-n}\biggl(\frac{x+y}{2(xy)^{1/2}};t\mid q\biggr)\quad(m\ge n\ge0).\] In particular, \[P_{m,0}(e^{i\theta},e^{-i\theta};q,t)=\frac{(q;q)_m}{(t;q)_m}\,C_m(\cos\theta;t\mid q).\] In the limit for \(q\) to 0 the \(A_\ell\) type Macdonald polynomials are known as Hall-Littlewood polynomials.
Macdonald-Koornwinder polynomials
Macdonald [M2] introduced Macdonald polynomials for all irreducible root systems. They are certain Weyl group invariant trigonometric polynomials forming an orthogonal system and depending on as many parameters (apart from \(q\)) as there are root lengths. Thus the Macdonald polynomials for root system \(BC_\ell\) depend on three parameters. For root system \(BC_1\) this turns down to the two-parameter family of continuous \(q\)-Jacobi polynomials. Koornwinder [Ko1] extended the \(BC_\ell\) type Macdonald polynomials to a family depending on five parameters \(a,b,c,d,t\): the Macdonald-Koornwinder polynomials. For \(\ell=1\) they no longer depend on \(t\) and reduce to Askey-Wilson polynomials.
Algebraic aspects
Nonsymmetric Askey-Wilson polynomials
In 1992 Cherednik [Ch] introduced double affine Hecke algebras (DAHA's) as a natural habitat for nonsymmetric Macdonald polynomials from which the Macdonald polynomials themselves can be obtained by Weyl group symmetrization. In 1999 Sahi [Sa] extended this approach to Macdonald-Koornwinder polynomials, see also Macdonald's book [M3]. Here the DAHA is associated with the affine root system of type \((C_\ell^\vee,C_\ell)\). Its one-variable case led to nonsymmetric Askey-Wilson polynomials in the context of the rather simple DAHA of type \((C_1^\vee,C_1)\). In the so-called basic representation of this DAHA on the space of Laurent polynomials in one variable a certain element \(Y\) acts on a Laurent polynomial \(f(z)\) as a \(q\)-difference-reflection operator, sending \(f(z)\) to a linear combination of terms \(f(z),f(qz),f(z^{-1}),f(qz^{-1})\) with rational functions in \(z\) as coefficients. It has eigenfunctions \(E_n(z)\) for each integer \(n\), where \(E_n(z)\) is a linear combination of \(z^{-n},\ldots,z^n\) for \(n>0\), \(E_{-n}(z)\) is a linear combination of \(z^{-n},\ldots,z^{n-1}\) for \(n>0\), and \(E_0(z)=1\). The operator \(Y\) has an inverse which is also a \(q\)-difference-reflection operator and the operator \(Y+Y^{-1}\) has two-dimensional eigenspaces spanned by \(E_{\pm n}(z)\). A certain symmetrization operator projects these eigenspaces on one-dimensional spaces of symmetric Laurent polynomials spanned by the Askey-Wilson polynomials \(p_n((z+z^{-1})/2)\). See Noumi & Stokman [NoSt].
Askey-Wilson algebra
Zhedanov [Zh] introduced an associative algebra \(AW(3)\) with identity over the complex numbers with generators \(K_0,K_1,K_2\) and with relations \[[K_0,K_1]_q=K_2,\quad [K_1,K_2]_q=B K_1+C_0 K_0+D_0,\quad[K_2,K_0]_q=BK_0+C_1K_1+D_1,\] where \([X,Y]_q:=q^{1/2}XY-q^{-1/2}YX\) and \(B,C_0,C_1,D_0,D_1\) are constants. There is a central element \(Q\) which is explicitly given as a polynomial of degree 3 in the generators. With \(B,C_0,C_1,D_0,D_1\) suitably expressed in terms of \(a,b,c,d,q\) this algebra has a representation on the space of symmetric Laurent polynomials such that \(K_0\) is the operator given by (9) and \(K_1\) is the operator of multiplying \(f(z)\) by \(z+z^{-1}\). In this representation \(Q\) is equal to a constant \(Q_0\). Denote the quotient of \(AW(3)\) with respect to the relation \(Q=Q_0\) by \(AW(3,Q_0)\).
A central extension of \(AW(3,Q_0)\) can be embedded in the DAHA associated with the Askey-Wilson polynomials (see [Ko2], later very elegantly phrased in [Te]). The algebra \(AW(3,Q_0)\) itself is isomorphic with the spherical subalgebra of the mentioned DAHA (see [Ko3]).
Various interpretations
Interpretations on quantum groups
Corresponding to many group theoretic interpretations of special functions there are interpretations of \(q\)-special functions on quantum groups. See Vilenkin & Klimyk [VKl] for both kinds of interpretations. The interpretation of little \(q\)-Jacobi polynomials as matrix elements of irreducible representations of the quantum group \(SU_q(2)\) is a rather straightforward analogue of the classical situation, which was independently found by several authors during the late eighties of the 20th century. Here the matrix elements are taken with respect to the quantum subgroup which is the quantum analogue of the diagonal subgroup of \(SU(2)\). It is not possible to obtain other quantum subgroups from this one by conjugation. However, there exist quantum analogues of the Lie subalgebras of the Lie algebra \(su(2)\), and matrix elements of irreducible representations of \(SU_q(2)\) can be defined with respect to these. By work of Koornwinder, Noumi & Mimachi, and Koelink these matrix elements could be expressed in terms of Askey-Wilson polynomials, with all four parameters of these polynomials being used. See Koelink [Koe] for a survey. Rosengren [Ro1] obtained Askey-Wilson polynomials and \(q\)-Racah polynomials as matrix elements of representations by using other special bases of representation space. Koelink & Rosengren [KoeRo] gave interpretations of Askey-Wilson polynomials and \(q\)-Racah polynomials in connection with the \(SU(2)\) dynamical quantum group.
\(q\)-Racah polynomials have an interpretation as quantum \(6j\)-symbols for \(SU_q(2)\). This was first established by A.N. Kirillov & Reshetikhin in 1989. There are many important applications, notably to invariants of links and 3-manifolds. See a survey and further work on \(6j\)-symbols by Rosengren [Ro2].
Combinatorial interpretation
Uchiyama, Sasamoto and Wadati related the stationary state of the one-dimensional asymmetric simple exclusion process (ASEP) with open boundary conditions to Askey-Wilson polynomials. Here all Askey-Wilson parameters, including \(q\) have an interpretation in the ASEP. Next Corteel & Williams [CoWi] introduced combinatorial objects called staircase tableaux in connection with the stationary measure for the ASEP. With the aid of this they could give a combinatorial formula for the moments of the Askey-Wilson polynomials.
Probabilistic interpretation
Bryc & Wesołowski [BrWe] constructed an auxiliary Markov process which has Askey-Wilson polynomials as orthogonal martingale polynomials. By using this they were able to construct a large class of Markov processes with linear regressions and quadratic conditional variances, that includes most of previously known cases either as special cases or as boundary cases.
Beyond the Askey-Wilson polynomials
- Biorthogonal rational functions. Rahman [R1] extended the four-parameter family of Askey-Wilson polynomials to a five-parameter biorthogonal system of rational functions, which are expressed in terms of a very well poised \({}_{10}\phi_9\) series. In the same year Wilson [W] gave the corresponding finite biorthogonal system which extends the \(q\)-Racah polynomials.
- Askey-Wilson functions. Koelink & Stokman [KoeSt] gave a continuous analogue of the orthogonal system of Askey-Wilson polynomials in the form of the Askey-Wilson function transform, which has as its kernel the Askey-Wilson functions: a four-parameter family of functions expressed in terms of very well poised \({}_8\phi_7\) series.
- Associated Askey-Wilson polynomials. These were studied by Ismail & Rahman [IR]. They gave explicit expressions for the polynomials and for the absolutely continuous part of the orthogonality measure.
- Elliptic \(6j\)-symbols. These were introduced by Date et al. and they led Frenkel & Turaev to the definition of elliptic hypergeometric series. Next Spiridonov & Zhedanov [SpZh] showed that they form a biorthogonal system having the \(q\)-Racah polynomials as a limit case. See also [Ro2].
References
- [Al-SAllA] W. Al-Salam, W.R. Allaway and R. Askey, Sieved ultraspherical polynomials, Trans. Amer. Math. Soc. 284 (1984), 39-55; MR0742411.
- [AW] R. Askey and J. Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials, Memoirs Amer. Math. Soc. 54 (1985), no. 319; MR0783216.
- [BaIt] E. Bannai and T. Ito, Algebraic combinatorics I: Association schemes, Benjamin-Cummings, 1984; MR882540.
- [Bo] S. Bochner, Über Sturm-Liouvillesche Polynomsysteme, Math. Z. 29 (1929), 730-736; MR1545034.
- [BrWe] W. Bryc and J. Wesołowski, Askey-Wilson polynomials, quadratic harnesses and martingales, Ann. Probab. 38 (2010), 1221-1262; MR2674998.
- [Ch] I. Cherednik, Double affine Hecke algebras, Knizhnik-Zamolodchikov equations, and Macdonald's operators, Internat. Math. Res. Notices (1992), no. 9, 171-180; MR1185831.
- [CoWi], S. Corteel and L.K. Williams, Tableaux combinatorics for the asymmetric exclusion process and Askey-Wilson polynomials, Duke Math. J. 159 (2011), 385-415; MR2831874.
- [GR] G. Gasper and M. Rahman, Basic hypergeometric series, Cambridge University Press, second ed., 2004; MR2128719.
- [IR] M.E.H. Ismail and M. Rahman, The associated Askey-Wilson polynomials, Trans. Amer. Math. Soc. 328 (1991), 201-237; MR1013333.
- [KLS] R. Koekoek, P.A. Lesky and R.F. Swarttouw, Hypergeometric orthogonal polynomials and their \(q\)-analogues, Springer-Verlag, 2010; online; MR2656096.
- [KS] R. Koekoek and R.F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its \(q\)-analogue, Report 98-17, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1998; online.
- [Koe] H.T. Koelink, Askey-Wilson polynomials and the quantum SU(2) group: survey and applications, Acta Appl. Math. 44 (1996), 295-352; MR1407326.
- [KoeRo] E. Koelink and H. Rosengren, Harmonic analysis on the SU(2) dynamical quantum group, Acta Appl. Math. 69 (2001), 163-220; MR1872106.
- [KoeSt] E. Koelink and J.V. Stokman, The Askey-Wilson function transform, Internat. Math. Res. Notices (2001), no. 22, 1203-1227; MR1862616.
- [Ko1] T.H. Koornwinder, Askey-Wilson polynomials for root systems of type BC, in: Hypergeometric functions on domains of positivity, Jack polynomials, and applications, D.St.P. Richards (ed.), Contemp. Math. 138, Amer. Math. Soc., 1992, pp. 189-204; MR1199128.
- [Ko2] T.H. Koornwinder, The relationship between Zhedanov's algebra \(AW(3)\) and the double affine Hecke algebra in the rank one case, SIGMA 3 (2007), Paper 063, 15 pp.; MR2299864.
- [Ko3] T.H. Koornwinder, Zhedanov's algebra \(AW(3)\) and the double affine Hecke algebra in the rank one case. II. The spherical subalgebra, SIGMA 4 (2008), Paper 052, 17 pp.; MR2299864.
- [Le] D.A. Leonard, Orthogonal polynomials, duality and association schemes, SIAM J. Math. Anal. 13 (1982), 656-663, MR0661597.
- [M1] I.G. Macdonald, Symmetric functions and Hall polynomials, Oxford University Press, Second edition, 1994; MR2425640.
- [M2] I.G. Macdonald, Orthogonal polynomials associated with root systems, Sém. Lothar. Combin. 45 (2000), B45a; arXiv:math/0011046v1; MR1817334.
- [M3] I.G. Macdonald, Affine Hecke algebras and orthogonal polynomials, Cambridge University Press, 2004; MR1976581.
- [NoSt] M. Noumi and J.V. Stokman, Askey-Wilson polynomials: an affine Hecke algebra approach, in: Laredo Lectures on Orthogonal Polynomials and Special Functions, pp. 111-144, Nova Sci. Publ., Hauppauge, NY, 2004; arXiv:math/0001033v1; MR2085854.
- [R1] M. Rahman, Biorthogonality of a system of rational functions with respect to a positive measure on \([−1,1]\), SIAM J. Math. Anal. 22 (1991), 1430-1441; MR1112517.
- [Ro1] H. Rosengren, A new quantum algebraic interpretation of the Askey-Wilson polynomials, in: q-Series from a contemporary perspective, pp. 371-394, Contemp. Math. 254, American Mathematical Society; MR1768937.
- [Ro2] H. Rosengren, An elementary approach to 6j-symbols (classical, quantum, rational, trigonometric, and elliptic), Ramanujan J. 13 (2007), 131-166; MR2281159.
- [Sa] S. Sahi, Nonsymmetric Koornwinder polynomials and duality, Ann. of Math. (2) 150 (1999), 267-282; MR1715325.
- [SpZh] V. Spiridonov and A. Zhedanov, Spectral transformation chains and some new biorthogonal rational functions, Comm. Math. Phys. 210 (2000), 49-83; MR1748170.
- [Sz] G. Szegő, Orthogonal polynomials, Colloquium Publications 23, American Mathematical Society, Fourth ed., 1975; MR0372517.
- [Te] P. Terwilliger, The universal Askey-Wilson algebra, SIGMA 7 (2011), Paper 069, 24 pp.
- [TsViZh] S. Tsujimoto, L. Vinet and A. Zhedanov, Dunkl shift operators and Bannai-Ito polynomials, Adv. Math. 229 (2012), 2123--2158; MR2880217.
- [VKl] N.Ja. Vilenkin and A.U. Klimyk, Representation of Lie groups and special functions, Vols. 1,2,3, Kluwer, 1991-1993; MR1143783, MR1220225, MR1206906.
- [ViZh] L. Vinet and A. Zhedanov, Generalized Bochner theorem: characterization of the Askey-Wilson polynomials, J. Comput. Appl. Math. 211 (2008), 45-56; MR2386827.
- [W] J.A. Wilson, Orthogonal functions from Gram determinants, SIAM J. Math. Anal. 22 (1991), 1147-1155; MR1112071.
- [Zh] A.S. Zhedanov, "Hidden symmetry" of Askey-Wilson polynomials, Theoret. and Math. Phys. 89 (1991), 1146-1157; MR1151381.
Recommended reading
- M.E.H. Ismail, Classical and quantum orthogonal polynomials in one variable, Cambridge University Press, 2005; MR21917861.