Abstract
A function f is arc-smooth if the composite f ◦ c with every smooth curve c in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem of Boman. Recently, we extended this result to certain tame closed sets (namely, Hölder sets and simple fat subanalytic sets). In this paper we link, in a precise way, the cuspidality of the (boundary of the) set to the loss of regularity, i.e., how many derivatives of f ◦ c are needed in order to determine the derivatives of f. We also discuss how flatness of f ◦ c affects flatness of f. Besides Hölder sets and subanalytic sets we treat sets that are definable in certain polynomially bounded o-minimal expansions of the real field.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
E. Bierstone, Differentiable functions, Bol. Soc. Brasil. Mat. 11 (1980), 139–189.
E. Bierstone and P. D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), 207–302.
E. Bierstone and P. D. Milman, Resolution of singularities in Denjoy–Carleman classes, Selecta Math. (N.S.) 10 (2004), 1–28.
J. Boman, Differentiability of a function and of its compositions with functions of one variable, Math. Scand. 20 (1967), 249–268.
L. P. Bos and P. D. Milman, Sobolev–Gagliardo–Nirenberg and Markov type inequalities on subanalytic domains, Geom. Funct. Anal. 5 (1995), 853–923.
R. de la Llave and R. Obaya, Regularity of the composition operator in spaces of Hölder functions, Discrete Contin. Dynam. Systems 5 (1999), 157–184.
M. C. Delfour and J.-P. Zolésio, Shapes and Geometries, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2011.
C.-A. Faure, Sur un théorème de Boman, C. R. Acad. Sci. Paris Sér. I Math. 309 (1989), 1003–1006.
L. Frerick, Extension operators for spaces of infinite differentiable Whitney jets, J. Reine Angew. Math. 602 (2007), 123–154.
G. Glaeser, Racine carrée d’une fonction différentiable, Ann. Inst. Fourier (Grenoble) 13 (1963), 203–210.
P. Grisvard, Elliptic Problems in Nonsmooth Domains, Pitman, Boston, MA, 1985.
H. Hironaka, Introduction to Real-analytic Sets and Real-Analytic Maps, Istituto Matematico “L. Tonelli” dell’Università, Pisa, 1973.
S. Izumi, Flatness of differentiable functions along a subset of a real analytic set, J. Anal. Math. 86 (2002), 235–246.
H. Joris and E. Preissmann, Quotients of smooth functions, Kodai Math. J. 13 (1990), 241–264.
A. Kriegl, Remarks on germs in infinite dimensions, Acta Math. Univ. Comenian. (N.S.) 66 (1997), 117–134.
A. Kriegl and P. W. Michor, The Convenient Setting of Global Analysis, American Mathematical Society, Providence, RI, 1997
K. Kurdyka and A. Parusiński, Quasi-convex decomposition in o-minimal structures. Application to the gradient conjecture, in Singularity Theory and its Applications, Mathematical Society of Japan, Tokyo, 2006, pp. 137–177.
P. W. Michor, Manifolds of mappings for continuum mechanics, in Geometric Continuum Mechanics, Birkhäuser/Springer, Cham, 2020, pp. 3–75.
C. Miller, Exponentiation is hard to avoid, Proc. Amer. Math. Soc. 122 (1994), 257–259.
D. N. Nenning and A. Rainer, On groups of Hölder diffeomorphisms and their regularity, Trans. Amer. Math. Soc. 370 (2018), 5761–5794.
W. Pawłucki and W. Pleśniak, Markov’s inequality and C∞functions on sets with polynomial cusps, Math. Ann. 275 (1986), 467–480.
W. Pawłucki and W. Pleśniak, Extension of C∞functions from sets with polynomial cusps, Studia Math. 88 (1988), 279–287.
R. Pierzchała, UPC condition in polynomially bounded o-minimal structures, J. Approx. Theory 132 (2005), 25–33.
R. Pierzchała, Markov’s inequality in the o-minimal structure of convergent generalized power series, Adv. Geom. 12 (2012), 647–664.
W. Pleśniak, Markov’s inequality and the existence of an extension operator for C∞functions, J. Approx. Theory 61 (1990), 106–117.
A. Rainer, Arc-smooth functions on closed sets, Compos. Math. 155 (2019), 645–680.
D. M. Roberts and A. Schmeding, Extending Whitney’s extension theorem: nonlinear function spaces, Ann. Inst. Fourier (Grenoble) 71 (2021), 1241–1286.
J.-P. Rolin, P. Speissegger and A. J. Wilkie, Quasianalytic Denjoy–Carleman classes and o-minimality, J. Amer. Math. Soc. 16 (2003), 751–777.
K. Spallek, l-Platte Funktionen auf semianalytischen Mengen, Math. Ann. 227 (1977), 277–286.
L. van den Dries, Tame Topology and o-minimal Structures, Cambridge University Press, Cambridge, 1998.
L. van den Dries and C. Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), 497–540.
H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc. 36 (1934), 63–89.
Acknowledgement
I am grateful to the anonymous referee for valuable remarks that led to an improvement of the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by FWF-Project P 32905-N.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution and reproduction in any medium, provided the appropriate credit is given to the original authors and the source, and a link is provided to the Creative Commons license, indicating if changes were made (https://creativecommons.org/licenses/by/4.0/).
Open access funding provided by University of Vienna
About this article
Cite this article
Rainer, A. Arc-smooth functions and cuspidality of sets. JAMA (2024). https://doi.org/10.1007/s11854-024-0337-0
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s11854-024-0337-0