Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 072, 20 pages Barnes{Ismagilov Integrals and Hypergeometric Functions of the Complex Field 1 2 3 4 Yury A. NERETIN y y y y 1 y Wolfgang Pauli Institut, c/o Fakult¨atf¨urMathematik, Universit¨atWien, Oskar-Morgenstern-Platz 1, A-1090 Wien, Austria E-mail: [email protected] URL: http://mat.univie.ac.at/~neretin/ 2 y Institute for Theoretical and Experimental Physics, Moscow, Russia 3 y Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Russia 4 y Institute for Information Transmission Problems, Moscow, Russia Received April 09, 2020, in final form July 17, 2020; Published online August 02, 2020 https://doi.org/10.3842/SIGMA.2020.072 C (a) Abstract. We examine a family pGq (b) ; z of integrals of Mellin{Barnes type over the space Z × R, such functions G naturally arise in representation theory of the Lorentz C group. We express pGq (z) as quadratic expressions in the generalized hypergeometric func- C tions pFq−1 and discuss further properties of the functions pGq (z). Key words: Mellin{Barnes integrals; Mellin transform; hypergeometric functions; Lorentz group 2020 Mathematics Subject Classification: 33C20; 33C70; 22E43 1 The statements 1.1 Introduction Recall the Euler integral representation of the Gauss hypergeometric function: Z 1 a; b 1 b−1 c−b−1 −a 2F 1 ; z = t (1 − t) (1 − zt) dt; (1.1) c B(b; c − b) 0 where a, b, c are complex numbers and arXiv:1910.10686v2 [math.CA] 4 Aug 2020 Z 1 Γ(α)Γ(β) B(α; β) := tα−1(1 − t)β−1 dt = ; (1.2) 0 Γ(α + β) is the beta function. The hypergeometric functions p+1Fp admit the following inductive integral representation: Z 1 a1; : : : ; ap; c 1 c−1 d−c−1 a1; : : : ; ap p+1Fp ; z := t (1 − t) pF p−1 ; tz dt:(1.3) b1; : : : ; bp−1; d B(c; d − c) 0 b1; : : : ; bp−1 Let us replace the integration over the interval [0; 1] by the integration over the complex b plane for all integrals (1.1){(1.3). The expression t for t 2 C, b 2 C is ramified at t = 0, so the This paper is a contribution to the Special Issue on Elliptic Integrable Systems, Special Functions and Quan- tum Field Theory. The full collection is available at https://www.emis.de/journals/SIGMA/elliptic-integrable- systems.html 2 Yu.A. Neretin integration makes no sense. But we can replace tb by jtj2b = tbtb. It is better to consider a wider generality and to write 0 0 tbjb := tbtb : 0 This expression is non-ramified if b − b 2 Z. Then the new beta-function equals (see [17, Section II.3.7], [16, Section 1.6])1 1 Z 0 0 BC(αjα0; βjβ0) := tα−1jα −1(1 − t)β−1jβ −1 d Re t d Im t π C Γ(α)Γ(β) Γ(1 − α0 − β0) = · : (1.4) Γ(α + β) Γ(1 − α0)Γ(1 − β0) The new version of the Gauss hypergeometric function (Gauss hypergeometric functions of the complex field) also can be evaluated (see [33, Theorem 3.9]), the result has the form aja0; bjb0 a; b a0; b0 F C ; z = F ; z F ; z 2 1 cjc0 2 1 c 2 1 c0 0 0 0 0 product of 0 a + 1 − c; b + 1 − c a + 1 − c ; b + 1 − c + z1−cj1−c F ; z F ; z : (1.5) Γ-functions 2 1 2 − c 2 1 2 − c0 The Gauss hypergeometric functions satisfy numerous identities, see for instance the book Higher Hypergeometric Functions [13, Chapter 2]. Usually such identities (and maybe all such C identities) have counterparts for 2F1 (see a collection of formulas in [33, Section 3]). Counterparts of the Gauss hypergeometric functions were briefly mentioned in the book by Gelfand, Graev and Vilenkin [17, Section II.3.7] in 1962. Later various formulas and identities related to hypergeometric functions of complex fields of different levels and beta integrals of the complex field appeared in works of numerous authors: Dotsenko and Fateev [12], Gelfand, Graev and Retakh [16], Ismagilov [23, 24], Derkachov and Manashov [6,8], Bazhanov, Mangazeev and Sergeev [2], Derkachov, Manashov, Valinevich [9, 10], Kels [27, 28], Mimachi [32], Derkachov and Spiridonov [11], Molchanov and Neretin [33], Neretin [39] (we discuss the references in a more arranged form in Section 3.3). The purpose of this paper is to give a definition of counterparts of higher hypergeometric functions pFq(z) (formula (1.15)) and to obtain an analog of formula (1.5), see Theorem 1.2. The main statements are contained in the present section, their proofs are done in Section2. In Section3 we discuss further properties of our functions. 1.2 Notation Denote by Z+ the set of integers > 0, by Z− the set of integers 6 0. 1.2.1 Hypergeometric functions. Let r 6 s + 1. Let a1; : : : ; ar 2 C and b1; : : : ; bs 2 C n Z−. Generalized hypergeometric functions are defined by 1 a1; : : : ; ar X (a1)m ··· (ar)m F ; z := · zn; (1.6) r s b ; : : : ; b m!(b ) ··· (b ) 1 r m=0 1 m s m where (a)m := a(a + 1) ··· (a + m − 1) is the Pochhammer symbol. For r 6 s the radius of convergence is 1, for r = s + 1 it is 1. For r > s + 1 the series diverges. 1To evaluate this integral, we can pass to polar coordinates t = rei'. Integrating in ' we get a piece-wise 2F1-expression in r with a singularity at r = 1. It remains to apply the Slater theorem, see [43, Theorem 4.8.1, namely formula (4.8.7)]. On the other hand, we can reduce (1.4) to the gamma-function (1.7) in the usual way (see Jacobi's proof of the beta-integral (1.2) in [1, Section I.1]), but a justification of a changing of integration order is unexpectedly tedious. Barnes{Ismagilov Integrals and Hypergeometric Functions of the Complex Field 3 1.2.2 Notation for lists Let a1; : : : ; ap 2 C and h 2 C. We use the following notation for lists, (a) := a1; : : : ; ap; (a) + h := a1 + h; : : : ; ap + h; (a)nj := a1; : : : ; aj−1; aj+1; : : : ; ap: (a) In particular, we denote (1.6) by rF s (b) ; z . 1.2.3 Double powers × × Denote by C (resp. R+) the multiplicative group of C (resp. the multiplicative group of positive × reals). By T ⊂ C we denote the subgroup jzj = 1, we have T ' R=2πZ, × × C = T × R+; × and R+ is isomorphic to the additive group R of real numbers. × ∗ × The dual group (C ) , i.e., the group of all homomorphisms C ! T, is × ∗ ∗ × ∗ (C ) = (T) × (R+) ' Z × R: 0 0 0 Denote by ΛC the set of pairs a a such that a, a 2 C and a − a 2 Z. We write such pairs by 0 k+σ −k+σ a a = 2 2 ; where k 2 Z, σ 2 C: 0 0 By Λ ⊂ ΛC we denote the subset consisting of aja satisfying a + a = 0, 0 k+is −k+is a a = 2 2 2 Λ; where s 2 R: × Define the following functions on C : 0 0 zaja := zaz a := (z=z)k=2jzjσ: × × 0 Notice that such functions are precisely all homomorphisms C ! C . For aja 2 Λ we get × homomorphisms C ! T, k+is −k+is 2 2 z = 1: 1.2.4 The complex Mellin transform Denote by d t the Lebesgue measure on C, d t := d Re t d Im t: × We define the complex Mellin transform M as the Fourier transform on the group C . For × a function f on C we define the Mellin transform as a function on ΛC defined by 1 Z 0 d t ga a0 = Mfa a0 := taja f(t) ; 1j1 2π C× t 1j1 × × the factor d t=t is the C -invariant measure on C . 4 Yu.A. Neretin 2 × 1j1 2 The Mellin transform is a unitary operator from L C ; d t=t to L on Λ ' Z × R, the inversion formula is Z −k−is k−is 1 X k+is −k+is f(t) = g t 2 2 ds: 2π 2 2 k2Z R × The convolution on the group C is defined by formula Z d t f ∗ g(z) := f(t)g(z=t) : 1j1 C t The Mellin transform sends convolutions to products, M(f ∗ g)(z) = 2π Mf(z) · Mg(z): 1.3 The Gamma-function of the complex field Following Gelfand, Graev and Retakh [16], we define the Gamma-function of the complex field 2 as a function on ΛC by Z 0 1 a−1ja0−1 2i Im t ΓC a a := t e d ta π C a−a0 0 1 Z 0 Γ(a) (−1) Γ(a ) = lim ta−1ja −1e2i Im t d t = = r!1 0 π jtj6r Γ(1 − a ) Γ(1 − a) 1 (−1)a−a0 = Γ(a)Γ(a0) sin πa0 = Γ(a)Γ(a0) sin πa: (1.7) π π The integral conditionally converges if 0 < Re(a + a0) < 1 and diverges otherwise. Clearly, the right hand side is meromorphic in the whole ΛC. Remark 1.1. In particular, we can write (1.4) as ΓC(αjα0)ΓC(βjβ0) BC(αjα0; βjβ0) = : ΓC(α + βjα0 + β0) It is easy to see that ΓCaja0 = (−1)a−aΓCa0ja; (1.8a) 0 ΓCaja0 ΓC1 − aj1 − a0 = (−1)a−a ; (1.8b) 0 C 0 0 m C 0 0 Γ a + m a + m = (−1) Γ a a (a)m(a )m0 ; (1.8c) (−1)mΓCa a0 C 0 0 Γ a − m a − m = 0 ; (1.8d) (1 − a)m(1 − a )m0 k−1 0 Y C j 0 j C 0 1−(a+a )k Γ a + k a + k = Γ ka ka k ; (1.8e) j=0 where m 2 N, k 2 N.