Caratheodory-Hamilton-Jacobi theory in optimal control.