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\).NEWLINENEWLINEThe 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 NEWLINE\[NEWLINE\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} NEWLINE\]NEWLINE 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.NEWLINENEWLINEUnder 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.