Expressing as a difference of two positive functions
Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.
For a large class of Hardy fields their extensions containing non--germs are constructed. Hardy fields composed of only non--germs, apart from constants, are also considered.
We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .
In [3], J. Chaumat and A.-M. Chollet prove, among other things, a Whitney extension theorem, for jets on a compact subset E of ℝⁿ, in the case of intersections of non-quasi-analytic classes with moderate growth and a Łojasiewicz theorem in the regular situation. These intersections are included in the intersection of Gevrey classes. Here we prove an extension theorem in the case of more general intersections such that every -Whitney jet belongs to one of them. We also prove a linear extension theorem...