Strong solution for a stochastic model of two-dimensional second grade fluids: existence, uniqueness and asymptotic behavior (Q423667)

Let \(\Omega \subset \mathbb{R}^2\) be a simply connected, bounded, with \(C^3\) boundary domain; denote by \(V=\{v\in (H^1_0(\Omega))^2: \mathrm{div}\,v=0\}\) and \(W=\{v\in V: \mathrm{rot}(v -\alpha\Delta v)\in L^2(\Omega) \}\) and, for \(k=1,\dots, m\), consider the standard Wiener processes \(W^{(k)}_{t}\), functions \(F, G_k\) s.t. \(F(t,\cdot),G_k(t,\cdot)\) are Lipschitz and \(F(t,0)=0,G_k(t,0)=0\) for all \(t\in [0,T]\), and \(u_0 \in W\). The authors prove, using a Galerkin scheme, the existence and uniqueness of the solution \(u\) (in a given probabilistic strong sense) to the stochastic (incompressible second grade fluid) equation \[ \begin{aligned} & d(u -\alpha\Delta u)+ (-\nu \Delta u +\mathrm{rot}(u -\alpha\Delta u)\wedge u + \nabla p )dt=F(t,u)dt +\sum_{k=1}^m G_k(t,u) dW^{(k)}_{t}\\ &\mathrm{div}\, u = 0\end{aligned} \] in \(\Omega\times (0,T]\), with conditions \(u=0\) in \(\partial \Omega \times (0,T]\) and \(u|_{t=0}=u_0\) in \(\Omega\); a.s. \(u\) has \(W\)-valued weakly continuous and \(V\)-valued strongly continuous paths. Under additional hypothesis on the behaviour for large \(t\) of the functions \(F\), \(G_k\) and on the parameters, they find (for the solution of an equivalent equation) exponential decay in mean square, and, when \(F\) is independent of \(t\) (and \(F(0)\neq 0\)), exponential stability in mean square of the non-trivial stationary solution.