Non-linear optimal stopping with Bermudan strategies: the infinite horizon case

In this paper, we consider an optimal stopping problem with infinite horizon, non-negative pay-offs and non-linear evaluations $ρ_{S,τ}$ indexed by two indices: $S$ and $τ$, where $S$ is the time of evaluation and $τ$ is the time when the pay-off is revealed. The agent's stopping strategies are constrained to be in the set of so-called Bermudan stopping times $Θ$. Under suitable assumptions on the non-linear evaluations $ρ$ and on the pay-off, we show that a dynamic programming principle holds in this framework. We investigate the existence of $\varepsilon$-optimal stopping times, as well as the existence of optimal stopping times. We show that an $\varepsilon$-optimal stopping time exists. We also prove that the first time when the value family hits the pay-off is optimal if and only if it is finite. We also provide Doob's type convergence for non-negative \emph{$(Θ, ρ)$}-supermartingales in the case where $ρ_{S,τ}=ρ_S$ depends on the first index only. We provide an example from BSDEs with infinite horizon.