Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let and f̂ be its Taylor series at . Split the set of exponents into two disjoint subsets A and B, , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some m ≥ 2, then...
The main result of this paper is the following: if the Weierstrass division theorem is valid in a quasianalytic differentiable system, then this system is contained in the system of analytic germs. This result has already been known for particular examples, such as the quasianalytic Denjoy-Carleman classes.
We give some examples of polynomially bounded o-minimal expansions of the ordered field of real numbers where the Weierstrass division theorem does not hold in the ring of germs, at the origin of ℝⁿ, of definable functions.
Download Results (CSV)