English

The sharp Whitney extension theorem for convex $C^1$ Lipschitz functions

Classical Analysis and ODEs 2026-02-06 v1 Functional Analysis

Abstract

For an arbitrary set ERnE \subset \mathbb{R}^n, and functions f:ERf:E \to \mathbb{R}, G:ERnG: E\to \mathbb{R}^n with GG bounded, we construct C1(Rn)C^1(\mathbb{R}^n) convex extensions (F,F)(F, \nabla F) of (f,G)(f,G) with the sharp Lipschitz constant Lip(F)=supxEG(x), \mathrm{Lip}(F) = \sup_{x\in E} |G(x)|, provided that (f,G)(f,G) satisfies the pertinent necessary and sufficient conditions for C1C^1 convex, and Lipschitz extendability. Also, these extensions can be constructed with prescribed global behavior in terms of directions of coercivity.

Keywords

Cite

@article{arxiv.2602.05642,
  title  = {The sharp Whitney extension theorem for convex $C^1$ Lipschitz functions},
  author = {Carlos Mudarra},
  journal= {arXiv preprint arXiv:2602.05642},
  year   = {2026}
}

Comments

17 pages

R2 v1 2026-07-01T09:37:51.991Z