Hörmander's theorem for stochastic partial differential equations

Hörmander's type hypoellipticity theorem for stochastic partial differential equations is proved in the case where the coefficients are only measurable with respect to the time variable. Such equations arise, for instance, in filtering theory of partially observable diffusion processes. If one sets all coefficients of the stochastic part to be zero, one gets new results for usual parabolic PDEs.