On the existence of a solution to stochastic Navier-Stokes equations (Q5934263)

The paper is concerned with the existence of a martingale solution for a Navier-Stokes system of stochastic equations in a possibly unbounded domain. The paper is organized as follows: (1) Introduction; (2) notations and formulation of the main results containing three theorems; (3)--(5) auxiliary results containing the proofs of the main results; (6) solution of the auxiliary equation containing one theorem and several lemmas; (7) limit passage; three appendices. It is recommended to those working with Sobolev weighted spaces to handle the unbounded domain situation and who are familiar with cylindrical Wiener processes on a separable Hilbert space.