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(E\x F, 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.
For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the following: The category of $C^Q$-mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^Q$-diffeomorphisms is a regular $C^Q$-Lie group but not better.
The classical notion of Łojasiewicz ideals of smooth functions is studied in the context of non-quasianalytic Denjoy-Carleman classes. In the case of principal ideals, we obtain a characterization of Łojasiewicz ideals in terms of properties of a generator. This characterization involves a certain type of estimates that differ from the usual Łojasiewicz inequality. We then show that basic properties of Łojasiewicz ideals in the $\mathcal{C}^\infty$ case have a Denjoy-Carleman counterpart.
We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$, the category of $\mathcal C$-mappings is cartesian closed in the sense that $\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $\mathcal C$-diffeomorphisms is a regular $\mathcal C$-Lie group if $…
Let $\mathcal{E}_1(M)^+$ be the local ring of germs at 0 of functions belonging to a given Denjoy-Carleman quasianalytic class in a neighborhood of 0 in $[0,+\infty[$. We show that the ring $\mathcal{E}_1(M)^+$ contains elements that cannot be extended quasianalytically in a neighborhood of 0 in $\mathbb{R}$, unless it coincides with the ring of real-analytic germs.
For two types of moderate growth representations of $(\mathbb{R}^d,+)$ on sequentially complete locally convex Hausdorff spaces (including F-representations [J. Funct. Anal. 262 (2012), 667-681], we introduce Denjoy-Carleman classes of ultradifferentiable vectors and show a strong factorization theorem of Dixmier-Malliavin type for them. In particular, our factorization theorem solves [Conjecture 6.; J. Funct. Anal. 262 (2012), 667-681] for analytic vectors of representations of $G =(\mathbb{R}^d,+)$. As an application, we show that various convolution algebras and modules of ultradifferentiab…
Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or non-quasianalytic Denjoy-Carleman class, $C^\infty$, or a Hölder continuity class $C^{0,\al}$. The parameter domain $T$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We prove and review results on $C^M$-dependence on $t$ of the eigenvalues and eigenvectors of $A(t)$.
Inspired by some iterative algorithms useful for proving the real analyticity (or the Gevrey regularity) of a solution of a linear partial differential equation with real-analytic coefficients, we consider the following question. Given a smooth function defined on $[a,b]\subset\mathbb{R}$ and given an increasing divergent sequence $d_n$ of positive integers such that the derivative of order $d_n$ of $f$ has a growth of the type $M_{d_n}$, when can we deduce that $f$ is a function in the Denjoy-Carleman class $C^M([a,b])$? We provide a positive result, and we show that a suitable condition on t…
We survey ultradifferentiable extension theorems, i.e., quantitative versions of Whitney's classical extension theorem, with special emphasis on the existence of continuous linear extension operators. The focus is on Denjoy-Carleman classes for which we develop the theory from scratch and discuss important related concepts such as (non-)quasianalyticity. It allows us to give an efficient and, to a fair extent, elementary introduction to Braun-Meise-Taylor classes based on their representation as intersections and unions of Denjoy-Carleman classes.
This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function. It also demonstrates that Lojasiewicz's theorem that every subanalytic curve is semianalytic is no longer true in quasianalytic structures. Our construction applies rectilinearization of terms, established in our earlier papers, as well as some theorems on power…
A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove that a division property, equivalent to Joris's result, is valid in a wide variety of ultradifferentiable classes. Generally speaking, it holds in all dimensions for non-quasianalytic classes. In the quasianalytic case we have general validity in dimension one, but we also get validity in all dimensions for certain quasianalytic classes.
Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$, ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$, ${\operatorname{Diff}}{\mathcal{S}}{}_{[L]}^{[M]}(\mathbb{R}^n)$, and ${\operatorname{Diff}}\mathcal{D}^{[M]}(\mathbb{R}^n)$ of $C^{[M]}$-diffeomorphisms on $\mathbb{R}^n$ which differ from the identity by a mapping in $\mathcal{B}^{[M]}$ (global Denjoy--Carleman), $W^{[M],p}$ (Sobolev-Denjoy-Carleman), ${\mathcal{S}…
An $L^2$ version of the celebrated Denjoy-Carleman theorem regarding quasi-analytic functions was proved by Chernoff \cite{CR} on $\mathbb R^d$ using iterates of the Laplacian. In $1934$ Ingham \cite{I} used the classical Denjoy-Carleman theorem to relate the decay of Fourier transform and quasi-analyticity of integrable functions on $\mathbb R$. In this paper we extend both these theorems to Riemannian symmetric spaces of noncompact type and show that the theorem of Ingham follows from that of Chernoff.
Constructive Approximation under Carleman's Condition, with Applications to Smoothed Analysis
Department of Statistics and Data Science Institute, University of Chicago（统计与数据科学学院/研究所，芝加哥大学）；Department of Statistics, University of Chicago（统计学院，芝加哥大学）
The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical Denjoy-Carleman and Braun-Meise-Taylor classes. More precisely, we characterize when the Borel image of one class covers the sequence space of another class in terms of the two weights that define the classes. We present two independent solutions to this problem, one by reduction to the Roumieu case and the other by dualization of the involved Fréchet spaces, a Phragmén-…
Considered are operators that leave the set of non-invertible (in the sense of Ehrenpreis) distributions stable. They simultaneously generalise the operation of convolution by a distribution with compact support and the operation of multiplication by a real analytic function; they are here called pseudo-convolutions since they also generalise pseudo-differential operators. (It is shown that the elliptic real analytic pseudo-differential operators leave both the non-invertible and the invertible distributions invariant.) But when the condition of real-analyticity is relaxed, such operators may …
