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!