This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic $𝓒^{p}$-Whitney fields (with p finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field R and obtain an extension which is a $𝓒^{p}$-function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of Rⁿ. In such a way, a local version of the theorem is included.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
For any subanalytic $C^k$-Whitney field (k finite), we construct its subanalytic $C^k$-extension to $ℝ^n$. Our method also applies to other o-minimal structures; e.g., to semialgebraic Whitney fields.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let f: ℝⁿ → ℝ be a polynomial function of degree d with f(0) = 0 and ∇f(0) = 0. Łojasiewicz's gradient inequality states that there exist C > 0 and ϱ ∈ (0,1) such that $|∇f| ≥ C|f|^{ϱ}$ in a neighbourhood of the origin. We prove that the smallest such exponent ϱ is not greater than $1 - R(n,d)^{-1}$ with $R(n,d) = d(3d-3)^{n-1}$.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let V ⊂ ℝⁿ, n ≥ 2, be an unbounded algebraic set defined by a system of polynomial equations $h₁(x) = ⋯ = h_{r}(x) = 0$ and let f: ℝⁿ→ ℝ be a polynomial. It is known that if f is positive on V then $f|_{V}$ extends to a positive polynomial on the ambient space ℝⁿ, provided V is a variety. We give a constructive proof of this fact for an arbitrary algebraic set V. Precisely, if f is positive on V then there exists a polynomial $h(x) = ∑_{i=1}^{r} h²_{i}(x)σ_{i}(x)$, where $σ_{i}$ are sums of squares of polynomials of degree at most p, such that f(x) + h(x) > 0 for x ∈ ℝⁿ. We give an estimate for p in terms of: the degree of f, the degrees of $h_{i}$ and the Łojasiewicz exponent at infinity of $f|_{V}$. We prove a version of the above result for polynomials positive on semialgebraic sets. We also obtain a nonnegative extension of some odd power of f which is nonnegative on an irreducible algebraic set.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.