The paper studies a class of mathematical objects called doubly reflected backward stochastic differential equations (BSDEs) with jumps. A BSDE is a type of equation that runs backward in time and is driven by randomness. "Doubly reflected" means the solution is kept between two boundary barriers, one from above and one from below, like a ball bouncing between a floor and a ceiling. The randomness here comes from a particular type of jump process called an inhomogeneous Levy process, which can model sudden, irregular movements in a system where the statistical behavior changes over time. The authors prove that under reasonable conditions, such equations have exactly one solution, and they establish a comparison principle showing how different inputs lead to ordered outputs.
The core technique used to prove existence and uniqueness is called penalization. Instead of directly solving the constrained problem, the authors approximate it with a sequence of unconstrained problems where violating the barriers is penalized heavily. As the penalty grows, the solutions converge to the true doubly reflected solution. This approach, while technically demanding, is well suited to the jump setting where standard tools from continuous probability theory need to be carefully adapted. The stochastic Lipschitz condition on the driver is a technical requirement ensuring the equation behaves in a sufficiently regular way.
The paper then applies these theoretical results to two related problems in mathematical finance and game theory. The first is the fair valuation of American game options in a financial market driven by the Levy process. These are contracts where both the buyer and seller can act at a moment of their choosing, creating a strategic conflict. The second application is a generalized Dynkin game under nonlinear expectation, which is a two-player stopping game where the payoff rules are more complex than classical probability allows. The authors show that under mild smoothness conditions on the barriers, the game has a saddle point, meaning both players have an optimal strategy that forms a stable equilibrium.