Optimal stopping with f-expectations: The irregular case

We consider the optimal stopping problem with non-linear f-expectation (induced by a BSDE) without making any regularity assumptions on the payoff process ξ and in the case of a general filtration. We show that the value family can be aggregated by an optional process Y. We characterize the process Y as the Ef-Snell envelope of ξ. We also establish an infinitesimal characterization of the value process Y in terms of a Reflected BSDE with ξ as the obstacle. To do this, we first establish some useful properties of irregular RBSDEs, in particular an existence and uniqueness result and a comparison theorem.