Stochastic 3D Navier-Stokes equations with nonlinear damping: martingale solution, strong solution and small time large deviation principles

In this paper, by using classical Faedo-Galerkin approximation and compactness method, the existence of martingale solutions for the stochastic 3D Navier-Stokes equations with nonlinear damping is obtained. The existence and uniqueness of strong solution are proved for $\beta > 3$ with any $\alpha>0$ and $\alpha \geq \frac12$ as $\beta = 3$. Meanwhile, a small time large deviation principle for the stochastic 3D Navier-Stokes equation with damping is proved for $\beta > 3$ with any $\alpha>0$ and $\alpha \geq \frac12$ as $\beta = 3$.