Weak lower semicontinuity of convex gradient energies
ID: weak-lower-semicontinuity-of-convex-gradient-energies
Suppose the domain has finite measure and is convex, with and . The supporting inequality , integrated with , gives . The last term tends to zero by weak convergence of the gradients and the fixed test field . This proves weak lower semicontinuity without requiring pointwise convergence of gradients.
New to topics? Read the docs here!