Extensions of real regular mappings and the Łojasiewicz exponent at infinity (Q390548)

Let \(V\subset \mathbb{R}^{n}\) be an unbounded algebraic set and let \(F: \mathbb{R}^{n}\rightarrow \mathbb{R}^{m},\) \(m\geq n\geq 2,\) be a polynomial mapping. By the Łojasiewicz exponent at infinity \(\mathcal{L}_{\infty }(F|V)\) of \(F\) on \(V\) we mean the supremum of \(\nu \in \mathbb{R}\) for which \[ \left| F(x)\right| \geq C\left| x\right| ^{\nu }\text{ \;\;\;as }x\in V\text{ and }\left| x\right| \rightarrow \infty . \] Generalizing an result by \textit{B. Osińska} [Bull. Sci. Math. 135, No. 2, 215--229 (2011; Zbl 1225.32034)] in complex case the authors prove the following. Theorem. Let us assume \(F^{-1}(0)\) is a compact set. Then there exists a polynomial mapping \(G:\mathbb{R}^{n}\rightarrow \mathbb{R}^{m}\) such that: (i) \(G\) is an extension of \(F|V\) to \(\mathbb{R}^{n},\) i.e. \(F|V=G|V,\) (ii) \(\mathcal{L}_{\infty }(G|\mathbb{R}^{n})=\mathcal{L}_{\infty }(F|V),\) (iii) \(\deg G\leq -[-\delta (V)(6\delta (V)-3)^{n-1}(\deg F+2-\mathcal{L} _{\infty }(F|V))-\mathcal{L}_{\infty }(F|V)]+\delta (V),\) where \(\delta (V)\) is the total degree of complexification \(V_{\mathbb{C}}\subset \mathbb{C}^{n} \) of \(V.\)