semiconcave functions, Hamilton-Jacobi equations, and optimal control - Cannarsa, Piermarco (Progress in Nonlinear Differential Equations and Their Applications ;, 2005)