# 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} }

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…

## 19 Citations

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

- MathematicsRevista 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

- MathematicsJ. 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

- MathematicsAdvances 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

- Mathematics
- 2013

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

- Mathematics
- 2013

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

- Mathematics
- 1966

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

- Mathematics
- 1983

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

- Mathematics
- 1982

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…