|
Journal of Convex Analysis 24 (2017), No. 2, 661--678 Copyright Heldermann Verlag 2017 Clarke and Limiting Subdifferentials of Integral Functionals Emmanuel Giner Laboratoire MIP, Université Paul Sabatier, 118 route de Narbonne, 31062 Toulouse cedex 04, France giner@math.univ-toulouse.fr [Abstract-pdf] Some comparisons (equality, strong density or complete characterizations) are made between the Clarke and limiting subdifferentials for the class of integral functionals defined on reflexive Lebesgue spaces $L_p$, without any locally Lipschitzian assumptions on these functionals. Let $I_f$ be the integral functional associated with a normal integrand $f:\Omega\times E\to {\mathbb{R}}\cup\{\pm\infty\}$, where $E$ is a finite dimensional space and $\Omega$ is endowed with an atomless $\sigma$-finite measure. At a given point $x$ such that almost everywhere the Clarke subdifferential of $f_{\omega}$ at $x(\omega)$ coincide with the closed convex hull of the limiting subdifferential and such that the limiting subdifferential multifunction at $x$, $\omega\rightrightarrows \partial^{L}f_{\omega}(x(\omega))$, admits a $q=p(p-1)^{-1}$ integrable selection, we show that the limiting subdifferential of the integral functional is strongly dense in the Clarke subdifferential. This property allows us to give an exact computation of the Clarke subdifferential by a legitimate disintegration formula. As a consequence, when for almost every $\omega$ in $\Omega$ the function $f_{\omega}( .)$ is locally Lipschitz at $x(\omega)$ then the limiting subdifferential of $I_f$ at $x$ is strongly dense in the Clarke subdifferential of $I_f$ at $x$. When the Lipschitz rate is $q$-integrable, there is the coincidence of the Clarke subdifferential with the limiting subdifferential of $I_f$ at $x$ and the disintegration formula is valid. Moreover such a disintegration formula is valid for the calculus of the Clarke normal (respectively tangent) cone at a given point to the set of $p$-integrable selections of a measurable multifunction. Keywords: Nonsmooth Analysis, Frechet, Clarke, limiting subdifferentials, non locally Lipschitzian integral functionals. MSC: 26A16, 26A2, 26E15, 2820; 49J52, 54C3, 58C20 [ Fulltext-pdf (189 KB)] for subscribers only. |