An official website of the United States government
Abstract. Geodynamical simulations over the past decades have widely beenbuilt on quadrilateral and hexahedral finite elements. For thediscretization of the key Stokes equation describing slow, viscousflow, most codes use either the unstable Q1×P0 element, astabilized version of the equal-order Q1×Q1 element, ormore recently the stable Taylor–Hood element with continuous(Q2×Q1) or discontinuous (Q2×P-1)pressure. However, it is not clear which of these choices isactually the best at accurately simulating “typical” geodynamicsituations. Herein, we provide a systematic comparison of all of theseelements for the first time. We use a series of benchmarks that illuminate differentaspects of the features we consider typical of mantle convectionand geodynamical simulations. We will show in particular that the stabilizedQ1×Q1 element has great difficulty producing accuratesolutions for buoyancy-driven flows – the dominant forcing formantle convection flow – and that the Q1×P0 element istoo unstable and inaccurate in practice. As a consequence, webelieve that the Q2×Q1 and Q2×P-1 elementsprovide the most robust and reliable choice for geodynamical simulations,despite the greater complexity in their implementation and thesubstantially higher computational cost when solving linearsystems.
more »
« less
This content will become publicly available on January 1, 2026
On the choice of finite element for applications in geodynamics – Part 2: A comparison of simplex and hypercube elements
Abstract. Many geodynamical models are formulated in terms of the Stokes equations that are then coupled to other equations. For the numerical solution of the Stokes equations, geodynamics codes over the past decades have used essentially every finite element that has ever been proposed for the solution of this equation, on both triangular/tetrahedral (“simplex”) and quadrilaterals/hexahedral (“hypercube”) meshes. However, in many and perhaps most cases, the specific choice of element does not seem to have been the result of careful benchmarking efforts but based on implementation efficiency or the implementers' background. In a first part of this paper (Thieulot and Bangerth, 2022), we have provided a comprehensive comparison of the accuracy and efficiency of the most widely used hypercube elements for the Stokes equations. We have done so using a number of benchmarks that illustrate “typical” geodynamic situations, specifically taking into account spatially variable viscosities. Our findings there showed that only Taylor–Hood-type elements with either continuous (Q2×Q1) or discontinuous (Q2×P-1) pressure are able to adequately and efficiently approximate the solution of the Stokes equations. In this, the second part of this work, we extend the comparison to simplex meshes. In particular, we compare triangular Taylor–Hood elements against the MINI element and one often referred to as the “Crouzeix–Raviart” element. We compare these choices against the accuracy obtained on hypercube Taylor–Hood elements with approximately the same computational cost. Our results show that, like on hypercubes, the Taylor–Hood element is substantially more accurate and efficient than the other choices. Our results also indicate that hypercube meshes yield slightly more accurate results than simplex meshes but that the difference is relatively small and likely unimportant given that hypercube meshes often lead to slightly denser (and consequently more expensive) matrices.
more »
« less
- Award ID(s):
- 1925595
- PAR ID:
- 10630413
- Publisher / Repository:
- EGU
- Date Published:
- Journal Name:
- Solid Earth
- Volume:
- 16
- Issue:
- 6
- ISSN:
- 1869-9529
- Page Range / eLocation ID:
- 457 to 476
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Surface Stokes and Navier–Stokes equations are used to model fluid flow on surfaces. They have attracted significant recent attention in the numerical analysis literature because approximation of their solutions poses significant challenges not encountered in the Euclidean context. One challenge comes from the need to simultaneously enforce tangentiality and $H^1$ conformity (continuity) of discrete vector fields used to approximate solutions in the velocity-pressure formulation. Existing methods in the literature all enforce one of these two constraints weakly either by penalization or by use of Lagrange multipliers. Missing so far is a robust and systematic construction of surface Stokes finite element spaces which employ nodal degrees of freedom, including MINI, Taylor–Hood, Scott–Vogelius, and other composite elements which can lead to divergence-conforming or pressure-robust discretizations. In this paper we construct surface MINI spaces whose velocity fields are tangential. They are not $H^1$-conforming, but do lie in $H(div)$ and do not require penalization to achieve optimal convergence rates. We prove stability and optimal-order energy-norm convergence of the method and demonstrate optimal-order convergence of the velocity field in $$L_2$$ via numerical experiments. The core advance in the paper is the construction of nodal degrees of freedom for the velocity field. This technique also may be used to construct surface counterparts to many other standard Euclidean Stokes spaces, and we accordingly present numerical experiments indicating optimal-order convergence of nonconforming tangential surface Taylor–Hood elements.more » « less
-
We present a fully-coupled, implicit-in-time framework for solving a thermodynamically-consistent Cahn-Hilliard Navier-Stokes system that models two-phase flows. In this work, we extend the block iterative method presented in Khanwale et al. [Simulating two-phase flows with thermodynamically consistent energy stable Cahn-Hilliard Navier-Stokes equations on parallel adaptive octree based meshes, J. Comput. Phys. (2020)], to a fully-coupled, provably second-order accurate scheme in time, while maintaining energy-stability. The new method requires fewer matrix assemblies in each Newton iteration resulting in faster solution time. The method is based on a fully-implicit Crank-Nicolson scheme in time and a pressure stabilization for an equal order Galerkin formulation. That is, we use a conforming continuous Galerkin (cG) finite element method in space equipped with a residual-based variational multiscale (RBVMS) procedure to stabilize the pressure. We deploy this approach on a massively parallel numerical implementation using parallel octree-based adaptive meshes. We present comprehensive numerical experiments showing detailed comparisons with results from the literature for canonical cases, including the single bubble rise, Rayleigh-Taylor instability, and lid-driven cavity flow problems. We analyze in detail the scaling of our numerical implementation.more » « less
-
In this paper we propose and analyze finite element discontinuous Galerkin methods for the one- and two-dimensional stochastic Maxwell equations with multiplicative noise. The discrete energy law of the semi-discrete DG methods were studied. Optimal error estimate of the semi-discrete method is obtained for the one-dimensional case, and the two-dimensional case on both rectangular meshes and triangular meshes under certain mesh assumptions. Strong Taylor 2.0 scheme is used as the temporal discretization. Both one- and two-dimensional numerical results are presented to validate the theoretical analysis results.more » « less
-
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
