Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control | EKB DL