 Second variation

The second variation is the quadratic term in a functional's expansion along $u+\epsilon \eta$; positivity on admissible variations is a local-minimum test.