Related papers: Nonlinear conditions for ultradifferentiability
The paper is a continuation of our earlier article 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…
We prove an extension theorem for ultraholomorphic classes defined by so-called Braun-Meise-Taylor weight functions and transfer the proofs from the single weight sequence case from V. Thilliez [28] to the weight function setting. We are…
The article is devoted to the investigation of smoothness of functions $f(x_1,...,x_m)$ of variables $x_1,...,x_m$ in infinite fields with non-trivial multiplicative ultra-norms, where $m\ge 2$. Theorems about classes of smoothness $C^n$ or…
We give a characterization for two different concepts of quasi-analyticity in Carleman ultraholomorphic classes of functions of several variables in polysectors. Also, working with strongly regular sequences, we establish generalizations of…
If $f$ is an entire function and $a$ is a complex number, $a$ is said to be an asymptotic value of $f$ if there exists a path $\gamma$ from $0$ to infinity such that $f(z) - a$ tends to $0$ as $z$ tends to infinity along $\gamma$. The…
The article develops techniques for solving equations G(x,y)=0, where G(x,y)=G(x_1,...,x_n,y) is a function in a given quasianalytic class (for example, a quasianalytic Denjoy-Carleman class, or the class of infinitely differentiable…
It will be shown that the Stone-Weierstrass theorem for Clifford-valued functions is true for the case of even dimension. It remains valid for the odd dimension if we add a stability condition by principal automorphism.
When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…
The notion of $\Phi$-like functions is known to be a necessary and sufficient condition for univalence. By applying the idea, we derive several necessary conditions and sufficient conditions for that an analytic function defined on the unit…
We prove ultradifferentiable Chevelley restriction theorems for a wide range of ultradifferentiable classes. As a special case we find that isotropic functions, i.e., functions defined on the vector space of real symmetric matrices…
We introduce a new point of view towards Glaeser's theorem on composite $C^\infty$ functions [Ann. of Math. 1963], with respect to which we can formulate a ``$C^k$ composite function property" that is satisfied by all semiproper real…
Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…
Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…
We show that the family of all holomorphic functions $f$ in a domain $D$ satisfying $$\frac{|f^{(k)}|}{1+|f|}(z)\le C \qquad \mbox{ for all } z\in D$$ (where $k$ is a natural number and $C>0$) is quasi-normal. Furthermore, we give a general…
Let f be a transcendental entire function for which the set of critical and asymptotic values is bounded. The Denjoy-Carleman-Ahlfors theorem implies that if the set of all z for which |f(z)|>R has N components for some R>0, then the order…
By using Liu's $q$-partial differential equations theory, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, if and only if it can be expanded in terms of homogeneous…
This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier…
We prove a multivariable approximate Carleman theorem on the determination of complex measures on ${\mathbb{R}}^n$ and ${\mathbb{R}}^n_+$ by their moments. This is achieved by means of a multivariable Denjoy--Carleman maximum principle for…
The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, $C^\infty(\Bbb{R}^n) \twoheadrightarrow…
The aim of this work is to generalize the ultraholomorphic extension theorems from V. Thilliez in the weight sequence setting and from the authors in the weight function setting (of Roumieu type) to a mixed framework. Such mixed results…