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