This section provides the tool that is used to infer asymptotic expansions. The result can be obtained by using a double saddle point approach, see, for example, Refs. [7, 16–19] for details concerning this method. Note that further coefficients of the asymptotic expansions can be calculated in the same way, but the expressions are so complicated that it does not make sense to provide them outside a computer algebra system. A maple worksheet is available on request from the author.
Lemma 7.4  Let f(x, y) and g(x, y) be analytic functions locally around (x, y) = (0, 0) such that all coefficients are non-negative and that there exists M such that all indices (m1, m2) with m1, m2 ≥ M can be represented as a finite linear combination of the set with positive integers as coefficients.
Let R1 and R2 be compact intervals of the positive real line such that R = R1 × R2 is contained in the regions of convergence of f(x, y) and g(x, y). Furthermore set
Then, we have
uniformly for (m1/k, m2/k) S, where x0 and y0 are uniquely determined ...