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

Hilbert spaceWhitney extension\(C^1\) convex function

Mathematics Subject Classification ID

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

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$.

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)

• Explicit formulas for \(C^{1,1}\) Glaeser-Whitney extensions of \(1\)-Taylor fields in Hilbert spaces
• Locally \(C^{1,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
• Smooth convex extensions of convex functions
• An extension theorem for convex functions of class \(C^{1,1}\) on Hilbert 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
• Whitney extension theorems for convex functions of the classes \(C^1\) and \(C^{1\omega}\)
• Global geometry and \(C^1\) convex extensions of 1-jets
• The Whitney extension theorem in high dimensions

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)