Γ-Convergence of nonconvex functionals defined on measures (Q4264285)

The authors give some necessary and sufficient conditions for the \(\Gamma\)-convergence of nonautonomous integral functionals defined on vector measures. Namely, given a positive measure \(\sigma\) on an open and bounded set \(\Omega \subset {\mathbb{R}}^m\) they consider functionals: \[ {\mathcal F}_h(\mu) = \int_{\Omega}f_h\left({{d\mu} \over {d\sigma}}\right)d\sigma + \int_{\Omega \setminus A(\mu)}f_h^{\infty}\left({{d\mu} \over {d|\mu|}}\right) d|\mu|+ \sum_{x\in A(\mu)}{\vartheta}_h({\mu}(x)) , \] where \(\mu = {{d \mu} \over {d \sigma}} d \sigma + {\mu}_s\) is the decomposition of the measure \(\mu\) into its absolutely continuous and singular part with respect to \(\sigma\), \(A(\mu)\) is the set of all atoms of \(\mu\), integrands \(f_h\) and \({\vartheta}_h\) are lower semicontinuous (with \(f_h\) convex and \({\vartheta}_h\) subadditive) and finally \(f_h^{\infty}\) is the recession function of \(f_h\). By results of Bouchitte and Buttazzo this class contains all the autonomous additive functionals which are lsc with respect to \(w^*\)-convergence. The main result of the paper states that the \(\Gamma\)-convergence (introduced in general case of topological spaces by De Giorgi and Franzoni) of functionals \({\mathcal F}_h\) defined on the space \({\mathcal M}_b(\Omega,{\mathbb{R}}^n)\) of vector measures is equivalent to the so-called ``relaxed \(\Gamma\)-convergence'' of their integrands. The latter was introduced by the authors in the present paper and means a combined convergence of functions \(f_h\) and \({\vartheta}_h\).