The Hamilton-Jacobi-Bellman equation is a nonlinear partial differential equation that provides necessary and sufficient conditions for optimality of a control with respect to a loss function. Wikipedia