In this paper we present a new preconditioner suitable for solving linear systems arising from finite element approximations
of elliptic PDEs with high-contrast coefficients. The construction of the preconditioner consists of two phases. The first
phase is an algebraic one which partitions the degrees of freedom into “high” and “low” permeability regions which may be
of arbitrary geometry. This partition yields a corresponding blocking of the stiffness matrix and hence a formula for the
action of its inverse involving the inverses of both the high permeability block and its Schur complement in the original
matrix. The structure of the required sub-block inverses in the high contrast case is revealed by a singular perturbation
analysis (with the contrast playing the role of a large parameter). This shows that for high enough contrast each of the sub-block
inverses can be approximated well by solving only systems with constant coefficients. The second phase of the algorithm involves
the approximation of these constant coefficient systems using multigrid methods. The result is a general method of algebraic
character which (under suitable hypotheses) can be proved to be robust with respect to both the contrast and the mesh size.
While a similar performance is also achieved in practice by algebraic multigrid (AMG) methods, this performance is still without
theoretical justification. Since the first phase of our method is comparable to the process of identifying weak and strong
connections in conventional AMG algorithms, our theory provides to some extent a theoretical justification for these successful
algebraic procedures. We demonstrate the advantageous properties of our preconditioner using experiments on model problems.
Our numerical experiments show that for sufficiently high contrast the performance of our new preconditioner is almost identical
to that of the Ruge and Stüben AMG preconditioner, both in terms of iteration count and CPU-time.
Keywords Diffusion problem - High-contrast coefficients - Finite element approximation - Algebraic preconditioner - Schur complement - Multigrid
Mathematics Subject Classification (2000) 15A12 - 65F10 - 65F35 - 65N22 - 65N55
Communicated by G. Wittum.
Dedicated to Wolfgang Hackbusch on the occasion of his 60th birthday.