On the construction of suitable weak solutions to the Navier-Stokes equations via a general approximation theorem (Q1820932)

The author continues the study of methods of construction of suitable weak solutions [ibid., IX. Ser. 64, 77-86 (1985; Zbl 0615.35067, see the preceding review)] to the Navier-Stokes equations via a general approximation theorem. He considers the Navier-Stokes system of equations describing the motion of a viscous incompressible fluid in the form: \[ \partial u/\partial t+u\cdot \nabla u-\Delta u=f-\nabla p\quad in\quad Q_ T,\quad \nabla \cdot u=0\quad in\quad Q_ T,\quad u=0\quad on\quad \Sigma_ T,\quad u_{t=0}=u_ 0(x)\quad in\quad \Omega \] and proves the following results for a weak solution u,p of the system. Theorem: If \(u_ 0\in H\cap {\mathbb{W}}_ p^{2-2/p}\) and \(f\in L^ l_{loc}(0,+\infty;{\mathbb{L}}^ 2)\cap L^ p_{loc}(0,+\infty;{\mathbb{L}}^ p)\) with \(10/9<p\leq 5/4\), then there exists a weak solution u,p of the system such that \[ u\in L^ 2_{loc}(0,+\infty;V)\cap C_{deb}(0,+\infty;H)\cup L^ p_{loc}(0,+\infty,{\mathbb{W}}^ 2_ p), \] \[ \partial u/\partial t\in L^{4/3}_{loc}(0,+\infty;{\mathbb{W}}_ 2^{-1})\cap L^ p_{loc}(0,+\infty,{\mathbb{L}}^ p)\quad and\quad p\in L^ p_{loc}(0,+\infty;{\mathbb{W}}^ l_ p). \] Moreover, u,p satisfy the local energy estimate up to the boundary: \[ \int_{\Omega_ t} | u|^ 2 \phi +2\iint_{Q_ t} | \nabla u|^ 2 \phi \leq \int_{\Omega_ 0}| u_ 0|^ 2 \phi +\iint_{Q_ t} | u|^ 2(\phi '+\Delta \phi)+ \] \[ \iint_{Q_ t} (| u|^ 2+2p)u\cdot \nabla \phi +2\iint_{Q_ t} f\cdot u\phi \] for every \(t>0\) and for every \(\phi \in C^ 2(\bar Q_{+\infty})\), \(\phi\geq 0\) on \(\bar Q{}_{+\infty}\) and \(\int_{\Gamma} p(t,x)d\Gamma =0\) for almost all \(t>0\) etc., where \(\Omega\) is an open, bounded subset of \({\mathbb{R}}^ 3\), locally situated on one side of its boundary \(\Gamma\), a differentiable manifold of class \(C^ 2\). \(\Omega_ t=\{t\}\times \Omega\), \(Q_ T=]0,T[\times \Omega\), \(\Sigma_ T=]0\), T[\(\times \Gamma\) for \(T\in]0,+\infty]\). \(L^ p,| \cdot |_ p\), usual \(L^ p(\Omega)\) space \((1\leq p<+\infty)\) and usual norm in \(L^ p\). \(W^ s_ p,\| \|_{s,p}\) the Sobolev space \(W^ s_ p(\Omega)\), \(1\leq p<+\infty\), \(s\in {\mathbb{R}}\) and usual norm in \(W^ s_ p\). \({\mathbb{L}}^ p,{\mathbb{W}}^ s_ p\) and so on are the space corresponding to the vector functions. \(L^ p(0,T;X)\), Banach space of strongly measurable functions in ]0,T[ with values in the Banach space X, C(0,T;X) and \(C_{deb}(0,T;X)\) are spaces of continuous functions in [0,T] with values in X. \(L^ p_{loc}(0,+\infty;X)\), space functions defined in \(]0,+\infty [\) with values in x whose restrictions to ]0,T[ belong to \(L^ p(0,T;X)\) for every \(T>0\) etc.