A Characterization of Macdonald's Jack Hypergeometric Series ${}_p{F}_q(x;\alpha )$ and ${}_p{F}_q(x,y;\alpha )$ via Differential Equations

Abstract

In a widely circulated manuscript from the 1980s, now available on the arXiv, I.~G.~Macdonald introduced certain multivariable hypergeometric series ${}_p{F}_q(x)={}_p{F}_q(x;\alpha )$ and ${}_p{F}_q(x,y)={}_p{F}_q(x,y;\alpha )$ in one and two sets of variables $x=(x_1,\dots x_n)$ and $y=(y_1,\dots y_n)$. These two series are defined by explicit expansions in terms of Jack polynomials $J_{\lambda }^{(\alpha )}$, and for $\alpha =2$ they specialize to the hypergeometric series of matrix arguments studied by Herz (1955) and Constantine (1963) that admit analogous expansions in terms of zonal polynomials. In this paper we determine explicit partial differential equations that characterize ${}_p{F}_q$, thereby answering a question posed by Macdonald. More precisely, for each $n,p,q$ we construct three differential operators $\mathcal{A}={\mathcal{A}}^{(x,y)}$, $\mathcal{B}={\mathcal{B}}^{(x)}$, $\mathcal{C}=C^{(x)}$, and we show that ${}_p{F}_q(x,y)$ and ${}_p{F}_q(x)$ are the unique series solutions of the equations $\mathcal{A}(f)=0$ and $\mathcal{C}(f)=0$, respectively, subject to certain symmetry and boundary conditions. We also prove that the equation $\mathcal{B}(f)=0$ characterizes ${}_p{F}_q(x)$, but only after one restricts the domain of $\mathcal{B}$ to the set of series satisfying an additional stability condition with respect to $n$. Special cases of the operators $\mathcal{A}$ and $\mathcal{B}$ have been constructed previously in the literature, but only for a small number of pairs $(p,q)$, namely for $p\le 3$ and $q\le 2$ in the zonal case by Muirhead (1970), Constantine--Muirhead (1972), and Fujikoshi (1975); and for $p\le 2$ and $q\le 1$ in the general Jack case by Macdonald (1980s), Yan (1992), Kaneko (1993), and Baker--Forrester (1997). However the operator $\mathcal{C}$ seems to be new even for these special cases.

39 pages