Abstract We study the stability and convergence properties of a semi-implicit time stepping scheme for the incompressible Navier–Stokes equations with variable density and viscosity. The density is assumed to be approximated in a way that conserves the minimum-maximum principle. The scheme uses a fractional time-stepping method and the momentum, which is equal to the product of the density and velocity, as a primary unknown. The semi-implicit algorithm for the coupled momentum-pressure is shown to be conditionally stable and the velocity is shown to converge inL2norm with order one in time. Numerical illustrations confirm that the algorithm is stable and convergent under classic CFL condition even for sharp density profiles.
more »
« less
This content will become publicly available on September 1, 2026
Artificial Compressibility Method for the Incompressible Navier–Stokes Equations With Variable Density
ABSTRACT We introduce a novel artificial compressibility technique to approximate the incompressible Navier–Stokes equations with variable fluid properties such as density and dynamical viscosity. The proposed method uses the couple pressure and momentum, equal to the density times the velocity, as primary unknowns. It also involves an adequate treatment of the diffusive operator such that treating the nonlinear convective term explicitly leads to a method with time‐independent stiffness matrices that is suitable for pseudo‐spectral methods. The stability and temporal convergence of a semi‐implicit version of the method are established under the hypothesis that the density is approximated with a method that conserves the minimum‐maximum principle. Numerical illustrations confirm that both the semi‐implicit and explicit methods are stable and converge with order one under the classic CFL condition. Moreover, the proposed method is shown to perform better than a momentum‐based pressure projection method, previously introduced by one of the authors, on setups involving gravitational waves and immiscible multi‐fluids in a cylinder.
more »
« less
- Award ID(s):
- 2208046
- PAR ID:
- 10650203
- Publisher / Repository:
- Numerical Methods for Partial Differential Equations, see: https://onlinelibrary.wiley.com/journal/10982426
- Date Published:
- Journal Name:
- Numerical Methods for Partial Differential Equations
- Volume:
- 41
- Issue:
- 5
- ISSN:
- 0749-159X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
Abstract We present an efficient numerical method to approximate the flux variable for the Darcy flow model. An important feature of our new method is that the approximate solution for the flux variable is obtained without approximating the pressure at all. To accomplish this, we introduce a user‐defined parameter delta, which is typically chosen to be small so that it minimizes the negative effect resulting from the absence of the pressure, such as inaccuracy in both the flux approximation and the mass conservation. The resulting algebraic system is of significantly smaller degrees of freedom, compared to the one from the mixed finite element methods or least‐squares methods. We also interpret the proposed method as a single step iterate of the augmented Lagrangian Uzawa applied to solve the mixed finite element in a special setting. Lastly, the pressure recovery from the flux variable is discussed and an optimal‐order error estimate for the method is obtained. Several examples are provided to verify the proposed theory and algorithm, some of which are from more realistic models such as SPE10.more » « less
-
A finite difference numerical scheme is proposed and analyzed for the Cahn-Hilliard-Stokes system with Flory-Huggins energy functional. A convex splitting is applied to the chemical potential, which in turns leads to the implicit treatment for the singular logarithmic terms and the surface diffusion term, and an explicit update for the expansive concave term. The convective term for the phase variable, as well as the coupled term in the Stokes equation, is approximated in a semi-implicit manner. In the spatial discretization, the marker and cell difference method is applied, which evaluates the velocity components, the pressure and the phase variable at different cell locations. Such an approach ensures the divergence-free feature of the discrete velocity, and this property plays an important role in the analysis. The positivity-preserving property and the unique solvability of the proposed numerical scheme are theoretically justified, utilizing the singular nature of the logarithmic term as the phase variable approaches the singular limit values. An unconditional energy stability analysis is standard, as an outcome of the convex-concave decomposition technique. A convergence analysis with accompanying error estimate is provided for the proposed numerical scheme. In particular, a higher order consistency analysis, accomplished by supplementary functions, is performed to ensure the separation properties of numerical solution. In turn, using the approach of rough and refined error estimates, we are able to derive an optimal rate convergence. To conclude, several numerical experiments are presented to validate the theoretical analysis.more » « less
-
In this paper, we propose some second-order stabilized semi-implicit methods for solving the Allen-Cahn-Ohta-Kawasaki and the Allen-Cahn-Ohta-Nakazawa equations. In the numerical methods, some nonlocal linear stabilizing terms are introduced and treated implicitly with other linear terms, while other nonlinear and nonlocal terms are treated explicitly. We consider two different forms of such stabilizers and compare the difference regarding the energy stability. The spatial discretization is performed by the Fourier collocation method with FFT-based fast implementations. Numerically, we verify the second order temporal convergence rate of the proposed schemes. In both binary and ternary systems, the coarsening dynamics is visualized as bubble assemblies in hexagonal or square patterns.more » « less
An official website of the United States government
