Consider the integral $$ I(\alpha)=\int_0^1 dx_1 \int_0^1 dy_1\int_{x_1}^1dx_2\int_{y_1}^1dy_2\,e^{-\alpha(x_2-x_1)(y_2-y_1)} $$ in the limit $\alpha\rightarrow\infty$. To find the asymptotic expansion in this case is not hard: you can evaluate the integral in closed form in terms of Exponential Integral functions and then look up asymptotic expansions, which give $$ I(\alpha)\sim \frac{\log\alpha}{\alpha}. $$ However, I am interested in more complicated versions these kinds of integral where the integrand might be more complicated and therefore I will need to "expand before integrating" (since I cannot evaluate the integral in closed form).

This looks a lot like a problem for Laplace's method, which finds the maximum in the exponential and expands the integrand near it, leading to a Gaussian integral. But my integrands all have the same property: the exponent is maximal not at an isolated point, but on a 1-dimensional subspace of points. Is there a theory of such integrals? I haven't found much. Any texts that mention things like "Laplace's method with a manifold of maxima" that I came across are very technical.

So my questions:

  1. Is there a straight-forward derivation of the the asymptotic expansion for the simple integral above using a Laplace-like method, i.e. without evaluating the integral in closed form to start with?

  2. Can anyone recommend not-too-technical texts that might help me?

Note: put this question up on MathOverflow due to lack of success here and because I suspect the question may be harder than I first thought.

  • 1
    $\begingroup$ Maybe the Springer LNM 1592: K. Breitung, Asymptotic Approximations for Probability Integrals, can help you. Look at page 76. $\endgroup$
    – Karl
    Commented Jun 9, 2015 at 6:32
  • $\begingroup$ Did you find something to solve this? $\endgroup$
    – a06e
    Commented Sep 25, 2018 at 16:30


You must log in to answer this question.

Browse other questions tagged .