Past exam of the partial differential equations for pure and applied mathematicians and calculus of variations course of the University of Oxford / 2008 / B / 6 / a

A weak local minimizer of a variational integral is an admissible $\bar{u}$ for which some $\rho >0$ gives $I(v)\ge I(\bar{u})$ for all admissible $v$ with $\Vert v-\bar{u}{\Vert }_{W^{1,\infty }}<\rho$.

A strong local minimizer of a variational integral obeys the same inequality for all admissible $v$ with $\Vert v-\bar{u}{\Vert }_{\infty }<\rho$. The derivative of a competitor need not be close in this definition.

A global minimizer has $I(\bar{u})\le I(v)$ for every admissible $v$. Global minimality implies strong local minimality, which implies weak local minimality. The reverse implications are not valid in general.

Where $f_v$ exists, the strengthened Weierstrass condition says that for some $\delta >0$, the excessis nonnegative for every $x\in [a,b]$, every trial slope $q\in \mathbb{R}$, and all $y,p$ with $|y-\bar{u}(x)|<\delta$, $|p-{\bar{u}}^{\prime }(x)|<\delta$. This is a neighborhood condition in height and reference slope, not just an inequality on the reference curve.

The classical Weierstrass sufficient condition, with the usual smooth integrand regularity in addition to continuity, states that an admissible $C^1$ curve satisfying the Euler-Lagrange equation, a coercively positive second variation, and this strengthened condition is a strong local minimizer. A strict excess away from the reference slope gives the corresponding strict conclusion. The differentiability assumptions are part of that classical sufficient theorem; continuity alone does not define its first and second variations.