The Jack polynomials are a family of multivariate orthogonal polynomials dependent on a positive parameter . Orthogonality of the Jack polynomials is proved in Macdonald (1995, p. 383). The Jack polynomials have a rich history, and special cases of have been studied more extensively than others (Dumitriu et al. 2004). The following table summarizes some of these special cases.
special polynomial | |
quaternion zonal polynomial | |
1 | Schur polynomial |
2 | zonal polynomial |
Jack (1969-1970) originally defined the polynomials that eventually became associated with his name while attempting to evaluate an integral connected with the noncentral Wishart distribution (James 1960, Hua 1963, Dumitriu et al. 2004). Jack noted that the case were the Schur polynomials, and conjectured that were the zonal polynomials. The question of finding a combinatorial interpretation for the polynomials was raised by Foulkes (1974), and subsequently answered by Knop and Sahi (1997). Later authors then generalized many known properties of the Schur and zonal polynomials to Jack polynomials (Stanley 1989, Macdonald 1995). Jack polynomials are especially useful in the theory of random matrices (Dumitriu et al. 2004).
The Jack polynomials generalize the monomial scalar functions , which is orthogonal over the unit circle in the complex plane with weight function unity . The interval for the -multivariate Jack polynomials can therefore be thought of as an -dimensional torus (Dumitriu et al. 2004).
The Jack polynomials have several equivalent definitions (up to certain normalization constraints), and three common normalizations ("C," "J," and "P"). The "J" normalization makes the coefficient of the lowest-order monomial equal to exactly , while the "P" normalization is monic.
Let denote the sum of all monomials where ranges over all distinct permutations of . Then the first few Jack "J" polynomials are given by
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
(Table 1 in Dumitriu et al. 2004).
Let be a partition, then the Jack polynomials can be defined as the functions that are orthogonal with respect to the inner product
(7)
|
where is the Kronecker delta and , with the number of occurrences of in (Macdonald 1995, Dumitriu et al. 2004).
The Jack polynomial is the only homogeneous polynomial eigenfunction of the Laplace-Beltrami-type operator
(8)
|
with eigenvalue having highest-order term corresponding to (Muirhead 1982, Dumitriu 2004). Here,
(9)
|
and is a partition of and is the number of variables.