Misplaced Pages

Koornwinder polynomials

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematics, Macdonald-Koornwinder polynomials (also called Koornwinder polynomials) are a family of orthogonal polynomials in several variables, introduced by Koornwinder and I. G. Macdonald, that generalize the Askey–Wilson polynomials. They are the Macdonald polynomials attached to the non-reduced affine root system of type (C
n, Cn), and in particular satisfy analogues of Macdonald's conjectures. In addition Jan Felipe van Diejen showed that the Macdonald polynomials associated to any classical root system can be expressed as limits or special cases of Macdonald-Koornwinder polynomials and found complete sets of concrete commuting difference operators diagonalized by them. Furthermore, there is a large class of interesting families of multivariable orthogonal polynomials associated with classical root systems which are degenerate cases of the Macdonald-Koornwinder polynomials. The Macdonald-Koornwinder polynomials have also been studied with the aid of affine Hecke algebras.

The Macdonald-Koornwinder polynomial in n variables associated to the partition λ is the unique Laurent polynomial invariant under permutation and inversion of variables, with leading monomial x, and orthogonal with respect to the density

1 i < j n ( x i x j , x i / x j , x j / x i , 1 / x i x j ; q ) ( t x i x j , t x i / x j , t x j / x i , t / x i x j ; q ) 1 i n ( x i 2 , 1 / x i 2 ; q ) ( 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 ) {\displaystyle \prod _{1\leq i<j\leq n}{\frac {(x_{i}x_{j},x_{i}/x_{j},x_{j}/x_{i},1/x_{i}x_{j};q)_{\infty }}{(tx_{i}x_{j},tx_{i}/x_{j},tx_{j}/x_{i},t/x_{i}x_{j};q)_{\infty }}}\prod _{1\leq i\leq n}{\frac {(x_{i}^{2},1/x_{i}^{2};q)_{\infty }}{(ax_{i},a/x_{i},bx_{i},b/x_{i},cx_{i},c/x_{i},dx_{i},d/x_{i};q)_{\infty }}}}

on the unit torus

| x 1 | = | x 2 | = | x n | = 1 {\displaystyle |x_{1}|=|x_{2}|=\cdots |x_{n}|=1} ,

where the parameters satisfy the constraints

| a | , | b | , | c | , | d | , | q | , | t | < 1 , {\displaystyle |a|,|b|,|c|,|d|,|q|,|t|<1,}

and (x;q) denotes the infinite q-Pochhammer symbol. Here leading monomial x means that μ≤λ for all terms x with nonzero coefficient, where μ≤λ if and only if μ1≤λ1, μ12≤λ12, …, μ1+…+μn≤λ1+…+λn. Under further constraints that q and t are real and that a, b, c, d are real or, if complex, occur in conjugate pairs, the given density is positive.

Citations

  1. Koornwinder 1992.
  2. Macdonald 1987, important special cases
  3. van Diejen 1996; Sahi 1999; Macdonald 2003, Chapter 5.3.
  4. van Diejen 1995.
  5. van Diejen 1999.
  6. Noumi 1995; Sahi 1999; Macdonald 2003.

References

Category: