Łojasiewicz inequalities in o-minimal structures (Q276046)

The author generalizes the Łojasiewicz inequalities (known for real analytic functions) to \(o\)-minimal structures being a generalization of classes of semialgebraic and subanalytic functions. The main theorem has the form which encompasses equally local and global cases: Let \(f,g:A\rightarrow \mathbb{R}\) be continuous definable functions in an \(o\) -minimal structure, where \(A\) is a locally closed subset of \(\mathbb{R}^{n}\). Suppose that \(g^{-1}(0)\subset f^{-1}(0)\). Then for any \(p\in \mathbb{N}\) there exist an odd, strictly increasing \(C^{p}\) definable bijection \(\varphi \) from \(\mathbb{R}\) onto \(\mathbb{R}\) which is \(p\)-flat at \(0,\) and \(\tau :(0,+\infty )\rightarrow \mathbb{R}\) being a positive continuous definable function such that \[ \left| g(x)\right| \leq \varphi (\left| f(x)\right| )\text{ whenever }\left| f(x)\right| \leq \tau (\left| \left| x\right| \right| +\mathrm{dist}(x,\bar{A}\setminus A)^{-1}). \] When \(A\) is closed and bounded the author obtains the Łojasiewicz inequalities in the classical form: 1. \(\left| g(x)\right| \leq \varphi (\left| f(x)\right| )\) for \(x\in A,\) 2. \(\left| f(x)\right| \geq \varphi (\mathrm{dist}(x,f^{-1}(0)))\) for \(x\in A,\) 3. \(\mathrm{dist}(x,X)+\mathrm{dist}(x,Y)\geq \varphi (\mathrm{dist} (x,X\cap Y))\) for \(x\in A,\) where \(X,Y\) are closed definable subsets of \( \mathbb{R}^{n}\).