Łojasiewicz inequality for a pair of semialgebraic functions (Q2220322)

Let \(\Omega =\{x\in \mathbb{R}^{n}:\left\vert x\right\vert <1\}\) be a unit ball in \(\mathbb{R}^{n}\) and \(f,g:\Omega \rightarrow \mathbb{R}\) be two continuous, semialgebraic functions such that \(0\in g^{-1}(0)\subset f^{-1}(0)\neq \Omega\). The greatest lower bound of exponents \(\alpha \) in the Łojasiewicz inequality \[ \left\vert g(x)\right\vert \geq C\left\vert f(x)\right\vert ^{\alpha}\text{ for }\left\vert x\right\vert <\varepsilon \] for some \(C,\varepsilon >0\) is called the Łojasiewicz exponent for the pair of functions \(f\) and \(g\) on \(\Omega \) at \(0.\) The main result is an estimation of \(\alpha \) in terms of the degrees of polynomials describing \(f\) and \(g\) and the degrees of polynomials describing some special semialgebraic decomposition of \(\Omega \) associated to \(f\) and \(g\). The estimation is a version of the Solernó estimation [\textit{P. Solernó}, Appl. Algebra Eng. Commun. Comput. 2, No. 1, 1--14 (1991; Zbl 0754.14036)].