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

@article{Kriegl2011TheCS,
title={The convenient setting for Denjoy–Carleman differentiable mappings of Beurling and Roumieu type},
author={Andreas Kriegl and Peter W. Michor and Armin Rainer},
journal={Revista Matem{\'a}tica Complutense},
year={2011},
volume={28},
pages={549-597}
}
• Published 8 November 2011
• Mathematics
• Revista Matemática Complutense
We prove in a uniform way that all Denjoy–Carleman differentiable function classes of Beurling type $$C^{(M)}$$C(M) and of Roumieu type $$C^{\{M\}}$$C{M}, admit a convenient setting if the weight sequence $$M=(M_k)$$M=(Mk) is log-convex and of moderate growth: For $$\mathcal C$$C denoting either $$C^{(M)}$$C(M) or $$C^{\{M\}}$$C{M}, the category of $$\mathcal C$$C-mappings is cartesian closed in the sense that $$\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$$C(E,C(F,G))≅C(E×F,G…
An exotic zoo of diffeomorphism groups on $$\mathbb {R}^n$$Rn
• Mathematics
• 2015
Let $$C^{[M]}$$C[M] be a (local) Denjoy–Carleman class of Beurling or Roumieu type, where the weight sequence $$M=(M_k)$$M=(Mk) is log-convex and has moderate growth. We prove that the groups
The Trouvé group for spaces of test functions
• Mathematics
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas
• 2018
The Trouvé group $$\mathcal {G}_\mathcal {A}$$GA from image analysis consists of the flows at a fixed time of all time-dependent vectors fields of a given regularity $$\mathcal {A}(\mathbb Composition in ultradifferentiable classes • Mathematics • 2014 We characterize stability under composition of ultradifferentiable classes defined by weight sequences M, by weight functions \omega, and, more generally, by weight matrices \mathfrak{M}, and On groups of Hölder diffeomorphisms and their regularity • Mathematics, Computer Science • 2016 It is proved that the H\"older spaces C^{n,\beta}_0 are ODE closed, in the sense that pointwise time-dependent u have unique flows \Phi in \mathcal D^{ n,\ beta}(\mathbb R^d). Homogeneous Sobolev Metric of Order One on Diffeomorphism Groups on Real Line • Mathematics J. Nonlinear Sci. • 2014 It is proved that the spaceequipped with the homogeneous Sobolev metric of order one is a flat space in the sense of Riemannian geometry, as it is isometric to an open subset of a mapping space equipped with the flat L2-metric. THE EXPONENTIAL LAW FOR EXOTIC SPACES OF TEST FUNCTIONS AND DIFFEOMORPHISM GROUPS • Mathematics • 2014 We prove the exponential law A(E × F,G) ∼= A(E,A(F,G)) (bornological isomorphism) for the following classes A of test functions: B (globally bounded derivatives), W∞,p (globally p-integrable An exotic zoo of diffeomorphism groups on R n • Mathematics • 2015 Let C (M) be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence M = (Mk) is log-convex and has moderate growth. We prove that the groups DiffB (M) (R n ), Diff W Manifolds of Mappings for Continuum Mechanics • P. Michor • Mathematics Advances in Mechanics and Mathematics • 2020 This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth Perturbation theory for normal operators Let E 3 x 7! A(x) be a C -mapping with its values being un- bounded normal operators with common domain of denition and compact resolvent. Here C stands for C1, C! (real analytic), C(M) References SHOWING 1-10 OF 51 REFERENCES Denjoy–Carleman Differentiable Perturbation of Polynomials and Unbounded Operators • Mathematics • 2011 Let$${t\mapsto A(t)}$$for$${t\in T}$$be a CM-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here CM stands for Resolution of singularities in Denjoy-Carleman classes • Mathematics • 2001 Abstract We show that a version of the desingularization theorem of Hironaka$${\cal C}^\infty  holds for certain classes of functions (essentially, for subrings that exclude flat functions and
On Nuclear Maps Between Spaces of Ultradifferentiable Jets of Roumieu Type
• Mathematics
• 2003
If K is a non void compact subset of R r , we give a condition under which the canonical injection from E{M},b(K) into E{M},d(K) is nuclear. We then consider the mixed case and obtain the existence
Perturbation theory for normal operators
Let E 3 x 7! A(x) be a C -mapping with its values being un- bounded normal operators with common domain of denition and compact resolvent. Here C stands for C1, C! (real analytic), C(M)
Surjectivité de l'application restriction à un compact dans des classes de fonctions ultradifférentiables
• Mathematics
• 1994
RésuméEtant donnée {Mp}p≧0 une suite de réels strictement positifs, on considère la classe de CarlemanC{p!Mp} (resp. BeurlingB{p!Mp}) des fonctionsf indéfiniment dérivables sur ℝn. SoitE un sous
Real and complex analysis
Preface Prologue: The Exponential Function Chapter 1: Abstract Integration Set-theoretic notations and terminology The concept of measurability Simple functions Elementary properties of measures
The convenient setting for real analytic mappings
• Mathematics
• 1990
We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps
Eine kartesisch abgeschlossene Kategorie glatter Abbildungen zwischen beliebigen lokalkonvexen Vektoräumen
This paper is a continuation of [6], in which I identified thec∞-complete bornological locally convex spaces (in short: 1cs) as the right ones for infinite dimensional analysis. Here I discuss smooth
Die richtigen Räume für Analysis im Unendlich-Dimensionalen
The aim of this paper is to characterize those locally convex spaces, which have the following properties. 1. Any curve, which is differentiable if composed with continuous linear forms, is