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...

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

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 study an infinite-horizon economy with two basic frictions that are typical in monetary models. First, agents' trading paths cross at most once due to pairwise trade and other meeting obstacles. Second, actions must be compatible with individual incentives due to commitment and enforcement...

This work introduces a set-theoretic foundation of deterministic bilateral matching processes and studies their properties. In particular, it formalizes a link between matching and informational constraints by developing a notion of anonymity that is based on the agents' matching histories. It...

The paper studies the two period incomplete markets model where assets are claims on state contingent commodity bundles and there are no bounds on portfolio trading. The important results on the existence of equilibrium in this model assume that there is a infnite number of commodities traded in...

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.