English

Uniform extension of definable $C^{m,\omega}$-Whitney jets

Logic 2024-09-18 v4 Algebraic Geometry Classical Analysis and ODEs Functional Analysis

Abstract

We show that definable Whitney jets of class Cm,ωC^{m,\omega}, where mm is a nonnegative integer and ω\omega is a modulus of continuity, are the restrictions of definable Cm,ωC^{m,\omega}-functions; "definable" refers to an arbitrary given o-minimal expansion of the real field. This is true in a uniform way: any definable bounded family of Whitney jets of class Cm,ωC^{m,\omega} extends to a definable bounded family of Cm,ωC^{m,\omega}-functions. We also discuss a uniform CmC^m-version and how the extension depends on the modulus of continuity.

Keywords

Cite

@article{arxiv.2306.09156,
  title  = {Uniform extension of definable $C^{m,\omega}$-Whitney jets},
  author = {Adam Parusiński and Armin Rainer},
  journal= {arXiv preprint arXiv:2306.09156},
  year   = {2024}
}

Comments

29 pages; a few changes made to improve readability; final version accepted for publication in Pacific Journal of Mathematics; numbering of subsections changed to be consistent with the published version