Polynôme de Koornwinder

En mathématiques, les polynômes de Macdonald-Koornwinder (également appelés polynômes de Koornwinder) sont une famille de polynômes orthogonaux à plusieurs variables, introduite par Tom Koornwinder (et Ian G. Macdonald en 1987 pour des cas particuliers importants), qui généralisent les polynômes d'Askey–Wilson. Ce sont les polynômes de Macdonald attachés au système racinaire affine non réduit de type (CModèle:Su, C_n), et en particulier, d'après Modèle:Référence Harvard sans parenthèses et Modèle:Référence Harvard sans parenthèses, ils satisfont à des analogues des conjectures de Macdonald Modèle:Référence Harvard. De plus, Jan Felipe van Diejen a montré que les polynômes de Macdonald associés à tout système de racines classique peuvent être exprimés comme des limites ou des cas particuliers de polynômes de Macdonald-Koornwinder et il a explicité des ensembles complets d'opérateurs aux différences commutant deux à deux qu'ils diagonalisent Modèle:Référence Harvard. De plus, il existe une grande classe de familles intéressantes de polynômes orthogonaux à plusieurs variables associés à des systèmes de racines classiques qui sont des cas dégénérés des polynômes de Macdonald-Koornwinder Modèle:Référence Harvard. Les polynômes de Macdonald-Koornwinder ont également été étudiés à l'aide d'algèbres de Hecke affines (Modèle:Référence Harvard sans parenthèses, Modèle:Référence Harvard sans parenthèses, Modèle:Référence Harvard sans parenthèses).

Le polynôme de Macdonald-Koornwinder à n variables associé à la partition λ est l'unique polynôme de Laurent invariant par permutation et inversion des variables, de monôme dominant x^λ, et orthogonal par rapport à la densité

$\prod _{1\le i<j\le n}\frac{(x_i{x}_j,x_i/x_j,x_j/x_i,1/x_i{x}_j;q{)}_{\mathrm{\infty }}}{(t{x}_i{x}_j,t{x}_i/x_j,t{x}_j/x_i,t/x_i{x}_j;q{)}_{\mathrm{\infty }}}\prod _{1\le i\le n}\frac{(x_i^2,1/x_i^2;q{)}_{\mathrm{\infty }}}{(a{x}_i,a/x_i,b{x}_i,b/x_i,c{x}_i,c/x_i,d{x}_i,d/x_i;q{)}_{\mathrm{\infty }}}$

sur le tore unité d'équations

$|x_1|=|x_2|=\cdots |x_n|=1$,

où les paramètres satisfont aux contraintes

$|a|,|b|,|c|,|d|,|q|,|t|<1,$

et où (x ; q)_∞ désigne le q-symbole de Pochhammer infini. Ici dire que x^λ est le monôme dominant signifie que μ≤λ pour tous les termes x^μ ayant un coefficient non nul, où μ≤λ si et seulement si μ₁ ≤λ₁, μ₁ +μ₂ ≤ λ₁ +λ₂,…, μ₁ +…+µ_n ≤ λ₁ +…+λ_n. Sous les contraintes supplémentaires que q et t sont réels et que a, b, c, d sont réels ou, s'ils sont complexes, apparaissent par paires de complexes conjugués, la densité donnée est positive.

Pour quelques notes de cours sur les polynômes de Macdonald-Koornwinder du point de vue des algèbres de Hecke, voir par exemple Modèle:Référence Harvard.

Références

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