Dynamic Mechanism Design: A Myersonian Approach — Supplementary Material

This document contains additional results and an omitted proof for the manuscript Dynamic Mechanism Design: A Myersonian Approach. Section S.1 contains the proof of the one-stagedeviation principle used in the proof of Theorem 2 in the main text. Section S.2 contains a detailed analysis of Example 5 from the main text. Section S.3 establishes conditions under which the allocation rule maximizing expected virtual surplus distorts allocations downwards compared to the first-best rule. Section S.4 discusses distortions in discrete type models using the language of impulse responses. Section S.5 considers optimal mechanisms in some classes of non-Markov environments. All numbered items (i.e., sections, definitions, results, and equations) in this document contain the prefix S. Any numbered reference without a prefix refers to an item in the main text. Please refer to the main text for notation and definitions.