TY - JOUR

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

AU - Katsurada, Masanori

AU - Noda, Takumi

N1 - Funding Information:
This research was supported in part by Grant-in-Aid for Scientific Research (No. 16540038) from JSPS.
Publisher Copyright:
© 2017, Springer Science+Business Media New York.

PY - 2017/11/1

Y1 - 2017/11/1

N2 - The main object of study in this paper is the double holomorphic Eisenstein series ζZ2~(s;z) having two complex variables s= (s1, s2) and two parameters z= (z1, z2) 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 | z2- z1| 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 z2- z1. 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∈ Z2 (Corollaries 2.3–2.17). Most of these results reveal that the particular values of ζZ2~(s;z) at s∈ Z2 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 , zj) , 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.

AB - The main object of study in this paper is the double holomorphic Eisenstein series ζZ2~(s;z) having two complex variables s= (s1, s2) and two parameters z= (z1, z2) 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 | z2- z1| 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 z2- z1. 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∈ Z2 (Corollaries 2.3–2.17). Most of these results reveal that the particular values of ζZ2~(s;z) at s∈ Z2 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 , zj) , 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.

KW - Asymptotic expansion

KW - Eisenstein series

KW - Jordan–Kronecker function

KW - Mellin–Barnes integral

KW - Weierstraß elliptic function

UR - http://www.scopus.com/inward/record.url?scp=85026518265&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85026518265&partnerID=8YFLogxK

U2 - 10.1007/s11139-017-9922-5

DO - 10.1007/s11139-017-9922-5

M3 - Article

AN - SCOPUS:85026518265

SN - 1382-4090

VL - 44

SP - 237

EP - 280

JO - The Ramanujan Journal

JF - The Ramanujan Journal

IS - 2

ER -