The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type (Q496982)

The class of Denjoy-Carleman differentiable functions consists of smooth functions described by growth conditions on the Taylor expansion. The sequence \(M=\left(M_k\right)_{k \in \mathbb{N}}\) of positive real numbers serves as a weight for the iterated derivates. On finite dimensions, it may be described as follows: let \(U \subset \mathbb{R}^n\) be an open subset. The Denjoy-Carleman classes of Beurling type gather all \(f \in C^\infty(U)\) such that \[ \forall \text{ compact } K \subseteq U,\;\forall\;\rho>0 : \left\{\frac{\partial^\alpha f(x)}{\rho^{|\alpha|} |\alpha|! M_{|\alpha|}} : x \in K, \alpha \in \mathbb{N}^n \right\} \text{ is bounded}; \] and the Denjoy-Carleman classes of Roumieu type is the set of all \(f \in C^\infty(U)\) such that \[ \forall \text{ compact } K\subseteq U,\;\exists\;\rho>0 : \left\{\frac{\partial^\alpha f(x)}{\rho^{|\alpha|} |\alpha|! M_{|\alpha|}} : x \in K,\;\alpha \in \mathbb{N}^n \right\} \text{ is bounded}. \] In [J. Funct. Anal. 256, No. 11, 3510--3544 (2009; Zbl 1178.46039)], the authors developed the convenient setting for non-quasianalytic log-convex Denjoy-Carleman classes of Roumieu type having moderate growth. After, in [J. Funct. Anal. 261, No. 7, 1799--1834 (2011; Zbl 1250.46018)] they proved that some quasianalytic log-convex Denjoy-Carleman classes of Roumieu type having moderate growth admit a convenient setting. However, many quasianalytic Romieu classes, like the real analytic class, were not covered. In this paper, the authors assert that all log-convex Denjoy-Carleman classes of moderate growth admit a convenient setting: for \(\mathcal{C}\) denoting either the class of Beurling or Roumieu type, the category of \(\mathcal{C}\)-mappings is Cartesian closed in sense that \(\mathcal{C}\left(E,\mathcal{C}(F,G)\right) \cong \mathcal{C}\left(E\times F, G\right)\). In order to achieved this, the authors deals with \textit{Banach plots} (mappings of the respective weak class defined in open subsets of Banach spaces), instead of curves as in the previous cited paper. With this, they were able to treat all Denjoy-Carleman classes uniformly, no matter if quasianalytic, nonquasianalytic, of Beurling, or of Roumieu type, including real analytic mappings and real and imaginary parts of entire functions. Moreover, applications to manifolds of mappings are given: the space of \(\mathcal{C}\)-mappings between finite dimensional (compact) manifolds is naturally an infinite dimensional \(\mathcal{C}\)-manifold, and the group of \(\mathcal{C}\)-diffeomorphisms of a compact manifold is a \(\mathcal{C}\)-regular Lie group.