Smooth extension of functions on a certain class of non-separable Banach spaces (Q631848): Difference between revisions

Given a Banach space \(X\) consider the following problem: Is it true that for every closed subspace \(Y\subset X\) and every \(\mathcal{C}^1\) function \(f:Y\to \mathbb{R}\) there exists a \(\mathcal{C}^1\) function \(F:X\to \mathbb{R}\) such that \(F|_Y = f\)? This has been shown to be true when \(X\) is a separable Banach space by \textit{D. Azagra, R. Fry} and \textit{L. Keener} [Math. Ann. 347, No. 2, 285--297 (2010; Zbl 1193.46025); erratum ibid. 350, No. 2, 497--500 (2011; Zbl 1228.46040)]. In this paper, the authors prove that it also true for the nonseparable Banach spaces \(X\) that satisfy the following property: \((\ast)\) There is a constant \(C_0\), which depends only on \(X\), such that for every Lipschitz function \(f:X\to \mathbb{R}\) and every \(\varepsilon>0\) there is a Lipschitz \(\mathcal{C}^1\)-smooth function \(K:X\to \mathbb{R}\) such that \(\sup_{x\in X}|f(x)-K(x)|<\varepsilon\) and \(\mathrm{Lip}(K)\leq C_0 \mathrm{Lip}(f)\). This property \((\ast)\) holds whenever \(X\) is bilipschitz-homeomorphic to a subset of \(c_0(\Gamma)\) so that the coordinates of the homeomorphism are \(\mathcal{C}^1\)-smooth [\textit{P. Hájek} and \textit{M. Johanis}, J. Funct. Anal. 259, No. 3, 561--582 (2010; Zbl 1200.46073)]. For a space \(X\) with property \((\ast)\) the authors also show that if \(f:Y\to \mathbb{R}\) is additionally Lipschitz, its \(\mathcal{C}^1\) extension \(F:X\to \mathbb{R}\) can be taken Lipschitz as well, with \(\mathrm{Lip}(F)\leq C \mathrm{Lip}(f)\), the constant \(C\) depending only on \(X\). Some related questions are studied concerning the extension of \(\mathcal{C}^1\)-functions on closed convex subsets to the whole space.