The existence and uniqueness of solutions of the Navier-Stokes equation driven with additive noise in three dimensions is proven, in the presence of a strong uni-directional mean flow with some rotation. The physical relevance of this solution and its relation to the classical solution, whose existence and uniqueness is also proven, is explained. The existence of a unique invariant measure is established and the properties of this measure are described. The invariant measure is used to prove Kolmogorov's scaling in 3-dimensional turbulence including the celebrated -5/3 power law for the decay of the power spectrum of a turbulent 3-dimensional flow.
