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

DOI10.1007/S13163-014-0167-1zbMATH Open1331.26050arXiv1111.1819OpenAlexW3100212523WikidataQ62597139 ScholiaQ62597139MaRDI QIDQ496982FDOQ496982

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer 

Publication date: 23 September 2015

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

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.

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

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

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)

Cites Work

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

Cited In (14)

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