Malliavin calculus for infinite-dimensional systems with additive noise

We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the dynamics, we develop in this setting a partial counterpart of Hörmander's classical theory of Hypoelliptic operators. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and smoothness of densities of these distributions with respect to the Lebesgue measure. We also apply our results to concrete SPDEs such as a Stochastic Reaction Diffusion Equation and the Stochastic 2D Navier-Stokes System.