Integration of primal lower nice functions in Hilbert spaces

From MaRDI portal





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.











This page was built for publication: Integration of primal lower nice functions in Hilbert spaces

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