Arc-smooth functions on closed sets

DOI10.1112/S0010437X19007097MaRDI QIDQ4629450zbMATH OpenFDO

Authors Armin Rainer

Publication date 27 March 2019

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.08335

zbMATH Keywords

Bochnak-Siciak theoremBoman's theoremdifferentiability on closed setsFrölicher spacessubanalytic setsultradifferentiable functions

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Special properties of functions of several variables, Hölder conditions, etc. (26B35) (C^infty)-functions, quasi-analytic functions (26E10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Differentiable maps on manifolds (58C25)

Abstract: By an influential theorem of Boman, a function $f$ on an open set $U$ in $mathbb{R}^d$ is smooth ($mathcal{C}^{i}nfty$) if and only if it is arc-smooth, i.e., $fcircc$ is smooth for every smooth curve $c:mathbbRoU$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an analogue of Boman's theorem on fat closed sets with H"older boundary and on fat closed subanalytic sets with the property that every boundary point has a basis of neighborhoods each of which intersects the interior in a connected set. If $Xsubseteqmathbb{R}^d$ is any such set and $f:XomathbbR$ is arc-smooth, then $f$ extends to a smooth function defined on $mathbb{R}^d$. We also get a version of the Bochnak-Siciak theorem on all closed fat subanalytic and all closed sets with H"older boundary: if $f:XomathbbR$ is the restriction of a smooth function on $mathbb{R}^d$ which is real analytic along all real analytic curves in $X$, then $f$ extends to a holomorphic function on a neighborhood of $X$ in $mathbb{C}^d$. Similar results hold for non-quasianalytic Denjoy-Carleman classes (of Roumieu type). We will also discuss sharpness and applications of these results.

Recommendations

• On the algebra of functions 𝒞^{𝓀}-extendable for each 𝓀 finite
• scientific article; zbMATH DE number 2230037
• Extensions of arc-analytic functions
• Analytic extension of differentiable functions defined in closed sets by means of continuous linear operators
• Analytic extension of smooth functions

Cites work

• A characterization of analytic functions of n real variables
• A Function which is Arc-Analytic but not Continuous
• An Extension Theorem of Whitney Type for Non Quasi-Analytic Classes of Functions
• Analytic functions in Banach spaces
• Analytic functions in topological vector-spaces
• Composite differentiable functions
• Composite differentiable functions
• Composite quasianalytic functions
• Composition in ultradifferentiable classes
• Differentiability of a Function and of its Compositions with Functions of One Variable.
• Differentiable functions
• Differentiable invariants
• Equivalence of stability properties for ultradifferentiable function classes
• Extension of $C^{∞}$ functions from sets with polynomial cusps
• Fonctions différentiables invariantes sous l'opération d'un groupe réductif
• FORMAL RELATIONS BETWEEN ANALYTIC FUNCTIONS
• Geometric and differential properties of subanalytic sets
• scientific article; zbMATH DE number 3871758 (Why is no real title available?)
• scientific article; zbMATH DE number 4138299 (Why is no real title available?)
• scientific article; zbMATH DE number 3660254 (Why is no real title available?)
• scientific article; zbMATH DE number 177491 (Why is no real title available?)
• scientific article; zbMATH DE number 193292 (Why is no real title available?)
• scientific article; zbMATH DE number 1332095 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 1356119 (Why is no real title available?)
• scientific article; zbMATH DE number 1820648 (Why is no real title available?)
• scientific article; zbMATH DE number 5214149 (Why is no real title available?)
• scientific article; zbMATH DE number 3283056 (Why is no real title available?)
• Inequalities defining orbit spaces
• Intersection properties of Gevrey classes and of certain other classes
• Lifting differentiable curves from orbit spaces
• Lifting smooth curves over invariants for representations of compact Lie groups
• Lipschitz cell decomposition in o-minimal structures. I.
• Lipschitz stratification of subanalytic sets
• Markov's inequality and \(C^{\infty}\) functions on sets with polynomial cusps
• Nonlinear conditions for differentiability of functions
• On Joris' theorem on differentiability of functions
• Pathological phenomena in Denjoy-Carleman classes
• Pseudo-immersions
• Quotients of smooth functions
• Racine carrée d'une fonction différentiable
• Semianalytic and subanalytic sets
• Shapes and geometries. Metrics, analysis, differential calculus, and optimization
• Smooth functions invariant under the action of a compact Lie group
• Subanalytic Functions
• The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• Ultradifferentiable functions on lines in ℝⁿ
• Une \(C^\infty\)-application non-immersive qui possède la propriété universelle des immersions
• When \(\varphi(f)\) convergent implies \(f\) is convergent

Cited in

(10)

• Arcwise almost continuous functions
• Hölder-Zygmund classes on smooth curves
• Functions with ultradifferentiable powers
• Almost analytic extensions of ultradifferentiable functions with applications to microlocal analysis
• Nonlinear conditions for ultradifferentiability
• Boman's theorem: Strengthened and applied
• Diffeological, Frölicher, and differential spaces
• Arc-smooth functions and cuspidality of sets
• Towards a better understanding of \(\mathcal{C}^p\) functions and definable \(\mathcal{C}^p\) functions of several variables
• Runge type approximation results for spaces of smooth Whitney jets

This page was built for publication: Arc-smooth functions on closed sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4629450)