We prove the o-minimal generalization of the Łojasiewicz inequality $\parallel \mathrm{grad}f\parallel \ge |f{|}^{\alpha }$, with $\alpha \<1$, in a neighborhood of $a$, where $f$ is real analytic at $a$ and $f\left(a\right)=0$. We deduce, as in the analytic case, that trajectories of the gradient of a function definable in an o-minimal structure are of uniformly bounded length. We obtain also that the gradient flow gives a retraction onto levels of such functions.

Si K es un compacto no vacío en Rr, damos una condición suficiente para que la inyección canónica de ε{M},b(K) en ε{M},d(K) sea nuclear. Consideramos el caso mixto y obtenemos la existencia de un operador de extensión nuclear de ε{M1}(F)A en ε{M2}(Rr)D donde F es un subconjunto cerrado propio de Rr y A y D son discos de Banach adecuados. Finalmente aplicamos este último resultado al caso Borel, es decir cuando F = {0}.

Let R be a real closed field, and denote by ${}_{R,n}$ the ring of germs, at the origin of Rⁿ, of $C^{\infty }$ functions in a neighborhood of 0 ∈ Rⁿ. For each n ∈ ℕ, we construct a quasianalytic subring ${}_{R,n}{\subset }_{R,n}$ with some natural properties. We prove that, for each n ∈ ℕ, ${}_{R,n}$ is a noetherian ring and if R = ℝ (the field of real numbers), then ${}_{ℝ,n}=ₙ$, where ₙ is the ring of germs, at the origin of ℝⁿ, of real analytic functions. Finally, we prove the Real Nullstellensatz and solve Hilbert’s 17th Problem for the ring ${}_{R,n}$.

We prove the existence of an effectively computable integer polynomial P(x,t₀,...,t₅) having the following property. Every continuous function $f:{ℝ}^s\to ℝ$ can be approximated with arbitrary accuracy by an infinite sum ${\sum }_{r=1}^{\infty }{H}_r(x₁,...,x_s)\in C^{\infty }\left({ℝ}^s\right)$ of analytic functions $H_r$, each solving the same system of universal partial differential equations, namely $P(x_{\sigma };H_r,\partial H_r/\partial x_{\sigma },...,\partial ⁵H_r/\partial x{⁵}_{\sigma }⁵)=0$ (σ = 1,..., s).

The purpose of this paper is to carry over to the o-minimal settings some results about the Euler characteristic of algebraic and analytic sets. Consider a polynomially bounded o-minimal structure on the field ℝ of reals. A ($C^{\infty }$) smooth definable function φ: U → ℝ on an open set U in ℝⁿ determines two closed subsets W := u ∈ U: φ(u) ≤ 0, Z := u ∈ U: φ(u) = 0. We shall investigate the links of the sets W and Z at the points u ∈ U, which are well defined up to a definable homeomorphism. It is proven...

We generalize the Malgrange preparation theorem to matrix valued functions $F(t,x)\in C^{\infty }(\mathbf{R}\times {\mathbf{R}}^n)$ satisfying the condition that $t\mapsto \det F(t,0)$ vanishes to finite order at $t=0$. Then we can factor $F(t,x)=C(t,x)P(t,x)$ near (0,0), where $C(t,x)\in C^{\infty }$ is inversible and $P(t,x)$ is polynomial function of $t$ depending $C^{\infty }$ on $x$. The preparation is (essentially) unique, up to functions vanishing to infinite order at $x=0$, if we impose some additional conditions on $P(t,x)$. We also have a generalization of the division theorem, and analytic versions generalizing the Weierstrass preparation...

On donne une variante du principe de la phase stationnaire, où l’intégrale est remplacée par une sommation sur le réseau cubique de maille égale à l’unité de phase.

Considering jets, or functions, belonging to some strongly non-quasianalytic Carleman class on compact subsets of ${ℝ}^n$, we extend them to the whole space with a loss of Carleman regularity. This loss is related to geometric conditions refining Łojasiewicz’s “regular separation” or Whitney’s “property (P)”.

The paper is a continuation of an earlier one where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....

This paper investigates the geometry of the expansion ${}_Q$ of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of ${}_Q$ in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation...

This paper investigates hyperbolic polynomials with quasianalytic coefficients. Our main purpose is to prove factorization theorems for such polynomials, and next to generalize the results of K. Kurdyka and L. Paunescu about perturbation of analytic families of symmetric matrices to the quasianalytic setting.

Nous précisons la classe de différentiabilité de $f^{\alpha }$ où $f$ désigne une fonction positive de classe $C^p$, $p$-plate sur l’ensemble de ses zéros, et $\alpha$ un réel, $0\<\alpha \<1$ ; de plus, nous étudions l’existence locale d’une racine $p$-ième de classe $C^{\infty }$, pour une fonction de classe $C^{\infty }$ admettant une racine $p$-ième formelle en chaque point.

On démontre que toute solution formelle $\bar{y}\left(x\right)$ d’un système d’équations analytiques réelles (resp. polynomiales réelles) $f(x,y)=0$, se relève en une solution ${\mathbf{C}}^{\infty }$ homotope à une solution analytique (resp. à une solution de Nash) aussi proche que l’on veut de $\bar{y}\left(x\right)$ pour la topologie de Krull. On utilise ce théorème pour démontrer l’algébricité (ou l’analyticité) de certains idéaux de $\mathbf{R}\left\{x\right\}$ (ou $\mathbf{R}\left[\right[x\left]\right]$), et aussi pour construire des déformations analytiques de germes d’ensembles analytiques en germes d’ensembles de Nash.

For nonquasianalytical Carleman classes conditions on the sequences $\left\{{\widehat{M}}_n\right\}$ and $\left\{M_n\right\}$ are investigated which guarantee the existence of a function in $C_J\left\{{\widehat{M}}_n\right\}$ such that u(n)(a) = bn,    bnKn+1Mn,    n = 0,1,...,    aJ. Conditions of coincidence of the sequences $\left\{{\widehat{M}}_n\right\}$ and $\left\{M_n\right\}$ are analysed. Some still unknown classes of such sequences are pointed out and a construction of the required function is suggested. The connection of this classical problem with the problem of the existence of a function with given trace at the boundary...

In IMUJ Preprint 2009/05 we investigated the quasianalytic perturbation of hyperbolic polynomials and symmetric matrices by applying our quasianalytic version of the Abhyankar-Jung theorem from IMUJ Preprint 2009/02, whose proof relied on a theorem by Luengo on ν-quasiordinary polynomials. But those papers of ours were suspended after we had become aware that Luengo's paper contained an essential gap. This gave rise to our subsequent article on quasianalytic perturbation theory, which developed,...