This paper introduces a method of optimization in infinite-horizon economies based on the theory of correspondences. The proposed approach allow us to study time-separable and non-time-separable dynamic economic models without resorting to fixed point theorems or transversality conditions. When...

In this study we offer a new approach to proving the differentiability of the value function, which complements and extends the literature on dynamic programming. This result is then applied to the analysis of equilibrium in the recent class of monetary economies developed in [14]. For this type...