English

Subdifferentiable functions satisfy Lusin properties of class $C^1$ or $C^2$

Functional Analysis 2017-11-15 v2 Analysis of PDEs

Abstract

Let f:RnRf:\mathbb{R}^n\to\mathbb{R} be a function. Assume that for a measurable set Ω\Omega and almost every xΩx\in\Omega there exists a vector ξxRn\xi_x\in\mathbb{R}^n such that lim infh0f(x+h)f(x)ξx,hh2>.\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle \xi_x, h\rangle}{|h|^2}>-\infty. Then we show that ff satisfies a Lusin-type property of order 22 in Ω\Omega, that is to say, for every ε>0\varepsilon>0 there exists a function gC2(Rn)g\in C^2(\mathbb{R}^n) such that Ln({xΩ:f(x)g(x)})ε\mathcal{L}^{n}\left(\{x\in\Omega : f(x)\neq g(x)\}\right)\leq\varepsilon. In particular every function which has a nonempty proximal subdifferential almost everywhere also has the Lusin property of class C2C^2. We also obtain a similar result (replacing C2C^2 with C1C^1) for the Fr\'echet subdifferential. Finally we provide some examples showing that this kind of results are no longer true for "Taylor subexpansions" of higher order.

Keywords

Cite

@article{arxiv.1706.07980,
  title  = {Subdifferentiable functions satisfy Lusin properties of class $C^1$ or $C^2$},
  author = {D. Azagra and J. Ferrera and M. García-Bravo and J. Gómez-Gil},
  journal= {arXiv preprint arXiv:1706.07980},
  year   = {2017}
}

Comments

The example showing that the main results fail for $C^{k}$ with $k\geq 3$ has been changed. An example showing that the main results fail if we replace the Frechet subdifferential or the proximal subdifferential with the limiting subdifferential has been added