Backward stochastic differential equations with reflection and Dynkin games (Q674517)

The authors study backward stochastic differential equations with reflection (RBSDE's) on two stochastic barriers (upper and lower boundary processes) in relation both with Dynkin games and coupled optimal stopping problems. The uniqueness of the solution of an RBSDE is proved using that any such solution is the (unique) value of a Dynkin game. The existence of a solution of this RBSDE is proved using that a pair of coupled optimal stopping problems has a solution. The authors present also an alternative method to prove existence of a solution of the RBSDE using a more classical penalization method. In the last section the authors study a pathwise approach to the Dynkin game.