
SIGMA 5 (2009), 041, 14 pages arXiv:0904.0561
http://dx.doi.org/10.3842/SIGMA.2009.041
Contribution to the Proceedings of the Workshop “Elliptic Integrable Systems, Isomonodromy Problems, and Hypergeometric Functions”
A First Order qDifference System for the BC_{1}Type Jackson Integral and Its Applications
Masahiko Ito
Department of Physics and Mathematics, Aoyama Gakuin University, Kanagawa 2298558, Japan
Received December 01, 2008, in final form March 18, 2009; Published online April 03, 2009
Abstract
We present an explicit expression for the qdifference system,
which the BC_{1}type Jackson integral (qseries) satisfies,
as first order simultaneous qdifference equations with a concrete basis.
As an application, we give a simple proof for the hypergeometric summation formula introduced by Gustafson
and the product formula of the qintegral introduced by NassrallahRahman and Gustafson.
Key words:
qdifference equations; Jackson integral of type BC_{1}; Gustafson's C_{n}type sum; NassrallahRahman integral.
pdf (262 kb)
ps (183 kb)
tex (14 kb)
References
 Aomoto K., A normal form of
a holonomic qdifference system
and its application to BC_{1}type,
Int. J. Pure Appl. Math. 50 (2009), 8595.
 Aomoto K., Ito M.,
On the structure of Jackson integrals of BC_{n} type
and holonomic qdifference equations,
Proc. Japan Acad. Ser. A Math. Sci. 81 (2005), 145150.
 Aomoto K., Ito M.,
Structure of Jackson integrals of BC_{n} type, Tokyo J. Math. 31 (2008), 449477.
 Aomoto K., Ito M.,
BC_{n}type Jackson integral generalized from Gustafson's C_{n}type sum,
J. Difference Equ. Appl. 14 (2008), 10591097.
 Aomoto K., Ito M.,
A determinant formula for
a holonomic qdifference system
associated with Jackson integrals of type BC_{n},
Adv. Math., to appear, http://dx.doi.org/10.1016/j.aim.2009.02.003.
 van Diejen J.F., Spiridonov V.P., Modular hypergeometric residue sums of elliptic Selberg integrals, Lett. Math. Phys. 58 (2001), 223238.
 Denis R.Y., Gustafson R.A.,
An SU(n) qbeta integral transformation and multiple hypergeometric series identities,
SIAM J. Math. Anal. 23 (1992), 552561.
 Gasper G., Rahman M.,
Basic hypergeometric series, 2nd ed., Encyclopedia of Mathematics and its Applications, Vol. 96, Cambridge University Press, Cambridge, 2004.
 Gustafson R.A.,
Some qbeta and MellinBarnes integrals with many parameters associated to the classical groups, SIAM J. Math. Anal. 23 (1992), 525551.
 Gustafson R.A.,
Some qbeta and MellinBarnes integrals on compact Lie groups and Lie algebras, Trans. Amer. Math. Soc. 341 (1994), 69119.
 Ito M.,
qdifference shift for a BC_{n} type Jackson integral arising from 'elementary' symmetric polynomials,
Adv. Math. 204 (2006), 619646.
 Ito M.,
Another proof of Gustafson's C_{n}type summation formula
via 'elementary' symmetric polynomials,
Publ. Res. Inst. Math. Sci. 42 (2006), 523549.
 Ito M.,
A multiple generalization of Slater's transformation formula
for a verywellpoisedbalanced _{2r}ψ_{2r} series,
Q. J. Math. 59 (2008), 221235.
 Ito M., Okada S.,
An application of CauchySylvester's theorem on compound
determinants to a BC_{n}type Jackson integral,
in Proceedings of the
Conference on Partitions, qSeries and Modular Forms (University of Florida, March 1216, 2008), to appear.
 Ito M., Sanada Y.,
On the SearsSlater basic hypergeometric transformations, Ramanujan J. 17 (2008), 245257.
 Nassrallah B., Rahman M., Projection formulas, a reproducing kernel and a generating function for qWilson polynomials, SIAM J. Math. Anal. 16 (1985), 186197.
 Rains E.M., Spiridonov V.P.,
Determinants of elliptic hypergeometric integrals, Funct. Anal. Appl., to appear, arXiv:0712.4253.

