Local optimality conditions for optimal stopping

Abstract
A general problem of optimal stopping is studied by the methods of continuous-time dynamic programming. Local necessary and sufficient conditions for optimality are derived by using a semigroup differentiation; these conditions are obtained in the form of generalized variational inequalities and extend previous work in this area by A. Bensoussan and J. L. Lions.