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

From MaRDI portal
Added link to MaRDI item.
Created claim: Wikidata QID (P12): Q62597139, #quickstatements; #temporary_batch_1706897434465
Property / Wikidata QID
 
Property / Wikidata QID: Q62597139 / rank
 
Normal rank

Revision as of 19:14, 2 February 2024

scientific article
Language Label Description Also known as
English
The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type
scientific article

    Statements

    The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type (English)
    0 references
    0 references
    0 references
    0 references
    23 September 2015
    0 references
    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.
    0 references
    convenient setting
    0 references
    Denjoy-Carleman classes of Roumieu and Beurling type
    0 references
    quasianalytic and non-quasianalytic mappings of moderate growth
    0 references
    Whitney jets on Banach spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references