Exterior stationary Navier-Stokes flows in 3D with non-zero velocity at infinity: Approximation by flows in bounded domains. (English) Zbl 1050.35067

The authors consider a stationary incompressible Navier-Stokes equation in an exterior domain \(\overline{\Omega }^{c}\), where \(\Omega \) is an open and bounded subset of \(\mathbb{R}^{3}\) with Lipschitz boundary and such that \( \Omega^{c}\) is connected. The problem is rewritten as \(-\Delta u+\tau D_{1}u+\widetilde{\tau }(u\cdot \nabla u) u+\nabla \pi =f\) in \( \overline{\Omega }^{c}\), \(\text{div}(u) =0\) in \(\overline{ \Omega }^{c}\). The nonhomogeneous Dirichlet boundary conditions \(u=b\) are imposed on \(\partial \Omega \) and the solution \(u\) is supposed to satisfy \( | u(x) | =_{| x| \to \infty }O(| x|^{-1}) \). \(f\) (resp. \(b\)) is supposed to belong to \(L^{6/5}(\mathbb{R}^{3})^{3}\) (resp. to \(H^{1/2}(\partial \Omega)^{3}\)) and satisfies \( | f(x) | \leq \gamma | x|^{-\sigma }\) for some \(\sigma \in (4,\infty) \). The purpose of the paper is to prove that the solution of this exterior Navier-Stokes problem can be approximated by the solution of an exterior Navier-Stokes problem but posed in a bounded domain \(\Omega _{R}=B_{R}\setminus \overline{ \Omega }\), where \(B_{R}\) is the ball of \(\mathbb{R}^{3}\) centered at the origin and of radius \(R\). The norms of \(f\) and \(b\) in their respective spaces are supposed to be controlled in terms of \(\tau \) and \(\widetilde{ \tau }\in [ 0,\tau ] \). In order to prove the existence of a solution of this exterior problem, the authors introduce six positive constants \(S<S_{1}<\dots<S_{5}\). They prove the existence of a solution of this problem \((u,\pi) \in W_{\text{loc}}^{2,6/5}(\overline{ \Omega }^{c})^{3}\times W_{\text{loc}}^{1,6/5}(\overline{\Omega }^{c}) \cap L^{2}(\overline{\Omega }^{c}) \) and an estimate which involves some norms of either \(u\) or \(\nabla u\) in the different annuli associated to the constants \(S_{1}\), …, \(S_{5}\). The main difficulty is to find the correct way to evaluate the difference between the solution of the original problem and that posed in the bounded exterior domain \(\Omega _{R}\). The authors first define a variational formulation associated to the bounded exterior problem. They prove the existence of a solution of this variational problem in \(H^{1}(\Omega _{R})^{3}\times L^{2}(\Omega _{R}) \). The main result of the paper asserts that the norm in \(H^{1}(\Omega _{R})^{3}\) of the difference of the two solutions is bounded by some expression which involves \(\tau \) and \(R^{-1/2}\) for every \(R\) in \([ S_{5},+\infty) \). The norm of the difference of the traces of the solutions on \( \partial B_{R}\) multiplied by \((R^{-1}+\tau)^{1/2}\) is also bounded by the same expression. The proof of this result is mainly based on the integral representation of the fundamental solution of Oseen’s problem. Thus doing, they prove an estimate of the gradient of the velocity of this Oseen’s problem, estimate which is a correction of the one indicated by the same authors in a previous paper.


35Q30 Navier-Stokes equations
76D05 Navier-Stokes equations for incompressible viscous fluids
76D07 Stokes and related (Oseen, etc.) flows
35J55 Systems of elliptic equations, boundary value problems (MSC2000)
Full Text: DOI