English

Lusin-type properties of convex functions and convex bodies

Classical Analysis and ODEs 2020-11-23 v1 Differential Geometry

Abstract

We prove that if f:RnRf:\mathbb{R}^n\to\mathbb{R} is convex and ARnA\subset\mathbb{R}^n has finite measure, then for any ε>0\varepsilon>0 there is a convex function g:RnRg:\mathbb{R}^n\to\mathbb{R} of class C1,1C^{1,1} such that Ln({xA:f(x)g(x)})<ε\mathcal{L}^n(\{x\in A:\, f(x)\neq g(x)\})<\varepsilon. As an application we deduce that if WRnW\subset\mathbb{R}^n is a compact convex body then, for every ε>0\varepsilon>0, there exists a convex body WεW_{\varepsilon} of class C1,1C^{1,1} such that Hn1(WWε)<ε\mathcal{H}^{n-1}\left(\partial W\setminus \partial W_{\varepsilon}\right)< \varepsilon. We also show that if f:RnRf:\mathbb{R}^n\to\mathbb{R} is a convex function and ff is not of class Cloc1,1C^{1,1}_{\rm loc}, then for any ε>0\varepsilon>0 there is a convex function g:RnRg:\mathbb{R}^n\to\mathbb{R} of class Cloc1,1C^{1,1}_{\rm loc} such that Ln({xRn:f(x)g(x)})<ε\mathcal{L}^n(\{x\in \mathbb{R}^n:\, f(x)\neq g(x)\})<\varepsilon if and only if ff is essentially coercive, meaning that limxf(x)(x)=\lim_{|x|\to\infty}f(x)-\ell(x)=\infty for some linear function \ell. A consequence of this result is that, if SS is the boundary of some convex set with nonempty interior (not necessarily bounded) in Rn\mathbb{R}^n and SS does not contain any line, then for every ε>0\varepsilon>0 there exists a convex hypersurface SεS_{\varepsilon} of class Cloc1,1C^{1,1}_{\textrm{loc}} such that Hn1(SSε)<ε\mathcal{H}^{n-1}(S\setminus S_{\varepsilon})<\varepsilon.

Keywords

Cite

@article{arxiv.2011.10279,
  title  = {Lusin-type properties of convex functions and convex bodies},
  author = {Daniel Azagra and Piotr Hajłasz},
  journal= {arXiv preprint arXiv:2011.10279},
  year   = {2020}
}

Comments

15 pages