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

DOI10.1007/S13163-014-0167-1MaRDI QIDQ496982zbMATH OpenOpenAlexWikidataFDO

Authors Andreas Kriegl, Peter W. Michor, Armin Rainer

Publication date 23 September 2015

Published in Revista Matemática Complutense (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1111.1819

zbMATH Keywords

convenient settingDenjoy-Carleman classes of Roumieu and Beurling typequasianalytic and non-quasianalytic mappings of moderate growthWhitney jets on Banach spaces

Mathematics Subject Classification ID

Groups of diffeomorphisms and homeomorphisms as manifolds (58D05) (C^infty)-functions, quasi-analytic functions (26E10) Group structures and generalizations on infinite-dimensional manifolds (58B25) Spaces of differentiable or holomorphic functions on infinite-dimensional spaces (46E50) Differentiability questions for infinite-dimensional manifolds (58B10) Differentiable maps on manifolds (58C25) Manifolds of mappings (58D15) Bornologies and related structures; Mackey convergence, etc. (46A17)

Abstract: We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^M$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $mathcalC$ denoting either $C^{(M)}$ or $C^M$, the category of $mathcalC$-mappings is cartesian closed in the sense that $mathcalC(E,mathcalC(F,G))congmathcalC(EimesF,G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $mathcalC$-diffeomorphisms is a regular $mathcalC$-Lie group if $mathcalCsupseteq{C}^{o}mega$, but not better.

Recommendations

• The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• An exotic zoo of diffeomorphism groups on \(\mathbb {R}^n\)
• The convenient setting for ultradifferentiable mappings of Beurling- and Roumieu-type defined by a weight matrix
• On the convenient setting for real analytic mappings

Cites work

• scientific article; zbMATH DE number 3660254 (Why is no real title available?)
• scientific article; zbMATH DE number 3678061 (Why is no real title available?)
• scientific article; zbMATH DE number 3738309 (Why is no real title available?)
• scientific article; zbMATH DE number 193292 (Why is no real title available?)
• scientific article; zbMATH DE number 1014181 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 2138361 (Why is no real title available?)
• scientific article; zbMATH DE number 2138363 (Why is no real title available?)
• scientific article; zbMATH DE number 1385363 (Why is no real title available?)
• scientific article; zbMATH DE number 3337966 (Why is no real title available?)
• scientific article; zbMATH DE number 3408337 (Why is no real title available?)
• A cartesian closed category of smooth mappings
• Composition in ultradifferentiable classes
• Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators
• Die richtigen Räume für Analysis im Unendlich-Dimensionalen
• Equivalence of stability properties for ultradifferentiable function classes
• Free subgroups of diffeomorphism groups
• Intersection properties of Gevrey classes and of certain other classes
• Inverse map theorem in the ultra-\(F\)-differentiable class
• On Levi's problem and the imbedding of real-analytic manifolds
• On ODEs in the ultradifferentiable class
• On inverse-closed algebras of infinitely differentiable functions
• On quasianalytic local rings
• Perturbation theory for normal operators
• Pseudoanalytic extension of smooth functions. The uniform scale
• Resolution of singularities in Denjoy-Carleman classes
• Surjectivity of the restriction map to a compact in classes of ultradifferentiable functions
• The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for real analytic mappings
• The implicit function theorem for ultradifferentiable mappings
• Ultra-distributions definies sur \(R^ n\) et sur certaines classes de variétés différentiables
• Ultradifferentiability of solutions of ordinary differential equations
• Über die Regularitätsbegriffe induktiver lokalkonvexer Sequenzen

Cited in

(14)

• The Trouvé group for spaces of test functions
• Nonlinear conditions for ultradifferentiability: a uniform approach
• An exotic zoo of diffeomorphism groups on \(\mathbb {R}^n\)
• On groups of Hölder diffeomorphisms and their regularity
• The exponential law for spaces of test functions and diffeomorphism groups
• Composition in ultradifferentiable classes
• On universal enveloping algebras in a topological setting
• Manifolds of mappings for continuum mechanics
• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• A constructive approach to regularity of Lagrangian trajectories for incompressible Euler flow in a bounded domain
• Homogeneous Sobolev metric of order one on diffeomorphism groups on real line
• Equivalence of stability properties for ultradifferentiable function classes
• Ultradifferentiable extension theorems: a survey
• The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings

This page was built for publication: The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496982)