Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 326 / 1 / 1 / 2 / b / Solution

On $\mathcal{U}=\mathbb{R}$ with its usual topology, the following examples isolate the three failures.

A nonproper functional is $E(x)=+\infty$ for every $x$. Its effective domain is empty, so it has no finite-valued global minimizer. It nevertheless has coercivity and is sequentially lower semicontinuous. If a minimizer is instead defined only by $E(x)=\inf E$ without requiring finiteness, every point formally minimizes this function; under that convention the requested nonproper counterexample is impossible with the given codomain.

A noncoercive functional is $E(x)=e^x$. It is a proper extended-real function and is continuous, but its infimum zero is approached as $x\to -\infty$ and is never attained. Hence it has no global minimizer.

A failure of sequential lower semicontinuity isIt is a proper extended-real function with coercivity, but $E(1/n)\to 0<E(0)$. Its infimum is zero, while every function value is positive. Thus it has no global minimizer.