Reference articles on history, science, culture and more
Encyclopedia

Incomplete LU factorization

Concept in numerical linear algebra

In numerical linear algebra, an incomplete LU factorization (abbreviated as ILU) of a matrix is a sparse approximation of the LU factorization often used as a preconditioner.

01Introduction

Consider a sparse linear system Ax=b. These are often solved by computing the factorization A=LU, with L lower unitriangular and U upper triangular. One then solves Ly=b, Ux=y, which can be done efficiently because the matrices are triangular.

For a typical sparse matrix, the LU factors can be much less sparse than the original matrix , a phenomenon called fill-in. The memory requirements for using a direct solver can then become a bottleneck in solving linear systems. One can combat this problem by using fill-reducing reorderings of the matrix's unknowns, such as the Minimum degree algorithm.

An incomplete factorization instead seeks triangular matrices L, U such that A\approx LU rather than A=LU. Solving for LUx=b can be done quickly but does not yield the exact solution to Ax=b. So, we instead use the matrix M=LU as a preconditioner in another iterative solution algorithm such as the conjugate gradient method or GMRES.

02Definition

For a given matrix A\in \mathbb {R} ^{n\times n} one defines the graph G(A) as

G(A):=\left\lbrace (i,j)\in \mathbb {N} ^{2}:A_{ij}\neq 0\right\rbrace \,,

which is used to define the conditions a sparsity pattern S needs to fulfill

S\subset \left\lbrace 1,\dots ,n\right\rbrace ^{2}\,,\quad \left\lbrace (i,i):1\leq i\leq n\right\rbrace \subset S\,,\quad G(A)\subset S\,.

A decomposition of the form A=LU-R where the following hold

is called an incomplete LU decomposition (with respect to the sparsity pattern S).

The sparsity pattern of L and U is often chosen to be the same as the sparsity pattern of the original matrix A. If the underlying matrix structure can be referenced by pointers instead of copied, the only extra memory required is for the entries of L and U. This preconditioner is called ILU(0).

03Stability

Concerning the stability of the ILU the following theorem was proven by Meijerink and van der Vorst.

Let A be an M-matrix, the (complete) LU decomposition given by A={\hat {L}}{\hat {U}}, and the ILU by A=LU-R. Then

|L_{ij}|\leq |{\hat {L}}_{ij}|\quad \forall \;i,j

holds. Thus, the ILU is at least as stable as the (complete) LU decomposition.

04Generalizations

One can obtain a more accurate preconditioner by allowing some level of extra fill in the factorization. A common choice is to use the sparsity pattern of A2 instead of A; this matrix is appreciably more dense than A, but still sparse over all. This preconditioner is called ILU(1). One can then generalize this procedure; the ILU(k) preconditioner of a matrix A is the incomplete LU factorization with the sparsity pattern of the matrix Ak+1.

More accurate ILU preconditioners require more memory, to such an extent that eventually the running time of the algorithm increases even though the total number of iterations decreases. Consequently, there is a cost/accuracy trade-off that users must evaluate, typically on a case-by-case basis depending on the family of linear systems to be solved.

An approximation to the ILU factorization can be performed as a fixed-point iteration in a highly parallel way.

Watch videos about Incomplete LU factorizationExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article Incomplete LU factorization, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.