 Weak lower semicontinuity

A functional $F$ is weakly lower semicontinuous when $x_j\rightharpoonup x$ implies $F(x)\le {\mathrm{liminf}}_{j}F(x_j)$. Convex integral functionals with suitable growth have this property, which lets weak limits of minimizing sequences remain minimizers.