Martingale and stationary solutions for stochastic Navier-Stokes equations

Summary We prove the existence of martingale solutions and of stationary solutions of stochastic Navier-Stokes equations under very general hypotheses on the diffusion term. The stationary martingale solutions yield the existence of invariant measures, when the transition semigroup is well defined. The results are obtained by a new method of compactness.