Jack Polynomial

The Jack polynomials are a family of multivariate orthogonal polynomials dependent on a positive parameter alpha. Orthogonality of the Jack polynomials is proved in Macdonald (1995, p. 383). The Jack polynomials have a rich history, and special cases of alpha have been studied more extensively than others (Dumitriu et al. 2004). The following table summarizes some of these special cases.

alphaspecial polynomial
1/2quaternion zonal polynomial
1Schur polynomial
2zonal 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 alpha=1 were the Schur polynomials, and conjectured that alpha=2 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 x^k, which is orthogonal over the unit circle |z|=1 in the complex plane with weight function unity w(z)=1. The interval for the n-multivariate Jack polynomials I^n can therefore be thought of as an n-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 [1^n] equal to exactly n!, while the "P" normalization is monic.

Letting m_([i_1,...,i_l]) denote x_1^(i_1)...x_l^(i_l), the first few Jack "J" polynomials are given by

J_([1])^alpha=m_([i])
(1)
J_([2])^alpha=(1+alpha)m_([2])+2m_([1,1])
(2)
J_([1,1])^alpha=2m_([1,1])
(3)
J_([3])^alpha=(1+alpha)(2+alpha)m_([3])+3(1+alpha)m_([2,1])+6m_([1,1,1])
(4)
J_([2,1])^alpha=(2+alpha)m_([2,1])+6m_([1,1,1])
(5)
J_([1,1,1])^alpha=6m_([1,1,1])
(6)

(Dumitriu et al. 2004).

Let lambda=[a_1,a_2,...,a_(l(lambda))] be a partition, then the Jack polynomials P_lambda^alpha can be defined as the functions that are orthogonal with respect to the inner product

 <p_lambda,p_mu>_alpha=alpha^(l(lambda))z_lambdadelta_(lambdamu),
(7)

where delta_(ij) is the Kronecker delta and z_lambda=product_(i=1)^(l(lambda))a_1!i^(a_i), with a_i the number of occurrences of i in lambda (Macdonald 1995, Dumitriu et al. 2004).

The Jack polynomial C_kappa^alpha is the only homogeneous polynomial eigenfunction of the Laplace-Beltrami-type operator

 D^*=sum_(i=1)^mx_i^2(d^2)/(dx_i^2)+2/alphasum_(1<=i!=j<=m)(x_i^2)/(x_i-x_j)d/(dx_i)
(8)

with eigenvalue rho_k^alpha+k(m-1) having highest-order term corresponding to kappa (Muirhead 1982, Dumitriu 2004). Here,

 rho_kappa^alpha=sum_(i=1)^mk_i[k_i-1-2/alpha(i-1)]
(9)

and kappa is a partition of k and m is the number of variables.

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.