Optimal stopping-time problem for stochastic Navier–Stokes equations and infinite-dimensional variational inequalities

We prove the existence of a solution for the obstacle problem associated with the Kolmogorov operator corresponding to the stopping-time problem for stochastic Navier–Stokes equations in 2-D.