Optimal stopping under nonlinear expectation

Let X : [ 0 , T ] × Ω ⟶ R be a bounded càdlàg process with positive jumps defined on the canonical space of continuous paths Ω . We consider the problem of optimal stopping the process X under a nonlinear expectation operator E defined as the supremum of expectations over a weakly compact but nondominated family of probability measures. We introduce the corresponding nonlinear Snell envelope. Our main objective is to extend the Snell envelope characterization to the present context. Namely, we prove that the nonlinear Snell envelope is an E -supermartingale, and an E -martingale up to its first hitting time of the obstacle X . This result is obtained under an additional uniform continuity property of X . We also extend the result in the context of a random horizon optimal stopping problem. esult is crucial for the newly developed theory of viscosity solutions of path-dependent PDEs as introduced in Ekren et al. (2014), in the semilinear case, and extended to the fully nonlinear case in the accompanying papers (Ekren et al. [6,7]).