A useful underestimate for the convergence of integral functionals

arXiv1506.06005MaRDI QIDQ6262829FDOQ6262829

Authors: Emmanuel Giner 

Publication date: 19 June 2015

Abstract: This article deals with the lower compactness property of a sequence of integrands and the use of this key notion in various domains: convergence theory, optimal control, non-smooth analysis. First about the interchange of the weak epi-limit and the symbol of integration for a sequence of integral functionals. These functionals are defined on a topological space $(mathcalX,T)$ where $mathcalX$ is a subset of measurable functions and the $mathcalT$ convergence is stronger than or equal to the convergence in the Bitting sense. Given a sequence $(f_n{)}_n$ of integrands, if the integrand $f$ is the weak lower sequential epi-limit of the integrands $f_n$ one of the main results of this article asserts that under the Ioffe's criterion, the $mathcalT$-lower sequential epi-limit of the sequence of integral functionals at the point $x$ is bounded below by the value of the integral functional associated to the Fenchel-Moreau-Rockafellar biconjugate of $f$ at the point $x$. Then the strong-weak semicontinuity (respectively the subdifferentiability) are studied in relation with the Ioffe's criterion. This permits with original proofs to give new conditions for the strong-weak lower semicontinuity at a given point, and to obtain necessary and sufficient conditions for the Fr'echet and the (weak)Hadamard subdifferentiability of integral functionals on general spaces, particularly on Lebesgue spaces.

Mathematics Subject Classification ID

Nonsmooth analysis (49J52) Lipschitz (Hölder) classes (26A16) Function spaces in general topology (54C35) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Set-valued set functions and measures; integration of set-valued functions; measurable selections (28B20) Calculus of functions on infinite-dimensional spaces (26E15)

This page was built for publication: A useful underestimate for the convergence of integral functionals

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