Differentiability of the value function without interiority assumptions

This paper studies first-order differentiability properties of the value function in concave dynamic programs. Motivated by economic considerations, we dispense with commonly imposed interiority assumptions. We suppose that the correspondence of feasible choices varies with the vector of state variables, and we allow the optimal solution to belong to the boundary of this correspondence. Under minimal assumptions we prove that the value function is continuously differentiable. We then discuss this result in the context of some economic models, and focus on some examples in which our assumptions are not met and the value function is not differentiable.