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

DOI10.1016/J.JFA.2009.03.003zbMATH Open1178.46039arXiv0804.2995OpenAlexW4212900149WikidataQ62597174 ScholiaQ62597174MaRDI QIDQ1024562FDOQ1024562

Armin Rainer, Peter W. Michor, Andreas Kriegl

Publication date: 17 June 2009

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• On E. Borel's theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Resolution of singularities in Denjoy-Carleman classes
• Ultra-distributions definies sur \(R^ n\) et sur certaines classes de variétés différentiables
• Differentiability of a Function and of its Compositions with Functions of One Variable.
• On quasianalytic local rings
• Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions
• Title not available (Why is that?)
• The convenient setting for real analytic mappings
• Die richtigen Räume für Analysis im Unendlich-Dimensionalen
• Free subgroups of diffeomorphism groups
• Lokalkonvexe Sequenzen mit kompakten Abbildungen.
• A free convenient vector space for holomorphic spaces
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (28)

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

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)