We present the first necessary and sufficient conditions for there to be a unique perfect-foresight solution to an otherwise linear dynamic model with occasionally binding constraints, given a fixed terminal condition. We derive further conditions on the existence of a solution in such models....

We present the first necessary and sufficient conditions for there to be a unique perfect-foresight solution to an otherwise linear dynamic model with occasionally binding constraints, given a fixed terminal condition. We derive further results on the existence of a solution in the presence of...

We construct the first algorithm for the perfect foresight solution of otherwise linear models with occasionally binding constraints, with fixed terminal conditions, that is guaranteed to return a solution in finite time, if one exists. We also provide a proof of the inescapability of the "curse...