Minimizing sequence
= Minimizing sequence
A <minimizing sequence> satisfies $E(u_n)\to\inf E$. <Coercivity> bounds an appropriate <sublevel set>, <Compactness> supplies a <convergent subsequence>, and <sequential lower semicontinuity> turns its limit into a <global minimizer>.