Infinite-Horizon Stochastic Recursive Differential Games with Jumps: Nonautonomous Coefficients and Nonzero Terminal Values

Abstract

In this paper, we investigate a class of decoupled infinite-horizon forward--backward stochastic differential equations (FBSDEs) with time-dependent coefficients and jumps. Under suitable time-integrability conditions on the coefficient growth and stochastic Lipschitz moduli, we establish an $L^p$ theory ($p\ge 2$) for these systems, including well-posedness, moment estimates, conditional stability, and tail estimates, without imposing dissipativity of the forward dynamics or monotonicity of the backward generator in its value variable. In particular, the forward state converges in $L^p$ and almost surely to a limiting random variable $X_\infty$, while the backward solution converges to the generally nonzero terminal value $Φ(X_\infty)$. Within this framework, we study infinite-horizon two-player zero-sum stochastic recursive differential games. We prove that the lower and upper value functions are deterministic and establish the dynamic programming principle (DPP) using backward stochastic semigroups and nonanticipative strategies. Both value functions converge locally uniformly to $Φ$ as the initial time tends to infinity and are characterized as viscosity solutions of the corresponding non-autonomous, nonlocal Hamilton--Jacobi--Bellman--Isaacs (HJBI) equations. Under an additional integrable Lyapunov-barrier condition, we establish a comparison principle for continuous viscosity subsolutions and supersolutions of uniform linear growth, provided that at least one is uniformly Lipschitz in space. This yields uniqueness for both HJBI equations in the linear-growth class. Finally, we establish a weaker, contact-wise Isaacs criterion ensuring that the lower and upper value functions coincide and hence that the game has a value.