Explicit formulas for C^1,1 and C_conv^1, extensions of 1-jets in Hilbert and superreflexive spaces

From MaRDI portal
Publication:1707947



Abstract: Given X a Hilbert space, omega a modulus of continuity, E an arbitrary subset of X, and functions f:EomathbbR, G:EoX, we provide necessary and sufficient conditions for the jet (f,G) to admit an extension (F,ablaF) with F:XomathbbR convex and of class C1,omega(X), by means of a simple explicit formula. As a consequence of this result, if omega is linear, we show that a variant of this formula provides explicit C1,1 extensions of general (not necessarily convex) 1-jets satisfying the usual Whitney extension condition, with best possible Lipschitz constants of the gradients of the extensions. Finally, if X is a superreflexive Banach space, we establish similar results for the classes Cextrmconv1,alpha(X).


Let \(X\) be a Hilbert space, \(E\) be a nonempty subset of \(X\), and \((f,G)\) be a \(1\)-jet, where \(f:E\to \mathbb R\), \(G:E\to X\). Further, let \(\omega:\mathbb R_+\to \mathbb R_+\) be a concave increasing function with \(\omega(0)=0\), \(\omega(\infty)=\infty\); and \(\varphi\) be its primitive (\(\varphi(t)=\int_0^t\omega(s)ds\), \(t\in\mathbb R_+\)). The following are the main results in this exposition. Theorem 1. Suppose that \((f,G)\) satisfies condition \((W^{1,1})\) with constant \(M\) on \(E\). Then, the formula \(F=\mathrm{conv}(g)-(M/2)||.||^2\),\ where \(g(x)=\inf_{y\in E}[f(y)+\langle G(y),x-y\rangle+(M/2)||x-y||^2]+(M/2)||x||^2\), \(x\in X\), defines a \(C^{1,1}(X)\) function with \(F|_E=f\), \((\nabla F)|_E=G\), and \(\mathrm{Lip}(\nabla F)\leq M\). Moreover, if \(H\) is another \(C^{1,1}\) function with \(H=f\), \(\nabla H=G\) on \(E\) and \(\mathrm{Lip}(\nabla H)\leq M\), then \(H\leq F\). Theorem 2. Suppose that \((f,G)\) satisfies condition \((CW^{1,\omega})\) with constant \(M\) on \(E\). Then, the formula \(F=\mathrm{conv}(g)\),\ where \(g(x)=\inf_{y\in E}[f(y)+\langle G(y),x-y\rangle+M\varphi(||x-y||)]\),\ \(x\in X\) defines a \(C^{1,\omega}\) convex function with \(F|_E=f\), \((\nabla F)|_E=G\), and \(||\nabla F(x)-\nabla F(y)||\leq 4M\omega(2||x-y||)\),\ \(\forall x,y\in X\). In particular, \(M_\omega(\nabla F)\leq 8M\). Further aspects occasioned by these developments are also discussed.



Cites work


Cited in
(22)








This page was built for publication: Explicit formulas for \(C^{1,1}\) and \(C_{\operatorname{conv}}^{1, \omega}\) extensions of 1-jets in Hilbert and superreflexive spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1707947)