We develop a Nitsche-based formulation for a general class of stabilized finite element methods for the Stokes problem posed on a pair of overlapping, non-matching meshes. By extending the least-squares stabilization to the overlap region, we prove that the method is stable, consistent, and optimally convergent. To avoid an ill-conditioned linear algebra system, the scheme is augmented by a least-squares term measuring the discontinuity of the solution in the overlap region of the two meshes. As a consequence, we may prove an estimate for the condition number of the resulting stiffness matrix that is independent of the location of the interface. Finally, we present numerical examples in three spatial dimensions illustrating and confirming the theoretical results.Keywords Fictitious domain · Stokes problem · stabilized finite element methods · Nitsche's method Mathematics Subject Classification (2010) MSC 65N12 · MSC 65N30 · MSC 76D07
IntroductionOverlapping mesh methods offer many advantages over standard finite element methods that require the generation of a single conforming mesh resolving the full computational domain. With overlapping mesh methods, the computational domain may instead be described by a set of overlapping and non-matching meshes. In particular, different subdomains may be meshed independently and then collected to form the full domain. This feature is particularly useful in engineering applications where meshes for physical components may be reused in different configurations. Another important example is the simulation of the flow around a complex object embedded in a channel. One may then create a mesh that discretizes a fixed and simple domain such as a cube or a sphere surrounding the complex object. This mesh may then be imposed on top of a fixed background mesh for the simulation of the flow around the object inserted at different locations in a domain