We present a new proof of the interiority of the policy function based on the Inada conditions. It is based on supporting properties of concave functions.

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 [Lagos, R., Wright,...

We present a new proof of the interiority of the policy function based on the Inada conditions. It is based on supporting properties of concave functions.

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 [13]. For this type...

We develop a general procedure to construct pairwise meeting processes characterized by two features. First, in each period the process maximizes the number of matches in the population. Second, over time agents meet everybody else exactly once. We call this type of meetings "absolute...

We develop the theoretical underpinnings of pairwise random matching mechanisms. We formalize the mechanics of matching, and study the links between properties of the different mechanisms and trade frictions. A particular emphasis is placed on providing exact mappings between matching...

An F-cone is a pointed and generating convex cone of a real vector space that is the union of a countable family of finite dimensional polyedral convex cones such that each of which is an extremel subset of the subsequent one. In this paper, we study securities markets with countably many...