具分阶段个人理性约束的动态租赁游戏

我们研究\emph{租赁游戏}——一种单参数动态机制设计问题，其中设计者在n天内租赁不可分割资产。每天，一个代理人以该天（已知）分布中抽取的私人日租价到达。设计者可以为租出当前代理人剩余天数的资产，收取（可能不同）的日租金，或将其否决。当资产不可用时到达的代理人将被否决。我们模型中的一个特征是代理人\emph{分阶段-IR}（个人理性），即使最终效用为正，若租赁协议导致暂时负效用，代理人仍会拒绝。我们探讨了在何种经济目标下利用代理人分阶段-IR 性质对设计者是否有用。我们表明，最优租赁机制可建模为一系列具有卖方成本的动态拍卖。然而，代理人的分阶段-IR 行为使这些拍卖与经典单参数拍卖截然不同：Myerson 引理不适用，我们进一步表明诚实机制不一定是单调的，付款也不一定遵循 Myerson 的唯一付款规则。我们在几类经济目标下发展了替代性最优机制特征，包括对福利、收入和消费者剩余的推广。这些特征使我们能够在若干情况下使用 Myerson 的唯一付款规则，其他情况下我们从零开始开发最优机制。我们的工作表明，租赁游戏即使在单参数范畴内也引发了有趣的问题。