English

Smooth convex extensions of convex functions

Classical Analysis and ODEs 2019-03-05 v8 Analysis of PDEs Differential Geometry

Abstract

Let CC be a compact convex subset of Rn\mathbb{R}^n, f:CRf:C\to\mathbb{R} be a convex function, and m{1,2,...,}m\in\{1, 2, ..., \infty\}. Assume that, along with ff, we are given a family of polynomials satisfying Whitney's extension condition for CmC^m, and thus that there exists FCm(Rn)F\in C^{m}(\mathbb{R}^n) such that F=fF=f on CC. It is natural to ask for further (necessary and sufficient) conditions on this family of polynomials which ensure that FF can be taken to be convex as well. We give a satisfactory solution to this problem in the case m=m=\infty, and also less satisfactory solutions in the case of finite m2m\geq 2 (nonetheless obtaining an almost optimal result for CC a finite intersection of ovaloids). For a solution to a similar problem in the case m=1m=1 (even for CC not necessarily convex), see arXiv:1507.03931, arXiv:1706.09808, arXiv:1706.02235.

Keywords

Cite

@article{arxiv.1501.05226,
  title  = {Smooth convex extensions of convex functions},
  author = {Daniel Azagra and Carlos Mudarra},
  journal= {arXiv preprint arXiv:1501.05226},
  year   = {2019}
}

Comments

Final version

R2 v1 2026-06-22T08:08:41.580Z