\(q\)-difference shift for a \(BC_{n}\)-type Jackson integral arising from `elementary' symmetric polynomials (Q2498836): Difference between revisions

The \(q\)-Selberg integral may be defined by \[ S_{q}(\alpha,\beta,\tau;\,\xi):=\int_{0}^{\xi\infty}\Phi_{\mathcal{S}_{n}}(z)\Delta_{\mathcal{S}_{n}}(z)\varpi_{q}, \qquad \varpi_{q}=\frac{d_{q}z_{1}}{z_{1}}\ldots\frac{d_{q}z_{n}}{z_{n}}, \] where the integrand is defined by \[ \Phi_{\mathcal{S}_{n}}(z):=\prod_{i=1}^{n}z_{i}^{\alpha}\,\frac{(qz_{i})_{\infty}}{(bz_{i})_{\infty}}\; \prod_{1\leq j<k\leq n} z_{k}^{2\tau-1}\,\frac{(qt^{-1}z_{j}/z_{k})_{\infty}}{(tz_{j}/z_{k})_{\infty}}, \] \[ \Delta_{\mathcal{S}_{n}}(z):=\prod_{1\leq j<k\leq n}(z_{k}-z_{j}). \] For an appropriate choice of the parameters the limit of \(S_{q}(\alpha,\beta,\tau;\,\xi)\) as \(q\rightarrow 1\) becomes the well-known Selberg integral which is nothing but the beta function if \(n=1\). Here, as usual, \((x)_{\infty}:=\prod_{i=0}^{\infty}(1-q^{i}x)\), \(0<q<1\). In this paper the author discusses the structure of the product expression of a multiple sum introduced by [\textit{J. F. van Diejen}, ''On certain multiple Bailey, Rogers and Dougall type summation formulas'', Publ. Res. Inst. Math. Sci. 33, No.3, 483--508 (1997; Zbl 0894.33007)], who extended Aomoto's Jackson integrals associated with irreducible reduced root systems, which are generalized from the \(q\)-Selberg integral. The sum is called the \(BC_{n}\)-type Jackson integral. Like the \(q\)-~Selberg integral case, for the \(BC_{n}\)-type Jackson integral there also exist symmetric polynomials \(e_{i}^{\prime}(z)\) of a middle degree \(i,\;\;0\leq i\leq n\), such that they interpolate a \(q\)-difference equation with respect to the parameter shift \(a_{1}\rightarrow qa_{1}\) as follows: There exist symmetric Laurent polynomials \(e_{i}^{\prime}(z)\) of degree \(i,\;\;0\leq i\leq n\), such that \[ \begin{aligned} \int_{0}^{\xi\infty}e_{i}^{\prime}(z)\Phi_{B_{n}}(z)\Delta_{C_{n}}(z)\varpi_{q}\\ =-\frac{t^{i-1}(1-t^{n-i+1})\;\prod_{k=2}^{4}(1-a_{k}a_{1}t^{n-i})}{t^{n-i}(1-t^{i})a_{1}(1-a_{1}a_{2}a_{3}a_{4}t^{2n-i-1})}\, \int_{0}^{\xi\infty}e_{i-1}^{\prime}(z)\Phi_{B_{n}}(z)\Delta_{C_{n}}(z)\varpi_{q}. \end{aligned} \] For \(z=(z_{1},z_{2},\ldots,z_{n})\in(\mathbb{C}^{*})^{n}\) the functions \(\Phi_{B_{n}}(z)\), \(\Delta_{C_{n}}(z)\) are defined by products analogous of \(\Phi_{\mathcal{S}_{n}}(z)\), \(\Delta_{\mathcal{S}_{n}}(z)\). This is the the main result of this paper. The polynomials \(e_{i}^{\prime}(z)\) are called the 'elementary' symmetric polynomials and are defined via symplectic Schur functions. Several corollaries and applications are given. In particular, the author gives another proof of a product formula for the \(BC_{n}\)-type Jackson integral, which is equivalent to the so-called \(q\)-Macdonald-Morris identity for the root system \(BC_{n}\) first obtained by Gustafson.