Solution (source code)

= Solution

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