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