Title: Nonzero-sum stochastic differential games with impulse controls: a verification theorem with applications

Abstract: We consider a general nonzero-sum impulse game with two players. The main mathematical contribution of the paper is a verification theorem which provides, under some regularity conditions, a suitable system of quasi-variational inequalities for the value functions and the optimal strategies of the two players. As an application, we study an impulse game with a one-dimensional state variable, following a real-valued scaled Brownian motion, and two players with linear and symmetric running payoffs. Thanks to the verification theorem, we find and fully characterize a Nash equilibrium by providing explicit expressions for the value functions and the optimal strategies of the players. Finally, we prove some asymptotic results with respect to the intervention costs for the one-dimensional symmetric game.