Dirichlet problem for parabolic equations on Hilbert spaces

We study a linear second order parabolic equation in an open subset of a se parable Hilbert space, with the Dirichlet boundary condition. We prove that a probabilistic formula, analogous to one obtained in the finite-dimension al case, gives a solution to this equation. We also give a uniqueness resul t.