 Solution

For a zero-trace $\varphi$, the curve $u+t\varphi$ remains admissible. When $|t|$ is small it is within the weak-minimum neighborhood in $W^{1,\infty }$, so its scalar energy has a minimum at zero. The preceding derivative therefore vanishes. Thus $DI(u)\varphi =0$ for every zero-trace variation.