Integration of primal lower nice functions in Hilbert spaces (Q2483988)

The authors present integrability results for the limiting subdifferential mapping of primal lower nice functions on a real Hilbert space. In the first main theorem it is shown that for two lower-semicontinuous functions \(f\) and \(g\) where \(g\) is primal lower nice, the differential inclusion \[ \partial f(x)\subset\partial g(x)\quad\text{near the point }x^0 \] implies that \(f- g= \alpha\) near \(x^0\). The second main theorem contains a Lipschitz-type integration result showing that the enlarged \(\gamma\)-inclusion \[ \partial f(x)\subset\partial g(x)+ \gamma\mathbb{B}\quad\text{near the point }x^0 \] (where \(\mathbb{B}\) is the closed unit ball) implies that \(f-g\) is Lipschitz continuous near \(x^0\) with \(\gamma\) as Lipschitz modulus. The results base on the subdifferential characterization of primal lower nice functions and on the discussion of the properties of the Moreau envelopes and the associated proximal mappings.