scholarly journals Pragmatic Solvers for 3D Stokes and Elasticity Problems with Heterogeneous Coefficients: Evaluating Modern Incomplete LDL<sup>T</sup> Preconditioners

2020 ◽  
Author(s):  
Patrick Sanan ◽  
Dave A. May ◽  
Matthias Böllhofer ◽  
Olaf Schenk

Abstract. The need to solve large saddle point systems within computational Earth sciences is ubiquitous. Physical processes giving rise to these systems include porous flow (the Darcy equations), poroelasticity, elastostatics, and highly viscous flows (the Stokes equations). The numerical solution of saddle point systems is non-trivial since the operators are indefinite. Primary tools to solve such systems are direct solution methods (exact triangular factorization) or Approximate Block Factorization (ABF) preconditioners. While ABF solvers have emerged as the state-of-the-art scalable option, they are invasive solvers requiring splitting of pressure and velocity degrees of freedom, a multigrid hierarchy with tuned transfer operators and smoothers, machinery to construct complex Schur complement preconditioners, and the expertise to select appropriate parameters for a given coefficient regime – they are far from being "black box" solvers. Modern direct solvers, which robustly produce solutions to almost any system, do so at the cost of rapidly growing time and memory requirements for large problems, especially in 3D. Incomplete LDL (ILDL) factorizations, with symmetric maximum weighted matching preprocessing, used as preconditioners for Krylov (iterative) methods, have emerged as an efficient means to solve indefinite systems. These methods have been developed within the numerical linear algebra community but have yet to become widely used in non-trivial applications, despite their practical potential; they can be used whenever a direct solver can, only requiring an assembled operator, yet can offer comparable or superior to performance, with the added benefit of having a much lower memory footprint. In comparison to ABF solvers, they only require the specification of a drop tolerance and thus provide an easy-to-use addition to the solver toolkit for practitioners. Here, we present solver experiments employing incomplete LDL factorization with symmetric maximum weighted matching preprocessing to precondition operators, and compare these to direct solvers and ABF-preconditioned iterative solves. To ensure the comparison study is meaningful for Earth scientists, we utilize matrices arising from two prototypical problems, namely Stokes flow and quasi-static (linear) elasticity, discretized using standard mixed finite element spaces. Our test suite targets problems with large coefficient discontinuities across non-grid-aligned interfaces, which represent a common, challenging-for-solvers, scenario in Earth science applications. Our results show: (i) as the coefficient structure is made increasingly challenging (high contrast, complex topology), the ABF solver can break down, becoming less efficient than the ILDL solver before breaking down entirely; (ii) ILDL is robust, with a time-to-solution that is largely independent of the coefficient topology and mildly dependent on the coefficient contrast; (iii) the time-to-solution obtained using ILDL is typically faster than that obtained from a direct solve, beyond 10^5 unknowns; (iv) ILDL always uses less memory than a direct solve.

Solid Earth ◽  
2020 ◽  
Vol 11 (6) ◽  
pp. 2031-2045
Author(s):  
Patrick Sanan ◽  
Dave A. May ◽  
Matthias Bollhöfer ◽  
Olaf Schenk

Abstract. The need to solve large saddle point systems within computational Earth sciences is ubiquitous. Physical processes giving rise to these systems include porous flow (the Darcy equations), poroelasticity, elastostatics, and highly viscous flows (the Stokes equations). The numerical solution of saddle point systems is non-trivial since the operators are indefinite. Primary tools to solve such systems are direct solution methods (exact triangular factorization) or approximate block factorization (ABF) preconditioners. While ABF solvers have emerged as the state-of-the-art scalable option, they are invasive solvers requiring splitting of pressure and velocity degrees of freedom, a multigrid hierarchy with tuned transfer operators and smoothers, machinery to construct complex Schur complement preconditioners, and the expertise to select appropriate parameters for a given coefficient regime – they are far from being “black box” solvers. Modern direct solvers, which robustly produce solutions to almost any system, do so at the cost of rapidly growing time and memory requirements for large problems, especially in 3D. Incomplete LDLT (ILDL) factorizations, with symmetric maximum weighted-matching preprocessing, used as preconditioners for Krylov (iterative) methods, have emerged as an efficient means to solve indefinite systems. These methods have been developed within the numerical linear algebra community but have yet to become widely used in applications, despite their practical potential; they can be used whenever a direct solver can, only requiring an assembled operator, yet can offer comparable or superior performance, with the added benefit of having a much lower memory footprint. In comparison to ABF solvers, they only require the specification of a drop tolerance and thus provide an easy-to-use addition to the solver toolkit for practitioners. Here, we present solver experiments employing incomplete LDLT factorization with symmetric maximum weighted-matching preprocessing to precondition operators and compare these to direct solvers and ABF-preconditioned iterative solves. To ensure the comparison study is meaningful for Earth scientists, we utilize matrices arising from two prototypical problems, namely Stokes flow and quasi-static (linear) elasticity, discretized using standard mixed finite-element spaces. Our test suite targets problems with large coefficient discontinuities across non-grid-aligned interfaces, which represent a common challenging-for-solvers scenario in Earth science applications. Our results show that (i) as the coefficient structure is made increasingly challenging, by introducing high contrast and complex topology with a multiple-inclusion benchmark, the ABF solver can break down, becoming less efficient than the ILDL solver before breaking down entirely; (ii) ILDL is robust, with a time to solution that is largely independent of the coefficient topology and mildly dependent on the coefficient contrast; (iii) the time to solution obtained using ILDL is typically faster than that obtained from a direct solve, beyond 105 unknowns; and (iv) ILDL always uses less memory than a direct solve.


2013 ◽  
Vol 13 (5) ◽  
pp. 1309-1329 ◽  
Author(s):  
Laura Lazar ◽  
Richard Pasquetti ◽  
Francesca Rapetti

AbstractSpectral element methods on simplicial meshes, say TSEM, show both the advantages of spectral and finite element methods, i.e., spectral accuracy and geometrical flexibility. We present aTSEM solver of the two-dimensional (2D) incompressible Navier-Stokes equations, with possible extension to the 3D case. It uses a projection method in time and piecewise polynomial basis functions of arbitrary degree in space. The so-called Fekete-Gauss TSEM is employed,i.e., Fekete (resp. Gauss) points of the triangle are used as interpolation (resp. quadrature) points. For the sake of consistency, isoparametric elements are used to approximate curved geometries. The resolution algorithm is based on an efficient Schur complement method, so that one only solves for the element boundary nodes. Moreover, the algebraic system is never assembled, therefore the number of degrees of freedom is not limiting. An accuracy study is carried out and results are provided for classical benchmarks: the driven cavity flow, the flow between eccentric cylinders and the flow past a cylinder.


2015 ◽  
Vol 20 (3) ◽  
pp. 346-368 ◽  
Author(s):  
Zhendong Luo

We firstly employ a proper orthogonal decomposition (POD) method, Crank–Nicolson (CN) technique, and two local Gaussian integrals to establish a PODbased reduced-order stabilized CN mixed finite element (SCNMFE) formulation with very few degrees of freedom for non-stationary parabolized Navier–Stokes equations. Then, the error estimates of the reduced-order SCNMFE solutions, which are acted as a suggestion for choosing number of POD basis and a criterion for updating POD basis, and the algorithm implementation for the POD-based reduced-order SCNMFE formulation are provided, respectively. Finally, some numerical experiments are presented to illustrate that the numerical results are consistent with theoretical conclusions. Moreover, it is shown that the reduced-order SCNMFE formulation is feasible and efficient for finding numerical solutions of the non-stationary parabolized Navier–Stokes equations.


Author(s):  
Pierre Ferrant ◽  
Lionel Gentaz ◽  
Bertrand Alessandrini ◽  
Romain Luquet ◽  
Charles Monroy ◽  
...  

This paper documents recent advances of the SWENSE (Spectral Wave Explicit Navier-Stokes Equations) approach, a method for simulating fully nonlinear wave-body interactions including viscous effects. The methods efficiently combines a fully nonlinear potential flow description of undisturbed wave systems with a modified set of RANS with free surface equations accounting for the interaction with a ship or marine structure. Arbitrary incident wave systems may be described, including regular, irregular waves, multidirectional waves, focused wave events, etc. The model may be fixed or moving with arbitrary speed and 6 degrees of freedom motion. The extension of the SWENSE method to 6 DOF simulations in irregular waves as well as to manoeuvring simulations in waves are discussed in this paper. Different illlustative simulations are presented and discussed. Results of the present approach compare favorably with available reference results.


Acta Numerica ◽  
2000 ◽  
Vol 9 ◽  
pp. 39-131 ◽  
Author(s):  
K. A. Cliffe ◽  
A. Spence ◽  
S. J. Tavener

In this review we discuss bifurcation theory in a Banach space setting using the singularity theory developed by Golubitsky and Schaeffer to classify bifurcation points. The numerical analysis of bifurcation problems is discussed and the convergence theory for several important bifurcations is described for both projection and finite difference methods. These results are used to provide a convergence theory for the mixed finite element method applied to the steady incompressible Navier–Stokes equations. Numerical methods for the calculation of several common bifurcations are described and the performance of these methods is illustrated by application to several problems in fluid mechanics. A detailed description of the Taylor–Couette problem is given, and extensive numerical and experimental results are provided for comparison and discussion.


2021 ◽  
Vol 39 (6) ◽  
pp. 105-128
Author(s):  
El Akkad Abdeslam

In this work, we introduce the steady Stokes equations with a new boundary condition, generalizes the Dirichlet and the Neumann conditions. Then we derive an adequate variational formulation of Stokes equations. It includes algorithms for discretization by mixed finite element methods. We use a block diagonal preconditioners for Stokes problem. We obtain a faster convergence when applying the preconditioned MINRES method. Two types of a posteriori error indicator are introduced and are shown to give global error estimates that are equivalent to the true discretization error. In order to evaluate the performance of the method, the numerical results are compared with some previously published works or with others coming from commercial code like Adina system.


Sign in / Sign up

Export Citation Format

Share Document