Nonlinear conditions for ultradifferentiability: a uniform approach

Abstract

Recent work showed that a theorem of Joris (that a function $f$ is smooth if two coprime powers of $f$ are smooth) is valid in a wide variety of ultradifferentiable classes $\mathcal{C}$. The core of the proof was essentially $1$-dimensional. In certain cases a multidimensional version resulted from subtle reduction arguments, but general validity, notably in the quasianalytic setting, remained open. In this paper we give a uniform proof which works in all cases and dimensions. It yields the result even on infinite dimensional Banach spaces and convenient vector spaces. We also consider more general nonlinear conditions, namely general analytic germs $\Phi$ instead of the powers, and characterize when $\Phi \circ f\in \mathcal{C}$ implies $f\in \mathcal{C}$.

arXiv comment15 pages, Remark 4.3 expanded, accepted for publication in J. Geom. Anal.,

References in corpus (7)

• Composition in ultradifferentiable classes
• Almost analytic extensions of ultradifferentiable functions with applications to microlocal analysis
• Equivalence of stability properties for ultradifferentiable function classes
• On the extension of Whitney ultrajets, II
• On the extension of Whitney ultrajets
• The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type
• Nonlinear conditions for ultradifferentiability

Cited by in corpus (1)

• On generalized definitions of ultradifferentiable classes