Dynkin Games for Lévy Processes

Laura Aspirot,Ernesto Mordecki,Andres Sosa
2024-10-31
Abstract:We obtain a verification theorem for solving a Dynkin game driven by a Lévy process. The result requires finding two averaging functions that, composed respectively with the supremum and the infimum of the process, summed, and taked the expectation, provide the value function of the game. The optimal stopping rules are the respective hitting times of the support sets of the averaging functions. The proof relies on fluctuation identities of the underlying Lévy process. We illustrate our result with three new simple examples, where the smooth pasting property of the solutions is not always present.
Probability
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to provide a verification theorem for Dynkin games driven by Lévy processes. Specifically, the author aims to find two averaging functions, which are combined with the supremum and infimum of the Lévy process respectively, and provide the value function of the game in the sense of expected value. The optimal stopping rule is the first hitting time of the support sets of these averaging functions. ### Problem Background A Dynkin game is an optimal - stopping game involving two players. One player (the max player) chooses to stop a random process and receives the value at the stop from the other player (the min player), while the min player chooses to stop another random process and pays the value of this process at the stop to the max player. The game ends after one of the two players makes a choice. ### Main Contributions of the Paper 1. **Verification Theorem**: The author proposes a verification theorem for solving Dynkin games driven by Lévy processes. The key to this theorem lies in finding two averaging functions, which are combined with the supremum and infimum of the Lévy process respectively, and provide the value function of the game by taking expectations. 2. **Optimal Stopping Rule**: The optimal stopping rule is the first hitting time of the support sets of these averaging functions. This means that when the process reaches a certain value for the first time, the player should stop the game. 3. **Proof Method**: The proof depends on the fluctuation identities of the Lévy process, which provides a theoretical basis for understanding and calculating the value function of the game. 4. **Application Examples**: The author shows the application of this verification theorem through three simple examples, in which the smooth pasting property does not always exist. These examples include Brownian motion, Cramér - Lundberg process, and compound Poisson process. ### Mathematical Formulas - **Characteristic Exponent of Lévy Process**: \[ \Psi(z)=cz + \frac{\sigma^{2}}{2}z^{2}+\int_{\mathbb{R}}(e^{zy}-1 - zy\mathbf{1}_{\{|y| < 1\}})\Pi(dy) \] - **Value Function**: \[ V(x)=\mathbb{E}_{x}[Q_{I}(I)+Q_{S}(S)] \] where \(I = \inf_{0\leq t\leq e_{r}}X_{t}\) and \(S=\sup_{0\leq t\leq e_{r}}X_{t}\), \(e_{r}\) is an independent exponential random variable with parameter \(r > 0\). - **Optimal Stopping Rule**: \[ \sigma^{*}=\inf\{t\geq0:X_{t}\leq x_{I}\}, \quad\tau^{*}=\inf\{t\geq0:X_{t}\geq x_{S}\} \] ### Conclusion By proposing a verification theorem and giving specific examples, this paper provides a new framework for solving Dynkin games driven by Lévy processes. This result is not only of great theoretical significance, but may also find practical applications in fields such as mathematical finance.