A functional inequality for real-analytic functions.
We characterize composition operators on spaces of real analytic functions which are open onto their images. We give an example of a semiproper map φ such that the associated composition operator is not open onto its image.
A real function is -density continuous if it is continuous with the -density topology on both the domain and the range. If is analytic, then is -density continuous. There exists a function which is both and convex which is not -density continuous.
A detailed study of power series on the Levi-Civita fields is presented. After reviewing two types of convergence on those fields, including convergence criteria for power series, we study some analytical properties of power series. We show that within their domain of convergence, power series are infinitely often differentiable and re-expandable around any point within the radius of convergence from the origin. Then we study a large class of functions that are given locally by power series and...
Nous appliquons les résultats d’un article précédent au domaine des fonctions différentiables. Nous obtenons en particulier des théorèmes de division et des théorèmes de fonctions composées.
We consider real valued functions defined on a subinterval of the positive real axis and prove that if all of ’s quantum differences are nonnegative then has a power series representation on . Further, if the quantum differences have fixed sign on then is analytic on .
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 Ū.
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 .
Soit un morphisme propre fini et surjectif entre deux variétés analytiques complexes. Nous donnons une caractérisation des fonctions (continues) sur qui sont de la forme où est une fonction sur . Pour cela nous introduisons la notion de fonction de type trace sur une variété analytique complexe. Ces fonctions sont analytiques réelles en dehors d’une hypersurface complexe et admettent des singularités très simples aux points de cette hypersurface.