The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings (Q639512): Difference between revisions

The paper under review deals with classes of Denjoy-Carleman differentiable functions. Given a sequence \(M:=(M_k)_{k \in {\mathbb N}}\) of positive numbers and an open set \(U \subset {\mathbb R}^n\), the class \(C^M(U)\) is the set of all \(f \in C^\infty(U)\) such that for every compact set \(K\subset U\) there are constants \(C, \rho\) such that \[ |\partial ^{\alpha}f(x)| \leq C\rho^{|\alpha|}|\alpha ! \, M_{|\alpha|}|, \] for each \(x\in K\). The sequence is supposed to be log-convex and the class is assumed to be derivation closed. These are intermediate classes between real analytic and \(C^{\infty}\) functions. If \(C^M(U)\) contains non-trivial functions with compact support the class is called non-quasi-analytic, otherwise we say that it is quasi-analytic. In an earlier paper, the authors proved that under quite natural assumptions on \(M\), and in the non-quasi-analytic case, a functions \(f\in C^M\) if and only if it is \( C^M\) along all \( C^M\)-curves. Since the method of proof depended on the existence of \( C^M\)-partitions of unity, it does not work in the quasi-analytic case. In this paper, the authors consider quasi-analytic log-convex Denjoy-Carleman classes which can be represented as intersections \[ C^Q= \bigcap \{C^L: L \in {\mathcal L}(Q)\} \] of larger non-quasianalytic log-convex classes \(C^L\). Then it is shown that \(f \in C^Q\) if and only if it is \( C^L\) along all \( C^L\)-curves for each \(L \in {\mathcal L}(Q).\) It is unknown, even in \({\mathbb R}^2\), whether a smooth \(f\) which is \(C^Q\) along all \(C^Q\)-curves is in fact \(C^Q.\) It is also proved that the category \(C^Q\) is Cartesian closed in the sense that \(C^Q(E, C^Q(F,G))\cong C^Q(E \times F, G.)\)