An elementary coordinate-dependent local resolution of singularities and applications

From MaRDI portal



Abstract: In this paper, a geometric resolution of singularities algorithm is developed. This method is elementary in its statement and proof, using explicit coordinate systems as much as possible. Each coordinate change used in the resolution procedure is one-to-one on its domain, and is of one of a few explicit canonical forms. As applications of these methods to classical analysis, two theorems are proven. First and foremost, a general theorem regarding the existence of critical integrability exponents is established. Secondly, a new proof of a well-known inequality of Lojasiewicz is given.


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}).\)



Cites work









This page was built for publication: An elementary coordinate-dependent local resolution of singularities and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q960563)