Transformation formulae and asymptotic expansions for double holomorphic Eisenstein series of two complex variables

The main object of study in this paper is the double holomorphic Eisenstein series ζZ2~(s;z) having two complex variables s= (s₁, s₂) and two parameters z= (z₁, z₂) which satisfies either z∈(H+)2 or z∈(H-)2, where H^± denotes the complex upper and lower half-planes, respectively. For ζZ2~(s;z), its transformation properties and asymptotic aspects are studied when the distance | z₂- z₁| becomes both small and large under certain natural settings on the movement of z∈(H±)2. Prior to the proofs our main results, a new parameter η, which plays a pivotal role in describing our results, is introduced in connection with the difference z₂- z₁. We then establish complete asymptotic expansions for ζZ2~(s;z) when z moves within the poly-sector either (H+)2 or (H-)2, so as to η→ 0 through | arg η| < π/ 2 in the ascending order of η (Theorem 1). This further leads us to show that counterpart expansions exist for ζZ2~(s;z) in the descending order of η as η→ ∞ through | arg η| < π/ 2 (Theorem 2). Our second main formula in Theorem 2 yields a functional equation for ζZ2~(s;z) (Corollaries 2.1, 2.2), and also reduces naturally to various expressions of ζZ2~(s;z) in closed forms for integer lattice point s∈ Z² (Corollaries 2.3–2.17). Most of these results reveal that the particular values of ζZ2~(s;z) at s∈ Z² are closely linked to Weierstraß’ elliptic function, the classical Eisenstein series reformulated by Ramanujan, and the Jordan–Kronecker type functions, each associated with the bases 2 π(1 , z_j) , j= 1 , 2. The latter two functions were extensively utilized by Ramanujan in the course of developing his theories of Eisenstein series, elliptic functions, and theta functions. As for the methods used, crucial roles in the proofs are played by the Mellin–Barnes type integrals, manipulated with several properties of hypergeometric functions; the transference from Theorem 1 to Theorem 2 is, for instance, achieved by a connection formula for Kummer’s confluent hypergeometric functions.