NECESSARY AND SUFFICIENT CONDITIONS FOR DYNAMIC OPTIMIZATION

We characterize the necessary and sufficient conditions for optimality in discrete-time, infinite-horizon optimization problems with a state space of finite or infinite dimension. It is well known that the challenging task in this problem is to prove the necessity of the transversality condition. To do this, we follow a duality approach in an abstract linear space. Our proof resembles that of Kamihigashi (2003), but does not explicitly use results from real analysis. As an application, we formalize Sims's argument that the no-Ponzi constraint on the government budget follows from the necessity of the tranversality condition for optimal consumption.