Navier-Stokes equations in three-dimensional thin domains with various boundary conditions (Q1913891)

Let \(\Omega_\varepsilon\) be the thin domain \(\Omega_\varepsilon= \omega\times (0,\varepsilon)\) where \(\omega\) is a suitable domain in \(\mathbb{R}^2\) and \(0<\varepsilon<1\). The Navier-Stokes system \[ u_t-\nu\Delta u+(u\cdot\nabla)u+ \nabla p=f, \qquad\nabla\cdot u=0\tag{1} \] is considered in \(\Omega\times (0,\infty)\). Here, \(u(x,t)= (u_1,u_2,u_3)\) is the velocity and \(p(x,t)\) is the pressure. \(\partial\Omega_\varepsilon= \Gamma_t\cup \Gamma_b\cup \Gamma_l\), \(\Gamma_t= \omega\times\varepsilon\), \(\Gamma_b= \omega\times 0\), \(\Gamma_l= \partial\omega\times (0,\varepsilon)\). The system (1) is supplemented by the initial condition \[ u(x,0)= u_0(x), \qquad x\in\Omega_\varepsilon, \tag{2} \] and by one of the following boundary conditions: 1) \(\omega=(0,l_1)\times (0,l_2)\), \(u_3=0\), \({{\partial u_i}\over{\partial x_3}}=0\), \(i=1,2\) on \(\Gamma_t\cup \Gamma_b\), and \(u_j\), \(j=1,2,3\), are periodic in the directions \(x_1\), \(x_2\) with periods \(l_1\), \(l_2\) respectively, and \(\int_{\Omega_\varepsilon}(u_0)_idx= \int_{\Omega_\varepsilon} f_i dx=0\), \(i=1,2\). 2) \(u_3=0\), \({{\partial u_i}\over{\partial x_3}}=0\), \(i=1,2\) on \(\Gamma_t\cup \Gamma_b\), \(u=0\) on \(\Gamma_l\). 3) \(u\cdot n=0\), \(\text{curl } u\times n=0\) on \(\partial\Omega_\varepsilon\), where \(n\) is the outward normal vector to \(\partial\Omega_\varepsilon\). 4) \(\omega=(0,l_1)\times (0,l_2)\), \(u\) is \(\Omega_\varepsilon\) periodic, and for the data \(\int_{\Omega_\varepsilon} u_0dx= \int_{\Omega_\varepsilon} f_0dx=0\). 5) \(u=0\) on \(\partial\Omega_\varepsilon\). 6) \(u=0\) on \(\Gamma_t\cup \Gamma_b\) and \(u\) is periodic on \(\Gamma_l\). It is proved that under certain conditions on the data \(u_0\), \(f\) for sufficiently small \(\varepsilon\) there exists a strong solution to the problem (1), (2) with one of the boundary conditions 1)--6). The authors prove that the average of the strong solution in the thin direction \(x_3\) converges to the strong solution of the 2D Navier-Stokes system in \(\omega\times (0,\infty)\) as \(\varepsilon\to 0\).