Weak lower semicontinuity (source code)

= Weak lower semicontinuity
{wiki}

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