Existence and asymptotic representation of weak solutions to the flowing problem under the condition of regular slippage on solid walls (Q1920687)

We study the motion of a viscous incompressible fluid in a three-dimensional bounded domain \(\Omega\), which is described by the Navier-Stokes system \[ v_t- \nu \Delta v+ \sum^3_{k= 1} v_k v_{x_k}= \text{grad } p+ f,\quad\text{div } v= 0,\quad x\in \Omega,\quad t\in [0, T],\quad T=\text{const.} \] We consider the case in which the fluid flows through the domain \(\Omega\) and at the same time does not adhere to solid walls but slips over them; moreover, the instantaneous rotation axis of the fluid coincides with the normal vector of the boundary at each of its points (regular slippage). The principal result of the present article consists in proving an asymptotic formula of the form \[ v= u+ \Pi+ \sqrt{\nu\eta} \] for a weak solution \(v\) to the considered problem, where \(u\) is a smooth solution to the following problem for the system of Euler equations \[ u_t+ \sum^3_{k= 1} u_k u_{x_k}= \text{grad } q+ f,\quad \text{div } u= 0, \] \(\Pi\) is a boundary layer function near \(S_3\), and \(\eta(x, t)\) is a remainder bounded in \(L_2(\Omega)\).