[math-fun] "optimal control" theory question