Past exam of the calculus of variations course of the University of Oxford / 2010 / 1 / a / ii

A strong local minimizer of a variational integral is an admissible $\bar{u}$ for which some $\rho >0$ satisfiesOnly the function values must be close; admissible derivatives may be large. Every strong local minimizer is therefore also a weak local minimizer of a variational integral.

A point of convexity of $g\in C^1(\mathbb{R})$ is a point $v_0$ where its tangent line supports the entire graph from below:The Weierstrass necessary condition says that, at almost every $x$, ${\bar{u}}^{\prime }(x)$ is a point of convexity of $v\mapsto f(x,\bar{u}(x),v)$. In terms of the Weierstrass excess function,

Now use the stated derivative coercivity. If $\bar{u}$ were not a local minimizer in $L^1$, there would be $v_n\in \mathcal{A}$ with $\Vert v_n-\bar{u}{\Vert }_1\to 0$ and $I(v_n)<I(\bar{u})$. The energy bound givesThe common value $v_n(a)=\alpha$ controls their function norms as well, by $|v_n(x)|\le |\alpha |+{\int }_a^b|v_n^{\prime }|$. Thus $(v_n)$ is bounded in $W^{1,2010}(a,b)$. The one-dimensional compact Sobolev embedding into $C([a,b])$ supplies a uniformly convergent subsequence. Its limit must be $\bar{u}$, since the same subsequence converges to $\bar{u}$ in $L^1$. Eventually $\Vert v_n-\bar{u}{\Vert }_{\infty }<\rho$, contradicting strong local minimality. Hence $\bar{u}$ is also a local minimizer in $L^1$. This is coercivity transfers strong minimality to L1 minimality.