Abstract

We consider the approximation of the inverse of the finite element stiffness matrix in the data sparse {mathcal{H}}-matrix format. For a large class of shape regular but possibly non-uniform meshes including algebraically graded meshes, we prove that the inverse of the stiffness matrix can be approximated in the {mathcal{H}}-matrix format at an exponential rate in the block rank. Since the storage complexity of the hierarchical matrix is logarithmic-linear and only grows linearly in the block-rank, we obtain an efficient approximation that can be used, e.g., as an approximate direct solver or preconditioner for iterative solvers.

Highlights

  • Discretizations of elliptic partial differential equations on a domain Ω ⊆ Rd using the classical finite element method (FEM) usually produce sparse linear systems of equations Ax = b with storage requirements linear in the number of unknowns and linear complexity for the matrix-vector multiplication

  • A drawback of these methods is that convergence can be slow for matrices with large condition numbers unless a suitable preconditioner is employed. These preconditioners have to be taylored to the problem at hand making black box preconditioners that are based on direct solvers interesting

  • Our main result states that the inverses of FEM matrices for such meshes can be approximated by hierarchical matrices such that the error converges exponentially in the H-matrix block rank r

Read more

Summary

Introduction

A drawback of these methods is that convergence can be slow for matrices with large condition numbers unless a suitable preconditioner is employed These preconditioners have to be taylored to the problem at hand making black box preconditioners that are based on (approximate) direct solvers interesting. Using an H-matrix approximation to the inverse A−1 gives an approximate direct solution method of logarithmic-linear complexity that can be applied efficiently to multiple right-hand sides. In order to explain the numerical success of these approximations, first observed in [19], several works in the literature provide existence results of approximations to the inverse matrices in the H-matrix format. Our main result states that the inverses of FEM matrices for such meshes can be approximated by hierarchical matrices such that the error converges exponentially in the H-matrix block rank r. ) on ⊆T aandm⋃eshsuTppTby(v)su⊆ppRTd( ,vw)∶h=ic{hTs∈ligTht|lyv|dTif≢fer0s} f.roInmptahretiucsuulaarl,dwefeinihtaiovne of a support, namely, supp(v)∶={x ∈ Ω | v(x) ≠ 0} ⊆ Rd

The model problem
31 Page 4 of 36
The mesh
The basis and dual functions
Locality
The system matrix
Hierarchical matrices
2.10 The subset
31 Page 8 of 36
The main result
Overview
31 Page 10 of 36
Examples of meshes with locally bounded cardinality
31 Page 12 of 36
Examples of local dual functions
A representation formula for the inverse system matrix
31 Page 16 of 36
Reduction from matrix level to function level
The discrete cut‐off operator
31 Page 18 of 36
31 Page 20 of 36
31 Page 22 of 36
The spaces of locally discrete harmonic functions
31 Page 24 of 36
The single‐ and multi‐step coarsening operators
31 Page 28 of 36
31 Page 30 of 36
Numerical results
31 Page 34 of 36
31 Page 36 of 36
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call