Polynôme d'Askey-Wilson

En mathématiques, les polynômes d'Askey-Wilson (ou q-polynômes de Wilson) sont une famille particulière de polynômes orthogonaux. Ils ont été introduits par Richard Askey et James A. Wilson en 1985, et sont nommés d'après eux. Ces polynômes sont des q-analogues d'une autre famille de polynômes orthogonaux, les Modèle:Lien.

La famille des polynômes d'Askey-Wilson comprend de nombreux autres polynômes orthogonaux comme cas particuliers, soit en une variable, soit comme cas limite, dans le cadre décrit par le Modèle:Lien. Les polynômes d'Askey-Wilson sont à leur tour des cas particuliers des polynômes de Macdonald (ou des polynômes de Koornwinder) pour certains Modèle:Lien.

Définition

Les polynômes d'Askey-Wilson sont définis par :

$p_n(x;a,b,c,d\mid q)=(ab,ac,ad;q{)}_n{a}^{-n}{}_4{\varphi }_3[\begin{array}{cccc}{q}^{-n}& abcd{q}^{n-1}& a{\mathrm{e}}^{\mathrm{i}\theta }& a{\mathrm{e}}^{-\mathrm{i}\theta }\\ ab& ac& ad\end{array};q,q]$

où $\varphi$ est une Modèle:Lien, $x=\cos (\theta )$ et $(\cdot ,\cdot ,\cdot ,\cdot {)}_n$ est le q-symbole de Pochhammer étendu par la formule $(a_1,a_2,\dots ,a_r;q{)}_n:=(a_1;q{)}_n(a_2;q{)}_n\dots (a_r;q{)}_n$. Ce sont des polynômes de degré n en $x=\cos \theta$.

Symétrie

Les polynômes $p_n(x;a,b,c,d\mid q)$ sont symétriques en les paramètres $a,b,c,d$. Pour $x=(a+a^{-1})/2$, ils prennent la valeur particulière

$p_n((a+a^{-1})/2;a,b,c,d\mid q)=(ab,ac,ad;q{)}_n{a}^{-n}$,

et de même $x(b+b^{-1})/2,(c+c^{-1})/2$ et $(d+d^{-1})/2$. Pour des entiers $m,n$ positifs ou nuls, il y a vérifient la relation de dualité

$\frac{p_n((a^{-1}{q}^{-m}+a{q}^m)/2;a,b,c,d\mid q)}{p_n((a^{-1}+a)/2;a,b,c,d\mid q)}=\frac{p_m(({\check{a}}^{-1}{q}^{-n}+\check{a}{q}^n)/2;\check{a},\check{b},\check{c},\check{d}\mid q)}{p_m(({\check{a}}^{-1}+\check{a})/2;\check{a},\check{b},\check{c},\check{d}\mid q)}$

pour $a=q^{-1/2}(\check{a}\check{b}\check{c}\check{d}{)}^{1/2}$ et $ab=\check{a}\check{b}$, $ac=\check{a}\check{c}$, $ad=\check{a}\check{d}$.

Orthogonalité

Pour $0<q<1$, et pour quatre nombres réels $a,b,c,d$ vérifiant $|a|,|b|,|c|,|d|<1$, on a la relation d'orthogonalité :

$\underset{-1}{\overset{1}{\int }}{p}_n(x)p_m(x)w(x)\mathrm{d}x=h_n{\delta }_{n,m},$

avec

$h_0:=\frac{(abcd;q{)}_{\mathrm{\infty }}}{(q,ab,ac,ad,bc,bd,cd;q{)}_{\mathrm{\infty }}},\frac{h_n}{h_0}:=\frac{1-abcd{q}^{n-1}}{1-abcd{q}^{2n-1}}\frac{(q,ab,ac,ad,bc,bd,cd;q{)}_n}{(abcd;q{)}_n}.$

Pour des valeurs plus générales des paramètres, il existe une relation sous forme d'une intégrale de contour. Le cas particulier de l’équation pour $n=m=0$ est appelé lModèle:'intégrale d'Askey-Wilson.

Spécialisation des paramètres

Par la spécialisation de certains paramètres, on retrouve d'autres familles de polynômes orthogonaux (comme ci-dessus, $x=\cos \theta$) :

• Polynômes de Al-Salam-Chihara :

$Q_n(x;a,b\mid q):=p_n(x;a,b,0,0\mid q)$.

• Polynômes de q-Jacobi continus :

$P_n^{(\alpha ,\beta )}(x;q)\propto p_n(x;q^{\frac{1}{2}},q^{\alpha +\frac{1}{2}},-q^{\beta +\frac{1}{2}},-q^{\frac{1}{2}}\mid q)\propto p_n(x;q^{\alpha +\frac{1}{2}},q^{\alpha +\frac{3}{2}},-q^{\beta +\frac{1}{2}},-q^{\beta +\frac{3}{2}}\mid q^2)$.

• Polynômes q-ultrasphériques continus :

$C_n(x;\beta \mid q):=\frac{(\beta ;q{)}_n}{(q;q{)}_n}{p}_n(x;{\beta }^{\frac{1}{2}},{\beta }^{\frac{1}{2}}{q}^{\frac{1}{2}},-{\beta }^{\frac{1}{2}},-{\beta }^{\frac{1}{2}}{q}^{\frac{1}{2}}\mid q)=\sum _{k=0}^n\frac{(\beta ;q{)}_k(\beta ;q{)}_{n-k}}{(q;q{)}_k(q;q{)}_{n-k}}{\mathrm{e}}^{\mathrm{i}(n-2k)\theta }$.

• Polynômes de q-Hermite continus :

$H_n(x\mid q):=(q;q{)}_n{C}_n(x;0\mid q)=\sum _{k=0}^n\frac{(q;q{)}_n}{(q;q{)}_k(q;q{)}_{n-k}}{\mathrm{e}}^{\mathrm{i}(n-2k)\theta }$.

• Polynômes de Tchebychev :

$p_n(x;1,-1,q^{\frac{1}{2}},-q^{\frac{1}{2}}\mid q)\propto \cos n\theta ,p_n(x;q,-q,q^{\frac{1}{2}},-q^{\frac{1}{2}}\mid q)\propto \frac{\sin (n+1)\theta }{\sin \theta }$,

$p_n(x;q,-1,q^{\frac{1}{2}},-q^{\frac{1}{2}}\mid q)\propto \frac{\sin (n+\frac{1}{2})\theta }{\sin \frac{1}{2}\theta },p_n(x;1,-q,q^{\frac{1}{2}},-q^{\frac{1}{2}}\mid q)\propto \frac{\cos (n+\frac{1}{2})\theta }{\cos \frac{1}{2}\theta }$.

Cas limites

• Polynômes de Wilson :

$W_n(y^2;a,b,c,d)=\underset{q\uparrow 1}{\lim }(1-q{)}^{-3n}{p}_n(\frac{1}{2}(q^{\mathrm{i}y}+q^{-\mathrm{i}y});q^a,q^b,q^c,q^d\mid q)$.

• Polynômes de Jacobi :

$P_n^{(\alpha ,\beta )}(x)=\underset{q\uparrow 1}{\lim }{P}_n^{(\alpha ,\beta )}(x;q)$.

• Polynômes ultrasphériques :

$C_n^{\lambda }(x)=\underset{q\uparrow 1}{\lim }{C}_n(x;q^{\lambda }\mid q)$.

• Polynômes d'Hermite :

$H_n(x)=\underset{q\uparrow 1}{\lim }(1-q{)}^{-n/2}{H}_n((1-q{)}^{1/2}x\mid q^2)$.

Voir aussi

• Modèle:Lien
• Liste de polynômes remarquables

Bibliographie

• Modèle:Ouvrage
• Modèle:Chapitre.
• Modèle:Article

Liens externes

• Modèle:MathWorld