Roots, trace, and extendability of flat nonnegative smooth functions
Abstract
Building on the univariate techniques developed by Ray and Schmidt-Hieber, we study the class $\mathcal{F}^s(\mathbb{R}^n)$ of multivariate nonnegative smooth functions that are sufficiently flat near their zeroes, which guarantees that $\varphi^r$ has Hölder differentiability $rs$ whenever $\varphi \in \mathcal{F}^s$. We then construct a continuous Whitney extension map that recovers an $\mathcal{F}^s$ function from prescribed jets. Finally, we prove a Brudnyi-Shvartsman Finiteness Principle for the class $\mathcal{F}^s$, thereby providing a necessary and sufficient condition for a nonnegative function defined on an arbitrary subset of $\mathbb{R}^n$ to be $\mathcal{F}^s$-extendable to all of $\mathbb{R}^n$.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- 10.48550/arXiv.2306.16183
- arXiv:
- arXiv:2306.16183
- Bibcode:
- 2023arXiv230616183J
- Keywords:
-
- Mathematics - Functional Analysis;
- Mathematics - Classical Analysis and ODEs;
- Mathematics - Optimization and Control;
- 26B35;
- 26B05;
- 41A29
- E-Print:
- 25 pages. Lemma 3.1 statement corrected