Resolution of singularities, asymptotic expansions of integrals and related phenomena (Q628352)

In the paper under review, oscillatory integrals of the form \[ I_\lambda=\int e^{i\lambda f(x)}\phi(x)dx \] are considered, where \(f(x)\) is a real-analytic function and \(\phi(x)\) is a smooth bump function, both defined in some neighborhood of the origin in \(\mathbb{R}^n\). These integrals are of importance in analysis, for example in the theory of Fourier transforms. In the case where \(\nabla f(0)=0\) (i.e., \(f\) has a critical point at the origin), it is known that if the support of \(\phi\) is contained in a sufficiently small neighbourhood of the origin, then \(I_\lambda\) for \(\lambda\to\infty\) has an asymptotic expansion of the form \[ e^{i\lambda f(0)}\sum_\alpha\sum_{i=0}^{n-1}a_{i,\alpha}(\phi)\lambda^{-\alpha}\mathrm{ln}(\lambda)^i, \] where \(\alpha\) runs through an increasing arithmetic progression of positive rational numbers (see [\textit{B. Malgrange}, Ann. Sci. Éc. Norm. Supér. (4) 7, 405--430 (1974; Zbl 0305.32008)]). Malgrange uses the heavy machinery of Hironaka's resolution of singularities for his proof. The author gives as a main result of the present paper an elementary proof of this fact using his elementary resolution of singularities theorem for a real analytic function (see [\textit{M. Greenblatt}, J. Funct. Anal. 255, No. 8, 1957--1994 (2008; Zbl 1162.32015)]).