An elementary coordinate-dependent local resolution of singularities and applications (Q960563)

Let \(f\) be a real analytic function defined in a neighbourhood of the origin in \(\mathbb{R}^{n}.\) The main theorem of the paper is the resolution of singularities of \(f\) in the following sense: there is a ``partition'' of a neighbourhood of the origin such that for each piece \(N\) of this partition the function \(f,\) after appropriate composition, is a monomial i.e. \[ f\circ \Psi (x)=c(x)m(x), \] where \(c(x)\) is nonvanishing, \(m(x)\) is a monomial and \(\Psi \) is a composition of reflections, translations, invertible monomial maps and quasi-translations (the last maps are: \[ (x_{1},\ldots ,x_{n})\mapsto (x_{1},\ldots ,x_{j-1},x_{j}-r(x_{1},\ldots ,x_{j-1},x_{j+1},\ldots ,x_{n}),x_{j+1},\ldots ,x_{n}), \] where \(r\) is analytic). As applications the author gives: 1. the criteria for the exponents \(\epsilon _{i}\) for the integrability of \( \int_{O}\prod_{i}f_{i}^{-\epsilon _{i}},\) where \(f_{i}\) are real analytic functions and \(O\) is a neighbourhood of the origin in \(\mathbb{R} ^{n}.\) 2. a proof of the Łojasiewicz inequality\(\;\left| f_{2}\right| \geq C\left| f_{1}\right| ^{\mu },\) \(C,\mu >0,\) on compact sets for any two analytic functions \(f_{1},\) \(f_{2}\) for which \(V(f_{2})\subset V(f_{1}).\)