Harman Patil (Editor)

Koornwinder polynomials

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, Macdonald-Koornwinder polynomials (also called Koornwinder polynomials) are a family of orthogonal polynomials in several variables, introduced by Koornwinder (1992) and I. G. Macdonald (1987, important special cases), 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 (Diejen 1996, Sahi 1999) analogues of Macdonald's conjectures (Macdonald 2003, Chapter 5.3). 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 (Diejen 1995). 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 (Diejen 1999). The Macdonald-Koornwinder polynomials have also been studied with the aid of affine Hecke algebras (Noumi 1995, Sahi 1999, Macdonald 2003).

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 )

on the unit torus

| x 1 | = | x 2 | = | x n | = 1 ,

where the parameters satisfy the constraints

| 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.

For some lecture notes on Macdonald-Koornwinder polynomials from a Hecke algebra perspective see for example (Stokman 2004).

References

Koornwinder polynomials Wikipedia