A joint generalization of Whitney's extension theorem and Aversa-Laczkovich-Preiss' extension theorem (Q663652)

The main authors' result is the following. Theorem. Let \(F\subseteq \mathbb R^n\) be a nonempty closed set, \(f:F\to \mathbb R\) be a function and \(L:F\to \mathbb R^n\), a derivative of \(f\) with \(L\in B_1(F)\). There exists then a function \(g:\mathbb R^n\to \mathbb R\) with i) \(g\) is differentiable on \(\mathbb R^n\), ii) \(g(x)=f(x)\) and \(g'(x)=L(x)\) for \(x\in F\), iii) if \(a\in F\) is such that \(L\) is continuous at \(a\) and \(L(a)\) is a strict derivative of \(f\) at \(a\) then \(g'\) is continuous at \(a\), iv) \(g\) is \(C^\infty\) on \(\mathbb R^n\setminus F\). The obtained statement is a joint generalization of the extension type theorems due to \textit{H. Whitney} [Transactions A. M. S. 36, 369--387 (1934; JFM 60.0217.02)] and \textit{V. Aversa, M. Laczkovich} and \textit{D. Preiss} [Commentat. Math. Univ. Carol. 26, 597--609 (1985; Zbl 0583.26003)].