Regularity along optimal trajectories of the value function of a Mayer problem
We consider an optimal control problem of Mayer type and prove that, under suitable conditions on the system, the value function is differentiable along optimal trajectories, except possibly at the endpoints. We provide counterexamples to show that this property may fail to hold if some of our conditions are violated. We then apply our regularity result to derive optimality conditions for the trajectories of the system.