The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings

DOI10.1016/J.JFA.2009.03.003MaRDI QIDQ1024562zbMATHOpenAlexWikidataFDO

Authors Andreas Kriegl, Armin Rainer, Peter W. Michor

Publication date 17 June 2009

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

Denjoy-Carleman classesconvenient settingnon-quasianalytic of moderate growth

Mathematics Subject Classification ID

Calculus of functions taking values in infinite-dimensional spaces (26E20) Topological linear spaces of continuous, differentiable or analytic functions (46E10) Categories, functors in functional analysis (46M15) Derivatives of functions in infinite-dimensional spaces (46G05)

Abstract: For Denjoy--Carleman differential function classes $C^M$ where the weight sequence $M=(M_k)$ is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is $C^M$ if it maps $C^M$-curves to $C^M$-curves. The category of $C^M$-mappings is cartesian closed in the sense that $C^M(E,C^M(F,G))cong{C}^M(ExF,G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^M$-diffeomorphisms is a $C^M$-Lie group but not better.

Recommendations

• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type
• Invariant functions in Denjoy-Carleman classes
• Composite quasianalytic functions
• Pathological phenomena in Denjoy-Carleman classes

Cites work

• scientific article; zbMATH DE number 3824308 (Why is no real title available?)
• scientific article; zbMATH DE number 3929717 (Why is no real title available?)
• scientific article; zbMATH DE number 3730702 (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 3408337 (Why is no real title available?)
• scientific article; zbMATH DE number 3416496 (Why is no real title available?)
• A free convenient vector space for holomorphic spaces
• Die richtigen Räume für Analysis im Unendlich-Dimensionalen
• Differentiability of a Function and of its Compositions with Functions of One Variable.
• Free subgroups of diffeomorphism groups
• Lokalkonvexe Sequenzen mit kompakten Abbildungen.
• On E. Borel's theorem
• On quasianalytic local rings
• Resolution of singularities in Denjoy-Carleman classes
• 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
• Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions

Cited in

(28)

• The Trouvé group for spaces of test functions
• Nonlinear conditions for ultradifferentiability: a uniform approach
• Perturbation theory for normal operators
• Lagrangian regularity of the electron magnetohydrodynamics flow on a bounded domain
• On the equivalence between moderate growth-type conditions in the weight matrix setting
• An exotic zoo of diffeomorphism groups on \(\mathbb {R}^n\)
• Quasianalytic multiparameter perturbation of polynomials and normal matrices
• Regularity of the geodesic flow of the incompressible Euler equations on a manifold
• On groups of Hölder diffeomorphisms and their regularity
• Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators
• Global trace formula for ultra-differentiable Anosov flows
• Nonlinear conditions for ultradifferentiability
• The exponential law for spaces of test functions and diffeomorphism groups
• Composition in ultradifferentiable classes
• Transfer operators for ultradifferentiable expanding maps of the circle
• A generalization of Puiseux's theorem and lifting curves over invariants
• The convenient setting for real analytic mappings
• Arc-smooth functions on closed sets
• Functions with ultradifferentiable powers
• The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type
• Manifolds of mappings for continuum mechanics
• Some notes on moment partial differential equations. Application to fractional functional equations
• 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
• Ultradifferentiable extension theorems: a survey
• Non-quasianalytic curves in Fréchet spaces
• Upper bounds on the size of nodal sets for Gevrey and quasianalytic Riemannian manifolds

This page was built for publication: The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings

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