A coordinate cone in ${ℝ}^n$ is an intersection of some coordinate hyperplanes and open coordinate half-spaces. A semi-monotone set is an open bounded subset of ${ℝ}^n$, definable in an o-minimal structure over the reals, such that its intersection with any translation of any coordinate cone is connected. This notion can be viewed as a generalization of convexity. Semi-monotone sets have a number of interesting geometric and combinatorial properties. The main result of the paper is that every semi-monotone...

Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.

It is known that for $C^{\infty }$ determining sets Markov’s property is equivalent to Bernstein’s property. We are interested in finding a generalization of this fact for sets which are not $C^{\infty }$ determining. In this paper we give examples of sets which are not $C^{\infty }$ determining, but have the Bernstein and generalized Markov properties.

The Siciak extremal function establishes an important link between polynomial approximation in several variables and pluripotential theory. This yields its numerous applications in complex and real analysis. Some of them can be found on a rich list drawn up by Klimek in his well-known monograph "Pluripotential Theory". The purpose of this paper is to supplement it by applications in constructive function theory.

Soit $P\in ℝ[X_1,...,X_n]$ un polynôme. On appelle série de Dirichlet associée à $P$ la fonction : $s\mapsto Z(P;s)=\sum _{m\in {\mathbb{N}}^{*n}}P(m{)}^{-s}(s\in ℂ)$. Dans cet article nous étudions l’existence et les propriétés du prolongement méromorphe d’une telle série sous l’hypothèse qu’il existe $B\in ]0,1[$ tel que : i) $P\left(x\right)\to +\infty$ quand $\left|\right|x\left|\right|\to +\infty$ et $x\in [B,+\infty {[}^n$ et ii) $d\left(Z\right(P),[B,+\infty {[}^n)\>0$ où $Z\left(P\right)=\{z\in {ℂ}^n|P\left(z\right)=0\}$. Cette hypothèse est probablement optimale et en tout cas contient strictement toutes les classes de polynômes déjà traitées antérieurement. Sous cette hypothèse nos principaux résultats sont : l’existence du prolongement méromorphe au plan...

It is proved that the set of smooth points of a semialgebraic set is semialgebraic.

In this paper we deal with a best approximation of a vector with respect to a closed semi-algebraic set C in the space ℝⁿ endowed with a semi-algebraic norm ν. Under additional assumptions on ν we prove semi-algebraicity of the set of points of unique approximation and other sets associated with the distance to C. For C irreducible algebraic we study the critical point correspondence and introduce the ν-distance degree, generalizing the notion developed by other authors for the Euclidean norm. We...

The spectrum of the Laplace operator on algebraic and semialgebraic subsets $A$ in ${\mathbf{R}}^N$ is studied and the number of small eigenvalues is estimated by the degree of $A$.

The notion of a real semigroup was introduced in [8] to provide a framework for the investigation of the theory of (diagonal) quadratic forms over commutative, unitary, semi-real rings. In this paper we introduce and study an outstanding class of such structures, that we call spectral real semigroups (SRS). Our main results are: (i) The existence of a natural functorial duality between the category of SRSs and that of hereditarily normal spectral spaces; (ii) Characterization of the SRSs as the...

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.

Let $ℰ$ be a disjoint decomposition of ${ℝ}^n$ and let $X$ be a vector field on ${ℝ}^n$, defined to be linear on each cell of the decomposition $ℰ$. Under some natural assumptions, we show how to associate a semiflow to $X$ and prove that such semiflow belongs to the o-minimal structure ${ℝ}_{\mathrm{an},exp}$. In particular, when $X$ is a continuous vector field and $\Gamma$ is an invariant subset of $X$, our result implies that if $\Gamma$ is non-spiralling then the Poincaré first return map associated $\Gamma$ is also in ${ℝ}_{\mathrm{an},exp}$.

We give another proof of the fact that any semialbraic curve admits a tangential Markov inequality. We establish this inequality on semialgebraic surfaces with finitely many singular points.

In 1889 A. Markov proved that for every polynomial p in one variable the inequality $\left|\right|p^{\text{'}}{\left|\right|}_{[-1,1]}{\le \left(degp\right)²\left|\right|p\left|\right|}_{[-1,1]}$ is true. Moreover, the exponent 2 in this inequality is the best possible one. A tangential Markov inequality is a generalization of the Markov inequality to tangential derivatives of certain sets in higher-dimensional Euclidean spaces. We give some motivational examples of sets that admit the tangential Markov inequality with the sharp exponent. The main theorems show that the results on certain arcs and surfaces,...