Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions (Q3979470)

For a weight function \(\omega\) (on \(\mathbb{R}_ +\)) let \({\mathcal E}_{(\omega)}(\mathbb{R}^ N)\) resp. \({\mathcal E}_{\{\omega\}}(\mathbb{R}^ N)\) denote the nonquasi-analytic class of \(\omega\)-ultradifferntiable functions of Beurling resp. Roumieu type. If a result holds for both types, we will write \({\mathcal E}_ *\). \textit{R. Meise}, \textit{B. A. Taylor} [Ark. Mat. 26, No. 2, 265-287 (1988; Zbl 0683.46020)] and \textit{J. Bonet}, \textit{R. Meise}, \textit{B. A. Taylor} [Proc. R. Ir. Acad., Sect. A 89, No. 1, 53-66 (1989; Zbl 0654.46029)] characterized those weight functions \(\omega\), here called strong weight functions, for which an analog of E. Borel's theorem holds for \({\mathcal E}_{(\omega)}(\mathbb{R}^ N)\) and \({\mathcal E}_{\{\omega\}}(\mathbb{R}^ N)\), respectively; i.e., such that for each family \((a_ \alpha)_ \alpha\) of complex numbers in the natural sequence space associated with \({\mathcal E}_ *\), there exists \(f\in {\mathcal E}_ *\) such that \(f^{(\alpha)}(0)=a_ \alpha\) for all \(\alpha\in \mathbb{N}_ 0^ N\). In the present article, the authors prove that for strong weight functions \(\omega\) and arbitrary nonvoid closed sets \(A\subset\mathbb{R}^ N\) even the analog of Whitney's extension theorem holds; i.e., the restriction map of \({\mathcal E}_ *\) to the space of Whitney jets of type \({\mathcal E}_ *\) on \(A\) is surjective. This extends results of J. Bruna, S. Y. Chung and D. Kim, J.-M. Kantor, and H. Komatsu. In the Roumieu case, the proof is a modification of the one by \textit{J. Bruna} [J. Lond. Math. Soc., II. Ser. 22, 495-505 (1980; Zbl 0419.26010)], but the existence of appropriate cut-off functions is now reduced --- by Hörmander's solution of the \(\overline{\partial}\)-problem --- to the existence of subharmonic functions with special properties. The Beurling case is then reduced to the Roumieu case. A simpler description of Whitney jets of type \({\mathcal E}_ *\) follows if the closed set \(A\) satisfies \(A=\overline{\text{Å}}\) and has Whitney's property \((P)\).