Convex C^1 extensions of 1-jets from compact subsets of Hilbert spaces

DOI10.5802/CRMATH.62MaRDI QIDQ2208985zbMATH OpenOpenAlexFDO

Authors Daniel Azagra, Carlos Mudarra

Publication date 28 October 2020

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1911.04166

zbMATH Keywords

\(C^1\) convex functionHilbert spaceWhitney extension

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05) Convexity of real functions of several variables, generalizations (26B25) Convex sets without dimension restrictions (aspects of convex geometry) (52A05) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20)

Abstract: Let $X$ denote a Hilbert space. Given a compact subset $K$ of $X$ and two continuous functions $f:KomathbbR$, $G:KoX$, we show that a necessary and sufficient condition for the existence of a convex function $Fin{C}^1(X)$ such that $F=f$ on $K$ and $ablaF=G$ on $K$ is that the $1$-jet $(f,G)$ satisfies (1) $f(x)geqf(y)+langleG(y),x-yangle$ for all $x,yinK$, and (2) if $x,yinK$ and $f(x)=f(y)+langleG(y),x-yangle$ then $G(x)=G(y)$. We also solve a similar problem for $K$ replaced with an arbitrary bounded subset of $X$, and for $C^1(X)$ replaced with the class $C_b^{1,u}(X)$ of differentiable functions with uniformly continuous derivatives on bounded subsets of $X$.

Review text

The authors extend their own Whitney extension-type result on \(C^1\) convex functions to compact subsets of Hilbert spaces. They also solve a similar problem for arbitrary bounded subsets of Hilbert spaces, while the extensions lie in the class of differentiable functions with uniformly continuous derivatives on bounded subsets.

Recommendations

• Locally \(C^{1,1}\) convex extensions of \(1\)-jets
• \(C^{1, \omega }\) extension formulas for $1$-jets on Hilbert spaces
• Explicit formulas for \(C^{1,1}\) and \(C_{\operatorname{conv}}^{1, \omega}\) extensions of 1-jets in Hilbert and superreflexive spaces
• An extension theorem for convex functions of class \(C^{1,1}\) on Hilbert spaces
• Extremal extension for \(m\)-jets of one variable with range in a Hilbert space
• Global geometry and \(C^1\) convex extensions of 1-jets
• On typical compact convex sets in Hilbert spaces
• The Structure of C^*-Convex Sets
• An extension theorem and the \(C^1\) splitting lemma in Hilbert space
• \(C^*\)-convex sets and completely positive maps

Cites work

• Explicit formulas for \(C^{1,1}\) and \(C_{\operatorname{conv}}^{1, \omega}\) extensions of 1-jets in Hilbert and superreflexive spaces
• Global geometry and \(C^1\) convex extensions of 1-jets
• Whitney extension theorems for convex functions of the classes \(C^1\) and \(C^{1\omega}\)

Cited in

(10)

• Global geometry and \(C^1\) convex extensions of 1-jets
• Explicit formulas for \(C^{1,1}\) and \(C_{\operatorname{conv}}^{1, \omega}\) extensions of 1-jets in Hilbert and superreflexive spaces
• \(C^{1, \omega }\) extension formulas for $1$-jets on Hilbert spaces
• Extremal extension for \(m\)-jets of one variable with range in a Hilbert space
• Smooth convex extensions of convex functions
• Explicit formulas for \(C^{1,1}\) Glaeser-Whitney extensions of \(1\)-Taylor fields in Hilbert spaces
• An extension theorem for convex functions of class \(C^{1,1}\) on Hilbert spaces
• The Whitney extension theorem in high dimensions
• Whitney extension theorems for convex functions of the classes \(C^1\) and \(C^{1\omega}\)
• Locally \(C^{1,1}\) convex extensions of \(1\)-jets

This page was built for publication: Convex \(C^1\) extensions of \(1\)-jets from compact subsets of Hilbert spaces

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