A minimizing sequence satisfies . Coercivity bounds an appropriate sublevel set, Compactness supplies a convergent subsequence, and sequential lower semicontinuity turns its limit into a global minimizer.
New to topics? Read the docs here!
New to topics? Read the docs here!