In this paper, we give Necessary and Sufficient Conditions for a Solution of the Belman Equation to be the Value Function. This result is a general principle. It requires no structure beyond the common framework of discrete-time stationary optimization problems with time-additive returns. In...

In this note, we discuss an order-theoretic approach to dynamic programming. In particular, we explain how order-theoretic fixed point theorems can be used to establish the existence of a fixed point of the Bellman operator, as well as why they are not sufficient to characterize the value...

We establish some elementary results on solutions to the Bellman equation without introducing any topological assumption. Under a small number of conditions, we show that the Bellman equation has a unique solution in a certain set, that this solution is the value function, and that the value...

Central place theory is a key building block of economic geography and an empirically plausible description of city systems. This paper provides a rationale for central place theory via a dynamic programming formulation of the social planner's problem of city hierarchy. We show that there must...

In this note, we show that the least fixed point of the Bellman operator in a certain set can be computed by value iteration whether or not the fixed point is the value function. As an application, we show one of the main results of Kamihigashi (2014, "Elementary results on solutions to the...

We establish some elementary results on solutions to the Bellman equation without introducing any topological assumption. Under a small number of conditions, we show that the Bellman equation has a unique solution in a certain set, that this solution is the value function, and that the value...

We study existence and uniqueness of a fixed point for the Bellman operator in deterministic dynamic programming. Without any topological assumption, we show that the Bellman operator has a unique fixed point in a restricted domain, that this fixed point is the value function, and that the value...