Explicit formulas for \(C^{1,1}\) and \(C_{\operatorname{conv}}^{1, \omega}\) extensions of 1-jets in Hilbert and superreflexive spaces (Q1707947)

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.