Solution of nonlinear Stokes equations discretized by high-order finite elements on nonconforming and anisotropic meshes, with application to ice sheet dynamics

Abstract

Motivated by the need for efficient and accurate simulation of the dynamics of the polar ice sheets, we design high-order finite element discretizations and scalable solvers for the solution of nonlinear incompressible Stokes equations. We focus on power-law, shear thinning rheologies used in modeling ice dynamics and other geophysical flows. We use nonconforming hexahedral meshes and the conforming inf-sup stable finite element velocity-pressure pairings ${\mathbb{Q}}_k\times {\mathbb{Q}}_{k-2}^{\text{disc}}$ or ${\mathbb{Q}}_k\times {\mathbb{P}}_{k-1}^{\text{disc}}$. To solve the nonlinear equations, we propose a Newton-Krylov method with a block upper triangular preconditioner for the linearized Stokes systems. The diagonal blocks of this preconditioner are sparse approximations of the (1,1)-block and of its Schur complement. The (1,1)-block is approximated using linear finite elements based on the nodes of the high-order discretization, and the application of its inverse is approximated using algebraic multigrid with an incomplete factorization smoother. This preconditioner is designed to be efficient on anisotropic meshes, which are necessary to match the high aspect ratio domains typical for ice sheets. We develop and make available extensions to two libraries---a hybrid meshing scheme for the p4est parallel AMR library, and a modified smoothed aggregation scheme for PETSc---to improve their support for solving PDEs in high aspect ratio domains. In a numerical study, we find that our solver yields fast convergence that is independent of the element aspect ratio, the occurrence of nonconforming interfaces, and of mesh refinement, and that depends only weakly on the polynomial finite element order. We simulate the ice flow in a realistic description of the Antarctic ice sheet derived from field data, and study the parallel scalability of our solver for problems with up to 383M unknowns.

31 pages

References in corpus (1)

• Scalable and efficient algorithms for the propagation of uncertainty from data through inference to prediction for large-scale problems, with application to flow of the Antarctic ice sheet

Cited by in corpus (15)

• Scalable and efficient algorithms for the propagation of uncertainty from data through inference to prediction for large-scale problems, with application to flow of the Antarctic ice sheet
• Constrained $H^1$-regularization schemes for diffeomorphic image registration
• Weighted BFBT Preconditioner for Stokes Flow Problems with Highly Heterogeneous Viscosity
• A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake
• High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling
• Anisotropic Radial Basis Function Methods for Continental Size Ice Sheet Simulations
• A Hybrid High-Order method for creeping flows of non-Newtonian fluids
• Performance analysis of high-resolution ice sheet simulations
• Advanced Newton Methods for Geodynamical Models of Stokes Flow with Viscoplastic Rheologies
• A Hybrid High-Order method for incompressible flows of non-Newtonian fluids with power-like convective behaviour
• A Multigrid Optimization Algorithm for the Numerical Solution of Quasilinear Variational Inequalities Involving the $p$-Laplacian
• Extreme-scale Multigrid Components within PETSc
• ERF: Energy Research and Forecasting Model
• Non-isothermal non-Newtonian fluids: the stationary case
• Global convergence of Newton's method for the regularized $p$-Stokes equations