skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on May 28, 2026

Title: Robust error analysis of stabilized linear EMAC-ESAV finite element schemes for the incompressible Navier-Stokes equations
In this paper, we propose and study first- and second-order (in time) stabilized linear finite element schemes for the incompressible Navier-Stokes (NS) equations. The energy, momentum, and angular momentum conserving (EMAC) formulation has emerged as a promising approach for conserving energy, momentum, and angular momentum of the NS equations, while the exponential scalar auxiliary variable (ESAV) has become a popular technique for designing linear energy-stable numerical schemes. Our method leverages the EMAC formulation and the Taylor-Hood element with grad-div stabilization for spatial discretization. We adopt the implicit-explicit backward differential formulas (BDFs) coupled with a novel stabilized ESAV approach for time stepping. For the solution process, we develop an efficient decoupling technique for the resulting fully-discrete systems so that only one linear Stokes solve is needed at each time step, which is similar to the cost of classic implicit-explicit BDF schemes for the NS equations. Robust optimal error estimates are successfully derived for both velocity and pressure for the two proposed schemes, with Gronwall constants that are particularly independent of the viscosity. Furthermore, it is rigorously shown that the grad-div stabilization term can greatly alleviate the viscosity-dependence of the mesh size constraint, which is required for error estimation when such a term is not present in the schemes. Various numerical experiments are conducted to verify the theoretical results and demonstrate the effectiveness and efficiency of the grad-div and ESAV stabilization strategies and their combination in the proposed numerical schemes, especially for problems with high Reynolds numbers.  more » « less
Award ID(s):
2409634
PAR ID:
10617925
Author(s) / Creator(s):
; ;
Publisher / Repository:
AMS
Date Published:
Journal Name:
Mathematics of Computation
ISSN:
0025-5718
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We introduce a new regularization model for incompressible fluid flow, which is a regularization of the EMAC (energy, momentum, and angular momentum conserving) formulation of the Navier–Stokes equations (NSE) that we call EMAC-Reg. The EMAC formulation has proved to be a useful formulation because it conserves energy, momentum, and angular momentum even when the divergence constraint is only weakly enforced. However, it is still a NSE formulation and so cannot resolve higher Reynolds number flows without very fine meshes. By carefully introducing regularization into the EMAC formulation, we create a model more suitable for coarser mesh computations but that still conserves the same quantities as EMAC, i.e., energy, momentum, and angular momentum. We show that EMAC-Reg, when semi-discretized with a finite element spatial discretization is well-posed and optimally accurate. Numerical results are provided that show EMAC-Reg is a robust coarse mesh model. 
    more » « less
  2. We construct and analyze a CutFEM discretization for the Stokes problem based on the Scott–Vogelius pair. The discrete piecewise polynomial spaces are defined on macro-element triangulations which are not fitted to the smooth physical domain. Boundary conditions are imposed via penalization through the help of a Nitsche-type discretization, whereas stability with respect to small and anisotropic cuts of the bulk elements is ensured by adding local ghost penalty stabilization terms. We show stability of the scheme as well as a divergence–free property of the discrete velocity outside an O ( h ) neighborhood of the boundary. To mitigate the error caused by the violation of the divergence–free condition, we introduce local grad–div stabilization. The error analysis shows that the grad–div parameter can scale like O ( h −1 ), allowing a rather heavy penalty for the violation of mass conservation, while still ensuring optimal order error estimates. 
    more » « less
  3. Abstract We propose a uniform block-diagonal preconditioner for condensed $$H$$(div)-conforming hybridizable discontinuous Galerkin schemes for parameter-dependent saddle point problems, including the generalized Stokes equations and the linear elasticity equations. An optimal preconditioner is obtained for the stiffness matrix on the global velocity/displacement space via the auxiliary space preconditioning technique (Xu (1994) The Auxiliary Space Method and Optimal Multigrid Preconditioning Techniques for Unstructured Grids, vol. 56. International GAMM-Workshop on Multi-level Methods (Meisdorf), pp. 215–235). A spectrally equivalent approximation to the Schur complement on the element-wise constant pressure space is also constructed, and an explicit computable exact inverse is obtained via the Woodbury matrix identity. Finally, the numerical results verify the robustness of our proposed preconditioner with respect to model parameters and mesh size. 
    more » « less
  4. In this paper, we consider numerical approximations for solving the anisotropic Cahn–Hilliard model. We combine the Scalar Auxiliary Variable (SAV) approach with the stabilization technique to arrive at a novel Stabilized-SAV approach, where three linear stabilization terms, which are shown to be crucial to remove the oscillations caused by the anisotropic coefficient, are added to enhance the stability while keeping the required accuracy. The schemes are very easy-to-implement and fast in the sense that all nonlinear terms are treated in a semi-explicit way, and one only needs to solve three decoupled linear equations with constant coefficients at each time step. We further prove the unconditional energy stabilities rigorously and present numerous 2D and 3D numerical simulations to demonstrate the stability and accuracy. 
    more » « less
  5. In this paper, we consider the numerical approximations for a hydrodynamical model of smectic-A liquid crystals. The model, derived from the variational approach of the modified Oseen– Frank energy, is a highly nonlinear system that couples the incompressible Navier–Stokes equations and a constitutive equation for the layer variable. We develop two linear, second order time marching schemes based on the Invariant Energy Quadratization method for nonlinear terms in the constitutive equation, the projection method for the Navier–Stokes equations, and some subtle implicit-explicit treatments for the convective and stress terms. Moreover, we prove the well-posedness of the linear system and their unconditionally energy stabilities rigorously. Various numerical experiments are presented to demonstrate the stability and the accuracy of the numerical schemes in simulating the dynamics under shear flow and the magnetic field. 
    more » « less