Theta hypergeometric integrals

Spiridonov, V.

doi:10.1090/S1061-0022-04-00839-8

Theta hypergeometric integrals
HTML articles powered by AMS MathViewer

by V. P. Spiridonov

St. Petersburg Math. J. 15 (2004), 929-967

DOI: https://doi.org/10.1090/S1061-0022-04-00839-8

Published electronically: November 16, 2004

PDF | Request permission

Abstract:

A general class of (multiple) hypergeometric type integrals associated with the Jacobi theta functions is defined. These integrals are related to theta hypergeometric series via the residue calculus. In the one variable case, theta function extensions of the Meijer function are obtained. A number of multiple generalizations of the elliptic beta integral associated with the root systems $A_n$ and $C_n$ is described. Some of the $C_n$-examples were proposed earlier by van Diejen and the author, but other integrals are new. An example of the biorthogonality relations associated with the elliptic beta integrals is considered in detail.

References

George E. Andrews, Richard Askey, and Ranjan Roy, Special functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, 1999. MR 1688958, DOI 10.1017/CBO9781107325937
Richard Askey, Beta integrals in Ramanujan’s papers, his unpublished work and further examples, Ramanujan revisited (Urbana-Champaign, Ill., 1987) Academic Press, Boston, MA, 1988, pp. 561–590. MR 938979
Richard Askey and James Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials, Mem. Amer. Math. Soc. 54 (1985), no. 319, iv+55. MR 783216, DOI 10.1090/memo/0319
E. W. Barnes, On the theory of the multiple gamma function, Trans. Cambridge Philos. Soc. 19 (1904), 374–425.
—, The linear difference equation of the first order, Proc. London Math. Soc. (2) 2 (1905), 438–469.
Rodney J. Baxter, Partition function of the eight-vertex lattice model, Ann. Physics 70 (1972), 193–228. MR 290733, DOI 10.1016/0003-4916(72)90335-1
Arthur Erdélyi, Wilhelm Magnus, Fritz Oberhettinger, and Francesco G. Tricomi, Higher transcendental functions. Vols. I, II, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1953. Based, in part, on notes left by Harry Bateman. MR 0058756
E. Date, M. Jimbo, A. Kuniba, T. Miwa, and M. Okado, Exactly solvable SOS models: local height probabilities and theta function identities, Nuclear Phys. B 290 (1987), no. 2, 231–273. MR 910849, DOI 10.1016/0550-3213(87)90187-8
E. Date, M. Jimbo, A. Kuniba, T. Miwa, and M. Okado, Exactly solvable SOS models. II. Proof of the star-triangle relation and combinatorial identities, Conformal field theory and solvable lattice models (Kyoto, 1986) Adv. Stud. Pure Math., vol. 16, Academic Press, Boston, MA, 1988, pp. 17–122. MR 972992, DOI 10.2969/aspm/01610017
R. Y. Denis and R. A. Gustafson, An $\textrm {SU}(n)$ $q$-beta integral transformation and multiple hypergeometric series identities, SIAM J. Math. Anal. 23 (1992), no. 2, 552–561. MR 1147877, DOI 10.1137/0523027
J. F. van Diejen and V. P. Spiridonov, An elliptic Macdonald-Morris conjecture and multiple modular hypergeometric sums, Math. Res. Lett. 7 (2000), no. 5-6, 729–746. MR 1809297, DOI 10.4310/MRL.2000.v7.n6.a6
J. F. van Diejen and V. P. Spiridonov, Elliptic Selberg integrals, Internat. Math. Res. Notices 20 (2001), 1083–1110. MR 1857597, DOI 10.1155/S1073792801000526
J. F. Van Diejen and V. P. Spiridonov, Modular hypergeometric residue sums of elliptic Selberg integrals, Lett. Math. Phys. 58 (2001), no. 3, 223–238 (2002). MR 1892922, DOI 10.1023/A:1014567500292
J. F. van Diejen and V. P. Spiridonov, Elliptic beta integrals and modular hypergeometric sums: an overview, Rocky Mountain J. Math. 32 (2002), no. 2, 639–656. Conference on Special Functions (Tempe, AZ, 2000). MR 1934909, DOI 10.1216/rmjm/1030539690
Martin Eichler and Don Zagier, The theory of Jacobi forms, Progress in Mathematics, vol. 55, Birkhäuser Boston, Inc., Boston, MA, 1985. MR 781735, DOI 10.1007/978-1-4684-9162-3
L. D. Faddeev, Discrete Heisenberg-Weyl group and modular group, Lett. Math. Phys. 34 (1995), no. 3, 249–254. MR 1345554, DOI 10.1007/BF01872779
Giovanni Felder and Alexander Varchenko, The elliptic gamma function and $\textrm {SL}(3,\textbf {Z})\ltimes \textbf {Z}^3$, Adv. Math. 156 (2000), no. 1, 44–76. MR 1800253, DOI 10.1006/aima.2000.1951
Igor B. Frenkel and Vladimir G. Turaev, Elliptic solutions of the Yang-Baxter equation and modular hypergeometric functions, The Arnold-Gelfand mathematical seminars, Birkhäuser Boston, Boston, MA, 1997, pp. 171–204. MR 1429892
George Gasper and Mizan Rahman, Basic hypergeometric series, Encyclopedia of Mathematics and its Applications, vol. 35, Cambridge University Press, Cambridge, 1990. With a foreword by Richard Askey. MR 1052153
I. M. Gel′fand, M. I. Graev, and V. S. Retakh, General hypergeometric systems of equations and series of hypergeometric type, Uspekhi Mat. Nauk 47 (1992), no. 4(286), 3–82, 235 (Russian, with Russian summary); English transl., Russian Math. Surveys 47 (1992), no. 4, 1–88. MR 1208882, DOI 10.1070/RM1992v047n04ABEH000915
Dharma P. Gupta and David R. Masson, Contiguous relations, continued fractions and orthogonality, Trans. Amer. Math. Soc. 350 (1998), no. 2, 769–808. MR 1407490, DOI 10.1090/S0002-9947-98-01879-0
Robert A. Gustafson, Some $q$-beta and Mellin-Barnes integrals with many parameters associated to the classical groups, SIAM J. Math. Anal. 23 (1992), no. 2, 525–551. MR 1147876, DOI 10.1137/0523026
Robert A. Gustafson, Some $q$-beta integrals on $\textrm {SU}(n)$ and $\textrm {Sp}(n)$ that generalize the Askey-Wilson and Nasrallah-Rahman integrals, SIAM J. Math. Anal. 25 (1994), no. 2, 441–449. MR 1266569, DOI 10.1137/S0036141092248614
Robert A. Gustafson and Christian Krattenthaler, Determinant evaluations and $\textrm {U}(n)$ extensions of Heine’s $_2\phi _1$-transformations, Special functions, $q$-series and related topics (Toronto, ON, 1995) Fields Inst. Commun., vol. 14, Amer. Math. Soc., Providence, RI, 1997, pp. 83–89. MR 1448682, DOI 10.1016/0377-0427(95)00260-x
Robert A. Gustafson and Medhat A. Rakha, $q$-beta integrals and multivariate basic hypergeometric series associated to root systems of type $A_m$, Ann. Comb. 4 (2000), no. 3-4, 347–373. Conference on Combinatorics and Physics (Los Alamos, NM, 1998). MR 1811060, DOI 10.1007/PL00001285
W. J. Holman III, L. C. Biedenharn, and J. D. Louck, On hypergeometric series well-poised in $\textrm {SU}(n)$, SIAM J. Math. Anal. 7 (1976), no. 4, 529–541. MR 412504, DOI 10.1137/0507043
Mourad E. H. Ismail and David R. Masson, Generalized orthogonality and continued fractions, J. Approx. Theory 83 (1995), no. 1, 1–40. MR 1354960, DOI 10.1006/jath.1995.1106
Mourad E. H. Ismail and Mizan Rahman, The associated Askey-Wilson polynomials, Trans. Amer. Math. Soc. 328 (1991), no. 1, 201–237. MR 1013333, DOI 10.1090/S0002-9947-1991-1013333-4
F. H. Jackson, The basic gamma-function and the elliptic functions, Proc. Roy. Soc. London Ser. A 76 (1905), 127–144.
Michio Jimbo and Tetsuji Miwa, Quantum KZ equation with $|q|=1$ and correlation functions of the $XXZ$ model in the gapless regime, J. Phys. A 29 (1996), no. 12, 2923–2958. MR 1398600, DOI 10.1088/0305-4470/29/12/005
S. Kharchev, D. Lebedev, and M. Semenov-Tian-Shansky, Unitary representations of $U_q(\mathfrak {s}\mathfrak {l}(2,\Bbb R))$, the modular double and the multiparticle $q$-deformed Toda chains, Comm. Math. Phys. 225 (2002), no. 3, 573–609. MR 1888874, DOI 10.1007/s002200100592
Tom H. Koornwinder, Askey-Wilson polynomials for root systems of type $BC$, Hypergeometric functions on domains of positivity, Jack polynomials, and applications (Tampa, FL, 1991) Contemp. Math., vol. 138, Amer. Math. Soc., Providence, RI, 1992, pp. 189–204. MR 1199128, DOI 10.1090/conm/138/1199128
C. Krattenthaler, The major counting of nonintersecting lattice paths and generating functions for tableaux, Mem. Amer. Math. Soc. 115 (1995), no. 552, vi+109. MR 1254150, DOI 10.1090/memo/0552
Ian G. Macdonald, Constant term identities, orthogonal polynomials, and affine Hecke algebras, Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), 1998, pp. 303–317. MR 1648036
A. Andronow and N. Bautin, Sur un cas dégénéré du problème général de régulation directe, C. R. (Doklady) Acad. Sci. URSS (N.S.) 46 (1945), 277–279 (French). MR 0013180
Stephen C. Milne, Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions, Ramanujan J. 6 (2002), no. 1, 7–149. MR 1906722, DOI 10.1023/A:1014865816981
Stephen C. Milne and Glenn M. Lilly, Consequences of the $A_l$ and $C_l$ Bailey transform and Bailey lemma, Discrete Math. 139 (1995), no. 1-3, 319–346. Formal power series and algebraic combinatorics (Montreal, PQ, 1992). MR 1336846, DOI 10.1016/0012-365X(94)00139-A
B. Nassrallah and Mizan Rahman, Projection formulas, a reproducing kernel and a generating function for $q$-Wilson polynomials, SIAM J. Math. Anal. 16 (1985), no. 1, 186–197. MR 772878, DOI 10.1137/0516014
Michitomo Nishizawa and Kimio Ueno, Integral solutions of hypergeometric $q$-difference systems with $|q|=1$, Physics and combinatorics 1999 (Nagoya), World Sci. Publ., River Edge, NJ, 2001, pp. 273–286. MR 1865041, DOI 10.1142/9789812810199_{0}009
Mizan Rahman, An integral representation of a $_{10}\varphi _9$ and continuous bi-orthogonal $_{10}\varphi _9$ rational functions, Canad. J. Math. 38 (1986), no. 3, 605–618. MR 845667, DOI 10.4153/CJM-1986-030-6
Mizan Rahman, Biorthogonality of a system of rational functions with respect to a positive measure on $[-1,1]$, SIAM J. Math. Anal. 22 (1991), no. 5, 1430–1441. MR 1112517, DOI 10.1137/0522091
Mizan Rahman and S. K. Suslov, Classical biorthogonal rational functions, Methods of approximation theory in complex analysis and mathematical physics (Leningrad, 1991) Lecture Notes in Math., vol. 1550, Springer, Berlin, 1993, pp. 131–146. MR 1322295, DOI 10.1007/BFb0117478
Mizan Rahman and Sergei K. Suslov, The Pearson equation and the beta integrals, SIAM J. Math. Anal. 25 (1994), no. 2, 646–693. MR 1266583, DOI 10.1137/S003614109222874X
Hjalmar Rosengren, A proof of a multivariable elliptic summation formula conjectured by Warnaar, $q$-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000) Contemp. Math., vol. 291, Amer. Math. Soc., Providence, RI, 2001, pp. 193–202. MR 1874532, DOI 10.1090/conm/291/04903
Hjalmar Rosengren, Elliptic hypergeometric series on root systems, Adv. Math. 181 (2004), no. 2, 417–447. MR 2026866, DOI 10.1016/S0001-8708(03)00071-9
S. N. M. Ruijsenaars, First order analytic difference equations and integrable quantum systems, J. Math. Phys. 38 (1997), no. 2, 1069–1146. MR 1434226, DOI 10.1063/1.531809
S. N. M. Ruijsenaars, A generalized hypergeometric function satisfying four analytic difference equations of Askey-Wilson type, Comm. Math. Phys. 206 (1999), no. 3, 639–690. MR 1721891, DOI 10.1007/s002200050840
Michael Schlosser, Summation theorems for multidimensional basic hypergeometric series by determinant evaluations, Discrete Math. 210 (2000), no. 1-3, 151–169. Formal power series and algebraic combinatorics (Minneapolis, MN, 1996). MR 1731612, DOI 10.1016/S0012-365X(99)00125-9
Michael Schlosser, A nonterminating $_8\phi _7$ summation for the root system $C_r$, Proceedings of the International Conference on Special Functions and their Applications (Chennai, 2002), 2003, pp. 283–296. MR 2022620, DOI 10.1016/S0377-0427(03)00632-0
Lucy Joan Slater, Generalized hypergeometric functions, Cambridge University Press, Cambridge, 1966. MR 0201688
V. P. Spiridonov, Solitons and Coulomb plasmas, similarity reductions and special functions, Special functions (Hong Kong, 1999) World Sci. Publ., River Edge, NJ, 2000, pp. 324–338. MR 1805993
V. P. Spiridonov, On the elliptic beta function, Uspekhi Mat. Nauk 56 (2001), no. 1(337), 181–182 (Russian); English transl., Russian Math. Surveys 56 (2001), no. 1, 185–186. MR 1846786, DOI 10.1070/rm2001v056n01ABEH000374
V. P. Spiridonov, The factorization method, self-similar potentials and quantum algebras, Special functions 2000: current perspective and future directions (Tempe, AZ), NATO Sci. Ser. II Math. Phys. Chem., vol. 30, Kluwer Acad. Publ., Dordrecht, 2001, pp. 335–364. MR 2006294, DOI 10.1007/978-94-010-0818-1_{1}3
V. P. Spiridonov, Elliptic beta integrals and special functions of hypergeometric type, Integrable structures of exactly solvable two-dimensional models of quantum field theory (Kiev, 2000) NATO Sci. Ser. II Math. Phys. Chem., vol. 35, Kluwer Acad. Publ., Dordrecht, 2001, pp. 305–313. MR 1873579
V. P. Spiridonov, Theta hypergeometric series, Asymptotic combinatorics with application to mathematical physics (St. Petersburg, 2001) NATO Sci. Ser. II Math. Phys. Chem., vol. 77, Kluwer Acad. Publ., Dordrecht, 2002, pp. 307–327. MR 2000728
V. P. Spiridonov, An elliptic incarnation of the Bailey chain, Int. Math. Res. Not. 37 (2002), 1945–1977. MR 1918235, DOI 10.1155/S1073792802205127
V. P. Spiridonov, Modularity and complete ellipticity of some multiple series of hypergeometric type, Teoret. Mat. Fiz. 135 (2003), no. 3, 462–477 (Russian, with Russian summary); English transl., Theoret. and Math. Phys. 135 (2003), no. 3, 836–848. MR 1984450, DOI 10.1023/A:1024035121615
Vyacheslav Spiridonov and Alexei Zhedanov, Spectral transformation chains and some new biorthogonal rational functions, Comm. Math. Phys. 210 (2000), no. 1, 49–83. MR 1748170, DOI 10.1007/s002200050772
Vyacheslav Spiridonov and Alexei Zhedanov, Classical biorthogonal rational functions on elliptic grids, C. R. Math. Acad. Sci. Soc. R. Can. 22 (2000), no. 2, 70–76 (English, with English and French summaries). MR 1764720
V. P. Spiridonov and A. S. Zhedanov, Generalized eigenvalue problem and a new family of rational functions biorthogonal on elliptic grids, Special functions 2000: current perspective and future directions (Tempe, AZ), NATO Sci. Ser. II Math. Phys. Chem., vol. 30, Kluwer Acad. Publ., Dordrecht, 2001, pp. 365–388. MR 2006295, DOI 10.1007/978-94-010-0818-1_{1}4
V. P. Spiridonov and A. S. Zhedanov, To the theory of biorthogonal rational functions, Sūrikaisekikenkyūsho K\B{o}kyūroku 1302 (2003), 172–192. New developments in the research of integrable systems that are continuous, discrete and ultradiscrete (Japanese) (Kyoto, 2002). MR 1986520
V. Tarasov and A. Varchenko, Geometry of $q$-hypergeometric functions, quantum affine algebras and elliptic quantum groups, Astérisque 246 (1997), vi+135 (English, with English and French summaries). MR 1646561
S. O. Warnaar, Summation and transformation formulas for elliptic hypergeometric series, Constr. Approx. 18 (2002), no. 4, 479–502. MR 1920282, DOI 10.1007/s00365-002-0501-6
E. T. Whittaker and G. N. Watson, A course of modern analysis, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1996. An introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions; Reprint of the fourth (1927) edition. MR 1424469, DOI 10.1017/CBO9780511608759
James A. Wilson, Orthogonal functions from Gram determinants, SIAM J. Math. Anal. 22 (1991), no. 4, 1147–1155. MR 1112071, DOI 10.1137/0522074
Alexei Zhedanov, Biorthogonal rational functions and the generalized eigenvalue problem, J. Approx. Theory 101 (1999), no. 2, 303–329. MR 1726460, DOI 10.1006/jath.1999.3339