We analyse a Eulerian Finite Element method, combining a Eulerian time-stepping scheme applied to the time-dependent Stokes equations using the CutFEM approach with inf-sup stable Taylor-Hood elements for the spatial discretisation. This is based on the method introduced by Lehrenfeld \& Olshanskii [ESAIM: M2AN 53(2):585--614] in the context of a scalar convection-diffusion problems on moving domains, and extended to the non-stationary Stokes problem on moving domains by Burman, Frei \& Massing [arXiv:1910.03054 [math.NA]] using stabilised equal-order elements. The analysis includes the geometrical error made by integrating over approximated levelset domains in the discrete CutFEM setting. The method is implemented and the theoretical results are illustrated using numerical examples.
The paper addresses stability and finite element analysis of the stationary two-phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is extended to the approximation of the two-phase Stokes problem by a finite element method. In the method considered, the interface between the phases does not respect the underlying triangulation, whi…
We present an isoparametric unfitted finite element approach of the CutFEM or Nitsche-XFEM family for the simulation of two-phase Stokes problems with slip between phases. For the unfitted generalized Taylor--Hood finite element pair $\mathbf{P}_{k+1}-P_k$, $k\ge1$, we show an inf-sup stability property with a stability constant that is independent of the viscosity ratio, slip coefficient, position of the interface with respect to the background mesh and, of course, mesh size. In addition, we prove stability and optimal error estimates that follow from this inf-sup property. We provide numeric…
In this work, we analyze an unfitted discontinuous Galerkin discretization for the numerical solution of the Stokes system based on equal higher-order discontinuous velocities and pressures. This approach combines the best from both worlds, firstly the advantages of a piece-wise discontinuous high-order accurate approximation and secondly the advantages of an unfitted to the true geometry grid around possibly complex objects and/or geometrical deformations. Utilizing a fictitious domain framework, the physical domain of interest is embedded in an unfitted background mesh and the geometrically …
We introduce an unfitted finite element method with Lagrange-multipliers to study an Eulerian time stepping scheme for moving domain problems applied to a model problem where the domain motion is implicit to the problem. We consider a parabolic partial differential equation (PDE) in the bulk domain, and the domain motion is described by an ordinary differential equation (ODE), coupled to the bulk partial differential equation through the transfer of forces at the moving interface. The discretisation is based on an unfitted finite element discretisation on a time-independent mesh. The method-of…
This paper proposes an interface/boundary-unfitted eXtended hybridizable discontinuous Galerkin (X-HDG) method for Darcy-Stokes-Brinkman interface problems in two and three dimensions. The method uses piecewise linear polynomials for the velocity approximation and piecewise constants for both the velocity gradient and pressure approximations in the interior of elements inside the subdomains separated by the interface, uses piecewise constants for the numerical traces of velocity on the inter-element boundaries inside the subdomains, and uses piecewise constants or linear polynomials for the nu…
We propose a $k^{\rm th}$-order unfitted finite element method ($2\le k\le 4$) to solve the moving interface problem of the Oseen equations. Thorough error estimates for the discrete solutions are presented by considering errors from interface-tracking, time integration, and spatial discretization. In literatures on time-dependent Stokes interface problems, error estimates for the discrete pressure are usually sub-optimal, namely, $(k-1)^{\rm th}$-order, under the $L^2$-norm. We have obtained a $(k-1)^{\rm th}$-order error estimate for the discrete pressure under the $H^1$-norm. Numerical expe…
This article is concerned with the discretisation of the Stokes equations on time-dependent domains in an Eulerian coordinate framework. Our work can be seen as an extension of a recent paper by Lehrenfeld & Olshanskii [ESAIM: M2AN, 53(2):585-614, 2019], where BDF-type time-stepping schemes are studied for a parabolic equation on moving domains. For space discretisation, a geometrically unfitted finite element discretisation is applied in combination with Nitsche's method to impose boundary conditions. Physically undefined values of the solution at previous time-steps are extended implicitly b…
We propose a new discretization method for PDEs on moving domains in the setting of unfitted finite element methods, which is provably higher-order accurate in space and time. In the considered setting, the physical domain that evolves essentially arbitrarily through a time-independent computational background domain, is represented by a level set function. For the time discretization, the application of standard time stepping schemes that are based on finite difference approximations of the time derivative is not directly possible, as the degrees of freedom may get active or inactive across s…
The paper studies a higher order unfitted finite element method for the Stokes system posed on a surface in three-dimensional space. The method employs generalized Taylor-Hood finite element pairs on tetrahedral bulk mesh to discretize the Stokes system on embedded surface. Stability and optimal order convergence results are proved. The proofs include a complete quantification of geometric errors stemming from approximate parametric representation of the surface. Numerical experiments include formal convergence studies and an example of the Kelvin-Helmholtz instability problem on the unit sphe…
We present an immersed boundary method to simulate the creeping motion of a rigid particle in a fluid described by the Stokes equations discretized thanks to a finite element strategy on unfitted meshes, called Phi-FEM, that uses the description of the solid with a level-set function. One of the advantages of our method is the use of standard finite element spaces and classical integration tools, while maintaining the optimal convergence (theoretically in the H1 norm for the velocity and L2 for pressure; numerically also in the L2 norm for the velocity).
The isogeometric approximation of the Stokes problem in a trimmed domain is studied. This setting is characterized by an underlying mesh unfitted with the boundary of the physical domain making the imposition of the essential boundary conditions a challenging problem. A very popular strategy is to rely on the so-called Nitsche method \cite{MR3264337}. We show that the Nitsche method lacks stability in some degenerate trimmed domain configurations, potentially polluting the computed solutions. After extending the stabilization procedure of \cite{MR4155233} to incompressible flow problems, we sh…
We investigate novel fitted finite element approximations for two-phase Navier--Stokes flow. In particular, we consider both Eulerian and Arbitrary Lagrangian--Eulerian (ALE) finite element formulations. The moving interface is approximated with the help of parametric piecewise linear finite element functions. The bulk mesh is fitted to the interface approximation, so that standard bulk finite element spaces can be used throughout. The meshes describing the discrete interface in general do not deteriorate in time, which means that in numerical simulations a smoothing or a remeshing of the inte…
We present a novel second-order semi-implicit hybrid finite volume / finite element (FV/FE) scheme for the numerical solution of the incompressible and weakly compressible Navier-Stokes equations on moving unstructured meshes using an Arbitrary-Lagrangian-Eulerian (ALE) formulation. The scheme is based on a suitable splitting of the governing PDE into subsystems and employs staggered grids, where the pressure is defined on the primal simplex mesh, while the velocity and the remaining flow quantities are defined on an edge-based staggered dual mesh. The key idea of the scheme is to discretize t…
In this paper a class of higher order finite element methods for the discretization of surface Stokes equations is studied. These methods are based on an unfitted finite element approach in which standard Taylor-Hood spaces on an underlying bulk mesh are used. For treating the constraint that the velocity must be tangential to the surface a penalty method is applied. Higher order geometry approximation is obtained by using a parametric trace finite element technique, known from the literature on trace finite element methods for scalar surface partial differential equations. Based on theoretica…
Unfitted finite element methods have emerged as a popular alternative to classical finite element methods for the solution of partial differential equations and allow modeling arbitrary geometries without the need for a boundary-conforming mesh. On the other hand, the efficient solution of the resultant system is a challenging task because of the numerical ill-conditioning that typically entails from the formulation of such methods. We use an adaptive geometric multigrid solver for the solution of the mixed finite cell formulation of saddle-point problems and investigate its convergence in the…
In this paper, a stabilized extended finite element method is proposed for Stokes interface problems on unfitted triangulation elements which do not require the interface align with the triangulation. The velocity solution and pressure solution on each side of the interface are separately expanded in the standard nonconforming piecewise linear polynomials and the piecewise constant polynomials, respectively. Harmonic weighted fluxes and arithmetic fluxes are used across the interface and cut edges (segment of the edges cut by the interface), respectively. Extra stabilization terms involving ve…
The paper considers a system of equations that models a lateral flow of a Boussinesq--Scriven fluid on a passively evolving surface embedded in $\mathbb{R}^3$. For the resulting Navier-Stokes type system, posed on a smooth closed time-dependent surface, we introduce a weak formulation in terms of functional spaces on a space-time manifold defined by the surface evolution. The weak formulation is shown to be well-posed for any finite final time and without smallness conditions on data. We further extend an unfitted finite element method, known as TraceFEM, to compute solutions to the fluid syst…
A Pressure-Robust Nonconforming Immersed Finite Element Method for Stokes Interface Problems
Jiangsu Key Laboratory of Quantum Computing Science and Devices, School of Science, Nanjing University of Posts and Telecommunications（南京邮电大学理学院量子计算科学与器件江苏省重点实验室）；Key Laboratory of NSLSCS, Ministry of Education, School of Mathematical Sciences, Nanjing Normal University（南京师范大学数学科学学院教育部非平衡系统与复杂系统重点实验室）
We present a novel (high-order) hybridizable discontinuous Galerkin (HDG) scheme for the fluid-structure interaction (FSI) problem. The (moving domain) incompressible Navier-Stokes equations are discretized using a divergence-free HDG scheme within the arbitrary Lagrangian-Euler (ALE) framework. The nonlinear elasticity equations are discretized using a novel HDG scheme with an H(curl)-conforming velocity/displacement approximation. We further use a combination of the Nitsche's method (for the tangential component) and the mortar method (for the normal component) to enforce the interface condi…
Motivated by challenges in Earth mantle convection, we present a massively parallel implementation of an Eulerian-Lagrangian method for the advection-diffusion equation in the advection-dominated regime. The advection term is treated by a particle-based, characteristics method coupled to a block-structured finite-element framework. Its numerical and computational performance is evaluated in multiple, two- and three-dimensional benchmarks, including curved geometries, discontinuous solutions, pure advection, and it is applied to a coupled non-linear system modeling buoyancy-driven convection in…
In this paper we present a numerical approach to solve the Navier-Stokes equations on moving domains with second-order accuracy. The space discretization is based on the ghost-point method, which falls under the category of unfitted boundary methods, since the mesh does not adapt to the moving boundary. The equations are advanced in time by using Crank-Nicholson. The momentum and continuity equations are solved simultaneously for the velocity and the pressure by adopting a proper multigrid approach. To avoid the checkerboard instability for the pressure, a staggered grid is adopted, where velo…
A high-accuracy framework for phase-field fracture interface reconstructions with application to Stokes fluid-filled fracture surrounded by an elastic medium
