Achieving $h$- and $p$-robust monolithic multigrid solvers for the Stokes equations
Amin Rafiei, Scott MacLachlan
TL;DR
This work develops and analyzes monolithic geometric multigrid solvers with Vanka-type relaxation for higher-order mixed FEM discretizations of the Stokes equations, including conforming Taylor–Hood and nonconforming ${\bf H}(\text{div})$-$L^2$ schemes. By introducing topological and extended Vanka patches and comparing matrix-free (PCPATCH) versus assembled-matrix (ASMPatchPC) implementations, the authors demonstrate robust $h$- and $p$-robustness for several discretizations and reveal important stopping-criteria challenges at high polynomial orders. The study provides detailed guidance on patch design, grid-transfer strategies, and coarse-grid operators, showing promising performance on quadrilateral meshes and certain ${\bf H}(\text{div})$ discretizations, while highlighting areas where further work is needed. Overall, the results advance scalable solvers for higher-order Stokes systems and lay groundwork for extensions to Navier–Stokes and related saddle-point problems.
Abstract
The numerical analysis of higher-order mixed finite-element discretizations for saddle-point problems, such as the Stokes equations, has been well-studied in recent years. While the theory and practice of such discretizations is now well-understood, the same cannot be said for efficient preconditioners for solving the resulting linear (or linearized) systems of equations. In this work, we propose and study variants of the well-known Vanka relaxation scheme that lead to effective geometric multigrid preconditioners for both the conforming Taylor-Hood discretizations and non-conforming ${\bf H}(\text{div})$-$L^2$ discretizations of the Stokes equations. Numerical results demonstrate robust performance with respect to FGMRES iteration counts for increasing polynomial order for some of the considered discretizations, and expose open questions about stopping tolerances for effectively preconditioned iterations at high polynomial order.
