 Watson's lemma

Suppose that, as $t\downarrow 0$,and that the corresponding Laplace integral has suitable integrability and growth control away from zero. Watson lemma gives the endpoint expansionas $x\to +\infty$. Each finite truncation of the local amplitude expansion produces the corresponding finite truncation and remainder of the integral expansion.