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

DOI10.1016/J.JAT.2018.03.001zbMATH Open1392.58005arXiv1706.07980OpenAlexW2770438119MaRDI QIDQ1749032FDOQ1749032

Authors: Daniel Azagra, J. Ferrera, Miguel García-Bravo, Javier Gómez Gil 

Publication date: 15 May 2018

Published in: Journal of Approximation Theory (Search for Journal in Brave)

Abstract: Let $f:mathbb{R}^{n}omathbbR$ be a function. Assume that for a measurable set $Omega$ and almost every $xinOmega$ there exists a vector $x{i}_{x}inmathbb{R}^n$ such that ${\displaystyle }$liminf_{h o 0}frac{f(x+h)-f(x)-langle xi_x, h angle}{|h|^2}>-infty.${\displaystyle }$ Then we show that $f$ satisfies a Lusin-type property of order $2$ in $Omega$, that is to say, for every $varepsilon>0$ there exists a function $gin{C}^2(mathbb{R}^n)$ such that $mathcal{L}^{n}left(xinOmega:f(x)eqg(x)ight)leqvarepsilon$. In particular every function which has a nonempty proximal subdifferential almost everywhere also has the Lusin property of class $C^2$. We also obtain a similar result (replacing $C^2$ with $C^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.

Full work available at URL: https://arxiv.org/abs/1706.07980

Recommendations

• Lusin-type properties of convex functions and convex bodies
• Approximate Taylor polynomials and differentiation of functions
• The subdifferentiability properties of typical functions in \(C[0,1]\)
• \(C^{1,\omega (\cdot )}\)-regularity and Lipschitz-like properties of subdifferential
• ASYMPTOTIC INVARIANTS OF SMOOTH MANIFOLDS

zbMATH Keywords

proximal subdifferentialLusin property of order 2Fréchet subdifferential

Mathematics Subject Classification ID

Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Cites Work

• Measure theory and fine properties of functions
• Title not available (Why is that?)
• Weakly Differentiable Functions
• User’s guide to viscosity solutions of second order partial differential equations
• Differential Topology
• Title not available (Why is that?)
• On totally differentiable and smooth functions
• Pointwise Differentiability and Absolute Continuity
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of singular sets of convex functions
• On the Morse-Sard property and level sets of \(W^{n,1}\) Sobolev functions on \(\mathbb{R}^n\)
• Title not available (Why is that?)
• Pointwise inequalities for Sobolev functions revisited
• Title not available (Why is that?)
• Smooth Interpolation, Holder Continuity, and the Takagi-van der Waerden Function
• Title not available (Why is that?)
• A Lusin type theorem for gradients
• Title not available (Why is that?)
• Surface area. I
• On a global property of approximately differentiable functions
• An introduction to nonsmooth analysis
• Approximate Taylor polynomials and differentiation of functions
• ASYMPTOTIC INVARIANTS OF SMOOTH MANIFOLDS
• On the generalized Stepanov theorem
• Subdifferential analysis of the van der Waerden function

Cited In (3)

• Non approximate derivability of the Takagi function
• A Lusin type result
• Approximate differentiability in the generalized Takagi-van der Waerden class

This page was built for publication: Subdifferentiable functions satisfy Lusin properties of class \(C^1\) or \(C^2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749032)