On initial-boundary value problem of the stochastic Navier–Stokes equations in the half space | Synapse