Verification theorems for stochastic optimal control problems in Hilbert spaces by means of a generalized Dynkin formula

Salvatore Federico, Fausto Gozzi

Verification theorems are key results to successfully employ the dynamic programming approach to optimal control problems. In this paper we introduce a new method to prove verifica…