PR ] 1 4 A pr 2 00 6 Verification Theorems for Stochastic Optimal Control Problems via a Time Dependent Fukushima-Dirichlet Decomposition Fausto GOZZI