Uniform Formulae for Coefficients of Meromorphic Functions in Two Variables. Part I

Uniform asymptotic formulae for arrays of complex numbers of the form $(f_{r,s})$, with $r$ and $s$ nonnegative integers, are provided as $r$ and $s$ converge to infinity at a comparable rate. Our analysis is restricted to the case in which the generating function $F(z,w):=\sum f_{r,s} z^r w^s$ is meromorphic in a neighborhood of the origin. We provide uniform asymptotic formulae for the coefficients $f_{r,s}$ along directions in the $(r,s)$-lattice determined by regular points of the singular variety of $F$. Our main result derives from the analysis of a one dimensional parameter-varying integral describing the asymptotic behavior of $f_{r,s}$. We specifically consider the case in which the phase term of this integral has a unique stationary point; however, we allow the possibility that one or more stationary points of the amplitude term coalesce with this. Our results find direct application in certain problems associated to the Lagrange inversion formula as well as bivariate generating functions of the form $v(z)/(1-w\cdot u(z))$.

[1]  N. D. Bruijn Asymptotic methods in analysis , 1958 .

[2]  Philippe Flajolet,et al.  Random maps, coalescing saddles, singularity analysis, and Airy phenomena , 2001, Random Struct. Algorithms.

[3]  Mark C. Wilson,et al.  Asymptotics of Multivariate Sequences: I. Smooth Points of the Singular Variety , 2002, J. Comb. Theory A.

[4]  R. Pemantle,et al.  Asymptotics of Multivariate Sequences, part I. Smooth points of the singular variety , 2000 .

[5]  N. Levinson Transformation of an analytic function of several variables to a canonical form , 1961 .

[6]  Mark C. Wilson,et al.  Twenty Combinatorial Examples of Asymptotics Derived from Multivariate Generating Functions , 2005, SIAM Rev..

[7]  C. Chester,et al.  An extension of the method of steepest descents , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  Michael Drmota,et al.  A Bivariate Asymptotic Expansion of Coefficients of Powers of Generating Functions , 1994, Eur. J. Comb..

[9]  Joseph L. Taylor Several Complex Variables with Connections to Algebraic Geometry and Lie Groups , 2002 .

[10]  Steven A. Orszag,et al.  Asymptotic Expansion of Integrals , 1999 .

[11]  N. Levinson A canonical form for an analytic function of several variables at a critical point , 1960 .

[12]  Philippe Flajolet,et al.  Planar Maps and Airy Phenomena , 2000, ICALP.

[14]  Manuel E. Lladser,et al.  Asymptotic enumeration via singularity analysis , 2003 .

[15]  N. Levinson A polynomial canonical form for certain analytic functions of two variables at a critical point , 1960 .