Solution (source code)

= Solution

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