Remark. The notation in condition (iii) reflects the possibility that ḣ might fail to exist at finitely many points. (Various alternative ways to deal with this possibility exist; none is completely satisfactory.) There is an obvious heierarchy in these concepts: every global minimizer also satisfies the criteria to lie in each of the local categories listed above. Any strong local minimizer is...
