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 [7] 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 (m_{1}, m_{2}) with m_{1}, m_{2} ≥ M can be represented as a finite linear combination of the set with positive integers as coefficients.

Let R_{1} and R_{2} be compact intervals of the positive real line such that R = R_{1} × R_{2} is contained in the regions of convergence of f(x, y) and g(x, y). Furthermore set

Then, we have

uniformly for (m_{1}/k, m_{2}/k) S, where x_{0} and y_{0} are uniquely determined ...

Start Free Trial

No credit card required