Nonlinear conditions for ultradifferentiability: a uniform approach

TL;DR

This paper provides a comprehensive, uniform proof that nonlinear conditions for ultradifferentiability, including multidimensional and infinite-dimensional cases, are valid under broad circumstances, extending previous results and characterizations.

Contribution

It introduces a universal proof approach for nonlinear ultradifferentiability conditions applicable across all dimensions and spaces, including quasianalytic and infinite-dimensional settings.

Findings

Unified proof for nonlinear ultradifferentiability conditions

Extension to infinite-dimensional Banach and vector spaces

Characterization of when analytic germs imply ultradifferentiability

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