Asymptotic enumeration via singularity analysis
Asymptotic formulae for two-dimensional arrays (f r,s ) r,s?0 where the associated generating function F(z,w):=? r,s?0 f r,s z r w s is meromorphic are provided. Our approach is geometrical. To a big extent it generalizes and completes the asymptotic description of the coefficients f r,s along a compact set of directions specified by smooth points of the singular variety of the denominator of F(z,w) . The scheme we develop can lead to a high level of complexity. However, it provides the leading asymptotic order of f r,s if some unusual and pathological behavior is ruled out. It relies on the asymptotic analysis of a certain type of stationary phase integral of the form ? e -s·P(d,?) A(d,?) d? , which describes up to an exponential factor the asymptotic behavior of the coefficients f r,s along the direction d=r?s in the (r,s) -lattice. The cases of interest are when either the phase term P(d,?) or the amplitude term A(d,?) exhibits a change of degree as d approaches a degenerate direction. These are handled by a generalized version of the stationary phase and the coalescing saddle point method which we propose as part of this dissertation. The occurrence of two special functions related to the Airy function is established when two simple saddles of the phase term coalesce. A scheme to study the asymptotic behavior of big powers of generating functions is proposed as an additional application of these generalized methods.
School:The Ohio State University
School Location:USA - Ohio
Source Type:Master's Thesis
Keywords:airy phenomena amplitude analytic combinatorics asymptotic enumeration expansion bandwidth big powers of generating functions bivariate function cauchy integral formula central limit theorem coalescing saddle point method
Date of Publication:01/01/2003