Non-uniqueness of Leray-Hopf solutions for stochastic forced Navier-Stokes equations

We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Bru\'e and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on $\mathbb{R}^{+}$. In the deterministic setting, we show that the set of forces, for which Leray--Hopf solutions are non-unique, is dense in $L^{1}_{t}L^{2}_{x}$. In addition, by a simple controllability argument we show that for every divergence-free initial condition in $L^{2}_{x}$ there is a force so that non-uniqueness of Leray--Hopf solutions holds.