arXiv++ Combinatorics

We consider saddle point integrals in d variables whose phase function is neither real nor purely imaginary. Results analogous to those for Laplace (real phase) and Fourier (imaginary phase) integrals hold whenever the phase function is analytic and nondegenerate. These results generalize what is well known for integrals of Laplace and Fourier type. The method is via contour shifting in complex d-space. This work is motivated by applications to asymptotic enumeration.

We consider a multivariate generating function F(z), whose coefficients are indexed by d-tuples of nonnegative integers: F(z) = sum_r a_r z^r where z^r denotes the product of z_j^{r_j} over j = 1, ..., d. Suppose that F(z) is meromorphic in some neighborhood of the origin in complex d-space. Let V be the set where the denominator of F vanishes. Effective asymptotic expansions for the coefficients can be obtained by complex contour integration near points of V. In the first article in this series, we treated the case of smooth points of V. In this article we deal with multiple points of V. Our results show that the central limit (Ornstein-Zernike) behavior typical of the smooth case does not hold in the multiple point case. For example, when V has a multiple point singularity at the point (1, ..., 1), rather than a_r decaying on the order of |r|^{-1/2} as |r| goes to infinity, a_r is a polynomial plus a rapidly decaying term.